0s autopkgtest [01:26:13]: starting date and time: 2025-06-20 01:26:13+0000 0s autopkgtest [01:26:13]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:13]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.oeaoru8o/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 coquelicot --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-26.secgroup --name adt-questing-amd64-coquelicot-20250620-012612-juju-7f2275-prod-proposed-migration-environment-15-6c32b26e-3589-4dfe-aaf3-514511695948 --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/ 178s autopkgtest [01:29:11]: testbed dpkg architecture: amd64 178s autopkgtest [01:29:11]: testbed apt version: 3.1.2 178s autopkgtest [01:29:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup 179s autopkgtest [01:29:12]: testbed release detected to be: None 179s autopkgtest [01:29:12]: updating testbed package index (apt update) 179s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 179s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 179s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 180s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 180s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 180s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 180s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 180s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 180s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 180s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 180s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 180s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 180s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 180s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 180s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 180s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 180s Fetched 1450 kB in 1s (2285 kB/s) 181s Reading package lists... 181s autopkgtest [01:29:14]: upgrading testbed (apt dist-upgrade and autopurge) 181s Reading package lists... 181s Building dependency tree... 181s Reading state information... 182s Calculating upgrade... 182s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 182s Reading package lists... 182s Building dependency tree... 182s Reading state information... 182s Solving dependencies... 182s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 184s autopkgtest [01:29:17]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 184s autopkgtest [01:29:17]: @@@@@@@@@@@@@@@@@@@@ apt-source coquelicot 186s Get:1 http://ftpmaster.internal/ubuntu questing/universe coquelicot 3.4.3-1build3 (dsc) [2087 B] 186s Get:2 http://ftpmaster.internal/ubuntu questing/universe coquelicot 3.4.3-1build3 (tar) [230 kB] 186s Get:3 http://ftpmaster.internal/ubuntu questing/universe coquelicot 3.4.3-1build3 (diff) [2428 B] 186s gpgv: Signature made Wed May 28 08:05:31 2025 UTC 186s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 186s gpgv: Can't check signature: No public key 186s dpkg-source: warning: cannot verify inline signature for ./coquelicot_3.4.3-1build3.dsc: no acceptable signature found 186s autopkgtest [01:29:19]: testing package coquelicot version 3.4.3-1build3 186s autopkgtest [01:29:19]: build not needed 187s autopkgtest [01:29:20]: test examples: preparing testbed 187s Reading package lists... 187s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 187s Building dependency tree... 187s Reading state information... 187s Solving dependencies... 187s Some packages could not be installed. This may mean that you have 187s requested an impossible situation or if you are using the unstable 187s distribution that some required packages have not yet been created 187s or been moved out of Incoming. 187s The following information may help to resolve the situation: 187s 187s The following packages have unmet dependencies: 187s satisfy:command-line : Depends: libcoq-coquelicot but it is not going to be installed 187s Depends: coq but it is not going to be installed 187s E: Unable to satisfy dependencies. Reached two conflicting decisions: 187s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 187s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 187s 1. satisfy:command-line:amd64=1 is selected for install 187s 2. satisfy:command-line:amd64 Depends libcoq-coquelicot 187s 3. libcoq-coquelicot:amd64 Depends libcoq-mathcomp-ssreflect-oha40 187s 4. libcoq-mathcomp-ssreflect:amd64 Depends libcoq-stdlib-9imx0 188s Reading package lists... 188s Building dependency tree... 188s Reading state information... 188s Solving dependencies... 188s Some packages could not be installed. This may mean that you have 188s requested an impossible situation or if you are using the unstable 188s distribution that some required packages have not yet been created 188s or been moved out of Incoming. 188s The following information may help to resolve the situation: 188s 188s The following packages have unmet dependencies: 188s satisfy:command-line : Depends: libcoq-coquelicot but it is not going to be installed 188s Depends: coq but it is not going to be installed 188s E: Unable to satisfy dependencies. Reached two conflicting decisions: 188s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 188s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 188s 1. satisfy:command-line:amd64=1 is selected for install 188s 2. satisfy:command-line:amd64 Depends libcoq-coquelicot 188s 3. libcoq-coquelicot:amd64 Depends libcoq-mathcomp-ssreflect-oha40 188s 4. libcoq-mathcomp-ssreflect:amd64 Depends libcoq-stdlib-9imx0 188s examples FAIL badpkg 188s blame: coquelicot 188s 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. 188s autopkgtest [01:29:21]: test command1: preparing testbed 188s Reading package lists... 188s Building dependency tree... 188s Reading state information... 188s Solving dependencies... 188s Some packages could not be installed. This may mean that you have 188s requested an impossible situation or if you are using the unstable 188s distribution that some required packages have not yet been created 188s or been moved out of Incoming. 188s The following information may help to resolve the situation: 188s 188s The following packages have unmet dependencies: 188s satisfy:command-line : Depends: libcoq-coquelicot but it is not going to be installed 188s Depends: coq but it is not going to be installed 188s E: Unable to satisfy dependencies. Reached two conflicting decisions: 188s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 188s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 188s 1. satisfy:command-line:amd64=1 is selected for install 188s 2. satisfy:command-line:amd64 Depends libcoq-coquelicot 188s 3. libcoq-coquelicot:amd64 Depends libcoq-mathcomp-ssreflect-oha40 188s 4. libcoq-mathcomp-ssreflect:amd64 Depends libcoq-stdlib-9imx0 188s autopkgtest [01:29:21]: @@@@@@@@@@@@@@@@@@@@ summary 188s examples FAIL badpkg 188s blame: coquelicot 188s 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. 188s command1 FAIL badpkg 188s blame: coquelicot 188s 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. 188s command1 FAIL badpkg 188s blame: coquelicot 188s 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. 322s nova [W] Skipping flock for amd64 322s Creating nova instance adt-questing-amd64-coquelicot-20250620-012612-juju-7f2275-prod-proposed-migration-environment-15-6c32b26e-3589-4dfe-aaf3-514511695948 from image adt/ubuntu-questing-amd64-server-20250620.img (UUID 6024cb2d-4e5d-459a-8e24-b5f0f3b2d848)... 322s nova [W] Timed out waiting for ef686dc8-2817-4baa-b016-5afade4aa0a1 to get deleted.