0s autopkgtest [01:26:24]: starting date and time: 2025-06-20 01:26:24+0000
  0s autopkgtest [01:26:24]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production'
  0s autopkgtest [01:26:24]: host juju-7f2275-prod-proposed-migration-environment-23; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.7xe3gn53/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 mathcomp-bigenough --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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-23@sto01-ppc64el-19.secgroup --name adt-questing-ppc64el-mathcomp-bigenough-20250620-012623-juju-7f2275-prod-proposed-migration-environment-23-bc609e16-421c-4bf6-b5d8-41e7e0fae62f --image adt/ubuntu-questing-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-23 --net-id=net_prod-autopkgtest-workers-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/
 93s autopkgtest [01:27:57]: testbed dpkg architecture: ppc64el
 94s autopkgtest [01:27:58]: testbed apt version: 3.1.2
 94s autopkgtest [01:27:58]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 94s autopkgtest [01:27:58]: testbed release detected to be: None
 95s autopkgtest [01:27:59]: updating testbed package index (apt update)
 95s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB]
 95s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease
 95s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease
 95s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease
 95s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB]
 95s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B]
 95s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB]
 95s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB]
 95s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [60.7 kB]
 95s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted ppc64el Packages [960 B]
 95s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [372 kB]
 95s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [6652 B]
 95s Fetched 1184 kB in 0s (2550 kB/s)
 96s Reading package lists...
 97s autopkgtest [01:28:01]: upgrading testbed (apt dist-upgrade and autopurge)
 97s Reading package lists...
 97s Building dependency tree...
 97s Reading state information...
 97s Calculating upgrade...
 97s The following packages will be upgraded:
 97s   bash gcc-15-base libatomic1 libgcc-s1 libstdc++6
 97s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 97s Need to get 2001 kB of archives.
 97s After this operation, 5120 B of additional disk space will be used.
 97s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el bash ppc64el 5.2.37-2ubuntu4 [973 kB]
 98s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-8ubuntu1 [11.0 kB]
 98s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-8ubuntu1 [55.5 kB]
 98s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-8ubuntu1 [921 kB]
 98s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-8ubuntu1 [40.2 kB]
 98s Fetched 2001 kB in 1s (2169 kB/s)
 99s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 79652 files and directories currently installed.)
 99s Preparing to unpack .../bash_5.2.37-2ubuntu4_ppc64el.deb ...
 99s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ...
 99s Setting up bash (5.2.37-2ubuntu4) ...
 99s Installing new version of config file /etc/bash.bashrc ...
 99s update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode
 99s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 79652 files and directories currently installed.)
 99s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_ppc64el.deb ...
 99s Unpacking libatomic1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 99s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_ppc64el.deb ...
 99s Unpacking gcc-15-base:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 99s Setting up gcc-15-base:ppc64el (15.1.0-8ubuntu1) ...
 99s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 79652 files and directories currently installed.)
 99s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_ppc64el.deb ...
 99s Unpacking libstdc++6:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 99s Setting up libstdc++6:ppc64el (15.1.0-8ubuntu1) ...
 99s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 79652 files and directories currently installed.)
 99s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_ppc64el.deb ...
 99s Unpacking libgcc-s1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 99s Setting up libgcc-s1:ppc64el (15.1.0-8ubuntu1) ...
 99s Setting up libatomic1:ppc64el (15.1.0-8ubuntu1) ...
 99s Processing triggers for install-info (7.1.1-1) ...
 99s Processing triggers for libc-bin (2.41-6ubuntu2) ...
 99s Processing triggers for man-db (2.13.1-1) ...
100s Processing triggers for debianutils (5.23.1) ...
100s Reading package lists...
101s Building dependency tree...
101s Reading state information...
101s Solving dependencies...
101s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
103s autopkgtest [01:28:07]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr  6 14:52:42 UTC 2025
103s autopkgtest [01:28:07]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-bigenough
104s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-bigenough 1.0.2-1build3 (dsc) [2149 B]
104s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-bigenough 1.0.2-1build3 (tar) [12.2 kB]
104s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-bigenough 1.0.2-1build3 (diff) [8928 B]
104s gpgv: Signature made Wed May 28 08:05:39 2025 UTC
104s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
104s gpgv: Can't check signature: No public key
104s dpkg-source: warning: cannot verify inline signature for ./mathcomp-bigenough_1.0.2-1build3.dsc: no acceptable signature found
104s autopkgtest [01:28:08]: testing package mathcomp-bigenough version 1.0.2-1build3
105s autopkgtest [01:28:09]: build not needed
105s autopkgtest [01:28:09]: test command1: preparing testbed
105s Reading package lists...
105s Building dependency tree...
105s Reading state information...
105s Solving dependencies...
105s Some packages could not be installed. This may mean that you have
105s requested an impossible situation or if you are using the unstable
105s distribution that some required packages have not yet been created
105s or been moved out of Incoming.
105s The following information may help to resolve the situation:
105s 
105s The following packages have unmet dependencies:
105s  satisfy:command-line : Depends: libcoq-mathcomp-bigenough but it is not going to be installed
105s                         Depends: coq but it is not going to be installed
105s E: Unable to satisfy dependencies. Reached two conflicting decisions:
105s    1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install
105s    2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because:
105s       1. satisfy:command-line:ppc64el=1 is selected for install
105s       2. satisfy:command-line:ppc64el Depends libcoq-mathcomp-bigenough
105s       3. libcoq-mathcomp-bigenough:ppc64el Depends libcoq-mathcomp-ssreflect-mtnn3
105s       4. libcoq-mathcomp-ssreflect:ppc64el Depends libcoq-stdlib-j3jw0
105s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed
106s Reading package lists...
106s Building dependency tree...
106s Reading state information...
106s Solving dependencies...
106s Some packages could not be installed. This may mean that you have
106s requested an impossible situation or if you are using the unstable
106s distribution that some required packages have not yet been created
106s or been moved out of Incoming.
106s The following information may help to resolve the situation:
106s 
106s The following packages have unmet dependencies:
106s  satisfy:command-line : Depends: libcoq-mathcomp-bigenough but it is not going to be installed
106s                         Depends: coq but it is not going to be installed
106s E: Unable to satisfy dependencies. Reached two conflicting decisions:
106s    1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install
106s    2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because:
106s       1. satisfy:command-line:ppc64el=1 is selected for install
106s       2. satisfy:command-line:ppc64el Depends libcoq-mathcomp-bigenough
106s       3. libcoq-mathcomp-bigenough:ppc64el Depends libcoq-mathcomp-ssreflect-mtnn3
106s       4. libcoq-mathcomp-ssreflect:ppc64el Depends libcoq-stdlib-j3jw0
106s command1             FAIL badpkg
106s blame: mathcomp-bigenough
106s 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.
106s autopkgtest [01:28:10]: @@@@@@@@@@@@@@@@@@@@ summary
106s command1             FAIL badpkg
106s blame: mathcomp-bigenough
106s 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.
121s nova [W] Using flock in prodstack7-ppc64el
121s Creating nova instance adt-questing-ppc64el-mathcomp-bigenough-20250620-012623-juju-7f2275-prod-proposed-migration-environment-23-bc609e16-421c-4bf6-b5d8-41e7e0fae62f from image adt/ubuntu-questing-ppc64el-server-20250619.img (UUID 1c97422d-c646-492e-9581-3c98f213de4b)...
121s nova [W] Timed out waiting for 153b5815-d0cc-46ff-911d-b2120ea4a26c to get deleted.