0s autopkgtest [14:11:05]: starting date and time: 2024-03-20 14:11:05+0000 0s autopkgtest [14:11:05]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [14:11:05]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qss2f99u/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:gtk+3.0,src:at-spi2-core,src:cups,src:glib2.0,src:gnutls28,src:nettle --apt-upgrade why3 --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-3@bos01-arm64-19.secgroup --name adt-noble-arm64-why3-20240320-141105-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --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://us.ports.ubuntu.com/ubuntu-ports/ 326s autopkgtest [14:16:31]: testbed dpkg architecture: arm64 326s autopkgtest [14:16:31]: testbed apt version: 2.7.12 326s autopkgtest [14:16:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup 327s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 328s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 328s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 328s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 328s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 328s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [679 kB] 328s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 328s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [41.7 kB] 328s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 328s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4221 kB] 328s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 328s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB] 328s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 331s Fetched 9489 kB in 2s (5737 kB/s) 331s Reading package lists... 333s Reading package lists... 333s Building dependency tree... 333s Reading state information... 334s Calculating upgrade... 334s The following packages will be REMOVED: 334s libglib2.0-0 334s The following NEW packages will be installed: 334s libglib2.0-0t64 xdg-user-dirs 334s The following packages will be upgraded: 334s gir1.2-glib-2.0 libglib2.0-data ubuntu-minimal ubuntu-standard 334s 4 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 334s Need to get 1796 kB of archives. 334s After this operation, 138 kB of additional disk space will be used. 334s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 334s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 335s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 335s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.536build1 [10.7 kB] 335s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 335s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.536build1 [10.7 kB] 335s Fetched 1796 kB in 1s (3025 kB/s) 335s (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 ... 75850 files and directories currently installed.) 335s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 335s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 335s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 335s udisks2 depends on libglib2.0-0 (>= 2.77.0). 335s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 335s python3-gi depends on libglib2.0-0 (>= 2.77.0). 335s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 335s netplan.io depends on libglib2.0-0 (>= 2.70.0). 335s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 335s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 335s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 335s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 335s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 335s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 335s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 335s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 335s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 335s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 335s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 335s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 335s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 335s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 335s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 335s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 335s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 335s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 335s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 335s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 335s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 335s fwupd depends on libglib2.0-0 (>= 2.79.0). 335s bolt depends on libglib2.0-0 (>= 2.56.0). 335s 335s (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 ... 75850 files and directories currently installed.) 335s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 335s Selecting previously unselected package libglib2.0-0t64:arm64. 335s (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 ... 75825 files and directories currently installed.) 335s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 335s 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... 335s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 335s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 335s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 335s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 335s Preparing to unpack .../ubuntu-minimal_1.536build1_arm64.deb ... 335s Unpacking ubuntu-minimal (1.536build1) over (1.536) ... 335s Selecting previously unselected package xdg-user-dirs. 335s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 335s Unpacking xdg-user-dirs (0.18-1) ... 335s Preparing to unpack .../ubuntu-standard_1.536build1_arm64.deb ... 335s Unpacking ubuntu-standard (1.536build1) over (1.536) ... 335s Setting up ubuntu-minimal (1.536build1) ... 335s Setting up xdg-user-dirs (0.18-1) ... 335s Setting up ubuntu-standard (1.536build1) ... 335s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 335s No schema files found: doing nothing. 335s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 335s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 335s Processing triggers for man-db (2.12.0-3) ... 336s Processing triggers for libc-bin (2.39-0ubuntu2) ... 336s Reading package lists... 336s Building dependency tree... 336s Reading state information... 337s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 337s sh: Attempting to set up Debian/Ubuntu apt sources automatically 337s sh: Distribution appears to be Ubuntu 338s Reading package lists... 338s Building dependency tree... 338s Reading state information... 339s eatmydata is already the newest version (131-1). 339s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 339s Reading package lists... 339s Building dependency tree... 339s Reading state information... 340s dbus is already the newest version (1.14.10-4ubuntu1). 340s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 340s Reading package lists... 340s Building dependency tree... 340s Reading state information... 340s rng-tools-debian is already the newest version (2.4). 340s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 340s Reading package lists... 341s Building dependency tree... 341s Reading state information... 341s The following packages will be REMOVED: 341s cloud-init* python3-configobj* python3-debconf* 341s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 341s After this operation, 3252 kB disk space will be freed. 341s (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 ... 75864 files and directories currently installed.) 341s Removing cloud-init (24.1.1-0ubuntu1) ... 342s Removing python3-configobj (5.0.8-3) ... 342s Removing python3-debconf (1.5.86) ... 342s Processing triggers for man-db (2.12.0-3) ... 342s (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 ... 75475 files and directories currently installed.) 342s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ... 343s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 343s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 343s invoke-rc.d: policy-rc.d denied execution of try-restart. 343s Reading package lists... 343s Building dependency tree... 343s Reading state information... 345s linux-generic is already the newest version (6.8.0-11.11+1). 345s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 345s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 345s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 345s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 346s Reading package lists... 346s Reading package lists... 346s Building dependency tree... 346s Reading state information... 346s Calculating upgrade... 347s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 347s Reading package lists... 347s Building dependency tree... 347s Reading state information... 347s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 348s autopkgtest [14:16:53]: rebooting testbed after setup commands that affected boot 500s autopkgtest [14:19:25]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 502s autopkgtest [14:19:27]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 506s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 506s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 506s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 506s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 506s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 506s gpgv: Can't check signature: No public key 506s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 506s autopkgtest [14:19:31]: testing package why3 version 1.6.0-1build4 507s autopkgtest [14:19:32]: build not needed 508s autopkgtest [14:19:33]: test why3+alt-ergo: preparing testbed 519s Reading package lists... 519s Building dependency tree... 519s Reading state information... 519s Starting pkgProblemResolver with broken count: 1 519s Starting 2 pkgProblemResolver with broken count: 1 519s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib > 519s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un uH > 519s Considering why3:arm64 1 as a solution to autopkgtest-satdep:arm64 9998 519s Re-Instated fonts-dejavu-mono:arm64 519s Re-Instated fonts-dejavu-core:arm64 519s Re-Instated fontconfig-config:arm64 519s Re-Instated libfontconfig1:arm64 519s Re-Instated libpixman-1-0:arm64 519s Re-Instated libxcb-render0:arm64 519s Re-Instated libxcb-shm0:arm64 519s Re-Instated libxrender1:arm64 519s Re-Instated libcairo2:arm64 519s Re-Instated libgdk-pixbuf2.0-common:arm64 519s Re-Instated libjpeg-turbo8:arm64 519s Re-Instated libjpeg8:arm64 519s Re-Instated libdeflate0:arm64 519s Re-Instated libjbig0:arm64 519s Re-Instated liblerc4:arm64 519s Re-Instated libsharpyuv0:arm64 519s Re-Instated libwebp7:arm64 519s Re-Instated libtiff6:arm64 519s Re-Instated libgdk-pixbuf-2.0-0:arm64 519s Re-Instated gtk-update-icon-cache:arm64 519s Re-Instated hicolor-icon-theme:arm64 519s Re-Instated humanity-icon-theme:arm64 519s Re-Instated ubuntu-mono:arm64 519s Re-Instated adwaita-icon-theme:arm64 519s Re-Instated at-spi2-common:arm64 519s Re-Instated libatk1.0-0:arm64 519s Re-Instated libxi6:arm64 519s Re-Instated libatspi2.0-0:arm64 519s Re-Instated libatk-bridge2.0-0:arm64 519s Re-Instated libcairo-gobject2:arm64 519s Re-Instated liblcms2-2:arm64 519s Re-Instated libcolord2:arm64 519s Re-Instated libavahi-common-data:arm64 519s Re-Instated libavahi-common3:arm64 519s Re-Instated libavahi-client3:arm64 519s Re-Instated libcups2:arm64 519s Re-Instated libepoxy0:arm64 519s Re-Instated libgraphite2-3:arm64 519s Re-Instated libharfbuzz0b:arm64 519s Re-Instated fontconfig:arm64 519s Re-Instated libthai-data:arm64 519s Re-Instated libdatrie1:arm64 519s Re-Instated libthai0:arm64 519s Re-Instated libpango-1.0-0:arm64 519s Re-Instated libpangoft2-1.0-0:arm64 519s Re-Instated libpangocairo-1.0-0:arm64 519s Re-Instated libwayland-client0:arm64 519s Re-Instated libwayland-cursor0:arm64 519s Re-Instated libwayland-egl1:arm64 519s Re-Instated libxcomposite1:arm64 519s Re-Instated libxfixes3:arm64 519s Re-Instated libxcursor1:arm64 519s Re-Instated libxdamage1:arm64 519s Re-Instated libxinerama1:arm64 519s Re-Instated libxrandr2:arm64 519s Re-Instated libdconf1:arm64 519s Re-Instated dconf-service:arm64 519s Re-Instated dconf-gsettings-backend:arm64 519s Re-Instated libgtk-3-common:arm64 519s Re-Instated libgtk-3-0:arm64 519s Re-Instated libgtksourceview-3.0-common:arm64 519s Re-Instated libgtksourceview-3.0-1:arm64 519s Re-Instated libstdlib-ocaml:arm64 519s Re-Instated ocaml-base:arm64 519s Re-Instated libcairo2-ocaml:arm64 519s Re-Instated liblablgtk3-ocaml:arm64 519s Re-Instated liblablgtksourceview3-ocaml:arm64 519s Re-Instated tex-common:arm64 519s Re-Instated why3:arm64 519s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 519s Done 519s Some packages could not be installed. This may mean that you have 519s requested an impossible situation or if you are using the unstable 519s distribution that some required packages have not yet been created 519s or been moved out of Incoming. 519s The following information may help to resolve the situation: 519s 519s The following packages have unmet dependencies: 520s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 520s E: Unable to correct problems, you have held broken packages. 520s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 520s Reading package lists... 520s Building dependency tree... 520s Reading state information... 521s Starting pkgProblemResolver with broken count: 1 521s Starting 2 pkgProblemResolver with broken count: 1 521s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib > 521s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un uH > 521s Considering why3:arm64 1 as a solution to autopkgtest-satdep:arm64 9998 521s Re-Instated fonts-dejavu-mono:arm64 521s Re-Instated fonts-dejavu-core:arm64 521s Re-Instated fontconfig-config:arm64 521s Re-Instated libfontconfig1:arm64 521s Re-Instated libpixman-1-0:arm64 521s Re-Instated libxcb-render0:arm64 521s Re-Instated libxcb-shm0:arm64 521s Re-Instated libxrender1:arm64 521s Re-Instated libcairo2:arm64 521s Re-Instated libgdk-pixbuf2.0-common:arm64 521s Re-Instated libjpeg-turbo8:arm64 521s Re-Instated libjpeg8:arm64 521s Re-Instated libdeflate0:arm64 521s Re-Instated libjbig0:arm64 521s Re-Instated liblerc4:arm64 521s Re-Instated libsharpyuv0:arm64 521s Re-Instated libwebp7:arm64 521s Re-Instated libtiff6:arm64 521s Re-Instated libgdk-pixbuf-2.0-0:arm64 521s Re-Instated gtk-update-icon-cache:arm64 521s Re-Instated hicolor-icon-theme:arm64 521s Re-Instated humanity-icon-theme:arm64 521s Re-Instated ubuntu-mono:arm64 521s Re-Instated adwaita-icon-theme:arm64 521s Re-Instated at-spi2-common:arm64 521s Re-Instated libatk1.0-0:arm64 521s Re-Instated libxi6:arm64 521s Re-Instated libatspi2.0-0:arm64 521s Re-Instated libatk-bridge2.0-0:arm64 521s Re-Instated libcairo-gobject2:arm64 521s Re-Instated liblcms2-2:arm64 521s Re-Instated libcolord2:arm64 521s Re-Instated libavahi-common-data:arm64 521s Re-Instated libavahi-common3:arm64 521s Re-Instated libavahi-client3:arm64 521s Re-Instated libcups2:arm64 521s Re-Instated libepoxy0:arm64 521s Re-Instated libgraphite2-3:arm64 521s Re-Instated libharfbuzz0b:arm64 521s Re-Instated fontconfig:arm64 521s Re-Instated libthai-data:arm64 521s Re-Instated libdatrie1:arm64 521s Re-Instated libthai0:arm64 521s Re-Instated libpango-1.0-0:arm64 521s Re-Instated libpangoft2-1.0-0:arm64 521s Re-Instated libpangocairo-1.0-0:arm64 521s Re-Instated libwayland-client0:arm64 521s Re-Instated libwayland-cursor0:arm64 521s Re-Instated libwayland-egl1:arm64 521s Re-Instated libxcomposite1:arm64 521s Re-Instated libxfixes3:arm64 521s Re-Instated libxcursor1:arm64 521s Re-Instated libxdamage1:arm64 521s Re-Instated libxinerama1:arm64 521s Re-Instated libxrandr2:arm64 521s Re-Instated libdconf1:arm64 521s Re-Instated dconf-service:arm64 521s Re-Instated dconf-gsettings-backend:arm64 521s Re-Instated libgtk-3-common:arm64 521s Re-Instated libgtk-3-0:arm64 521s Re-Instated libgtksourceview-3.0-common:arm64 521s Re-Instated libgtksourceview-3.0-1:arm64 521s Re-Instated libstdlib-ocaml:arm64 521s Re-Instated ocaml-base:arm64 521s Re-Instated libcairo2-ocaml:arm64 521s Re-Instated liblablgtk3-ocaml:arm64 521s Re-Instated liblablgtksourceview3-ocaml:arm64 521s Re-Instated tex-common:arm64 521s Re-Instated why3:arm64 521s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 521s Done 521s Some packages could not be installed. This may mean that you have 521s requested an impossible situation or if you are using the unstable 521s distribution that some required packages have not yet been created 521s or been moved out of Incoming. 521s The following information may help to resolve the situation: 521s 521s The following packages have unmet dependencies: 521s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 521s E: Unable to correct problems, you have held broken packages. 521s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 521s why3+alt-ergo SKIP installation fails and skip-not-installable set 521s autopkgtest [14:19:46]: test why3+cvc4: preparing testbed 794s autopkgtest [14:24:19]: testbed dpkg architecture: arm64 794s autopkgtest [14:24:19]: testbed apt version: 2.7.12 794s autopkgtest [14:24:19]: @@@@@@@@@@@@@@@@@@@@ test bed setup 795s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 795s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 795s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 795s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 795s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 796s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [679 kB] 796s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 796s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [41.7 kB] 796s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 796s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4221 kB] 796s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 796s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB] 796s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 798s Fetched 9489 kB in 2s (5776 kB/s) 798s Reading package lists... 800s Reading package lists... 801s Building dependency tree... 801s Reading state information... 801s Calculating upgrade... 801s The following packages will be REMOVED: 801s libglib2.0-0 801s The following NEW packages will be installed: 801s libglib2.0-0t64 xdg-user-dirs 801s The following packages will be upgraded: 801s gir1.2-glib-2.0 libglib2.0-data 801s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 801s Need to get 1774 kB of archives. 801s After this operation, 138 kB of additional disk space will be used. 801s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 801s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 802s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 802s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 802s Fetched 1774 kB in 1s (1911 kB/s) 802s (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 ... 75850 files and directories currently installed.) 802s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 802s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 802s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 802s udisks2 depends on libglib2.0-0 (>= 2.77.0). 802s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 802s python3-gi depends on libglib2.0-0 (>= 2.77.0). 802s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 802s netplan.io depends on libglib2.0-0 (>= 2.70.0). 802s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 802s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 802s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 802s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 802s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 802s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 802s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 802s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 802s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 802s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 802s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 802s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 802s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 802s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 802s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 802s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 802s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 802s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 802s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 802s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 802s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 802s fwupd depends on libglib2.0-0 (>= 2.79.0). 802s bolt depends on libglib2.0-0 (>= 2.56.0). 802s 802s (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 ... 75850 files and directories currently installed.) 802s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 802s Selecting previously unselected package libglib2.0-0t64:arm64. 802s (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 ... 75825 files and directories currently installed.) 802s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 802s 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... 802s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 802s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 802s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 802s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 803s Selecting previously unselected package xdg-user-dirs. 803s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 803s Unpacking xdg-user-dirs (0.18-1) ... 803s Setting up xdg-user-dirs (0.18-1) ... 803s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 803s No schema files found: doing nothing. 803s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 803s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 803s Processing triggers for man-db (2.12.0-3) ... 803s Processing triggers for libc-bin (2.39-0ubuntu2) ... 803s Reading package lists... 803s Building dependency tree... 803s Reading state information... 804s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 804s sh: Attempting to set up Debian/Ubuntu apt sources automatically 804s sh: Distribution appears to be Ubuntu 805s Reading package lists... 805s Building dependency tree... 805s Reading state information... 805s eatmydata is already the newest version (131-1). 805s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 805s Reading package lists... 806s Building dependency tree... 806s Reading state information... 806s dbus is already the newest version (1.14.10-4ubuntu1). 806s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 806s Reading package lists... 806s Building dependency tree... 806s Reading state information... 806s rng-tools-debian is already the newest version (2.4). 806s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 807s Reading package lists... 807s Building dependency tree... 807s Reading state information... 807s The following packages will be REMOVED: 807s cloud-init* python3-configobj* python3-debconf* 807s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 807s After this operation, 3252 kB disk space will be freed. 807s (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 ... 75864 files and directories currently installed.) 807s Removing cloud-init (24.1.1-0ubuntu1) ... 808s Removing python3-configobj (5.0.8-3) ... 808s Removing python3-debconf (1.5.86) ... 808s Processing triggers for man-db (2.12.0-3) ... 808s (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 ... 75475 files and directories currently installed.) 808s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ... 809s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 809s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 809s invoke-rc.d: policy-rc.d denied execution of try-restart. 809s Reading package lists... 809s Building dependency tree... 809s Reading state information... 809s linux-generic is already the newest version (6.8.0-11.11+1). 809s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 810s Get:1 http://ftpmaster.internal/ubuntu noble InRelease [255 kB] 810s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 810s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 810s Get:4 http://ftpmaster.internal/ubuntu noble/main Sources [1384 kB] 811s Get:5 http://ftpmaster.internal/ubuntu noble/multiverse Sources [295 kB] 811s Get:6 http://ftpmaster.internal/ubuntu noble/universe Sources [19.8 MB] 813s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 Packages [1413 kB] 813s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 Packages [15.1 MB] 813s Get:9 http://ftpmaster.internal/ubuntu noble/multiverse arm64 Packages [196 kB] 817s Fetched 38.5 MB in 6s (6077 kB/s) 818s Reading package lists... 818s Reading package lists... 818s Building dependency tree... 818s Reading state information... 818s Calculating upgrade... 818s The following packages will be upgraded: 818s ubuntu-minimal ubuntu-standard 818s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 818s Need to get 21.5 kB of archives. 818s After this operation, 0 B of additional disk space will be used. 818s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.536build1 [10.7 kB] 818s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.536build1 [10.7 kB] 819s Fetched 21.5 kB in 0s (102 kB/s) 819s (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 ... 75420 files and directories currently installed.) 819s Preparing to unpack .../ubuntu-minimal_1.536build1_arm64.deb ... 819s Unpacking ubuntu-minimal (1.536build1) over (1.536) ... 819s Preparing to unpack .../ubuntu-standard_1.536build1_arm64.deb ... 819s Unpacking ubuntu-standard (1.536build1) over (1.536) ... 819s Setting up ubuntu-minimal (1.536build1) ... 819s Setting up ubuntu-standard (1.536build1) ... 819s Reading package lists... 819s Building dependency tree... 819s Reading state information... 819s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 820s autopkgtest [14:24:45]: rebooting testbed after setup commands that affected boot 971s Reading package lists... 971s Building dependency tree... 971s Reading state information... 972s Starting pkgProblemResolver with broken count: 0 972s Starting 2 pkgProblemResolver with broken count: 0 972s Done 972s The following additional packages will be installed: 972s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 972s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 972s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 972s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 972s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 972s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 972s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 972s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 972s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 972s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 972s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 972s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 972s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 972s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 972s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 972s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 972s Suggested packages: 972s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 972s Recommended packages: 972s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 972s The following NEW packages will be installed: 972s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 972s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 972s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 972s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 972s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 972s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 972s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 972s libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 972s libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 972s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 972s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 972s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 972s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 972s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 972s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 972s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 972s why3 972s 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. 972s Need to get 39.3 MB/39.3 MB of archives. 972s After this operation, 178 MB of additional disk space will be used. 972s Get:1 /tmp/autopkgtest.nKo7fd/2-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [720 B] 972s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 972s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 973s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 973s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 973s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 973s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 973s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 973s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 973s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 973s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 973s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 973s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 973s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 973s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 973s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 973s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 973s Get:18 http://ftpmaster.internal/ubuntu noble/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 973s Get:19 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4-7 arm64 1.8-3 [4325 kB] 973s Get:20 http://ftpmaster.internal/ubuntu noble/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build1 [39.7 kB] 973s Get:21 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4parser7 arm64 1.8-3 [356 kB] 973s Get:22 http://ftpmaster.internal/ubuntu noble/universe arm64 cvc4 arm64 1.8-3 [71.2 kB] 973s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 973s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 973s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 973s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 973s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 973s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 973s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 973s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 973s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 973s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 973s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 973s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 973s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 973s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 973s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 973s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 973s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 973s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 973s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 973s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 973s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 973s Get:44 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 973s Get:45 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 973s Get:46 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 973s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 973s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 973s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 973s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 973s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 974s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 974s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 974s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 974s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 974s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 974s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 974s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 974s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 974s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 974s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 974s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 974s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 974s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 974s Get:65 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 974s Get:66 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 974s Get:67 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 974s Get:68 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 974s Get:69 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 974s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 974s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 974s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 974s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 974s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 974s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 975s Fetched 39.3 MB in 3s (14.9 MB/s) 975s Selecting previously unselected package libgdk-pixbuf2.0-common. 975s (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 ... 75420 files and directories currently installed.) 975s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 975s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 975s Selecting previously unselected package libjpeg-turbo8:arm64. 975s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 975s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 975s Selecting previously unselected package libjpeg8:arm64. 975s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 975s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 975s Selecting previously unselected package libdeflate0:arm64. 975s Preparing to unpack .../03-libdeflate0_1.19-1_arm64.deb ... 975s Unpacking libdeflate0:arm64 (1.19-1) ... 975s Selecting previously unselected package libjbig0:arm64. 975s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 975s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 975s Selecting previously unselected package liblerc4:arm64. 975s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 975s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 975s Selecting previously unselected package libsharpyuv0:arm64. 975s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_arm64.deb ... 975s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 975s Selecting previously unselected package libwebp7:arm64. 975s Preparing to unpack .../07-libwebp7_1.3.2-0.4_arm64.deb ... 975s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 975s Selecting previously unselected package libtiff6:arm64. 975s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 975s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 975s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 975s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 975s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 975s Selecting previously unselected package gtk-update-icon-cache. 975s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 975s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 975s Selecting previously unselected package hicolor-icon-theme. 975s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 975s Unpacking hicolor-icon-theme (0.17-2) ... 975s Selecting previously unselected package humanity-icon-theme. 975s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 975s Unpacking humanity-icon-theme (0.6.16) ... 976s Selecting previously unselected package ubuntu-mono. 976s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 976s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 976s Selecting previously unselected package adwaita-icon-theme. 976s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 976s Unpacking adwaita-icon-theme (46~rc-1) ... 976s Selecting previously unselected package at-spi2-common. 976s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 976s Unpacking at-spi2-common (2.50.0-1) ... 976s Selecting previously unselected package libcln6:arm64. 976s Preparing to unpack .../16-libcln6_1.3.7-1_arm64.deb ... 976s Unpacking libcln6:arm64 (1.3.7-1) ... 976s Selecting previously unselected package libcvc4-7:arm64. 976s Preparing to unpack .../17-libcvc4-7_1.8-3_arm64.deb ... 976s Unpacking libcvc4-7:arm64 (1.8-3) ... 976s Selecting previously unselected package libantlr3c-3.4-0:arm64. 976s Preparing to unpack .../18-libantlr3c-3.4-0_3.4+dfsg-4build1_arm64.deb ... 976s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 977s Selecting previously unselected package libcvc4parser7:arm64. 977s Preparing to unpack .../19-libcvc4parser7_1.8-3_arm64.deb ... 977s Unpacking libcvc4parser7:arm64 (1.8-3) ... 977s Selecting previously unselected package cvc4. 977s Preparing to unpack .../20-cvc4_1.8-3_arm64.deb ... 977s Unpacking cvc4 (1.8-3) ... 977s Selecting previously unselected package libdconf1:arm64. 977s Preparing to unpack .../21-libdconf1_0.40.0-4_arm64.deb ... 977s Unpacking libdconf1:arm64 (0.40.0-4) ... 977s Selecting previously unselected package dconf-service. 977s Preparing to unpack .../22-dconf-service_0.40.0-4_arm64.deb ... 977s Unpacking dconf-service (0.40.0-4) ... 977s Selecting previously unselected package dconf-gsettings-backend:arm64. 977s Preparing to unpack .../23-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 977s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 977s Selecting previously unselected package fonts-dejavu-mono. 977s Preparing to unpack .../24-fonts-dejavu-mono_2.37-8_all.deb ... 977s Unpacking fonts-dejavu-mono (2.37-8) ... 977s Selecting previously unselected package fonts-dejavu-core. 977s Preparing to unpack .../25-fonts-dejavu-core_2.37-8_all.deb ... 977s Unpacking fonts-dejavu-core (2.37-8) ... 977s Selecting previously unselected package fontconfig-config. 977s Preparing to unpack .../26-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 977s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 977s Selecting previously unselected package libfontconfig1:arm64. 977s Preparing to unpack .../27-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 977s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 977s Selecting previously unselected package fontconfig. 977s Preparing to unpack .../28-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 977s Unpacking fontconfig (2.15.0-1ubuntu1) ... 977s Selecting previously unselected package libatk1.0-0:arm64. 977s Preparing to unpack .../29-libatk1.0-0_2.50.0-1_arm64.deb ... 977s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 977s Selecting previously unselected package libxi6:arm64. 977s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_arm64.deb ... 977s Unpacking libxi6:arm64 (2:1.8.1-1) ... 977s Selecting previously unselected package libatspi2.0-0:arm64. 977s Preparing to unpack .../31-libatspi2.0-0_2.50.0-1_arm64.deb ... 977s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 977s Selecting previously unselected package libatk-bridge2.0-0:arm64. 977s Preparing to unpack .../32-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 977s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 977s Selecting previously unselected package libavahi-common-data:arm64. 977s Preparing to unpack .../33-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 977s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 977s Selecting previously unselected package libavahi-common3:arm64. 977s Preparing to unpack .../34-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 977s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 977s Selecting previously unselected package libavahi-client3:arm64. 977s Preparing to unpack .../35-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 977s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 977s Selecting previously unselected package libpixman-1-0:arm64. 977s Preparing to unpack .../36-libpixman-1-0_0.42.2-1_arm64.deb ... 977s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 977s Selecting previously unselected package libxcb-render0:arm64. 977s Preparing to unpack .../37-libxcb-render0_1.15-1_arm64.deb ... 977s Unpacking libxcb-render0:arm64 (1.15-1) ... 977s Selecting previously unselected package libxcb-shm0:arm64. 977s Preparing to unpack .../38-libxcb-shm0_1.15-1_arm64.deb ... 977s Unpacking libxcb-shm0:arm64 (1.15-1) ... 977s Selecting previously unselected package libxrender1:arm64. 977s Preparing to unpack .../39-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 977s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 977s Selecting previously unselected package libcairo2:arm64. 977s Preparing to unpack .../40-libcairo2_1.18.0-1_arm64.deb ... 977s Unpacking libcairo2:arm64 (1.18.0-1) ... 977s Selecting previously unselected package libcairo-gobject2:arm64. 977s Preparing to unpack .../41-libcairo-gobject2_1.18.0-1_arm64.deb ... 977s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 977s Selecting previously unselected package libstdlib-ocaml. 977s Preparing to unpack .../42-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 977s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 977s Selecting previously unselected package ocaml-base. 977s Preparing to unpack .../43-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 977s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 977s Selecting previously unselected package libcairo2-ocaml. 977s Preparing to unpack .../44-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 977s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 977s Selecting previously unselected package liblcms2-2:arm64. 977s Preparing to unpack .../45-liblcms2-2_2.14-2_arm64.deb ... 977s Unpacking liblcms2-2:arm64 (2.14-2) ... 977s Selecting previously unselected package libcolord2:arm64. 977s Preparing to unpack .../46-libcolord2_1.4.7-1_arm64.deb ... 977s Unpacking libcolord2:arm64 (1.4.7-1) ... 977s Selecting previously unselected package libcups2:arm64. 977s Preparing to unpack .../47-libcups2_2.4.6-0ubuntu3_arm64.deb ... 977s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 977s Selecting previously unselected package libdatrie1:arm64. 977s Preparing to unpack .../48-libdatrie1_0.2.13-3_arm64.deb ... 977s Unpacking libdatrie1:arm64 (0.2.13-3) ... 977s Selecting previously unselected package libepoxy0:arm64. 977s Preparing to unpack .../49-libepoxy0_1.5.10-1_arm64.deb ... 977s Unpacking libepoxy0:arm64 (1.5.10-1) ... 977s Selecting previously unselected package libgraphite2-3:arm64. 977s Preparing to unpack .../50-libgraphite2-3_1.3.14-2_arm64.deb ... 977s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 977s Selecting previously unselected package libharfbuzz0b:arm64. 977s Preparing to unpack .../51-libharfbuzz0b_8.3.0-2_arm64.deb ... 977s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 977s Selecting previously unselected package libthai-data. 977s Preparing to unpack .../52-libthai-data_0.1.29-2_all.deb ... 977s Unpacking libthai-data (0.1.29-2) ... 977s Selecting previously unselected package libthai0:arm64. 977s Preparing to unpack .../53-libthai0_0.1.29-2_arm64.deb ... 977s Unpacking libthai0:arm64 (0.1.29-2) ... 977s Selecting previously unselected package libpango-1.0-0:arm64. 977s Preparing to unpack .../54-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 977s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 977s Selecting previously unselected package libpangoft2-1.0-0:arm64. 977s Preparing to unpack .../55-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 977s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 977s Selecting previously unselected package libpangocairo-1.0-0:arm64. 977s Preparing to unpack .../56-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 977s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 977s Selecting previously unselected package libwayland-client0:arm64. 977s Preparing to unpack .../57-libwayland-client0_1.22.0-2.1_arm64.deb ... 977s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 977s Selecting previously unselected package libwayland-cursor0:arm64. 977s Preparing to unpack .../58-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 977s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 977s Selecting previously unselected package libwayland-egl1:arm64. 977s Preparing to unpack .../59-libwayland-egl1_1.22.0-2.1_arm64.deb ... 977s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 977s Selecting previously unselected package libxcomposite1:arm64. 978s Preparing to unpack .../60-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 978s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 978s Selecting previously unselected package libxfixes3:arm64. 978s Preparing to unpack .../61-libxfixes3_1%3a6.0.0-2_arm64.deb ... 978s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 978s Selecting previously unselected package libxcursor1:arm64. 978s Preparing to unpack .../62-libxcursor1_1%3a1.2.1-1_arm64.deb ... 978s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 978s Selecting previously unselected package libxdamage1:arm64. 978s Preparing to unpack .../63-libxdamage1_1%3a1.1.6-1_arm64.deb ... 978s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 978s Selecting previously unselected package libxinerama1:arm64. 978s Preparing to unpack .../64-libxinerama1_2%3a1.1.4-3_arm64.deb ... 978s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 978s Selecting previously unselected package libxrandr2:arm64. 978s Preparing to unpack .../65-libxrandr2_2%3a1.5.2-2_arm64.deb ... 978s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 978s Selecting previously unselected package libgtk-3-common. 978s Preparing to unpack .../66-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 978s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 978s Selecting previously unselected package libgtk-3-0:arm64. 978s Preparing to unpack .../67-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 978s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 978s Selecting previously unselected package libgtksourceview-3.0-common. 978s Preparing to unpack .../68-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 978s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 978s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 978s Preparing to unpack .../69-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 978s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 978s Selecting previously unselected package liblablgtk3-ocaml. 978s Preparing to unpack .../70-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 978s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 978s Selecting previously unselected package liblablgtksourceview3-ocaml. 978s Preparing to unpack .../71-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 978s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 978s Selecting previously unselected package tex-common. 978s Preparing to unpack .../72-tex-common_6.18_all.deb ... 978s Unpacking tex-common (6.18) ... 978s Selecting previously unselected package why3. 978s Preparing to unpack .../73-why3_1.6.0-1build4_arm64.deb ... 978s Unpacking why3 (1.6.0-1build4) ... 978s Selecting previously unselected package autopkgtest-satdep. 978s Preparing to unpack .../74-2-autopkgtest-satdep.deb ... 978s Unpacking autopkgtest-satdep (0) ... 978s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 978s Setting up liblcms2-2:arm64 (2.14-2) ... 978s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 978s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 978s Setting up libcln6:arm64 (1.3.7-1) ... 978s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 978s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 978s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 978s Setting up hicolor-icon-theme (0.17-2) ... 979s Setting up libxi6:arm64 (2:1.8.1-1) ... 979s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 979s Setting up libdatrie1:arm64 (0.2.13-3) ... 979s Setting up libxcb-render0:arm64 (1.15-1) ... 979s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 979s Setting up libdeflate0:arm64 (1.19-1) ... 979s Setting up libxcb-shm0:arm64 (1.15-1) ... 979s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 979s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 979s Setting up libcolord2:arm64 (1.4.7-1) ... 979s Setting up libdconf1:arm64 (0.40.0-4) ... 979s Setting up tex-common (6.18) ... 979s update-language: texlive-base not installed and configured, doing nothing! 979s Setting up libepoxy0:arm64 (1.5.10-1) ... 979s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 979s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 979s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 979s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 979s Setting up fonts-dejavu-mono (2.37-8) ... 979s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 979s Setting up ocaml-base (4.14.1-1ubuntu1) ... 979s Setting up fonts-dejavu-core (2.37-8) ... 979s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 979s Setting up libwebp7:arm64 (1.3.2-0.4) ... 979s Setting up at-spi2-common (2.50.0-1) ... 979s Setting up libcvc4-7:arm64 (1.8-3) ... 979s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 979s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 979s Setting up libthai-data (0.1.29-2) ... 979s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 979s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 979s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 979s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 979s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 979s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 979s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 979s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 979s Setting up dconf-service (0.40.0-4) ... 979s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 979s Setting up libthai0:arm64 (0.1.29-2) ... 979s Setting up libcvc4parser7:arm64 (1.8-3) ... 979s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 979s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 979s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 979s Setting up cvc4 (1.8-3) ... 979s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 979s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 979s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 979s Setting up fontconfig (2.15.0-1ubuntu1) ... 981s Regenerating fonts cache... done. 981s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 981s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 981s Setting up libcairo2:arm64 (1.18.0-1) ... 981s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 981s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 981s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 981s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 981s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 981s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 981s Setting up adwaita-icon-theme (46~rc-1) ... 981s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 981s Setting up humanity-icon-theme (0.6.16) ... 981s Setting up ubuntu-mono (24.04-0ubuntu1) ... 981s Processing triggers for man-db (2.12.0-3) ... 982s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 982s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 982s Processing triggers for libc-bin (2.39-0ubuntu2) ... 982s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 982s Setting up liblablgtk3-ocaml (3.1.4-1) ... 982s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 982s Setting up why3 (1.6.0-1build4) ... 982s Setting up autopkgtest-satdep (0) ... 982s Processing triggers for libc-bin (2.39-0ubuntu2) ... 985s (Reading database ... 89213 files and directories currently installed.) 985s Removing autopkgtest-satdep (0) ... 992s autopkgtest [14:27:37]: test why3+cvc4: [----------------------- 993s autopkgtest [14:27:38]: test why3+cvc4: -----------------------] 993s autopkgtest [14:27:38]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 993s why3+cvc4 PASS 994s autopkgtest [14:27:39]: test why3+spass: preparing testbed 1142s autopkgtest [14:30:07]: testbed dpkg architecture: arm64 1142s autopkgtest [14:30:07]: testbed apt version: 2.7.12 1142s autopkgtest [14:30:07]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1143s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1143s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 1144s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 1144s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 1144s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 1144s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [679 kB] 1144s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 1144s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [41.7 kB] 1144s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 1144s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4221 kB] 1144s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 1144s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB] 1144s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 1149s Fetched 9489 kB in 3s (3699 kB/s) 1150s Reading package lists... 1154s Reading package lists... 1154s Building dependency tree... 1154s Reading state information... 1155s Calculating upgrade... 1156s The following packages will be REMOVED: 1156s libglib2.0-0 1156s The following NEW packages will be installed: 1156s libglib2.0-0t64 xdg-user-dirs 1156s The following packages will be upgraded: 1156s gir1.2-glib-2.0 libglib2.0-data ubuntu-minimal ubuntu-standard 1156s 4 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 1156s Need to get 1796 kB of archives. 1156s After this operation, 138 kB of additional disk space will be used. 1156s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 1156s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 1156s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 1156s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.536build1 [10.7 kB] 1156s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 1156s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.536build1 [10.7 kB] 1157s Fetched 1796 kB in 1s (2769 kB/s) 1157s (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 ... 75850 files and directories currently installed.) 1157s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 1157s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1157s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 1157s udisks2 depends on libglib2.0-0 (>= 2.77.0). 1157s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 1157s python3-gi depends on libglib2.0-0 (>= 2.77.0). 1157s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 1157s netplan.io depends on libglib2.0-0 (>= 2.70.0). 1157s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 1157s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 1157s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 1157s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1157s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 1157s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 1157s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 1157s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1157s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1157s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1157s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 1157s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 1157s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 1157s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1157s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 1157s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 1157s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1157s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 1158s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 1158s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 1158s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1158s fwupd depends on libglib2.0-0 (>= 2.79.0). 1158s bolt depends on libglib2.0-0 (>= 2.56.0). 1158s 1158s (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 ... 75850 files and directories currently installed.) 1158s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 1158s Selecting previously unselected package libglib2.0-0t64:arm64. 1158s (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 ... 75825 files and directories currently installed.) 1158s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 1158s 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... 1158s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 1158s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1158s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 1158s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1158s Preparing to unpack .../ubuntu-minimal_1.536build1_arm64.deb ... 1158s Unpacking ubuntu-minimal (1.536build1) over (1.536) ... 1158s Selecting previously unselected package xdg-user-dirs. 1158s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 1158s Unpacking xdg-user-dirs (0.18-1) ... 1158s Preparing to unpack .../ubuntu-standard_1.536build1_arm64.deb ... 1158s Unpacking ubuntu-standard (1.536build1) over (1.536) ... 1158s Setting up ubuntu-minimal (1.536build1) ... 1158s Setting up xdg-user-dirs (0.18-1) ... 1158s Setting up ubuntu-standard (1.536build1) ... 1158s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1158s No schema files found: doing nothing. 1158s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 1158s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 1158s Processing triggers for man-db (2.12.0-3) ... 1159s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1159s Reading package lists... 1160s Building dependency tree... 1160s Reading state information... 1160s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1161s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1161s sh: Distribution appears to be Ubuntu 1164s Reading package lists... 1164s Building dependency tree... 1164s Reading state information... 1165s eatmydata is already the newest version (131-1). 1165s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1165s Reading package lists... 1166s Building dependency tree... 1166s Reading state information... 1167s dbus is already the newest version (1.14.10-4ubuntu1). 1167s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1167s Reading package lists... 1167s Building dependency tree... 1167s Reading state information... 1168s rng-tools-debian is already the newest version (2.4). 1168s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1168s Reading package lists... 1168s Building dependency tree... 1168s Reading state information... 1169s The following packages will be REMOVED: 1169s cloud-init* python3-configobj* python3-debconf* 1170s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1170s After this operation, 3252 kB disk space will be freed. 1170s (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 ... 75864 files and directories currently installed.) 1170s Removing cloud-init (24.1.1-0ubuntu1) ... 1171s Removing python3-configobj (5.0.8-3) ... 1171s Removing python3-debconf (1.5.86) ... 1171s Processing triggers for man-db (2.12.0-3) ... 1172s (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 ... 75475 files and directories currently installed.) 1172s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ... 1173s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1173s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1173s invoke-rc.d: policy-rc.d denied execution of try-restart. 1173s Reading package lists... 1174s Building dependency tree... 1174s Reading state information... 1175s linux-generic is already the newest version (6.8.0-11.11+1). 1175s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1175s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1175s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1175s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1180s Reading package lists... 1180s Reading package lists... 1181s Building dependency tree... 1181s Reading state information... 1182s Calculating upgrade... 1182s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1182s Reading package lists... 1183s Building dependency tree... 1183s Reading state information... 1184s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1184s autopkgtest [14:30:49]: rebooting testbed after setup commands that affected boot 1351s Reading package lists... 1351s Building dependency tree... 1351s Reading state information... 1352s Starting pkgProblemResolver with broken count: 0 1352s Starting 2 pkgProblemResolver with broken count: 0 1352s Done 1352s The following additional packages will be installed: 1352s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1352s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1352s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1352s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1352s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1352s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1352s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1352s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1352s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1352s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1352s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1352s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1352s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1352s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1352s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1352s ubuntu-mono why3 1352s Suggested packages: 1352s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1352s Recommended packages: 1352s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1353s The following NEW packages will be installed: 1353s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1353s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1353s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1353s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1353s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1353s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1353s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 1353s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1353s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1353s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1353s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1353s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1353s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1353s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1353s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1353s ubuntu-mono why3 1353s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1353s Need to get 34.3 MB/34.3 MB of archives. 1353s After this operation, 160 MB of additional disk space will be used. 1353s Get:1 /tmp/autopkgtest.nKo7fd/3-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [708 B] 1353s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1353s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 1353s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1353s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 1353s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 1353s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 1353s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 1353s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 1353s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 1353s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 1353s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 1353s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 1353s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 1353s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1353s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 1353s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 1353s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 1353s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 1353s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 1353s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1353s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1353s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 1353s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 1353s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 1353s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 1353s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 1353s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 1353s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 1353s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 1353s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 1354s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 1354s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 1354s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 1354s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 1354s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 1354s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 1354s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 1354s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 1354s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 1354s Get:41 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 1354s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 1354s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 1354s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 1354s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 1354s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 1354s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 1354s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 1354s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 1354s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 1354s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 1354s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 1354s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 1354s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 1354s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 1354s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 1354s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 1354s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 1354s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 1354s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 1354s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 1354s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 1354s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1354s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 1354s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1354s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 1354s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 1354s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 1354s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 spass arm64 3.9-1.1 [254 kB] 1354s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 1354s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 1355s Fetched 34.3 MB in 2s (16.9 MB/s) 1355s Selecting previously unselected package libgdk-pixbuf2.0-common. 1356s (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 ... 75420 files and directories currently installed.) 1356s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1356s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1356s Selecting previously unselected package libjpeg-turbo8:arm64. 1356s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 1356s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1356s Selecting previously unselected package libjpeg8:arm64. 1356s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1356s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1356s Selecting previously unselected package libdeflate0:arm64. 1356s Preparing to unpack .../03-libdeflate0_1.19-1_arm64.deb ... 1356s Unpacking libdeflate0:arm64 (1.19-1) ... 1356s Selecting previously unselected package libjbig0:arm64. 1356s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 1356s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 1356s Selecting previously unselected package liblerc4:arm64. 1356s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 1356s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1356s Selecting previously unselected package libsharpyuv0:arm64. 1356s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_arm64.deb ... 1356s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 1356s Selecting previously unselected package libwebp7:arm64. 1356s Preparing to unpack .../07-libwebp7_1.3.2-0.4_arm64.deb ... 1356s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 1356s Selecting previously unselected package libtiff6:arm64. 1356s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 1356s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1356s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1356s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 1356s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1356s Selecting previously unselected package gtk-update-icon-cache. 1356s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 1356s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1356s Selecting previously unselected package hicolor-icon-theme. 1356s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 1356s Unpacking hicolor-icon-theme (0.17-2) ... 1356s Selecting previously unselected package humanity-icon-theme. 1356s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1356s Unpacking humanity-icon-theme (0.6.16) ... 1358s Selecting previously unselected package ubuntu-mono. 1358s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1358s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1359s Selecting previously unselected package adwaita-icon-theme. 1359s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 1359s Unpacking adwaita-icon-theme (46~rc-1) ... 1359s Selecting previously unselected package at-spi2-common. 1359s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 1359s Unpacking at-spi2-common (2.50.0-1) ... 1359s Selecting previously unselected package libdconf1:arm64. 1359s Preparing to unpack .../16-libdconf1_0.40.0-4_arm64.deb ... 1359s Unpacking libdconf1:arm64 (0.40.0-4) ... 1359s Selecting previously unselected package dconf-service. 1359s Preparing to unpack .../17-dconf-service_0.40.0-4_arm64.deb ... 1359s Unpacking dconf-service (0.40.0-4) ... 1359s Selecting previously unselected package dconf-gsettings-backend:arm64. 1359s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 1359s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 1359s Selecting previously unselected package fonts-dejavu-mono. 1359s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1359s Unpacking fonts-dejavu-mono (2.37-8) ... 1359s Selecting previously unselected package fonts-dejavu-core. 1359s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1359s Unpacking fonts-dejavu-core (2.37-8) ... 1359s Selecting previously unselected package fontconfig-config. 1359s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 1360s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1360s Selecting previously unselected package libfontconfig1:arm64. 1360s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 1360s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1360s Selecting previously unselected package fontconfig. 1360s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 1360s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1360s Selecting previously unselected package libatk1.0-0:arm64. 1360s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_arm64.deb ... 1360s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 1360s Selecting previously unselected package libxi6:arm64. 1360s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_arm64.deb ... 1360s Unpacking libxi6:arm64 (2:1.8.1-1) ... 1360s Selecting previously unselected package libatspi2.0-0:arm64. 1360s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_arm64.deb ... 1360s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 1360s Selecting previously unselected package libatk-bridge2.0-0:arm64. 1360s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 1360s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1360s Selecting previously unselected package libavahi-common-data:arm64. 1360s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 1360s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1360s Selecting previously unselected package libavahi-common3:arm64. 1360s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 1360s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 1360s Selecting previously unselected package libavahi-client3:arm64. 1360s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 1360s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 1360s Selecting previously unselected package libpixman-1-0:arm64. 1360s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_arm64.deb ... 1360s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 1360s Selecting previously unselected package libxcb-render0:arm64. 1360s Preparing to unpack .../32-libxcb-render0_1.15-1_arm64.deb ... 1360s Unpacking libxcb-render0:arm64 (1.15-1) ... 1360s Selecting previously unselected package libxcb-shm0:arm64. 1360s Preparing to unpack .../33-libxcb-shm0_1.15-1_arm64.deb ... 1360s Unpacking libxcb-shm0:arm64 (1.15-1) ... 1360s Selecting previously unselected package libxrender1:arm64. 1360s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 1360s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 1360s Selecting previously unselected package libcairo2:arm64. 1360s Preparing to unpack .../35-libcairo2_1.18.0-1_arm64.deb ... 1360s Unpacking libcairo2:arm64 (1.18.0-1) ... 1360s Selecting previously unselected package libcairo-gobject2:arm64. 1360s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_arm64.deb ... 1360s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 1360s Selecting previously unselected package libstdlib-ocaml. 1360s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 1360s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1360s Selecting previously unselected package ocaml-base. 1360s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 1360s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1360s Selecting previously unselected package libcairo2-ocaml. 1361s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 1361s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1361s Selecting previously unselected package liblcms2-2:arm64. 1361s Preparing to unpack .../40-liblcms2-2_2.14-2_arm64.deb ... 1361s Unpacking liblcms2-2:arm64 (2.14-2) ... 1361s Selecting previously unselected package libcolord2:arm64. 1361s Preparing to unpack .../41-libcolord2_1.4.7-1_arm64.deb ... 1361s Unpacking libcolord2:arm64 (1.4.7-1) ... 1361s Selecting previously unselected package libcups2:arm64. 1361s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_arm64.deb ... 1361s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 1361s Selecting previously unselected package libdatrie1:arm64. 1361s Preparing to unpack .../43-libdatrie1_0.2.13-3_arm64.deb ... 1361s Unpacking libdatrie1:arm64 (0.2.13-3) ... 1361s Selecting previously unselected package libepoxy0:arm64. 1361s Preparing to unpack .../44-libepoxy0_1.5.10-1_arm64.deb ... 1361s Unpacking libepoxy0:arm64 (1.5.10-1) ... 1361s Selecting previously unselected package libgraphite2-3:arm64. 1361s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_arm64.deb ... 1361s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 1361s Selecting previously unselected package libharfbuzz0b:arm64. 1361s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_arm64.deb ... 1361s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 1361s Selecting previously unselected package libthai-data. 1361s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1361s Unpacking libthai-data (0.1.29-2) ... 1361s Selecting previously unselected package libthai0:arm64. 1361s Preparing to unpack .../48-libthai0_0.1.29-2_arm64.deb ... 1361s Unpacking libthai0:arm64 (0.1.29-2) ... 1361s Selecting previously unselected package libpango-1.0-0:arm64. 1361s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 1361s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1361s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1361s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 1361s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1361s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1361s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 1361s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1361s Selecting previously unselected package libwayland-client0:arm64. 1361s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_arm64.deb ... 1361s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 1361s Selecting previously unselected package libwayland-cursor0:arm64. 1361s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 1361s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 1361s Selecting previously unselected package libwayland-egl1:arm64. 1361s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_arm64.deb ... 1361s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 1361s Selecting previously unselected package libxcomposite1:arm64. 1361s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 1361s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 1361s Selecting previously unselected package libxfixes3:arm64. 1361s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_arm64.deb ... 1361s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 1361s Selecting previously unselected package libxcursor1:arm64. 1361s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_arm64.deb ... 1361s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 1361s Selecting previously unselected package libxdamage1:arm64. 1361s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_arm64.deb ... 1361s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 1361s Selecting previously unselected package libxinerama1:arm64. 1362s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_arm64.deb ... 1362s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 1362s Selecting previously unselected package libxrandr2:arm64. 1362s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_arm64.deb ... 1362s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 1362s Selecting previously unselected package libgtk-3-common. 1362s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1362s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1362s Selecting previously unselected package libgtk-3-0:arm64. 1362s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 1362s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1362s Selecting previously unselected package libgtksourceview-3.0-common. 1362s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1362s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1362s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1362s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 1362s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1362s Selecting previously unselected package liblablgtk3-ocaml. 1362s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 1362s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1362s Selecting previously unselected package liblablgtksourceview3-ocaml. 1362s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 1362s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1362s Selecting previously unselected package spass. 1362s Preparing to unpack .../67-spass_3.9-1.1_arm64.deb ... 1362s Unpacking spass (3.9-1.1) ... 1362s Selecting previously unselected package tex-common. 1362s Preparing to unpack .../68-tex-common_6.18_all.deb ... 1362s Unpacking tex-common (6.18) ... 1362s Selecting previously unselected package why3. 1362s Preparing to unpack .../69-why3_1.6.0-1build4_arm64.deb ... 1362s Unpacking why3 (1.6.0-1build4) ... 1363s Selecting previously unselected package autopkgtest-satdep. 1363s Preparing to unpack .../70-3-autopkgtest-satdep.deb ... 1363s Unpacking autopkgtest-satdep (0) ... 1363s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 1363s Setting up liblcms2-2:arm64 (2.14-2) ... 1363s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 1363s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 1363s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 1363s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1363s Setting up hicolor-icon-theme (0.17-2) ... 1363s Setting up libxi6:arm64 (2:1.8.1-1) ... 1363s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 1363s Setting up libdatrie1:arm64 (0.2.13-3) ... 1364s Setting up libxcb-render0:arm64 (1.15-1) ... 1364s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1364s Setting up libdeflate0:arm64 (1.19-1) ... 1364s Setting up libxcb-shm0:arm64 (1.15-1) ... 1364s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 1364s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 1364s Setting up libcolord2:arm64 (1.4.7-1) ... 1364s Setting up libdconf1:arm64 (0.40.0-4) ... 1364s Setting up tex-common (6.18) ... 1364s update-language: texlive-base not installed and configured, doing nothing! 1364s Setting up libepoxy0:arm64 (1.5.10-1) ... 1364s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 1364s Setting up spass (3.9-1.1) ... 1364s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1364s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 1364s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1364s Setting up fonts-dejavu-mono (2.37-8) ... 1364s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 1364s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1364s Setting up fonts-dejavu-core (2.37-8) ... 1364s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1364s Setting up libwebp7:arm64 (1.3.2-0.4) ... 1364s Setting up at-spi2-common (2.50.0-1) ... 1364s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1364s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 1364s Setting up libthai-data (0.1.29-2) ... 1364s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 1364s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 1364s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 1364s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 1364s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1364s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1364s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 1364s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 1364s Setting up dconf-service (0.40.0-4) ... 1364s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1364s Setting up libthai0:arm64 (0.1.29-2) ... 1364s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1364s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 1364s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1364s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1364s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 1364s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1364s Setting up fontconfig (2.15.0-1ubuntu1) ... 1366s Regenerating fonts cache... done. 1366s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 1366s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1366s Setting up libcairo2:arm64 (1.18.0-1) ... 1366s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 1366s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 1366s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1366s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1366s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1366s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1366s Setting up adwaita-icon-theme (46~rc-1) ... 1366s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1366s Setting up humanity-icon-theme (0.6.16) ... 1367s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1367s Processing triggers for man-db (2.12.0-3) ... 1368s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1368s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1368s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1368s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1368s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1368s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1368s Setting up why3 (1.6.0-1build4) ... 1368s Setting up autopkgtest-satdep (0) ... 1368s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1374s (Reading database ... 89170 files and directories currently installed.) 1374s Removing autopkgtest-satdep (0) ... 1391s autopkgtest [14:34:16]: test why3+spass: [----------------------- 1392s autopkgtest [14:34:17]: test why3+spass: -----------------------] 1393s autopkgtest [14:34:18]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1393s why3+spass PASS 1393s autopkgtest [14:34:18]: test why3+z3: preparing testbed 1496s autopkgtest [14:36:01]: testbed dpkg architecture: arm64 1496s autopkgtest [14:36:01]: testbed apt version: 2.7.12 1496s autopkgtest [14:36:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1497s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1497s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 1498s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 1498s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 1498s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 1498s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [679 kB] 1498s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 1498s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [41.7 kB] 1498s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 1498s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4221 kB] 1498s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 1498s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB] 1498s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 1500s Fetched 9489 kB in 2s (5532 kB/s) 1500s Reading package lists... 1503s Reading package lists... 1503s Building dependency tree... 1503s Reading state information... 1503s Calculating upgrade... 1503s The following packages will be REMOVED: 1503s libglib2.0-0 1503s The following NEW packages will be installed: 1503s libglib2.0-0t64 xdg-user-dirs 1503s The following packages will be upgraded: 1503s gir1.2-glib-2.0 libglib2.0-data ubuntu-minimal ubuntu-standard 1503s 4 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 1503s Need to get 1796 kB of archives. 1503s After this operation, 138 kB of additional disk space will be used. 1503s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 1504s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 1504s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 1504s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.536build1 [10.7 kB] 1504s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 1504s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.536build1 [10.7 kB] 1504s Fetched 1796 kB in 1s (2941 kB/s) 1504s (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 ... 75850 files and directories currently installed.) 1504s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 1504s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1504s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 1504s udisks2 depends on libglib2.0-0 (>= 2.77.0). 1504s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 1504s python3-gi depends on libglib2.0-0 (>= 2.77.0). 1504s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 1504s netplan.io depends on libglib2.0-0 (>= 2.70.0). 1504s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 1504s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 1504s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 1504s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1504s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 1504s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 1504s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 1504s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1504s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1504s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1504s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 1504s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 1504s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 1504s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1504s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 1504s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 1504s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1504s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 1504s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 1504s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 1504s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1504s fwupd depends on libglib2.0-0 (>= 2.79.0). 1504s bolt depends on libglib2.0-0 (>= 2.56.0). 1504s 1504s (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 ... 75850 files and directories currently installed.) 1504s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 1504s Selecting previously unselected package libglib2.0-0t64:arm64. 1504s (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 ... 75825 files and directories currently installed.) 1504s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 1504s 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... 1504s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 1504s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1505s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 1505s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1505s Preparing to unpack .../ubuntu-minimal_1.536build1_arm64.deb ... 1505s Unpacking ubuntu-minimal (1.536build1) over (1.536) ... 1505s Selecting previously unselected package xdg-user-dirs. 1505s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 1505s Unpacking xdg-user-dirs (0.18-1) ... 1505s Preparing to unpack .../ubuntu-standard_1.536build1_arm64.deb ... 1505s Unpacking ubuntu-standard (1.536build1) over (1.536) ... 1505s Setting up ubuntu-minimal (1.536build1) ... 1505s Setting up xdg-user-dirs (0.18-1) ... 1505s Setting up ubuntu-standard (1.536build1) ... 1505s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1505s No schema files found: doing nothing. 1505s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 1505s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 1505s Processing triggers for man-db (2.12.0-3) ... 1505s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1505s Reading package lists... 1505s Building dependency tree... 1505s Reading state information... 1506s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1506s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1506s sh: Distribution appears to be Ubuntu 1507s Reading package lists... 1507s Building dependency tree... 1507s Reading state information... 1507s eatmydata is already the newest version (131-1). 1507s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1507s Reading package lists... 1508s Building dependency tree... 1508s Reading state information... 1508s dbus is already the newest version (1.14.10-4ubuntu1). 1508s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1508s Reading package lists... 1508s Building dependency tree... 1508s Reading state information... 1508s rng-tools-debian is already the newest version (2.4). 1508s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1508s Reading package lists... 1509s Building dependency tree... 1509s Reading state information... 1509s The following packages will be REMOVED: 1509s cloud-init* python3-configobj* python3-debconf* 1509s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1509s After this operation, 3252 kB disk space will be freed. 1509s (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 ... 75864 files and directories currently installed.) 1509s Removing cloud-init (24.1.1-0ubuntu1) ... 1510s Removing python3-configobj (5.0.8-3) ... 1510s Removing python3-debconf (1.5.86) ... 1510s Processing triggers for man-db (2.12.0-3) ... 1510s (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 ... 75475 files and directories currently installed.) 1510s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ... 1511s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1511s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1511s invoke-rc.d: policy-rc.d denied execution of try-restart. 1511s Reading package lists... 1511s Building dependency tree... 1511s Reading state information... 1511s linux-generic is already the newest version (6.8.0-11.11+1). 1511s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1512s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1512s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1512s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1513s Reading package lists... 1514s Reading package lists... 1514s Building dependency tree... 1514s Reading state information... 1514s Calculating upgrade... 1514s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1514s Reading package lists... 1514s Building dependency tree... 1514s Reading state information... 1515s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1515s autopkgtest [14:36:20]: rebooting testbed after setup commands that affected boot 1671s Reading package lists... 1671s Building dependency tree... 1671s Reading state information... 1672s Starting pkgProblemResolver with broken count: 0 1672s Starting 2 pkgProblemResolver with broken count: 0 1672s Done 1672s The following additional packages will be installed: 1672s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1672s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1672s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1672s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1672s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1672s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1672s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1672s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1672s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1672s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1672s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1672s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1672s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1672s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1672s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1672s why3 z3 1672s Suggested packages: 1672s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1672s Recommended packages: 1672s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1672s The following NEW packages will be installed: 1672s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1672s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1672s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1672s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1672s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1672s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1672s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 1672s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1672s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1672s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1672s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1672s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1672s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1672s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1672s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1672s why3 z3 1672s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1672s Need to get 39.5 MB/39.5 MB of archives. 1672s After this operation, 174 MB of additional disk space will be used. 1672s Get:1 /tmp/autopkgtest.nKo7fd/4-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [720 B] 1672s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1672s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 1673s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1673s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 1673s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 1673s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 1673s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 1673s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 1673s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 1673s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 1673s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 1673s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 1673s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 1673s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1673s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 1673s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 1673s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 1673s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 1673s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 1673s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1673s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1673s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 1673s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 1673s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 1673s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 1673s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 1673s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 1673s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 1673s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 1673s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 1673s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 1673s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 1673s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 1673s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 1673s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 1673s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 1673s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 1673s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 1673s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 1673s Get:41 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 1673s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 1673s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 1673s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 1673s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 1673s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 1673s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 1673s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 1673s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 1673s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 1673s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 1673s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 1673s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 1673s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 1673s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 1673s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 1673s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 1673s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 1673s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 1673s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 1673s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 1673s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 1673s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1673s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 1674s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1674s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 1674s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 1674s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 1674s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 1674s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 1675s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 z3 arm64 4.8.12-3.1 [5412 kB] 1675s Fetched 39.5 MB in 3s (15.0 MB/s) 1675s Selecting previously unselected package libgdk-pixbuf2.0-common. 1675s (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 ... 75420 files and directories currently installed.) 1675s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1675s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1675s Selecting previously unselected package libjpeg-turbo8:arm64. 1675s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 1675s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1675s Selecting previously unselected package libjpeg8:arm64. 1675s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1675s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1675s Selecting previously unselected package libdeflate0:arm64. 1675s Preparing to unpack .../03-libdeflate0_1.19-1_arm64.deb ... 1675s Unpacking libdeflate0:arm64 (1.19-1) ... 1675s Selecting previously unselected package libjbig0:arm64. 1675s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 1675s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 1675s Selecting previously unselected package liblerc4:arm64. 1675s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 1675s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1675s Selecting previously unselected package libsharpyuv0:arm64. 1675s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_arm64.deb ... 1675s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 1675s Selecting previously unselected package libwebp7:arm64. 1675s Preparing to unpack .../07-libwebp7_1.3.2-0.4_arm64.deb ... 1675s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 1675s Selecting previously unselected package libtiff6:arm64. 1675s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 1675s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1675s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1675s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 1675s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1675s Selecting previously unselected package gtk-update-icon-cache. 1675s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 1675s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1675s Selecting previously unselected package hicolor-icon-theme. 1675s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 1675s Unpacking hicolor-icon-theme (0.17-2) ... 1675s Selecting previously unselected package humanity-icon-theme. 1675s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1675s Unpacking humanity-icon-theme (0.6.16) ... 1676s Selecting previously unselected package ubuntu-mono. 1676s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1676s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1676s Selecting previously unselected package adwaita-icon-theme. 1676s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 1676s Unpacking adwaita-icon-theme (46~rc-1) ... 1676s Selecting previously unselected package at-spi2-common. 1676s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 1676s Unpacking at-spi2-common (2.50.0-1) ... 1676s Selecting previously unselected package libdconf1:arm64. 1676s Preparing to unpack .../16-libdconf1_0.40.0-4_arm64.deb ... 1676s Unpacking libdconf1:arm64 (0.40.0-4) ... 1676s Selecting previously unselected package dconf-service. 1676s Preparing to unpack .../17-dconf-service_0.40.0-4_arm64.deb ... 1676s Unpacking dconf-service (0.40.0-4) ... 1676s Selecting previously unselected package dconf-gsettings-backend:arm64. 1676s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 1676s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 1676s Selecting previously unselected package fonts-dejavu-mono. 1676s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1676s Unpacking fonts-dejavu-mono (2.37-8) ... 1676s Selecting previously unselected package fonts-dejavu-core. 1676s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1676s Unpacking fonts-dejavu-core (2.37-8) ... 1676s Selecting previously unselected package fontconfig-config. 1676s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 1677s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1677s Selecting previously unselected package libfontconfig1:arm64. 1677s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 1677s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1677s Selecting previously unselected package fontconfig. 1677s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 1677s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1677s Selecting previously unselected package libatk1.0-0:arm64. 1677s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_arm64.deb ... 1677s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 1677s Selecting previously unselected package libxi6:arm64. 1677s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_arm64.deb ... 1677s Unpacking libxi6:arm64 (2:1.8.1-1) ... 1677s Selecting previously unselected package libatspi2.0-0:arm64. 1677s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_arm64.deb ... 1677s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 1677s Selecting previously unselected package libatk-bridge2.0-0:arm64. 1677s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 1677s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1677s Selecting previously unselected package libavahi-common-data:arm64. 1677s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 1677s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1677s Selecting previously unselected package libavahi-common3:arm64. 1677s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 1677s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 1677s Selecting previously unselected package libavahi-client3:arm64. 1677s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 1677s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 1677s Selecting previously unselected package libpixman-1-0:arm64. 1677s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_arm64.deb ... 1677s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 1677s Selecting previously unselected package libxcb-render0:arm64. 1677s Preparing to unpack .../32-libxcb-render0_1.15-1_arm64.deb ... 1677s Unpacking libxcb-render0:arm64 (1.15-1) ... 1677s Selecting previously unselected package libxcb-shm0:arm64. 1677s Preparing to unpack .../33-libxcb-shm0_1.15-1_arm64.deb ... 1677s Unpacking libxcb-shm0:arm64 (1.15-1) ... 1677s Selecting previously unselected package libxrender1:arm64. 1677s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 1677s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 1677s Selecting previously unselected package libcairo2:arm64. 1677s Preparing to unpack .../35-libcairo2_1.18.0-1_arm64.deb ... 1677s Unpacking libcairo2:arm64 (1.18.0-1) ... 1677s Selecting previously unselected package libcairo-gobject2:arm64. 1677s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_arm64.deb ... 1677s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 1677s Selecting previously unselected package libstdlib-ocaml. 1677s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 1677s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1677s Selecting previously unselected package ocaml-base. 1677s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 1677s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1677s Selecting previously unselected package libcairo2-ocaml. 1677s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 1677s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1677s Selecting previously unselected package liblcms2-2:arm64. 1677s Preparing to unpack .../40-liblcms2-2_2.14-2_arm64.deb ... 1677s Unpacking liblcms2-2:arm64 (2.14-2) ... 1677s Selecting previously unselected package libcolord2:arm64. 1677s Preparing to unpack .../41-libcolord2_1.4.7-1_arm64.deb ... 1677s Unpacking libcolord2:arm64 (1.4.7-1) ... 1677s Selecting previously unselected package libcups2:arm64. 1677s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_arm64.deb ... 1677s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 1677s Selecting previously unselected package libdatrie1:arm64. 1677s Preparing to unpack .../43-libdatrie1_0.2.13-3_arm64.deb ... 1677s Unpacking libdatrie1:arm64 (0.2.13-3) ... 1677s Selecting previously unselected package libepoxy0:arm64. 1677s Preparing to unpack .../44-libepoxy0_1.5.10-1_arm64.deb ... 1677s Unpacking libepoxy0:arm64 (1.5.10-1) ... 1677s Selecting previously unselected package libgraphite2-3:arm64. 1677s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_arm64.deb ... 1677s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 1677s Selecting previously unselected package libharfbuzz0b:arm64. 1677s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_arm64.deb ... 1677s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 1677s Selecting previously unselected package libthai-data. 1677s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1677s Unpacking libthai-data (0.1.29-2) ... 1677s Selecting previously unselected package libthai0:arm64. 1677s Preparing to unpack .../48-libthai0_0.1.29-2_arm64.deb ... 1677s Unpacking libthai0:arm64 (0.1.29-2) ... 1677s Selecting previously unselected package libpango-1.0-0:arm64. 1677s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 1677s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1677s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1677s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 1677s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1677s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1677s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 1677s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1677s Selecting previously unselected package libwayland-client0:arm64. 1677s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_arm64.deb ... 1677s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 1677s Selecting previously unselected package libwayland-cursor0:arm64. 1677s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 1677s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 1677s Selecting previously unselected package libwayland-egl1:arm64. 1677s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_arm64.deb ... 1677s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 1677s Selecting previously unselected package libxcomposite1:arm64. 1677s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 1677s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 1677s Selecting previously unselected package libxfixes3:arm64. 1677s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_arm64.deb ... 1677s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 1677s Selecting previously unselected package libxcursor1:arm64. 1677s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_arm64.deb ... 1677s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 1677s Selecting previously unselected package libxdamage1:arm64. 1677s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_arm64.deb ... 1677s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 1677s Selecting previously unselected package libxinerama1:arm64. 1677s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_arm64.deb ... 1677s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 1677s Selecting previously unselected package libxrandr2:arm64. 1677s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_arm64.deb ... 1677s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 1677s Selecting previously unselected package libgtk-3-common. 1677s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1677s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1677s Selecting previously unselected package libgtk-3-0:arm64. 1677s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 1677s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1677s Selecting previously unselected package libgtksourceview-3.0-common. 1677s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1677s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1677s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1677s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 1677s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1677s Selecting previously unselected package liblablgtk3-ocaml. 1678s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 1678s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1678s Selecting previously unselected package liblablgtksourceview3-ocaml. 1678s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 1678s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1678s Selecting previously unselected package tex-common. 1678s Preparing to unpack .../67-tex-common_6.18_all.deb ... 1678s Unpacking tex-common (6.18) ... 1678s Selecting previously unselected package why3. 1678s Preparing to unpack .../68-why3_1.6.0-1build4_arm64.deb ... 1678s Unpacking why3 (1.6.0-1build4) ... 1678s Selecting previously unselected package z3. 1678s Preparing to unpack .../69-z3_4.8.12-3.1_arm64.deb ... 1678s Unpacking z3 (4.8.12-3.1) ... 1678s Selecting previously unselected package autopkgtest-satdep. 1678s Preparing to unpack .../70-4-autopkgtest-satdep.deb ... 1678s Unpacking autopkgtest-satdep (0) ... 1678s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 1678s Setting up liblcms2-2:arm64 (2.14-2) ... 1678s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 1678s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 1678s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 1678s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1678s Setting up hicolor-icon-theme (0.17-2) ... 1678s Setting up libxi6:arm64 (2:1.8.1-1) ... 1678s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 1678s Setting up libdatrie1:arm64 (0.2.13-3) ... 1678s Setting up libxcb-render0:arm64 (1.15-1) ... 1678s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1678s Setting up libdeflate0:arm64 (1.19-1) ... 1678s Setting up libxcb-shm0:arm64 (1.15-1) ... 1678s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 1678s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 1678s Setting up z3 (4.8.12-3.1) ... 1678s Setting up libcolord2:arm64 (1.4.7-1) ... 1678s Setting up libdconf1:arm64 (0.40.0-4) ... 1678s Setting up tex-common (6.18) ... 1678s update-language: texlive-base not installed and configured, doing nothing! 1678s Setting up libepoxy0:arm64 (1.5.10-1) ... 1678s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 1678s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1678s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 1678s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1678s Setting up fonts-dejavu-mono (2.37-8) ... 1679s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 1679s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1679s Setting up fonts-dejavu-core (2.37-8) ... 1679s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1679s Setting up libwebp7:arm64 (1.3.2-0.4) ... 1679s Setting up at-spi2-common (2.50.0-1) ... 1679s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1679s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 1679s Setting up libthai-data (0.1.29-2) ... 1679s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 1679s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 1679s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 1679s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 1679s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1679s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1679s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 1679s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 1679s Setting up dconf-service (0.40.0-4) ... 1679s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1679s Setting up libthai0:arm64 (0.1.29-2) ... 1679s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1679s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 1679s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1679s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1679s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 1679s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1679s Setting up fontconfig (2.15.0-1ubuntu1) ... 1681s Regenerating fonts cache... done. 1681s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 1681s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1681s Setting up libcairo2:arm64 (1.18.0-1) ... 1681s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 1681s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 1681s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1681s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1681s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1681s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1681s Setting up adwaita-icon-theme (46~rc-1) ... 1681s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1681s Setting up humanity-icon-theme (0.6.16) ... 1681s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1681s Processing triggers for man-db (2.12.0-3) ... 1681s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1681s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1681s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1681s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1681s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1681s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1681s Setting up why3 (1.6.0-1build4) ... 1681s Setting up autopkgtest-satdep (0) ... 1681s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1685s (Reading database ... 89170 files and directories currently installed.) 1685s Removing autopkgtest-satdep (0) ... 1704s autopkgtest [14:39:29]: test why3+z3: [----------------------- 1705s autopkgtest [14:39:30]: test why3+z3: -----------------------] 1705s autopkgtest [14:39:30]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1705s why3+z3 PASS 1706s autopkgtest [14:39:31]: @@@@@@@@@@@@@@@@@@@@ summary 1706s why3+alt-ergo SKIP installation fails and skip-not-installable set 1706s why3+cvc4 PASS 1706s why3+spass PASS 1706s why3+z3 PASS 1721s Creating nova instance adt-noble-arm64-why3-20240320-141105-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240319.img (UUID bd25b89b-8264-4402-95d9-d9c88f21f275)... 1721s Creating nova instance adt-noble-arm64-why3-20240320-141105-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240319.img (UUID bd25b89b-8264-4402-95d9-d9c88f21f275)... 1721s Creating nova instance adt-noble-arm64-why3-20240320-141105-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240319.img (UUID bd25b89b-8264-4402-95d9-d9c88f21f275)... 1721s Creating nova instance adt-noble-arm64-why3-20240320-141105-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240319.img (UUID bd25b89b-8264-4402-95d9-d9c88f21f275)...