0s autopkgtest [17:24:19]: starting date and time: 2025-05-06 17:24:19+0000 0s autopkgtest [17:24:19]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [17:24:19]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.4c30kqx1/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-multinomials --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 autopkgtest-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@sto01-10.secgroup --name adt-questing-amd64-mathcomp-multinomials-20250506-172419-juju-7f2275-prod-proposed-migration-environment-2-aced7f98-c322-4680-9e05-29ff937e2df9 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 145s autopkgtest [17:26:44]: testbed dpkg architecture: amd64 145s autopkgtest [17:26:44]: testbed apt version: 3.0.0 145s autopkgtest [17:26:44]: @@@@@@@@@@@@@@@@@@@@ test bed setup 145s autopkgtest [17:26:44]: testbed release detected to be: None 146s autopkgtest [17:26:45]: updating testbed package index (apt update) 146s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB] 146s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 146s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 146s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 146s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB] 146s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB] 146s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB] 146s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [94.4 kB] 146s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [137 kB] 146s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [656 kB] 146s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [262 kB] 146s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [5028 B] 146s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [18.4 kB] 146s Fetched 1958 kB in 0s (3926 kB/s) 147s Reading package lists... 148s autopkgtest [17:26:47]: upgrading testbed (apt dist-upgrade and autopurge) 148s Reading package lists... 148s Building dependency tree... 148s Reading state information... 148s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 148s Starting 2 pkgProblemResolver with broken count: 0 148s Done 149s Entering ResolveByKeep 149s 149s Calculating upgrade... 149s The following packages will be upgraded: 149s gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64 149s libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base 149s perl-modules-5.40 python3-dbus sensible-utils 149s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 149s Need to get 11.7 MB of archives. 149s After this operation, 27.6 kB of additional disk space will be used. 149s Get:1 http://ftpmaster.internal/ubuntu questing/main amd64 libperl5.40 amd64 5.40.1-3 [4877 kB] 150s Get:2 http://ftpmaster.internal/ubuntu questing/main amd64 perl amd64 5.40.1-3 [262 kB] 150s Get:3 http://ftpmaster.internal/ubuntu questing/main amd64 perl-base amd64 5.40.1-3 [1840 kB] 150s Get:4 http://ftpmaster.internal/ubuntu questing/main amd64 perl-modules-5.40 all 5.40.1-3 [3217 kB] 150s Get:5 http://ftpmaster.internal/ubuntu questing/main amd64 libdebuginfod-common all 0.193-1 [15.6 kB] 150s Get:6 http://ftpmaster.internal/ubuntu questing/main amd64 libatomic1 amd64 15.1.0-2ubuntu1 [10.5 kB] 150s Get:7 http://ftpmaster.internal/ubuntu questing/main amd64 gcc-15-base amd64 15.1.0-2ubuntu1 [54.6 kB] 150s Get:8 http://ftpmaster.internal/ubuntu questing/main amd64 libgcc-s1 amd64 15.1.0-2ubuntu1 [78.1 kB] 150s Get:9 http://ftpmaster.internal/ubuntu questing/main amd64 libstdc++6 amd64 15.1.0-2ubuntu1 [812 kB] 150s Get:10 http://ftpmaster.internal/ubuntu questing/main amd64 sensible-utils all 0.0.25 [25.0 kB] 150s Get:11 http://ftpmaster.internal/ubuntu questing/main amd64 libdebuginfod1t64 amd64 0.193-1 [21.3 kB] 150s Get:12 http://ftpmaster.internal/ubuntu questing/main amd64 libdw1t64 amd64 0.193-1 [283 kB] 150s Get:13 http://ftpmaster.internal/ubuntu questing/main amd64 libelf1t64 amd64 0.193-1 [58.6 kB] 150s Get:14 http://ftpmaster.internal/ubuntu questing/main amd64 python3-dbus amd64 1.4.0-1 [102 kB] 150s Get:15 http://ftpmaster.internal/ubuntu questing/main amd64 lto-disabled-list all 58 [12.4 kB] 150s Preconfiguring packages ... 150s Fetched 11.7 MB in 1s (9982 kB/s) 151s (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.) 151s Preparing to unpack .../libperl5.40_5.40.1-3_amd64.deb ... 151s Unpacking libperl5.40:amd64 (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 151s Preparing to unpack .../perl_5.40.1-3_amd64.deb ... 151s Unpacking perl (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 151s Preparing to unpack .../perl-base_5.40.1-3_amd64.deb ... 151s Unpacking perl-base (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 151s Setting up perl-base (5.40.1-3) ... 151s (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.) 151s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ... 151s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 151s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ... 151s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ... 151s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_amd64.deb ... 151s Unpacking libatomic1:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 151s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_amd64.deb ... 151s Unpacking gcc-15-base:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 151s Setting up gcc-15-base:amd64 (15.1.0-2ubuntu1) ... 151s (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.) 151s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_amd64.deb ... 151s Unpacking libgcc-s1:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 151s Setting up libgcc-s1:amd64 (15.1.0-2ubuntu1) ... 151s (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.) 151s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_amd64.deb ... 151s Unpacking libstdc++6:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 151s Setting up libstdc++6:amd64 (15.1.0-2ubuntu1) ... 151s (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.) 151s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ... 151s Unpacking sensible-utils (0.0.25) over (0.0.24) ... 152s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_amd64.deb ... 152s Unpacking libdebuginfod1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ... 152s Preparing to unpack .../2-libdw1t64_0.193-1_amd64.deb ... 152s Unpacking libdw1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ... 152s Preparing to unpack .../3-libelf1t64_0.193-1_amd64.deb ... 152s Unpacking libelf1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ... 152s Preparing to unpack .../4-python3-dbus_1.4.0-1_amd64.deb ... 152s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ... 152s Preparing to unpack .../5-lto-disabled-list_58_all.deb ... 152s Unpacking lto-disabled-list (58) over (57) ... 152s Setting up python3-dbus (1.4.0-1) ... 152s Setting up lto-disabled-list (58) ... 152s Setting up libdebuginfod-common (0.193-1) ... 152s Setting up libelf1t64:amd64 (0.193-1) ... 152s Setting up libdw1t64:amd64 (0.193-1) ... 152s Setting up libatomic1:amd64 (15.1.0-2ubuntu1) ... 152s Setting up perl-modules-5.40 (5.40.1-3) ... 152s Setting up sensible-utils (0.0.25) ... 152s Setting up libdebuginfod1t64:amd64 (0.193-1) ... 152s Setting up libperl5.40:amd64 (5.40.1-3) ... 152s Setting up perl (5.40.1-3) ... 152s Processing triggers for man-db (2.13.1-1) ... 152s Processing triggers for libc-bin (2.41-6ubuntu1) ... 153s Reading package lists... 153s Building dependency tree... 153s Reading state information... 153s Starting pkgProblemResolver with broken count: 0 153s Starting 2 pkgProblemResolver with broken count: 0 153s Done 153s Solving dependencies... 153s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 156s autopkgtest [17:26:55]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 15:05:05 UTC 2025 156s autopkgtest [17:26:55]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-multinomials 157s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-multinomials 2.3.0-1build6 (dsc) [2296 B] 157s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-multinomials 2.3.0-1build6 (tar) [81.4 kB] 157s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-multinomials 2.3.0-1build6 (diff) [9148 B] 157s gpgv: Signature made Wed Feb 19 07:21:20 2025 UTC 157s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 157s gpgv: Can't check signature: No public key 157s dpkg-source: warning: cannot verify inline signature for ./mathcomp-multinomials_2.3.0-1build6.dsc: no acceptable signature found 157s autopkgtest [17:26:56]: testing package mathcomp-multinomials version 2.3.0-1build6 158s autopkgtest [17:26:57]: build not needed 158s autopkgtest [17:26:57]: test command1: preparing testbed 158s Reading package lists... 158s Building dependency tree... 158s Reading state information... 158s Starting pkgProblemResolver with broken count: 1 158s Starting 2 pkgProblemResolver with broken count: 1 158s Investigating (0) libcoq-hierarchy-builder:amd64 < none -> 1.8.1-1build2 @un puN Ib > 158s Broken libcoq-hierarchy-builder:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H > 158s Considering libcoq-elpi:amd64 0 as a solution to libcoq-hierarchy-builder:amd64 2 158s Re-Instated libcoq-elpi:amd64 158s Done 158s Some packages could not be installed. This may mean that you have 158s requested an impossible situation or if you are using the unstable 158s distribution that some required packages have not yet been created 158s or been moved out of Incoming. 158s The following information may help to resolve the situation: 158s 158s The following packages have unmet dependencies: 158s libcoq-hierarchy-builder : Depends: libcoq-elpi-wljb8 158s E: Unable to correct problems, you have held broken packages. 158s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 159s Reading package lists... 159s Building dependency tree... 159s Reading state information... 159s Starting pkgProblemResolver with broken count: 1 159s Starting 2 pkgProblemResolver with broken count: 1 159s Investigating (0) libcoq-hierarchy-builder:amd64 < none -> 1.8.1-1build2 @un puN Ib > 159s Broken libcoq-hierarchy-builder:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H > 159s Considering libcoq-elpi:amd64 0 as a solution to libcoq-hierarchy-builder:amd64 2 159s Re-Instated libcoq-elpi:amd64 159s Done 159s Some packages could not be installed. This may mean that you have 159s requested an impossible situation or if you are using the unstable 159s distribution that some required packages have not yet been created 159s or been moved out of Incoming. 159s The following information may help to resolve the situation: 159s 159s The following packages have unmet dependencies: 159s libcoq-hierarchy-builder : Depends: libcoq-elpi-wljb8 159s E: Unable to correct problems, you have held broken packages. 159s command1 FAIL badpkg 159s blame: mathcomp-multinomials 159s 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. 159s autopkgtest [17:26:58]: @@@@@@@@@@@@@@@@@@@@ summary 159s command1 FAIL badpkg 159s blame: mathcomp-multinomials 159s 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. 235s nova [W] Skipping flock for amd64 235s Creating nova instance adt-questing-amd64-mathcomp-multinomials-20250506-172419-juju-7f2275-prod-proposed-migration-environment-2-aced7f98-c322-4680-9e05-29ff937e2df9 from image adt/ubuntu-questing-amd64-server-20250506.img (UUID cb061278-8f5e-47a1-be24-4f5e6435dc1a)... 235s nova [W] Timed out waiting for 1af4de86-b39c-4a42-b056-2f6427e4ee2e to get deleted.