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-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.rubbpb9b/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-bignums --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-15@sto01-arm64-2.secgroup --name adt-questing-arm64-coq-bignums-20250620-012615-juju-7f2275-prod-proposed-migration-environment-15-b1658a28-4604-49f9-b783-64b59d1ff5b8 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 67s autopkgtest [01:27:23]: testbed dpkg architecture: arm64 67s autopkgtest [01:27:23]: testbed apt version: 3.1.2 68s autopkgtest [01:27:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup 68s autopkgtest [01:27:24]: testbed release detected to be: None 68s autopkgtest [01:27:24]: updating testbed package index (apt update) 69s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 69s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 69s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 69s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 69s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 69s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 69s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 69s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 69s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [60.3 kB] 69s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 69s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [388 kB] 69s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 69s Fetched 1244 kB in 0s (2514 kB/s) 70s Reading package lists... 70s autopkgtest [01:27:26]: upgrading testbed (apt dist-upgrade and autopurge) 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 71s Calculating upgrade... 71s The following packages will be upgraded: 71s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 71s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 71s Need to get 1672 kB of archives. 71s After this operation, 5120 B of additional disk space will be used. 71s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 bash arm64 5.2.37-2ubuntu4 [784 kB] 71s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-8ubuntu1 [11.3 kB] 71s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-8ubuntu1 [55.5 kB] 71s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-8ubuntu1 [760 kB] 71s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-8ubuntu1 [61.1 kB] 72s Fetched 1672 kB in 0s (16.0 MB/s) 72s (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.) 72s Preparing to unpack .../bash_5.2.37-2ubuntu4_arm64.deb ... 72s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 72s Setting up bash (5.2.37-2ubuntu4) ... 72s Installing new version of config file /etc/bash.bashrc ... 72s 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 72s (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.) 72s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_arm64.deb ... 72s Unpacking libatomic1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 72s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_arm64.deb ... 72s Unpacking gcc-15-base:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 72s Setting up gcc-15-base:arm64 (15.1.0-8ubuntu1) ... 72s (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.) 72s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_arm64.deb ... 72s Unpacking libstdc++6:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 72s Setting up libstdc++6:arm64 (15.1.0-8ubuntu1) ... 72s (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.) 72s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_arm64.deb ... 72s Unpacking libgcc-s1:arm64 (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 72s Setting up libgcc-s1:arm64 (15.1.0-8ubuntu1) ... 72s Setting up libatomic1:arm64 (15.1.0-8ubuntu1) ... 72s Processing triggers for install-info (7.1.1-1) ... 72s Processing triggers for libc-bin (2.41-6ubuntu2) ... 73s Processing triggers for man-db (2.13.1-1) ... 73s Processing triggers for debianutils (5.23.1) ... 73s Reading package lists... 74s Building dependency tree... 74s Reading state information... 74s Solving dependencies... 74s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 77s autopkgtest [01:27:33]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 77s autopkgtest [01:27:33]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-bignums 78s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-bignums 9.0.0+coq8.20-1build8 (dsc) [2145 B] 78s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-bignums 9.0.0+coq8.20-1build8 (tar) [117 kB] 78s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-bignums 9.0.0+coq8.20-1build8 (diff) [2352 B] 78s gpgv: Signature made Tue Feb 18 20:04:15 2025 UTC 78s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 78s gpgv: Can't check signature: No public key 78s dpkg-source: warning: cannot verify inline signature for ./coq-bignums_9.0.0+coq8.20-1build8.dsc: no acceptable signature found 78s autopkgtest [01:27:34]: testing package coq-bignums version 9.0.0+coq8.20-1build8 78s autopkgtest [01:27:34]: build not needed 79s autopkgtest [01:27:35]: test command1: preparing testbed 79s Reading package lists... 79s Building dependency tree... 79s Reading state information... 79s Solving dependencies... 79s Some packages could not be installed. This may mean that you have 79s requested an impossible situation or if you are using the unstable 79s distribution that some required packages have not yet been created 79s or been moved out of Incoming. 79s The following information may help to resolve the situation: 79s 79s The following packages have unmet dependencies: 79s satisfy:command-line : Depends: coq but it is not going to be installed 79s Depends: libcoq-bignums but it is not going to be installed 79s E: Unable to satisfy dependencies. Reached two conflicting decisions: 79s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 79s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 79s 1. satisfy:command-line:arm64=1 is selected for install 79s 2. satisfy:command-line:arm64 Depends libcoq-bignums 79s 3. libcoq-bignums:arm64 Depends libcoq-stdlib-6snk6 79s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 80s Reading package lists... 80s Building dependency tree... 80s Reading state information... 80s Solving dependencies... 80s Some packages could not be installed. This may mean that you have 80s requested an impossible situation or if you are using the unstable 80s distribution that some required packages have not yet been created 80s or been moved out of Incoming. 80s The following information may help to resolve the situation: 80s 80s The following packages have unmet dependencies: 80s satisfy:command-line : Depends: coq but it is not going to be installed 80s Depends: libcoq-bignums but it is not going to be installed 80s E: Unable to satisfy dependencies. Reached two conflicting decisions: 80s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 80s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 80s 1. satisfy:command-line:arm64=1 is selected for install 80s 2. satisfy:command-line:arm64 Depends libcoq-bignums 80s 3. libcoq-bignums:arm64 Depends libcoq-stdlib-6snk6 80s autopkgtest [01:27:36]: @@@@@@@@@@@@@@@@@@@@ summary 80s command1 FAIL badpkg 80s blame: coq-bignums 80s 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 command1 FAIL badpkg 80s blame: coq-bignums 80s 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. 85s nova [W] Using flock in prodstack7-arm64 85s Creating nova instance adt-questing-arm64-coq-bignums-20250620-012615-juju-7f2275-prod-proposed-migration-environment-15-b1658a28-4604-49f9-b783-64b59d1ff5b8 from image adt/ubuntu-questing-arm64-server-20250619.img (UUID 7b84bb89-224c-4e23-be96-b5e4f0293f0f)... 85s nova [W] Timed out waiting for 1eb3b176-ad8f-4c4c-a285-dfa8066b5cf1 to get deleted.