0s autopkgtest [17:24:35]: starting date and time: 2025-05-06 17:24:35+0000 0s autopkgtest [17:24:35]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [17:24:35]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.1g9k8wvc/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq-elpi --apt-upgrade mathcomp-algebra-tactics --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=coq-elpi/2.5.0-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-7.secgroup --name adt-questing-amd64-mathcomp-algebra-tactics-20250506-172434-juju-7f2275-prod-proposed-migration-environment-2-8f2ef4dc-20e3-4727-8e62-ae78fd0c6303 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 52s autopkgtest [17:25:27]: testbed dpkg architecture: amd64 52s autopkgtest [17:25:27]: testbed apt version: 3.0.0 52s autopkgtest [17:25:27]: @@@@@@@@@@@@@@@@@@@@ test bed setup 52s autopkgtest [17:25:27]: testbed release detected to be: None 53s autopkgtest [17:25:28]: updating testbed package index (apt update) 53s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB] 54s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 54s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 54s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 54s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB] 54s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB] 54s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB] 54s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [94.4 kB] 54s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [137 kB] 54s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [262 kB] 54s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [656 kB] 54s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [18.4 kB] 54s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [5028 B] 54s Fetched 1958 kB in 1s (2163 kB/s) 55s Reading package lists... 56s autopkgtest [17:25:31]: upgrading testbed (apt dist-upgrade and autopurge) 56s Reading package lists... 56s Building dependency tree... 56s Reading state information... 57s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 57s Starting 2 pkgProblemResolver with broken count: 0 57s Done 58s Entering ResolveByKeep 58s 58s Calculating upgrade... 58s The following packages will be upgraded: 58s gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64 58s libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base 58s perl-modules-5.40 python3-dbus sensible-utils 58s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 58s Need to get 11.7 MB of archives. 58s After this operation, 25.6 kB of additional disk space will be used. 58s Get:1 http://ftpmaster.internal/ubuntu questing/main amd64 libperl5.40 amd64 5.40.1-3 [4877 kB] 59s Get:2 http://ftpmaster.internal/ubuntu questing/main amd64 perl amd64 5.40.1-3 [262 kB] 59s Get:3 http://ftpmaster.internal/ubuntu questing/main amd64 perl-base amd64 5.40.1-3 [1840 kB] 59s Get:4 http://ftpmaster.internal/ubuntu questing/main amd64 perl-modules-5.40 all 5.40.1-3 [3217 kB] 59s Get:5 http://ftpmaster.internal/ubuntu questing/main amd64 libdebuginfod-common all 0.193-1 [15.6 kB] 59s Get:6 http://ftpmaster.internal/ubuntu questing/main amd64 libatomic1 amd64 15.1.0-2ubuntu1 [10.5 kB] 59s Get:7 http://ftpmaster.internal/ubuntu questing/main amd64 gcc-15-base amd64 15.1.0-2ubuntu1 [54.6 kB] 59s Get:8 http://ftpmaster.internal/ubuntu questing/main amd64 libgcc-s1 amd64 15.1.0-2ubuntu1 [78.1 kB] 59s Get:9 http://ftpmaster.internal/ubuntu questing/main amd64 libstdc++6 amd64 15.1.0-2ubuntu1 [812 kB] 59s Get:10 http://ftpmaster.internal/ubuntu questing/main amd64 sensible-utils all 0.0.25 [25.0 kB] 59s Get:11 http://ftpmaster.internal/ubuntu questing/main amd64 libdebuginfod1t64 amd64 0.193-1 [21.3 kB] 59s Get:12 http://ftpmaster.internal/ubuntu questing/main amd64 libdw1t64 amd64 0.193-1 [283 kB] 59s Get:13 http://ftpmaster.internal/ubuntu questing/main amd64 libelf1t64 amd64 0.193-1 [58.6 kB] 59s Get:14 http://ftpmaster.internal/ubuntu questing/main amd64 python3-dbus amd64 1.4.0-1 [102 kB] 60s Get:15 http://ftpmaster.internal/ubuntu questing/main amd64 lto-disabled-list all 58 [12.4 kB] 60s Preconfiguring packages ... 60s Fetched 11.7 MB in 1s (9039 kB/s) 60s (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 ... 80527 files and directories currently installed.) 60s Preparing to unpack .../libperl5.40_5.40.1-3_amd64.deb ... 60s Unpacking libperl5.40:amd64 (5.40.1-3) over (5.40.1-2) ... 61s Preparing to unpack .../perl_5.40.1-3_amd64.deb ... 61s Unpacking perl (5.40.1-3) over (5.40.1-2) ... 61s Preparing to unpack .../perl-base_5.40.1-3_amd64.deb ... 61s Unpacking perl-base (5.40.1-3) over (5.40.1-2) ... 61s Setting up perl-base (5.40.1-3) ... 61s (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 ... 80527 files and directories currently installed.) 61s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ... 61s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2) ... 61s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ... 61s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ... 61s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_amd64.deb ... 61s Unpacking libatomic1:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 61s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_amd64.deb ... 61s Unpacking gcc-15-base:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 61s Setting up gcc-15-base:amd64 (15.1.0-2ubuntu1) ... 62s (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 ... 80527 files and directories currently installed.) 62s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_amd64.deb ... 62s Unpacking libgcc-s1:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 62s Setting up libgcc-s1:amd64 (15.1.0-2ubuntu1) ... 62s (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 ... 80527 files and directories currently installed.) 62s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_amd64.deb ... 62s Unpacking libstdc++6:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 62s Setting up libstdc++6:amd64 (15.1.0-2ubuntu1) ... 62s (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 ... 80527 files and directories currently installed.) 62s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ... 62s Unpacking sensible-utils (0.0.25) over (0.0.24) ... 62s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_amd64.deb ... 62s Unpacking libdebuginfod1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ... 62s Preparing to unpack .../2-libdw1t64_0.193-1_amd64.deb ... 62s Unpacking libdw1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ... 62s Preparing to unpack .../3-libelf1t64_0.193-1_amd64.deb ... 62s Unpacking libelf1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ... 62s Preparing to unpack .../4-python3-dbus_1.4.0-1_amd64.deb ... 62s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ... 62s Preparing to unpack .../5-lto-disabled-list_58_all.deb ... 62s Unpacking lto-disabled-list (58) over (57) ... 62s Setting up python3-dbus (1.4.0-1) ... 62s Setting up lto-disabled-list (58) ... 62s Setting up libdebuginfod-common (0.193-1) ... 62s Setting up libelf1t64:amd64 (0.193-1) ... 62s Setting up libdw1t64:amd64 (0.193-1) ... 62s Setting up libatomic1:amd64 (15.1.0-2ubuntu1) ... 62s Setting up perl-modules-5.40 (5.40.1-3) ... 62s Setting up sensible-utils (0.0.25) ... 62s Setting up libdebuginfod1t64:amd64 (0.193-1) ... 62s Setting up libperl5.40:amd64 (5.40.1-3) ... 62s Setting up perl (5.40.1-3) ... 62s Processing triggers for man-db (2.13.1-1) ... 63s Processing triggers for libc-bin (2.41-6ubuntu1) ... 64s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Starting pkgProblemResolver with broken count: 0 64s Starting 2 pkgProblemResolver with broken count: 0 64s Done 65s Solving dependencies... 65s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 68s autopkgtest [17:25:43]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 68s autopkgtest [17:25:43]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-algebra-tactics 70s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (dsc) [2281 B] 70s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (tar) [59.1 kB] 70s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (diff) [9064 B] 70s gpgv: Signature made Wed Feb 19 07:20:11 2025 UTC 70s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 70s gpgv: Can't check signature: No public key 70s dpkg-source: warning: cannot verify inline signature for ./mathcomp-algebra-tactics_1.2.4-1build1.dsc: no acceptable signature found 70s autopkgtest [17:25:45]: testing package mathcomp-algebra-tactics version 1.2.4-1build1 70s autopkgtest [17:25:45]: build not needed 71s autopkgtest [17:25:46]: test command1: preparing testbed 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 71s Starting pkgProblemResolver with broken count: 1 72s Starting 2 pkgProblemResolver with broken count: 1 72s Investigating (0) libcoq-mathcomp-algebra-tactics:amd64 < none -> 1.2.4-1build1 @un puN Ib > 72s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H > 72s Considering libcoq-elpi:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 72s Re-Instated libsexplib0-ocaml:amd64 72s Re-Instated libppx-deriving-ocaml:amd64 72s Re-Instated libelpi-ocaml:amd64 72s Re-Instated libmenhir-ocaml-dev:amd64 72s Re-Instated libocaml-compiler-libs-ocaml-dev:amd64 72s Re-Instated libppx-derivers-ocaml-dev:amd64 72s Re-Instated libsexplib0-ocaml-dev:amd64 72s Re-Instated libppxlib-ocaml-dev:amd64 72s Re-Instated libppx-deriving-ocaml-dev:amd64 72s Re-Instated libre-ocaml-dev:amd64 72s Re-Instated libelpi-ocaml-dev:amd64 72s Re-Instated libfindlib-ocaml-dev:amd64 72s Re-Instated libgmpxx4ldbl:amd64 72s Re-Instated libgmp-dev:amd64 72s Re-Instated libgmp3-dev:amd64 72s Re-Instated libzarith-ocaml-dev:amd64 72s Re-Instated libcoq-core-ocaml-dev:amd64 72s Re-Instated libcoq-elpi:amd64 72s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-mathcomp-algebra-tliv7:amd64 < none @un H > 72s Considering libcoq-mathcomp-algebra:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 72s Reinst Failed early because of libcoq-elpi-wljb8:amd64 72s Reinst Failed because of libcoq-hierarchy-builder:amd64 72s Reinst Failed because of libcoq-mathcomp-ssreflect:amd64 72s Reinst Failed because of libcoq-mathcomp-fingroup:amd64 72s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-mathcomp-ssreflect-rrbv4:amd64 < none @un H > 72s Considering libcoq-mathcomp-ssreflect:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 72s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-mathcomp-zify-g6ie9:amd64 < none @un H > 72s Considering libcoq-mathcomp-zify:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 72s Reinst Failed because of libcoq-mathcomp-algebra:amd64 72s Done 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 libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-wljb8 72s Depends: libcoq-mathcomp-algebra-tliv7 72s Depends: libcoq-mathcomp-ssreflect-rrbv4 72s Depends: libcoq-mathcomp-zify-g6ie9 72s E: Unable to correct problems, you have held broken packages. 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... 73s Starting pkgProblemResolver with broken count: 1 73s Starting 2 pkgProblemResolver with broken count: 1 73s Investigating (0) libcoq-mathcomp-algebra-tactics:amd64 < none -> 1.2.4-1build1 @un puN Ib > 73s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H > 73s Considering libcoq-elpi:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 73s Re-Instated libsexplib0-ocaml:amd64 73s Re-Instated libppx-deriving-ocaml:amd64 73s Re-Instated libelpi-ocaml:amd64 73s Re-Instated libmenhir-ocaml-dev:amd64 73s Re-Instated libocaml-compiler-libs-ocaml-dev:amd64 73s Re-Instated libppx-derivers-ocaml-dev:amd64 73s Re-Instated libsexplib0-ocaml-dev:amd64 73s Re-Instated libppxlib-ocaml-dev:amd64 73s Re-Instated libppx-deriving-ocaml-dev:amd64 73s Re-Instated libre-ocaml-dev:amd64 73s Re-Instated libelpi-ocaml-dev:amd64 73s Re-Instated libfindlib-ocaml-dev:amd64 73s Re-Instated libgmpxx4ldbl:amd64 73s Re-Instated libgmp-dev:amd64 73s Re-Instated libgmp3-dev:amd64 73s Re-Instated libzarith-ocaml-dev:amd64 73s Re-Instated libcoq-core-ocaml-dev:amd64 73s Re-Instated libcoq-elpi:amd64 73s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-mathcomp-algebra-tliv7:amd64 < none @un H > 73s Considering libcoq-mathcomp-algebra:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 73s Reinst Failed early because of libcoq-elpi-wljb8:amd64 73s Reinst Failed because of libcoq-hierarchy-builder:amd64 73s Reinst Failed because of libcoq-mathcomp-ssreflect:amd64 73s Reinst Failed because of libcoq-mathcomp-fingroup:amd64 73s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-mathcomp-ssreflect-rrbv4:amd64 < none @un H > 73s Considering libcoq-mathcomp-ssreflect:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 73s Broken libcoq-mathcomp-algebra-tactics:amd64 Depends on libcoq-mathcomp-zify-g6ie9:amd64 < none @un H > 73s Considering libcoq-mathcomp-zify:amd64 0 as a solution to libcoq-mathcomp-algebra-tactics:amd64 0 73s Reinst Failed because of libcoq-mathcomp-algebra:amd64 73s Done 73s Some packages could not be installed. This may mean that you have 73s requested an impossible situation or if you are using the unstable 73s distribution that some required packages have not yet been created 73s or been moved out of Incoming. 73s The following information may help to resolve the situation: 73s 73s The following packages have unmet dependencies: 73s libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-wljb8 73s Depends: libcoq-mathcomp-algebra-tliv7 73s Depends: libcoq-mathcomp-ssreflect-rrbv4 73s Depends: libcoq-mathcomp-zify-g6ie9 73s E: Unable to correct problems, you have held broken packages. 73s command1 FAIL badpkg 73s blame: mathcomp-algebra-tactics 73s autopkgtest [17:25:48]: @@@@@@@@@@@@@@@@@@@@ summary 73s command1 FAIL badpkg 73s blame: mathcomp-algebra-tactics 73s 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. 73s 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. 90s nova [W] Skipping flock for amd64 90s Creating nova instance adt-questing-amd64-mathcomp-algebra-tactics-20250506-172434-juju-7f2275-prod-proposed-migration-environment-2-8f2ef4dc-20e3-4727-8e62-ae78fd0c6303 from image adt/ubuntu-questing-amd64-server-20250506.img (UUID f1864fa2-149c-4e5d-800d-c5107d8a2f35)... 90s nova [W] Timed out waiting for 5d6a8330-ca68-4f71-a51f-09925260b436 to get deleted.