0s autopkgtest [06:26:38]: starting date and time: 2025-06-20 06:26:38+0000 0s autopkgtest [06:26:38]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [06:26:38]: host juju-7f2275-prod-proposed-migration-environment-21; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qoig1nmr/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:aac-tactics,src:coq,src:findlib,src:ocaml-fpath,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade coq-relation-algebra --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=aac-tactics/8.20.0-1build4 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 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-21@sto01-9.secgroup --name adt-questing-amd64-coq-relation-algebra-20250620-061703-juju-7f2275-prod-proposed-migration-environment-21-175b6d8b-3a12-44a8-a812-dee9586abaf6 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-21 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 55s autopkgtest [06:27:33]: testbed dpkg architecture: amd64 55s autopkgtest [06:27:33]: testbed apt version: 3.1.2 56s autopkgtest [06:27:34]: @@@@@@@@@@@@@@@@@@@@ test bed setup 56s autopkgtest [06:27:34]: testbed release detected to be: None 56s autopkgtest [06:27:34]: updating testbed package index (apt update) 57s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 57s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 57s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 57s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 57s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 57s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [438 kB] 57s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 57s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 57s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [36.1 kB] 57s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [72.6 kB] 57s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/restricted amd64 Packages [18.7 kB] 57s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/restricted i386 Packages [3816 B] 57s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [405 kB] 57s Get:14 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [144 kB] 57s Get:15 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [6484 B] 57s Get:16 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [29.0 kB] 57s Fetched 1459 kB in 1s (2477 kB/s) 58s Reading package lists... 58s autopkgtest [06:27:36]: upgrading testbed (apt dist-upgrade and autopurge) 59s Reading package lists... 59s Building dependency tree... 59s Reading state information... 59s Calculating upgrade... 59s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 59s Reading package lists... 59s Building dependency tree... 59s Reading state information... 60s Solving dependencies... 60s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 62s autopkgtest [06:27:40]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 62s autopkgtest [06:27:40]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-relation-algebra 63s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-relation-algebra 1.7.11-1build7 (dsc) [2250 B] 63s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-relation-algebra 1.7.11-1build7 (tar) [197 kB] 63s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-relation-algebra 1.7.11-1build7 (diff) [2436 B] 63s gpgv: Signature made Wed May 28 08:06:19 2025 UTC 63s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 63s gpgv: Can't check signature: No public key 63s dpkg-source: warning: cannot verify inline signature for ./coq-relation-algebra_1.7.11-1build7.dsc: no acceptable signature found 63s autopkgtest [06:27:41]: testing package coq-relation-algebra version 1.7.11-1build7 63s autopkgtest [06:27:41]: build not needed 64s autopkgtest [06:27:42]: test command1: preparing testbed 64s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Solving dependencies... 64s Some packages could not be installed. This may mean that you have 64s requested an impossible situation or if you are using the unstable 64s distribution that some required packages have not yet been created 64s or been moved out of Incoming. 64s The following information may help to resolve the situation: 64s 64s The following packages have unmet dependencies: 64s satisfy:command-line : Depends: coq but it is not going to be installed 64s Depends: libcoq-relation-algebra but it is not going to be installed 64s E: Unable to satisfy dependencies. Reached two conflicting decisions: 64s 1. libcoq-aac-tactics:amd64=8.20.0-1build3 is not selected for install 64s 2. libcoq-aac-tactics:amd64=8.20.0-1build3 is selected for install because: 64s 1. satisfy:command-line:amd64=1 is selected for install 64s 2. satisfy:command-line:amd64 Depends libcoq-relation-algebra 64s 3. libcoq-relation-algebra:amd64 Depends libcoq-aac-tactics-dzho1 64s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 64s Reading package lists... 65s Building dependency tree... 65s Reading state information... 65s Solving dependencies... 65s Some packages could not be installed. This may mean that you have 65s requested an impossible situation or if you are using the unstable 65s distribution that some required packages have not yet been created 65s or been moved out of Incoming. 65s The following information may help to resolve the situation: 65s 65s The following packages have unmet dependencies: 65s satisfy:command-line : Depends: coq but it is not going to be installed 65s Depends: libcoq-relation-algebra but it is not going to be installed 65s E: Unable to satisfy dependencies. Reached two conflicting decisions: 65s 1. libcoq-aac-tactics:amd64=8.20.0-1build3 is not selected for install 65s 2. libcoq-aac-tactics:amd64=8.20.0-1build3 is selected for install because: 65s 1. satisfy:command-line:amd64=1 is selected for install 65s 2. satisfy:command-line:amd64 Depends libcoq-relation-algebra 65s 3. libcoq-relation-algebra:amd64 Depends libcoq-aac-tactics-dzho1 65s autopkgtest [06:27:43]: @@@@@@@@@@@@@@@@@@@@ summary 65s command1 FAIL badpkg 65s blame: coq-relation-algebra 65s 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. 65s command1 FAIL badpkg 65s blame: coq-relation-algebra 65s 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. 80s nova [W] Skipping flock for amd64 80s Creating nova instance adt-questing-amd64-coq-relation-algebra-20250620-061703-juju-7f2275-prod-proposed-migration-environment-21-175b6d8b-3a12-44a8-a812-dee9586abaf6 from image adt/ubuntu-questing-amd64-server-20250620.img (UUID 6024cb2d-4e5d-459a-8e24-b5f0f3b2d848)... 80s nova [W] Timed out waiting for e5f0840f-5c3f-46db-9b1a-cafe9d6ff9e9 to get deleted.