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-21; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qklat3os/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-hammer --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-21@bos03-1.secgroup --name adt-questing-amd64-coq-hammer-20250620-012611-juju-7f2275-prod-proposed-migration-environment-21-58d109ce-6b60-4466-a56f-c59fedf9ce46 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-21 --net-id=net_prod-proposed-migration-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 56s autopkgtest [01:27:07]: testbed dpkg architecture: amd64 56s autopkgtest [01:27:07]: testbed apt version: 3.1.2 56s autopkgtest [01:27:07]: @@@@@@@@@@@@@@@@@@@@ test bed setup 56s autopkgtest [01:27:07]: testbed release detected to be: None 57s autopkgtest [01:27:08]: updating testbed package index (apt update) 57s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 58s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 58s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 58s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 58s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 58s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 58s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 58s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 58s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 58s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 58s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 58s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 58s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 58s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 58s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 58s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 58s Fetched 1450 kB in 1s (1714 kB/s) 59s Reading package lists... 59s autopkgtest [01:27:10]: upgrading testbed (apt dist-upgrade and autopurge) 60s Reading package lists... 60s Building dependency tree... 60s Reading state information... 60s Calculating upgrade... 60s The following packages will be upgraded: 60s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 60s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 60s Need to get 1758 kB of archives. 60s After this operation, 5120 B of additional disk space will be used. 60s Get:1 http://ftpmaster.internal/ubuntu questing/main amd64 bash amd64 5.2.37-2ubuntu4 [801 kB] 61s Get:2 http://ftpmaster.internal/ubuntu questing/main amd64 libatomic1 amd64 15.1.0-8ubuntu1 [10.5 kB] 61s Get:3 http://ftpmaster.internal/ubuntu questing/main amd64 gcc-15-base amd64 15.1.0-8ubuntu1 [55.5 kB] 61s Get:4 http://ftpmaster.internal/ubuntu questing/main amd64 libstdc++6 amd64 15.1.0-8ubuntu1 [813 kB] 61s Get:5 http://ftpmaster.internal/ubuntu questing/main amd64 libgcc-s1 amd64 15.1.0-8ubuntu1 [78.1 kB] 61s Fetched 1758 kB in 1s (2634 kB/s) 61s (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.) 61s Preparing to unpack .../bash_5.2.37-2ubuntu4_amd64.deb ... 61s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 61s Setting up bash (5.2.37-2ubuntu4) ... 61s Installing new version of config file /etc/bash.bashrc ... 61s 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 62s (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.) 62s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_amd64.deb ... 62s Unpacking libatomic1:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 62s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_amd64.deb ... 62s Unpacking gcc-15-base:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 62s Setting up gcc-15-base:amd64 (15.1.0-8ubuntu1) ... 62s (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.) 62s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_amd64.deb ... 62s Unpacking libstdc++6:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 62s Setting up libstdc++6:amd64 (15.1.0-8ubuntu1) ... 62s (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.) 62s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_amd64.deb ... 62s Unpacking libgcc-s1:amd64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 62s Setting up libgcc-s1:amd64 (15.1.0-8ubuntu1) ... 62s Setting up libatomic1:amd64 (15.1.0-8ubuntu1) ... 62s Processing triggers for install-info (7.1.1-1) ... 62s Processing triggers for libc-bin (2.41-6ubuntu2) ... 62s Processing triggers for man-db (2.13.1-1) ... 63s Processing triggers for debianutils (5.23.1) ... 63s Reading package lists... 63s Building dependency tree... 63s Reading state information... 63s Solving dependencies... 64s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 66s autopkgtest [01:27:17]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 66s autopkgtest [01:27:17]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hammer 68s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-hammer 1.3.2+8.20-1build3 (dsc) [2111 B] 68s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-hammer 1.3.2+8.20-1build3 (tar) [149 kB] 68s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-hammer 1.3.2+8.20-1build3 (diff) [2908 B] 68s gpgv: Signature made Tue Feb 18 20:04:24 2025 UTC 68s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 68s gpgv: Can't check signature: No public key 68s dpkg-source: warning: cannot verify inline signature for ./coq-hammer_1.3.2+8.20-1build3.dsc: no acceptable signature found 68s autopkgtest [01:27:19]: testing package coq-hammer version 1.3.2+8.20-1build3 68s autopkgtest [01:27:19]: build not needed 69s autopkgtest [01:27:20]: test command1: preparing testbed 69s Reading package lists... 69s Building dependency tree... 69s Reading state information... 69s Solving dependencies... 69s Some packages could not be installed. This may mean that you have 69s requested an impossible situation or if you are using the unstable 69s distribution that some required packages have not yet been created 69s or been moved out of Incoming. 69s The following information may help to resolve the situation: 69s 69s The following packages have unmet dependencies: 69s satisfy:command-line : Depends: coq but it is not going to be installed 69s Depends: libcoq-hammer but it is not going to be installed 69s E: Unable to satisfy dependencies. Reached two conflicting decisions: 69s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 69s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 69s 1. satisfy:command-line:amd64=1 is selected for install 69s 2. satisfy:command-line:amd64 Depends libcoq-hammer 69s 3. libcoq-hammer:amd64 Depends libcoq-stdlib-9imx0 69s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 70s Reading package lists... 70s Building dependency tree... 70s Reading state information... 70s Solving dependencies... 70s Some packages could not be installed. This may mean that you have 70s requested an impossible situation or if you are using the unstable 70s distribution that some required packages have not yet been created 70s or been moved out of Incoming. 70s The following information may help to resolve the situation: 70s 70s The following packages have unmet dependencies: 70s satisfy:command-line : Depends: coq but it is not going to be installed 70s Depends: libcoq-hammer but it is not going to be installed 70s E: Unable to satisfy dependencies. Reached two conflicting decisions: 70s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 70s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 70s 1. satisfy:command-line:amd64=1 is selected for install 70s 2. satisfy:command-line:amd64 Depends libcoq-hammer 70s 3. libcoq-hammer:amd64 Depends libcoq-stdlib-9imx0 70s command1 FAIL badpkg 70s blame: coq-hammer 70s 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. 70s autopkgtest [01:27:21]: @@@@@@@@@@@@@@@@@@@@ summary 70s command1 FAIL badpkg 70s blame: coq-hammer 70s 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. 80s nova [W] Skipping flock for amd64 80s Creating nova instance adt-questing-amd64-coq-hammer-20250620-012611-juju-7f2275-prod-proposed-migration-environment-21-58d109ce-6b60-4466-a56f-c59fedf9ce46 from image adt/ubuntu-questing-amd64-server-20250619.img (UUID 0ac4ce88-14b4-462b-a8ff-5e89102fdccd)... 80s nova [W] Timed out waiting for ba71ce0e-6efa-442a-a45e-20ecee13557c to get deleted.