0s autopkgtest [18:37:43]: starting date and time: 2024-06-28 18:37:43+0000 0s autopkgtest [18:37:43]: git checkout: 85adf9a1 setup-testbed: prevent /tmp from getting a tmpfs mount 0s autopkgtest [18:37:43]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.6pysvcl0/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_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\n" >> /etc/environment' --apt-pocket=proposed=src:glibc --apt-upgrade coqprime --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.39-3.1ubuntu2 -- lxd -r lxd-armhf-10.145.243.234 lxd-armhf-10.145.243.234:autopkgtest/ubuntu/oracular/armhf 26s autopkgtest [18:38:09]: testbed dpkg architecture: armhf 31s autopkgtest [18:38:14]: testbed apt version: 2.9.5 31s autopkgtest [18:38:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup 41s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [110 kB] 42s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.3 kB] 42s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 42s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [7052 B] 42s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [365 kB] 42s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf Packages [66.8 kB] 42s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf Packages [1368 B] 42s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf Packages [323 kB] 42s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf Packages [1768 B] 42s Fetched 926 kB in 1s (1073 kB/s) 42s Reading package lists... 60s tee: /proc/self/fd/2: Permission denied 81s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 81s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 82s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 82s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 83s Reading package lists... 83s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s Calculating upgrade... 84s The following packages will be upgraded: 84s base-files libc-bin libc6 locales motd-news-config 84s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 84s Need to get 7652 kB of archives. 84s After this operation, 19.5 kB of additional disk space will be used. 84s Get:1 http://ftpmaster.internal/ubuntu oracular/main armhf motd-news-config all 13.3ubuntu2 [5416 B] 84s Get:2 http://ftpmaster.internal/ubuntu oracular/main armhf base-files armhf 13.3ubuntu2 [75.0 kB] 84s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6 armhf 2.39-3.1ubuntu2 [2824 kB] 84s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-bin armhf 2.39-3.1ubuntu2 [528 kB] 84s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf locales all 2.39-3.1ubuntu2 [4220 kB] 85s Preconfiguring packages ... 85s Fetched 7652 kB in 1s (8806 kB/s) 85s (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 ... 58369 files and directories currently installed.) 85s Preparing to unpack .../motd-news-config_13.3ubuntu2_all.deb ... 85s Unpacking motd-news-config (13.3ubuntu2) over (13.1ubuntu1) ... 85s Preparing to unpack .../base-files_13.3ubuntu2_armhf.deb ... 85s Unpacking base-files (13.3ubuntu2) over (13.1ubuntu1) ... 85s Setting up base-files (13.3ubuntu2) ... 85s Updating /etc/profile to current default. 86s motd-news.service is a disabled or a static unit not running, not starting it. 86s (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 ... 58374 files and directories currently installed.) 86s Preparing to unpack .../libc6_2.39-3.1ubuntu2_armhf.deb ... 86s Unpacking libc6:armhf (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ... 86s Setting up libc6:armhf (2.39-3.1ubuntu2) ... 87s (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 ... 58374 files and directories currently installed.) 87s Preparing to unpack .../libc-bin_2.39-3.1ubuntu2_armhf.deb ... 87s Unpacking libc-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ... 87s Setting up libc-bin (2.39-3.1ubuntu2) ... 87s (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 ... 58374 files and directories currently installed.) 87s Preparing to unpack .../locales_2.39-3.1ubuntu2_all.deb ... 87s Unpacking locales (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ... 87s Setting up motd-news-config (13.3ubuntu2) ... 87s Setting up locales (2.39-3.1ubuntu2) ... 88s Generating locales (this might take a while)... 90s en_US.UTF-8... done 90s Generation complete. 90s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-1ubuntu7) ... 90s update-initramfs: deferring update (trigger activated) 90s Processing triggers for install-info (7.1-3build2) ... 90s Processing triggers for man-db (2.12.1-2) ... 91s Processing triggers for initramfs-tools (0.142ubuntu28) ... 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 92s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 94s autopkgtest [18:39:17]: rebooting testbed after setup commands that affected boot 136s autopkgtest [18:39:59]: testbed running kernel: Linux 6.5.0-35-generic #35~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue May 7 11:19:33 UTC 2 164s autopkgtest [18:40:27]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime 179s Get:1 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (dsc) [2148 B] 179s Get:2 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (tar) [997 kB] 179s Get:3 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (diff) [3388 B] 179s gpgv: Signature made Sat Jun 15 14:38:47 2024 UTC 179s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 179s gpgv: Can't check signature: No public key 179s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.19-1build2.dsc: no acceptable signature found 180s autopkgtest [18:40:43]: testing package coqprime version 8.19-1build2 182s autopkgtest [18:40:45]: build not needed 185s autopkgtest [18:40:48]: test command1: preparing testbed 195s Reading package lists... 195s Building dependency tree... 195s Reading state information... 196s Starting pkgProblemResolver with broken count: 0 196s Starting 2 pkgProblemResolver with broken count: 0 196s Done 196s The following additional packages will be installed: 196s coq cpp cpp-13 cpp-13-arm-linux-gnueabihf cpp-arm-linux-gnueabihf gcc gcc-13 196s gcc-13-arm-linux-gnueabihf gcc-13-base gcc-arm-linux-gnueabihf libasan8 196s libatomic1 libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev 196s libcoq-bignums libcoq-coqprime libcoq-core-ocaml libcoq-stdlib libcrypt-dev 196s libfindlib-ocaml libgcc-13-dev libgomp1 libisl23 libmpc3 libncurses-dev 196s libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml linux-libc-dev 196s ocaml ocaml-base ocaml-findlib ocaml-interp rpcsvc-proto 196s Suggested packages: 196s coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why 196s coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 196s automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-arm-linux-gnueabihf 196s libc-devtools glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4 196s Recommended packages: 196s manpages manpages-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor 196s The following NEW packages will be installed: 196s autopkgtest-satdep coq cpp cpp-13 cpp-13-arm-linux-gnueabihf 196s cpp-arm-linux-gnueabihf gcc gcc-13 gcc-13-arm-linux-gnueabihf gcc-13-base 196s gcc-arm-linux-gnueabihf libasan8 libatomic1 libc-dev-bin libc6-dev libcc1-0 196s libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml 196s libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1 libisl23 196s libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libubsan1 196s libzarith-ocaml linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp 196s rpcsvc-proto 197s 0 upgraded, 38 newly installed, 0 to remove and 0 not upgraded. 197s Need to get 321 MB/321 MB of archives. 197s After this operation, 1040 MB of additional disk space will be used. 197s Get:1 /tmp/autopkgtest.2NcmRN/1-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [712 B] 197s Get:2 http://ftpmaster.internal/ubuntu oracular/universe armhf libcoq-stdlib armhf 8.19.1+dfsg-2 [27.0 MB] 198s Get:3 http://ftpmaster.internal/ubuntu oracular/universe armhf libstdlib-ocaml armhf 4.14.1-1ubuntu1 [344 kB] 198s Get:4 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml-base armhf 4.14.1-1ubuntu1 [216 kB] 198s Get:5 http://ftpmaster.internal/ubuntu oracular/universe armhf libfindlib-ocaml armhf 1.9.6-2 [196 kB] 198s Get:6 http://ftpmaster.internal/ubuntu oracular/universe armhf libzarith-ocaml armhf 1.13-2build4 [114 kB] 198s Get:7 http://ftpmaster.internal/ubuntu oracular/universe armhf libcoq-core-ocaml armhf 8.19.1+dfsg-2 [27.3 MB] 199s Get:8 http://ftpmaster.internal/ubuntu oracular/universe armhf libstdlib-ocaml-dev armhf 4.14.1-1ubuntu1 [8297 kB] 199s Get:9 http://ftpmaster.internal/ubuntu oracular/universe armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1ubuntu1 [36.9 MB] 200s Get:10 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml-interp armhf 4.14.1-1ubuntu1 [7825 kB] 200s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-dev-bin armhf 2.39-3.1ubuntu2 [19.1 kB] 200s Get:12 http://ftpmaster.internal/ubuntu oracular/main armhf linux-libc-dev armhf 6.8.0-31.31 [1557 kB] 200s Get:13 http://ftpmaster.internal/ubuntu oracular/main armhf libcrypt-dev armhf 1:4.4.36-4build1 [120 kB] 200s Get:14 http://ftpmaster.internal/ubuntu oracular/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 200s Get:15 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6-dev armhf 2.39-3.1ubuntu2 [1350 kB] 200s Get:16 http://ftpmaster.internal/ubuntu oracular/main armhf libncurses-dev armhf 6.5-2 [501 kB] 200s Get:17 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-13-base armhf 13.2.0-23ubuntu4 [48.9 kB] 200s Get:18 http://ftpmaster.internal/ubuntu oracular/main armhf libisl23 armhf 0.26-3build1 [544 kB] 200s Get:19 http://ftpmaster.internal/ubuntu oracular/main armhf libmpc3 armhf 1.3.1-1build1 [46.7 kB] 200s Get:20 http://ftpmaster.internal/ubuntu oracular/main armhf cpp-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu4 [8759 kB] 200s Get:21 http://ftpmaster.internal/ubuntu oracular/main armhf cpp-13 armhf 13.2.0-23ubuntu4 [1034 B] 200s Get:22 http://ftpmaster.internal/ubuntu oracular/main armhf cpp-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [5320 B] 200s Get:23 http://ftpmaster.internal/ubuntu oracular/main armhf cpp armhf 4:13.2.0-7ubuntu1 [22.4 kB] 200s Get:24 http://ftpmaster.internal/ubuntu oracular/main armhf libcc1-0 armhf 14.1.0-1ubuntu1 [43.3 kB] 200s Get:25 http://ftpmaster.internal/ubuntu oracular/main armhf libgomp1 armhf 14.1.0-1ubuntu1 [125 kB] 200s Get:26 http://ftpmaster.internal/ubuntu oracular/main armhf libatomic1 armhf 14.1.0-1ubuntu1 [7816 B] 200s Get:27 http://ftpmaster.internal/ubuntu oracular/main armhf libasan8 armhf 14.1.0-1ubuntu1 [2913 kB] 200s Get:28 http://ftpmaster.internal/ubuntu oracular/main armhf libubsan1 armhf 14.1.0-1ubuntu1 [1154 kB] 200s Get:29 http://ftpmaster.internal/ubuntu oracular/main armhf libgcc-13-dev armhf 13.2.0-23ubuntu4 [899 kB] 200s Get:30 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu4 [16.9 MB] 201s Get:31 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-13 armhf 13.2.0-23ubuntu4 [453 kB] 201s Get:32 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [1220 B] 201s Get:33 http://ftpmaster.internal/ubuntu oracular/main armhf gcc armhf 4:13.2.0-7ubuntu1 [5022 B] 201s Get:34 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml armhf 4.14.1-1ubuntu1 [78.7 MB] 203s Get:35 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml-findlib armhf 1.9.6-2 [526 kB] 203s Get:36 http://ftpmaster.internal/ubuntu oracular/universe armhf coq armhf 8.19.1+dfsg-2 [93.5 MB] 205s Get:37 http://ftpmaster.internal/ubuntu oracular/universe armhf libcoq-bignums armhf 9.0.0+coq8.19-1build1 [2262 kB] 205s Get:38 http://ftpmaster.internal/ubuntu oracular/universe armhf libcoq-coqprime armhf 8.19-1build2 [2075 kB] 206s Fetched 321 MB in 9s (37.0 MB/s) 206s Selecting previously unselected package libcoq-stdlib. 206s (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 ... 58374 files and directories currently installed.) 206s Preparing to unpack .../00-libcoq-stdlib_8.19.1+dfsg-2_armhf.deb ... 206s Unpacking libcoq-stdlib (8.19.1+dfsg-2) ... 207s Selecting previously unselected package libstdlib-ocaml. 207s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_armhf.deb ... 207s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 207s Selecting previously unselected package ocaml-base. 207s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_armhf.deb ... 207s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 207s Selecting previously unselected package libfindlib-ocaml. 207s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-2_armhf.deb ... 207s Unpacking libfindlib-ocaml (1.9.6-2) ... 207s Selecting previously unselected package libzarith-ocaml. 207s Preparing to unpack .../04-libzarith-ocaml_1.13-2build4_armhf.deb ... 207s Unpacking libzarith-ocaml (1.13-2build4) ... 207s Selecting previously unselected package libcoq-core-ocaml. 207s Preparing to unpack .../05-libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb ... 207s Unpacking libcoq-core-ocaml (8.19.1+dfsg-2) ... 208s Selecting previously unselected package libstdlib-ocaml-dev. 208s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_armhf.deb ... 208s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 208s Selecting previously unselected package libcompiler-libs-ocaml-dev. 208s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_armhf.deb ... 208s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 209s Selecting previously unselected package ocaml-interp. 209s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_armhf.deb ... 209s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 209s Selecting previously unselected package libc-dev-bin. 209s Preparing to unpack .../09-libc-dev-bin_2.39-3.1ubuntu2_armhf.deb ... 209s Unpacking libc-dev-bin (2.39-3.1ubuntu2) ... 209s Selecting previously unselected package linux-libc-dev:armhf. 209s Preparing to unpack .../10-linux-libc-dev_6.8.0-31.31_armhf.deb ... 209s Unpacking linux-libc-dev:armhf (6.8.0-31.31) ... 210s Selecting previously unselected package libcrypt-dev:armhf. 210s Preparing to unpack .../11-libcrypt-dev_1%3a4.4.36-4build1_armhf.deb ... 210s Unpacking libcrypt-dev:armhf (1:4.4.36-4build1) ... 210s Selecting previously unselected package rpcsvc-proto. 210s Preparing to unpack .../12-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 210s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 210s Selecting previously unselected package libc6-dev:armhf. 210s Preparing to unpack .../13-libc6-dev_2.39-3.1ubuntu2_armhf.deb ... 210s Unpacking libc6-dev:armhf (2.39-3.1ubuntu2) ... 210s Selecting previously unselected package libncurses-dev:armhf. 210s Preparing to unpack .../14-libncurses-dev_6.5-2_armhf.deb ... 210s Unpacking libncurses-dev:armhf (6.5-2) ... 210s Selecting previously unselected package gcc-13-base:armhf. 210s Preparing to unpack .../15-gcc-13-base_13.2.0-23ubuntu4_armhf.deb ... 210s Unpacking gcc-13-base:armhf (13.2.0-23ubuntu4) ... 210s Selecting previously unselected package libisl23:armhf. 210s Preparing to unpack .../16-libisl23_0.26-3build1_armhf.deb ... 210s Unpacking libisl23:armhf (0.26-3build1) ... 210s Selecting previously unselected package libmpc3:armhf. 210s Preparing to unpack .../17-libmpc3_1.3.1-1build1_armhf.deb ... 210s Unpacking libmpc3:armhf (1.3.1-1build1) ... 210s Selecting previously unselected package cpp-13-arm-linux-gnueabihf. 210s Preparing to unpack .../18-cpp-13-arm-linux-gnueabihf_13.2.0-23ubuntu4_armhf.deb ... 210s Unpacking cpp-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 210s Selecting previously unselected package cpp-13. 210s Preparing to unpack .../19-cpp-13_13.2.0-23ubuntu4_armhf.deb ... 210s Unpacking cpp-13 (13.2.0-23ubuntu4) ... 210s Selecting previously unselected package cpp-arm-linux-gnueabihf. 210s Preparing to unpack .../20-cpp-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 210s Unpacking cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 210s Selecting previously unselected package cpp. 210s Preparing to unpack .../21-cpp_4%3a13.2.0-7ubuntu1_armhf.deb ... 210s Unpacking cpp (4:13.2.0-7ubuntu1) ... 210s Selecting previously unselected package libcc1-0:armhf. 210s Preparing to unpack .../22-libcc1-0_14.1.0-1ubuntu1_armhf.deb ... 210s Unpacking libcc1-0:armhf (14.1.0-1ubuntu1) ... 210s Selecting previously unselected package libgomp1:armhf. 210s Preparing to unpack .../23-libgomp1_14.1.0-1ubuntu1_armhf.deb ... 210s Unpacking libgomp1:armhf (14.1.0-1ubuntu1) ... 210s Selecting previously unselected package libatomic1:armhf. 210s Preparing to unpack .../24-libatomic1_14.1.0-1ubuntu1_armhf.deb ... 210s Unpacking libatomic1:armhf (14.1.0-1ubuntu1) ... 210s Selecting previously unselected package libasan8:armhf. 210s Preparing to unpack .../25-libasan8_14.1.0-1ubuntu1_armhf.deb ... 210s Unpacking libasan8:armhf (14.1.0-1ubuntu1) ... 211s Selecting previously unselected package libubsan1:armhf. 211s Preparing to unpack .../26-libubsan1_14.1.0-1ubuntu1_armhf.deb ... 211s Unpacking libubsan1:armhf (14.1.0-1ubuntu1) ... 211s Selecting previously unselected package libgcc-13-dev:armhf. 211s Preparing to unpack .../27-libgcc-13-dev_13.2.0-23ubuntu4_armhf.deb ... 211s Unpacking libgcc-13-dev:armhf (13.2.0-23ubuntu4) ... 211s Selecting previously unselected package gcc-13-arm-linux-gnueabihf. 211s Preparing to unpack .../28-gcc-13-arm-linux-gnueabihf_13.2.0-23ubuntu4_armhf.deb ... 211s Unpacking gcc-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 211s Selecting previously unselected package gcc-13. 211s Preparing to unpack .../29-gcc-13_13.2.0-23ubuntu4_armhf.deb ... 211s Unpacking gcc-13 (13.2.0-23ubuntu4) ... 211s Selecting previously unselected package gcc-arm-linux-gnueabihf. 211s Preparing to unpack .../30-gcc-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 211s Unpacking gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 211s Selecting previously unselected package gcc. 211s Preparing to unpack .../31-gcc_4%3a13.2.0-7ubuntu1_armhf.deb ... 211s Unpacking gcc (4:13.2.0-7ubuntu1) ... 211s Selecting previously unselected package ocaml. 211s Preparing to unpack .../32-ocaml_4.14.1-1ubuntu1_armhf.deb ... 211s Unpacking ocaml (4.14.1-1ubuntu1) ... 213s Selecting previously unselected package ocaml-findlib. 213s Preparing to unpack .../33-ocaml-findlib_1.9.6-2_armhf.deb ... 213s Unpacking ocaml-findlib (1.9.6-2) ... 213s Selecting previously unselected package coq. 213s Preparing to unpack .../34-coq_8.19.1+dfsg-2_armhf.deb ... 213s Unpacking coq (8.19.1+dfsg-2) ... 215s Selecting previously unselected package libcoq-bignums. 215s Preparing to unpack .../35-libcoq-bignums_9.0.0+coq8.19-1build1_armhf.deb ... 215s Unpacking libcoq-bignums (9.0.0+coq8.19-1build1) ... 215s Selecting previously unselected package libcoq-coqprime. 215s Preparing to unpack .../36-libcoq-coqprime_8.19-1build2_armhf.deb ... 215s Unpacking libcoq-coqprime (8.19-1build2) ... 215s Selecting previously unselected package autopkgtest-satdep. 215s Preparing to unpack .../37-1-autopkgtest-satdep.deb ... 215s Unpacking autopkgtest-satdep (0) ... 215s Setting up linux-libc-dev:armhf (6.8.0-31.31) ... 215s Setting up libgomp1:armhf (14.1.0-1ubuntu1) ... 215s Setting up libcoq-stdlib (8.19.1+dfsg-2) ... 215s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 215s Setting up gcc-13-base:armhf (13.2.0-23ubuntu4) ... 215s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 215s Setting up libmpc3:armhf (1.3.1-1build1) ... 215s Setting up libatomic1:armhf (14.1.0-1ubuntu1) ... 215s Setting up ocaml-base (4.14.1-1ubuntu1) ... 215s Setting up libubsan1:armhf (14.1.0-1ubuntu1) ... 215s Setting up libcrypt-dev:armhf (1:4.4.36-4build1) ... 215s Setting up libasan8:armhf (14.1.0-1ubuntu1) ... 215s Setting up libisl23:armhf (0.26-3build1) ... 215s Setting up libc-dev-bin (2.39-3.1ubuntu2) ... 215s Setting up libcc1-0:armhf (14.1.0-1ubuntu1) ... 215s Setting up libcoq-bignums (9.0.0+coq8.19-1build1) ... 215s Setting up cpp-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 215s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 215s Setting up libfindlib-ocaml (1.9.6-2) ... 215s Setting up libzarith-ocaml (1.13-2build4) ... 215s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 215s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 215s Setting up ocaml-findlib (1.9.6-2) ... 215s Setting up libgcc-13-dev:armhf (13.2.0-23ubuntu4) ... 215s Setting up libcoq-core-ocaml (8.19.1+dfsg-2) ... 215s Setting up libcoq-coqprime (8.19-1build2) ... 215s Setting up libc6-dev:armhf (2.39-3.1ubuntu2) ... 215s Setting up cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 215s Setting up libncurses-dev:armhf (6.5-2) ... 215s Setting up cpp-13 (13.2.0-23ubuntu4) ... 215s Setting up gcc-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 215s Setting up gcc-13 (13.2.0-23ubuntu4) ... 215s Setting up cpp (4:13.2.0-7ubuntu1) ... 215s Setting up gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 215s Setting up gcc (4:13.2.0-7ubuntu1) ... 215s Setting up ocaml (4.14.1-1ubuntu1) ... 215s Setting up coq (8.19.1+dfsg-2) ... 215s Setting up autopkgtest-satdep (0) ... 215s Processing triggers for man-db (2.12.1-2) ... 216s Processing triggers for libc-bin (2.39-3.1ubuntu2) ... 227s (Reading database ... 66244 files and directories currently installed.) 227s Removing autopkgtest-satdep (0) ... 233s autopkgtest [18:41:36]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington 233s autopkgtest [18:41:36]: test command1: [----------------------- 236s autopkgtest [18:41:39]: test command1: -----------------------] 240s command1 PASS 240s autopkgtest [18:41:43]: test command1: - - - - - - - - - - results - - - - - - - - - - 244s autopkgtest [18:41:47]: @@@@@@@@@@@@@@@@@@@@ summary 244s command1 PASS