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-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.6m6t1u0u/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-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@sto01-4.secgroup --name adt-questing-amd64-coq-hott-20250620-012611-juju-7f2275-prod-proposed-migration-environment-15-3a0c4e8d-927f-4ec1-9773-ce59e72af714 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 333s autopkgtest [01:31:44]: testbed dpkg architecture: amd64 333s autopkgtest [01:31:44]: testbed apt version: 3.1.2 334s autopkgtest [01:31:45]: @@@@@@@@@@@@@@@@@@@@ test bed setup 334s autopkgtest [01:31:45]: testbed release detected to be: None 334s autopkgtest [01:31:45]: updating testbed package index (apt update) 335s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 335s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 335s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 335s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 335s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 335s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 335s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 335s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 335s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 335s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 335s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 335s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 335s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 335s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 335s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 335s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 335s Fetched 1450 kB in 1s (2672 kB/s) 336s Reading package lists... 336s autopkgtest [01:31:47]: upgrading testbed (apt dist-upgrade and autopurge) 336s Reading package lists... 337s Building dependency tree... 337s Reading state information... 337s Calculating upgrade... 337s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 337s Reading package lists... 337s Building dependency tree... 337s Reading state information... 337s Solving dependencies... 337s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 339s autopkgtest [01:31:50]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 339s autopkgtest [01:31:50]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hott 341s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-hott 9.0-1build1 (dsc) [2024 B] 341s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-hott 9.0-1build1 (tar) [1119 kB] 341s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-hott 9.0-1build1 (diff) [3088 B] 341s gpgv: Signature made Tue Feb 18 20:04:10 2025 UTC 341s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 341s gpgv: Can't check signature: No public key 341s dpkg-source: warning: cannot verify inline signature for ./coq-hott_9.0-1build1.dsc: no acceptable signature found 341s autopkgtest [01:31:52]: testing package coq-hott version 9.0-1build1 342s autopkgtest [01:31:53]: build not needed 342s autopkgtest [01:31:53]: test command1: preparing testbed 342s Reading package lists... 342s Building dependency tree... 342s Reading state information... 342s Solving dependencies... 342s Some packages could not be installed. This may mean that you have 342s requested an impossible situation or if you are using the unstable 342s distribution that some required packages have not yet been created 342s or been moved out of Incoming. 342s The following information may help to resolve the situation: 342s 342s The following packages have unmet dependencies: 343s satisfy:command-line : Depends: coq but it is not going to be installed 343s Depends: libcoq-hott but it is not going to be installed 343s E: Unable to satisfy dependencies. Reached two conflicting decisions: 343s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 343s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 343s 1. satisfy:command-line:amd64=1 is selected for install 343s 2. satisfy:command-line:amd64 Depends libcoq-hott 343s 3. libcoq-hott:amd64 Depends libcoq-stdlib-9imx0 343s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 343s Reading package lists... 343s Building dependency tree... 343s Reading state information... 343s Solving dependencies... 343s Some packages could not be installed. This may mean that you have 343s requested an impossible situation or if you are using the unstable 343s distribution that some required packages have not yet been created 343s or been moved out of Incoming. 343s The following information may help to resolve the situation: 343s 343s The following packages have unmet dependencies: 343s satisfy:command-line : Depends: coq but it is not going to be installed 343s Depends: libcoq-hott but it is not going to be installed 343s E: Unable to satisfy dependencies. Reached two conflicting decisions: 343s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 343s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 343s 1. satisfy:command-line:amd64=1 is selected for install 343s 2. satisfy:command-line:amd64 Depends libcoq-hott 343s 3. libcoq-hott:amd64 Depends libcoq-stdlib-9imx0 343s command1 FAIL badpkg 343s blame: coq-hott 343s 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. 343s autopkgtest [01:31:54]: @@@@@@@@@@@@@@@@@@@@ summary 343s command1 FAIL badpkg 343s blame: coq-hott 343s 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. 382s nova [W] Skipping flock for amd64 382s Creating nova instance adt-questing-amd64-coq-hott-20250620-012611-juju-7f2275-prod-proposed-migration-environment-15-3a0c4e8d-927f-4ec1-9773-ce59e72af714 from image adt/ubuntu-questing-amd64-server-20250620.img (UUID 6024cb2d-4e5d-459a-8e24-b5f0f3b2d848)... 382s nova [W] Timed out waiting for a2926527-75ff-472e-88b5-e77e42c96658 to get deleted.