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.poiwggn1/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-gappa --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-18.secgroup --name adt-questing-amd64-coq-gappa-20250620-012610-juju-7f2275-prod-proposed-migration-environment-15-7e02953c-3fcf-4b62-bc40-8e1a0ee683b7 --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/ 236s autopkgtest [01:30:07]: testbed dpkg architecture: amd64 236s autopkgtest [01:30:07]: testbed apt version: 3.1.2 237s autopkgtest [01:30:08]: @@@@@@@@@@@@@@@@@@@@ test bed setup 237s autopkgtest [01:30:08]: testbed release detected to be: None 237s autopkgtest [01:30:08]: updating testbed package index (apt update) 238s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 238s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 238s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 238s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 238s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 238s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 238s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 238s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 238s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [71.9 kB] 238s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [35.6 kB] 238s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 238s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 238s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 238s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [396 kB] 238s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 238s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 238s Fetched 1450 kB in 1s (2543 kB/s) 239s Reading package lists... 239s autopkgtest [01:30:10]: upgrading testbed (apt dist-upgrade and autopurge) 240s Reading package lists... 240s Building dependency tree... 240s Reading state information... 240s Calculating upgrade... 240s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 240s Reading package lists... 240s Building dependency tree... 240s Reading state information... 240s Solving dependencies... 240s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 242s autopkgtest [01:30:13]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 243s autopkgtest [01:30:14]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-gappa 244s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (dsc) [2095 B] 244s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (tar) [76.4 kB] 244s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (diff) [2208 B] 244s gpgv: Signature made Thu Feb 20 15:30:48 2025 UTC 244s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 244s gpgv: issuer "julien.puydt@laposte.net" 244s gpgv: Can't check signature: No public key 244s dpkg-source: warning: cannot verify inline signature for ./coq-gappa_1.7.0-1.dsc: no acceptable signature found 244s autopkgtest [01:30:15]: testing package coq-gappa version 1.7.0-1 245s autopkgtest [01:30:16]: build not needed 245s autopkgtest [01:30:16]: test command1: preparing testbed 245s Reading package lists... 245s Building dependency tree... 245s Reading state information... 245s Solving dependencies... 245s Some packages could not be installed. This may mean that you have 245s requested an impossible situation or if you are using the unstable 245s distribution that some required packages have not yet been created 245s or been moved out of Incoming. 245s The following information may help to resolve the situation: 245s 245s The following packages have unmet dependencies: 245s satisfy:command-line : Depends: coq but it is not going to be installed 245s Depends: libcoq-gappa but it is not going to be installed 245s E: Unable to satisfy dependencies. Reached two conflicting decisions: 245s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 245s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 245s 1. satisfy:command-line:amd64=1 is selected for install 245s 2. satisfy:command-line:amd64 Depends libcoq-gappa 245s 3. libcoq-gappa:amd64 Depends libcoq-stdlib-9imx0 245s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 246s Reading package lists... 246s Building dependency tree... 246s Reading state information... 246s Solving dependencies... 246s Some packages could not be installed. This may mean that you have 246s requested an impossible situation or if you are using the unstable 246s distribution that some required packages have not yet been created 246s or been moved out of Incoming. 246s The following information may help to resolve the situation: 246s 246s The following packages have unmet dependencies: 246s satisfy:command-line : Depends: coq but it is not going to be installed 246s Depends: libcoq-gappa but it is not going to be installed 246s E: Unable to satisfy dependencies. Reached two conflicting decisions: 246s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 246s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 246s 1. satisfy:command-line:amd64=1 is selected for install 246s 2. satisfy:command-line:amd64 Depends libcoq-gappa 246s 3. libcoq-gappa:amd64 Depends libcoq-stdlib-9imx0 246s command1 FAIL badpkg 246s autopkgtest [01:30:17]: test testsuite: preparing testbed 246s blame: coq-gappa 246s 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. 246s Reading package lists... 246s Building dependency tree... 246s Reading state information... 247s Solving dependencies... 247s Some packages could not be installed. This may mean that you have 247s requested an impossible situation or if you are using the unstable 247s distribution that some required packages have not yet been created 247s or been moved out of Incoming. 247s The following information may help to resolve the situation: 247s 247s The following packages have unmet dependencies: 247s satisfy:command-line : Depends: coq but it is not going to be installed 247s Depends: libcoq-gappa but it is not going to be installed 247s E: Unable to satisfy dependencies. Reached two conflicting decisions: 247s 1. libcoq-stdlib:amd64=8.20.1+dfsg-1 is not selected for install 247s 2. libcoq-stdlib:amd64=8.20.1+dfsg-1 is selected for install because: 247s 1. satisfy:command-line:amd64=1 is selected for install 247s 2. satisfy:command-line:amd64 Depends libcoq-gappa 247s 3. libcoq-gappa:amd64 Depends libcoq-stdlib-9imx0 247s testsuite FAIL badpkg 247s blame: coq-gappa 247s 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. 247s autopkgtest [01:30:18]: @@@@@@@@@@@@@@@@@@@@ summary 247s command1 FAIL badpkg 247s blame: coq-gappa 247s 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. 247s testsuite FAIL badpkg 247s blame: coq-gappa 247s 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. 437s nova [W] Skipping flock for amd64 437s Creating nova instance adt-questing-amd64-coq-gappa-20250620-012610-juju-7f2275-prod-proposed-migration-environment-15-7e02953c-3fcf-4b62-bc40-8e1a0ee683b7 from image adt/ubuntu-questing-amd64-server-20250620.img (UUID 6024cb2d-4e5d-459a-8e24-b5f0f3b2d848)... 437s nova [W] Timed out waiting for 38a8f873-7359-405b-9e2e-5a4ef1fb91cf to get deleted.