0s autopkgtest [22:17:49]: starting date and time: 2025-02-15 22:17:49+0000
  0s autopkgtest [22:17:49]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [22:17:49]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.7gmczloi/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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-ppc64el-14.secgroup --name adt-plucky-ppc64el-coq-quickchick-20250215-221749-juju-7f2275-prod-proposed-migration-environment-2-6f7a388c-f316-42c5-987c-c60d5c4275cb --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-ppc64el -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/
114s autopkgtest [22:19:43]: testbed dpkg architecture: ppc64el
114s autopkgtest [22:19:43]: testbed apt version: 2.9.28
115s autopkgtest [22:19:44]: @@@@@@@@@@@@@@@@@@@@ test bed setup
115s autopkgtest [22:19:44]: testbed release detected to be: None
116s autopkgtest [22:19:45]: updating testbed package index (apt update)
117s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
117s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
117s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
117s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
117s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [828 kB]
118s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
118s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB]
118s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.3 kB]
118s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [165 kB]
118s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B]
118s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [922 kB]
118s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4228 B]
118s Fetched 2121 kB in 1s (1642 kB/s)
119s Reading package lists...
120s Reading package lists...
120s Building dependency tree...
120s Reading state information...
120s Calculating upgrade...
121s The following packages will be upgraded:
121s   dash gcc-14-base libatomic1 libgcc-s1 libstdc++6 libtasn1-6 libxdmcp6
121s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
121s Need to get 1171 kB of archives.
121s After this operation, 15.4 kB of additional disk space will be used.
121s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el dash ppc64el 0.5.12-12ubuntu1 [114 kB]
121s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatomic1 ppc64el 14.2.0-17ubuntu1 [10.7 kB]
121s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-base ppc64el 14.2.0-17ubuntu1 [53.6 kB]
121s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libstdc++6 ppc64el 14.2.0-17ubuntu1 [886 kB]
121s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-s1 ppc64el 14.2.0-17ubuntu1 [39.2 kB]
121s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtasn1-6 ppc64el 4.20.0-2 [55.9 kB]
121s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdmcp6 ppc64el 1:1.1.5-1 [11.6 kB]
122s Preconfiguring packages ...
122s Fetched 1171 kB in 1s (1655 kB/s)
122s (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 ... 106311 files and directories currently installed.)
122s Preparing to unpack .../dash_0.5.12-12ubuntu1_ppc64el.deb ...
122s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ...
122s Setting up dash (0.5.12-12ubuntu1) ...
122s (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 ... 106311 files and directories currently installed.)
122s Preparing to unpack .../libatomic1_14.2.0-17ubuntu1_ppc64el.deb ...
122s Unpacking libatomic1:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
122s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu1_ppc64el.deb ...
122s Unpacking gcc-14-base:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
122s Setting up gcc-14-base:ppc64el (14.2.0-17ubuntu1) ...
123s (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 ... 106311 files and directories currently installed.)
123s Preparing to unpack .../libstdc++6_14.2.0-17ubuntu1_ppc64el.deb ...
123s Unpacking libstdc++6:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
123s Setting up libstdc++6:ppc64el (14.2.0-17ubuntu1) ...
123s (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 ... 106311 files and directories currently installed.)
123s Preparing to unpack .../libgcc-s1_14.2.0-17ubuntu1_ppc64el.deb ...
123s Unpacking libgcc-s1:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
123s Setting up libgcc-s1:ppc64el (14.2.0-17ubuntu1) ...
123s (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 ... 106311 files and directories currently installed.)
123s Preparing to unpack .../libtasn1-6_4.20.0-2_ppc64el.deb ...
123s Unpacking libtasn1-6:ppc64el (4.20.0-2) over (4.19.0-3build1) ...
123s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_ppc64el.deb ...
123s Unpacking libxdmcp6:ppc64el (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ...
123s Setting up libxdmcp6:ppc64el (1:1.1.5-1) ...
123s Setting up libatomic1:ppc64el (14.2.0-17ubuntu1) ...
123s Setting up libtasn1-6:ppc64el (4.20.0-2) ...
123s Processing triggers for libc-bin (2.40-4ubuntu1) ...
123s Processing triggers for man-db (2.13.0-1) ...
124s Processing triggers for debianutils (5.21) ...
124s Reading package lists...
124s Building dependency tree...
124s Reading state information...
125s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded.
125s autopkgtest [22:19:54]: upgrading testbed (apt dist-upgrade and autopurge)
125s Reading package lists...
125s Building dependency tree...
125s Reading state information...
126s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
126s Starting 2 pkgProblemResolver with broken count: 0
126s Done
126s Entering ResolveByKeep
126s 
127s The following packages will be upgraded:
127s   iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales
127s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
127s Need to get 11.7 MB of archives.
127s After this operation, 358 kB of additional disk space will be used.
127s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-dev-bin ppc64el 2.41-1ubuntu1 [25.3 kB]
127s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6-dev ppc64el 2.41-1ubuntu1 [2046 kB]
127s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el locales all 2.41-1ubuntu1 [4246 kB]
128s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6 ppc64el 2.41-1ubuntu1 [3243 kB]
128s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-bin ppc64el 2.41-1ubuntu1 [742 kB]
128s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el iproute2 ppc64el 6.13.0-1ubuntu1 [1419 kB]
129s Preconfiguring packages ...
129s Fetched 11.7 MB in 2s (6953 kB/s)
129s (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 ... 106311 files and directories currently installed.)
129s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_ppc64el.deb ...
129s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
129s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_ppc64el.deb ...
129s Unpacking libc6-dev:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
129s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ...
129s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
129s Preparing to unpack .../libc6_2.41-1ubuntu1_ppc64el.deb ...
129s Checking for services that may need to be restarted...
129s Checking init scripts...
129s Checking for services that may need to be restarted...
129s Checking init scripts...
129s Stopping some services possibly affected by the upgrade (will be restarted later):
129s   cron: stopping...done.
129s 
129s Unpacking libc6:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
130s Setting up libc6:ppc64el (2.41-1ubuntu1) ...
130s Checking for services that may need to be restarted...
130s Checking init scripts...
130s Restarting services possibly affected by the upgrade:
130s   cron: restarting...done.
130s 
130s Services restarted successfully.
130s (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 ... 106312 files and directories currently installed.)
130s Preparing to unpack .../libc-bin_2.41-1ubuntu1_ppc64el.deb ...
130s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
130s Setting up libc-bin (2.41-1ubuntu1) ...
130s (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 ... 106312 files and directories currently installed.)
130s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_ppc64el.deb ...
130s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ...
130s Setting up iproute2 (6.13.0-1ubuntu1) ...
131s Setting up locales (2.41-1ubuntu1) ...
131s Installing new version of config file /etc/locale.alias ...
131s Generating locales (this might take a while)...
133s   en_US.UTF-8... done
133s Generation complete.
133s Setting up libc-dev-bin (2.41-1ubuntu1) ...
133s Setting up libc6-dev:ppc64el (2.41-1ubuntu1) ...
133s Processing triggers for man-db (2.13.0-1) ...
134s Processing triggers for systemd (257.2-3ubuntu1) ...
135s Reading package lists...
135s Building dependency tree...
135s Reading state information...
136s Starting pkgProblemResolver with broken count: 0
136s Starting 2 pkgProblemResolver with broken count: 0
136s Done
136s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
139s autopkgtest [22:20:08]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb  4 16:32:08 UTC 2025
139s autopkgtest [22:20:08]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-quickchick
141s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (dsc) [2274 B]
141s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (tar) [413 kB]
141s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (diff) [3008 B]
141s gpgv: Signature made Fri Jan 10 11:29:20 2025 UTC
141s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
141s gpgv: Can't check signature: No public key
141s dpkg-source: warning: cannot verify inline signature for ./coq-quickchick_2.0.5-1build2.dsc: no acceptable signature found
141s autopkgtest [22:20:10]: testing package coq-quickchick version 2.0.5-1build2
142s autopkgtest [22:20:11]: build not needed
143s autopkgtest [22:20:12]: test command1: preparing testbed
143s Reading package lists...
144s Building dependency tree...
144s Reading state information...
144s Starting pkgProblemResolver with broken count: 0
144s Starting 2 pkgProblemResolver with broken count: 0
144s Done
144s The following NEW packages will be installed:
144s   coq cpp cpp-14 cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu gcc
144s   gcc-14 gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8
144s   libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev
144s   libcoq-elpi libcoq-ext-lib libcoq-hierarchy-builder
144s   libcoq-mathcomp-ssreflect libcoq-quickchick libcoq-simple-io libcoq-stdlib
144s   libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev
144s   libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libisl23 libitm1
144s   liblsan0 libmenhir-ocaml-dev libmpc3 libncurses-dev
144s   libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
144s   libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
144s   libquadmath0 libre-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev
144s   libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml
144s   libzarith-ocaml-dev libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
144s   quickchick
144s 0 upgraded, 57 newly installed, 0 to remove and 0 not upgraded.
144s Need to get 433 MB of archives.
144s After this operation, 1331 MB of additional disk space will be used.
144s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-stdlib ppc64el 8.20.0+dfsg-1 [27.0 MB]
147s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB]
147s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB]
147s Get:4 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-3build1 [187 kB]
147s Get:5 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libzarith-ocaml ppc64el 1.14-1 [129 kB]
147s Get:6 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-core-ocaml ppc64el 8.20.0+dfsg-1 [27.1 MB]
148s Get:7 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB]
148s Get:8 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB]
149s Get:9 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB]
150s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB]
150s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB]
150s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB]
150s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB]
150s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B]
150s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B]
150s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB]
150s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 14.2.0-17ubuntu1 [48.1 kB]
150s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 14.2.0-17ubuntu1 [161 kB]
150s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 14.2.0-17ubuntu1 [32.1 kB]
150s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 14.2.0-17ubuntu1 [2945 kB]
150s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 14.2.0-17ubuntu1 [1322 kB]
150s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 14.2.0-17ubuntu1 [2696 kB]
150s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 14.2.0-17ubuntu1 [1191 kB]
150s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 14.2.0-17ubuntu1 [158 kB]
150s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB]
150s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB]
151s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB]
151s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B]
151s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B]
151s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB]
151s Get:31 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB]
152s Get:32 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-findlib ppc64el 1.9.6-3build1 [686 kB]
152s Get:33 http://ftpmaster.internal/ubuntu plucky/universe ppc64el coq ppc64el 8.20.0+dfsg-1 [91.5 MB]
162s Get:34 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libfindlib-ocaml-dev ppc64el 1.9.6-3build1 [174 kB]
162s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu7 [10.2 kB]
162s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu7 [371 kB]
162s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgmp3-dev ppc64el 2:6.3.0+dfsg-2ubuntu7 [2312 B]
162s Get:38 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libzarith-ocaml-dev ppc64el 1.14-1 [158 kB]
162s Get:39 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-core-ocaml-dev ppc64el 8.20.0+dfsg-1 [71.4 MB]
169s Get:40 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libsexplib0-ocaml ppc64el 0.17.0-1 [134 kB]
169s Get:41 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libppx-deriving-ocaml ppc64el 6.0.3-1 [4964 kB]
170s Get:42 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libelpi-ocaml ppc64el 2.0.5-1 [3989 kB]
170s Get:43 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libmenhir-ocaml-dev ppc64el 20240715+ds-1 [932 kB]
170s Get:44 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libocaml-compiler-libs-ocaml-dev ppc64el 0.17.0-1 [161 kB]
170s Get:45 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libppx-derivers-ocaml-dev ppc64el 1.2.1-4build3 [20.5 kB]
170s Get:46 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libsexplib0-ocaml-dev ppc64el 0.17.0-1 [370 kB]
170s Get:47 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libppxlib-ocaml-dev ppc64el 0.33.0-2 [25.5 MB]
171s Get:48 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libppx-deriving-ocaml-dev ppc64el 6.0.3-1 [1115 kB]
171s Get:49 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libre-ocaml-dev ppc64el 1.12.0+really1.11.0-1 [1332 kB]
171s Get:50 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libelpi-ocaml-dev ppc64el 2.0.5-1 [16.3 MB]
172s Get:51 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-elpi ppc64el 2.3.0-1 [12.6 MB]
173s Get:52 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-ext-lib ppc64el 0.13.0-1 [854 kB]
173s Get:53 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-hierarchy-builder ppc64el 1.8.0-1build1 [690 kB]
173s Get:54 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-mathcomp-ssreflect ppc64el 2.3.0-1build1 [9564 kB]
173s Get:55 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-simple-io ppc64el 1.10.0-1build2 [276 kB]
173s Get:56 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-quickchick ppc64el 2.0.5-1build2 [4557 kB]
174s Get:57 http://ftpmaster.internal/ubuntu plucky/universe ppc64el quickchick ppc64el 2.0.5-1build2 [591 kB]
174s Fetched 433 MB in 29s (14.8 MB/s)
174s Selecting previously unselected package libcoq-stdlib.
174s (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 ... 106313 files and directories currently installed.)
174s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb ...
174s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
175s Selecting previously unselected package libstdlib-ocaml.
175s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_ppc64el.deb ...
175s Unpacking libstdlib-ocaml (5.2.0-3) ...
175s Selecting previously unselected package ocaml-base.
175s Preparing to unpack .../02-ocaml-base_5.2.0-3_ppc64el.deb ...
175s Unpacking ocaml-base (5.2.0-3) ...
175s Selecting previously unselected package libfindlib-ocaml.
175s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_ppc64el.deb ...
175s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
175s Selecting previously unselected package libzarith-ocaml.
175s Preparing to unpack .../04-libzarith-ocaml_1.14-1_ppc64el.deb ...
175s Unpacking libzarith-ocaml (1.14-1) ...
175s Selecting previously unselected package libcoq-core-ocaml.
175s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb ...
175s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
176s Selecting previously unselected package libstdlib-ocaml-dev.
176s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ...
176s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
176s Selecting previously unselected package libcompiler-libs-ocaml-dev.
176s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ...
176s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
177s Selecting previously unselected package ocaml-interp.
177s Preparing to unpack .../08-ocaml-interp_5.2.0-3_ppc64el.deb ...
177s Unpacking ocaml-interp (5.2.0-3) ...
177s Selecting previously unselected package libncurses-dev:ppc64el.
177s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_ppc64el.deb ...
177s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ...
177s Selecting previously unselected package libisl23:ppc64el.
177s Preparing to unpack .../10-libisl23_0.27-1_ppc64el.deb ...
177s Unpacking libisl23:ppc64el (0.27-1) ...
177s Selecting previously unselected package libmpc3:ppc64el.
177s Preparing to unpack .../11-libmpc3_1.3.1-1build2_ppc64el.deb ...
177s Unpacking libmpc3:ppc64el (1.3.1-1build2) ...
177s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu.
177s Preparing to unpack .../12-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package cpp-14.
177s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package cpp-powerpc64le-linux-gnu.
177s Preparing to unpack .../14-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
177s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
177s Selecting previously unselected package cpp.
177s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
177s Unpacking cpp (4:14.2.0-1ubuntu1) ...
177s Selecting previously unselected package libcc1-0:ppc64el.
177s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libcc1-0:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libgomp1:ppc64el.
177s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libgomp1:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libitm1:ppc64el.
177s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libitm1:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libasan8:ppc64el.
177s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libasan8:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package liblsan0:ppc64el.
177s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking liblsan0:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libtsan2:ppc64el.
177s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libtsan2:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libubsan1:ppc64el.
177s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libubsan1:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libquadmath0:ppc64el.
177s Preparing to unpack .../23-libquadmath0_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libquadmath0:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package libgcc-14-dev:ppc64el.
177s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ...
177s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu.
177s Preparing to unpack .../25-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ...
177s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
178s Selecting previously unselected package gcc-14.
178s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ...
178s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
178s Selecting previously unselected package gcc-powerpc64le-linux-gnu.
178s Preparing to unpack .../27-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
178s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
178s Selecting previously unselected package gcc.
178s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
178s Unpacking gcc (4:14.2.0-1ubuntu1) ...
178s Selecting previously unselected package libzstd-dev:ppc64el.
178s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ...
178s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ...
178s Selecting previously unselected package ocaml.
178s Preparing to unpack .../30-ocaml_5.2.0-3_ppc64el.deb ...
178s Unpacking ocaml (5.2.0-3) ...
178s Selecting previously unselected package ocaml-findlib.
178s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_ppc64el.deb ...
178s Unpacking ocaml-findlib (1.9.6-3build1) ...
178s Selecting previously unselected package coq.
178s Preparing to unpack .../32-coq_8.20.0+dfsg-1_ppc64el.deb ...
178s Unpacking coq (8.20.0+dfsg-1) ...
180s Selecting previously unselected package libfindlib-ocaml-dev.
180s Preparing to unpack .../33-libfindlib-ocaml-dev_1.9.6-3build1_ppc64el.deb ...
180s Unpacking libfindlib-ocaml-dev (1.9.6-3build1) ...
180s Selecting previously unselected package libgmpxx4ldbl:ppc64el.
180s Preparing to unpack .../34-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu7_ppc64el.deb ...
180s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu7) ...
180s Selecting previously unselected package libgmp-dev:ppc64el.
180s Preparing to unpack .../35-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu7_ppc64el.deb ...
180s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu7) ...
180s Selecting previously unselected package libgmp3-dev:ppc64el.
180s Preparing to unpack .../36-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu7_ppc64el.deb ...
180s Unpacking libgmp3-dev:ppc64el (2:6.3.0+dfsg-2ubuntu7) ...
180s Selecting previously unselected package libzarith-ocaml-dev.
180s Preparing to unpack .../37-libzarith-ocaml-dev_1.14-1_ppc64el.deb ...
180s Unpacking libzarith-ocaml-dev (1.14-1) ...
180s Selecting previously unselected package libcoq-core-ocaml-dev.
180s Preparing to unpack .../38-libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb ...
180s Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
181s Selecting previously unselected package libsexplib0-ocaml.
181s Preparing to unpack .../39-libsexplib0-ocaml_0.17.0-1_ppc64el.deb ...
181s Unpacking libsexplib0-ocaml (0.17.0-1) ...
181s Selecting previously unselected package libppx-deriving-ocaml.
181s Preparing to unpack .../40-libppx-deriving-ocaml_6.0.3-1_ppc64el.deb ...
181s Unpacking libppx-deriving-ocaml (6.0.3-1) ...
181s Selecting previously unselected package libelpi-ocaml.
181s Preparing to unpack .../41-libelpi-ocaml_2.0.5-1_ppc64el.deb ...
181s Unpacking libelpi-ocaml (2.0.5-1) ...
181s Selecting previously unselected package libmenhir-ocaml-dev.
181s Preparing to unpack .../42-libmenhir-ocaml-dev_20240715+ds-1_ppc64el.deb ...
181s Unpacking libmenhir-ocaml-dev (20240715+ds-1) ...
181s Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
181s Preparing to unpack .../43-libocaml-compiler-libs-ocaml-dev_0.17.0-1_ppc64el.deb ...
181s Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
181s Selecting previously unselected package libppx-derivers-ocaml-dev.
181s Preparing to unpack .../44-libppx-derivers-ocaml-dev_1.2.1-4build3_ppc64el.deb ...
181s Unpacking libppx-derivers-ocaml-dev (1.2.1-4build3) ...
181s Selecting previously unselected package libsexplib0-ocaml-dev.
181s Preparing to unpack .../45-libsexplib0-ocaml-dev_0.17.0-1_ppc64el.deb ...
181s Unpacking libsexplib0-ocaml-dev (0.17.0-1) ...
181s Selecting previously unselected package libppxlib-ocaml-dev.
181s Preparing to unpack .../46-libppxlib-ocaml-dev_0.33.0-2_ppc64el.deb ...
181s Unpacking libppxlib-ocaml-dev (0.33.0-2) ...
182s Selecting previously unselected package libppx-deriving-ocaml-dev.
182s Preparing to unpack .../47-libppx-deriving-ocaml-dev_6.0.3-1_ppc64el.deb ...
182s Unpacking libppx-deriving-ocaml-dev (6.0.3-1) ...
182s Selecting previously unselected package libre-ocaml-dev.
182s Preparing to unpack .../48-libre-ocaml-dev_1.12.0+really1.11.0-1_ppc64el.deb ...
182s Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ...
182s Selecting previously unselected package libelpi-ocaml-dev.
182s Preparing to unpack .../49-libelpi-ocaml-dev_2.0.5-1_ppc64el.deb ...
182s Unpacking libelpi-ocaml-dev (2.0.5-1) ...
182s Selecting previously unselected package libcoq-elpi.
182s Preparing to unpack .../50-libcoq-elpi_2.3.0-1_ppc64el.deb ...
182s Unpacking libcoq-elpi (2.3.0-1) ...
182s Selecting previously unselected package libcoq-ext-lib.
182s Preparing to unpack .../51-libcoq-ext-lib_0.13.0-1_ppc64el.deb ...
182s Unpacking libcoq-ext-lib (0.13.0-1) ...
182s Selecting previously unselected package libcoq-hierarchy-builder.
182s Preparing to unpack .../52-libcoq-hierarchy-builder_1.8.0-1build1_ppc64el.deb ...
182s Unpacking libcoq-hierarchy-builder (1.8.0-1build1) ...
182s Selecting previously unselected package libcoq-mathcomp-ssreflect.
182s Preparing to unpack .../53-libcoq-mathcomp-ssreflect_2.3.0-1build1_ppc64el.deb ...
182s Unpacking libcoq-mathcomp-ssreflect (2.3.0-1build1) ...
183s Selecting previously unselected package libcoq-simple-io.
183s Preparing to unpack .../54-libcoq-simple-io_1.10.0-1build2_ppc64el.deb ...
183s Unpacking libcoq-simple-io (1.10.0-1build2) ...
183s Selecting previously unselected package libcoq-quickchick.
183s Preparing to unpack .../55-libcoq-quickchick_2.0.5-1build2_ppc64el.deb ...
183s Unpacking libcoq-quickchick (2.0.5-1build2) ...
183s Selecting previously unselected package quickchick.
183s Preparing to unpack .../56-quickchick_2.0.5-1build2_ppc64el.deb ...
183s Unpacking quickchick (2.0.5-1build2) ...
183s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ...
183s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ...
183s Setting up libgomp1:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
183s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu7) ...
183s Setting up libquadmath0:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up libstdlib-ocaml (5.2.0-3) ...
183s Setting up libmpc3:ppc64el (1.3.1-1build2) ...
183s Setting up ocaml-base (5.2.0-3) ...
183s Setting up libubsan1:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up libsexplib0-ocaml (0.17.0-1) ...
183s Setting up libasan8:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up libtsan2:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up libisl23:ppc64el (0.27-1) ...
183s Setting up libcc1-0:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up liblsan0:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up libcoq-ext-lib (0.13.0-1) ...
183s Setting up libitm1:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up quickchick (2.0.5-1build2) ...
183s Setting up libppx-deriving-ocaml (6.0.3-1) ...
183s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu7) ...
183s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
183s Setting up libcoq-simple-io (1.10.0-1build2) ...
183s Setting up libfindlib-ocaml (1.9.6-3build1) ...
183s Setting up libzarith-ocaml (1.14-1) ...
183s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
183s Setting up ocaml-interp (5.2.0-3) ...
183s Setting up ocaml-findlib (1.9.6-3build1) ...
183s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
183s Setting up cpp-14 (14.2.0-17ubuntu1) ...
183s Setting up libelpi-ocaml (2.0.5-1) ...
183s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
183s Setting up libgmp3-dev:ppc64el (2:6.3.0+dfsg-2ubuntu7) ...
183s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ...
183s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
183s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
183s Setting up gcc-14 (14.2.0-17ubuntu1) ...
183s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
183s Setting up cpp (4:14.2.0-1ubuntu1) ...
183s Setting up gcc (4:14.2.0-1ubuntu1) ...
183s Setting up ocaml (5.2.0-3) ...
183s Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ...
183s Setting up libmenhir-ocaml-dev (20240715+ds-1) ...
183s Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
183s Setting up libfindlib-ocaml-dev (1.9.6-3build1) ...
183s Setting up libsexplib0-ocaml-dev (0.17.0-1) ...
183s Setting up coq (8.20.0+dfsg-1) ...
183s Setting up libzarith-ocaml-dev (1.14-1) ...
183s Setting up libppx-derivers-ocaml-dev (1.2.1-4build3) ...
183s Setting up libppxlib-ocaml-dev (0.33.0-2) ...
183s Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
183s Setting up libppx-deriving-ocaml-dev (6.0.3-1) ...
183s Setting up libelpi-ocaml-dev (2.0.5-1) ...
183s Setting up libcoq-elpi (2.3.0-1) ...
183s Setting up libcoq-hierarchy-builder (1.8.0-1build1) ...
183s Setting up libcoq-mathcomp-ssreflect (2.3.0-1build1) ...
183s Setting up libcoq-quickchick (2.0.5-1build2) ...
183s Processing triggers for man-db (2.13.0-1) ...
183s Processing triggers for libc-bin (2.41-1ubuntu1) ...
185s autopkgtest [22:20:54]: test command1: coqtop -batch -rifrom QuickChick QuickChick
185s autopkgtest [22:20:54]: test command1: [-----------------------
186s autopkgtest [22:20:55]: test command1: -----------------------]
187s autopkgtest [22:20:56]: test command1:  - - - - - - - - - - results - - - - - - - - - -
187s command1             PASS
187s autopkgtest [22:20:56]: @@@@@@@@@@@@@@@@@@@@ summary
187s command1             PASS
196s nova [W] Using flock in prodstack6-ppc64el
196s Creating nova instance adt-plucky-ppc64el-coq-quickchick-20250215-221749-juju-7f2275-prod-proposed-migration-environment-2-6f7a388c-f316-42c5-987c-c60d5c4275cb from image adt/ubuntu-plucky-ppc64el-server-20250215.img (UUID 6b0563e5-c35c-4c0f-8fb5-aae43570455f)...
196s nova [W] Timed out waiting for b5bcee25-f5ca-451b-9569-a0e583363507 to get deleted.