0s autopkgtest [19:37:27]: starting date and time: 2025-02-15 19:37:27+0000
  0s autopkgtest [19:37:27]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [19:37:27]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.9zc69ffs/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-quickchick --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 autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@lcy02-8.secgroup --name adt-plucky-amd64-coq-quickchick-20250215-193727-juju-7f2275-prod-proposed-migration-environment-15-7924fc17-79b1-4099-992e-f46ef03c2da6 --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration -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/
 43s autopkgtest [19:38:10]: testbed dpkg architecture: amd64
 43s autopkgtest [19:38:10]: testbed apt version: 2.9.28
 43s autopkgtest [19:38:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 43s autopkgtest [19:38:10]: testbed release detected to be: None
 44s autopkgtest [19:38:11]: updating testbed package index (apt update)
 44s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
 44s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
 44s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
 44s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
 44s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
 44s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB]
 44s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [822 kB]
 44s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.7 kB]
 44s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [65.0 kB]
 44s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [82.9 kB]
 44s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B]
 44s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B]
 44s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [287 kB]
 44s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [823 kB]
 44s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3520 B]
 44s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [10.6 kB]
 44s Fetched 2294 kB in 0s (6263 kB/s)
 45s Reading package lists...
 45s + lsb_release --codename --short
 45s + RELEASE=plucky
 45s + cat
 45s + [ plucky != trusty ]
 45s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade
 45s Reading package lists...
 46s Building dependency tree...
 46s Reading state information...
 46s Calculating upgrade...
 46s The following packages will be upgraded:
 46s   dash libtasn1-6 libxdmcp6
 46s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 46s Need to get 168 kB of archives.
 46s After this operation, 56.3 kB of additional disk space will be used.
 46s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 dash amd64 0.5.12-12ubuntu1 [105 kB]
 46s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libtasn1-6 amd64 4.20.0-2 [51.2 kB]
 46s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libxdmcp6 amd64 1:1.1.5-1 [11.0 kB]
 46s Preconfiguring packages ...
 47s Fetched 168 kB in 0s (6321 kB/s)
 47s (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.)
 47s Preparing to unpack .../dash_0.5.12-12ubuntu1_amd64.deb ...
 47s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ...
 47s Setting up dash (0.5.12-12ubuntu1) ...
 47s (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.)
 47s Preparing to unpack .../libtasn1-6_4.20.0-2_amd64.deb ...
 47s Unpacking libtasn1-6:amd64 (4.20.0-2) over (4.19.0-3build1) ...
 47s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_amd64.deb ...
 47s Unpacking libxdmcp6:amd64 (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ...
 47s Setting up libxdmcp6:amd64 (1:1.1.5-1) ...
 47s Setting up libtasn1-6:amd64 (4.20.0-2) ...
 47s Processing triggers for libc-bin (2.40-4ubuntu1) ...
 47s Processing triggers for man-db (2.13.0-1) ...
 48s Processing triggers for debianutils (5.21) ...
 48s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref
 48s + /usr/lib/apt/apt-helper analyze-pattern ?true
 48s + uname -r
 48s + sed s/\./\\./g
 48s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.*
 48s + apt list ?obsolete
 48s + tail -n+2
 48s + grep -v ^linux-.*6\.12\.0-15-generic.*
 48s + cut -d/ -f1
 48s + true
 48s + obsolete_pkgs=
 48s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove
 48s Reading package lists...
 48s Building dependency tree...
 48s Reading state information...
 49s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded.
 49s + grep -q trusty /etc/lsb-release
 49s + [ ! -d /usr/share/doc/unattended-upgrades ]
 49s + [ ! -d /usr/share/doc/lxd ]
 49s + [ ! -d /usr/share/doc/lxd-client ]
 49s + [ ! -d /usr/share/doc/snapd ]
 49s + type iptables
 49s + cat
 49s + chmod 755 /etc/rc.local
 49s + . /etc/rc.local
 49s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu
 49s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP
 49s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP
 49s + uname -m
 49s + [ x86_64 = ppc64le ]
 49s + [ -d /run/systemd/system ]
 49s + systemd-detect-virt --quiet --vm
 49s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/
 49s + cat
 49s + grep -q lz4 /etc/initramfs-tools/initramfs.conf
 49s + echo COMPRESS=lz4
 49s autopkgtest [19:38:16]: upgrading testbed (apt dist-upgrade and autopurge)
 49s Reading package lists...
 49s Building dependency tree...
 49s Reading state information...
 49s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
 49s Starting 2 pkgProblemResolver with broken count: 0
 49s Done
 50s Entering ResolveByKeep
 50s 
 50s The following packages will be upgraded:
 50s   iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales
 50s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 50s Need to get 11.8 MB of archives.
 50s After this operation, 746 kB of additional disk space will be used.
 50s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-dev-bin amd64 2.41-1ubuntu1 [24.7 kB]
 50s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6-dev amd64 2.41-1ubuntu1 [2182 kB]
 50s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 locales all 2.41-1ubuntu1 [4246 kB]
 50s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6 amd64 2.41-1ubuntu1 [3327 kB]
 50s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-bin amd64 2.41-1ubuntu1 [701 kB]
 50s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB]
 51s Preconfiguring packages ...
 51s Fetched 11.8 MB in 0s (69.8 MB/s)
 51s (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.)
 51s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_amd64.deb ...
 51s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
 51s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_amd64.deb ...
 51s Unpacking libc6-dev:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
 51s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ...
 51s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
 52s Preparing to unpack .../libc6_2.41-1ubuntu1_amd64.deb ...
 52s Checking for services that may need to be restarted...
 52s Checking init scripts...
 52s Checking for services that may need to be restarted...
 52s Checking init scripts...
 52s Stopping some services possibly affected by the upgrade (will be restarted later):
 52s   cron: stopping...done.
 52s 
 52s Unpacking libc6:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
 52s Setting up libc6:amd64 (2.41-1ubuntu1) ...
 52s Checking for services that may need to be restarted...
 52s Checking init scripts...
 52s Restarting services possibly affected by the upgrade:
 52s   cron: restarting...done.
 52s 
 52s Services restarted successfully.
 52s (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.)
 52s Preparing to unpack .../libc-bin_2.41-1ubuntu1_amd64.deb ...
 52s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
 52s Setting up libc-bin (2.41-1ubuntu1) ...
 52s (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.)
 52s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_amd64.deb ...
 53s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ...
 53s Setting up iproute2 (6.13.0-1ubuntu1) ...
 53s Setting up locales (2.41-1ubuntu1) ...
 53s Installing new version of config file /etc/locale.alias ...
 54s Generating locales (this might take a while)...
 55s   en_US.UTF-8... done
 55s Generation complete.
 55s Setting up libc-dev-bin (2.41-1ubuntu1) ...
 55s Setting up libc6-dev:amd64 (2.41-1ubuntu1) ...
 55s Processing triggers for man-db (2.13.0-1) ...
 56s Processing triggers for systemd (257.2-3ubuntu1) ...
 57s Reading package lists...
 57s Building dependency tree...
 57s Reading state information...
 57s Starting pkgProblemResolver with broken count: 0
 58s Starting 2 pkgProblemResolver with broken count: 0
 58s Done
 58s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 59s autopkgtest [19:38:26]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb  4 16:02:16 UTC 2025
 59s autopkgtest [19:38:26]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-quickchick
 59s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (dsc) [2274 B]
 59s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (tar) [413 kB]
 59s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (diff) [3008 B]
 60s gpgv: Signature made Fri Jan 10 11:29:20 2025 UTC
 60s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
 60s gpgv: Can't check signature: No public key
 60s dpkg-source: warning: cannot verify inline signature for ./coq-quickchick_2.0.5-1build2.dsc: no acceptable signature found
 60s autopkgtest [19:38:27]: testing package coq-quickchick version 2.0.5-1build2
 60s autopkgtest [19:38:27]: build not needed
 60s autopkgtest [19:38:27]: test command1: preparing testbed
 60s Reading package lists...
 60s Building dependency tree...
 60s Reading state information...
 61s Starting pkgProblemResolver with broken count: 0
 61s Starting 2 pkgProblemResolver with broken count: 0
 61s Done
 61s The following NEW packages will be installed:
 61s   coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14
 61s   gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0
 61s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev
 61s   libcoq-elpi libcoq-ext-lib libcoq-hierarchy-builder
 61s   libcoq-mathcomp-ssreflect libcoq-quickchick libcoq-simple-io libcoq-stdlib
 61s   libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev
 61s   libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libhwasan0
 61s   libisl23 libitm1 liblsan0 libmenhir-ocaml-dev libmpc3 libncurses-dev
 61s   libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
 61s   libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
 61s   libquadmath0 libre-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev
 61s   libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml
 61s   libzarith-ocaml-dev libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
 61s   quickchick
 61s 0 upgraded, 58 newly installed, 0 to remove and 0 not upgraded.
 61s Need to get 435 MB of archives.
 61s After this operation, 1297 MB of additional disk space will be used.
 61s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB]
 62s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB]
 62s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB]
 62s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB]
 62s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB]
 62s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB]
 62s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB]
 62s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB]
 63s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB]
 63s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB]
 63s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB]
 63s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB]
 63s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB]
 63s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B]
 63s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B]
 63s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB]
 63s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 14.2.0-17ubuntu1 [47.6 kB]
 63s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 14.2.0-17ubuntu1 [148 kB]
 63s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 14.2.0-17ubuntu1 [28.9 kB]
 63s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 14.2.0-17ubuntu1 [2998 kB]
 63s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 14.2.0-17ubuntu1 [1317 kB]
 63s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 14.2.0-17ubuntu1 [2733 kB]
 63s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-17ubuntu1 [1177 kB]
 63s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-17ubuntu1 [1634 kB]
 63s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-17ubuntu1 [153 kB]
 63s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB]
 63s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB]
 63s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB]
 63s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B]
 63s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B]
 63s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB]
 63s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB]
 63s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB]
 63s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB]
 65s Get:35 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml-dev amd64 1.9.6-3build1 [163 kB]
 65s Get:36 http://ftpmaster.internal/ubuntu plucky/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2ubuntu7 [10.0 kB]
 65s Get:37 http://ftpmaster.internal/ubuntu plucky/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2ubuntu7 [341 kB]
 65s Get:38 http://ftpmaster.internal/ubuntu plucky/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2ubuntu7 [2308 B]
 65s Get:39 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml-dev amd64 1.14-1 [144 kB]
 65s Get:40 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [70.4 MB]
 66s Get:41 http://ftpmaster.internal/ubuntu plucky/universe amd64 libsexplib0-ocaml amd64 0.17.0-1 [132 kB]
 66s Get:42 http://ftpmaster.internal/ubuntu plucky/universe amd64 libppx-deriving-ocaml amd64 6.0.3-1 [4754 kB]
 66s Get:43 http://ftpmaster.internal/ubuntu plucky/universe amd64 libelpi-ocaml amd64 2.0.5-1 [3952 kB]
 66s Get:44 http://ftpmaster.internal/ubuntu plucky/universe amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [918 kB]
 66s Get:45 http://ftpmaster.internal/ubuntu plucky/universe amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [162 kB]
 66s Get:46 http://ftpmaster.internal/ubuntu plucky/universe amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4build3 [20.2 kB]
 66s Get:47 http://ftpmaster.internal/ubuntu plucky/universe amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [364 kB]
 66s Get:48 http://ftpmaster.internal/ubuntu plucky/universe amd64 libppxlib-ocaml-dev amd64 0.33.0-2 [25.1 MB]
 66s Get:49 http://ftpmaster.internal/ubuntu plucky/universe amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1 [1071 kB]
 66s Get:50 http://ftpmaster.internal/ubuntu plucky/universe amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1316 kB]
 66s Get:51 http://ftpmaster.internal/ubuntu plucky/universe amd64 libelpi-ocaml-dev amd64 2.0.5-1 [15.9 MB]
 67s Get:52 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-elpi amd64 2.3.0-1 [12.4 MB]
 67s Get:53 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-ext-lib amd64 0.13.0-1 [854 kB]
 67s Get:54 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-hierarchy-builder amd64 1.8.0-1build1 [691 kB]
 67s Get:55 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-mathcomp-ssreflect amd64 2.3.0-1build1 [9563 kB]
 67s Get:56 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-simple-io amd64 1.10.0-1build2 [273 kB]
 67s Get:57 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-quickchick amd64 2.0.5-1build2 [4526 kB]
 67s Get:58 http://ftpmaster.internal/ubuntu plucky/universe amd64 quickchick amd64 2.0.5-1build2 [530 kB]
 67s Fetched 435 MB in 6s (78.1 MB/s)
 67s Selecting previously unselected package libcoq-stdlib.
 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 ... 108916 files and directories currently installed.)
 67s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ...
 67s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
 68s Selecting previously unselected package libstdlib-ocaml.
 68s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_amd64.deb ...
 68s Unpacking libstdlib-ocaml (5.2.0-3) ...
 68s Selecting previously unselected package ocaml-base.
 68s Preparing to unpack .../02-ocaml-base_5.2.0-3_amd64.deb ...
 68s Unpacking ocaml-base (5.2.0-3) ...
 68s Selecting previously unselected package libfindlib-ocaml.
 68s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_amd64.deb ...
 68s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
 68s Selecting previously unselected package libzarith-ocaml.
 68s Preparing to unpack .../04-libzarith-ocaml_1.14-1_amd64.deb ...
 68s Unpacking libzarith-ocaml (1.14-1) ...
 68s Selecting previously unselected package libcoq-core-ocaml.
 68s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ...
 68s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
 69s Selecting previously unselected package libstdlib-ocaml-dev.
 69s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ...
 69s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
 69s Selecting previously unselected package libcompiler-libs-ocaml-dev.
 69s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ...
 69s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
 69s Selecting previously unselected package ocaml-interp.
 69s Preparing to unpack .../08-ocaml-interp_5.2.0-3_amd64.deb ...
 69s Unpacking ocaml-interp (5.2.0-3) ...
 70s Selecting previously unselected package libncurses-dev:amd64.
 70s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ...
 70s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ...
 70s Selecting previously unselected package libisl23:amd64.
 70s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ...
 70s Unpacking libisl23:amd64 (0.27-1) ...
 70s Selecting previously unselected package libmpc3:amd64.
 70s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ...
 70s Unpacking libmpc3:amd64 (1.3.1-1build2) ...
 70s Selecting previously unselected package cpp-14-x86-64-linux-gnu.
 70s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package cpp-14.
 70s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package cpp-x86-64-linux-gnu.
 70s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ...
 70s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ...
 70s Selecting previously unselected package cpp.
 70s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ...
 70s Unpacking cpp (4:14.2.0-1ubuntu1) ...
 70s Selecting previously unselected package libcc1-0:amd64.
 70s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libcc1-0:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libgomp1:amd64.
 70s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libgomp1:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libitm1:amd64.
 70s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libitm1:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libasan8:amd64.
 70s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libasan8:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package liblsan0:amd64.
 70s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking liblsan0:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libtsan2:amd64.
 70s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libtsan2:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libubsan1:amd64.
 70s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libubsan1:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libhwasan0:amd64.
 70s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libhwasan0:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libquadmath0:amd64.
 70s Preparing to unpack .../24-libquadmath0_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libquadmath0:amd64 (14.2.0-17ubuntu1) ...
 70s Selecting previously unselected package libgcc-14-dev:amd64.
 70s Preparing to unpack .../25-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ...
 70s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ...
 71s Selecting previously unselected package gcc-14-x86-64-linux-gnu.
 71s Preparing to unpack .../26-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ...
 71s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ...
 71s Selecting previously unselected package gcc-14.
 71s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ...
 71s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
 71s Selecting previously unselected package gcc-x86-64-linux-gnu.
 71s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ...
 71s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ...
 71s Selecting previously unselected package gcc.
 71s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ...
 71s Unpacking gcc (4:14.2.0-1ubuntu1) ...
 71s Selecting previously unselected package libzstd-dev:amd64.
 71s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ...
 71s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ...
 71s Selecting previously unselected package ocaml.
 71s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ...
 71s Unpacking ocaml (5.2.0-3) ...
 72s Selecting previously unselected package ocaml-findlib.
 72s Preparing to unpack .../32-ocaml-findlib_1.9.6-3build1_amd64.deb ...
 72s Unpacking ocaml-findlib (1.9.6-3build1) ...
 72s Selecting previously unselected package coq.
 72s Preparing to unpack .../33-coq_8.20.0+dfsg-1_amd64.deb ...
 72s Unpacking coq (8.20.0+dfsg-1) ...
 73s Selecting previously unselected package libfindlib-ocaml-dev.
 73s Preparing to unpack .../34-libfindlib-ocaml-dev_1.9.6-3build1_amd64.deb ...
 73s Unpacking libfindlib-ocaml-dev (1.9.6-3build1) ...
 73s Selecting previously unselected package libgmpxx4ldbl:amd64.
 73s Preparing to unpack .../35-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu7_amd64.deb ...
 73s Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu7) ...
 73s Selecting previously unselected package libgmp-dev:amd64.
 73s Preparing to unpack .../36-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu7_amd64.deb ...
 73s Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu7) ...
 73s Selecting previously unselected package libgmp3-dev:amd64.
 73s Preparing to unpack .../37-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu7_amd64.deb ...
 73s Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2ubuntu7) ...
 73s Selecting previously unselected package libzarith-ocaml-dev.
 73s Preparing to unpack .../38-libzarith-ocaml-dev_1.14-1_amd64.deb ...
 73s Unpacking libzarith-ocaml-dev (1.14-1) ...
 73s Selecting previously unselected package libcoq-core-ocaml-dev.
 73s Preparing to unpack .../39-libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb ...
 73s Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
 74s Selecting previously unselected package libsexplib0-ocaml.
 74s Preparing to unpack .../40-libsexplib0-ocaml_0.17.0-1_amd64.deb ...
 74s Unpacking libsexplib0-ocaml (0.17.0-1) ...
 74s Selecting previously unselected package libppx-deriving-ocaml.
 74s Preparing to unpack .../41-libppx-deriving-ocaml_6.0.3-1_amd64.deb ...
 74s Unpacking libppx-deriving-ocaml (6.0.3-1) ...
 74s Selecting previously unselected package libelpi-ocaml.
 74s Preparing to unpack .../42-libelpi-ocaml_2.0.5-1_amd64.deb ...
 74s Unpacking libelpi-ocaml (2.0.5-1) ...
 74s Selecting previously unselected package libmenhir-ocaml-dev.
 74s Preparing to unpack .../43-libmenhir-ocaml-dev_20240715+ds-1_amd64.deb ...
 74s Unpacking libmenhir-ocaml-dev (20240715+ds-1) ...
 74s Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
 74s Preparing to unpack .../44-libocaml-compiler-libs-ocaml-dev_0.17.0-1_amd64.deb ...
 74s Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
 74s Selecting previously unselected package libppx-derivers-ocaml-dev.
 74s Preparing to unpack .../45-libppx-derivers-ocaml-dev_1.2.1-4build3_amd64.deb ...
 74s Unpacking libppx-derivers-ocaml-dev (1.2.1-4build3) ...
 74s Selecting previously unselected package libsexplib0-ocaml-dev.
 74s Preparing to unpack .../46-libsexplib0-ocaml-dev_0.17.0-1_amd64.deb ...
 74s Unpacking libsexplib0-ocaml-dev (0.17.0-1) ...
 74s Selecting previously unselected package libppxlib-ocaml-dev.
 74s Preparing to unpack .../47-libppxlib-ocaml-dev_0.33.0-2_amd64.deb ...
 74s Unpacking libppxlib-ocaml-dev (0.33.0-2) ...
 75s Selecting previously unselected package libppx-deriving-ocaml-dev.
 75s Preparing to unpack .../48-libppx-deriving-ocaml-dev_6.0.3-1_amd64.deb ...
 75s Unpacking libppx-deriving-ocaml-dev (6.0.3-1) ...
 75s Selecting previously unselected package libre-ocaml-dev.
 75s Preparing to unpack .../49-libre-ocaml-dev_1.12.0+really1.11.0-1_amd64.deb ...
 75s Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ...
 75s Selecting previously unselected package libelpi-ocaml-dev.
 75s Preparing to unpack .../50-libelpi-ocaml-dev_2.0.5-1_amd64.deb ...
 75s Unpacking libelpi-ocaml-dev (2.0.5-1) ...
 75s Selecting previously unselected package libcoq-elpi.
 75s Preparing to unpack .../51-libcoq-elpi_2.3.0-1_amd64.deb ...
 75s Unpacking libcoq-elpi (2.3.0-1) ...
 75s Selecting previously unselected package libcoq-ext-lib.
 75s Preparing to unpack .../52-libcoq-ext-lib_0.13.0-1_amd64.deb ...
 75s Unpacking libcoq-ext-lib (0.13.0-1) ...
 76s Selecting previously unselected package libcoq-hierarchy-builder.
 76s Preparing to unpack .../53-libcoq-hierarchy-builder_1.8.0-1build1_amd64.deb ...
 76s Unpacking libcoq-hierarchy-builder (1.8.0-1build1) ...
 76s Selecting previously unselected package libcoq-mathcomp-ssreflect.
 76s Preparing to unpack .../54-libcoq-mathcomp-ssreflect_2.3.0-1build1_amd64.deb ...
 76s Unpacking libcoq-mathcomp-ssreflect (2.3.0-1build1) ...
 76s Selecting previously unselected package libcoq-simple-io.
 76s Preparing to unpack .../55-libcoq-simple-io_1.10.0-1build2_amd64.deb ...
 76s Unpacking libcoq-simple-io (1.10.0-1build2) ...
 76s Selecting previously unselected package libcoq-quickchick.
 76s Preparing to unpack .../56-libcoq-quickchick_2.0.5-1build2_amd64.deb ...
 76s Unpacking libcoq-quickchick (2.0.5-1build2) ...
 76s Selecting previously unselected package quickchick.
 76s Preparing to unpack .../57-quickchick_2.0.5-1build2_amd64.deb ...
 76s Unpacking quickchick (2.0.5-1build2) ...
 76s Setting up libncurses-dev:amd64 (6.5+20250125-2) ...
 76s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ...
 76s Setting up libgomp1:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
 76s Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu7) ...
 76s Setting up libquadmath0:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libstdlib-ocaml (5.2.0-3) ...
 76s Setting up libmpc3:amd64 (1.3.1-1build2) ...
 76s Setting up ocaml-base (5.2.0-3) ...
 76s Setting up libubsan1:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libsexplib0-ocaml (0.17.0-1) ...
 76s Setting up libhwasan0:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libasan8:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libtsan2:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libisl23:amd64 (0.27-1) ...
 76s Setting up libcc1-0:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up liblsan0:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up libcoq-ext-lib (0.13.0-1) ...
 76s Setting up libitm1:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up quickchick (2.0.5-1build2) ...
 76s Setting up libppx-deriving-ocaml (6.0.3-1) ...
 76s Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu7) ...
 76s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
 76s Setting up libcoq-simple-io (1.10.0-1build2) ...
 76s Setting up libfindlib-ocaml (1.9.6-3build1) ...
 76s Setting up libzarith-ocaml (1.14-1) ...
 76s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
 76s Setting up ocaml-interp (5.2.0-3) ...
 76s Setting up ocaml-findlib (1.9.6-3build1) ...
 76s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ...
 76s Setting up cpp-14 (14.2.0-17ubuntu1) ...
 76s Setting up libelpi-ocaml (2.0.5-1) ...
 76s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
 76s Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2ubuntu7) ...
 76s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ...
 76s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ...
 76s Setting up cpp (4:14.2.0-1ubuntu1) ...
 76s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ...
 76s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ...
 76s Setting up gcc-14 (14.2.0-17ubuntu1) ...
 76s Setting up gcc (4:14.2.0-1ubuntu1) ...
 76s Setting up ocaml (5.2.0-3) ...
 76s Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ...
 76s Setting up libmenhir-ocaml-dev (20240715+ds-1) ...
 76s Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
 76s Setting up libfindlib-ocaml-dev (1.9.6-3build1) ...
 76s Setting up libsexplib0-ocaml-dev (0.17.0-1) ...
 76s Setting up coq (8.20.0+dfsg-1) ...
 76s Setting up libzarith-ocaml-dev (1.14-1) ...
 76s Setting up libppx-derivers-ocaml-dev (1.2.1-4build3) ...
 76s Setting up libppxlib-ocaml-dev (0.33.0-2) ...
 76s Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
 76s Setting up libppx-deriving-ocaml-dev (6.0.3-1) ...
 76s Setting up libelpi-ocaml-dev (2.0.5-1) ...
 76s Setting up libcoq-elpi (2.3.0-1) ...
 76s Setting up libcoq-hierarchy-builder (1.8.0-1build1) ...
 76s Setting up libcoq-mathcomp-ssreflect (2.3.0-1build1) ...
 76s Setting up libcoq-quickchick (2.0.5-1build2) ...
 76s Processing triggers for man-db (2.13.0-1) ...
 77s Processing triggers for libc-bin (2.41-1ubuntu1) ...
 77s autopkgtest [19:38:44]: test command1: coqtop -batch -rifrom QuickChick QuickChick
 77s autopkgtest [19:38:44]: test command1: [-----------------------
 79s autopkgtest [19:38:46]: test command1: -----------------------]
 79s autopkgtest [19:38:46]: test command1:  - - - - - - - - - - results - - - - - - - - - -
 79s command1             PASS
 79s autopkgtest [19:38:46]: @@@@@@@@@@@@@@@@@@@@ summary
 79s command1             PASS
 94s nova [W] Skipping flock for amd64
 94s Creating nova instance adt-plucky-amd64-coq-quickchick-20250215-193727-juju-7f2275-prod-proposed-migration-environment-15-7924fc17-79b1-4099-992e-f46ef03c2da6 from image adt/ubuntu-plucky-amd64-server-20250215.img (UUID 5f605d3a-6e26-4e15-b556-0020b04f5a0d)...
 94s nova [W] Timed out waiting for 5640e2e7-d349-41d5-bf4c-9c450a8142d9 to get deleted.