0s autopkgtest [08:05:12]: starting date: 2024-03-11 0s autopkgtest [08:05:12]: git checkout: d9c0295 adt_testbed.py: supress warnings from apt using a shell pipeline 0s autopkgtest [08:05:12]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.bhsdeuuo/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:gdk-pixbuf,src:glib2.0,src:libpng1.6,src:wp2latex --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=gdk-pixbuf/2.42.10+dfsg-3ubuntu1 glib2.0/2.79.3-3ubuntu3 libpng1.6/1.6.43-3 wp2latex/4.4~ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos03-arm64-16.secgroup --name adt-noble-arm64-why3-20240311-080512-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://ftpmaster.internal/ubuntu/ 128s autopkgtest [08:07:20]: @@@@@@@@@@@@@@@@@@@@ test bed setup 128s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 129s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 129s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2661 kB] 129s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 129s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 129s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [582 kB] 129s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 129s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 129s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 129s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2970 kB] 129s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 129s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 129s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 131s Fetched 6877 kB in 1s (4659 kB/s) 131s Reading package lists... 133s Reading package lists... 133s Building dependency tree... 133s Reading state information... 134s Calculating upgrade... 134s The following packages will be REMOVED: 134s libglib2.0-0 134s The following NEW packages will be installed: 134s libglib2.0-0t64 xdg-user-dirs 134s The following packages will be upgraded: 134s gir1.2-glib-2.0 libglib2.0-data 134s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 134s Need to get 1774 kB of archives. 134s After this operation, 138 kB of additional disk space will be used. 134s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 135s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 135s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 135s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 135s Fetched 1774 kB in 1s (2872 kB/s) 136s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 136s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 136s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 136s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 136s udisks2 depends on libglib2.0-0 (>= 2.77.0). 136s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 136s python3-gi depends on libglib2.0-0 (>= 2.77.0). 136s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 136s netplan.io depends on libglib2.0-0 (>= 2.70.0). 136s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 136s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 136s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 136s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 136s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 136s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 136s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 136s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 136s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 136s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 136s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 136s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 136s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 136s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 136s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 136s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 136s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 136s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 136s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 136s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 136s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 136s fwupd depends on libglib2.0-0 (>= 2.79.0). 136s bolt depends on libglib2.0-0 (>= 2.56.0). 136s 136s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 136s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 136s Selecting previously unselected package libglib2.0-0t64:arm64. 136s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74723 files and directories currently installed.) 136s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 136s 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... 136s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 136s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 136s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 136s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 136s Selecting previously unselected package xdg-user-dirs. 136s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 136s Unpacking xdg-user-dirs (0.18-1) ... 136s Setting up xdg-user-dirs (0.18-1) ... 136s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 136s No schema files found: doing nothing. 136s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 136s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 136s Processing triggers for man-db (2.12.0-3) ... 137s Processing triggers for libc-bin (2.39-0ubuntu2) ... 137s Reading package lists... 137s Building dependency tree... 137s Reading state information... 138s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 138s sh: Attempting to set up Debian/Ubuntu apt sources automatically 138s sh: Distribution appears to be Ubuntu 139s Reading package lists... 140s Building dependency tree... 140s Reading state information... 140s eatmydata is already the newest version (131-1). 140s dbus is already the newest version (1.14.10-4ubuntu1). 140s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 140s Reading package lists... 141s Building dependency tree... 141s Reading state information... 141s rng-tools-debian is already the newest version (2.4). 141s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Reading package lists... 142s Building dependency tree... 142s Reading state information... 142s haveged is already the newest version (1.9.14-1ubuntu1). 142s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Reading package lists... 143s Building dependency tree... 143s Reading state information... 143s The following packages will be REMOVED: 143s cloud-init* python3-configobj* python3-debconf* 144s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 144s After this operation, 3248 kB disk space will be freed. 144s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74762 files and directories currently installed.) 144s Removing cloud-init (24.1-0ubuntu1) ... 144s Removing python3-configobj (5.0.8-3) ... 144s Removing python3-debconf (1.5.86) ... 144s Processing triggers for man-db (2.12.0-3) ... 145s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74373 files and directories currently installed.) 145s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 145s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 145s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 146s Reading package lists... 146s Building dependency tree... 146s Reading state information... 146s linux-generic is already the newest version (6.8.0-11.11+1). 146s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 147s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 147s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 147s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 147s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 148s Reading package lists... 149s Reading package lists... 149s Building dependency tree... 149s Reading state information... 149s Calculating upgrade... 150s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 150s Reading package lists... 150s Building dependency tree... 150s Reading state information... 150s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 151s autopkgtest [08:07:43]: rebooting testbed after setup commands that affected boot 177s autopkgtest [08:08:09]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 177s autopkgtest [08:08:09]: testbed dpkg architecture: arm64 179s autopkgtest [08:08:11]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 183s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 183s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 183s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 183s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 183s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 183s gpgv: Can't check signature: No public key 183s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 184s autopkgtest [08:08:15]: testing package why3 version 1.6.0-1build4 184s autopkgtest [08:08:15]: build not needed 185s autopkgtest [08:08:17]: test why3+alt-ergo: preparing testbed 189s Reading package lists... 189s Building dependency tree... 189s Reading state information... 190s Correcting dependencies...Starting pkgProblemResolver with broken count: 1 190s Starting 2 pkgProblemResolver with broken count: 1 190s Investigating (0) autopkgtest-satdep:arm64 < 0 @iU K Nb Ib > 190s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 190s Removing autopkgtest-satdep:arm64 because I can't find alt-ergo:arm64 190s Done 190s Done 190s Starting pkgProblemResolver with broken count: 0 190s Starting 2 pkgProblemResolver with broken count: 0 190s Done 191s The following additional packages will be installed: 191s libpng16-16t64 191s The following packages will be REMOVED: 191s autopkgtest-satdep libpng16-16 191s The following NEW packages will be installed: 191s libpng16-16t64 192s 0 upgraded, 1 newly installed, 2 to remove and 0 not upgraded. 192s 1 not fully installed or removed. 192s Need to get 185 kB of archives. 192s After this operation, 3072 B of additional disk space will be used. 192s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 192s Fetched 185 kB in 0s (489 kB/s) 192s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74318 files and directories currently installed.) 192s Removing autopkgtest-satdep (0) ... 192s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 192s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 192s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 192s 192s Removing libpng16-16:arm64 (1.6.43-1) ... 192s Selecting previously unselected package libpng16-16t64:arm64. 192s (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 ... 74308 files and directories currently installed.) 192s Preparing to unpack .../libpng16-16t64_1.6.43-3_arm64.deb ... 192s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 193s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 193s Processing triggers for libc-bin (2.39-0ubuntu2) ... 194s autopkgtest: WARNING: package why3 is not installed though it should be 194s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 195s Reading package lists... 196s Building dependency tree... 196s Reading state information... 196s Correcting dependencies...Starting pkgProblemResolver with broken count: 1 196s Starting 2 pkgProblemResolver with broken count: 1 196s Investigating (0) autopkgtest-satdep:arm64 < 0 @iU K Nb Ib > 196s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 196s Removing autopkgtest-satdep:arm64 because I can't find alt-ergo:arm64 196s Done 196s Done 197s Starting pkgProblemResolver with broken count: 0 197s Starting 2 pkgProblemResolver with broken count: 0 197s Done 197s The following additional packages will be installed: 197s libgnutls30t64 libhogweed6t64 libnettle8t64 197s Suggested packages: 197s gnutls-bin 197s The following packages will be REMOVED: 197s autopkgtest-satdep libgnutls30 libhogweed6 libnettle8 197s The following NEW packages will be installed: 197s libgnutls30t64 libhogweed6t64 libnettle8t64 197s 0 upgraded, 3 newly installed, 4 to remove and 209 not upgraded. 197s 1 not fully installed or removed. 197s Need to get 1433 kB of archives. 197s After this operation, 665 kB of additional disk space will be used. 197s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libnettle8t64 arm64 3.9.1-2.2 [192 kB] 198s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libhogweed6t64 arm64 3.9.1-2.2 [199 kB] 198s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgnutls30t64 arm64 3.8.3-1.1ubuntu2 [1042 kB] 199s Fetched 1433 kB in 1s (2556 kB/s) 199s (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 ... 74319 files and directories currently installed.) 199s Removing autopkgtest-satdep (0) ... 199s dpkg: libnettle8:arm64: dependency problems, but removing anyway as you requested: 199s librtmp1:arm64 depends on libnettle8. 199s libhogweed6:arm64 depends on libnettle8. 199s libgnutls30:arm64 depends on libnettle8 (>= 3.9~). 199s libcurl3-gnutls:arm64 depends on libnettle8. 199s libarchive13:arm64 depends on libnettle8. 199s 199s Removing libnettle8:arm64 (3.9.1-2) ... 199s Selecting previously unselected package libnettle8t64:arm64. 199s (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 ... 74312 files and directories currently installed.) 199s Preparing to unpack .../libnettle8t64_3.9.1-2.2_arm64.deb ... 199s Unpacking libnettle8t64:arm64 (3.9.1-2.2) ... 199s dpkg: libhogweed6:arm64: dependency problems, but removing anyway as you requested: 199s librtmp1:arm64 depends on libhogweed6. 199s libjcat1:arm64 depends on libhogweed6. 199s libgnutls30:arm64 depends on libhogweed6 (>= 3.6). 199s 199s (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 ... 74320 files and directories currently installed.) 199s Removing libhogweed6:arm64 (3.9.1-2) ... 199s Selecting previously unselected package libhogweed6t64:arm64. 199s (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 ... 74315 files and directories currently installed.) 199s Preparing to unpack .../libhogweed6t64_3.9.1-2.2_arm64.deb ... 199s Unpacking libhogweed6t64:arm64 (3.9.1-2.2) ... 199s dpkg: libgnutls30:arm64: dependency problems, but removing anyway as you requested: 199s u-boot-tools depends on libgnutls30 (>= 3.7.3). 199s librtmp1:arm64 depends on libgnutls30 (>= 3.7.2). 199s libldap2:arm64 depends on libgnutls30 (>= 3.8.2). 199s libjcat1:arm64 depends on libgnutls30 (>= 3.7.3). 199s libcurl3-gnutls:arm64 depends on libgnutls30 (>= 3.8.2). 199s fwupd depends on libgnutls30 (>= 3.7.3). 199s dirmngr depends on libgnutls30 (>= 3.8.1). 199s apt depends on libgnutls30 (>= 3.8.1). 199s 199s (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 ... 74321 files and directories currently installed.) 199s Removing libgnutls30:arm64 (3.8.3-1ubuntu1) ... 199s Selecting previously unselected package libgnutls30t64:arm64. 199s (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 ... 74312 files and directories currently installed.) 199s Preparing to unpack .../libgnutls30t64_3.8.3-1.1ubuntu2_arm64.deb ... 199s Unpacking libgnutls30t64:arm64 (3.8.3-1.1ubuntu2) ... 199s Setting up libnettle8t64:arm64 (3.9.1-2.2) ... 199s Setting up libhogweed6t64:arm64 (3.9.1-2.2) ... 199s Setting up libgnutls30t64:arm64 (3.8.3-1.1ubuntu2) ... 199s Processing triggers for libc-bin (2.39-0ubuntu2) ... 200s autopkgtest: WARNING: package why3 is not installed though it should be 200s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 201s autopkgtest [08:08:33]: test why3+cvc4: preparing testbed 201s why3+alt-ergo SKIP installation fails and skip-not-installable set 277s autopkgtest [08:09:49]: @@@@@@@@@@@@@@@@@@@@ test bed setup 277s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 277s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 278s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 278s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2661 kB] 278s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 278s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [582 kB] 278s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 278s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 278s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 278s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2970 kB] 278s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 278s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 278s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 279s Fetched 6877 kB in 1s (4616 kB/s) 280s Reading package lists... 282s Reading package lists... 282s Building dependency tree... 282s Reading state information... 283s Calculating upgrade... 283s The following packages will be REMOVED: 283s libglib2.0-0 283s The following NEW packages will be installed: 283s libglib2.0-0t64 xdg-user-dirs 283s The following packages will be upgraded: 283s gir1.2-glib-2.0 libglib2.0-data 284s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 284s Need to get 1774 kB of archives. 284s After this operation, 138 kB of additional disk space will be used. 284s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 284s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 284s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 284s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 285s Fetched 1774 kB in 1s (2184 kB/s) 285s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 285s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 285s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 285s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 285s udisks2 depends on libglib2.0-0 (>= 2.77.0). 285s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 285s python3-gi depends on libglib2.0-0 (>= 2.77.0). 285s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 285s netplan.io depends on libglib2.0-0 (>= 2.70.0). 285s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 285s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 285s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 285s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 285s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 285s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 285s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 285s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 285s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 285s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 285s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 285s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 285s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 285s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 285s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 285s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 285s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 285s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 285s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 285s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 285s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 285s fwupd depends on libglib2.0-0 (>= 2.79.0). 285s bolt depends on libglib2.0-0 (>= 2.56.0). 285s 285s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 285s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 285s Selecting previously unselected package libglib2.0-0t64:arm64. 285s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74723 files and directories currently installed.) 285s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 285s 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... 285s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 285s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 285s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 285s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 286s Selecting previously unselected package xdg-user-dirs. 286s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 286s Unpacking xdg-user-dirs (0.18-1) ... 286s Setting up xdg-user-dirs (0.18-1) ... 286s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 286s No schema files found: doing nothing. 286s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 286s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 286s Processing triggers for man-db (2.12.0-3) ... 286s Processing triggers for libc-bin (2.39-0ubuntu2) ... 287s Reading package lists... 287s Building dependency tree... 287s Reading state information... 287s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 288s sh: Attempting to set up Debian/Ubuntu apt sources automatically 288s sh: Distribution appears to be Ubuntu 289s Reading package lists... 289s Building dependency tree... 289s Reading state information... 290s eatmydata is already the newest version (131-1). 290s dbus is already the newest version (1.14.10-4ubuntu1). 290s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 290s Reading package lists... 290s Building dependency tree... 290s Reading state information... 290s rng-tools-debian is already the newest version (2.4). 290s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 291s Reading package lists... 291s Building dependency tree... 291s Reading state information... 291s haveged is already the newest version (1.9.14-1ubuntu1). 291s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 291s Reading package lists... 292s Building dependency tree... 292s Reading state information... 292s The following packages will be REMOVED: 292s cloud-init* python3-configobj* python3-debconf* 292s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 292s After this operation, 3248 kB disk space will be freed. 293s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74762 files and directories currently installed.) 293s Removing cloud-init (24.1-0ubuntu1) ... 293s Removing python3-configobj (5.0.8-3) ... 293s Removing python3-debconf (1.5.86) ... 293s Processing triggers for man-db (2.12.0-3) ... 293s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74373 files and directories currently installed.) 293s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 294s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 294s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 295s Reading package lists... 295s Building dependency tree... 295s Reading state information... 295s linux-generic is already the newest version (6.8.0-11.11+1). 295s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 296s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 296s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 296s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 296s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 297s Reading package lists... 297s Reading package lists... 298s Building dependency tree... 298s Reading state information... 298s Calculating upgrade... 298s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 299s Reading package lists... 299s Building dependency tree... 299s Reading state information... 299s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 300s autopkgtest [08:10:12]: rebooting testbed after setup commands that affected boot 481s autopkgtest [08:13:13]: testbed dpkg architecture: arm64 485s Reading package lists... 485s Building dependency tree... 485s Reading state information... 485s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 486s Starting 2 pkgProblemResolver with broken count: 0 486s Done 486s Done 486s Starting pkgProblemResolver with broken count: 0 486s Starting 2 pkgProblemResolver with broken count: 0 486s Done 487s The following additional packages will be installed: 487s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 487s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 487s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 487s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 487s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 487s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 487s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 487s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 487s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 487s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 487s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 487s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 487s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 487s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 487s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 487s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 487s why3 487s Suggested packages: 487s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 487s Recommended packages: 487s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 487s The following packages will be REMOVED: 487s libpng16-16 487s The following NEW packages will be installed: 487s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 487s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 487s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 487s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 487s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 487s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 487s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 487s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 487s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 487s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 487s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 487s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 487s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 487s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 487s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 487s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 487s why3 487s 0 upgraded, 75 newly installed, 1 to remove and 0 not upgraded. 487s 1 not fully installed or removed. 487s Need to get 39.5 MB of archives. 487s After this operation, 178 MB of additional disk space will be used. 487s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 488s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 488s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 488s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 488s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 488s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 488s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 488s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 488s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 488s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 488s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3ubuntu1 [7774 B] 488s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 488s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 488s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 488s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 488s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 488s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 488s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 488s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 488s Get:20 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3ubuntu1 [145 kB] 488s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 488s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 488s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 488s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 488s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 488s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 488s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 488s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 488s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 488s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 488s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 488s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 488s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 488s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 488s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 488s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 488s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 488s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 488s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 488s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 488s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 488s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 488s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 488s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 488s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 488s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 488s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 488s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 488s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 488s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 488s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 488s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 488s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 488s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 488s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 488s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 488s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 488s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 488s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 488s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 488s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 488s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 488s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 488s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 488s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 488s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 488s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 488s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 488s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 488s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 489s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 489s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4-7 arm64 1.8-3 [4325 kB] 489s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build1 [39.7 kB] 489s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4parser7 arm64 1.8-3 [356 kB] 489s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 cvc4 arm64 1.8-3 [71.2 kB] 490s Fetched 39.5 MB in 2s (19.2 MB/s) 490s Selecting previously unselected package fonts-dejavu-mono. 490s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74318 files and directories currently installed.) 490s Preparing to unpack .../fonts-dejavu-mono_2.37-8_all.deb ... 490s Unpacking fonts-dejavu-mono (2.37-8) ... 490s Selecting previously unselected package fonts-dejavu-core. 490s Preparing to unpack .../fonts-dejavu-core_2.37-8_all.deb ... 490s Unpacking fonts-dejavu-core (2.37-8) ... 490s Selecting previously unselected package fontconfig-config. 490s Preparing to unpack .../fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 491s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 491s Selecting previously unselected package libfontconfig1:arm64. 491s Preparing to unpack .../libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 491s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 491s Selecting previously unselected package libpixman-1-0:arm64. 491s Preparing to unpack .../libpixman-1-0_0.42.2-1_arm64.deb ... 491s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 491s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 491s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 491s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 491s 491s (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 ... 74460 files and directories currently installed.) 491s Removing libpng16-16:arm64 (1.6.43-1) ... 491s Selecting previously unselected package libpng16-16t64:arm64. 491s (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 ... 74450 files and directories currently installed.) 491s Preparing to unpack .../00-libpng16-16t64_1.6.43-3_arm64.deb ... 491s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 491s Selecting previously unselected package libxcb-render0:arm64. 491s Preparing to unpack .../01-libxcb-render0_1.15-1_arm64.deb ... 491s Unpacking libxcb-render0:arm64 (1.15-1) ... 491s Selecting previously unselected package libxcb-shm0:arm64. 491s Preparing to unpack .../02-libxcb-shm0_1.15-1_arm64.deb ... 491s Unpacking libxcb-shm0:arm64 (1.15-1) ... 491s Selecting previously unselected package libxrender1:arm64. 491s Preparing to unpack .../03-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 491s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 491s Selecting previously unselected package libcairo2:arm64. 491s Preparing to unpack .../04-libcairo2_1.18.0-1_arm64.deb ... 491s Unpacking libcairo2:arm64 (1.18.0-1) ... 491s Selecting previously unselected package libgdk-pixbuf2.0-common. 491s Preparing to unpack .../05-libgdk-pixbuf2.0-common_2.42.10+dfsg-3ubuntu1_all.deb ... 491s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu1) ... 491s Selecting previously unselected package libjpeg-turbo8:arm64. 491s Preparing to unpack .../06-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 491s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 491s Selecting previously unselected package libjpeg8:arm64. 491s Preparing to unpack .../07-libjpeg8_8c-2ubuntu11_arm64.deb ... 491s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 491s Selecting previously unselected package libdeflate0:arm64. 491s Preparing to unpack .../08-libdeflate0_1.19-1_arm64.deb ... 491s Unpacking libdeflate0:arm64 (1.19-1) ... 491s Selecting previously unselected package libjbig0:arm64. 491s Preparing to unpack .../09-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 491s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 491s Selecting previously unselected package liblerc4:arm64. 491s Preparing to unpack .../10-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 491s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 491s Selecting previously unselected package libsharpyuv0:arm64. 491s Preparing to unpack .../11-libsharpyuv0_1.3.2-0.4_arm64.deb ... 491s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 491s Selecting previously unselected package libwebp7:arm64. 491s Preparing to unpack .../12-libwebp7_1.3.2-0.4_arm64.deb ... 491s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 491s Selecting previously unselected package libtiff6:arm64. 491s Preparing to unpack .../13-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 491s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 491s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 491s Preparing to unpack .../14-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3ubuntu1_arm64.deb ... 491s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3ubuntu1) ... 492s Selecting previously unselected package gtk-update-icon-cache. 492s Preparing to unpack .../15-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 492s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 492s Selecting previously unselected package hicolor-icon-theme. 492s Preparing to unpack .../16-hicolor-icon-theme_0.17-2_all.deb ... 492s Unpacking hicolor-icon-theme (0.17-2) ... 492s Selecting previously unselected package humanity-icon-theme. 492s Preparing to unpack .../17-humanity-icon-theme_0.6.16_all.deb ... 492s Unpacking humanity-icon-theme (0.6.16) ... 492s Selecting previously unselected package ubuntu-mono. 492s Preparing to unpack .../18-ubuntu-mono_24.04-0ubuntu1_all.deb ... 492s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 492s Selecting previously unselected package adwaita-icon-theme. 492s Preparing to unpack .../19-adwaita-icon-theme_46~rc-1_all.deb ... 492s Unpacking adwaita-icon-theme (46~rc-1) ... 493s Selecting previously unselected package at-spi2-common. 493s Preparing to unpack .../20-at-spi2-common_2.50.0-1_all.deb ... 493s Unpacking at-spi2-common (2.50.0-1) ... 493s Selecting previously unselected package libatk1.0-0:arm64. 493s Preparing to unpack .../21-libatk1.0-0_2.50.0-1_arm64.deb ... 493s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 493s Selecting previously unselected package libxi6:arm64. 493s Preparing to unpack .../22-libxi6_2%3a1.8.1-1_arm64.deb ... 493s Unpacking libxi6:arm64 (2:1.8.1-1) ... 493s Selecting previously unselected package libatspi2.0-0:arm64. 493s Preparing to unpack .../23-libatspi2.0-0_2.50.0-1_arm64.deb ... 493s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 493s Selecting previously unselected package libatk-bridge2.0-0:arm64. 493s Preparing to unpack .../24-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 493s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 493s Selecting previously unselected package libcairo-gobject2:arm64. 493s Preparing to unpack .../25-libcairo-gobject2_1.18.0-1_arm64.deb ... 493s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 493s Selecting previously unselected package liblcms2-2:arm64. 493s Preparing to unpack .../26-liblcms2-2_2.14-2_arm64.deb ... 493s Unpacking liblcms2-2:arm64 (2.14-2) ... 493s Selecting previously unselected package libcolord2:arm64. 493s Preparing to unpack .../27-libcolord2_1.4.7-1_arm64.deb ... 493s Unpacking libcolord2:arm64 (1.4.7-1) ... 493s Selecting previously unselected package libavahi-common-data:arm64. 493s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 493s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 493s Selecting previously unselected package libavahi-common3:arm64. 493s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 493s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 493s Selecting previously unselected package libavahi-client3:arm64. 493s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 493s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 493s Selecting previously unselected package libcups2:arm64. 493s Preparing to unpack .../31-libcups2_2.4.6-0ubuntu3_arm64.deb ... 493s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 493s Selecting previously unselected package libepoxy0:arm64. 493s Preparing to unpack .../32-libepoxy0_1.5.10-1_arm64.deb ... 493s Unpacking libepoxy0:arm64 (1.5.10-1) ... 493s Selecting previously unselected package libgraphite2-3:arm64. 493s Preparing to unpack .../33-libgraphite2-3_1.3.14-2_arm64.deb ... 493s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 493s Selecting previously unselected package libharfbuzz0b:arm64. 493s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2_arm64.deb ... 493s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 493s Selecting previously unselected package fontconfig. 493s Preparing to unpack .../35-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 493s Unpacking fontconfig (2.15.0-1ubuntu1) ... 493s Selecting previously unselected package libthai-data. 493s Preparing to unpack .../36-libthai-data_0.1.29-2_all.deb ... 493s Unpacking libthai-data (0.1.29-2) ... 493s Selecting previously unselected package libdatrie1:arm64. 493s Preparing to unpack .../37-libdatrie1_0.2.13-3_arm64.deb ... 493s Unpacking libdatrie1:arm64 (0.2.13-3) ... 493s Selecting previously unselected package libthai0:arm64. 493s Preparing to unpack .../38-libthai0_0.1.29-2_arm64.deb ... 493s Unpacking libthai0:arm64 (0.1.29-2) ... 493s Selecting previously unselected package libpango-1.0-0:arm64. 493s Preparing to unpack .../39-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 493s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 493s Selecting previously unselected package libpangoft2-1.0-0:arm64. 493s Preparing to unpack .../40-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 493s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 493s Selecting previously unselected package libpangocairo-1.0-0:arm64. 494s Preparing to unpack .../41-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 494s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 494s Selecting previously unselected package libwayland-client0:arm64. 494s Preparing to unpack .../42-libwayland-client0_1.22.0-2.1_arm64.deb ... 494s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 494s Selecting previously unselected package libwayland-cursor0:arm64. 494s Preparing to unpack .../43-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 494s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 494s Selecting previously unselected package libwayland-egl1:arm64. 494s Preparing to unpack .../44-libwayland-egl1_1.22.0-2.1_arm64.deb ... 494s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 494s Selecting previously unselected package libxcomposite1:arm64. 494s Preparing to unpack .../45-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 494s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 494s Selecting previously unselected package libxfixes3:arm64. 494s Preparing to unpack .../46-libxfixes3_1%3a6.0.0-2_arm64.deb ... 494s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 494s Selecting previously unselected package libxcursor1:arm64. 494s Preparing to unpack .../47-libxcursor1_1%3a1.2.1-1_arm64.deb ... 494s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 494s Selecting previously unselected package libxdamage1:arm64. 494s Preparing to unpack .../48-libxdamage1_1%3a1.1.6-1_arm64.deb ... 494s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 494s Selecting previously unselected package libxinerama1:arm64. 494s Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ... 494s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 494s Selecting previously unselected package libxrandr2:arm64. 494s Preparing to unpack .../50-libxrandr2_2%3a1.5.2-2_arm64.deb ... 494s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 494s Selecting previously unselected package libdconf1:arm64. 494s Preparing to unpack .../51-libdconf1_0.40.0-4_arm64.deb ... 494s Unpacking libdconf1:arm64 (0.40.0-4) ... 494s Selecting previously unselected package dconf-service. 494s Preparing to unpack .../52-dconf-service_0.40.0-4_arm64.deb ... 494s Unpacking dconf-service (0.40.0-4) ... 494s Selecting previously unselected package dconf-gsettings-backend:arm64. 494s Preparing to unpack .../53-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 494s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 494s Selecting previously unselected package libgtk-3-common. 494s Preparing to unpack .../54-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 494s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 494s Selecting previously unselected package libgtk-3-0:arm64. 494s Preparing to unpack .../55-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 494s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 494s Selecting previously unselected package libgtksourceview-3.0-common. 494s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 494s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 494s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 494s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 494s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 494s Selecting previously unselected package libstdlib-ocaml. 495s Preparing to unpack .../58-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 495s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 495s Selecting previously unselected package ocaml-base. 495s Preparing to unpack .../59-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 495s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 495s Selecting previously unselected package libcairo2-ocaml. 495s Preparing to unpack .../60-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 495s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 495s Selecting previously unselected package liblablgtk3-ocaml. 495s Preparing to unpack .../61-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 495s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 495s Selecting previously unselected package liblablgtksourceview3-ocaml. 495s Preparing to unpack .../62-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 495s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 495s Selecting previously unselected package tex-common. 495s Preparing to unpack .../63-tex-common_6.18_all.deb ... 495s Unpacking tex-common (6.18) ... 495s Selecting previously unselected package why3. 495s Preparing to unpack .../64-why3_1.6.0-1build4_arm64.deb ... 495s Unpacking why3 (1.6.0-1build4) ... 495s Selecting previously unselected package libcln6:arm64. 495s Preparing to unpack .../65-libcln6_1.3.7-1_arm64.deb ... 495s Unpacking libcln6:arm64 (1.3.7-1) ... 495s Selecting previously unselected package libcvc4-7:arm64. 495s Preparing to unpack .../66-libcvc4-7_1.8-3_arm64.deb ... 495s Unpacking libcvc4-7:arm64 (1.8-3) ... 496s Selecting previously unselected package libantlr3c-3.4-0:arm64. 496s Preparing to unpack .../67-libantlr3c-3.4-0_3.4+dfsg-4build1_arm64.deb ... 496s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 496s Selecting previously unselected package libcvc4parser7:arm64. 496s Preparing to unpack .../68-libcvc4parser7_1.8-3_arm64.deb ... 496s Unpacking libcvc4parser7:arm64 (1.8-3) ... 496s Selecting previously unselected package cvc4. 496s Preparing to unpack .../69-cvc4_1.8-3_arm64.deb ... 496s Unpacking cvc4 (1.8-3) ... 496s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 496s Setting up liblcms2-2:arm64 (2.14-2) ... 496s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 496s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 496s Setting up libcln6:arm64 (1.3.7-1) ... 496s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 496s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 496s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 496s Setting up hicolor-icon-theme (0.17-2) ... 496s Setting up libxi6:arm64 (2:1.8.1-1) ... 496s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 496s Setting up libdatrie1:arm64 (0.2.13-3) ... 496s Setting up libxcb-render0:arm64 (1.15-1) ... 496s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu1) ... 496s Setting up libdeflate0:arm64 (1.19-1) ... 496s Setting up libxcb-shm0:arm64 (1.15-1) ... 496s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 496s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 496s Setting up libcolord2:arm64 (1.4.7-1) ... 496s Setting up libdconf1:arm64 (0.40.0-4) ... 496s Setting up tex-common (6.18) ... 496s update-language: texlive-base not installed and configured, doing nothing! 496s Setting up libepoxy0:arm64 (1.5.10-1) ... 496s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 496s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 496s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 496s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 496s Setting up fonts-dejavu-mono (2.37-8) ... 496s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 496s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 496s Setting up ocaml-base (4.14.1-1ubuntu1) ... 496s Setting up fonts-dejavu-core (2.37-8) ... 496s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 496s Setting up libwebp7:arm64 (1.3.2-0.4) ... 496s Setting up at-spi2-common (2.50.0-1) ... 496s Setting up libcvc4-7:arm64 (1.8-3) ... 496s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 496s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 496s Setting up libthai-data (0.1.29-2) ... 496s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 496s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 496s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 496s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 496s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 496s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 496s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 496s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 496s Setting up dconf-service (0.40.0-4) ... 496s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 496s Setting up libthai0:arm64 (0.1.29-2) ... 496s Setting up libcvc4parser7:arm64 (1.8-3) ... 496s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 496s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 496s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3ubuntu1) ... 497s Setting up cvc4 (1.8-3) ... 497s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 497s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 497s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 497s Setting up fontconfig (2.15.0-1ubuntu1) ... 499s Regenerating fonts cache... done. 499s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 499s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 499s Setting up libcairo2:arm64 (1.18.0-1) ... 499s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 499s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 499s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 499s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 499s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 499s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 499s Setting up adwaita-icon-theme (46~rc-1) ... 499s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 499s Setting up humanity-icon-theme (0.6.16) ... 499s Setting up ubuntu-mono (24.04-0ubuntu1) ... 499s Processing triggers for man-db (2.12.0-3) ... 500s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 500s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 500s Processing triggers for libc-bin (2.39-0ubuntu2) ... 500s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 500s Setting up liblablgtk3-ocaml (3.1.4-1) ... 500s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 500s Setting up why3 (1.6.0-1build4) ... 500s Setting up autopkgtest-satdep (0) ... 500s Processing triggers for libc-bin (2.39-0ubuntu2) ... 505s (Reading database ... 88112 files and directories currently installed.) 505s Removing autopkgtest-satdep (0) ... 513s autopkgtest [08:13:45]: test why3+cvc4: [----------------------- 515s autopkgtest [08:13:47]: test why3+cvc4: -----------------------] 515s why3+cvc4 PASS 515s autopkgtest [08:13:47]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 515s autopkgtest [08:13:47]: test why3+spass: preparing testbed 609s autopkgtest [08:15:21]: @@@@@@@@@@@@@@@@@@@@ test bed setup 610s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 611s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2622 kB] 612s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 612s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 612s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 612s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 612s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 612s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 612s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 612s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2971 kB] 612s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 612s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 612s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 614s Fetched 6838 kB in 3s (2453 kB/s) 614s Reading package lists... 617s Reading package lists... 617s Building dependency tree... 617s Reading state information... 618s Calculating upgrade... 618s The following packages will be REMOVED: 618s libglib2.0-0 618s The following NEW packages will be installed: 618s libglib2.0-0t64 xdg-user-dirs 618s The following packages will be upgraded: 618s gir1.2-glib-2.0 libglib2.0-data 619s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 619s Need to get 1774 kB of archives. 619s After this operation, 138 kB of additional disk space will be used. 619s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 619s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 619s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 619s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 620s Fetched 1774 kB in 1s (2610 kB/s) 620s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 620s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 620s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 621s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 621s udisks2 depends on libglib2.0-0 (>= 2.77.0). 621s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 621s python3-gi depends on libglib2.0-0 (>= 2.77.0). 621s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 621s netplan.io depends on libglib2.0-0 (>= 2.70.0). 621s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 621s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 621s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 621s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 621s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 621s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 621s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 621s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 621s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 621s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 621s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 621s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 621s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 621s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 621s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 621s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 621s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 621s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 621s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 621s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 621s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 621s fwupd depends on libglib2.0-0 (>= 2.79.0). 621s bolt depends on libglib2.0-0 (>= 2.56.0). 621s 621s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 621s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 621s Selecting previously unselected package libglib2.0-0t64:arm64. 621s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74723 files and directories currently installed.) 621s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 621s 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... 621s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 621s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 621s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 621s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 621s Selecting previously unselected package xdg-user-dirs. 621s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 621s Unpacking xdg-user-dirs (0.18-1) ... 621s Setting up xdg-user-dirs (0.18-1) ... 621s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 621s No schema files found: doing nothing. 621s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 621s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 621s Processing triggers for man-db (2.12.0-3) ... 622s Processing triggers for libc-bin (2.39-0ubuntu2) ... 622s Reading package lists... 622s Building dependency tree... 622s Reading state information... 623s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 624s sh: Attempting to set up Debian/Ubuntu apt sources automatically 624s sh: Distribution appears to be Ubuntu 625s Reading package lists... 626s Building dependency tree... 626s Reading state information... 626s eatmydata is already the newest version (131-1). 626s dbus is already the newest version (1.14.10-4ubuntu1). 626s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 626s Reading package lists... 626s Building dependency tree... 626s Reading state information... 627s rng-tools-debian is already the newest version (2.4). 627s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 627s Reading package lists... 627s Building dependency tree... 627s Reading state information... 628s haveged is already the newest version (1.9.14-1ubuntu1). 628s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 628s Reading package lists... 628s Building dependency tree... 628s Reading state information... 629s The following packages will be REMOVED: 629s cloud-init* python3-configobj* python3-debconf* 629s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 629s After this operation, 3248 kB disk space will be freed. 629s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74762 files and directories currently installed.) 629s Removing cloud-init (24.1-0ubuntu1) ... 630s Removing python3-configobj (5.0.8-3) ... 630s Removing python3-debconf (1.5.86) ... 630s Processing triggers for man-db (2.12.0-3) ... 630s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74373 files and directories currently installed.) 630s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 631s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 631s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 632s Reading package lists... 632s Building dependency tree... 632s Reading state information... 633s linux-generic is already the newest version (6.8.0-11.11+1). 633s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 633s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 633s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 633s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 633s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 635s Reading package lists... 635s Reading package lists... 635s Building dependency tree... 635s Reading state information... 635s Calculating upgrade... 636s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 636s Reading package lists... 636s Building dependency tree... 636s Reading state information... 637s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 637s autopkgtest [08:15:49]: rebooting testbed after setup commands that affected boot 851s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 857s autopkgtest [08:19:29]: testbed dpkg architecture: arm64 865s Reading package lists... 865s Building dependency tree... 865s Reading state information... 865s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 865s Starting 2 pkgProblemResolver with broken count: 0 865s Done 866s Done 866s Starting pkgProblemResolver with broken count: 0 866s Starting 2 pkgProblemResolver with broken count: 0 866s Done 866s The following additional packages will be installed: 866s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 866s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 866s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 866s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 866s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 866s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 866s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 866s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 866s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 866s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 866s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 866s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 866s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 866s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 866s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 866s ubuntu-mono why3 866s Suggested packages: 866s colord cups-common gvfs liblcms2-utils debhelper why3-examples 866s Recommended packages: 866s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 867s The following packages will be REMOVED: 867s libpng16-16 867s The following NEW packages will be installed: 867s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 867s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 867s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 867s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 867s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 867s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 867s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 867s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 867s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 867s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 867s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 867s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 867s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 867s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 867s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 867s ubuntu-mono why3 867s 0 upgraded, 71 newly installed, 1 to remove and 0 not upgraded. 867s 1 not fully installed or removed. 867s Need to get 34.5 MB of archives. 867s After this operation, 160 MB of additional disk space will be used. 867s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 867s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 867s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 867s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 867s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 867s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 867s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 867s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 867s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 867s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 867s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3ubuntu1 [7774 B] 867s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 867s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 867s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 867s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 867s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 867s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 867s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 867s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 867s Get:20 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3ubuntu1 [145 kB] 867s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 867s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 867s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 867s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 867s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 867s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 867s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 867s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 867s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 867s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 867s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 868s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 868s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 868s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 868s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 868s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 868s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 868s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 868s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 868s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 868s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 868s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 868s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 868s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 868s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 868s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 868s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 868s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 868s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 868s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 868s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 868s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 868s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 868s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 868s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 868s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 868s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 868s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 868s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 868s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 868s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 868s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 868s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 868s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 868s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 868s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 868s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 868s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 868s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 868s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 869s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 spass arm64 3.9-1.1 [254 kB] 870s Fetched 34.5 MB in 2s (16.1 MB/s) 870s Selecting previously unselected package fonts-dejavu-mono. 870s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74318 files and directories currently installed.) 870s Preparing to unpack .../fonts-dejavu-mono_2.37-8_all.deb ... 870s Unpacking fonts-dejavu-mono (2.37-8) ... 870s Selecting previously unselected package fonts-dejavu-core. 870s Preparing to unpack .../fonts-dejavu-core_2.37-8_all.deb ... 870s Unpacking fonts-dejavu-core (2.37-8) ... 870s Selecting previously unselected package fontconfig-config. 870s Preparing to unpack .../fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 870s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 870s Selecting previously unselected package libfontconfig1:arm64. 870s Preparing to unpack .../libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 870s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 870s Selecting previously unselected package libpixman-1-0:arm64. 870s Preparing to unpack .../libpixman-1-0_0.42.2-1_arm64.deb ... 870s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 870s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 870s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 870s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 870s 870s (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 ... 74460 files and directories currently installed.) 870s Removing libpng16-16:arm64 (1.6.43-1) ... 870s Selecting previously unselected package libpng16-16t64:arm64. 870s (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 ... 74450 files and directories currently installed.) 870s Preparing to unpack .../00-libpng16-16t64_1.6.43-3_arm64.deb ... 870s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 870s Selecting previously unselected package libxcb-render0:arm64. 870s Preparing to unpack .../01-libxcb-render0_1.15-1_arm64.deb ... 870s Unpacking libxcb-render0:arm64 (1.15-1) ... 870s Selecting previously unselected package libxcb-shm0:arm64. 870s Preparing to unpack .../02-libxcb-shm0_1.15-1_arm64.deb ... 870s Unpacking libxcb-shm0:arm64 (1.15-1) ... 870s Selecting previously unselected package libxrender1:arm64. 870s Preparing to unpack .../03-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 870s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 871s Selecting previously unselected package libcairo2:arm64. 871s Preparing to unpack .../04-libcairo2_1.18.0-1_arm64.deb ... 871s Unpacking libcairo2:arm64 (1.18.0-1) ... 871s Selecting previously unselected package libgdk-pixbuf2.0-common. 871s Preparing to unpack .../05-libgdk-pixbuf2.0-common_2.42.10+dfsg-3ubuntu1_all.deb ... 871s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu1) ... 871s Selecting previously unselected package libjpeg-turbo8:arm64. 871s Preparing to unpack .../06-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 871s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 871s Selecting previously unselected package libjpeg8:arm64. 871s Preparing to unpack .../07-libjpeg8_8c-2ubuntu11_arm64.deb ... 871s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 871s Selecting previously unselected package libdeflate0:arm64. 871s Preparing to unpack .../08-libdeflate0_1.19-1_arm64.deb ... 871s Unpacking libdeflate0:arm64 (1.19-1) ... 871s Selecting previously unselected package libjbig0:arm64. 871s Preparing to unpack .../09-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 871s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 871s Selecting previously unselected package liblerc4:arm64. 871s Preparing to unpack .../10-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 871s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 871s Selecting previously unselected package libsharpyuv0:arm64. 871s Preparing to unpack .../11-libsharpyuv0_1.3.2-0.4_arm64.deb ... 871s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 871s Selecting previously unselected package libwebp7:arm64. 871s Preparing to unpack .../12-libwebp7_1.3.2-0.4_arm64.deb ... 871s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 871s Selecting previously unselected package libtiff6:arm64. 871s Preparing to unpack .../13-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 871s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 871s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 871s Preparing to unpack .../14-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3ubuntu1_arm64.deb ... 871s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3ubuntu1) ... 871s Selecting previously unselected package gtk-update-icon-cache. 871s Preparing to unpack .../15-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 871s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 871s Selecting previously unselected package hicolor-icon-theme. 871s Preparing to unpack .../16-hicolor-icon-theme_0.17-2_all.deb ... 871s Unpacking hicolor-icon-theme (0.17-2) ... 871s Selecting previously unselected package humanity-icon-theme. 871s Preparing to unpack .../17-humanity-icon-theme_0.6.16_all.deb ... 871s Unpacking humanity-icon-theme (0.6.16) ... 872s Selecting previously unselected package ubuntu-mono. 872s Preparing to unpack .../18-ubuntu-mono_24.04-0ubuntu1_all.deb ... 872s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 872s Selecting previously unselected package adwaita-icon-theme. 872s Preparing to unpack .../19-adwaita-icon-theme_46~rc-1_all.deb ... 872s Unpacking adwaita-icon-theme (46~rc-1) ... 872s Selecting previously unselected package at-spi2-common. 872s Preparing to unpack .../20-at-spi2-common_2.50.0-1_all.deb ... 872s Unpacking at-spi2-common (2.50.0-1) ... 872s Selecting previously unselected package libatk1.0-0:arm64. 872s Preparing to unpack .../21-libatk1.0-0_2.50.0-1_arm64.deb ... 872s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 872s Selecting previously unselected package libxi6:arm64. 872s Preparing to unpack .../22-libxi6_2%3a1.8.1-1_arm64.deb ... 872s Unpacking libxi6:arm64 (2:1.8.1-1) ... 872s Selecting previously unselected package libatspi2.0-0:arm64. 872s Preparing to unpack .../23-libatspi2.0-0_2.50.0-1_arm64.deb ... 872s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 872s Selecting previously unselected package libatk-bridge2.0-0:arm64. 873s Preparing to unpack .../24-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 873s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 873s Selecting previously unselected package libcairo-gobject2:arm64. 873s Preparing to unpack .../25-libcairo-gobject2_1.18.0-1_arm64.deb ... 873s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 873s Selecting previously unselected package liblcms2-2:arm64. 873s Preparing to unpack .../26-liblcms2-2_2.14-2_arm64.deb ... 873s Unpacking liblcms2-2:arm64 (2.14-2) ... 873s Selecting previously unselected package libcolord2:arm64. 873s Preparing to unpack .../27-libcolord2_1.4.7-1_arm64.deb ... 873s Unpacking libcolord2:arm64 (1.4.7-1) ... 873s Selecting previously unselected package libavahi-common-data:arm64. 873s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 873s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 873s Selecting previously unselected package libavahi-common3:arm64. 873s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 873s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 873s Selecting previously unselected package libavahi-client3:arm64. 873s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 873s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 873s Selecting previously unselected package libcups2:arm64. 873s Preparing to unpack .../31-libcups2_2.4.6-0ubuntu3_arm64.deb ... 873s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 873s Selecting previously unselected package libepoxy0:arm64. 873s Preparing to unpack .../32-libepoxy0_1.5.10-1_arm64.deb ... 873s Unpacking libepoxy0:arm64 (1.5.10-1) ... 873s Selecting previously unselected package libgraphite2-3:arm64. 873s Preparing to unpack .../33-libgraphite2-3_1.3.14-2_arm64.deb ... 873s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 873s Selecting previously unselected package libharfbuzz0b:arm64. 873s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2_arm64.deb ... 873s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 873s Selecting previously unselected package fontconfig. 873s Preparing to unpack .../35-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 873s Unpacking fontconfig (2.15.0-1ubuntu1) ... 873s Selecting previously unselected package libthai-data. 873s Preparing to unpack .../36-libthai-data_0.1.29-2_all.deb ... 873s Unpacking libthai-data (0.1.29-2) ... 873s Selecting previously unselected package libdatrie1:arm64. 873s Preparing to unpack .../37-libdatrie1_0.2.13-3_arm64.deb ... 873s Unpacking libdatrie1:arm64 (0.2.13-3) ... 873s Selecting previously unselected package libthai0:arm64. 873s Preparing to unpack .../38-libthai0_0.1.29-2_arm64.deb ... 873s Unpacking libthai0:arm64 (0.1.29-2) ... 873s Selecting previously unselected package libpango-1.0-0:arm64. 873s Preparing to unpack .../39-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 873s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 873s Selecting previously unselected package libpangoft2-1.0-0:arm64. 873s Preparing to unpack .../40-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 873s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 873s Selecting previously unselected package libpangocairo-1.0-0:arm64. 873s Preparing to unpack .../41-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 873s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 873s Selecting previously unselected package libwayland-client0:arm64. 874s Preparing to unpack .../42-libwayland-client0_1.22.0-2.1_arm64.deb ... 874s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 874s Selecting previously unselected package libwayland-cursor0:arm64. 874s Preparing to unpack .../43-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 874s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 874s Selecting previously unselected package libwayland-egl1:arm64. 874s Preparing to unpack .../44-libwayland-egl1_1.22.0-2.1_arm64.deb ... 874s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 874s Selecting previously unselected package libxcomposite1:arm64. 874s Preparing to unpack .../45-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 874s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 874s Selecting previously unselected package libxfixes3:arm64. 874s Preparing to unpack .../46-libxfixes3_1%3a6.0.0-2_arm64.deb ... 874s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 874s Selecting previously unselected package libxcursor1:arm64. 874s Preparing to unpack .../47-libxcursor1_1%3a1.2.1-1_arm64.deb ... 874s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 874s Selecting previously unselected package libxdamage1:arm64. 874s Preparing to unpack .../48-libxdamage1_1%3a1.1.6-1_arm64.deb ... 874s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 874s Selecting previously unselected package libxinerama1:arm64. 874s Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ... 874s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 874s Selecting previously unselected package libxrandr2:arm64. 874s Preparing to unpack .../50-libxrandr2_2%3a1.5.2-2_arm64.deb ... 874s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 874s Selecting previously unselected package libdconf1:arm64. 874s Preparing to unpack .../51-libdconf1_0.40.0-4_arm64.deb ... 874s Unpacking libdconf1:arm64 (0.40.0-4) ... 874s Selecting previously unselected package dconf-service. 874s Preparing to unpack .../52-dconf-service_0.40.0-4_arm64.deb ... 874s Unpacking dconf-service (0.40.0-4) ... 874s Selecting previously unselected package dconf-gsettings-backend:arm64. 874s Preparing to unpack .../53-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 874s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 874s Selecting previously unselected package libgtk-3-common. 874s Preparing to unpack .../54-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 874s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 874s Selecting previously unselected package libgtk-3-0:arm64. 874s Preparing to unpack .../55-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 874s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 874s Selecting previously unselected package libgtksourceview-3.0-common. 874s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 874s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 875s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 875s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 875s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 875s Selecting previously unselected package libstdlib-ocaml. 875s Preparing to unpack .../58-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 875s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 875s Selecting previously unselected package ocaml-base. 875s Preparing to unpack .../59-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 875s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 875s Selecting previously unselected package libcairo2-ocaml. 875s Preparing to unpack .../60-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 875s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 875s Selecting previously unselected package liblablgtk3-ocaml. 875s Preparing to unpack .../61-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 875s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 875s Selecting previously unselected package liblablgtksourceview3-ocaml. 875s Preparing to unpack .../62-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 875s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 875s Selecting previously unselected package tex-common. 875s Preparing to unpack .../63-tex-common_6.18_all.deb ... 875s Unpacking tex-common (6.18) ... 875s Selecting previously unselected package why3. 875s Preparing to unpack .../64-why3_1.6.0-1build4_arm64.deb ... 875s Unpacking why3 (1.6.0-1build4) ... 875s Selecting previously unselected package spass. 875s Preparing to unpack .../65-spass_3.9-1.1_arm64.deb ... 875s Unpacking spass (3.9-1.1) ... 875s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 875s Setting up liblcms2-2:arm64 (2.14-2) ... 875s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 875s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 875s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 875s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 875s Setting up hicolor-icon-theme (0.17-2) ... 875s Setting up libxi6:arm64 (2:1.8.1-1) ... 875s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 875s Setting up libdatrie1:arm64 (0.2.13-3) ... 875s Setting up libxcb-render0:arm64 (1.15-1) ... 875s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu1) ... 875s Setting up libdeflate0:arm64 (1.19-1) ... 875s Setting up libxcb-shm0:arm64 (1.15-1) ... 875s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 876s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 876s Setting up libcolord2:arm64 (1.4.7-1) ... 876s Setting up libdconf1:arm64 (0.40.0-4) ... 876s Setting up tex-common (6.18) ... 876s update-language: texlive-base not installed and configured, doing nothing! 876s Setting up libepoxy0:arm64 (1.5.10-1) ... 876s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 876s Setting up spass (3.9-1.1) ... 876s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 876s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 876s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 876s Setting up fonts-dejavu-mono (2.37-8) ... 876s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 876s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 876s Setting up ocaml-base (4.14.1-1ubuntu1) ... 876s Setting up fonts-dejavu-core (2.37-8) ... 876s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 876s Setting up libwebp7:arm64 (1.3.2-0.4) ... 876s Setting up at-spi2-common (2.50.0-1) ... 876s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 876s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 876s Setting up libthai-data (0.1.29-2) ... 876s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 876s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 876s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 876s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 876s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 876s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 876s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 876s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 876s Setting up dconf-service (0.40.0-4) ... 876s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 876s Setting up libthai0:arm64 (0.1.29-2) ... 876s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 876s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 876s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3ubuntu1) ... 876s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 876s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 876s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 876s Setting up fontconfig (2.15.0-1ubuntu1) ... 878s Regenerating fonts cache... done. 878s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 878s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 878s Setting up libcairo2:arm64 (1.18.0-1) ... 878s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 878s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 878s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 878s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 878s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 878s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 878s Setting up adwaita-icon-theme (46~rc-1) ... 878s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 878s Setting up humanity-icon-theme (0.6.16) ... 878s Setting up ubuntu-mono (24.04-0ubuntu1) ... 879s Processing triggers for man-db (2.12.0-3) ... 880s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 880s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 880s Processing triggers for libc-bin (2.39-0ubuntu2) ... 880s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 880s Setting up liblablgtk3-ocaml (3.1.4-1) ... 880s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 880s Setting up why3 (1.6.0-1build4) ... 880s Setting up autopkgtest-satdep (0) ... 880s Processing triggers for libc-bin (2.39-0ubuntu2) ... 888s (Reading database ... 88069 files and directories currently installed.) 888s Removing autopkgtest-satdep (0) ... 895s autopkgtest [08:20:07]: test why3+spass: [----------------------- 896s autopkgtest [08:20:08]: test why3+spass: -----------------------] 897s why3+spass PASS 897s autopkgtest [08:20:09]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 897s autopkgtest [08:20:09]: test why3+z3: preparing testbed 974s autopkgtest [08:21:26]: @@@@@@@@@@@@@@@@@@@@ test bed setup 974s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 975s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 975s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 975s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 975s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2622 kB] 975s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 975s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 975s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 975s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 975s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2971 kB] 975s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 975s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 975s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 977s Fetched 6838 kB in 2s (4536 kB/s) 977s Reading package lists... 980s Reading package lists... 981s Building dependency tree... 981s Reading state information... 982s Calculating upgrade... 983s The following packages will be REMOVED: 983s libglib2.0-0 983s The following NEW packages will be installed: 983s libglib2.0-0t64 xdg-user-dirs 983s The following packages will be upgraded: 983s gir1.2-glib-2.0 libglib2.0-data 983s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 983s Need to get 1774 kB of archives. 983s After this operation, 138 kB of additional disk space will be used. 983s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 983s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 983s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 983s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 984s Fetched 1774 kB in 1s (2671 kB/s) 984s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 984s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 984s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 984s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 984s udisks2 depends on libglib2.0-0 (>= 2.77.0). 984s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 984s python3-gi depends on libglib2.0-0 (>= 2.77.0). 984s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 984s netplan.io depends on libglib2.0-0 (>= 2.70.0). 984s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 984s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 984s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 984s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 984s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 984s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 984s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 984s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 984s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 984s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 984s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 984s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 984s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 984s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 984s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 984s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 984s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 984s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 984s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 984s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 984s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 984s fwupd depends on libglib2.0-0 (>= 2.79.0). 984s bolt depends on libglib2.0-0 (>= 2.56.0). 984s 984s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74748 files and directories currently installed.) 984s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 985s Selecting previously unselected package libglib2.0-0t64:arm64. 985s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74723 files and directories currently installed.) 985s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 985s 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... 985s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 985s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 985s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 985s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 985s Selecting previously unselected package xdg-user-dirs. 985s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 985s Unpacking xdg-user-dirs (0.18-1) ... 985s Setting up xdg-user-dirs (0.18-1) ... 985s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 985s No schema files found: doing nothing. 985s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 985s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 985s Processing triggers for man-db (2.12.0-3) ... 985s Processing triggers for libc-bin (2.39-0ubuntu2) ... 986s Reading package lists... 986s Building dependency tree... 986s Reading state information... 987s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 988s sh: Attempting to set up Debian/Ubuntu apt sources automatically 988s sh: Distribution appears to be Ubuntu 989s Reading package lists... 989s Building dependency tree... 989s Reading state information... 991s eatmydata is already the newest version (131-1). 991s dbus is already the newest version (1.14.10-4ubuntu1). 991s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 991s Reading package lists... 991s Building dependency tree... 991s Reading state information... 992s rng-tools-debian is already the newest version (2.4). 992s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 992s Reading package lists... 992s Building dependency tree... 992s Reading state information... 992s haveged is already the newest version (1.9.14-1ubuntu1). 992s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 993s Reading package lists... 993s Building dependency tree... 993s Reading state information... 993s The following packages will be REMOVED: 993s cloud-init* python3-configobj* python3-debconf* 994s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 994s After this operation, 3248 kB disk space will be freed. 994s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74762 files and directories currently installed.) 994s Removing cloud-init (24.1-0ubuntu1) ... 994s Removing python3-configobj (5.0.8-3) ... 994s Removing python3-debconf (1.5.86) ... 995s Processing triggers for man-db (2.12.0-3) ... 995s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74373 files and directories currently installed.) 995s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 996s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 996s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 996s Reading package lists... 996s Building dependency tree... 996s Reading state information... 997s linux-generic is already the newest version (6.8.0-11.11+1). 997s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 998s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 998s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 998s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 998s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 999s Reading package lists... 999s Reading package lists... 1000s Building dependency tree... 1000s Reading state information... 1000s Calculating upgrade... 1000s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1000s Reading package lists... 1001s Building dependency tree... 1001s Reading state information... 1001s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1001s autopkgtest [08:21:53]: rebooting testbed after setup commands that affected boot 1027s autopkgtest [08:22:19]: testbed dpkg architecture: arm64 1031s Reading package lists... 1031s Building dependency tree... 1031s Reading state information... 1032s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 1032s Starting 2 pkgProblemResolver with broken count: 0 1032s Done 1032s Done 1033s Starting pkgProblemResolver with broken count: 0 1033s Starting 2 pkgProblemResolver with broken count: 0 1034s Done 1035s The following additional packages will be installed: 1035s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1035s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1035s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1035s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1035s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1035s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1035s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1035s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1035s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1035s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1035s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1035s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1035s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1035s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1035s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1035s why3 z3 1035s Suggested packages: 1035s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1035s Recommended packages: 1035s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1035s The following packages will be REMOVED: 1035s libpng16-16 1035s The following NEW packages will be installed: 1035s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1035s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1035s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1035s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1035s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1035s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1035s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1035s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1035s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1035s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1035s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1035s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1035s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1035s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1035s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1035s why3 z3 1036s 0 upgraded, 71 newly installed, 1 to remove and 0 not upgraded. 1036s 1 not fully installed or removed. 1036s Need to get 39.7 MB of archives. 1036s After this operation, 174 MB of additional disk space will be used. 1036s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1036s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1036s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 1036s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 1036s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 1036s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 1036s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 1036s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 1036s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 1036s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 1036s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3ubuntu1 [7774 B] 1036s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 1036s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1036s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 1036s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 1036s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 1036s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 1036s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 1036s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 1036s Get:20 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3ubuntu1 [145 kB] 1036s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 1036s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 1036s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 1036s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1036s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 1036s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 1036s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 1036s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 1036s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 1036s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 1036s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 1036s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 1036s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 1036s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 1036s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 1036s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 1036s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 1036s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 1036s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 1036s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 1036s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 1036s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 1037s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 1037s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 1037s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 1037s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 1037s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 1037s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 1037s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 1037s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 1037s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 1037s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 1037s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 1037s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 1037s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 1037s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 1037s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 1037s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 1037s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 1037s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1037s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 1037s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1037s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 1037s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 1037s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 1037s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 1037s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 1037s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 1037s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 1037s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 1037s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 z3 arm64 4.8.12-3.1 [5412 kB] 1039s Fetched 39.7 MB in 2s (18.3 MB/s) 1039s Selecting previously unselected package fonts-dejavu-mono. 1039s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74318 files and directories currently installed.) 1039s Preparing to unpack .../fonts-dejavu-mono_2.37-8_all.deb ... 1039s Unpacking fonts-dejavu-mono (2.37-8) ... 1039s Selecting previously unselected package fonts-dejavu-core. 1039s Preparing to unpack .../fonts-dejavu-core_2.37-8_all.deb ... 1039s Unpacking fonts-dejavu-core (2.37-8) ... 1039s Selecting previously unselected package fontconfig-config. 1039s Preparing to unpack .../fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 1039s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1039s Selecting previously unselected package libfontconfig1:arm64. 1039s Preparing to unpack .../libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 1039s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1039s Selecting previously unselected package libpixman-1-0:arm64. 1039s Preparing to unpack .../libpixman-1-0_0.42.2-1_arm64.deb ... 1039s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 1039s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 1039s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 1039s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 1039s 1039s (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 ... 74460 files and directories currently installed.) 1039s Removing libpng16-16:arm64 (1.6.43-1) ... 1039s Selecting previously unselected package libpng16-16t64:arm64. 1039s (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 ... 74450 files and directories currently installed.) 1039s Preparing to unpack .../00-libpng16-16t64_1.6.43-3_arm64.deb ... 1039s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 1039s Selecting previously unselected package libxcb-render0:arm64. 1039s Preparing to unpack .../01-libxcb-render0_1.15-1_arm64.deb ... 1039s Unpacking libxcb-render0:arm64 (1.15-1) ... 1039s Selecting previously unselected package libxcb-shm0:arm64. 1039s Preparing to unpack .../02-libxcb-shm0_1.15-1_arm64.deb ... 1039s Unpacking libxcb-shm0:arm64 (1.15-1) ... 1039s Selecting previously unselected package libxrender1:arm64. 1039s Preparing to unpack .../03-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 1039s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 1039s Selecting previously unselected package libcairo2:arm64. 1039s Preparing to unpack .../04-libcairo2_1.18.0-1_arm64.deb ... 1039s Unpacking libcairo2:arm64 (1.18.0-1) ... 1039s Selecting previously unselected package libgdk-pixbuf2.0-common. 1039s Preparing to unpack .../05-libgdk-pixbuf2.0-common_2.42.10+dfsg-3ubuntu1_all.deb ... 1039s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu1) ... 1039s Selecting previously unselected package libjpeg-turbo8:arm64. 1039s Preparing to unpack .../06-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 1039s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1039s Selecting previously unselected package libjpeg8:arm64. 1039s Preparing to unpack .../07-libjpeg8_8c-2ubuntu11_arm64.deb ... 1039s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1039s Selecting previously unselected package libdeflate0:arm64. 1039s Preparing to unpack .../08-libdeflate0_1.19-1_arm64.deb ... 1039s Unpacking libdeflate0:arm64 (1.19-1) ... 1040s Selecting previously unselected package libjbig0:arm64. 1040s Preparing to unpack .../09-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 1040s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 1040s Selecting previously unselected package liblerc4:arm64. 1040s Preparing to unpack .../10-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 1040s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1040s Selecting previously unselected package libsharpyuv0:arm64. 1040s Preparing to unpack .../11-libsharpyuv0_1.3.2-0.4_arm64.deb ... 1040s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 1040s Selecting previously unselected package libwebp7:arm64. 1040s Preparing to unpack .../12-libwebp7_1.3.2-0.4_arm64.deb ... 1040s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 1040s Selecting previously unselected package libtiff6:arm64. 1040s Preparing to unpack .../13-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 1040s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1040s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1040s Preparing to unpack .../14-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3ubuntu1_arm64.deb ... 1040s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3ubuntu1) ... 1040s Selecting previously unselected package gtk-update-icon-cache. 1040s Preparing to unpack .../15-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 1040s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1040s Selecting previously unselected package hicolor-icon-theme. 1040s Preparing to unpack .../16-hicolor-icon-theme_0.17-2_all.deb ... 1040s Unpacking hicolor-icon-theme (0.17-2) ... 1040s Selecting previously unselected package humanity-icon-theme. 1040s Preparing to unpack .../17-humanity-icon-theme_0.6.16_all.deb ... 1040s Unpacking humanity-icon-theme (0.6.16) ... 1040s Selecting previously unselected package ubuntu-mono. 1040s Preparing to unpack .../18-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1040s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1041s Selecting previously unselected package adwaita-icon-theme. 1041s Preparing to unpack .../19-adwaita-icon-theme_46~rc-1_all.deb ... 1041s Unpacking adwaita-icon-theme (46~rc-1) ... 1041s Selecting previously unselected package at-spi2-common. 1041s Preparing to unpack .../20-at-spi2-common_2.50.0-1_all.deb ... 1041s Unpacking at-spi2-common (2.50.0-1) ... 1041s Selecting previously unselected package libatk1.0-0:arm64. 1041s Preparing to unpack .../21-libatk1.0-0_2.50.0-1_arm64.deb ... 1041s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 1041s Selecting previously unselected package libxi6:arm64. 1041s Preparing to unpack .../22-libxi6_2%3a1.8.1-1_arm64.deb ... 1041s Unpacking libxi6:arm64 (2:1.8.1-1) ... 1041s Selecting previously unselected package libatspi2.0-0:arm64. 1041s Preparing to unpack .../23-libatspi2.0-0_2.50.0-1_arm64.deb ... 1041s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 1041s Selecting previously unselected package libatk-bridge2.0-0:arm64. 1041s Preparing to unpack .../24-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 1041s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1041s Selecting previously unselected package libcairo-gobject2:arm64. 1041s Preparing to unpack .../25-libcairo-gobject2_1.18.0-1_arm64.deb ... 1041s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 1041s Selecting previously unselected package liblcms2-2:arm64. 1041s Preparing to unpack .../26-liblcms2-2_2.14-2_arm64.deb ... 1041s Unpacking liblcms2-2:arm64 (2.14-2) ... 1041s Selecting previously unselected package libcolord2:arm64. 1041s Preparing to unpack .../27-libcolord2_1.4.7-1_arm64.deb ... 1041s Unpacking libcolord2:arm64 (1.4.7-1) ... 1041s Selecting previously unselected package libavahi-common-data:arm64. 1041s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 1041s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1041s Selecting previously unselected package libavahi-common3:arm64. 1041s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 1041s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 1041s Selecting previously unselected package libavahi-client3:arm64. 1041s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 1041s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 1041s Selecting previously unselected package libcups2:arm64. 1041s Preparing to unpack .../31-libcups2_2.4.6-0ubuntu3_arm64.deb ... 1041s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 1041s Selecting previously unselected package libepoxy0:arm64. 1041s Preparing to unpack .../32-libepoxy0_1.5.10-1_arm64.deb ... 1041s Unpacking libepoxy0:arm64 (1.5.10-1) ... 1041s Selecting previously unselected package libgraphite2-3:arm64. 1041s Preparing to unpack .../33-libgraphite2-3_1.3.14-2_arm64.deb ... 1041s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 1041s Selecting previously unselected package libharfbuzz0b:arm64. 1041s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2_arm64.deb ... 1041s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 1041s Selecting previously unselected package fontconfig. 1041s Preparing to unpack .../35-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 1041s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1041s Selecting previously unselected package libthai-data. 1041s Preparing to unpack .../36-libthai-data_0.1.29-2_all.deb ... 1041s Unpacking libthai-data (0.1.29-2) ... 1041s Selecting previously unselected package libdatrie1:arm64. 1041s Preparing to unpack .../37-libdatrie1_0.2.13-3_arm64.deb ... 1041s Unpacking libdatrie1:arm64 (0.2.13-3) ... 1041s Selecting previously unselected package libthai0:arm64. 1041s Preparing to unpack .../38-libthai0_0.1.29-2_arm64.deb ... 1041s Unpacking libthai0:arm64 (0.1.29-2) ... 1041s Selecting previously unselected package libpango-1.0-0:arm64. 1041s Preparing to unpack .../39-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 1041s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1041s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1041s Preparing to unpack .../40-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 1041s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1041s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1041s Preparing to unpack .../41-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 1041s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1041s Selecting previously unselected package libwayland-client0:arm64. 1041s Preparing to unpack .../42-libwayland-client0_1.22.0-2.1_arm64.deb ... 1041s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 1041s Selecting previously unselected package libwayland-cursor0:arm64. 1041s Preparing to unpack .../43-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 1041s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 1041s Selecting previously unselected package libwayland-egl1:arm64. 1041s Preparing to unpack .../44-libwayland-egl1_1.22.0-2.1_arm64.deb ... 1041s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 1042s Selecting previously unselected package libxcomposite1:arm64. 1042s Preparing to unpack .../45-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 1042s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 1042s Selecting previously unselected package libxfixes3:arm64. 1042s Preparing to unpack .../46-libxfixes3_1%3a6.0.0-2_arm64.deb ... 1042s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 1042s Selecting previously unselected package libxcursor1:arm64. 1042s Preparing to unpack .../47-libxcursor1_1%3a1.2.1-1_arm64.deb ... 1042s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 1042s Selecting previously unselected package libxdamage1:arm64. 1042s Preparing to unpack .../48-libxdamage1_1%3a1.1.6-1_arm64.deb ... 1042s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 1042s Selecting previously unselected package libxinerama1:arm64. 1042s Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ... 1042s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 1042s Selecting previously unselected package libxrandr2:arm64. 1042s Preparing to unpack .../50-libxrandr2_2%3a1.5.2-2_arm64.deb ... 1042s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 1042s Selecting previously unselected package libdconf1:arm64. 1042s Preparing to unpack .../51-libdconf1_0.40.0-4_arm64.deb ... 1042s Unpacking libdconf1:arm64 (0.40.0-4) ... 1042s Selecting previously unselected package dconf-service. 1042s Preparing to unpack .../52-dconf-service_0.40.0-4_arm64.deb ... 1042s Unpacking dconf-service (0.40.0-4) ... 1042s Selecting previously unselected package dconf-gsettings-backend:arm64. 1042s Preparing to unpack .../53-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 1042s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 1042s Selecting previously unselected package libgtk-3-common. 1042s Preparing to unpack .../54-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1042s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1042s Selecting previously unselected package libgtk-3-0:arm64. 1042s Preparing to unpack .../55-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 1042s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1042s Selecting previously unselected package libgtksourceview-3.0-common. 1042s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1042s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1042s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1042s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 1042s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1042s Selecting previously unselected package libstdlib-ocaml. 1042s Preparing to unpack .../58-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 1042s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1042s Selecting previously unselected package ocaml-base. 1042s Preparing to unpack .../59-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 1042s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1042s Selecting previously unselected package libcairo2-ocaml. 1042s Preparing to unpack .../60-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 1042s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1042s Selecting previously unselected package liblablgtk3-ocaml. 1042s Preparing to unpack .../61-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 1042s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1042s Selecting previously unselected package liblablgtksourceview3-ocaml. 1042s Preparing to unpack .../62-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 1042s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1042s Selecting previously unselected package tex-common. 1042s Preparing to unpack .../63-tex-common_6.18_all.deb ... 1042s Unpacking tex-common (6.18) ... 1042s Selecting previously unselected package why3. 1042s Preparing to unpack .../64-why3_1.6.0-1build4_arm64.deb ... 1042s Unpacking why3 (1.6.0-1build4) ... 1043s Selecting previously unselected package z3. 1043s Preparing to unpack .../65-z3_4.8.12-3.1_arm64.deb ... 1043s Unpacking z3 (4.8.12-3.1) ... 1043s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 1043s Setting up liblcms2-2:arm64 (2.14-2) ... 1043s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 1043s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 1043s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 1043s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1043s Setting up hicolor-icon-theme (0.17-2) ... 1043s Setting up libxi6:arm64 (2:1.8.1-1) ... 1043s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 1043s Setting up libdatrie1:arm64 (0.2.13-3) ... 1043s Setting up libxcb-render0:arm64 (1.15-1) ... 1043s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu1) ... 1043s Setting up libdeflate0:arm64 (1.19-1) ... 1043s Setting up libxcb-shm0:arm64 (1.15-1) ... 1043s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 1043s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 1043s Setting up z3 (4.8.12-3.1) ... 1043s Setting up libcolord2:arm64 (1.4.7-1) ... 1043s Setting up libdconf1:arm64 (0.40.0-4) ... 1043s Setting up tex-common (6.18) ... 1043s update-language: texlive-base not installed and configured, doing nothing! 1043s Setting up libepoxy0:arm64 (1.5.10-1) ... 1043s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 1043s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1043s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 1043s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1043s Setting up fonts-dejavu-mono (2.37-8) ... 1043s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 1043s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 1043s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1043s Setting up fonts-dejavu-core (2.37-8) ... 1043s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1043s Setting up libwebp7:arm64 (1.3.2-0.4) ... 1043s Setting up at-spi2-common (2.50.0-1) ... 1043s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1043s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 1043s Setting up libthai-data (0.1.29-2) ... 1043s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 1043s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 1043s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 1043s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 1043s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1043s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1044s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 1044s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 1044s Setting up dconf-service (0.40.0-4) ... 1044s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1044s Setting up libthai0:arm64 (0.1.29-2) ... 1044s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1044s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 1044s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3ubuntu1) ... 1044s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1044s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 1044s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1044s Setting up fontconfig (2.15.0-1ubuntu1) ... 1046s Regenerating fonts cache... done. 1046s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 1046s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1046s Setting up libcairo2:arm64 (1.18.0-1) ... 1046s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 1046s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 1046s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1046s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1046s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1046s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1046s Setting up adwaita-icon-theme (46~rc-1) ... 1046s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1046s Setting up humanity-icon-theme (0.6.16) ... 1046s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1046s Processing triggers for man-db (2.12.0-3) ... 1047s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1047s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1047s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1047s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1047s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1047s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1047s Setting up why3 (1.6.0-1build4) ... 1047s Setting up autopkgtest-satdep (0) ... 1047s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1052s (Reading database ... 88069 files and directories currently installed.) 1052s Removing autopkgtest-satdep (0) ... 1056s autopkgtest [08:22:48]: test why3+z3: [----------------------- 1058s autopkgtest [08:22:50]: test why3+z3: -----------------------] 1059s autopkgtest [08:22:51]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1059s why3+z3 PASS 1059s autopkgtest [08:22:51]: @@@@@@@@@@@@@@@@@@@@ summary 1059s why3+alt-ergo SKIP installation fails and skip-not-installable set 1059s why3+cvc4 PASS 1059s why3+spass PASS 1059s why3+z3 PASS 1071s Creating nova instance adt-noble-arm64-why3-20240311-080512-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)... 1071s Creating nova instance adt-noble-arm64-why3-20240311-080512-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)... 1071s Creating nova instance adt-noble-arm64-why3-20240311-080512-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)... 1071s Creating nova instance adt-noble-arm64-why3-20240311-080512-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)...