0s autopkgtest [01:26:16]: starting date and time: 2025-06-20 01:26:16+0000 0s autopkgtest [01:26:16]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:16]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.yx6k1017/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 autopkgtest-cpu2-ram4-disk20-arm64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@sto01-arm64-19.secgroup --name adt-questing-arm64-coq-hammer-20250620-012616-juju-7f2275-prod-proposed-migration-environment-2-e43f2e56-61cc-4e2a-810b-bcf63d020844 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 82s autopkgtest [01:27:38]: testbed dpkg architecture: arm64 82s autopkgtest [01:27:38]: testbed apt version: 3.1.2 83s autopkgtest [01:27:39]: @@@@@@@@@@@@@@@@@@@@ test bed setup 83s autopkgtest [01:27:39]: testbed release detected to be: None 83s autopkgtest [01:27:39]: updating testbed package index (apt update) 84s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 84s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 84s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 84s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 84s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 84s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 84s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 84s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 84s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [60.3 kB] 84s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 84s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [388 kB] 84s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 84s Fetched 1244 kB in 0s (2678 kB/s) 85s Reading package lists... 85s autopkgtest [01:27:41]: upgrading testbed (apt dist-upgrade and autopurge) 85s Reading package lists... 86s Building dependency tree... 86s Reading state information... 86s Calculating upgrade... 86s The following packages will be upgraded: 86s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 86s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 86s Need to get 1672 kB of archives. 86s After this operation, 5120 B of additional disk space will be used. 86s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 bash arm64 5.2.37-2ubuntu4 [784 kB] 86s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-8ubuntu1 [11.3 kB] 86s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-8ubuntu1 [55.5 kB] 87s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-8ubuntu1 [760 kB] 87s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-8ubuntu1 [61.1 kB] 87s Fetched 1672 kB in 0s (9654 kB/s) 87s (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 ... 86180 files and directories currently installed.) 87s Preparing to unpack .../bash_5.2.37-2ubuntu4_arm64.deb ... 87s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 87s Setting up bash (5.2.37-2ubuntu4) ... 87s Installing new version of config file /etc/bash.bashrc ... 87s 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 87s (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 ... 86180 files and directories currently installed.) 87s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_arm64.deb ... 87s Unpacking libatomic1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_arm64.deb ... 87s Unpacking gcc-15-base:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Setting up gcc-15-base:arm64 (15.1.0-8ubuntu1) ... 87s (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 ... 86180 files and directories currently installed.) 87s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_arm64.deb ... 87s Unpacking libstdc++6:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Setting up libstdc++6:arm64 (15.1.0-8ubuntu1) ... 87s (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 ... 86180 files and directories currently installed.) 87s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_arm64.deb ... 87s Unpacking libgcc-s1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Setting up libgcc-s1:arm64 (15.1.0-8ubuntu1) ... 87s Setting up libatomic1:arm64 (15.1.0-8ubuntu1) ... 87s Processing triggers for install-info (7.1.1-1) ... 88s Processing triggers for libc-bin (2.41-6ubuntu2) ... 88s Processing triggers for man-db (2.13.1-1) ... 88s Processing triggers for debianutils (5.23.1) ... 88s Reading package lists... 89s Building dependency tree... 89s Reading state information... 89s Solving dependencies... 89s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 91s autopkgtest [01:27:47]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 91s autopkgtest [01:27:47]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hammer 92s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-hammer 1.3.2+8.20-1build3 (dsc) [2111 B] 92s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-hammer 1.3.2+8.20-1build3 (tar) [149 kB] 92s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-hammer 1.3.2+8.20-1build3 (diff) [2908 B] 93s gpgv: Signature made Tue Feb 18 20:04:24 2025 UTC 93s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 93s gpgv: Can't check signature: No public key 93s dpkg-source: warning: cannot verify inline signature for ./coq-hammer_1.3.2+8.20-1build3.dsc: no acceptable signature found 93s autopkgtest [01:27:49]: testing package coq-hammer version 1.3.2+8.20-1build3 93s autopkgtest [01:27:49]: build not needed 93s autopkgtest [01:27:49]: test command1: preparing testbed 93s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s Solving dependencies... 94s Some packages could not be installed. This may mean that you have 94s requested an impossible situation or if you are using the unstable 94s distribution that some required packages have not yet been created 94s or been moved out of Incoming. 94s The following information may help to resolve the situation: 94s 94s The following packages have unmet dependencies: 94s satisfy:command-line : Depends: coq but it is not going to be installed 94s Depends: libcoq-hammer but it is not going to be installed 94s E: Unable to satisfy dependencies. Reached two conflicting decisions: 94s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 94s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 94s 1. satisfy:command-line:arm64=1 is selected for install 94s 2. satisfy:command-line:arm64 Depends libcoq-hammer 94s 3. libcoq-hammer:arm64 Depends libcoq-stdlib-6snk6 94s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 94s Reading package lists... 94s Building dependency tree... 94s Reading state information... 95s Solving dependencies... 95s Some packages could not be installed. This may mean that you have 95s requested an impossible situation or if you are using the unstable 95s distribution that some required packages have not yet been created 95s or been moved out of Incoming. 95s The following information may help to resolve the situation: 95s 95s The following packages have unmet dependencies: 95s satisfy:command-line : Depends: coq but it is not going to be installed 95s Depends: libcoq-hammer but it is not going to be installed 95s E: Unable to satisfy dependencies. Reached two conflicting decisions: 95s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 95s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 95s 1. satisfy:command-line:arm64=1 is selected for install 95s 2. satisfy:command-line:arm64 Depends libcoq-hammer 95s 3. libcoq-hammer:arm64 Depends libcoq-stdlib-6snk6 95s command1 FAIL badpkg 95s blame: coq-hammer 95s 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. 95s autopkgtest [01:27:51]: @@@@@@@@@@@@@@@@@@@@ summary 95s command1 FAIL badpkg 95s blame: coq-hammer 95s 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. 111s nova [W] Using flock in prodstack7-arm64 111s Creating nova instance adt-questing-arm64-coq-hammer-20250620-012616-juju-7f2275-prod-proposed-migration-environment-2-e43f2e56-61cc-4e2a-810b-bcf63d020844 from image adt/ubuntu-questing-arm64-server-20250619.img (UUID 7b84bb89-224c-4e23-be96-b5e4f0293f0f)... 111s nova [W] Timed out waiting for d5bb9e73-0bcf-4708-8477-777a3fb9fbb0 to get deleted.