0s autopkgtest [01:26:12]: starting date and time: 2025-06-20 01:26:12+0000 0s autopkgtest [01:26:12]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:12]: host juju-7f2275-prod-proposed-migration-environment-23; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.n_pqh2xb/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 coqprime --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-23@sto01-9.secgroup --name adt-questing-amd64-coqprime-20250620-012612-juju-7f2275-prod-proposed-migration-environment-23-d95095d3-211b-4d28-b762-2b44806b4755 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-23 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 93s autopkgtest [01:27:45]: testbed dpkg architecture: amd64 93s autopkgtest [01:27:45]: testbed apt version: 3.1.2 93s autopkgtest [01:27:45]: @@@@@@@@@@@@@@@@@@@@ test bed setup 93s autopkgtest [01:27:45]: testbed release detected to be: None 94s autopkgtest [01:27:46]: updating testbed package index (apt update) 94s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 94s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 94s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 94s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 94s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 94s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 94s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 94s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 94s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 94s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 94s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 94s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 94s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 95s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 95s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 95s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 95s Fetched 1450 kB in 1s (2387 kB/s) 95s Reading package lists... 96s autopkgtest [01:27:48]: upgrading testbed (apt dist-upgrade and autopurge) 96s Reading package lists... 96s Building dependency tree... 96s Reading state information... 96s Calculating upgrade... 96s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s Solving dependencies... 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 99s autopkgtest [01:27:51]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 99s autopkgtest [01:27:51]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime 101s Get:1 http://ftpmaster.internal/ubuntu questing/universe coqprime 8.20.1-1build4 (dsc) [2165 B] 101s Get:2 http://ftpmaster.internal/ubuntu questing/universe coqprime 8.20.1-1build4 (tar) [997 kB] 101s Get:3 http://ftpmaster.internal/ubuntu questing/universe coqprime 8.20.1-1build4 (diff) [3624 B] 101s gpgv: Signature made Wed Feb 19 07:18:59 2025 UTC 101s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 101s gpgv: Can't check signature: No public key 101s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1build4.dsc: no acceptable signature found 101s autopkgtest [01:27:53]: testing package coqprime version 8.20.1-1build4 101s autopkgtest [01:27:53]: build not needed 102s autopkgtest [01:27:54]: test command1: preparing testbed 102s Reading package lists... 102s Building dependency tree... 102s Reading state information... 102s Solving dependencies... 102s Some packages could not be installed. This may mean that you have 102s requested an impossible situation or if you are using the unstable 102s distribution that some required packages have not yet been created 102s or been moved out of Incoming. 102s The following information may help to resolve the situation: 102s 102s The following packages have unmet dependencies: 102s satisfy:command-line : Depends: coq but it is not going to be installed 102s Depends: libcoq-coqprime but it is not going to be installed 102s E: Unable to satisfy dependencies. Reached two conflicting decisions: 102s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 102s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 102s 1. satisfy:command-line:amd64=1 is selected for install 102s 2. satisfy:command-line:amd64 Depends libcoq-coqprime 102s 3. libcoq-coqprime:amd64 Depends libcoq-stdlib-9imx0 102s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 103s Reading package lists... 103s Building dependency tree... 103s Reading state information... 103s Solving dependencies... 103s Some packages could not be installed. This may mean that you have 103s requested an impossible situation or if you are using the unstable 103s distribution that some required packages have not yet been created 103s or been moved out of Incoming. 103s The following information may help to resolve the situation: 103s 103s The following packages have unmet dependencies: 103s satisfy:command-line : Depends: coq but it is not going to be installed 103s Depends: libcoq-coqprime but it is not going to be installed 103s E: Unable to satisfy dependencies. Reached two conflicting decisions: 103s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 103s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 103s 1. satisfy:command-line:amd64=1 is selected for install 103s 2. satisfy:command-line:amd64 Depends libcoq-coqprime 103s 3. libcoq-coqprime:amd64 Depends libcoq-stdlib-9imx0 103s command1 FAIL badpkg 103s blame: coqprime 103s 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. 103s autopkgtest [01:27:55]: @@@@@@@@@@@@@@@@@@@@ summary 103s command1 FAIL badpkg 103s blame: coqprime 103s 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. 130s nova [W] Skipping flock for amd64 130s Creating nova instance adt-questing-amd64-coqprime-20250620-012612-juju-7f2275-prod-proposed-migration-environment-23-d95095d3-211b-4d28-b762-2b44806b4755 from image adt/ubuntu-questing-amd64-server-20250620.img (UUID 6024cb2d-4e5d-459a-8e24-b5f0f3b2d848)... 130s nova [W] Timed out waiting for 7dd01e62-4088-4264-8f2e-ad5bcee9098a to get deleted.