0s autopkgtest [20:08:00]: starting date and time: 2025-02-20 20:08:00+0000 0s autopkgtest [20:08:00]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:08:00]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.vxdj9g_o/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade coqprime --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-20.secgroup --name adt-plucky-amd64-coqprime-20250220-200800-juju-7f2275-prod-proposed-migration-environment-15-3d8ca0ac-79e9-4376-bb39-de31811ac62d --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-amd64 -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 55s autopkgtest [20:08:55]: testbed dpkg architecture: amd64 55s autopkgtest [20:08:55]: testbed apt version: 2.9.30 56s autopkgtest [20:08:56]: @@@@@@@@@@@@@@@@@@@@ test bed setup 56s autopkgtest [20:08:56]: testbed release detected to be: None 57s autopkgtest [20:08:57]: updating testbed package index (apt update) 57s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 57s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 57s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 58s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 58s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 58s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 58s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 58s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 58s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [130 kB] 58s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [105 kB] 58s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 58s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 58s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [267 kB] 58s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [703 kB] 58s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [22.5 kB] 58s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [9128 B] 58s Fetched 2210 kB in 1s (2349 kB/s) 59s Reading package lists... 60s + lsb_release --codename --short 60s + RELEASE=plucky 60s + cat 60s + [ plucky != trusty ] 60s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 60s Reading package lists... 60s Building dependency tree... 60s Reading state information... 61s Calculating upgrade... 61s The following package was automatically installed and is no longer required: 61s libapt-pkg6.0t64 61s Use 'sudo apt autoremove' to remove it. 61s The following packages will be upgraded: 61s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 61s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 61s ubuntu-pro-client ubuntu-pro-client-l10n 61s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 61s Need to get 10.3 MB of archives. 61s After this operation, 189 kB of additional disk space will be used. 61s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl-provider-legacy amd64 3.4.1-1ubuntu1 [38.8 kB] 61s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libssl3t64 amd64 3.4.1-1ubuntu1 [2334 kB] 62s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 kbd amd64 2.7.1-2ubuntu1 [242 kB] 62s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl amd64 3.4.1-1ubuntu1 [1189 kB] 62s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client-l10n amd64 34.1.3 [18.3 kB] 62s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client amd64 34.1.3 [241 kB] 62s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 inetutils-telnet amd64 2:2.5-6ubuntu1 [116 kB] 62s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 62s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libcryptsetup12 amd64 2:2.7.5-1ubuntu2 [321 kB] 62s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 cryptsetup-bin amd64 2:2.7.5-1ubuntu2 [222 kB] 62s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 fwupd amd64 2.0.6-3 [5408 kB] 62s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libfwupd3 amd64 2.0.6-3 [136 kB] 62s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 62s Fetched 10.3 MB in 1s (11.6 MB/s) 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 ... 109023 files and directories currently installed.) 63s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_amd64.deb ... 63s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 63s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 63s (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 ... 109023 files and directories currently installed.) 63s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_amd64.deb ... 63s Unpacking libssl3t64:amd64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 63s Setting up libssl3t64:amd64 (3.4.1-1ubuntu1) ... 63s (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 ... 109023 files and directories currently installed.) 63s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_amd64.deb ... 63s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 63s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_amd64.deb ... 63s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 63s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_amd64.deb ... 63s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 63s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_amd64.deb ... 63s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 63s for fn in glob1(directory, "%s.*" % fname): 63s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 63s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_amd64.deb ... 63s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 63s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 63s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 63s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_amd64.deb ... 63s Unpacking libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 63s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_amd64.deb ... 63s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 63s Preparing to unpack .../08-fwupd_2.0.6-3_amd64.deb ... 63s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 64s Preparing to unpack .../09-libfwupd3_2.0.6-3_amd64.deb ... 64s Unpacking libfwupd3:amd64 (2.0.6-3) over (2.0.5-1) ... 64s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 64s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 64s for fn in glob1(directory, "%s.*" % fname): 64s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 64s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 64s Setting up libfwupd3:amd64 (2.0.6-3) ... 64s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 64s Setting up libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) ... 64s Setting up kbd (2.7.1-2ubuntu1) ... 64s Setting up openssl (3.4.1-1ubuntu1) ... 64s Setting up ubuntu-pro-client (34.1.3) ... 66s Setting up fwupd (2.0.6-3) ... 66s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 66s fwupd.service is a disabled or a static unit not running, not starting it. 66s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 66s Setting up ubuntu-pro-client-l10n (34.1.3) ... 66s Setting up telnet (0.17+2.5-6ubuntu1) ... 66s Processing triggers for libc-bin (2.40-4ubuntu1) ... 67s Processing triggers for man-db (2.13.0-1) ... 68s Processing triggers for dbus (1.16.0-1ubuntu1) ... 68s Processing triggers for initramfs-tools (0.145ubuntu2) ... 68s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 68s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 79s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 79s + /usr/lib/apt/apt-helper analyze-pattern ?true 79s + uname -r 79s + sed s/\./\\./g 79s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 79s + apt list ?obsolete 79s + cut+ grep -v ^linux-.*6\.12\.0-15-generic.* 79s + tail -n+2 79s -d/ -f1 79s + true 79s + obsolete_pkgs= 79s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 79s Reading package lists... 79s Building dependency tree... 79s Reading state information... 79s The following packages will be REMOVED: 79s libapt-pkg6.0t64* 80s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 80s After this operation, 3725 kB disk space will be freed. 80s (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 ... 109020 files and directories currently installed.) 80s Removing libapt-pkg6.0t64:amd64 (2.9.29) ... 80s Processing triggers for libc-bin (2.40-4ubuntu1) ... 80s + grep -q trusty /etc/lsb-release 80s + [ ! -d /usr/share/doc/unattended-upgrades ] 80s + [ ! -d /usr/share/doc/lxd ] 80s + [ ! -d /usr/share/doc/lxd-client ] 80s + [ ! -d /usr/share/doc/snapd ] 80s + type iptables 80s + cat 80s + chmod 755 /etc/rc.local 80s + . /etc/rc.local 80s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 80s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 80s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 80s + uname -m 80s + [ x86_64 = ppc64le ] 80s + [ -d /run/systemd/system ] 80s + systemd-detect-virt --quiet --vm 80s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 80s + cat 80s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 80s + echo COMPRESS=lz4 80s autopkgtest [20:09:20]: upgrading testbed (apt dist-upgrade and autopurge) 80s Reading package lists... 81s Building dependency tree... 81s Reading state information... 81s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 81s Starting 2 pkgProblemResolver with broken count: 0 81s Done 82s Entering ResolveByKeep 82s 82s The following packages will be upgraded: 82s libgmp10 82s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s Need to get 256 kB of archives. 82s After this operation, 0 B of additional disk space will be used. 82s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3ubuntu1 [256 kB] 83s Fetched 256 kB in 0s (635 kB/s) 83s (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 ... 108970 files and directories currently installed.) 83s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_amd64.deb ... 83s Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 83s Setting up libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) ... 83s Processing triggers for libc-bin (2.40-4ubuntu1) ... 83s Reading package lists... 84s Building dependency tree... 84s Reading state information... 84s Starting pkgProblemResolver with broken count: 0 84s Starting 2 pkgProblemResolver with broken count: 0 84s Done 84s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 85s autopkgtest [20:09:25]: rebooting testbed after setup commands that affected boot 108s autopkgtest [20:09:48]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 111s autopkgtest [20:09:51]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime 113s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (dsc) [2178 B] 113s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (tar) [997 kB] 113s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (diff) [3468 B] 113s gpgv: Signature made Thu Jan 23 21:53:28 2025 UTC 113s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 113s gpgv: issuer "julien.puydt@laposte.net" 113s gpgv: Can't check signature: No public key 113s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1.dsc: no acceptable signature found 114s autopkgtest [20:09:54]: testing package coqprime version 8.20.1-1 114s autopkgtest [20:09:54]: build not needed 115s autopkgtest [20:09:55]: test command1: preparing testbed 115s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s Starting pkgProblemResolver with broken count: 0 116s Starting 2 pkgProblemResolver with broken count: 0 116s Done 116s The following NEW packages will be installed: 116s coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 116s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 116s libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml 116s libcoq-stdlib libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 116s libitm1 liblsan0 libmpc3 libncurses-dev libquadmath0 libstdlib-ocaml 116s libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev ocaml 116s ocaml-base ocaml-findlib ocaml-interp 116s 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded. 116s Need to get 286 MB of archives. 116s After this operation, 923 MB of additional disk space will be used. 116s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB] 122s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 122s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 122s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB] 122s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB] 122s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB] 125s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 126s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 132s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 132s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 132s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 132s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 132s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 134s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 134s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 134s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 134s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 15-20250213-1ubuntu1 [47.0 kB] 134s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 15-20250213-1ubuntu1 [148 kB] 134s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 15-20250213-1ubuntu1 [28.5 kB] 134s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 15-20250213-1ubuntu1 [3059 kB] 134s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 15-20250213-1ubuntu1 [1356 kB] 134s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 15-20250213-1ubuntu1 [2757 kB] 134s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 15-20250213-1ubuntu1 [1206 kB] 134s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 15-20250213-1ubuntu1 [1678 kB] 134s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 15-20250213-1ubuntu1 [152 kB] 134s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 135s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 136s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 136s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 136s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 136s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 136s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 137s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB] 137s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB] 154s Get:35 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-bignums amd64 9.0.0+coq8.20-1build5 [2252 kB] 154s Get:36 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-coqprime amd64 8.20.1-1 [2060 kB] 155s Fetched 286 MB in 38s (7453 kB/s) 155s Selecting previously unselected package libcoq-stdlib. 155s (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 ... 108970 files and directories currently installed.) 155s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ... 155s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 156s Selecting previously unselected package libstdlib-ocaml. 156s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_amd64.deb ... 156s Unpacking libstdlib-ocaml (5.2.0-3) ... 156s Selecting previously unselected package ocaml-base. 156s Preparing to unpack .../02-ocaml-base_5.2.0-3_amd64.deb ... 156s Unpacking ocaml-base (5.2.0-3) ... 157s Selecting previously unselected package libfindlib-ocaml. 157s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_amd64.deb ... 157s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 157s Selecting previously unselected package libzarith-ocaml. 157s Preparing to unpack .../04-libzarith-ocaml_1.14-1_amd64.deb ... 157s Unpacking libzarith-ocaml (1.14-1) ... 157s Selecting previously unselected package libcoq-core-ocaml. 157s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... 157s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 157s Selecting previously unselected package libstdlib-ocaml-dev. 157s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 157s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 157s Selecting previously unselected package libcompiler-libs-ocaml-dev. 157s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 157s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 158s Selecting previously unselected package ocaml-interp. 158s Preparing to unpack .../08-ocaml-interp_5.2.0-3_amd64.deb ... 158s Unpacking ocaml-interp (5.2.0-3) ... 158s Selecting previously unselected package libncurses-dev:amd64. 158s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ... 158s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 158s Selecting previously unselected package libisl23:amd64. 158s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ... 158s Unpacking libisl23:amd64 (0.27-1) ... 158s Selecting previously unselected package libmpc3:amd64. 158s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ... 158s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 158s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 158s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 158s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 158s Selecting previously unselected package cpp-14. 158s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 158s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 158s Selecting previously unselected package cpp-x86-64-linux-gnu. 158s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 158s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 158s Selecting previously unselected package cpp. 158s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 159s Unpacking cpp (4:14.2.0-1ubuntu1) ... 159s Selecting previously unselected package libcc1-0:amd64. 159s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libcc1-0:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libgomp1:amd64. 159s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libgomp1:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libitm1:amd64. 159s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libitm1:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libasan8:amd64. 159s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libasan8:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package liblsan0:amd64. 159s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking liblsan0:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libtsan2:amd64. 159s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libtsan2:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libubsan1:amd64. 159s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libubsan1:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libhwasan0:amd64. 159s Preparing to unpack .../23-libhwasan0_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libhwasan0:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libquadmath0:amd64. 159s Preparing to unpack .../24-libquadmath0_15-20250213-1ubuntu1_amd64.deb ... 159s Unpacking libquadmath0:amd64 (15-20250213-1ubuntu1) ... 159s Selecting previously unselected package libgcc-14-dev:amd64. 159s Preparing to unpack .../25-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 159s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 159s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 159s Preparing to unpack .../26-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 159s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 160s Selecting previously unselected package gcc-14. 160s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 160s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 160s Selecting previously unselected package gcc-x86-64-linux-gnu. 160s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 160s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 160s Selecting previously unselected package gcc. 160s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 160s Unpacking gcc (4:14.2.0-1ubuntu1) ... 160s Selecting previously unselected package libzstd-dev:amd64. 160s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 160s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 160s Selecting previously unselected package ocaml. 160s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ... 160s Unpacking ocaml (5.2.0-3) ... 160s Selecting previously unselected package ocaml-findlib. 160s Preparing to unpack .../32-ocaml-findlib_1.9.6-3build1_amd64.deb ... 160s Unpacking ocaml-findlib (1.9.6-3build1) ... 160s Selecting previously unselected package coq. 160s Preparing to unpack .../33-coq_8.20.0+dfsg-1_amd64.deb ... 160s Unpacking coq (8.20.0+dfsg-1) ... 162s Selecting previously unselected package libcoq-bignums. 162s Preparing to unpack .../34-libcoq-bignums_9.0.0+coq8.20-1build5_amd64.deb ... 162s Unpacking libcoq-bignums (9.0.0+coq8.20-1build5) ... 162s Selecting previously unselected package libcoq-coqprime. 162s Preparing to unpack .../35-libcoq-coqprime_8.20.1-1_amd64.deb ... 162s Unpacking libcoq-coqprime (8.20.1-1) ... 162s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 162s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 162s Setting up libgomp1:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 162s Setting up libquadmath0:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libstdlib-ocaml (5.2.0-3) ... 162s Setting up libmpc3:amd64 (1.3.1-1build2) ... 162s Setting up ocaml-base (5.2.0-3) ... 162s Setting up libubsan1:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libhwasan0:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libasan8:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libtsan2:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libisl23:amd64 (0.27-1) ... 162s Setting up libcc1-0:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libcoq-bignums (9.0.0+coq8.20-1build5) ... 162s Setting up liblsan0:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libitm1:amd64 (15-20250213-1ubuntu1) ... 162s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 162s Setting up libfindlib-ocaml (1.9.6-3build1) ... 162s Setting up libzarith-ocaml (1.14-1) ... 162s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 162s Setting up ocaml-interp (5.2.0-3) ... 162s Setting up ocaml-findlib (1.9.6-3build1) ... 162s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 162s Setting up cpp-14 (14.2.0-17ubuntu1) ... 162s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 162s Setting up libcoq-coqprime (8.20.1-1) ... 162s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 162s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 162s Setting up cpp (4:14.2.0-1ubuntu1) ... 162s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 162s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 162s Setting up gcc-14 (14.2.0-17ubuntu1) ... 162s Setting up gcc (4:14.2.0-1ubuntu1) ... 162s Setting up ocaml (5.2.0-3) ... 162s Setting up coq (8.20.0+dfsg-1) ... 162s Processing triggers for man-db (2.13.0-1) ... 163s Processing triggers for libc-bin (2.40-4ubuntu1) ... 164s autopkgtest [20:10:44]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington 164s autopkgtest [20:10:44]: test command1: [----------------------- 166s autopkgtest [20:10:46]: test command1: -----------------------] 166s autopkgtest [20:10:46]: test command1: - - - - - - - - - - results - - - - - - - - - - 166s command1 PASS 166s autopkgtest [20:10:46]: @@@@@@@@@@@@@@@@@@@@ summary 166s command1 PASS 185s nova [W] Skipping flock for amd64 185s Creating nova instance adt-plucky-amd64-coqprime-20250220-200800-juju-7f2275-prod-proposed-migration-environment-15-3d8ca0ac-79e9-4376-bb39-de31811ac62d from image adt/ubuntu-plucky-amd64-server-20250220.img (UUID 8ce549f8-ef4a-4335-bf9d-c468a6d98595)... 185s nova [W] Timed out waiting for bfde414f-08b1-4ea7-9003-8b943f7452b4 to get deleted.