0s autopkgtest [09:17:46]: starting date: 2024-03-18 0s autopkgtest [09:17:46]: git checkout: d9c0295b adt_testbed.py: supress warnings from apt using a shell pipeline 0s autopkgtest [09:17:46]: host juju-7f2275-prod-proposed-migration-environment-4; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.mrk8kc4i/out --timeout-copy=6000 --setup-commands 'ls /etc/apt/sources.list.d/*.list 2>/dev/null || true; 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,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:coq,src:at-spi2-core,src:glib2.0,src:gtk+3.0 --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq/8.18.0+dfsg-1build1 at-spi2-core/2.51.90-3 glib2.0/2.79.3-3ubuntu5 gtk+3.0/3.24.41-1.1ubuntu1' -- lxd -r lxd-armhf-10.44.124.162 lxd-armhf-10.44.124.162:autopkgtest/ubuntu/noble/armhf 46s autopkgtest [09:18:32]: @@@@@@@@@@@@@@@@@@@@ test bed setup 48s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 49s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3683 kB] 51s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [51.4 kB] 51s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 51s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [485 kB] 52s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main armhf Packages [575 kB] 52s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main armhf c-n-f Metadata [2492 B] 52s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted armhf Packages [1372 B] 52s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted armhf c-n-f Metadata [116 B] 52s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe armhf Packages [3539 kB] 52s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe armhf c-n-f Metadata [7776 B] 52s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse armhf Packages [35.3 kB] 52s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse armhf c-n-f Metadata [116 B] 63s Fetched 8505 kB in 5s (1676 kB/s) 63s Reading package lists... 77s /etc/apt/sources.list.d/proposed.list 79s tee: /proc/self/fd/2: Permission denied 108s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 108s Hit:2 http://ports.ubuntu.com/ubuntu-ports noble InRelease 108s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease 108s Hit:4 http://ports.ubuntu.com/ubuntu-ports noble-updates InRelease 108s Hit:5 http://ftpmaster.internal/ubuntu noble-security InRelease 108s Hit:6 http://ports.ubuntu.com/ubuntu-ports noble-backports InRelease 108s Hit:7 http://ftpmaster.internal/ubuntu noble-proposed InRelease 108s Hit:8 http://ports.ubuntu.com/ubuntu-ports noble-security InRelease 114s Reading package lists... 114s Reading package lists... 115s Building dependency tree... 115s Reading state information... 116s Calculating upgrade... 117s The following NEW packages will be installed: 117s xdg-user-dirs 117s The following packages have been kept back: 117s gir1.2-glib-2.0 117s The following packages will be upgraded: 117s libglib2.0-data 118s 1 upgraded, 1 newly installed, 0 to remove and 1 not upgraded. 118s Need to get 63.9 kB of archives. 118s After this operation, 143 kB of additional disk space will be used. 118s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 118s Get:2 http://ftpmaster.internal/ubuntu noble/main armhf xdg-user-dirs armhf 0.18-1 [17.3 kB] 119s Fetched 63.9 kB in 0s (149 kB/s) 120s (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 ... 58620 files and directories currently installed.) 120s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 120s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 120s Selecting previously unselected package xdg-user-dirs. 120s Preparing to unpack .../xdg-user-dirs_0.18-1_armhf.deb ... 120s Unpacking xdg-user-dirs (0.18-1) ... 120s Setting up xdg-user-dirs (0.18-1) ... 120s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 120s Processing triggers for man-db (2.12.0-3) ... 123s Reading package lists... 124s Building dependency tree... 124s Reading state information... 126s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. 128s autopkgtest [09:19:54]: rebooting testbed after setup commands that affected boot 159s autopkgtest [09:20:25]: testbed running kernel: Linux 5.4.0-170-generic #188-Ubuntu SMP Wed Jan 10 09:51:10 UTC 2024 163s autopkgtest [09:20:29]: testbed dpkg architecture: armhf 178s autopkgtest [09:20:44]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 190s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/universe coq 8.18.0+dfsg-1build1 (dsc) [2685 B] 190s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe coq 8.18.0+dfsg-1build1 (tar) [4868 kB] 190s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe coq 8.18.0+dfsg-1build1 (diff) [33.3 kB] 190s gpgv: Signature made Fri Mar 8 04:08:12 2024 UTC 190s gpgv: using RSA key AC483F68DE728F43F2202FCA568D30F321B2133D 190s gpgv: issuer "steve.langasek@ubuntu.com" 190s gpgv: Can't check signature: No public key 190s dpkg-source: warning: cannot verify inline signature for ./coq_8.18.0+dfsg-1build1.dsc: no acceptable signature found 193s autopkgtest [09:20:59]: testing package coq version 8.18.0+dfsg-1build1 193s autopkgtest [09:20:59]: build not needed 199s autopkgtest [09:21:05]: test compiler: preparing testbed 212s Reading package lists... 212s Building dependency tree... 212s Reading state information... 213s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 214s Starting 2 pkgProblemResolver with broken count: 0 214s Done 215s Done 216s Starting pkgProblemResolver with broken count: 0 216s Starting 2 pkgProblemResolver with broken count: 0 216s Done 218s The following additional packages will be installed: 218s coq cpp cpp-13 cpp-13-arm-linux-gnueabihf cpp-arm-linux-gnueabihf gcc gcc-13 218s gcc-13-arm-linux-gnueabihf gcc-arm-linux-gnueabihf libasan8 libatomic1 218s libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml 218s libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1 libisl23 218s libmpc3 libncurses-dev libnsl-dev libstdlib-ocaml libstdlib-ocaml-dev 218s libtirpc-dev libubsan1 libzarith-ocaml linux-libc-dev ocaml ocaml-base 218s ocaml-findlib ocaml-interp rpcsvc-proto 218s Suggested packages: 218s coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why 218s coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 218s automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-arm-linux-gnueabihf 218s glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4 218s Recommended packages: 218s manpages manpages-dev libc-devtools ocaml-man libfindlib-ocaml-dev ledit 218s | readline-editor 218s The following NEW packages will be installed: 218s coq cpp cpp-13 cpp-13-arm-linux-gnueabihf cpp-arm-linux-gnueabihf gcc gcc-13 218s gcc-13-arm-linux-gnueabihf gcc-arm-linux-gnueabihf libasan8 libatomic1 218s libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml 218s libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1 libisl23 218s libmpc3 libncurses-dev libnsl-dev libstdlib-ocaml libstdlib-ocaml-dev 218s libtirpc-dev libubsan1 libzarith-ocaml linux-libc-dev ocaml ocaml-base 218s ocaml-findlib ocaml-interp rpcsvc-proto 218s 0 upgraded, 36 newly installed, 0 to remove and 1 not upgraded. 218s 1 not fully installed or removed. 218s Need to get 317 MB of archives. 218s After this operation, 1019 MB of additional disk space will be used. 218s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/universe armhf libcoq-stdlib armhf 8.18.0+dfsg-1build1 [26.5 MB] 220s Get:2 http://ftpmaster.internal/ubuntu noble/universe armhf libstdlib-ocaml armhf 4.14.1-1ubuntu1 [344 kB] 220s Get:3 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml-base armhf 4.14.1-1ubuntu1 [216 kB] 220s Get:4 http://ftpmaster.internal/ubuntu noble/universe armhf libfindlib-ocaml armhf 1.9.6-1build3 [197 kB] 220s Get:5 http://ftpmaster.internal/ubuntu noble/universe armhf libzarith-ocaml armhf 1.13-2build3 [115 kB] 220s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/universe armhf libcoq-core-ocaml armhf 8.18.0+dfsg-1build1 [27.5 MB] 221s Get:7 http://ftpmaster.internal/ubuntu noble/universe armhf libstdlib-ocaml-dev armhf 4.14.1-1ubuntu1 [8297 kB] 221s Get:8 http://ftpmaster.internal/ubuntu noble/universe armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1ubuntu1 [36.9 MB] 222s Get:9 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml-interp armhf 4.14.1-1ubuntu1 [7825 kB] 222s Get:10 http://ftpmaster.internal/ubuntu noble/main armhf libc-dev-bin armhf 2.39-0ubuntu2 [19.1 kB] 222s Get:11 http://ftpmaster.internal/ubuntu noble/main armhf linux-libc-dev armhf 6.8.0-11.11 [1553 kB] 222s Get:12 http://ftpmaster.internal/ubuntu noble/main armhf libcrypt-dev armhf 1:4.4.36-4 [136 kB] 222s Get:13 http://ftpmaster.internal/ubuntu noble/main armhf libtirpc-dev armhf 1.3.4+ds-1build1 [207 kB] 222s Get:14 http://ftpmaster.internal/ubuntu noble/main armhf libnsl-dev armhf 1.3.0-3 [65.8 kB] 222s Get:15 http://ftpmaster.internal/ubuntu noble/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu6 [63.7 kB] 222s Get:16 http://ftpmaster.internal/ubuntu noble/main armhf libc6-dev armhf 2.39-0ubuntu2 [1352 kB] 222s Get:17 http://ftpmaster.internal/ubuntu noble/main armhf libncurses-dev armhf 6.4+20240113-1ubuntu1 [501 kB] 222s Get:18 http://ftpmaster.internal/ubuntu noble/main armhf libisl23 armhf 0.26-3 [595 kB] 222s Get:19 http://ftpmaster.internal/ubuntu noble/main armhf libmpc3 armhf 1.3.1-1 [46.4 kB] 222s Get:20 http://ftpmaster.internal/ubuntu noble/main armhf cpp-13-arm-linux-gnueabihf armhf 13.2.0-17ubuntu2 [8753 kB] 223s Get:21 http://ftpmaster.internal/ubuntu noble/main armhf cpp-13 armhf 13.2.0-17ubuntu2 [1032 B] 223s Get:22 http://ftpmaster.internal/ubuntu noble/main armhf cpp-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [5320 B] 223s Get:23 http://ftpmaster.internal/ubuntu noble/main armhf cpp armhf 4:13.2.0-7ubuntu1 [22.4 kB] 223s Get:24 http://ftpmaster.internal/ubuntu noble/main armhf libcc1-0 armhf 14-20240303-1ubuntu1 [39.0 kB] 223s Get:25 http://ftpmaster.internal/ubuntu noble/main armhf libgomp1 armhf 14-20240303-1ubuntu1 [125 kB] 223s Get:26 http://ftpmaster.internal/ubuntu noble/main armhf libatomic1 armhf 14-20240303-1ubuntu1 [7812 B] 223s Get:27 http://ftpmaster.internal/ubuntu noble/main armhf libasan8 armhf 14-20240303-1ubuntu1 [2941 kB] 223s Get:28 http://ftpmaster.internal/ubuntu noble/main armhf libubsan1 armhf 14-20240303-1ubuntu1 [1153 kB] 223s Get:29 http://ftpmaster.internal/ubuntu noble/main armhf libgcc-13-dev armhf 13.2.0-17ubuntu2 [900 kB] 223s Get:30 http://ftpmaster.internal/ubuntu noble/main armhf gcc-13-arm-linux-gnueabihf armhf 13.2.0-17ubuntu2 [16.8 MB] 223s Get:31 http://ftpmaster.internal/ubuntu noble/main armhf gcc-13 armhf 13.2.0-17ubuntu2 [448 kB] 223s Get:32 http://ftpmaster.internal/ubuntu noble/main armhf gcc-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [1220 B] 223s Get:33 http://ftpmaster.internal/ubuntu noble/main armhf gcc armhf 4:13.2.0-7ubuntu1 [5022 B] 223s Get:34 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml armhf 4.14.1-1ubuntu1 [78.7 MB] 227s Get:35 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml-findlib armhf 1.9.6-1build3 [532 kB] 227s Get:36 http://ftpmaster.internal/ubuntu noble-proposed/universe armhf coq armhf 8.18.0+dfsg-1build1 [93.7 MB] 232s Fetched 317 MB in 12s (25.9 MB/s) 232s Selecting previously unselected package libcoq-stdlib. 232s (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 ... 58634 files and directories currently installed.) 232s Preparing to unpack .../00-libcoq-stdlib_8.18.0+dfsg-1build1_armhf.deb ... 232s Unpacking libcoq-stdlib (8.18.0+dfsg-1build1) ... 236s Selecting previously unselected package libstdlib-ocaml. 236s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_armhf.deb ... 236s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 237s Selecting previously unselected package ocaml-base. 237s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_armhf.deb ... 237s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 237s Selecting previously unselected package libfindlib-ocaml. 237s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-1build3_armhf.deb ... 237s Unpacking libfindlib-ocaml (1.9.6-1build3) ... 237s Selecting previously unselected package libzarith-ocaml. 237s Preparing to unpack .../04-libzarith-ocaml_1.13-2build3_armhf.deb ... 237s Unpacking libzarith-ocaml (1.13-2build3) ... 237s Selecting previously unselected package libcoq-core-ocaml. 237s Preparing to unpack .../05-libcoq-core-ocaml_8.18.0+dfsg-1build1_armhf.deb ... 237s Unpacking libcoq-core-ocaml (8.18.0+dfsg-1build1) ... 239s Selecting previously unselected package libstdlib-ocaml-dev. 239s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_armhf.deb ... 239s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 241s Selecting previously unselected package libcompiler-libs-ocaml-dev. 241s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_armhf.deb ... 241s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 247s Selecting previously unselected package ocaml-interp. 247s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_armhf.deb ... 247s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 247s Selecting previously unselected package libc-dev-bin. 247s Preparing to unpack .../09-libc-dev-bin_2.39-0ubuntu2_armhf.deb ... 247s Unpacking libc-dev-bin (2.39-0ubuntu2) ... 247s Selecting previously unselected package linux-libc-dev:armhf. 248s Preparing to unpack .../10-linux-libc-dev_6.8.0-11.11_armhf.deb ... 248s Unpacking linux-libc-dev:armhf (6.8.0-11.11) ... 249s Selecting previously unselected package libcrypt-dev:armhf. 249s Preparing to unpack .../11-libcrypt-dev_1%3a4.4.36-4_armhf.deb ... 249s Unpacking libcrypt-dev:armhf (1:4.4.36-4) ... 249s Selecting previously unselected package libtirpc-dev:armhf. 249s Preparing to unpack .../12-libtirpc-dev_1.3.4+ds-1build1_armhf.deb ... 249s Unpacking libtirpc-dev:armhf (1.3.4+ds-1build1) ... 249s Selecting previously unselected package libnsl-dev:armhf. 249s Preparing to unpack .../13-libnsl-dev_1.3.0-3_armhf.deb ... 249s Unpacking libnsl-dev:armhf (1.3.0-3) ... 249s Selecting previously unselected package rpcsvc-proto. 249s Preparing to unpack .../14-rpcsvc-proto_1.4.2-0ubuntu6_armhf.deb ... 249s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ... 249s Selecting previously unselected package libc6-dev:armhf. 249s Preparing to unpack .../15-libc6-dev_2.39-0ubuntu2_armhf.deb ... 249s Unpacking libc6-dev:armhf (2.39-0ubuntu2) ... 250s Selecting previously unselected package libncurses-dev:armhf. 250s Preparing to unpack .../16-libncurses-dev_6.4+20240113-1ubuntu1_armhf.deb ... 250s Unpacking libncurses-dev:armhf (6.4+20240113-1ubuntu1) ... 250s Selecting previously unselected package libisl23:armhf. 250s Preparing to unpack .../17-libisl23_0.26-3_armhf.deb ... 250s Unpacking libisl23:armhf (0.26-3) ... 250s Selecting previously unselected package libmpc3:armhf. 250s Preparing to unpack .../18-libmpc3_1.3.1-1_armhf.deb ... 250s Unpacking libmpc3:armhf (1.3.1-1) ... 251s Selecting previously unselected package cpp-13-arm-linux-gnueabihf. 251s Preparing to unpack .../19-cpp-13-arm-linux-gnueabihf_13.2.0-17ubuntu2_armhf.deb ... 251s Unpacking cpp-13-arm-linux-gnueabihf (13.2.0-17ubuntu2) ... 251s Selecting previously unselected package cpp-13. 251s Preparing to unpack .../20-cpp-13_13.2.0-17ubuntu2_armhf.deb ... 251s Unpacking cpp-13 (13.2.0-17ubuntu2) ... 251s Selecting previously unselected package cpp-arm-linux-gnueabihf. 251s Preparing to unpack .../21-cpp-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 251s Unpacking cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 252s Selecting previously unselected package cpp. 252s Preparing to unpack .../22-cpp_4%3a13.2.0-7ubuntu1_armhf.deb ... 252s Unpacking cpp (4:13.2.0-7ubuntu1) ... 252s Selecting previously unselected package libcc1-0:armhf. 252s Preparing to unpack .../23-libcc1-0_14-20240303-1ubuntu1_armhf.deb ... 252s Unpacking libcc1-0:armhf (14-20240303-1ubuntu1) ... 252s Selecting previously unselected package libgomp1:armhf. 252s Preparing to unpack .../24-libgomp1_14-20240303-1ubuntu1_armhf.deb ... 252s Unpacking libgomp1:armhf (14-20240303-1ubuntu1) ... 252s Selecting previously unselected package libatomic1:armhf. 252s Preparing to unpack .../25-libatomic1_14-20240303-1ubuntu1_armhf.deb ... 252s Unpacking libatomic1:armhf (14-20240303-1ubuntu1) ... 252s Selecting previously unselected package libasan8:armhf. 252s Preparing to unpack .../26-libasan8_14-20240303-1ubuntu1_armhf.deb ... 252s Unpacking libasan8:armhf (14-20240303-1ubuntu1) ... 253s Selecting previously unselected package libubsan1:armhf. 253s Preparing to unpack .../27-libubsan1_14-20240303-1ubuntu1_armhf.deb ... 253s Unpacking libubsan1:armhf (14-20240303-1ubuntu1) ... 253s Selecting previously unselected package libgcc-13-dev:armhf. 253s Preparing to unpack .../28-libgcc-13-dev_13.2.0-17ubuntu2_armhf.deb ... 253s Unpacking libgcc-13-dev:armhf (13.2.0-17ubuntu2) ... 253s Selecting previously unselected package gcc-13-arm-linux-gnueabihf. 253s Preparing to unpack .../29-gcc-13-arm-linux-gnueabihf_13.2.0-17ubuntu2_armhf.deb ... 253s Unpacking gcc-13-arm-linux-gnueabihf (13.2.0-17ubuntu2) ... 255s Selecting previously unselected package gcc-13. 255s Preparing to unpack .../30-gcc-13_13.2.0-17ubuntu2_armhf.deb ... 255s Unpacking gcc-13 (13.2.0-17ubuntu2) ... 255s Selecting previously unselected package gcc-arm-linux-gnueabihf. 255s Preparing to unpack .../31-gcc-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 255s Unpacking gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 255s Selecting previously unselected package gcc. 255s Preparing to unpack .../32-gcc_4%3a13.2.0-7ubuntu1_armhf.deb ... 255s Unpacking gcc (4:13.2.0-7ubuntu1) ... 255s Selecting previously unselected package ocaml. 255s Preparing to unpack .../33-ocaml_4.14.1-1ubuntu1_armhf.deb ... 255s Unpacking ocaml (4.14.1-1ubuntu1) ... 263s Selecting previously unselected package ocaml-findlib. 263s Preparing to unpack .../34-ocaml-findlib_1.9.6-1build3_armhf.deb ... 263s Unpacking ocaml-findlib (1.9.6-1build3) ... 263s Selecting previously unselected package coq. 263s Preparing to unpack .../35-coq_8.18.0+dfsg-1build1_armhf.deb ... 263s Unpacking coq (8.18.0+dfsg-1build1) ... 270s Setting up linux-libc-dev:armhf (6.8.0-11.11) ... 270s Setting up libgomp1:armhf (14-20240303-1ubuntu1) ... 270s Setting up libcoq-stdlib (8.18.0+dfsg-1build1) ... 270s Setting up libtirpc-dev:armhf (1.3.4+ds-1build1) ... 270s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ... 270s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 270s Setting up libmpc3:armhf (1.3.1-1) ... 270s Setting up libatomic1:armhf (14-20240303-1ubuntu1) ... 270s Setting up ocaml-base (4.14.1-1ubuntu1) ... 270s Setting up libubsan1:armhf (14-20240303-1ubuntu1) ... 270s Setting up libnsl-dev:armhf (1.3.0-3) ... 270s Setting up libcrypt-dev:armhf (1:4.4.36-4) ... 270s Setting up libasan8:armhf (14-20240303-1ubuntu1) ... 270s Setting up libisl23:armhf (0.26-3) ... 270s Setting up libc-dev-bin (2.39-0ubuntu2) ... 270s Setting up libcc1-0:armhf (14-20240303-1ubuntu1) ... 270s Setting up cpp-13-arm-linux-gnueabihf (13.2.0-17ubuntu2) ... 270s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 270s Setting up libfindlib-ocaml (1.9.6-1build3) ... 270s Setting up libzarith-ocaml (1.13-2build3) ... 270s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 270s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 270s Setting up ocaml-findlib (1.9.6-1build3) ... 270s Setting up libgcc-13-dev:armhf (13.2.0-17ubuntu2) ... 270s Setting up libcoq-core-ocaml (8.18.0+dfsg-1build1) ... 270s Setting up libc6-dev:armhf (2.39-0ubuntu2) ... 270s Setting up cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 270s Setting up libncurses-dev:armhf (6.4+20240113-1ubuntu1) ... 270s Setting up cpp-13 (13.2.0-17ubuntu2) ... 270s Setting up gcc-13-arm-linux-gnueabihf (13.2.0-17ubuntu2) ... 270s Setting up gcc-13 (13.2.0-17ubuntu2) ... 270s Setting up cpp (4:13.2.0-7ubuntu1) ... 270s Setting up gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 270s Setting up gcc (4:13.2.0-7ubuntu1) ... 270s Setting up ocaml (4.14.1-1ubuntu1) ... 270s Setting up coq (8.18.0+dfsg-1build1) ... 270s Setting up autopkgtest-satdep (0) ... 270s Processing triggers for man-db (2.12.0-3) ... 272s Processing triggers for libc-bin (2.39-0ubuntu2) ... 289s (Reading database ... 66432 files and directories currently installed.) 289s Removing autopkgtest-satdep (0) ... 300s autopkgtest [09:22:46]: test compiler: [----------------------- 303s autopkgtest [09:22:49]: test compiler: -----------------------] 307s compiler PASS 307s autopkgtest [09:22:53]: test compiler: - - - - - - - - - - results - - - - - - - - - - 311s autopkgtest [09:22:57]: test toplevel: preparing testbed 324s Reading package lists... 325s Building dependency tree... 325s Reading state information... 326s Starting pkgProblemResolver with broken count: 0 326s Starting 2 pkgProblemResolver with broken count: 0 326s Done 329s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. 329s 1 not fully installed or removed. 329s After this operation, 0 B of additional disk space will be used. 329s Setting up autopkgtest-satdep (0) ... 341s (Reading database ... 66432 files and directories currently installed.) 341s Removing autopkgtest-satdep (0) ... 350s autopkgtest [09:23:36]: test toplevel: [----------------------- 353s Welcome to Coq 8.18.0 353s pierce is defined 353s excluded_middle is defined 353s 1 goal 353s 353s ============================ 353s pierce <-> excluded_middle 353s 1 goal 353s 353s ============================ 353s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 353s 2 goals 353s 353s H : forall p q : Prop, ((p -> q) -> p) -> p 353s p : Prop 353s ============================ 353s p \/ ~ p 353s 353s goal 2 is: 353s p 353s 2 goals 353s 353s H : forall p q : Prop, ((p -> q) -> p) -> p 353s p : Prop 353s ============================ 353s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 353s 353s goal 2 is: 353s p 353s 1 goal 353s 353s H : forall p : Prop, p \/ ~ p 353s p, q : Prop 353s H0 : (p -> q) -> p 353s ============================ 353s p 353s 2 goals 353s 353s H : forall p : Prop, p \/ ~ p 353s p, q : Prop 353s H0 : (p -> q) -> p 353s H1 : p 353s ============================ 353s p 353s 353s goal 2 is: 353s p 353s 1 goal 353s 353s H : forall p : Prop, p \/ ~ p 353s p, q : Prop 353s H0 : (p -> q) -> p 353s H1 : ~ p 353s ============================ 353s p 353s No more goals. 353s autopkgtest [09:23:39]: test toplevel: -----------------------] 357s autopkgtest [09:23:43]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 357s toplevel PASS 361s autopkgtest [09:23:47]: @@@@@@@@@@@@@@@@@@@@ summary 361s compiler PASS 361s toplevel PASS