0s autopkgtest [10:18:34]: starting date: 2024-03-11 0s autopkgtest [10:18:34]: git checkout: d9c0295 adt_testbed.py: supress warnings from apt using a shell pipeline 0s autopkgtest [10:18:34]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.gr0uh7tb/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:pango1.0,src:glib2.0 --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=pango1.0/1.52.1+ds-1 glib2.0/2.79.3-3ubuntu3' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-8.secgroup --name adt-noble-arm64-coq-20240311-101833-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/ 98s autopkgtest [10:20:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 99s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 99s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2621 kB] 99s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 99s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 99s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 99s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 99s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 99s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 99s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 99s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2966 kB] 100s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 100s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 100s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 101s Fetched 6832 kB in 2s (3973 kB/s) 101s Reading package lists... 103s Reading package lists... 104s Building dependency tree... 104s Reading state information... 104s Calculating upgrade... 105s The following packages will be REMOVED: 105s libglib2.0-0 105s The following NEW packages will be installed: 105s libglib2.0-0t64 xdg-user-dirs 105s The following packages will be upgraded: 105s gir1.2-glib-2.0 libglib2.0-data 105s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 105s Need to get 1774 kB of archives. 105s After this operation, 138 kB of additional disk space will be used. 105s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 105s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 105s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 105s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 106s Fetched 1774 kB in 1s (2908 kB/s) 106s (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 ... 74748 files and directories currently installed.) 106s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 106s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 106s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 106s udisks2 depends on libglib2.0-0 (>= 2.77.0). 106s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 106s python3-gi depends on libglib2.0-0 (>= 2.77.0). 106s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 106s netplan.io depends on libglib2.0-0 (>= 2.70.0). 106s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 106s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 106s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 106s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 106s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 106s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 106s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 106s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 106s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 106s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 106s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 106s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 106s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 106s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 106s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 106s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 106s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 106s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 106s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 106s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 106s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 106s fwupd depends on libglib2.0-0 (>= 2.79.0). 106s bolt depends on libglib2.0-0 (>= 2.56.0). 106s 106s (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 ... 74748 files and directories currently installed.) 106s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 107s Selecting previously unselected package libglib2.0-0t64:arm64. 107s (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 ... 74723 files and directories currently installed.) 107s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 107s 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... 107s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 107s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 107s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 107s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 107s Selecting previously unselected package xdg-user-dirs. 107s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 107s Unpacking xdg-user-dirs (0.18-1) ... 107s Setting up xdg-user-dirs (0.18-1) ... 107s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 107s No schema files found: doing nothing. 107s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 107s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 107s Processing triggers for man-db (2.12.0-3) ... 108s Processing triggers for libc-bin (2.39-0ubuntu2) ... 109s Reading package lists... 109s Building dependency tree... 109s Reading state information... 109s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s sh: Attempting to set up Debian/Ubuntu apt sources automatically 112s sh: Distribution appears to be Ubuntu 113s Reading package lists... 113s Building dependency tree... 113s Reading state information... 114s eatmydata is already the newest version (131-1). 114s dbus is already the newest version (1.14.10-4ubuntu1). 114s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 114s Reading package lists... 114s Building dependency tree... 114s Reading state information... 115s rng-tools-debian is already the newest version (2.4). 115s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 115s Reading package lists... 115s Building dependency tree... 115s Reading state information... 116s haveged is already the newest version (1.9.14-1ubuntu1). 116s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 117s The following packages will be REMOVED: 117s cloud-init* python3-configobj* python3-debconf* 117s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 117s After this operation, 3248 kB disk space will be freed. 117s (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 ... 74762 files and directories currently installed.) 117s Removing cloud-init (24.1-0ubuntu1) ... 118s Removing python3-configobj (5.0.8-3) ... 118s Removing python3-debconf (1.5.86) ... 118s Processing triggers for man-db (2.12.0-3) ... 118s (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 ... 74373 files and directories currently installed.) 118s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 119s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 119s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 120s linux-generic is already the newest version (6.8.0-11.11+1). 120s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 120s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 120s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 120s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 121s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 122s Reading package lists... 122s Reading package lists... 122s Building dependency tree... 122s Reading state information... 122s Calculating upgrade... 123s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 124s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 124s autopkgtest [10:20:38]: rebooting testbed after setup commands that affected boot 362s autopkgtest [10:24:36]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 363s autopkgtest [10:24:37]: testbed dpkg architecture: arm64 364s autopkgtest [10:24:38]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 368s Get:1 http://ftpmaster.internal/ubuntu noble/universe coq 8.18.0+dfsg-1 (dsc) [2570 B] 368s Get:2 http://ftpmaster.internal/ubuntu noble/universe coq 8.18.0+dfsg-1 (tar) [4868 kB] 368s Get:3 http://ftpmaster.internal/ubuntu noble/universe coq 8.18.0+dfsg-1 (diff) [33.2 kB] 368s gpgv: Signature made Thu Dec 21 13:36:10 2023 UTC 368s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 368s gpgv: issuer "jpuydt@debian.org" 368s gpgv: Can't check signature: No public key 368s dpkg-source: warning: cannot verify inline signature for ./coq_8.18.0+dfsg-1.dsc: no acceptable signature found 369s autopkgtest [10:24:43]: testing package coq version 8.18.0+dfsg-1 369s autopkgtest [10:24:43]: build not needed 371s autopkgtest [10:24:45]: test compiler: preparing testbed 378s Reading package lists... 378s Building dependency tree... 378s Reading state information... 378s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 378s Starting 2 pkgProblemResolver with broken count: 0 378s Done 379s Done 379s Starting pkgProblemResolver with broken count: 0 379s Starting 2 pkgProblemResolver with broken count: 0 379s Done 380s The following additional packages will be installed: 380s coq cpp cpp-13 cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-13 380s gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libatomic1 380s libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml 380s libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1 380s libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libnsl-dev 380s libstdlib-ocaml libstdlib-ocaml-dev libtirpc-dev libtsan2 libubsan1 380s libzarith-ocaml linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp 380s rpcsvc-proto 380s Suggested packages: 380s coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why 380s coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 380s automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu 380s glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4 380s Recommended packages: 380s manpages manpages-dev libc-devtools ocaml-man libfindlib-ocaml-dev ledit 380s | readline-editor 380s The following NEW packages will be installed: 380s coq cpp cpp-13 cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-13 380s gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libatomic1 380s libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml 380s libcoq-stdlib libcrypt-dev libfindlib-ocaml libgcc-13-dev libgomp1 380s libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libnsl-dev 380s libstdlib-ocaml libstdlib-ocaml-dev libtirpc-dev libtsan2 libubsan1 380s libzarith-ocaml linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp 380s rpcsvc-proto 380s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded. 380s 1 not fully installed or removed. 380s Need to get 394 MB of archives. 380s After this operation, 1251 MB of additional disk space will be used. 380s Get:1 http://ftpmaster.internal/ubuntu noble/universe arm64 libcoq-stdlib arm64 8.18.0+dfsg-1 [35.2 MB] 382s Get:2 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 382s Get:3 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 382s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 libfindlib-ocaml arm64 1.9.6-1build3 [206 kB] 382s Get:5 http://ftpmaster.internal/ubuntu noble/universe arm64 libzarith-ocaml arm64 1.13-2build3 [123 kB] 382s Get:6 http://ftpmaster.internal/ubuntu noble/universe arm64 libcoq-core-ocaml arm64 8.18.0+dfsg-1 [35.9 MB] 382s Get:7 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB] 383s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB] 384s Get:9 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB] 384s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libc-dev-bin arm64 2.39-0ubuntu2 [19.7 kB] 384s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 linux-libc-dev arm64 6.8.0-11.11 [1569 kB] 384s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libcrypt-dev arm64 1:4.4.36-4 [136 kB] 384s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libtirpc-dev arm64 1.3.4+ds-1build1 [232 kB] 384s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libnsl-dev arm64 1.3.0-3 [71.9 kB] 384s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 rpcsvc-proto arm64 1.4.2-0ubuntu6 [65.4 kB] 384s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 libc6-dev arm64 2.39-0ubuntu2 [1596 kB] 384s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libncurses-dev arm64 6.4+20240113-1ubuntu1 [385 kB] 384s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libisl23 arm64 0.26-3 [713 kB] 384s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libmpc3 arm64 1.3.1-1 [55.3 kB] 384s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [10.3 MB] 384s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13 arm64 13.2.0-17ubuntu2 [1028 B] 384s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B] 384s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB] 384s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libcc1-0 arm64 14-20240303-1ubuntu1 [44.7 kB] 384s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 libgomp1 arm64 14-20240303-1ubuntu1 [144 kB] 384s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libitm1 arm64 14-20240303-1ubuntu1 [27.7 kB] 384s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatomic1 arm64 14-20240303-1ubuntu1 [11.4 kB] 384s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libasan8 arm64 14-20240303-1ubuntu1 [2919 kB] 384s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 liblsan0 arm64 14-20240303-1ubuntu1 [1282 kB] 384s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libtsan2 arm64 14-20240303-1ubuntu1 [2687 kB] 384s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libubsan1 arm64 14-20240303-1ubuntu1 [1151 kB] 384s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libhwasan0 arm64 14-20240303-1ubuntu1 [1597 kB] 384s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libgcc-13-dev arm64 13.2.0-17ubuntu2 [2464 kB] 384s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [20.1 MB] 385s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13 arm64 13.2.0-17ubuntu2 [467 kB] 385s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B] 385s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B] 385s Get:38 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB] 387s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-findlib arm64 1.9.6-1build3 [663 kB] 387s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 coq arm64 8.18.0+dfsg-1 [132 MB] 392s Fetched 394 MB in 12s (33.6 MB/s) 393s Selecting previously unselected package libcoq-stdlib. 393s (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 ... 74318 files and directories currently installed.) 393s Preparing to unpack .../00-libcoq-stdlib_8.18.0+dfsg-1_arm64.deb ... 393s Unpacking libcoq-stdlib (8.18.0+dfsg-1) ... 393s Selecting previously unselected package libstdlib-ocaml. 393s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 393s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 393s Selecting previously unselected package ocaml-base. 394s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 394s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 394s Selecting previously unselected package libfindlib-ocaml. 394s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-1build3_arm64.deb ... 394s Unpacking libfindlib-ocaml (1.9.6-1build3) ... 394s Selecting previously unselected package libzarith-ocaml. 394s Preparing to unpack .../04-libzarith-ocaml_1.13-2build3_arm64.deb ... 394s Unpacking libzarith-ocaml (1.13-2build3) ... 394s Selecting previously unselected package libcoq-core-ocaml. 394s Preparing to unpack .../05-libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb ... 394s Unpacking libcoq-core-ocaml (8.18.0+dfsg-1) ... 394s Selecting previously unselected package libstdlib-ocaml-dev. 394s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ... 394s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 394s Selecting previously unselected package libcompiler-libs-ocaml-dev. 394s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ... 394s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 395s Selecting previously unselected package ocaml-interp. 395s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ... 395s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 396s Selecting previously unselected package libc-dev-bin. 396s Preparing to unpack .../09-libc-dev-bin_2.39-0ubuntu2_arm64.deb ... 396s Unpacking libc-dev-bin (2.39-0ubuntu2) ... 396s Selecting previously unselected package linux-libc-dev:arm64. 396s Preparing to unpack .../10-linux-libc-dev_6.8.0-11.11_arm64.deb ... 396s Unpacking linux-libc-dev:arm64 (6.8.0-11.11) ... 396s Selecting previously unselected package libcrypt-dev:arm64. 396s Preparing to unpack .../11-libcrypt-dev_1%3a4.4.36-4_arm64.deb ... 396s Unpacking libcrypt-dev:arm64 (1:4.4.36-4) ... 396s Selecting previously unselected package libtirpc-dev:arm64. 396s Preparing to unpack .../12-libtirpc-dev_1.3.4+ds-1build1_arm64.deb ... 396s Unpacking libtirpc-dev:arm64 (1.3.4+ds-1build1) ... 396s Selecting previously unselected package libnsl-dev:arm64. 396s Preparing to unpack .../13-libnsl-dev_1.3.0-3_arm64.deb ... 396s Unpacking libnsl-dev:arm64 (1.3.0-3) ... 396s Selecting previously unselected package rpcsvc-proto. 396s Preparing to unpack .../14-rpcsvc-proto_1.4.2-0ubuntu6_arm64.deb ... 396s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ... 396s Selecting previously unselected package libc6-dev:arm64. 396s Preparing to unpack .../15-libc6-dev_2.39-0ubuntu2_arm64.deb ... 396s Unpacking libc6-dev:arm64 (2.39-0ubuntu2) ... 396s Selecting previously unselected package libncurses-dev:arm64. 396s Preparing to unpack .../16-libncurses-dev_6.4+20240113-1ubuntu1_arm64.deb ... 396s Unpacking libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ... 396s Selecting previously unselected package libisl23:arm64. 396s Preparing to unpack .../17-libisl23_0.26-3_arm64.deb ... 396s Unpacking libisl23:arm64 (0.26-3) ... 396s Selecting previously unselected package libmpc3:arm64. 396s Preparing to unpack .../18-libmpc3_1.3.1-1_arm64.deb ... 396s Unpacking libmpc3:arm64 (1.3.1-1) ... 396s Selecting previously unselected package cpp-13-aarch64-linux-gnu. 396s Preparing to unpack .../19-cpp-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ... 396s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 397s Selecting previously unselected package cpp-13. 397s Preparing to unpack .../20-cpp-13_13.2.0-17ubuntu2_arm64.deb ... 397s Unpacking cpp-13 (13.2.0-17ubuntu2) ... 397s Selecting previously unselected package cpp-aarch64-linux-gnu. 397s Preparing to unpack .../21-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ... 397s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 397s Selecting previously unselected package cpp. 397s Preparing to unpack .../22-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ... 397s Unpacking cpp (4:13.2.0-7ubuntu1) ... 397s Selecting previously unselected package libcc1-0:arm64. 397s Preparing to unpack .../23-libcc1-0_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libcc1-0:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libgomp1:arm64. 397s Preparing to unpack .../24-libgomp1_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libgomp1:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libitm1:arm64. 397s Preparing to unpack .../25-libitm1_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libitm1:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libatomic1:arm64. 397s Preparing to unpack .../26-libatomic1_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libatomic1:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libasan8:arm64. 397s Preparing to unpack .../27-libasan8_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libasan8:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package liblsan0:arm64. 397s Preparing to unpack .../28-liblsan0_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking liblsan0:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libtsan2:arm64. 397s Preparing to unpack .../29-libtsan2_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libtsan2:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libubsan1:arm64. 397s Preparing to unpack .../30-libubsan1_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libubsan1:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libhwasan0:arm64. 397s Preparing to unpack .../31-libhwasan0_14-20240303-1ubuntu1_arm64.deb ... 397s Unpacking libhwasan0:arm64 (14-20240303-1ubuntu1) ... 397s Selecting previously unselected package libgcc-13-dev:arm64. 397s Preparing to unpack .../32-libgcc-13-dev_13.2.0-17ubuntu2_arm64.deb ... 397s Unpacking libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ... 397s Selecting previously unselected package gcc-13-aarch64-linux-gnu. 397s Preparing to unpack .../33-gcc-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ... 397s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 398s Selecting previously unselected package gcc-13. 398s Preparing to unpack .../34-gcc-13_13.2.0-17ubuntu2_arm64.deb ... 398s Unpacking gcc-13 (13.2.0-17ubuntu2) ... 398s Selecting previously unselected package gcc-aarch64-linux-gnu. 398s Preparing to unpack .../35-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ... 398s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 398s Selecting previously unselected package gcc. 398s Preparing to unpack .../36-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ... 398s Unpacking gcc (4:13.2.0-7ubuntu1) ... 398s Selecting previously unselected package ocaml. 398s Preparing to unpack .../37-ocaml_4.14.1-1ubuntu1_arm64.deb ... 398s Unpacking ocaml (4.14.1-1ubuntu1) ... 400s Selecting previously unselected package ocaml-findlib. 400s Preparing to unpack .../38-ocaml-findlib_1.9.6-1build3_arm64.deb ... 400s Unpacking ocaml-findlib (1.9.6-1build3) ... 400s Selecting previously unselected package coq. 400s Preparing to unpack .../39-coq_8.18.0+dfsg-1_arm64.deb ... 400s Unpacking coq (8.18.0+dfsg-1) ... 402s Setting up linux-libc-dev:arm64 (6.8.0-11.11) ... 402s Setting up libgomp1:arm64 (14-20240303-1ubuntu1) ... 402s Setting up libcoq-stdlib (8.18.0+dfsg-1) ... 402s Setting up libtirpc-dev:arm64 (1.3.4+ds-1build1) ... 402s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ... 402s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 402s Setting up libmpc3:arm64 (1.3.1-1) ... 402s Setting up libatomic1:arm64 (14-20240303-1ubuntu1) ... 402s Setting up ocaml-base (4.14.1-1ubuntu1) ... 402s Setting up libubsan1:arm64 (14-20240303-1ubuntu1) ... 402s Setting up libnsl-dev:arm64 (1.3.0-3) ... 402s Setting up libhwasan0:arm64 (14-20240303-1ubuntu1) ... 402s Setting up libcrypt-dev:arm64 (1:4.4.36-4) ... 402s Setting up libasan8:arm64 (14-20240303-1ubuntu1) ... 402s Setting up libtsan2:arm64 (14-20240303-1ubuntu1) ... 402s Setting up libisl23:arm64 (0.26-3) ... 402s Setting up libc-dev-bin (2.39-0ubuntu2) ... 402s Setting up libcc1-0:arm64 (14-20240303-1ubuntu1) ... 402s Setting up liblsan0:arm64 (14-20240303-1ubuntu1) ... 402s Setting up libitm1:arm64 (14-20240303-1ubuntu1) ... 402s Setting up cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 402s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 402s Setting up libfindlib-ocaml (1.9.6-1build3) ... 402s Setting up libzarith-ocaml (1.13-2build3) ... 402s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 402s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 402s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 402s Setting up ocaml-findlib (1.9.6-1build3) ... 402s Setting up libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ... 402s Setting up libcoq-core-ocaml (8.18.0+dfsg-1) ... 402s Setting up libc6-dev:arm64 (2.39-0ubuntu2) ... 402s Setting up libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ... 402s Setting up cpp-13 (13.2.0-17ubuntu2) ... 402s Setting up gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 402s Setting up gcc-13 (13.2.0-17ubuntu2) ... 402s Setting up cpp (4:13.2.0-7ubuntu1) ... 402s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 402s Setting up gcc (4:13.2.0-7ubuntu1) ... 402s Setting up ocaml (4.14.1-1ubuntu1) ... 402s Setting up coq (8.18.0+dfsg-1) ... 402s Setting up autopkgtest-satdep (0) ... 402s Processing triggers for man-db (2.12.0-3) ... 403s Processing triggers for libc-bin (2.39-0ubuntu2) ... 407s (Reading database ... 82151 files and directories currently installed.) 407s Removing autopkgtest-satdep (0) ... 408s autopkgtest [10:25:22]: test compiler: [----------------------- 409s autopkgtest [10:25:23]: test compiler: -----------------------] 410s autopkgtest [10:25:24]: test compiler: - - - - - - - - - - results - - - - - - - - - - 410s compiler PASS 410s autopkgtest [10:25:24]: test toplevel: preparing testbed 412s Reading package lists... 413s Building dependency tree... 413s Reading state information... 413s Starting pkgProblemResolver with broken count: 0 413s Starting 2 pkgProblemResolver with broken count: 0 413s Done 414s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 414s 1 not fully installed or removed. 414s After this operation, 0 B of additional disk space will be used. 414s Setting up autopkgtest-satdep (0) ... 417s (Reading database ... 82151 files and directories currently installed.) 417s Removing autopkgtest-satdep (0) ... 418s autopkgtest [10:25:32]: test toplevel: [----------------------- 418s Welcome to Coq 8.18.0 418s pierce is defined 418s excluded_middle is defined 418s 1 goal 418s 418s ============================ 418s pierce <-> excluded_middle 418s 1 goal 418s 418s ============================ 418s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 418s 2 goals 418s 418s H : forall p q : Prop, ((p -> q) -> p) -> p 418s p : Prop 418s ============================ 418s p \/ ~ p 418s 418s goal 2 is: 418s p 418s 2 goals 418s 418s H : forall p q : Prop, ((p -> q) -> p) -> p 418s p : Prop 418s ============================ 418s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 418s 418s goal 2 is: 418s p 418s 1 goal 418s 418s H : forall p : Prop, p \/ ~ p 418s p, q : Prop 418s H0 : (p -> q) -> p 418s ============================ 418s p 418s 2 goals 418s 418s H : forall p : Prop, p \/ ~ p 418s p, q : Prop 418s H0 : (p -> q) -> p 418s H1 : p 418s ============================ 418s p 418s 418s goal 2 is: 418s p 418s 1 goal 418s 418s H : forall p : Prop, p \/ ~ p 418s p, q : Prop 418s H0 : (p -> q) -> p 418s H1 : ~ p 418s ============================ 418s p 418s No more goals. 419s autopkgtest [10:25:33]: test toplevel: -----------------------] 419s toplevel PASS 419s autopkgtest [10:25:33]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 419s autopkgtest [10:25:33]: @@@@@@@@@@@@@@@@@@@@ summary 419s compiler PASS 419s toplevel PASS 424s Creating nova instance adt-noble-arm64-coq-20240311-101833-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)...