0s autopkgtest [06:53:39]: starting date and time: 2025-06-20 06:53:39+0000 0s autopkgtest [06:53:39]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [06:53:39]: host juju-7f2275-prod-proposed-migration-environment-23; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.i1pwf4c0/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq-elpi,src:coq,src:elpi,src:findlib,src:ocaml-fpath,src:ocaml-sexplib0,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade mathcomp-algebra-tactics --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq-elpi/2.5.0-1.1 coq/8.20.1+dfsg-1build1 elpi/2.0.7-1build1 findlib/1.9.8-1build1 ocaml-fpath/0.7.3-3build5 ocaml-sexplib0/0.17.0-1build2 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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-23@sto01-s390x-7.secgroup --name adt-questing-s390x-mathcomp-algebra-tactics-20250620-061735-juju-7f2275-prod-proposed-migration-environment-23-ff774707-3adf-44dd-9366-5ee0fd418b1d --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-23 --net-id=net_prod-autopkgtest-workers-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 64s autopkgtest [06:54:43]: testbed dpkg architecture: s390x 64s autopkgtest [06:54:43]: testbed apt version: 3.1.2 64s autopkgtest [06:54:43]: @@@@@@@@@@@@@@@@@@@@ test bed setup 64s autopkgtest [06:54:43]: testbed release detected to be: None 65s autopkgtest [06:54:44]: updating testbed package index (apt update) 65s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 65s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 65s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 65s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 65s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 65s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [438 kB] 65s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 65s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 65s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [59.4 kB] 65s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted s390x Packages [960 B] 65s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [381 kB] 65s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [6256 B] 65s Fetched 1191 kB in 0s (2585 kB/s) 66s Reading package lists... 66s autopkgtest [06:54:45]: upgrading testbed (apt dist-upgrade and autopurge) 67s Reading package lists... 67s Building dependency tree... 67s Reading state information... 67s Calculating upgrade... 67s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s Reading package lists... 67s Building dependency tree... 67s Reading state information... 67s Solving dependencies... 67s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 69s autopkgtest [06:54:48]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 13:39:00 UTC 2025 69s autopkgtest [06:54:48]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-algebra-tactics 71s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build3 (dsc) [2281 B] 71s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build3 (tar) [59.1 kB] 71s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build3 (diff) [9140 B] 71s gpgv: Signature made Wed May 28 08:06:30 2025 UTC 71s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 71s gpgv: Can't check signature: No public key 71s dpkg-source: warning: cannot verify inline signature for ./mathcomp-algebra-tactics_1.2.4-1build3.dsc: no acceptable signature found 71s autopkgtest [06:54:50]: testing package mathcomp-algebra-tactics version 1.2.4-1build3 71s autopkgtest [06:54:50]: build not needed 71s autopkgtest [06:54:50]: test command1: preparing testbed 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 72s Solving dependencies... 72s Some packages could not be installed. This may mean that you have 72s requested an impossible situation or if you are using the unstable 72s distribution that some required packages have not yet been created 72s or been moved out of Incoming. 72s The following information may help to resolve the situation: 72s 72s The following packages have unmet dependencies: 72s satisfy:command-line : Depends: libcoq-mathcomp-algebra-tactics but it is not going to be installed 72s Depends: coq but it is not going to be installed 72s E: Unable to satisfy dependencies. Reached two conflicting decisions: 72s 1. libcoq-elpi:s390x=2.5.0-1ubuntu1 is not selected for install 72s 2. libcoq-elpi:s390x=2.5.0-1ubuntu1 is selected for install because: 72s 1. satisfy:command-line:s390x=1 is selected for install 72s 2. satisfy:command-line:s390x Depends libcoq-mathcomp-algebra-tactics 72s 3. libcoq-mathcomp-algebra-tactics:s390x Depends libcoq-elpi-7j7n8 72s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 72s Reading package lists... 72s Building dependency tree... 72s Reading state information... 72s Solving dependencies... 72s Some packages could not be installed. This may mean that you have 72s requested an impossible situation or if you are using the unstable 72s distribution that some required packages have not yet been created 72s or been moved out of Incoming. 72s The following information may help to resolve the situation: 72s 72s The following packages have unmet dependencies: 72s satisfy:command-line : Depends: libcoq-mathcomp-algebra-tactics but it is not going to be installed 72s Depends: coq but it is not going to be installed 72s E: Unable to satisfy dependencies. Reached two conflicting decisions: 72s 1. libcoq-elpi:s390x=2.5.0-1ubuntu1 is not selected for install 72s 2. libcoq-elpi:s390x=2.5.0-1ubuntu1 is selected for install because: 72s 1. satisfy:command-line:s390x=1 is selected for install 72s 2. satisfy:command-line:s390x Depends libcoq-mathcomp-algebra-tactics 72s 3. libcoq-mathcomp-algebra-tactics:s390x Depends libcoq-elpi-7j7n8 72s command1 FAIL badpkg 72s blame: mathcomp-algebra-tactics 72s 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. 72s autopkgtest [06:54:51]: @@@@@@@@@@@@@@@@@@@@ summary 72s command1 FAIL badpkg 72s blame: mathcomp-algebra-tactics 72s 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. 76s nova [W] Using flock in prodstack7-s390x 76s Creating nova instance adt-questing-s390x-mathcomp-algebra-tactics-20250620-061735-juju-7f2275-prod-proposed-migration-environment-23-ff774707-3adf-44dd-9366-5ee0fd418b1d from image adt/ubuntu-questing-s390x-server-20250620.img (UUID 2570426b-1767-4fd1-9139-bb4d6e8d84f0)... 76s nova [W] Timed out waiting for 3193f8a7-5a9a-43f3-98d9-548d07099fa4 to get deleted.