0s autopkgtest [01:26:11]: starting date and time: 2025-06-20 01:26:11+0000 0s autopkgtest [01:26:11]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:11]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.a0jrn9c2/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq,src:findlib,src:ocaml-fpath,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ocplib-simplex,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade coq-iris --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq/8.20.1+dfsg-1build1 findlib/1.9.8-1build1 ocaml-fpath/0.7.3-3build5 ocaml-visitors/20250212-1build1 ocaml-zarith/1.14-1build2 ocaml/5.3.0-3 ocplib-simplex/0.5.1-4build6 ppx-deriving-yojson/3.9.1-1build4 ppx-deriving/6.0.3-1build4' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-4.secgroup --name adt-questing-amd64-coq-iris-20250620-012611-juju-7f2275-prod-proposed-migration-environment-2-f140363c-b4ff-4d19-9d79-a475a6caed1d --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 60s autopkgtest [01:27:11]: testbed dpkg architecture: amd64 60s autopkgtest [01:27:11]: testbed apt version: 3.1.2 61s autopkgtest [01:27:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 61s autopkgtest [01:27:12]: testbed release detected to be: None 62s autopkgtest [01:27:13]: updating testbed package index (apt update) 63s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 63s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 63s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 63s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 63s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 63s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 63s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 63s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 63s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 63s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 63s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 63s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 63s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 63s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 63s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 63s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 64s Fetched 1450 kB in 1s (1587 kB/s) 64s Reading package lists... 65s autopkgtest [01:27:16]: upgrading testbed (apt dist-upgrade and autopurge) 65s Reading package lists... 65s Building dependency tree... 65s Reading state information... 65s Calculating upgrade... 66s The following packages will be upgraded: 66s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 66s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 66s Need to get 1758 kB of archives. 66s After this operation, 5120 B of additional disk space will be used. 66s Get:1 http://ftpmaster.internal/ubuntu questing/main amd64 bash amd64 5.2.37-2ubuntu4 [801 kB] 66s Get:2 http://ftpmaster.internal/ubuntu questing/main amd64 libatomic1 amd64 15.1.0-8ubuntu1 [10.5 kB] 66s Get:3 http://ftpmaster.internal/ubuntu questing/main amd64 gcc-15-base amd64 15.1.0-8ubuntu1 [55.5 kB] 66s Get:4 http://ftpmaster.internal/ubuntu questing/main amd64 libstdc++6 amd64 15.1.0-8ubuntu1 [813 kB] 66s Get:5 http://ftpmaster.internal/ubuntu questing/main amd64 libgcc-s1 amd64 15.1.0-8ubuntu1 [78.1 kB] 67s Fetched 1758 kB in 1s (2654 kB/s) 67s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 81475 files and directories currently installed.) 67s Preparing to unpack .../bash_5.2.37-2ubuntu4_amd64.deb ... 67s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 67s Setting up bash (5.2.37-2ubuntu4) ... 67s Installing new version of config file /etc/bash.bashrc ... 67s update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode 67s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 81475 files and directories currently installed.) 67s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_amd64.deb ... 67s Unpacking libatomic1:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 67s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_amd64.deb ... 67s Unpacking gcc-15-base:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 67s Setting up gcc-15-base:amd64 (15.1.0-8ubuntu1) ... 67s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 81475 files and directories currently installed.) 67s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_amd64.deb ... 67s Unpacking libstdc++6:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 67s Setting up libstdc++6:amd64 (15.1.0-8ubuntu1) ... 67s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 81475 files and directories currently installed.) 67s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_amd64.deb ... 67s Unpacking libgcc-s1:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 67s Setting up libgcc-s1:amd64 (15.1.0-8ubuntu1) ... 67s Setting up libatomic1:amd64 (15.1.0-8ubuntu1) ... 67s Processing triggers for install-info (7.1.1-1) ... 67s Processing triggers for libc-bin (2.41-6ubuntu2) ... 67s Processing triggers for man-db (2.13.1-1) ... 68s Processing triggers for debianutils (5.23.1) ... 69s Reading package lists... 69s Building dependency tree... 69s Reading state information... 69s Solving dependencies... 69s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 72s autopkgtest [01:27:23]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 72s autopkgtest [01:27:23]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-iris 74s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-iris 4.3.0-1build4 (dsc) [2164 B] 74s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-iris 4.3.0-1build4 (tar) [623 kB] 74s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-iris 4.3.0-1build4 (diff) [12.8 kB] 74s gpgv: Signature made Wed Feb 19 07:10:59 2025 UTC 74s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 74s gpgv: Can't check signature: No public key 74s dpkg-source: warning: cannot verify inline signature for ./coq-iris_4.3.0-1build4.dsc: no acceptable signature found 74s autopkgtest [01:27:25]: testing package coq-iris version 4.3.0-1build4 74s autopkgtest [01:27:25]: build not needed 75s autopkgtest [01:27:26]: test command1: preparing testbed 75s Reading package lists... 75s Building dependency tree... 75s Reading state information... 76s Solving dependencies... 76s Some packages could not be installed. This may mean that you have 76s requested an impossible situation or if you are using the unstable 76s distribution that some required packages have not yet been created 76s or been moved out of Incoming. 76s The following information may help to resolve the situation: 76s 76s The following packages have unmet dependencies: 76s satisfy:command-line : Depends: coq but it is not going to be installed 76s Depends: libcoq-iris but it is not going to be installed 76s E: Unable to satisfy dependencies. Reached two conflicting decisions: 76s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 76s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 76s 1. satisfy:command-line:amd64=1 is selected for install 76s 2. satisfy:command-line:amd64 Depends libcoq-iris 76s 3. libcoq-iris:amd64 Depends libcoq-stdpp-pvid8 76s 4. libcoq-stdpp:amd64 Depends libcoq-stdlib-9imx0 76s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 76s Reading package lists... 76s Building dependency tree... 76s Reading state information... 77s Solving dependencies... 77s Some packages could not be installed. This may mean that you have 77s requested an impossible situation or if you are using the unstable 77s distribution that some required packages have not yet been created 77s or been moved out of Incoming. 77s The following information may help to resolve the situation: 77s 77s The following packages have unmet dependencies: 77s satisfy:command-line : Depends: coq but it is not going to be installed 77s Depends: libcoq-iris but it is not going to be installed 77s E: Unable to satisfy dependencies. Reached two conflicting decisions: 77s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 77s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 77s 1. satisfy:command-line:amd64=1 is selected for install 77s 2. satisfy:command-line:amd64 Depends libcoq-iris 77s 3. libcoq-iris:amd64 Depends libcoq-stdpp-pvid8 77s 4. libcoq-stdpp:amd64 Depends libcoq-stdlib-9imx0 77s command1 FAIL badpkg 77s blame: coq-iris 77s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 77s autopkgtest [01:27:28]: @@@@@@@@@@@@@@@@@@@@ summary 77s command1 FAIL badpkg 77s blame: coq-iris 77s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 105s nova [W] Skipping flock for amd64 105s Creating nova instance adt-questing-amd64-coq-iris-20250620-012611-juju-7f2275-prod-proposed-migration-environment-2-f140363c-b4ff-4d19-9d79-a475a6caed1d from image adt/ubuntu-questing-amd64-server-20250619.img (UUID 0ac4ce88-14b4-462b-a8ff-5e89102fdccd)... 105s nova [W] Timed out waiting for e41a40cd-20a9-4429-a235-6e65194845c5 to get deleted.