0s autopkgtest [13:37:28]: starting date and time: 2024-03-20 13:37:28+0000 0s autopkgtest [13:37:28]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [13:37:28]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.r_t99rb5/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gtk+3.0,src:at-spi2-core,src:cups,src:glib2.0,src:gnutls28,src:nettle --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=gtk+3.0/3.24.41-1.1ubuntu3 at-spi2-core/2.51.90-3 cups/2.4.7-1.2ubuntu1 glib2.0/2.79.3-3ubuntu5 gnutls28/3.8.3-1.1ubuntu2 nettle/3.9.1-2.2' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-18.secgroup --name adt-noble-arm64-coq-20240320-133727-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --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,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 200s autopkgtest [13:40:48]: testbed dpkg architecture: arm64 201s autopkgtest [13:40:49]: testbed apt version: 2.7.12 201s autopkgtest [13:40:49]: @@@@@@@@@@@@@@@@@@@@ test bed setup 201s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 201s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 201s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3804 kB] 202s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 202s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 202s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [680 kB] 202s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 202s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [41.7 kB] 202s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 202s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4219 kB] 202s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 202s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB] 202s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 204s Fetched 9487 kB in 2s (4661 kB/s) 204s Reading package lists... 207s Reading package lists... 207s Building dependency tree... 207s Reading state information... 208s Calculating upgrade... 208s The following packages will be REMOVED: 208s libglib2.0-0 208s The following NEW packages will be installed: 208s libglib2.0-0t64 xdg-user-dirs 208s The following packages will be upgraded: 208s gir1.2-glib-2.0 libglib2.0-data 208s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 208s Need to get 1774 kB of archives. 208s After this operation, 138 kB of additional disk space will be used. 208s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 209s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 209s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 209s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 209s Fetched 1774 kB in 1s (2944 kB/s) 210s (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 ... 74758 files and directories currently installed.) 210s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 210s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 210s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 210s udisks2 depends on libglib2.0-0 (>= 2.77.0). 210s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 210s python3-gi depends on libglib2.0-0 (>= 2.77.0). 210s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 210s netplan.io depends on libglib2.0-0 (>= 2.70.0). 210s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 210s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 210s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 210s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 210s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 210s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 210s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 210s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 210s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 210s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 210s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 210s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 210s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 210s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 210s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 210s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 210s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 210s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 210s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 210s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 210s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 210s fwupd depends on libglib2.0-0 (>= 2.79.0). 210s bolt depends on libglib2.0-0 (>= 2.56.0). 210s 210s (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 ... 74758 files and directories currently installed.) 210s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 210s Selecting previously unselected package libglib2.0-0t64:arm64. 210s (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 ... 74733 files and directories currently installed.) 210s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 210s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:arm64.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 210s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 210s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 210s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 210s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 210s Selecting previously unselected package xdg-user-dirs. 210s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 210s Unpacking xdg-user-dirs (0.18-1) ... 210s Setting up xdg-user-dirs (0.18-1) ... 210s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 210s No schema files found: doing nothing. 210s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 210s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 210s Processing triggers for man-db (2.12.0-3) ... 211s Processing triggers for libc-bin (2.39-0ubuntu2) ... 211s Reading package lists... 211s Building dependency tree... 211s Reading state information... 212s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 212s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 213s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 213s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 213s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 214s Reading package lists... 215s Reading package lists... 215s Building dependency tree... 215s Reading state information... 215s Calculating upgrade... 216s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 216s Reading package lists... 216s Building dependency tree... 216s Reading state information... 217s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 219s autopkgtest [13:41:07]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 220s autopkgtest [13:41:08]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 226s Get:1 http://ftpmaster.internal/ubuntu noble/universe coq 8.18.0+dfsg-1 (dsc) [2570 B] 226s Get:2 http://ftpmaster.internal/ubuntu noble/universe coq 8.18.0+dfsg-1 (tar) [4868 kB] 226s Get:3 http://ftpmaster.internal/ubuntu noble/universe coq 8.18.0+dfsg-1 (diff) [33.2 kB] 226s gpgv: Signature made Thu Dec 21 13:36:10 2023 UTC 226s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 226s gpgv: issuer "jpuydt@debian.org" 226s gpgv: Can't check signature: No public key 226s dpkg-source: warning: cannot verify inline signature for ./coq_8.18.0+dfsg-1.dsc: no acceptable signature found 227s autopkgtest [13:41:15]: testing package coq version 8.18.0+dfsg-1 227s autopkgtest [13:41:15]: build not needed 229s autopkgtest [13:41:17]: test compiler: preparing testbed 235s Reading package lists... 235s Building dependency tree... 235s Reading state information... 236s Starting pkgProblemResolver with broken count: 0 236s Starting 2 pkgProblemResolver with broken count: 0 236s Done 237s The following additional packages will be installed: 237s coq cpp cpp-13 cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-13 237s gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libatomic1 237s libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml 237s libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1 237s libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libnsl-dev 237s libstdlib-ocaml libstdlib-ocaml-dev libtirpc-dev libtsan2 libubsan1 237s libzarith-ocaml linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp 237s rpcsvc-proto 237s Suggested packages: 237s coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why 237s coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 237s automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu 237s glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4 237s Recommended packages: 237s manpages manpages-dev libc-devtools ocaml-man libfindlib-ocaml-dev ledit 237s | readline-editor 237s The following NEW packages will be installed: 237s autopkgtest-satdep coq cpp cpp-13 cpp-13-aarch64-linux-gnu 237s cpp-aarch64-linux-gnu gcc gcc-13 gcc-13-aarch64-linux-gnu 237s gcc-aarch64-linux-gnu libasan8 libatomic1 libc-dev-bin libc6-dev libcc1-0 237s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libcrypt-dev 237s libfindlib-ocaml libgcc-13-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 237s libmpc3 libncurses-dev libnsl-dev libstdlib-ocaml libstdlib-ocaml-dev 237s libtirpc-dev libtsan2 libubsan1 libzarith-ocaml linux-libc-dev ocaml 237s ocaml-base ocaml-findlib ocaml-interp rpcsvc-proto 237s 0 upgraded, 41 newly installed, 0 to remove and 0 not upgraded. 237s Need to get 394 MB/394 MB of archives. 237s After this operation, 1251 MB of additional disk space will be used. 237s Get:1 /tmp/autopkgtest.MqtkOp/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [704 B] 238s Get:2 http://ftpmaster.internal/ubuntu noble/universe arm64 libcoq-stdlib arm64 8.18.0+dfsg-1 [35.2 MB] 242s Get:3 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 242s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 242s Get:5 http://ftpmaster.internal/ubuntu noble/universe arm64 libfindlib-ocaml arm64 1.9.6-1build3 [206 kB] 242s Get:6 http://ftpmaster.internal/ubuntu noble/universe arm64 libzarith-ocaml arm64 1.13-2build3 [123 kB] 242s Get:7 http://ftpmaster.internal/ubuntu noble/universe arm64 libcoq-core-ocaml arm64 8.18.0+dfsg-1 [35.9 MB] 244s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB] 244s Get:9 http://ftpmaster.internal/ubuntu noble/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB] 245s Get:10 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB] 245s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libc-dev-bin arm64 2.39-0ubuntu2 [19.7 kB] 245s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 linux-libc-dev arm64 6.8.0-11.11 [1569 kB] 245s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libcrypt-dev arm64 1:4.4.36-4 [136 kB] 245s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libtirpc-dev arm64 1.3.4+ds-1build1 [232 kB] 245s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libnsl-dev arm64 1.3.0-3 [71.9 kB] 245s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 rpcsvc-proto arm64 1.4.2-0ubuntu6 [65.4 kB] 245s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libc6-dev arm64 2.39-0ubuntu2 [1596 kB] 245s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libncurses-dev arm64 6.4+20240113-1ubuntu1 [385 kB] 245s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libisl23 arm64 0.26-3 [713 kB] 245s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 libmpc3 arm64 1.3.1-1 [55.3 kB] 245s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [10.3 MB] 246s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13 arm64 13.2.0-17ubuntu2 [1028 B] 246s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B] 246s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB] 246s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 libcc1-0 arm64 14-20240303-1ubuntu1 [44.7 kB] 246s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libgomp1 arm64 14-20240303-1ubuntu1 [144 kB] 246s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libitm1 arm64 14-20240303-1ubuntu1 [27.7 kB] 246s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libatomic1 arm64 14-20240303-1ubuntu1 [11.4 kB] 246s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libasan8 arm64 14-20240303-1ubuntu1 [2919 kB] 246s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 liblsan0 arm64 14-20240303-1ubuntu1 [1282 kB] 246s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libtsan2 arm64 14-20240303-1ubuntu1 [2687 kB] 246s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libubsan1 arm64 14-20240303-1ubuntu1 [1151 kB] 246s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libhwasan0 arm64 14-20240303-1ubuntu1 [1597 kB] 246s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libgcc-13-dev arm64 13.2.0-17ubuntu2 [2464 kB] 246s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [20.1 MB] 247s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13 arm64 13.2.0-17ubuntu2 [467 kB] 247s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B] 247s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B] 247s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB] 249s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-findlib arm64 1.9.6-1build3 [663 kB] 249s Get:41 http://ftpmaster.internal/ubuntu noble/universe arm64 coq arm64 8.18.0+dfsg-1 [132 MB] 253s Fetched 394 MB in 14s (27.3 MB/s) 253s Selecting previously unselected package libcoq-stdlib. 254s (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 ... 74772 files and directories currently installed.) 254s Preparing to unpack .../00-libcoq-stdlib_8.18.0+dfsg-1_arm64.deb ... 254s Unpacking libcoq-stdlib (8.18.0+dfsg-1) ... 256s Selecting previously unselected package libstdlib-ocaml. 256s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 256s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 256s Selecting previously unselected package ocaml-base. 256s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 256s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 256s Selecting previously unselected package libfindlib-ocaml. 256s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-1build3_arm64.deb ... 256s Unpacking libfindlib-ocaml (1.9.6-1build3) ... 256s Selecting previously unselected package libzarith-ocaml. 256s Preparing to unpack .../04-libzarith-ocaml_1.13-2build3_arm64.deb ... 256s Unpacking libzarith-ocaml (1.13-2build3) ... 256s Selecting previously unselected package libcoq-core-ocaml. 256s Preparing to unpack .../05-libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb ... 256s Unpacking libcoq-core-ocaml (8.18.0+dfsg-1) ... 256s Selecting previously unselected package libstdlib-ocaml-dev. 257s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ... 257s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 257s Selecting previously unselected package libcompiler-libs-ocaml-dev. 257s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ... 257s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 258s Selecting previously unselected package ocaml-interp. 258s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ... 258s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 258s Selecting previously unselected package libc-dev-bin. 258s Preparing to unpack .../09-libc-dev-bin_2.39-0ubuntu2_arm64.deb ... 258s Unpacking libc-dev-bin (2.39-0ubuntu2) ... 258s Selecting previously unselected package linux-libc-dev:arm64. 258s Preparing to unpack .../10-linux-libc-dev_6.8.0-11.11_arm64.deb ... 258s Unpacking linux-libc-dev:arm64 (6.8.0-11.11) ... 258s Selecting previously unselected package libcrypt-dev:arm64. 258s Preparing to unpack .../11-libcrypt-dev_1%3a4.4.36-4_arm64.deb ... 258s Unpacking libcrypt-dev:arm64 (1:4.4.36-4) ... 258s Selecting previously unselected package libtirpc-dev:arm64. 258s Preparing to unpack .../12-libtirpc-dev_1.3.4+ds-1build1_arm64.deb ... 258s Unpacking libtirpc-dev:arm64 (1.3.4+ds-1build1) ... 258s Selecting previously unselected package libnsl-dev:arm64. 258s Preparing to unpack .../13-libnsl-dev_1.3.0-3_arm64.deb ... 258s Unpacking libnsl-dev:arm64 (1.3.0-3) ... 258s Selecting previously unselected package rpcsvc-proto. 258s Preparing to unpack .../14-rpcsvc-proto_1.4.2-0ubuntu6_arm64.deb ... 258s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ... 258s Selecting previously unselected package libc6-dev:arm64. 258s Preparing to unpack .../15-libc6-dev_2.39-0ubuntu2_arm64.deb ... 258s Unpacking libc6-dev:arm64 (2.39-0ubuntu2) ... 258s Selecting previously unselected package libncurses-dev:arm64. 258s Preparing to unpack .../16-libncurses-dev_6.4+20240113-1ubuntu1_arm64.deb ... 258s Unpacking libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ... 258s Selecting previously unselected package libisl23:arm64. 258s Preparing to unpack .../17-libisl23_0.26-3_arm64.deb ... 258s Unpacking libisl23:arm64 (0.26-3) ... 259s Selecting previously unselected package libmpc3:arm64. 259s Preparing to unpack .../18-libmpc3_1.3.1-1_arm64.deb ... 259s Unpacking libmpc3:arm64 (1.3.1-1) ... 259s Selecting previously unselected package cpp-13-aarch64-linux-gnu. 259s Preparing to unpack .../19-cpp-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ... 259s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 259s Selecting previously unselected package cpp-13. 259s Preparing to unpack .../20-cpp-13_13.2.0-17ubuntu2_arm64.deb ... 259s Unpacking cpp-13 (13.2.0-17ubuntu2) ... 259s Selecting previously unselected package cpp-aarch64-linux-gnu. 259s Preparing to unpack .../21-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ... 259s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 259s Selecting previously unselected package cpp. 259s Preparing to unpack .../22-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ... 259s Unpacking cpp (4:13.2.0-7ubuntu1) ... 259s Selecting previously unselected package libcc1-0:arm64. 259s Preparing to unpack .../23-libcc1-0_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libcc1-0:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package libgomp1:arm64. 259s Preparing to unpack .../24-libgomp1_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libgomp1:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package libitm1:arm64. 259s Preparing to unpack .../25-libitm1_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libitm1:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package libatomic1:arm64. 259s Preparing to unpack .../26-libatomic1_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libatomic1:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package libasan8:arm64. 259s Preparing to unpack .../27-libasan8_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libasan8:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package liblsan0:arm64. 259s Preparing to unpack .../28-liblsan0_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking liblsan0:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package libtsan2:arm64. 259s Preparing to unpack .../29-libtsan2_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libtsan2:arm64 (14-20240303-1ubuntu1) ... 259s Selecting previously unselected package libubsan1:arm64. 259s Preparing to unpack .../30-libubsan1_14-20240303-1ubuntu1_arm64.deb ... 259s Unpacking libubsan1:arm64 (14-20240303-1ubuntu1) ... 260s Selecting previously unselected package libhwasan0:arm64. 260s Preparing to unpack .../31-libhwasan0_14-20240303-1ubuntu1_arm64.deb ... 260s Unpacking libhwasan0:arm64 (14-20240303-1ubuntu1) ... 260s Selecting previously unselected package libgcc-13-dev:arm64. 260s Preparing to unpack .../32-libgcc-13-dev_13.2.0-17ubuntu2_arm64.deb ... 260s Unpacking libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ... 260s Selecting previously unselected package gcc-13-aarch64-linux-gnu. 261s Preparing to unpack .../33-gcc-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ... 261s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 262s Selecting previously unselected package gcc-13. 262s Preparing to unpack .../34-gcc-13_13.2.0-17ubuntu2_arm64.deb ... 262s Unpacking gcc-13 (13.2.0-17ubuntu2) ... 262s Selecting previously unselected package gcc-aarch64-linux-gnu. 262s Preparing to unpack .../35-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ... 262s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 262s Selecting previously unselected package gcc. 262s Preparing to unpack .../36-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ... 262s Unpacking gcc (4:13.2.0-7ubuntu1) ... 262s Selecting previously unselected package ocaml. 262s Preparing to unpack .../37-ocaml_4.14.1-1ubuntu1_arm64.deb ... 262s Unpacking ocaml (4.14.1-1ubuntu1) ... 264s Selecting previously unselected package ocaml-findlib. 264s Preparing to unpack .../38-ocaml-findlib_1.9.6-1build3_arm64.deb ... 264s Unpacking ocaml-findlib (1.9.6-1build3) ... 264s Selecting previously unselected package coq. 264s Preparing to unpack .../39-coq_8.18.0+dfsg-1_arm64.deb ... 264s Unpacking coq (8.18.0+dfsg-1) ... 266s Selecting previously unselected package autopkgtest-satdep. 266s Preparing to unpack .../40-1-autopkgtest-satdep.deb ... 266s Unpacking autopkgtest-satdep (0) ... 266s Setting up linux-libc-dev:arm64 (6.8.0-11.11) ... 266s Setting up libgomp1:arm64 (14-20240303-1ubuntu1) ... 266s Setting up libcoq-stdlib (8.18.0+dfsg-1) ... 266s Setting up libtirpc-dev:arm64 (1.3.4+ds-1build1) ... 266s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ... 266s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 266s Setting up libmpc3:arm64 (1.3.1-1) ... 266s Setting up libatomic1:arm64 (14-20240303-1ubuntu1) ... 266s Setting up ocaml-base (4.14.1-1ubuntu1) ... 266s Setting up libubsan1:arm64 (14-20240303-1ubuntu1) ... 266s Setting up libnsl-dev:arm64 (1.3.0-3) ... 266s Setting up libhwasan0:arm64 (14-20240303-1ubuntu1) ... 266s Setting up libcrypt-dev:arm64 (1:4.4.36-4) ... 266s Setting up libasan8:arm64 (14-20240303-1ubuntu1) ... 266s Setting up libtsan2:arm64 (14-20240303-1ubuntu1) ... 266s Setting up libisl23:arm64 (0.26-3) ... 266s Setting up libc-dev-bin (2.39-0ubuntu2) ... 266s Setting up libcc1-0:arm64 (14-20240303-1ubuntu1) ... 266s Setting up liblsan0:arm64 (14-20240303-1ubuntu1) ... 266s Setting up libitm1:arm64 (14-20240303-1ubuntu1) ... 266s Setting up cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 266s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 266s Setting up libfindlib-ocaml (1.9.6-1build3) ... 266s Setting up libzarith-ocaml (1.13-2build3) ... 266s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 266s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 266s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 266s Setting up ocaml-findlib (1.9.6-1build3) ... 266s Setting up libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ... 266s Setting up libcoq-core-ocaml (8.18.0+dfsg-1) ... 266s Setting up libc6-dev:arm64 (2.39-0ubuntu2) ... 266s Setting up libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ... 266s Setting up cpp-13 (13.2.0-17ubuntu2) ... 266s Setting up gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 266s Setting up gcc-13 (13.2.0-17ubuntu2) ... 266s Setting up cpp (4:13.2.0-7ubuntu1) ... 266s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 266s Setting up gcc (4:13.2.0-7ubuntu1) ... 266s Setting up ocaml (4.14.1-1ubuntu1) ... 266s Setting up coq (8.18.0+dfsg-1) ... 266s Setting up autopkgtest-satdep (0) ... 266s Processing triggers for man-db (2.12.0-3) ... 266s Processing triggers for libc-bin (2.39-0ubuntu2) ... 270s (Reading database ... 82605 files and directories currently installed.) 270s Removing autopkgtest-satdep (0) ... 271s autopkgtest [13:41:59]: test compiler: [----------------------- 272s autopkgtest [13:42:00]: test compiler: -----------------------] 272s compiler PASS 272s autopkgtest [13:42:00]: test compiler: - - - - - - - - - - results - - - - - - - - - - 273s autopkgtest [13:42:01]: test toplevel: preparing testbed 280s Reading package lists... 280s Building dependency tree... 280s Reading state information... 281s Starting pkgProblemResolver with broken count: 0 281s Starting 2 pkgProblemResolver with broken count: 0 281s Done 282s The following NEW packages will be installed: 282s autopkgtest-satdep 282s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 282s Need to get 0 B/704 B of archives. 282s After this operation, 0 B of additional disk space will be used. 282s Get:1 /tmp/autopkgtest.MqtkOp/2-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [704 B] 282s Selecting previously unselected package autopkgtest-satdep. 282s (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 ... 82605 files and directories currently installed.) 282s Preparing to unpack .../2-autopkgtest-satdep.deb ... 282s Unpacking autopkgtest-satdep (0) ... 283s Setting up autopkgtest-satdep (0) ... 285s (Reading database ... 82605 files and directories currently installed.) 285s Removing autopkgtest-satdep (0) ... 286s autopkgtest [13:42:14]: test toplevel: [----------------------- 286s Welcome to Coq 8.18.0 286s pierce is defined 286s excluded_middle is defined 286s 1 goal 286s 286s ============================ 286s pierce <-> excluded_middle 286s 1 goal 286s 286s ============================ 286s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 286s 2 goals 286s 286s H : forall p q : Prop, ((p -> q) -> p) -> p 286s p : Prop 286s ============================ 286s p \/ ~ p 286s 286s goal 2 is: 286s p 286s 2 goals 286s 286s H : forall p q : Prop, ((p -> q) -> p) -> p 286s p : Prop 286s ============================ 286s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 286s 286s goal 2 is: 286s p 286s 1 goal 286s 286s H : forall p : Prop, p \/ ~ p 286s p, q : Prop 286s H0 : (p -> q) -> p 286s ============================ 286s p 286s 2 goals 286s 286s H : forall p : Prop, p \/ ~ p 286s p, q : Prop 286s H0 : (p -> q) -> p 286s H1 : p 286s ============================ 286s p 286s 286s goal 2 is: 286s p 286s 1 goal 286s 286s H : forall p : Prop, p \/ ~ p 286s p, q : Prop 286s H0 : (p -> q) -> p 286s H1 : ~ p 286s ============================ 286s p 286s No more goals. 286s autopkgtest [13:42:14]: test toplevel: -----------------------] 287s toplevel PASS 287s autopkgtest [13:42:15]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 287s autopkgtest [13:42:15]: @@@@@@@@@@@@@@@@@@@@ summary 287s compiler PASS 287s toplevel PASS 299s Creating nova instance adt-noble-arm64-coq-20240320-133727-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240320.img (UUID e0f61a12-2f1c-4e49-a68b-f68d2ad5dd10)...