0s autopkgtest [21:29:07]: starting date and time: 2025-02-15 21:29:07+0000 0s autopkgtest [21:29:07]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [21:29:07]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.x5ic_97e/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade ott --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-9.secgroup --name adt-plucky-amd64-ott-20250215-212907-juju-7f2275-prod-proposed-migration-environment-15-221eb250-7af1-45a1-8a5c-d142921c1bac --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/ 57s autopkgtest [21:30:04]: testbed dpkg architecture: amd64 57s autopkgtest [21:30:04]: testbed apt version: 2.9.28 57s autopkgtest [21:30:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 57s autopkgtest [21:30:04]: testbed release detected to be: None 58s autopkgtest [21:30:05]: updating testbed package index (apt update) 59s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 59s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 59s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 59s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 59s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 59s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [820 kB] 59s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 59s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB] 59s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [65.0 kB] 59s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [82.9 kB] 59s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 59s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 59s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [303 kB] 59s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [844 kB] 59s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3520 B] 59s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [10.3 kB] 59s Fetched 2329 kB in 1s (2490 kB/s) 60s Reading package lists... 61s + lsb_release --codename --short 61s + RELEASE=plucky 61s + cat 61s + [ plucky != trusty ] 61s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 61s Reading package lists... 61s Building dependency tree... 61s Reading state information... 61s Calculating upgrade... 61s The following packages will be upgraded: 61s libtasn1-6 61s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 61s Need to get 51.2 kB of archives. 61s After this operation, 22.5 kB of additional disk space will be used. 61s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libtasn1-6 amd64 4.20.0-2 [51.2 kB] 62s Fetched 51.2 kB in 0s (183 kB/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 ... 108914 files and directories currently installed.) 62s Preparing to unpack .../libtasn1-6_4.20.0-2_amd64.deb ... 62s Unpacking libtasn1-6:amd64 (4.20.0-2) over (4.19.0-3build1) ... 62s Setting up libtasn1-6:amd64 (4.20.0-2) ... 62s Processing triggers for libc-bin (2.40-4ubuntu1) ... 62s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 62s + /usr/lib/apt/apt-helper analyze-pattern ?true 62s + uname -r 62s + sed s/\./\\./g 62s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 62s + apt list ?obsolete 62s + tail -n+2 62s + cut -d/ -f1 62s + grep -v ^linux-.*6\.12\.0-15-generic.* 63s + true 63s + obsolete_pkgs= 63s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 63s Reading package lists... 63s Building dependency tree... 63s Reading state information... 63s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 63s + grep -q trusty /etc/lsb-release 63s + [ ! -d /usr/share/doc/unattended-upgrades ] 63s + [ ! -d /usr/share/doc/lxd ] 63s + [ ! -d /usr/share/doc/lxd-client ] 63s + [ ! -d /usr/share/doc/snapd ] 63s + type iptables 63s + cat 63s + chmod 755 /etc/rc.local 63s + . /etc/rc.local 63s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 63s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 63s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 63s + uname -m 63s + [ x86_64 = ppc64le ] 63s + [ -d /run/systemd/system ] 63s + systemd-detect-virt --quiet --vm 63s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 63s + cat 63s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 63s + echo COMPRESS=lz4 63s autopkgtest [21:30:10]: upgrading testbed (apt dist-upgrade and autopurge) 63s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 64s Starting 2 pkgProblemResolver with broken count: 0 64s Done 64s Entering ResolveByKeep 64s 65s The following packages will be upgraded: 65s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 65s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 65s Need to get 11.8 MB of archives. 65s After this operation, 746 kB of additional disk space will be used. 65s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-dev-bin amd64 2.41-1ubuntu1 [24.7 kB] 65s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6-dev amd64 2.41-1ubuntu1 [2182 kB] 65s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 locales all 2.41-1ubuntu1 [4246 kB] 65s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6 amd64 2.41-1ubuntu1 [3327 kB] 66s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-bin amd64 2.41-1ubuntu1 [701 kB] 66s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB] 66s Preconfiguring packages ... 66s Fetched 11.8 MB in 1s (11.2 MB/s) 66s (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 ... 108914 files and directories currently installed.) 66s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_amd64.deb ... 66s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 66s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_amd64.deb ... 66s Unpacking libc6-dev:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 66s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 66s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 66s Preparing to unpack .../libc6_2.41-1ubuntu1_amd64.deb ... 67s Checking for services that may need to be restarted... 67s Checking init scripts... 67s Checking for services that may need to be restarted... 67s Checking init scripts... 67s Stopping some services possibly affected by the upgrade (will be restarted later): 67s cron: stopping...done. 67s 67s Unpacking libc6:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 67s Setting up libc6:amd64 (2.41-1ubuntu1) ... 67s Checking for services that may need to be restarted... 67s Checking init scripts... 67s Restarting services possibly affected by the upgrade: 67s cron: restarting...done. 67s 67s Services restarted successfully. 67s (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 ... 108915 files and directories currently installed.) 67s Preparing to unpack .../libc-bin_2.41-1ubuntu1_amd64.deb ... 67s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 67s Setting up libc-bin (2.41-1ubuntu1) ... 67s (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 ... 108915 files and directories currently installed.) 67s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_amd64.deb ... 67s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 68s Setting up iproute2 (6.13.0-1ubuntu1) ... 68s Setting up locales (2.41-1ubuntu1) ... 68s Installing new version of config file /etc/locale.alias ... 68s Generating locales (this might take a while)... 70s en_US.UTF-8... done 70s Generation complete. 70s Setting up libc-dev-bin (2.41-1ubuntu1) ... 70s Setting up libc6-dev:amd64 (2.41-1ubuntu1) ... 70s Processing triggers for man-db (2.13.0-1) ... 71s Processing triggers for systemd (257.2-3ubuntu1) ... 72s Reading package lists... 72s Building dependency tree... 72s Reading state information... 72s Starting pkgProblemResolver with broken count: 0 72s Starting 2 pkgProblemResolver with broken count: 0 72s Done 72s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 75s autopkgtest [21:30:22]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 75s autopkgtest [21:30:22]: @@@@@@@@@@@@@@@@@@@@ apt-source ott 78s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (dsc) [2121 B] 78s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (tar) [1142 kB] 78s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (diff) [6960 B] 78s gpgv: Signature made Sat Jan 4 10:24:17 2025 UTC 78s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 78s gpgv: issuer "julien.puydt@laposte.net" 78s gpgv: Can't check signature: No public key 78s dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-1.dsc: no acceptable signature found 78s autopkgtest [21:30:25]: testing package ott version 0.34+ds-1 79s autopkgtest [21:30:26]: build not needed 79s autopkgtest [21:30:26]: test command1: preparing testbed 79s Reading package lists... 80s Building dependency tree... 80s Reading state information... 80s Starting pkgProblemResolver with broken count: 0 80s Starting 2 pkgProblemResolver with broken count: 0 80s Done 80s The following NEW packages will be installed: 80s coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 80s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 80s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-ott libcoq-stdlib 80s libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 80s libmpc3 libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev 80s libtsan2 libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base 80s ocaml-findlib ocaml-interp 81s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 81s Need to get 282 MB of archives. 81s After this operation, 909 MB of additional disk space will be used. 81s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB] 82s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 82s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 82s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB] 82s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB] 82s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB] 83s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 84s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 86s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 86s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 86s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 86s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 86s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 87s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 87s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 87s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 87s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 14.2.0-17ubuntu1 [47.6 kB] 87s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 14.2.0-17ubuntu1 [148 kB] 87s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 14.2.0-17ubuntu1 [28.9 kB] 87s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 14.2.0-17ubuntu1 [2998 kB] 87s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 14.2.0-17ubuntu1 [1317 kB] 87s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 14.2.0-17ubuntu1 [2733 kB] 87s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-17ubuntu1 [1177 kB] 87s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-17ubuntu1 [1634 kB] 87s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-17ubuntu1 [153 kB] 87s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 87s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 89s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 89s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 89s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 89s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 89s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 90s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB] 90s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB] 94s Get:35 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-ott amd64 0.34+ds-1 [183 kB] 95s Fetched 282 MB in 14s (20.4 MB/s) 95s Selecting previously unselected package libcoq-stdlib. 95s (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 ... 108916 files and directories currently installed.) 95s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ... 95s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 95s Selecting previously unselected package libstdlib-ocaml. 95s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_amd64.deb ... 95s Unpacking libstdlib-ocaml (5.2.0-3) ... 95s Selecting previously unselected package ocaml-base. 95s Preparing to unpack .../02-ocaml-base_5.2.0-3_amd64.deb ... 95s Unpacking ocaml-base (5.2.0-3) ... 95s Selecting previously unselected package libfindlib-ocaml. 95s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_amd64.deb ... 95s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 95s Selecting previously unselected package libzarith-ocaml. 95s Preparing to unpack .../04-libzarith-ocaml_1.14-1_amd64.deb ... 95s Unpacking libzarith-ocaml (1.14-1) ... 96s Selecting previously unselected package libcoq-core-ocaml. 96s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... 96s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 96s Selecting previously unselected package libstdlib-ocaml-dev. 96s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 96s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 96s Selecting previously unselected package libcompiler-libs-ocaml-dev. 96s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 96s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 96s Selecting previously unselected package ocaml-interp. 96s Preparing to unpack .../08-ocaml-interp_5.2.0-3_amd64.deb ... 96s Unpacking ocaml-interp (5.2.0-3) ... 96s Selecting previously unselected package libncurses-dev:amd64. 96s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ... 96s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 97s Selecting previously unselected package libisl23:amd64. 97s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ... 97s Unpacking libisl23:amd64 (0.27-1) ... 97s Selecting previously unselected package libmpc3:amd64. 97s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ... 97s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 97s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 97s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package cpp-14. 97s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package cpp-x86-64-linux-gnu. 97s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 97s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 97s Selecting previously unselected package cpp. 97s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 97s Unpacking cpp (4:14.2.0-1ubuntu1) ... 97s Selecting previously unselected package libcc1-0:amd64. 97s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libcc1-0:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libgomp1:amd64. 97s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libgomp1:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libitm1:amd64. 97s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libitm1:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libasan8:amd64. 97s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libasan8:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package liblsan0:amd64. 97s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking liblsan0:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libtsan2:amd64. 97s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libtsan2:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libubsan1:amd64. 97s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libubsan1:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libhwasan0:amd64. 97s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libhwasan0:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libquadmath0:amd64. 97s Preparing to unpack .../24-libquadmath0_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libquadmath0:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libgcc-14-dev:amd64. 97s Preparing to unpack .../25-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 97s Preparing to unpack .../26-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package gcc-14. 98s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package gcc-x86-64-linux-gnu. 98s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 98s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 98s Selecting previously unselected package gcc. 98s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 98s Unpacking gcc (4:14.2.0-1ubuntu1) ... 98s Selecting previously unselected package libzstd-dev:amd64. 98s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 98s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 98s Selecting previously unselected package ocaml. 98s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ... 98s Unpacking ocaml (5.2.0-3) ... 98s Selecting previously unselected package ocaml-findlib. 98s Preparing to unpack .../32-ocaml-findlib_1.9.6-3build1_amd64.deb ... 98s Unpacking ocaml-findlib (1.9.6-3build1) ... 98s Selecting previously unselected package coq. 98s Preparing to unpack .../33-coq_8.20.0+dfsg-1_amd64.deb ... 98s Unpacking coq (8.20.0+dfsg-1) ... 99s Selecting previously unselected package libcoq-ott. 99s Preparing to unpack .../34-libcoq-ott_0.34+ds-1_amd64.deb ... 99s Unpacking libcoq-ott (0.34+ds-1) ... 99s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 99s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 99s Setting up libgomp1:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 99s Setting up libquadmath0:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libstdlib-ocaml (5.2.0-3) ... 99s Setting up libmpc3:amd64 (1.3.1-1build2) ... 99s Setting up ocaml-base (5.2.0-3) ... 99s Setting up libubsan1:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libhwasan0:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libasan8:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libtsan2:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libisl23:amd64 (0.27-1) ... 99s Setting up libcc1-0:amd64 (14.2.0-17ubuntu1) ... 99s Setting up liblsan0:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libitm1:amd64 (14.2.0-17ubuntu1) ... 99s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 99s Setting up libcoq-ott (0.34+ds-1) ... 99s Setting up libfindlib-ocaml (1.9.6-3build1) ... 99s Setting up libzarith-ocaml (1.14-1) ... 99s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 99s Setting up ocaml-interp (5.2.0-3) ... 99s Setting up ocaml-findlib (1.9.6-3build1) ... 99s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 99s Setting up cpp-14 (14.2.0-17ubuntu1) ... 99s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 99s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 99s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 99s Setting up cpp (4:14.2.0-1ubuntu1) ... 99s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 99s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 99s Setting up gcc-14 (14.2.0-17ubuntu1) ... 99s Setting up gcc (4:14.2.0-1ubuntu1) ... 99s Setting up ocaml (5.2.0-3) ... 99s Setting up coq (8.20.0+dfsg-1) ... 99s Processing triggers for man-db (2.13.0-1) ... 100s Processing triggers for libc-bin (2.41-1ubuntu1) ... 101s autopkgtest [21:30:48]: test command1: coqtop -batch -rifrom Ott ott_list 101s autopkgtest [21:30:48]: test command1: [----------------------- 102s autopkgtest [21:30:49]: test command1: -----------------------] 102s command1 PASS 102s autopkgtest [21:30:49]: test command1: - - - - - - - - - - results - - - - - - - - - - 102s autopkgtest [21:30:49]: @@@@@@@@@@@@@@@@@@@@ summary 102s command1 PASS 121s nova [W] Skipping flock for amd64 121s Creating nova instance adt-plucky-amd64-ott-20250215-212907-juju-7f2275-prod-proposed-migration-environment-15-221eb250-7af1-45a1-8a5c-d142921c1bac from image adt/ubuntu-plucky-amd64-server-20250215.img (UUID d1f7bb98-7df8-4026-816e-9f6798166d8b)... 121s nova [W] Timed out waiting for 726b4748-f8b4-4140-8f68-af07e501ee88 to get deleted.