0s autopkgtest [19:37:20]: starting date and time: 2025-02-15 19:37:20+0000 0s autopkgtest [19:37:20]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [19:37:20]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.wicot1rx/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 coq --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-18.secgroup --name adt-plucky-amd64-coq-20250215-193720-juju-7f2275-prod-proposed-migration-environment-15-7c7f4f9b-de86-4298-9f93-5380d1da5712 --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/ 56s autopkgtest [19:38:16]: testbed dpkg architecture: amd64 56s autopkgtest [19:38:16]: testbed apt version: 2.9.28 56s autopkgtest [19:38:16]: @@@@@@@@@@@@@@@@@@@@ test bed setup 56s autopkgtest [19:38:16]: testbed release detected to be: None 57s autopkgtest [19:38:17]: updating testbed package index (apt update) 58s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 58s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 58s 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 [13.7 kB] 58s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [822 kB] 58s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 58s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB] 58s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [65.0 kB] 58s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [82.9 kB] 58s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 58s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 58s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [823 kB] 58s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [287 kB] 58s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [10.6 kB] 58s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3520 B] 58s Fetched 2294 kB in 1s (1985 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... 60s Calculating upgrade... 60s The following packages will be upgraded: 60s 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] 61s Fetched 51.2 kB in 1s (85.9 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 + + grep -v ^linux-.*6\.12\.0-15-generic.* 62s cut -d/ -f1 62s + true 62s + obsolete_pkgs= 62s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 62s Reading package lists... 62s Building dependency tree... 62s Reading state information... 62s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 62s + grep -q trusty /etc/lsb-release 62s + [ ! -d /usr/share/doc/unattended-upgrades ] 62s + [ ! -d /usr/share/doc/lxd ] 62s + [ ! -d /usr/share/doc/lxd-client ] 62s + [ ! -d /usr/share/doc/snapd ] 62s + type iptables 62s + cat 62s + chmod 755 /etc/rc.local 62s + . /etc/rc.local 62s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 62s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 62s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 62s + uname -m 62s + [ x86_64 = ppc64le ] 62s + [ -d /run/systemd/system ] 62s + systemd-detect-virt --quiet --vm 62s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 62s + cat 62s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 62s + echo COMPRESS=lz4 62s autopkgtest [19:38:22]: upgrading testbed (apt dist-upgrade and autopurge) 63s Reading package lists... 63s Building dependency tree... 63s Reading state information... 63s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 63s Starting 2 pkgProblemResolver with broken count: 0 63s Done 63s Entering ResolveByKeep 64s 64s The following packages will be upgraded: 64s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 64s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 64s Need to get 11.8 MB of archives. 64s After this operation, 746 kB of additional disk space will be used. 64s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-dev-bin amd64 2.41-1ubuntu1 [24.7 kB] 64s 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 2s (6114 kB/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) ... 67s 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)... 69s en_US.UTF-8... done 69s Generation complete. 69s Setting up libc-dev-bin (2.41-1ubuntu1) ... 69s Setting up libc6-dev:amd64 (2.41-1ubuntu1) ... 69s Processing triggers for man-db (2.13.0-1) ... 71s Processing triggers for systemd (257.2-3ubuntu1) ... 71s 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. 74s autopkgtest [19:38:34]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 75s autopkgtest [19:38:35]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 78s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 78s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 78s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 79s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC 79s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 79s gpgv: issuer "jpuydt@debian.org" 79s gpgv: Can't check signature: No public key 79s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found 79s autopkgtest [19:38:39]: testing package coq version 8.20.0+dfsg-1 80s autopkgtest [19:38:40]: build not needed 81s autopkgtest [19:38:41]: test compiler: preparing testbed 82s Reading package lists... 82s Building dependency tree... 82s Reading state information... 82s Starting pkgProblemResolver with broken count: 0 82s Starting 2 pkgProblemResolver with broken count: 0 82s Done 82s The following NEW packages will be installed: 82s coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 82s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 82s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml 82s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 82s libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 82s libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib 82s ocaml-interp 83s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded. 83s Need to get 281 MB of archives. 83s After this operation, 908 MB of additional disk space will be used. 83s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB] 85s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 85s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 85s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB] 85s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB] 85s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB] 85s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 86s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 87s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 87s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 87s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 87s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 87s 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] 88s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-17ubuntu1 [1177 kB] 88s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-17ubuntu1 [1634 kB] 88s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-17ubuntu1 [153 kB] 88s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 88s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 88s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 88s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 88s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 88s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 88s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 89s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB] 89s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB] 91s Fetched 281 MB in 8s (33.4 MB/s) 91s Selecting previously unselected package libcoq-stdlib. 91s (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.) 91s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ... 91s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 92s Selecting previously unselected package libstdlib-ocaml. 92s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_amd64.deb ... 92s Unpacking libstdlib-ocaml (5.2.0-3) ... 92s Selecting previously unselected package ocaml-base. 92s Preparing to unpack .../02-ocaml-base_5.2.0-3_amd64.deb ... 92s Unpacking ocaml-base (5.2.0-3) ... 92s Selecting previously unselected package libfindlib-ocaml. 92s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_amd64.deb ... 92s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 92s Selecting previously unselected package libzarith-ocaml. 92s Preparing to unpack .../04-libzarith-ocaml_1.14-1_amd64.deb ... 92s Unpacking libzarith-ocaml (1.14-1) ... 92s Selecting previously unselected package libcoq-core-ocaml. 92s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... 92s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 93s Selecting previously unselected package libstdlib-ocaml-dev. 93s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 93s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 93s Selecting previously unselected package libcompiler-libs-ocaml-dev. 93s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 93s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 93s Selecting previously unselected package ocaml-interp. 93s Preparing to unpack .../08-ocaml-interp_5.2.0-3_amd64.deb ... 93s Unpacking ocaml-interp (5.2.0-3) ... 93s Selecting previously unselected package libncurses-dev:amd64. 93s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ... 93s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 93s Selecting previously unselected package libisl23:amd64. 93s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ... 93s Unpacking libisl23:amd64 (0.27-1) ... 93s Selecting previously unselected package libmpc3:amd64. 93s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ... 93s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 93s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 94s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package cpp-14. 94s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package cpp-x86-64-linux-gnu. 94s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 94s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 94s Selecting previously unselected package cpp. 94s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 94s Unpacking cpp (4:14.2.0-1ubuntu1) ... 94s Selecting previously unselected package libcc1-0:amd64. 94s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libcc1-0:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libgomp1:amd64. 94s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libgomp1:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libitm1:amd64. 94s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libitm1:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libasan8:amd64. 94s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libasan8:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package liblsan0:amd64. 94s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking liblsan0:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libtsan2:amd64. 94s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libtsan2:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libubsan1:amd64. 94s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libubsan1:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libhwasan0:amd64. 94s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libhwasan0:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libquadmath0:amd64. 94s Preparing to unpack .../24-libquadmath0_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libquadmath0:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package libgcc-14-dev:amd64. 94s Preparing to unpack .../25-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 94s Preparing to unpack .../26-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 95s Selecting previously unselected package gcc-14. 95s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 95s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 95s Selecting previously unselected package gcc-x86-64-linux-gnu. 95s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 95s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 95s Selecting previously unselected package gcc. 95s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 95s Unpacking gcc (4:14.2.0-1ubuntu1) ... 95s Selecting previously unselected package libzstd-dev:amd64. 95s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 95s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 95s Selecting previously unselected package ocaml. 95s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ... 95s Unpacking ocaml (5.2.0-3) ... 95s Selecting previously unselected package ocaml-findlib. 95s Preparing to unpack .../32-ocaml-findlib_1.9.6-3build1_amd64.deb ... 95s Unpacking ocaml-findlib (1.9.6-3build1) ... 95s Selecting previously unselected package coq. 95s Preparing to unpack .../33-coq_8.20.0+dfsg-1_amd64.deb ... 95s Unpacking coq (8.20.0+dfsg-1) ... 96s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 96s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 96s Setting up libgomp1:amd64 (14.2.0-17ubuntu1) ... 96s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 96s Setting up libquadmath0:amd64 (14.2.0-17ubuntu1) ... 96s Setting up libstdlib-ocaml (5.2.0-3) ... 96s Setting up libmpc3:amd64 (1.3.1-1build2) ... 96s Setting up ocaml-base (5.2.0-3) ... 96s Setting up libubsan1:amd64 (14.2.0-17ubuntu1) ... 96s Setting up libhwasan0:amd64 (14.2.0-17ubuntu1) ... 96s Setting up libasan8:amd64 (14.2.0-17ubuntu1) ... 96s Setting up libtsan2:amd64 (14.2.0-17ubuntu1) ... 96s Setting up libisl23:amd64 (0.27-1) ... 97s Setting up libcc1-0:amd64 (14.2.0-17ubuntu1) ... 97s Setting up liblsan0:amd64 (14.2.0-17ubuntu1) ... 97s Setting up libitm1:amd64 (14.2.0-17ubuntu1) ... 97s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 97s Setting up libfindlib-ocaml (1.9.6-3build1) ... 97s Setting up libzarith-ocaml (1.14-1) ... 97s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 97s Setting up ocaml-interp (5.2.0-3) ... 97s Setting up ocaml-findlib (1.9.6-3build1) ... 97s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 97s Setting up cpp-14 (14.2.0-17ubuntu1) ... 97s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 97s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 97s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 97s Setting up cpp (4:14.2.0-1ubuntu1) ... 97s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 97s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 97s Setting up gcc-14 (14.2.0-17ubuntu1) ... 97s Setting up gcc (4:14.2.0-1ubuntu1) ... 97s Setting up ocaml (5.2.0-3) ... 97s Setting up coq (8.20.0+dfsg-1) ... 97s Processing triggers for man-db (2.13.0-1) ... 97s Processing triggers for libc-bin (2.41-1ubuntu1) ... 98s autopkgtest [19:38:58]: test compiler: [----------------------- 99s autopkgtest [19:38:59]: test compiler: -----------------------] 99s autopkgtest [19:38:59]: test compiler: - - - - - - - - - - results - - - - - - - - - - 99s compiler PASS 99s autopkgtest [19:38:59]: test toplevel: preparing testbed 100s Reading package lists... 100s Building dependency tree... 100s Reading state information... 100s Starting pkgProblemResolver with broken count: 0 100s Starting 2 pkgProblemResolver with broken count: 0 100s Done 100s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 101s autopkgtest [19:39:01]: test toplevel: [----------------------- 101s Welcome to Coq 8.20.0 101s pierce is defined 101s excluded_middle is defined 101s 1 goal 101s 101s ============================ 101s pierce <-> excluded_middle 101s 1 goal 101s 101s ============================ 101s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 101s 2 goals 101s 101s H : forall p q : Prop, ((p -> q) -> p) -> p 101s p : Prop 101s ============================ 101s p \/ ~ p 101s 101s goal 2 is: 101s p 101s 2 goals 101s 101s H : forall p q : Prop, ((p -> q) -> p) -> p 101s p : Prop 101s ============================ 101s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 101s 101s goal 2 is: 101s p 101s 1 goal 101s 101s H : forall p : Prop, p \/ ~ p 101s p, q : Prop 101s H0 : (p -> q) -> p 101s ============================ 101s p 101s 2 goals 101s 101s H : forall p : Prop, p \/ ~ p 101s p, q : Prop 101s H0 : (p -> q) -> p 101s H1 : p 101s ============================ 101s p 101s 101s goal 2 is: 101s p 101s 1 goal 101s 101s H : forall p : Prop, p \/ ~ p 101s p, q : Prop 101s H0 : (p -> q) -> p 101s H1 : ~ p 101s ============================ 101s p 101s No more goals. 102s autopkgtest [19:39:02]: test toplevel: -----------------------] 102s toplevel PASS 102s autopkgtest [19:39:02]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 102s autopkgtest [19:39:02]: @@@@@@@@@@@@@@@@@@@@ summary 102s compiler PASS 102s toplevel PASS 119s nova [W] Skipping flock for amd64 119s Creating nova instance adt-plucky-amd64-coq-20250215-193720-juju-7f2275-prod-proposed-migration-environment-15-7c7f4f9b-de86-4298-9f93-5380d1da5712 from image adt/ubuntu-plucky-amd64-server-20250215.img (UUID d1f7bb98-7df8-4026-816e-9f6798166d8b)... 119s nova [W] Timed out waiting for 4671606f-b3df-48f6-b3db-7bbe9920556a to get deleted.