0s autopkgtest [17:47:01]: starting date and time: 2025-05-06 17:47:01+0000 0s autopkgtest [17:47:01]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [17:47:01]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.hf7udpug/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 autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-s390x-3.secgroup --name adt-questing-s390x-mathcomp-algebra-tactics-20250506-172415-juju-7f2275-prod-proposed-migration-environment-15-7c8b64db-9828-4f1b-b8ed-c2e56a2db89d --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 69s autopkgtest [17:48:10]: testbed dpkg architecture: s390x 69s autopkgtest [17:48:10]: testbed apt version: 3.0.0 69s autopkgtest [17:48:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup 69s autopkgtest [17:48:10]: testbed release detected to be: None 70s autopkgtest [17:48:11]: updating testbed package index (apt update) 70s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB] 71s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 71s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 71s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 71s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB] 71s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB] 71s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB] 71s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [129 kB] 71s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [604 kB] 71s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [15.0 kB] 71s Fetched 1533 kB in 1s (1715 kB/s) 72s Reading package lists... 72s autopkgtest [17:48:13]: upgrading testbed (apt dist-upgrade and autopurge) 72s Reading package lists... 73s Building dependency tree... 73s Reading state information... 73s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 73s Starting 2 pkgProblemResolver with broken count: 0 73s Done 73s Entering ResolveByKeep 73s 73s Calculating upgrade... 73s The following packages will be upgraded: 73s dhcpcd-base dirmngr gcc-15-base gir1.2-glib-2.0 gnupg gnupg-l10n gnupg-utils 73s gpg gpg-agent gpg-wks-client gpgconf gpgsm gpgv keyboxd libatomic1 73s libdebuginfod-common libdebuginfod1t64 libdw1t64 libelf1t64 libgcc-s1 73s libglib2.0-0t64 libglib2.0-data libnuma1 libperl5.40 libpython3.12-minimal 73s libpython3.12-stdlib libpython3.12t64 libsemanage-common libsemanage2 73s libstdc++6 libx11-6 libx11-data libxml2 lto-disabled-list numactl 73s openssh-client openssh-server openssh-sftp-server perl perl-base 73s perl-modules-5.40 python3-dbus python3-wadllib sensible-utils 73s 44 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 73s Need to get 25.1 MB of archives. 73s After this operation, 218 kB disk space will be freed. 73s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x libperl5.40 s390x 5.40.1-3 [4972 kB] 74s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x perl s390x 5.40.1-3 [262 kB] 74s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x perl-base s390x 5.40.1-3 [1954 kB] 74s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x perl-modules-5.40 all 5.40.1-3 [3217 kB] 75s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libdebuginfod-common all 0.193-1 [15.6 kB] 75s Get:6 http://ftpmaster.internal/ubuntu questing/main s390x openssh-sftp-server s390x 1:9.9p1-3ubuntu3.1 [38.2 kB] 75s Get:7 http://ftpmaster.internal/ubuntu questing/main s390x openssh-server s390x 1:9.9p1-3ubuntu3.1 [552 kB] 75s Get:8 http://ftpmaster.internal/ubuntu questing/main s390x openssh-client s390x 1:9.9p1-3ubuntu3.1 [954 kB] 75s Get:9 http://ftpmaster.internal/ubuntu questing/main s390x libatomic1 s390x 15.1.0-2ubuntu1 [9564 B] 75s Get:10 http://ftpmaster.internal/ubuntu questing/main s390x gcc-15-base s390x 15.1.0-2ubuntu1 [54.6 kB] 75s Get:11 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-2ubuntu1 [35.7 kB] 75s Get:12 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-2ubuntu1 [906 kB] 75s Get:13 http://ftpmaster.internal/ubuntu questing/main s390x libsemanage-common all 3.8.1-1 [7826 B] 75s Get:14 http://ftpmaster.internal/ubuntu questing/main s390x libsemanage2 s390x 3.8.1-1 [99.9 kB] 75s Get:15 http://ftpmaster.internal/ubuntu questing/main s390x gpg-wks-client s390x 2.4.4-2ubuntu24 [75.6 kB] 75s Get:16 http://ftpmaster.internal/ubuntu questing/main s390x dirmngr s390x 2.4.4-2ubuntu24 [341 kB] 75s Get:17 http://ftpmaster.internal/ubuntu questing/main s390x gpgsm s390x 2.4.4-2ubuntu24 [244 kB] 75s Get:18 http://ftpmaster.internal/ubuntu questing/main s390x gnupg-utils s390x 2.4.4-2ubuntu24 [116 kB] 75s Get:19 http://ftpmaster.internal/ubuntu questing/main s390x gpg-agent s390x 2.4.4-2ubuntu24 [240 kB] 75s Get:20 http://ftpmaster.internal/ubuntu questing/main s390x gpg s390x 2.4.4-2ubuntu24 [591 kB] 75s Get:21 http://ftpmaster.internal/ubuntu questing/main s390x gpgconf s390x 2.4.4-2ubuntu24 [110 kB] 75s Get:22 http://ftpmaster.internal/ubuntu questing/main s390x gnupg all 2.4.4-2ubuntu24 [359 kB] 75s Get:23 http://ftpmaster.internal/ubuntu questing/main s390x keyboxd s390x 2.4.4-2ubuntu24 [82.0 kB] 75s Get:24 http://ftpmaster.internal/ubuntu questing/main s390x gpgv s390x 2.4.4-2ubuntu24 [164 kB] 75s Get:25 http://ftpmaster.internal/ubuntu questing/main s390x sensible-utils all 0.0.25 [25.0 kB] 75s Get:26 http://ftpmaster.internal/ubuntu questing/main s390x dhcpcd-base s390x 1:10.1.0-10 [220 kB] 75s Get:27 http://ftpmaster.internal/ubuntu questing/main s390x gir1.2-glib-2.0 s390x 2.84.1-2 [182 kB] 75s Get:28 http://ftpmaster.internal/ubuntu questing/main s390x libglib2.0-0t64 s390x 2.84.1-2 [1587 kB] 75s Get:29 http://ftpmaster.internal/ubuntu questing/main s390x libdebuginfod1t64 s390x 0.193-1 [22.5 kB] 75s Get:30 http://ftpmaster.internal/ubuntu questing/main s390x libdw1t64 s390x 0.193-1 [305 kB] 75s Get:31 http://ftpmaster.internal/ubuntu questing/main s390x libelf1t64 s390x 0.193-1 [70.4 kB] 75s Get:32 http://ftpmaster.internal/ubuntu questing/main s390x libglib2.0-data all 2.84.1-2 [53.2 kB] 75s Get:33 http://ftpmaster.internal/ubuntu questing/main s390x libxml2 s390x 2.12.7+dfsg+really2.9.14-0.4ubuntu0.1 [816 kB] 75s Get:34 http://ftpmaster.internal/ubuntu questing/main s390x python3-dbus s390x 1.4.0-1 [102 kB] 75s Get:35 http://ftpmaster.internal/ubuntu questing/main s390x libnuma1 s390x 2.0.19-1 [24.6 kB] 75s Get:36 http://ftpmaster.internal/ubuntu questing/main s390x libx11-data all 2:1.8.12-1 [116 kB] 75s Get:37 http://ftpmaster.internal/ubuntu questing/main s390x libx11-6 s390x 2:1.8.12-1 [671 kB] 75s Get:38 http://ftpmaster.internal/ubuntu questing/main s390x numactl s390x 2.0.19-1 [39.3 kB] 75s Get:39 http://ftpmaster.internal/ubuntu questing/main s390x gnupg-l10n all 2.4.4-2ubuntu24 [66.8 kB] 75s Get:40 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libpython3.12t64 s390x 3.12.10-1 [2509 kB] 75s Get:41 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libpython3.12-stdlib s390x 3.12.10-1 [2049 kB] 76s Get:42 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libpython3.12-minimal s390x 3.12.10-1 [836 kB] 76s Get:43 http://ftpmaster.internal/ubuntu questing/main s390x lto-disabled-list all 58 [12.4 kB] 76s Get:44 http://ftpmaster.internal/ubuntu questing/main s390x python3-wadllib all 2.0.0-3 [36.3 kB] 76s Preconfiguring packages ... 76s Fetched 25.1 MB in 2s (10.9 MB/s) 76s (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 ... 81479 files and directories currently installed.) 76s Preparing to unpack .../libperl5.40_5.40.1-3_s390x.deb ... 76s Unpacking libperl5.40:s390x (5.40.1-3) over (5.40.1-2) ... 76s Preparing to unpack .../perl_5.40.1-3_s390x.deb ... 76s Unpacking perl (5.40.1-3) over (5.40.1-2) ... 76s Preparing to unpack .../perl-base_5.40.1-3_s390x.deb ... 76s Unpacking perl-base (5.40.1-3) over (5.40.1-2) ... 76s Setting up perl-base (5.40.1-3) ... 76s (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 ... 81479 files and directories currently installed.) 76s Preparing to unpack .../0-perl-modules-5.40_5.40.1-3_all.deb ... 76s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2) ... 77s Preparing to unpack .../1-libdebuginfod-common_0.193-1_all.deb ... 77s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ... 77s Preparing to unpack .../2-openssh-sftp-server_1%3a9.9p1-3ubuntu3.1_s390x.deb ... 77s Unpacking openssh-sftp-server (1:9.9p1-3ubuntu3.1) over (1:9.9p1-3ubuntu3) ... 77s Preparing to unpack .../3-openssh-server_1%3a9.9p1-3ubuntu3.1_s390x.deb ... 77s Unpacking openssh-server (1:9.9p1-3ubuntu3.1) over (1:9.9p1-3ubuntu3) ... 77s Preparing to unpack .../4-openssh-client_1%3a9.9p1-3ubuntu3.1_s390x.deb ... 77s Unpacking openssh-client (1:9.9p1-3ubuntu3.1) over (1:9.9p1-3ubuntu3) ... 77s Preparing to unpack .../5-libatomic1_15.1.0-2ubuntu1_s390x.deb ... 77s Unpacking libatomic1:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 77s Preparing to unpack .../6-gcc-15-base_15.1.0-2ubuntu1_s390x.deb ... 77s Unpacking gcc-15-base:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 77s Setting up gcc-15-base:s390x (15.1.0-2ubuntu1) ... 77s (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 ... 81479 files and directories currently installed.) 77s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_s390x.deb ... 77s Unpacking libgcc-s1:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 77s Setting up libgcc-s1:s390x (15.1.0-2ubuntu1) ... 77s (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 ... 81479 files and directories currently installed.) 77s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_s390x.deb ... 77s Unpacking libstdc++6:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 77s Setting up libstdc++6:s390x (15.1.0-2ubuntu1) ... 77s (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 ... 81479 files and directories currently installed.) 77s Preparing to unpack .../libsemanage-common_3.8.1-1_all.deb ... 77s Unpacking libsemanage-common (3.8.1-1) over (3.7-2.1build1) ... 77s Setting up libsemanage-common (3.8.1-1) ... 77s (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 ... 81479 files and directories currently installed.) 77s Preparing to unpack .../libsemanage2_3.8.1-1_s390x.deb ... 77s Unpacking libsemanage2:s390x (3.8.1-1) over (3.7-2.1build1) ... 77s Setting up libsemanage2:s390x (3.8.1-1) ... 77s (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 ... 81479 files and directories currently installed.) 77s Preparing to unpack .../0-gpg-wks-client_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gpg-wks-client (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../1-dirmngr_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking dirmngr (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../2-gpgsm_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gpgsm (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../3-gnupg-utils_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gnupg-utils (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../4-gpg-agent_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gpg-agent (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../5-gpg_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gpg (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../6-gpgconf_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gpgconf (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../7-gnupg_2.4.4-2ubuntu24_all.deb ... 77s Unpacking gnupg (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../8-keyboxd_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking keyboxd (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Preparing to unpack .../9-gpgv_2.4.4-2ubuntu24_s390x.deb ... 77s Unpacking gpgv (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 77s Setting up gpgv (2.4.4-2ubuntu24) ... 77s (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 ... 81479 files and directories currently installed.) 77s Preparing to unpack .../00-sensible-utils_0.0.25_all.deb ... 77s Unpacking sensible-utils (0.0.25) over (0.0.24) ... 77s Preparing to unpack .../01-dhcpcd-base_1%3a10.1.0-10_s390x.deb ... 77s Unpacking dhcpcd-base (1:10.1.0-10) over (1:10.1.0-8) ... 77s Preparing to unpack .../02-gir1.2-glib-2.0_2.84.1-2_s390x.deb ... 77s Unpacking gir1.2-glib-2.0:s390x (2.84.1-2) over (2.84.1-1) ... 77s Preparing to unpack .../03-libglib2.0-0t64_2.84.1-2_s390x.deb ... 77s Unpacking libglib2.0-0t64:s390x (2.84.1-2) over (2.84.1-1) ... 77s Preparing to unpack .../04-libdebuginfod1t64_0.193-1_s390x.deb ... 77s Unpacking libdebuginfod1t64:s390x (0.193-1) over (0.192-4ubuntu1) ... 77s Preparing to unpack .../05-libdw1t64_0.193-1_s390x.deb ... 77s Unpacking libdw1t64:s390x (0.193-1) over (0.192-4ubuntu1) ... 77s Preparing to unpack .../06-libelf1t64_0.193-1_s390x.deb ... 77s Unpacking libelf1t64:s390x (0.193-1) over (0.192-4ubuntu1) ... 77s Preparing to unpack .../07-libglib2.0-data_2.84.1-2_all.deb ... 77s Unpacking libglib2.0-data (2.84.1-2) over (2.84.1-1) ... 77s Preparing to unpack .../08-libxml2_2.12.7+dfsg+really2.9.14-0.4ubuntu0.1_s390x.deb ... 77s Unpacking libxml2:s390x (2.12.7+dfsg+really2.9.14-0.4ubuntu0.1) over (2.12.7+dfsg+really2.9.14-0.4) ... 77s Preparing to unpack .../09-python3-dbus_1.4.0-1_s390x.deb ... 78s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ... 78s Preparing to unpack .../10-libnuma1_2.0.19-1_s390x.deb ... 78s Unpacking libnuma1:s390x (2.0.19-1) over (2.0.18-1build1) ... 78s Preparing to unpack .../11-libx11-data_2%3a1.8.12-1_all.deb ... 78s Unpacking libx11-data (2:1.8.12-1) over (2:1.8.10-2) ... 78s Preparing to unpack .../12-libx11-6_2%3a1.8.12-1_s390x.deb ... 78s Unpacking libx11-6:s390x (2:1.8.12-1) over (2:1.8.10-2) ... 78s Preparing to unpack .../13-numactl_2.0.19-1_s390x.deb ... 78s Unpacking numactl (2.0.19-1) over (2.0.18-1build1) ... 78s Preparing to unpack .../14-gnupg-l10n_2.4.4-2ubuntu24_all.deb ... 78s Unpacking gnupg-l10n (2.4.4-2ubuntu24) over (2.4.4-2ubuntu23) ... 78s Preparing to unpack .../15-libpython3.12t64_3.12.10-1_s390x.deb ... 78s Unpacking libpython3.12t64:s390x (3.12.10-1) over (3.12.8-3) ... 78s Preparing to unpack .../16-libpython3.12-stdlib_3.12.10-1_s390x.deb ... 78s Unpacking libpython3.12-stdlib:s390x (3.12.10-1) over (3.12.8-3) ... 78s Preparing to unpack .../17-libpython3.12-minimal_3.12.10-1_s390x.deb ... 78s Unpacking libpython3.12-minimal:s390x (3.12.10-1) over (3.12.8-3) ... 78s Preparing to unpack .../18-lto-disabled-list_58_all.deb ... 78s Unpacking lto-disabled-list (58) over (57) ... 78s Preparing to unpack .../19-python3-wadllib_2.0.0-3_all.deb ... 78s Unpacking python3-wadllib (2.0.0-3) over (2.0.0-2) ... 78s Setting up lto-disabled-list (58) ... 78s Setting up libdebuginfod-common (0.193-1) ... 78s Setting up openssh-client (1:9.9p1-3ubuntu3.1) ... 78s Setting up libpython3.12-minimal:s390x (3.12.10-1) ... 78s Setting up libelf1t64:s390x (0.193-1) ... 78s Setting up libdw1t64:s390x (0.193-1) ... 78s Setting up libglib2.0-data (2.84.1-2) ... 78s Setting up libx11-data (2:1.8.12-1) ... 78s Setting up gnupg-l10n (2.4.4-2ubuntu24) ... 78s Setting up python3-wadllib (2.0.0-3) ... 78s Setting up libatomic1:s390x (15.1.0-2ubuntu1) ... 78s Setting up dhcpcd-base (1:10.1.0-10) ... 78s Installing new version of config file /etc/dhcpcd.conf ... 78s Setting up libnuma1:s390x (2.0.19-1) ... 78s Setting up perl-modules-5.40 (5.40.1-3) ... 78s Setting up sensible-utils (0.0.25) ... 78s Setting up gpgconf (2.4.4-2ubuntu24) ... 78s Setting up libx11-6:s390x (2:1.8.12-1) ... 78s Setting up libxml2:s390x (2.12.7+dfsg+really2.9.14-0.4ubuntu0.1) ... 78s Setting up gpg (2.4.4-2ubuntu24) ... 78s Setting up gnupg-utils (2.4.4-2ubuntu24) ... 78s Setting up openssh-sftp-server (1:9.9p1-3ubuntu3.1) ... 78s Setting up libdebuginfod1t64:s390x (0.193-1) ... 78s Setting up gpg-agent (2.4.4-2ubuntu24) ... 79s Setting up libpython3.12-stdlib:s390x (3.12.10-1) ... 79s Setting up numactl (2.0.19-1) ... 79s Setting up openssh-server (1:9.9p1-3ubuntu3.1) ... 79s Setting up gpgsm (2.4.4-2ubuntu24) ... 79s Setting up libpython3.12t64:s390x (3.12.10-1) ... 79s Setting up libperl5.40:s390x (5.40.1-3) ... 79s Setting up dirmngr (2.4.4-2ubuntu24) ... 79s Setting up perl (5.40.1-3) ... 79s Setting up libglib2.0-0t64:s390x (2.84.1-2) ... 79s No schema files found: doing nothing. 79s Setting up keyboxd (2.4.4-2ubuntu24) ... 80s Setting up gir1.2-glib-2.0:s390x (2.84.1-2) ... 80s Setting up gnupg (2.4.4-2ubuntu24) ... 80s Setting up python3-dbus (1.4.0-1) ... 80s Setting up gpg-wks-client (2.4.4-2ubuntu24) ... 80s Processing triggers for ufw (0.36.2-9) ... 80s Processing triggers for man-db (2.13.1-1) ... 81s Processing triggers for install-info (7.1.1-1) ... 81s Processing triggers for libc-bin (2.41-6ubuntu1) ... 81s Reading package lists... 81s Building dependency tree... 81s Reading state information... 81s Starting pkgProblemResolver with broken count: 0 81s Starting 2 pkgProblemResolver with broken count: 0 81s Done 82s Solving dependencies... 82s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s autopkgtest [17:48:23]: rebooting testbed after setup commands that affected boot 101s autopkgtest [17:48:42]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 13:39:00 UTC 2025 103s autopkgtest [17:48:44]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-algebra-tactics 105s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (dsc) [2281 B] 105s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (tar) [59.1 kB] 105s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (diff) [9064 B] 105s gpgv: Signature made Wed Feb 19 07:20:11 2025 UTC 105s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 105s gpgv: Can't check signature: No public key 105s dpkg-source: warning: cannot verify inline signature for ./mathcomp-algebra-tactics_1.2.4-1build1.dsc: no acceptable signature found 105s autopkgtest [17:48:46]: testing package mathcomp-algebra-tactics version 1.2.4-1build1 105s autopkgtest [17:48:46]: build not needed 106s autopkgtest [17:48:47]: test command1: preparing testbed 106s Reading package lists... 106s Building dependency tree... 106s Reading state information... 106s Starting pkgProblemResolver with broken count: 1 106s Starting 2 pkgProblemResolver with broken count: 1 106s Investigating (0) libcoq-mathcomp-algebra-tactics:s390x < none -> 1.2.4-1build1 @un puN Ib > 106s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-elpi-dyos2:s390x < none @un H > 106s Considering libcoq-elpi:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 106s Re-Instated libsexplib0-ocaml:s390x 106s Re-Instated libppx-deriving-ocaml:s390x 106s Re-Instated libelpi-ocaml:s390x 106s Re-Instated libmenhir-ocaml-dev:s390x 106s Re-Instated libocaml-compiler-libs-ocaml-dev:s390x 106s Re-Instated libppx-derivers-ocaml-dev:s390x 106s Re-Instated libsexplib0-ocaml-dev:s390x 106s Re-Instated libppxlib-ocaml-dev:s390x 106s Re-Instated libppx-deriving-ocaml-dev:s390x 106s Re-Instated libre-ocaml-dev:s390x 106s Re-Instated libelpi-ocaml-dev:s390x 106s Re-Instated libfindlib-ocaml-dev:s390x 106s Re-Instated libgmpxx4ldbl:s390x 106s Re-Instated libgmp-dev:s390x 106s Re-Instated libgmp3-dev:s390x 106s Re-Instated libzarith-ocaml-dev:s390x 106s Re-Instated libcoq-core-ocaml-dev:s390x 106s Re-Instated libcoq-elpi:s390x 106s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-mathcomp-algebra-4n0b0:s390x < none @un H > 106s Considering libcoq-mathcomp-algebra:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 106s Reinst Failed early because of libcoq-elpi-dyos2:s390x 106s Reinst Failed because of libcoq-hierarchy-builder:s390x 106s Reinst Failed because of libcoq-mathcomp-ssreflect:s390x 106s Reinst Failed because of libcoq-mathcomp-fingroup:s390x 106s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-mathcomp-ssreflect-rrj33:s390x < none @un H > 106s Considering libcoq-mathcomp-ssreflect:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 106s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-mathcomp-zify-1rsy3:s390x < none @un H > 106s Considering libcoq-mathcomp-zify:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 106s Reinst Failed because of libcoq-mathcomp-algebra:s390x 106s Done 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 libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-dyos2 106s Depends: libcoq-mathcomp-algebra-4n0b0 106s Depends: libcoq-mathcomp-ssreflect-rrj33 106s Depends: libcoq-mathcomp-zify-1rsy3 106s E: Unable to correct problems, you have held broken packages. 106s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 107s Reading package lists... 107s Building dependency tree... 107s Reading state information... 107s Starting pkgProblemResolver with broken count: 1 107s Starting 2 pkgProblemResolver with broken count: 1 107s Investigating (0) libcoq-mathcomp-algebra-tactics:s390x < none -> 1.2.4-1build1 @un puN Ib > 107s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-elpi-dyos2:s390x < none @un H > 107s Considering libcoq-elpi:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 107s Re-Instated libsexplib0-ocaml:s390x 107s Re-Instated libppx-deriving-ocaml:s390x 107s Re-Instated libelpi-ocaml:s390x 107s Re-Instated libmenhir-ocaml-dev:s390x 107s Re-Instated libocaml-compiler-libs-ocaml-dev:s390x 107s Re-Instated libppx-derivers-ocaml-dev:s390x 107s Re-Instated libsexplib0-ocaml-dev:s390x 107s Re-Instated libppxlib-ocaml-dev:s390x 107s Re-Instated libppx-deriving-ocaml-dev:s390x 107s Re-Instated libre-ocaml-dev:s390x 107s Re-Instated libelpi-ocaml-dev:s390x 107s Re-Instated libfindlib-ocaml-dev:s390x 107s Re-Instated libgmpxx4ldbl:s390x 107s Re-Instated libgmp-dev:s390x 107s Re-Instated libgmp3-dev:s390x 107s Re-Instated libzarith-ocaml-dev:s390x 107s Re-Instated libcoq-core-ocaml-dev:s390x 107s Re-Instated libcoq-elpi:s390x 107s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-mathcomp-algebra-4n0b0:s390x < none @un H > 107s Considering libcoq-mathcomp-algebra:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 107s Reinst Failed early because of libcoq-elpi-dyos2:s390x 107s Reinst Failed because of libcoq-hierarchy-builder:s390x 107s Reinst Failed because of libcoq-mathcomp-ssreflect:s390x 107s Reinst Failed because of libcoq-mathcomp-fingroup:s390x 107s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-mathcomp-ssreflect-rrj33:s390x < none @un H > 107s Considering libcoq-mathcomp-ssreflect:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 107s Broken libcoq-mathcomp-algebra-tactics:s390x Depends on libcoq-mathcomp-zify-1rsy3:s390x < none @un H > 107s Considering libcoq-mathcomp-zify:s390x 0 as a solution to libcoq-mathcomp-algebra-tactics:s390x 0 107s Reinst Failed because of libcoq-mathcomp-algebra:s390x 107s Done 107s Some packages could not be installed. This may mean that you have 107s requested an impossible situation or if you are using the unstable 107s distribution that some required packages have not yet been created 107s or been moved out of Incoming. 107s The following information may help to resolve the situation: 107s 107s The following packages have unmet dependencies: 107s libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-dyos2 107s Depends: libcoq-mathcomp-algebra-4n0b0 107s Depends: libcoq-mathcomp-ssreflect-rrj33 107s Depends: libcoq-mathcomp-zify-1rsy3 107s E: Unable to correct problems, you have held broken packages. 107s command1 FAIL badpkg 107s blame: mathcomp-algebra-tactics 107s 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. 107s autopkgtest [17:48:48]: @@@@@@@@@@@@@@@@@@@@ summary 107s command1 FAIL badpkg 107s blame: mathcomp-algebra-tactics 107s 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. 124s nova [W] Using flock in prodstack6-s390x 124s Creating nova instance adt-questing-s390x-mathcomp-algebra-tactics-20250506-172415-juju-7f2275-prod-proposed-migration-environment-15-7c8b64db-9828-4f1b-b8ed-c2e56a2db89d from image adt/ubuntu-questing-s390x-server-20250505.img (UUID 235ae1f0-b461-4906-9827-678093d41c66)... 124s nova [W] Timed out waiting for a2ef0e4e-5e97-446c-93ef-f3634b08805f to get deleted.