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.59skc2f6/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-hott --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 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-1.secgroup --name adt-questing-arm64-coq-hott-20250620-012616-juju-7f2275-prod-proposed-migration-environment-15-7ae1b334-f4c5-4077-b9c6-32e34dcaa621 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 87s autopkgtest [01:27:43]: testbed dpkg architecture: arm64 87s autopkgtest [01:27:43]: testbed apt version: 3.1.2 88s autopkgtest [01:27:44]: @@@@@@@@@@@@@@@@@@@@ test bed setup 88s autopkgtest [01:27:44]: testbed release detected to be: None 89s autopkgtest [01:27:45]: updating testbed package index (apt update) 89s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 90s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 90s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 90s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 90s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 90s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 90s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 90s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 90s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [60.3 kB] 90s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted arm64 Packages [23.5 kB] 90s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [388 kB] 91s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [28.0 kB] 91s Fetched 1244 kB in 2s (725 kB/s) 92s Reading package lists... 93s autopkgtest [01:27:49]: upgrading testbed (apt dist-upgrade and autopurge) 93s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s Calculating upgrade... 95s The following packages will be upgraded: 95s libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 96s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 96s Need to get 5180 kB of archives. 96s After this operation, 291 kB disk space will be freed. 96s Get:1 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 libpython3.12t64 arm64 3.12.10-1 [2314 kB] 98s Get:2 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 libpython3.12-stdlib arm64 3.12.10-1 [2029 kB] 99s Get:3 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 libpython3.12-minimal arm64 3.12.10-1 [836 kB] 100s Fetched 5180 kB in 4s (1338 kB/s) 100s (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 ... 118766 files and directories currently installed.) 100s Preparing to unpack .../libpython3.12t64_3.12.10-1_arm64.deb ... 100s Unpacking libpython3.12t64:arm64 (3.12.10-1) over (3.12.8-3) ... 101s Preparing to unpack .../libpython3.12-stdlib_3.12.10-1_arm64.deb ... 101s Unpacking libpython3.12-stdlib:arm64 (3.12.10-1) over (3.12.8-3) ... 101s Preparing to unpack .../libpython3.12-minimal_3.12.10-1_arm64.deb ... 101s Unpacking libpython3.12-minimal:arm64 (3.12.10-1) over (3.12.8-3) ... 101s Setting up libpython3.12-minimal:arm64 (3.12.10-1) ... 101s Setting up libpython3.12-stdlib:arm64 (3.12.10-1) ... 101s Setting up libpython3.12t64:arm64 (3.12.10-1) ... 101s Processing triggers for libc-bin (2.41-6ubuntu2) ... 102s Reading package lists... 102s Building dependency tree... 102s Reading state information... 103s Solving dependencies... 104s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 107s autopkgtest [01:28:03]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 107s autopkgtest [01:28:03]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hott 110s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-hott 9.0-1build1 (dsc) [2024 B] 110s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-hott 9.0-1build1 (tar) [1119 kB] 110s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-hott 9.0-1build1 (diff) [3088 B] 110s gpgv: Signature made Tue Feb 18 20:04:10 2025 UTC 110s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 110s gpgv: Can't check signature: No public key 110s dpkg-source: warning: cannot verify inline signature for ./coq-hott_9.0-1build1.dsc: no acceptable signature found 110s autopkgtest [01:28:06]: testing package coq-hott version 9.0-1build1 110s autopkgtest [01:28:06]: build not needed 112s autopkgtest [01:28:08]: test command1: preparing testbed 112s Reading package lists... 113s Building dependency tree... 113s Reading state information... 113s Solving dependencies... 113s Some packages could not be installed. This may mean that you have 113s requested an impossible situation or if you are using the unstable 113s distribution that some required packages have not yet been created 113s or been moved out of Incoming. 113s The following information may help to resolve the situation: 113s 113s The following packages have unmet dependencies: 114s satisfy:command-line : Depends: coq but it is not going to be installed 114s Depends: libcoq-hott but it is not going to be installed 114s E: Unable to satisfy dependencies. Reached two conflicting decisions: 114s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 114s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 114s 1. satisfy:command-line:arm64=1 is selected for install 114s 2. satisfy:command-line:arm64 Depends libcoq-hott 114s 3. libcoq-hott:arm64 Depends libcoq-stdlib-6snk6 114s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 114s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s Solving dependencies... 115s Some packages could not be installed. This may mean that you have 115s requested an impossible situation or if you are using the unstable 115s distribution that some required packages have not yet been created 115s or been moved out of Incoming. 115s The following information may help to resolve the situation: 115s 115s The following packages have unmet dependencies: 116s satisfy:command-line : Depends: coq but it is not going to be installed 116s Depends: libcoq-hott but it is not going to be installed 116s E: Unable to satisfy dependencies. Reached two conflicting decisions: 116s 1. libcoq-stdlib:arm64=8.20.1+dfsg-1 is not selected for install 116s 2. libcoq-stdlib:arm64=8.20.1+dfsg-1 is selected for install because: 116s 1. satisfy:command-line:arm64=1 is selected for install 116s 2. satisfy:command-line:arm64 Depends libcoq-hott 116s 3. libcoq-hott:arm64 Depends libcoq-stdlib-6snk6 116s autopkgtest [01:28:12]: @@@@@@@@@@@@@@@@@@@@ summary 116s command1 FAIL badpkg 116s blame: coq-hott 116s 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. 116s command1 FAIL badpkg 116s blame: coq-hott 116s 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. 136s nova [W] Using flock in prodstack6-arm64 136s Creating nova instance adt-questing-arm64-coq-hott-20250620-012616-juju-7f2275-prod-proposed-migration-environment-15-7ae1b334-f4c5-4077-b9c6-32e34dcaa621 from image adt/ubuntu-questing-arm64-server-20250620.img (UUID 58e7b921-7f31-4dd1-9260-f8088daaa7a1)... 136s nova [W] Timed out waiting for 2c4641ce-71ed-403e-95a5-0cdbe0f18459 to get deleted.