0s autopkgtest [06:13:12]: starting date: 2024-03-11 0s autopkgtest [06:13:12]: git checkout: d9c0295 adt_testbed.py: supress warnings from apt using a shell pipeline 0s autopkgtest [06:13:12]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.sw3m62ki/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:cairo,src:glib2.0,src:libpng1.6,src:wp2latex --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=cairo/1.18.0-1ubuntu1 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-19.secgroup --name adt-noble-arm64-why3-20240311-061312-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/ 84s autopkgtest [06:14:36]: @@@@@@@@@@@@@@@@@@@@ test bed setup 84s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 85s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 85s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 85s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 85s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2661 kB] 85s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 85s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 85s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 85s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 85s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2966 kB] 85s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 85s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 85s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 87s Fetched 6872 kB in 1s (4828 kB/s) 87s Reading package lists... 89s Reading package lists... 90s Building dependency tree... 90s Reading state information... 90s Calculating upgrade... 91s The following packages will be REMOVED: 91s libglib2.0-0 91s The following NEW packages will be installed: 91s libglib2.0-0t64 xdg-user-dirs 91s The following packages will be upgraded: 91s gir1.2-glib-2.0 libglib2.0-data 91s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 91s Need to get 1774 kB of archives. 91s After this operation, 138 kB of additional disk space will be used. 91s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 91s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 91s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 91s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 92s Fetched 1774 kB in 1s (2959 kB/s) 92s (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.) 92s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 92s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 92s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 92s udisks2 depends on libglib2.0-0 (>= 2.77.0). 92s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 92s python3-gi depends on libglib2.0-0 (>= 2.77.0). 92s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 92s netplan.io depends on libglib2.0-0 (>= 2.70.0). 92s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 92s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 92s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 92s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 92s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 92s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 92s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 92s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 92s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 92s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 92s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 92s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 92s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 92s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 92s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 92s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 92s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 92s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 92s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 92s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 92s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 92s fwupd depends on libglib2.0-0 (>= 2.79.0). 92s bolt depends on libglib2.0-0 (>= 2.56.0). 92s 92s (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.) 92s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 92s Selecting previously unselected package libglib2.0-0t64:arm64. 92s (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.) 92s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 92s 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... 92s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 93s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 93s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 93s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 93s Selecting previously unselected package xdg-user-dirs. 93s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 93s Unpacking xdg-user-dirs (0.18-1) ... 93s Setting up xdg-user-dirs (0.18-1) ... 93s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 93s No schema files found: doing nothing. 93s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 93s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 93s Processing triggers for man-db (2.12.0-3) ... 93s Processing triggers for libc-bin (2.39-0ubuntu2) ... 94s Reading package lists... 94s Building dependency tree... 94s Reading state information... 95s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 95s sh: Attempting to set up Debian/Ubuntu apt sources automatically 95s sh: Distribution appears to be Ubuntu 96s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s eatmydata is already the newest version (131-1). 97s dbus is already the newest version (1.14.10-4ubuntu1). 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s Reading package lists... 97s Building dependency tree... 97s Reading state information... 98s rng-tools-debian is already the newest version (2.4). 98s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 98s Reading package lists... 98s Building dependency tree... 98s Reading state information... 99s haveged is already the newest version (1.9.14-1ubuntu1). 99s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 99s Reading package lists... 99s Building dependency tree... 99s Reading state information... 100s The following packages will be REMOVED: 100s cloud-init* python3-configobj* python3-debconf* 100s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 100s After this operation, 3248 kB disk space will be freed. 100s (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.) 100s Removing cloud-init (24.1-0ubuntu1) ... 101s Removing python3-configobj (5.0.8-3) ... 101s Removing python3-debconf (1.5.86) ... 101s Processing triggers for man-db (2.12.0-3) ... 101s (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.) 101s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 102s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 102s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 102s Reading package lists... 103s Building dependency tree... 103s Reading state information... 103s linux-generic is already the newest version (6.8.0-11.11+1). 103s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 104s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 104s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 104s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 104s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 105s Reading package lists... 107s Reading package lists... 107s Building dependency tree... 107s Reading state information... 107s Calculating upgrade... 107s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 107s Reading package lists... 107s Building dependency tree... 107s Reading state information... 107s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 108s autopkgtest [06:15:00]: rebooting testbed after setup commands that affected boot 368s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 374s autopkgtest [06:19:26]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 375s autopkgtest [06:19:27]: testbed dpkg architecture: arm64 376s autopkgtest [06:19:28]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 380s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 380s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 380s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 382s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 382s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 382s gpgv: Can't check signature: No public key 382s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 384s autopkgtest [06:19:36]: testing package why3 version 1.6.0-1build4 384s autopkgtest [06:19:36]: build not needed 386s autopkgtest [06:19:38]: test why3+alt-ergo: preparing testbed 392s Reading package lists... 393s Building dependency tree... 393s Reading state information... 393s Correcting dependencies...Starting pkgProblemResolver with broken count: 1 393s Starting 2 pkgProblemResolver with broken count: 1 393s Investigating (0) autopkgtest-satdep:arm64 < 0 @iU K Nb Ib > 393s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 393s Removing autopkgtest-satdep:arm64 because I can't find alt-ergo:arm64 393s Done 393s Done 394s Starting pkgProblemResolver with broken count: 0 394s Starting 2 pkgProblemResolver with broken count: 0 394s Done 396s The following additional packages will be installed: 396s libpng16-16t64 396s The following packages will be REMOVED: 396s autopkgtest-satdep libpng16-16 396s The following NEW packages will be installed: 396s libpng16-16t64 396s 0 upgraded, 1 newly installed, 2 to remove and 0 not upgraded. 396s 1 not fully installed or removed. 396s Need to get 185 kB of archives. 396s After this operation, 3072 B of additional disk space will be used. 396s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 398s Fetched 185 kB in 0s (457 kB/s) 399s (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.) 399s Removing autopkgtest-satdep (0) ... 399s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 399s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 399s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 399s 399s Removing libpng16-16:arm64 (1.6.43-1) ... 399s Selecting previously unselected package libpng16-16t64:arm64. 399s (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.) 399s Preparing to unpack .../libpng16-16t64_1.6.43-3_arm64.deb ... 399s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 399s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 399s Processing triggers for libc-bin (2.39-0ubuntu2) ... 401s autopkgtest: WARNING: package why3 is not installed though it should be 401s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 403s Reading package lists... 403s Building dependency tree... 403s Reading state information... 404s Correcting dependencies...Starting pkgProblemResolver with broken count: 1 404s Starting 2 pkgProblemResolver with broken count: 1 404s Investigating (0) autopkgtest-satdep:arm64 < 0 @iU K Nb Ib > 404s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 404s Removing autopkgtest-satdep:arm64 because I can't find alt-ergo:arm64 404s Done 404s Done 404s Starting pkgProblemResolver with broken count: 0 404s Starting 2 pkgProblemResolver with broken count: 0 404s Done 405s The following additional packages will be installed: 405s libgnutls30t64 libhogweed6t64 libnettle8t64 405s Suggested packages: 405s gnutls-bin 405s The following packages will be REMOVED: 405s autopkgtest-satdep libgnutls30 libhogweed6 libnettle8 405s The following NEW packages will be installed: 405s libgnutls30t64 libhogweed6t64 libnettle8t64 405s 0 upgraded, 3 newly installed, 4 to remove and 209 not upgraded. 405s 1 not fully installed or removed. 405s Need to get 1433 kB of archives. 405s After this operation, 665 kB of additional disk space will be used. 405s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libnettle8t64 arm64 3.9.1-2.2 [192 kB] 406s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libhogweed6t64 arm64 3.9.1-2.2 [199 kB] 406s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgnutls30t64 arm64 3.8.3-1.1ubuntu2 [1042 kB] 407s Fetched 1433 kB in 1s (1954 kB/s) 408s (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.) 408s Removing autopkgtest-satdep (0) ... 408s dpkg: libnettle8:arm64: dependency problems, but removing anyway as you requested: 408s librtmp1:arm64 depends on libnettle8. 408s libhogweed6:arm64 depends on libnettle8. 408s libgnutls30:arm64 depends on libnettle8 (>= 3.9~). 408s libcurl3-gnutls:arm64 depends on libnettle8. 408s libarchive13:arm64 depends on libnettle8. 408s 408s Removing libnettle8:arm64 (3.9.1-2) ... 408s Selecting previously unselected package libnettle8t64:arm64. 408s (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.) 408s Preparing to unpack .../libnettle8t64_3.9.1-2.2_arm64.deb ... 408s Unpacking libnettle8t64:arm64 (3.9.1-2.2) ... 408s dpkg: libhogweed6:arm64: dependency problems, but removing anyway as you requested: 408s librtmp1:arm64 depends on libhogweed6. 408s libjcat1:arm64 depends on libhogweed6. 408s libgnutls30:arm64 depends on libhogweed6 (>= 3.6). 408s 408s (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.) 408s Removing libhogweed6:arm64 (3.9.1-2) ... 408s Selecting previously unselected package libhogweed6t64:arm64. 408s (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.) 408s Preparing to unpack .../libhogweed6t64_3.9.1-2.2_arm64.deb ... 408s Unpacking libhogweed6t64:arm64 (3.9.1-2.2) ... 408s dpkg: libgnutls30:arm64: dependency problems, but removing anyway as you requested: 408s u-boot-tools depends on libgnutls30 (>= 3.7.3). 408s librtmp1:arm64 depends on libgnutls30 (>= 3.7.2). 408s libldap2:arm64 depends on libgnutls30 (>= 3.8.2). 408s libjcat1:arm64 depends on libgnutls30 (>= 3.7.3). 408s libcurl3-gnutls:arm64 depends on libgnutls30 (>= 3.8.2). 408s fwupd depends on libgnutls30 (>= 3.7.3). 408s dirmngr depends on libgnutls30 (>= 3.8.1). 408s apt depends on libgnutls30 (>= 3.8.1). 408s 408s (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.) 408s Removing libgnutls30:arm64 (3.8.3-1ubuntu1) ... 408s Selecting previously unselected package libgnutls30t64:arm64. 408s (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.) 408s Preparing to unpack .../libgnutls30t64_3.8.3-1.1ubuntu2_arm64.deb ... 408s Unpacking libgnutls30t64:arm64 (3.8.3-1.1ubuntu2) ... 408s Setting up libnettle8t64:arm64 (3.9.1-2.2) ... 408s Setting up libhogweed6t64:arm64 (3.9.1-2.2) ... 408s Setting up libgnutls30t64:arm64 (3.8.3-1.1ubuntu2) ... 408s Processing triggers for libc-bin (2.39-0ubuntu2) ... 410s autopkgtest: WARNING: package why3 is not installed though it should be 410s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 410s why3+alt-ergo SKIP installation fails and skip-not-installable set 410s autopkgtest [06:20:02]: test why3+cvc4: preparing testbed 506s autopkgtest [06:21:38]: @@@@@@@@@@@@@@@@@@@@ test bed setup 507s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 507s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 508s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2661 kB] 508s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 508s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 508s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 508s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 508s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 508s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 508s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2966 kB] 508s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 508s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 508s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 509s Fetched 6872 kB in 2s (3992 kB/s) 510s Reading package lists... 512s Reading package lists... 512s Building dependency tree... 512s Reading state information... 513s Calculating upgrade... 513s The following packages will be REMOVED: 513s libglib2.0-0 513s The following NEW packages will be installed: 513s libglib2.0-0t64 xdg-user-dirs 513s The following packages will be upgraded: 513s gir1.2-glib-2.0 libglib2.0-data 513s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 513s Need to get 1774 kB of archives. 513s After this operation, 138 kB of additional disk space will be used. 513s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 514s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 514s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 514s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 514s Fetched 1774 kB in 1s (2972 kB/s) 515s (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.) 515s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 515s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 515s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 515s udisks2 depends on libglib2.0-0 (>= 2.77.0). 515s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 515s python3-gi depends on libglib2.0-0 (>= 2.77.0). 515s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 515s netplan.io depends on libglib2.0-0 (>= 2.70.0). 515s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 515s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 515s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 515s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 515s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 515s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 515s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 515s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 515s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 515s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 515s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 515s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 515s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 515s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 515s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 515s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 515s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 515s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 515s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 515s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 515s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 515s fwupd depends on libglib2.0-0 (>= 2.79.0). 515s bolt depends on libglib2.0-0 (>= 2.56.0). 515s 515s (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.) 515s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 515s Selecting previously unselected package libglib2.0-0t64:arm64. 515s (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.) 515s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 515s 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... 515s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 515s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 515s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 515s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 515s Selecting previously unselected package xdg-user-dirs. 515s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 515s Unpacking xdg-user-dirs (0.18-1) ... 515s Setting up xdg-user-dirs (0.18-1) ... 515s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 515s No schema files found: doing nothing. 515s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 515s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 515s Processing triggers for man-db (2.12.0-3) ... 516s Processing triggers for libc-bin (2.39-0ubuntu2) ... 516s Reading package lists... 516s Building dependency tree... 516s Reading state information... 517s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 518s sh: Attempting to set up Debian/Ubuntu apt sources automatically 518s sh: Distribution appears to be Ubuntu 519s Reading package lists... 519s Building dependency tree... 519s Reading state information... 519s eatmydata is already the newest version (131-1). 519s dbus is already the newest version (1.14.10-4ubuntu1). 519s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 519s Reading package lists... 520s Building dependency tree... 520s Reading state information... 520s rng-tools-debian is already the newest version (2.4). 520s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 520s Reading package lists... 521s Building dependency tree... 521s Reading state information... 521s haveged is already the newest version (1.9.14-1ubuntu1). 521s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 521s Reading package lists... 521s Building dependency tree... 521s Reading state information... 522s The following packages will be REMOVED: 522s cloud-init* python3-configobj* python3-debconf* 522s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 522s After this operation, 3248 kB disk space will be freed. 522s (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.) 522s Removing cloud-init (24.1-0ubuntu1) ... 523s Removing python3-configobj (5.0.8-3) ... 523s Removing python3-debconf (1.5.86) ... 523s Processing triggers for man-db (2.12.0-3) ... 524s (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.) 524s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 524s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 524s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 525s Reading package lists... 525s Building dependency tree... 525s Reading state information... 526s linux-generic is already the newest version (6.8.0-11.11+1). 526s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 526s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 526s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 526s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 527s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 528s Reading package lists... 528s Reading package lists... 528s Building dependency tree... 528s Reading state information... 528s Calculating upgrade... 529s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 529s Reading package lists... 529s Building dependency tree... 529s Reading state information... 529s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 530s autopkgtest [06:22:02]: rebooting testbed after setup commands that affected boot 556s autopkgtest [06:22:28]: testbed dpkg architecture: arm64 566s Reading package lists... 566s Building dependency tree... 566s Reading state information... 566s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 567s Starting 2 pkgProblemResolver with broken count: 0 567s Done 567s Done 567s Starting pkgProblemResolver with broken count: 0 567s Starting 2 pkgProblemResolver with broken count: 0 567s Done 568s The following additional packages will be installed: 568s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 568s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 568s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 568s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 568s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 568s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 568s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 568s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 568s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 568s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 568s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 568s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 568s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 568s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 568s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 568s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 568s why3 568s Suggested packages: 568s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 568s Recommended packages: 568s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 568s The following packages will be REMOVED: 568s libpng16-16 568s The following NEW packages will be installed: 568s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 568s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 568s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 568s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 568s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 568s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 568s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 568s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 568s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 568s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 568s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 568s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 568s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 568s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 568s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 568s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 568s why3 568s 0 upgraded, 75 newly installed, 1 to remove and 0 not upgraded. 568s 1 not fully installed or removed. 568s Need to get 39.5 MB of archives. 568s After this operation, 178 MB of additional disk space will be used. 568s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 569s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 569s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 569s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 569s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 569s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 569s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 569s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 569s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 569s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libcairo2 arm64 1.18.0-1ubuntu1 [555 kB] 569s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 569s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 569s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 569s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 569s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 569s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 569s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 569s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 569s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 569s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 569s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 569s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 569s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 569s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 569s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 569s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 569s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 569s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 569s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 569s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 569s Get:31 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libcairo-gobject2 arm64 1.18.0-1ubuntu1 [127 kB] 569s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 569s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 569s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 569s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 569s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 569s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 569s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 569s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 569s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 569s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 569s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 569s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 569s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 569s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 569s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 569s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 569s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 569s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 569s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 569s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 569s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 569s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 569s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 569s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 569s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 569s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 569s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 569s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 569s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 570s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 570s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 570s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 570s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 570s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 570s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 570s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 570s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 570s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 570s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 570s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 570s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4-7 arm64 1.8-3 [4325 kB] 570s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build1 [39.7 kB] 570s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4parser7 arm64 1.8-3 [356 kB] 570s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 cvc4 arm64 1.8-3 [71.2 kB] 571s Fetched 39.5 MB in 2s (18.4 MB/s) 571s Selecting previously unselected package fonts-dejavu-mono. 571s (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.) 571s Preparing to unpack .../fonts-dejavu-mono_2.37-8_all.deb ... 571s Unpacking fonts-dejavu-mono (2.37-8) ... 571s Selecting previously unselected package fonts-dejavu-core. 571s Preparing to unpack .../fonts-dejavu-core_2.37-8_all.deb ... 571s Unpacking fonts-dejavu-core (2.37-8) ... 571s Selecting previously unselected package fontconfig-config. 571s Preparing to unpack .../fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 571s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 571s Selecting previously unselected package libfontconfig1:arm64. 571s Preparing to unpack .../libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 571s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 572s Selecting previously unselected package libpixman-1-0:arm64. 572s Preparing to unpack .../libpixman-1-0_0.42.2-1_arm64.deb ... 572s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 572s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 572s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 572s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 572s 572s (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.) 572s Removing libpng16-16:arm64 (1.6.43-1) ... 572s Selecting previously unselected package libpng16-16t64:arm64. 572s (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.) 572s Preparing to unpack .../00-libpng16-16t64_1.6.43-3_arm64.deb ... 572s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 572s Selecting previously unselected package libxcb-render0:arm64. 572s Preparing to unpack .../01-libxcb-render0_1.15-1_arm64.deb ... 572s Unpacking libxcb-render0:arm64 (1.15-1) ... 572s Selecting previously unselected package libxcb-shm0:arm64. 572s Preparing to unpack .../02-libxcb-shm0_1.15-1_arm64.deb ... 572s Unpacking libxcb-shm0:arm64 (1.15-1) ... 572s Selecting previously unselected package libxrender1:arm64. 572s Preparing to unpack .../03-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 572s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 572s Selecting previously unselected package libcairo2:arm64. 572s Preparing to unpack .../04-libcairo2_1.18.0-1ubuntu1_arm64.deb ... 572s Unpacking libcairo2:arm64 (1.18.0-1ubuntu1) ... 572s Selecting previously unselected package libgdk-pixbuf2.0-common. 572s Preparing to unpack .../05-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 572s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 572s Selecting previously unselected package libjpeg-turbo8:arm64. 572s Preparing to unpack .../06-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 572s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 572s Selecting previously unselected package libjpeg8:arm64. 572s Preparing to unpack .../07-libjpeg8_8c-2ubuntu11_arm64.deb ... 572s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 572s Selecting previously unselected package libdeflate0:arm64. 572s Preparing to unpack .../08-libdeflate0_1.19-1_arm64.deb ... 572s Unpacking libdeflate0:arm64 (1.19-1) ... 572s Selecting previously unselected package libjbig0:arm64. 572s Preparing to unpack .../09-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 572s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 572s Selecting previously unselected package liblerc4:arm64. 572s Preparing to unpack .../10-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 572s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 572s Selecting previously unselected package libsharpyuv0:arm64. 572s Preparing to unpack .../11-libsharpyuv0_1.3.2-0.4_arm64.deb ... 572s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 572s Selecting previously unselected package libwebp7:arm64. 572s Preparing to unpack .../12-libwebp7_1.3.2-0.4_arm64.deb ... 572s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 572s Selecting previously unselected package libtiff6:arm64. 572s Preparing to unpack .../13-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 572s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 572s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 572s Preparing to unpack .../14-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 572s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 572s Selecting previously unselected package gtk-update-icon-cache. 572s Preparing to unpack .../15-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 572s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 572s Selecting previously unselected package hicolor-icon-theme. 572s Preparing to unpack .../16-hicolor-icon-theme_0.17-2_all.deb ... 572s Unpacking hicolor-icon-theme (0.17-2) ... 572s Selecting previously unselected package humanity-icon-theme. 572s Preparing to unpack .../17-humanity-icon-theme_0.6.16_all.deb ... 572s Unpacking humanity-icon-theme (0.6.16) ... 573s Selecting previously unselected package ubuntu-mono. 573s Preparing to unpack .../18-ubuntu-mono_24.04-0ubuntu1_all.deb ... 573s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 573s Selecting previously unselected package adwaita-icon-theme. 573s Preparing to unpack .../19-adwaita-icon-theme_46~rc-1_all.deb ... 573s Unpacking adwaita-icon-theme (46~rc-1) ... 573s Selecting previously unselected package at-spi2-common. 573s Preparing to unpack .../20-at-spi2-common_2.50.0-1_all.deb ... 573s Unpacking at-spi2-common (2.50.0-1) ... 573s Selecting previously unselected package libatk1.0-0:arm64. 573s Preparing to unpack .../21-libatk1.0-0_2.50.0-1_arm64.deb ... 573s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 573s Selecting previously unselected package libxi6:arm64. 573s Preparing to unpack .../22-libxi6_2%3a1.8.1-1_arm64.deb ... 573s Unpacking libxi6:arm64 (2:1.8.1-1) ... 573s Selecting previously unselected package libatspi2.0-0:arm64. 573s Preparing to unpack .../23-libatspi2.0-0_2.50.0-1_arm64.deb ... 573s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 573s Selecting previously unselected package libatk-bridge2.0-0:arm64. 573s Preparing to unpack .../24-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 573s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 573s Selecting previously unselected package libcairo-gobject2:arm64. 573s Preparing to unpack .../25-libcairo-gobject2_1.18.0-1ubuntu1_arm64.deb ... 573s Unpacking libcairo-gobject2:arm64 (1.18.0-1ubuntu1) ... 573s Selecting previously unselected package liblcms2-2:arm64. 573s Preparing to unpack .../26-liblcms2-2_2.14-2_arm64.deb ... 573s Unpacking liblcms2-2:arm64 (2.14-2) ... 573s Selecting previously unselected package libcolord2:arm64. 573s Preparing to unpack .../27-libcolord2_1.4.7-1_arm64.deb ... 573s Unpacking libcolord2:arm64 (1.4.7-1) ... 573s Selecting previously unselected package libavahi-common-data:arm64. 574s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 574s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 574s Selecting previously unselected package libavahi-common3:arm64. 574s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 574s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 574s Selecting previously unselected package libavahi-client3:arm64. 574s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 574s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 574s Selecting previously unselected package libcups2:arm64. 574s Preparing to unpack .../31-libcups2_2.4.6-0ubuntu3_arm64.deb ... 574s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 574s Selecting previously unselected package libepoxy0:arm64. 574s Preparing to unpack .../32-libepoxy0_1.5.10-1_arm64.deb ... 574s Unpacking libepoxy0:arm64 (1.5.10-1) ... 574s Selecting previously unselected package libgraphite2-3:arm64. 574s Preparing to unpack .../33-libgraphite2-3_1.3.14-2_arm64.deb ... 574s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 575s Selecting previously unselected package libharfbuzz0b:arm64. 575s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2_arm64.deb ... 575s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 575s Selecting previously unselected package fontconfig. 575s Preparing to unpack .../35-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 575s Unpacking fontconfig (2.15.0-1ubuntu1) ... 575s Selecting previously unselected package libthai-data. 575s Preparing to unpack .../36-libthai-data_0.1.29-2_all.deb ... 575s Unpacking libthai-data (0.1.29-2) ... 575s Selecting previously unselected package libdatrie1:arm64. 575s Preparing to unpack .../37-libdatrie1_0.2.13-3_arm64.deb ... 575s Unpacking libdatrie1:arm64 (0.2.13-3) ... 575s Selecting previously unselected package libthai0:arm64. 575s Preparing to unpack .../38-libthai0_0.1.29-2_arm64.deb ... 575s Unpacking libthai0:arm64 (0.1.29-2) ... 575s Selecting previously unselected package libpango-1.0-0:arm64. 575s Preparing to unpack .../39-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 575s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 575s Selecting previously unselected package libpangoft2-1.0-0:arm64. 575s Preparing to unpack .../40-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 575s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 575s Selecting previously unselected package libpangocairo-1.0-0:arm64. 575s Preparing to unpack .../41-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 575s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 575s Selecting previously unselected package libwayland-client0:arm64. 575s Preparing to unpack .../42-libwayland-client0_1.22.0-2.1_arm64.deb ... 575s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 575s Selecting previously unselected package libwayland-cursor0:arm64. 575s Preparing to unpack .../43-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 575s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 575s Selecting previously unselected package libwayland-egl1:arm64. 575s Preparing to unpack .../44-libwayland-egl1_1.22.0-2.1_arm64.deb ... 575s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 575s Selecting previously unselected package libxcomposite1:arm64. 575s Preparing to unpack .../45-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 575s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 575s Selecting previously unselected package libxfixes3:arm64. 575s Preparing to unpack .../46-libxfixes3_1%3a6.0.0-2_arm64.deb ... 575s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 575s Selecting previously unselected package libxcursor1:arm64. 575s Preparing to unpack .../47-libxcursor1_1%3a1.2.1-1_arm64.deb ... 575s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 575s Selecting previously unselected package libxdamage1:arm64. 575s Preparing to unpack .../48-libxdamage1_1%3a1.1.6-1_arm64.deb ... 575s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 575s Selecting previously unselected package libxinerama1:arm64. 575s Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ... 575s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 575s Selecting previously unselected package libxrandr2:arm64. 575s Preparing to unpack .../50-libxrandr2_2%3a1.5.2-2_arm64.deb ... 575s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 575s Selecting previously unselected package libdconf1:arm64. 575s Preparing to unpack .../51-libdconf1_0.40.0-4_arm64.deb ... 575s Unpacking libdconf1:arm64 (0.40.0-4) ... 575s Selecting previously unselected package dconf-service. 575s Preparing to unpack .../52-dconf-service_0.40.0-4_arm64.deb ... 575s Unpacking dconf-service (0.40.0-4) ... 575s Selecting previously unselected package dconf-gsettings-backend:arm64. 575s Preparing to unpack .../53-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 575s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 575s Selecting previously unselected package libgtk-3-common. 575s Preparing to unpack .../54-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 575s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 575s Selecting previously unselected package libgtk-3-0:arm64. 575s Preparing to unpack .../55-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 575s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 575s Selecting previously unselected package libgtksourceview-3.0-common. 575s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 575s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 575s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 575s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 575s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 575s Selecting previously unselected package libstdlib-ocaml. 575s Preparing to unpack .../58-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 575s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 575s Selecting previously unselected package ocaml-base. 575s Preparing to unpack .../59-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 575s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 575s Selecting previously unselected package libcairo2-ocaml. 575s Preparing to unpack .../60-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 575s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 575s Selecting previously unselected package liblablgtk3-ocaml. 575s Preparing to unpack .../61-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 575s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 576s Selecting previously unselected package liblablgtksourceview3-ocaml. 576s Preparing to unpack .../62-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 576s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 576s Selecting previously unselected package tex-common. 576s Preparing to unpack .../63-tex-common_6.18_all.deb ... 576s Unpacking tex-common (6.18) ... 576s Selecting previously unselected package why3. 576s Preparing to unpack .../64-why3_1.6.0-1build4_arm64.deb ... 576s Unpacking why3 (1.6.0-1build4) ... 576s Selecting previously unselected package libcln6:arm64. 576s Preparing to unpack .../65-libcln6_1.3.7-1_arm64.deb ... 576s Unpacking libcln6:arm64 (1.3.7-1) ... 576s Selecting previously unselected package libcvc4-7:arm64. 576s Preparing to unpack .../66-libcvc4-7_1.8-3_arm64.deb ... 576s Unpacking libcvc4-7:arm64 (1.8-3) ... 576s Selecting previously unselected package libantlr3c-3.4-0:arm64. 576s Preparing to unpack .../67-libantlr3c-3.4-0_3.4+dfsg-4build1_arm64.deb ... 576s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 576s Selecting previously unselected package libcvc4parser7:arm64. 576s Preparing to unpack .../68-libcvc4parser7_1.8-3_arm64.deb ... 576s Unpacking libcvc4parser7:arm64 (1.8-3) ... 577s Selecting previously unselected package cvc4. 577s Preparing to unpack .../69-cvc4_1.8-3_arm64.deb ... 577s Unpacking cvc4 (1.8-3) ... 577s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 577s Setting up liblcms2-2:arm64 (2.14-2) ... 577s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 577s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 577s Setting up libcln6:arm64 (1.3.7-1) ... 577s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 577s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 577s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 577s Setting up hicolor-icon-theme (0.17-2) ... 577s Setting up libxi6:arm64 (2:1.8.1-1) ... 577s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 577s Setting up libdatrie1:arm64 (0.2.13-3) ... 577s Setting up libxcb-render0:arm64 (1.15-1) ... 577s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 577s Setting up libdeflate0:arm64 (1.19-1) ... 577s Setting up libxcb-shm0:arm64 (1.15-1) ... 577s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 577s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 577s Setting up libcolord2:arm64 (1.4.7-1) ... 577s Setting up libdconf1:arm64 (0.40.0-4) ... 577s Setting up tex-common (6.18) ... 577s update-language: texlive-base not installed and configured, doing nothing! 577s Setting up libepoxy0:arm64 (1.5.10-1) ... 577s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 577s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 577s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 577s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 577s Setting up fonts-dejavu-mono (2.37-8) ... 577s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 577s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 577s Setting up ocaml-base (4.14.1-1ubuntu1) ... 577s Setting up fonts-dejavu-core (2.37-8) ... 577s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 577s Setting up libwebp7:arm64 (1.3.2-0.4) ... 577s Setting up at-spi2-common (2.50.0-1) ... 577s Setting up libcvc4-7:arm64 (1.8-3) ... 577s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 577s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 577s Setting up libthai-data (0.1.29-2) ... 577s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 577s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 577s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 577s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 577s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 577s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 578s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 578s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 578s Setting up dconf-service (0.40.0-4) ... 578s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 578s Setting up libthai0:arm64 (0.1.29-2) ... 578s Setting up libcvc4parser7:arm64 (1.8-3) ... 578s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 578s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 578s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 578s Setting up cvc4 (1.8-3) ... 578s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 578s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 578s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 578s Setting up fontconfig (2.15.0-1ubuntu1) ... 580s Regenerating fonts cache... done. 580s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 580s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 580s Setting up libcairo2:arm64 (1.18.0-1ubuntu1) ... 580s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 580s Setting up libcairo-gobject2:arm64 (1.18.0-1ubuntu1) ... 580s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 580s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 580s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 580s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 580s Setting up adwaita-icon-theme (46~rc-1) ... 580s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 580s Setting up humanity-icon-theme (0.6.16) ... 580s Setting up ubuntu-mono (24.04-0ubuntu1) ... 580s Processing triggers for man-db (2.12.0-3) ... 581s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 581s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 582s Processing triggers for libc-bin (2.39-0ubuntu2) ... 582s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 582s Setting up liblablgtk3-ocaml (3.1.4-1) ... 582s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 582s Setting up why3 (1.6.0-1build4) ... 582s Setting up autopkgtest-satdep (0) ... 582s Processing triggers for libc-bin (2.39-0ubuntu2) ... 587s (Reading database ... 88112 files and directories currently installed.) 587s Removing autopkgtest-satdep (0) ... 594s autopkgtest [06:23:06]: test why3+cvc4: [----------------------- 596s autopkgtest [06:23:08]: test why3+cvc4: -----------------------] 596s why3+cvc4 PASS 596s autopkgtest [06:23:08]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 597s autopkgtest [06:23:09]: test why3+spass: preparing testbed 706s autopkgtest [06:24:58]: @@@@@@@@@@@@@@@@@@@@ test bed setup 707s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 707s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 707s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 707s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 707s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2661 kB] 707s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 707s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 707s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 707s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 707s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2966 kB] 708s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 708s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 708s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 712s Fetched 6872 kB in 1s (4683 kB/s) 713s Reading package lists... 717s Reading package lists... 718s Building dependency tree... 718s Reading state information... 718s Calculating upgrade... 719s The following packages will be REMOVED: 719s libglib2.0-0 719s The following NEW packages will be installed: 719s libglib2.0-0t64 xdg-user-dirs 719s The following packages will be upgraded: 719s gir1.2-glib-2.0 libglib2.0-data 719s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 719s Need to get 1774 kB of archives. 719s After this operation, 138 kB of additional disk space will be used. 719s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 719s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 719s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 719s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 720s Fetched 1774 kB in 1s (2858 kB/s) 721s (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.) 721s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 721s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 721s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 721s udisks2 depends on libglib2.0-0 (>= 2.77.0). 721s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 721s python3-gi depends on libglib2.0-0 (>= 2.77.0). 721s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 721s netplan.io depends on libglib2.0-0 (>= 2.70.0). 721s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 721s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 721s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 721s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 721s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 721s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 721s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 721s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 721s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 721s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 721s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 721s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 721s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 721s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 721s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 721s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 721s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 721s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 721s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 721s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 721s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 721s fwupd depends on libglib2.0-0 (>= 2.79.0). 721s bolt depends on libglib2.0-0 (>= 2.56.0). 721s 721s (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.) 721s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 721s Selecting previously unselected package libglib2.0-0t64:arm64. 721s (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.) 721s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 721s 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... 721s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 721s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 721s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 721s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 721s Selecting previously unselected package xdg-user-dirs. 721s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 721s Unpacking xdg-user-dirs (0.18-1) ... 721s Setting up xdg-user-dirs (0.18-1) ... 721s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 721s No schema files found: doing nothing. 721s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 721s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 721s Processing triggers for man-db (2.12.0-3) ... 722s Processing triggers for libc-bin (2.39-0ubuntu2) ... 722s Reading package lists... 723s Building dependency tree... 723s Reading state information... 723s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 724s sh: Attempting to set up Debian/Ubuntu apt sources automatically 724s sh: Distribution appears to be Ubuntu 725s Reading package lists... 725s Building dependency tree... 725s Reading state information... 726s eatmydata is already the newest version (131-1). 726s dbus is already the newest version (1.14.10-4ubuntu1). 726s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 726s Reading package lists... 726s Building dependency tree... 726s Reading state information... 727s rng-tools-debian is already the newest version (2.4). 727s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 727s Reading package lists... 727s Building dependency tree... 727s Reading state information... 728s haveged is already the newest version (1.9.14-1ubuntu1). 728s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 728s Reading package lists... 728s Building dependency tree... 728s Reading state information... 729s The following packages will be REMOVED: 729s cloud-init* python3-configobj* python3-debconf* 729s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 729s After this operation, 3248 kB disk space will be freed. 729s (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.) 729s Removing cloud-init (24.1-0ubuntu1) ... 730s Removing python3-configobj (5.0.8-3) ... 730s Removing python3-debconf (1.5.86) ... 730s Processing triggers for man-db (2.12.0-3) ... 730s (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.) 730s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 731s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 731s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 732s Reading package lists... 732s Building dependency tree... 732s Reading state information... 732s linux-generic is already the newest version (6.8.0-11.11+1). 732s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 733s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 733s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 733s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 733s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 735s Reading package lists... 735s Reading package lists... 735s Building dependency tree... 735s Reading state information... 735s Calculating upgrade... 736s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 736s Reading package lists... 736s Building dependency tree... 736s Reading state information... 737s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 737s autopkgtest [06:25:29]: rebooting testbed after setup commands that affected boot 952s autopkgtest [06:29:04]: testbed dpkg architecture: arm64 956s Reading package lists... 956s Building dependency tree... 956s Reading state information... 957s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 957s Starting 2 pkgProblemResolver with broken count: 0 957s Done 957s Done 957s Starting pkgProblemResolver with broken count: 0 957s Starting 2 pkgProblemResolver with broken count: 0 957s Done 958s The following additional packages will be installed: 958s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 958s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 958s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 958s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 958s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 958s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 958s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 958s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 958s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 958s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 958s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 958s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 958s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 958s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 958s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 958s ubuntu-mono why3 958s Suggested packages: 958s colord cups-common gvfs liblcms2-utils debhelper why3-examples 958s Recommended packages: 958s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 958s The following packages will be REMOVED: 958s libpng16-16 958s The following NEW packages will be installed: 958s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 958s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 958s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 958s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 958s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 958s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 958s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 958s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 958s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 958s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 958s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 958s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 958s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 958s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 958s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 958s ubuntu-mono why3 958s 0 upgraded, 71 newly installed, 1 to remove and 0 not upgraded. 958s 1 not fully installed or removed. 958s Need to get 34.5 MB of archives. 958s After this operation, 161 MB of additional disk space will be used. 958s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 959s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 959s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 959s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 959s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 959s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 959s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 959s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 959s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 959s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libcairo2 arm64 1.18.0-1ubuntu1 [555 kB] 959s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 959s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 959s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 959s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 959s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 959s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 959s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 959s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 959s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 959s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 959s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 959s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 959s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 959s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 959s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 959s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 959s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 959s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 959s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 959s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 959s Get:31 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libcairo-gobject2 arm64 1.18.0-1ubuntu1 [127 kB] 959s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 959s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 959s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 959s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 959s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 959s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 959s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 959s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 959s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 959s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 959s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 959s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 959s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 959s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 959s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 959s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 959s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 959s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 959s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 959s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 959s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 960s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 960s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 960s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 960s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 960s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 960s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 960s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 960s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 960s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 960s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 960s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 960s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 960s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 960s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 960s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 960s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 960s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 960s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 960s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 spass arm64 3.9-1.1 [254 kB] 962s Fetched 34.5 MB in 2s (17.0 MB/s) 962s Selecting previously unselected package fonts-dejavu-mono. 962s (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.) 962s Preparing to unpack .../fonts-dejavu-mono_2.37-8_all.deb ... 962s Unpacking fonts-dejavu-mono (2.37-8) ... 962s Selecting previously unselected package fonts-dejavu-core. 962s Preparing to unpack .../fonts-dejavu-core_2.37-8_all.deb ... 962s Unpacking fonts-dejavu-core (2.37-8) ... 963s Selecting previously unselected package fontconfig-config. 963s Preparing to unpack .../fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 963s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 963s Selecting previously unselected package libfontconfig1:arm64. 963s Preparing to unpack .../libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 963s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 963s Selecting previously unselected package libpixman-1-0:arm64. 963s Preparing to unpack .../libpixman-1-0_0.42.2-1_arm64.deb ... 963s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 963s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 963s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 963s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 963s 964s (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.) 964s Removing libpng16-16:arm64 (1.6.43-1) ... 964s Selecting previously unselected package libpng16-16t64:arm64. 964s (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.) 964s Preparing to unpack .../00-libpng16-16t64_1.6.43-3_arm64.deb ... 964s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 964s Selecting previously unselected package libxcb-render0:arm64. 964s Preparing to unpack .../01-libxcb-render0_1.15-1_arm64.deb ... 964s Unpacking libxcb-render0:arm64 (1.15-1) ... 964s Selecting previously unselected package libxcb-shm0:arm64. 964s Preparing to unpack .../02-libxcb-shm0_1.15-1_arm64.deb ... 964s Unpacking libxcb-shm0:arm64 (1.15-1) ... 964s Selecting previously unselected package libxrender1:arm64. 964s Preparing to unpack .../03-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 964s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 964s Selecting previously unselected package libcairo2:arm64. 964s Preparing to unpack .../04-libcairo2_1.18.0-1ubuntu1_arm64.deb ... 964s Unpacking libcairo2:arm64 (1.18.0-1ubuntu1) ... 964s Selecting previously unselected package libgdk-pixbuf2.0-common. 964s Preparing to unpack .../05-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 964s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 964s Selecting previously unselected package libjpeg-turbo8:arm64. 964s Preparing to unpack .../06-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 964s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 964s Selecting previously unselected package libjpeg8:arm64. 964s Preparing to unpack .../07-libjpeg8_8c-2ubuntu11_arm64.deb ... 964s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 964s Selecting previously unselected package libdeflate0:arm64. 965s Preparing to unpack .../08-libdeflate0_1.19-1_arm64.deb ... 965s Unpacking libdeflate0:arm64 (1.19-1) ... 965s Selecting previously unselected package libjbig0:arm64. 965s Preparing to unpack .../09-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 965s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 965s Selecting previously unselected package liblerc4:arm64. 965s Preparing to unpack .../10-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 965s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 965s Selecting previously unselected package libsharpyuv0:arm64. 965s Preparing to unpack .../11-libsharpyuv0_1.3.2-0.4_arm64.deb ... 965s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 965s Selecting previously unselected package libwebp7:arm64. 965s Preparing to unpack .../12-libwebp7_1.3.2-0.4_arm64.deb ... 965s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 965s Selecting previously unselected package libtiff6:arm64. 965s Preparing to unpack .../13-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 965s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 965s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 965s Preparing to unpack .../14-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 965s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 965s Selecting previously unselected package gtk-update-icon-cache. 965s Preparing to unpack .../15-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 965s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 965s Selecting previously unselected package hicolor-icon-theme. 965s Preparing to unpack .../16-hicolor-icon-theme_0.17-2_all.deb ... 965s Unpacking hicolor-icon-theme (0.17-2) ... 965s Selecting previously unselected package humanity-icon-theme. 965s Preparing to unpack .../17-humanity-icon-theme_0.6.16_all.deb ... 965s Unpacking humanity-icon-theme (0.6.16) ... 966s Selecting previously unselected package ubuntu-mono. 966s Preparing to unpack .../18-ubuntu-mono_24.04-0ubuntu1_all.deb ... 966s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 967s Selecting previously unselected package adwaita-icon-theme. 967s Preparing to unpack .../19-adwaita-icon-theme_46~rc-1_all.deb ... 967s Unpacking adwaita-icon-theme (46~rc-1) ... 967s Selecting previously unselected package at-spi2-common. 967s Preparing to unpack .../20-at-spi2-common_2.50.0-1_all.deb ... 967s Unpacking at-spi2-common (2.50.0-1) ... 967s Selecting previously unselected package libatk1.0-0:arm64. 967s Preparing to unpack .../21-libatk1.0-0_2.50.0-1_arm64.deb ... 967s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 967s Selecting previously unselected package libxi6:arm64. 967s Preparing to unpack .../22-libxi6_2%3a1.8.1-1_arm64.deb ... 967s Unpacking libxi6:arm64 (2:1.8.1-1) ... 967s Selecting previously unselected package libatspi2.0-0:arm64. 967s Preparing to unpack .../23-libatspi2.0-0_2.50.0-1_arm64.deb ... 967s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 968s Selecting previously unselected package libatk-bridge2.0-0:arm64. 968s Preparing to unpack .../24-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 968s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 968s Selecting previously unselected package libcairo-gobject2:arm64. 968s Preparing to unpack .../25-libcairo-gobject2_1.18.0-1ubuntu1_arm64.deb ... 968s Unpacking libcairo-gobject2:arm64 (1.18.0-1ubuntu1) ... 968s Selecting previously unselected package liblcms2-2:arm64. 968s Preparing to unpack .../26-liblcms2-2_2.14-2_arm64.deb ... 968s Unpacking liblcms2-2:arm64 (2.14-2) ... 968s Selecting previously unselected package libcolord2:arm64. 968s Preparing to unpack .../27-libcolord2_1.4.7-1_arm64.deb ... 968s Unpacking libcolord2:arm64 (1.4.7-1) ... 968s Selecting previously unselected package libavahi-common-data:arm64. 968s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 968s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 968s Selecting previously unselected package libavahi-common3:arm64. 969s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 969s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 969s Selecting previously unselected package libavahi-client3:arm64. 969s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 969s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 969s Selecting previously unselected package libcups2:arm64. 969s Preparing to unpack .../31-libcups2_2.4.6-0ubuntu3_arm64.deb ... 969s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 969s Selecting previously unselected package libepoxy0:arm64. 969s Preparing to unpack .../32-libepoxy0_1.5.10-1_arm64.deb ... 969s Unpacking libepoxy0:arm64 (1.5.10-1) ... 969s Selecting previously unselected package libgraphite2-3:arm64. 969s Preparing to unpack .../33-libgraphite2-3_1.3.14-2_arm64.deb ... 969s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 969s Selecting previously unselected package libharfbuzz0b:arm64. 969s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2_arm64.deb ... 969s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 969s Selecting previously unselected package fontconfig. 969s Preparing to unpack .../35-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 969s Unpacking fontconfig (2.15.0-1ubuntu1) ... 969s Selecting previously unselected package libthai-data. 969s Preparing to unpack .../36-libthai-data_0.1.29-2_all.deb ... 969s Unpacking libthai-data (0.1.29-2) ... 969s Selecting previously unselected package libdatrie1:arm64. 969s Preparing to unpack .../37-libdatrie1_0.2.13-3_arm64.deb ... 969s Unpacking libdatrie1:arm64 (0.2.13-3) ... 969s Selecting previously unselected package libthai0:arm64. 969s Preparing to unpack .../38-libthai0_0.1.29-2_arm64.deb ... 969s Unpacking libthai0:arm64 (0.1.29-2) ... 969s Selecting previously unselected package libpango-1.0-0:arm64. 969s Preparing to unpack .../39-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 969s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 969s Selecting previously unselected package libpangoft2-1.0-0:arm64. 969s Preparing to unpack .../40-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 969s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 969s Selecting previously unselected package libpangocairo-1.0-0:arm64. 970s Preparing to unpack .../41-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 970s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 970s Selecting previously unselected package libwayland-client0:arm64. 970s Preparing to unpack .../42-libwayland-client0_1.22.0-2.1_arm64.deb ... 970s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 970s Selecting previously unselected package libwayland-cursor0:arm64. 970s Preparing to unpack .../43-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 970s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 970s Selecting previously unselected package libwayland-egl1:arm64. 970s Preparing to unpack .../44-libwayland-egl1_1.22.0-2.1_arm64.deb ... 970s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 970s Selecting previously unselected package libxcomposite1:arm64. 970s Preparing to unpack .../45-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 970s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 970s Selecting previously unselected package libxfixes3:arm64. 970s Preparing to unpack .../46-libxfixes3_1%3a6.0.0-2_arm64.deb ... 970s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 970s Selecting previously unselected package libxcursor1:arm64. 970s Preparing to unpack .../47-libxcursor1_1%3a1.2.1-1_arm64.deb ... 970s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 970s Selecting previously unselected package libxdamage1:arm64. 970s Preparing to unpack .../48-libxdamage1_1%3a1.1.6-1_arm64.deb ... 970s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 970s Selecting previously unselected package libxinerama1:arm64. 970s Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ... 970s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 970s Selecting previously unselected package libxrandr2:arm64. 970s Preparing to unpack .../50-libxrandr2_2%3a1.5.2-2_arm64.deb ... 970s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 970s Selecting previously unselected package libdconf1:arm64. 970s Preparing to unpack .../51-libdconf1_0.40.0-4_arm64.deb ... 970s Unpacking libdconf1:arm64 (0.40.0-4) ... 970s Selecting previously unselected package dconf-service. 970s Preparing to unpack .../52-dconf-service_0.40.0-4_arm64.deb ... 970s Unpacking dconf-service (0.40.0-4) ... 970s Selecting previously unselected package dconf-gsettings-backend:arm64. 970s Preparing to unpack .../53-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 970s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 970s Selecting previously unselected package libgtk-3-common. 970s Preparing to unpack .../54-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 970s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 970s Selecting previously unselected package libgtk-3-0:arm64. 970s Preparing to unpack .../55-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 970s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 970s Selecting previously unselected package libgtksourceview-3.0-common. 971s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 971s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 971s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 971s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 971s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 971s Selecting previously unselected package libstdlib-ocaml. 971s Preparing to unpack .../58-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 971s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 971s Selecting previously unselected package ocaml-base. 971s Preparing to unpack .../59-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 971s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 971s Selecting previously unselected package libcairo2-ocaml. 971s Preparing to unpack .../60-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 971s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 971s Selecting previously unselected package liblablgtk3-ocaml. 971s Preparing to unpack .../61-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 971s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 971s Selecting previously unselected package liblablgtksourceview3-ocaml. 971s Preparing to unpack .../62-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 971s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 971s Selecting previously unselected package tex-common. 971s Preparing to unpack .../63-tex-common_6.18_all.deb ... 971s Unpacking tex-common (6.18) ... 971s Selecting previously unselected package why3. 971s Preparing to unpack .../64-why3_1.6.0-1build4_arm64.deb ... 971s Unpacking why3 (1.6.0-1build4) ... 972s Selecting previously unselected package spass. 972s Preparing to unpack .../65-spass_3.9-1.1_arm64.deb ... 972s Unpacking spass (3.9-1.1) ... 972s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 972s Setting up liblcms2-2:arm64 (2.14-2) ... 972s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 972s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 972s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 972s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 972s Setting up hicolor-icon-theme (0.17-2) ... 972s Setting up libxi6:arm64 (2:1.8.1-1) ... 972s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 972s Setting up libdatrie1:arm64 (0.2.13-3) ... 972s Setting up libxcb-render0:arm64 (1.15-1) ... 972s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 972s Setting up libdeflate0:arm64 (1.19-1) ... 972s Setting up libxcb-shm0:arm64 (1.15-1) ... 972s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 972s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 972s Setting up libcolord2:arm64 (1.4.7-1) ... 972s Setting up libdconf1:arm64 (0.40.0-4) ... 972s Setting up tex-common (6.18) ... 973s update-language: texlive-base not installed and configured, doing nothing! 973s Setting up libepoxy0:arm64 (1.5.10-1) ... 973s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 973s Setting up spass (3.9-1.1) ... 973s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 973s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 973s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 973s Setting up fonts-dejavu-mono (2.37-8) ... 973s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 973s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 973s Setting up ocaml-base (4.14.1-1ubuntu1) ... 973s Setting up fonts-dejavu-core (2.37-8) ... 973s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 973s Setting up libwebp7:arm64 (1.3.2-0.4) ... 973s Setting up at-spi2-common (2.50.0-1) ... 973s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 973s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 973s Setting up libthai-data (0.1.29-2) ... 973s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 973s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 973s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 973s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 973s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 973s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 973s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 973s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 973s Setting up dconf-service (0.40.0-4) ... 973s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 973s Setting up libthai0:arm64 (0.1.29-2) ... 973s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 973s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 973s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 973s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 973s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 973s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 973s Setting up fontconfig (2.15.0-1ubuntu1) ... 975s Regenerating fonts cache... done. 975s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 975s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 975s Setting up libcairo2:arm64 (1.18.0-1ubuntu1) ... 975s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 975s Setting up libcairo-gobject2:arm64 (1.18.0-1ubuntu1) ... 975s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 975s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 975s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 975s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 975s Setting up adwaita-icon-theme (46~rc-1) ... 976s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 976s Setting up humanity-icon-theme (0.6.16) ... 976s Setting up ubuntu-mono (24.04-0ubuntu1) ... 976s Processing triggers for man-db (2.12.0-3) ... 977s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 977s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 977s Processing triggers for libc-bin (2.39-0ubuntu2) ... 977s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 977s Setting up liblablgtk3-ocaml (3.1.4-1) ... 977s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 977s Setting up why3 (1.6.0-1build4) ... 977s Setting up autopkgtest-satdep (0) ... 977s Processing triggers for libc-bin (2.39-0ubuntu2) ... 983s (Reading database ... 88069 files and directories currently installed.) 983s Removing autopkgtest-satdep (0) ... 994s autopkgtest [06:29:46]: test why3+spass: [----------------------- 996s autopkgtest [06:29:48]: test why3+spass: -----------------------] 996s why3+spass PASS 996s autopkgtest [06:29:48]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 996s autopkgtest [06:29:48]: test why3+z3: preparing testbed 1111s autopkgtest [06:31:43]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1111s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1112s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 1112s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [434 kB] 1112s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 1112s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2661 kB] 1112s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [581 kB] 1112s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 1112s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 1112s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 1112s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [2970 kB] 1112s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 1112s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 1112s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 1114s Fetched 6875 kB in 1s (5045 kB/s) 1114s Reading package lists... 1116s Reading package lists... 1117s Building dependency tree... 1117s Reading state information... 1117s Calculating upgrade... 1118s The following packages will be REMOVED: 1118s libglib2.0-0 1118s The following NEW packages will be installed: 1118s libglib2.0-0t64 xdg-user-dirs 1118s The following packages will be upgraded: 1118s gir1.2-glib-2.0 libglib2.0-data 1118s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 1118s Need to get 1774 kB of archives. 1118s After this operation, 138 kB of additional disk space will be used. 1118s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB] 1118s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB] 1118s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 1118s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB] 1119s Fetched 1774 kB in 1s (2764 kB/s) 1119s (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.) 1119s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ... 1119s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1119s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested: 1119s udisks2 depends on libglib2.0-0 (>= 2.77.0). 1119s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 1119s python3-gi depends on libglib2.0-0 (>= 2.77.0). 1119s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 1119s netplan.io depends on libglib2.0-0 (>= 2.70.0). 1119s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 1119s libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0). 1119s libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0). 1119s libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1119s libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56). 1119s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 1119s libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0). 1119s libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1119s libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1119s libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1119s libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0). 1119s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 1119s libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56). 1119s libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3). 1119s libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3). 1119s libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3). 1119s libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0). 1119s libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0). 1119s libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0). 1119s libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3). 1119s libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2). 1119s fwupd depends on libglib2.0-0 (>= 2.79.0). 1119s bolt depends on libglib2.0-0 (>= 2.56.0). 1119s 1119s (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.) 1119s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 1119s Selecting previously unselected package libglib2.0-0t64:arm64. 1119s (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.) 1119s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ... 1119s 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... 1119s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm' 1119s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1119s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 1119s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1119s Selecting previously unselected package xdg-user-dirs. 1119s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ... 1119s Unpacking xdg-user-dirs (0.18-1) ... 1119s Setting up xdg-user-dirs (0.18-1) ... 1119s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1119s No schema files found: doing nothing. 1119s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 1119s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ... 1119s Processing triggers for man-db (2.12.0-3) ... 1120s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1120s Reading package lists... 1121s Building dependency tree... 1121s Reading state information... 1121s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1122s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1122s sh: Distribution appears to be Ubuntu 1123s Reading package lists... 1123s Building dependency tree... 1123s Reading state information... 1123s eatmydata is already the newest version (131-1). 1123s dbus is already the newest version (1.14.10-4ubuntu1). 1123s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1123s Reading package lists... 1124s Building dependency tree... 1124s Reading state information... 1124s rng-tools-debian is already the newest version (2.4). 1124s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1124s Reading package lists... 1124s Building dependency tree... 1124s Reading state information... 1125s haveged is already the newest version (1.9.14-1ubuntu1). 1125s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1125s Reading package lists... 1125s Building dependency tree... 1125s Reading state information... 1126s The following packages will be REMOVED: 1126s cloud-init* python3-configobj* python3-debconf* 1126s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1126s After this operation, 3248 kB disk space will be freed. 1126s (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.) 1126s Removing cloud-init (24.1-0ubuntu1) ... 1127s Removing python3-configobj (5.0.8-3) ... 1127s Removing python3-debconf (1.5.86) ... 1127s Processing triggers for man-db (2.12.0-3) ... 1127s (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.) 1127s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 1128s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1128s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1128s Reading package lists... 1129s Building dependency tree... 1129s Reading state information... 1129s linux-generic is already the newest version (6.8.0-11.11+1). 1129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1130s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1130s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1130s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1130s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 1131s Reading package lists... 1131s Reading package lists... 1131s Building dependency tree... 1131s Reading state information... 1131s Calculating upgrade... 1132s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1132s Reading package lists... 1132s Building dependency tree... 1132s Reading state information... 1132s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1133s autopkgtest [06:32:05]: rebooting testbed after setup commands that affected boot 1166s autopkgtest [06:32:38]: testbed dpkg architecture: arm64 1171s Reading package lists... 1171s Building dependency tree... 1171s Reading state information... 1171s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 1171s Starting 2 pkgProblemResolver with broken count: 0 1171s Done 1172s Done 1172s Starting pkgProblemResolver with broken count: 0 1172s Starting 2 pkgProblemResolver with broken count: 0 1172s Done 1172s The following additional packages will be installed: 1172s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1172s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1172s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1172s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1172s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1172s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1172s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1172s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1172s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1172s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1172s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1173s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1173s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1173s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1173s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1173s why3 z3 1173s Suggested packages: 1173s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1173s Recommended packages: 1173s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1173s The following packages will be REMOVED: 1173s libpng16-16 1173s The following NEW packages will be installed: 1173s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1173s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1173s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1173s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1173s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1173s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1173s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1173s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1173s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1173s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1173s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1173s libpng16-16t64 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1173s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1173s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1173s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1173s why3 z3 1173s 0 upgraded, 71 newly installed, 1 to remove and 0 not upgraded. 1173s 1 not fully installed or removed. 1173s Need to get 39.7 MB of archives. 1173s After this operation, 174 MB of additional disk space will be used. 1173s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1173s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1173s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 1173s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 1173s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 1173s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libpng16-16t64 arm64 1.6.43-3 [185 kB] 1173s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 1173s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 1173s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 1173s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libcairo2 arm64 1.18.0-1ubuntu1 [555 kB] 1173s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1173s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 1174s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1174s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 1174s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 1174s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 1174s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 1174s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 1174s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 1174s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 1174s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 1174s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 1174s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 1174s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1174s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 1174s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 1174s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 1174s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 1174s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 1174s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 1174s Get:31 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libcairo-gobject2 arm64 1.18.0-1ubuntu1 [127 kB] 1174s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 1174s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 1174s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 1174s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 1174s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 1174s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 1174s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 1174s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 1174s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 1174s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 1174s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 1174s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 1174s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 1174s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 1174s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 1174s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 1174s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 1174s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 1174s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 1174s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 1174s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 1174s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 1174s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 1174s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 1174s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 1174s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 1174s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 1174s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 1174s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1174s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 1174s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1174s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 1174s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 1174s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 1174s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 1174s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 1174s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 1175s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 1175s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 1175s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 z3 arm64 4.8.12-3.1 [5412 kB] 1176s Fetched 39.7 MB in 2s (17.4 MB/s) 1176s Selecting previously unselected package fonts-dejavu-mono. 1176s (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.) 1176s Preparing to unpack .../fonts-dejavu-mono_2.37-8_all.deb ... 1176s Unpacking fonts-dejavu-mono (2.37-8) ... 1176s Selecting previously unselected package fonts-dejavu-core. 1176s Preparing to unpack .../fonts-dejavu-core_2.37-8_all.deb ... 1176s Unpacking fonts-dejavu-core (2.37-8) ... 1176s Selecting previously unselected package fontconfig-config. 1176s Preparing to unpack .../fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 1176s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1176s Selecting previously unselected package libfontconfig1:arm64. 1176s Preparing to unpack .../libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 1176s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1176s Selecting previously unselected package libpixman-1-0:arm64. 1176s Preparing to unpack .../libpixman-1-0_0.42.2-1_arm64.deb ... 1176s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 1176s dpkg: libpng16-16:arm64: dependency problems, but removing anyway as you requested: 1176s libplymouth5:arm64 depends on libpng16-16 (>= 1.6.2). 1176s libfreetype6:arm64 depends on libpng16-16 (>= 1.6.2-1). 1176s 1176s (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.) 1176s Removing libpng16-16:arm64 (1.6.43-1) ... 1176s Selecting previously unselected package libpng16-16t64:arm64. 1176s (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.) 1176s Preparing to unpack .../00-libpng16-16t64_1.6.43-3_arm64.deb ... 1176s Unpacking libpng16-16t64:arm64 (1.6.43-3) ... 1176s Selecting previously unselected package libxcb-render0:arm64. 1176s Preparing to unpack .../01-libxcb-render0_1.15-1_arm64.deb ... 1176s Unpacking libxcb-render0:arm64 (1.15-1) ... 1176s Selecting previously unselected package libxcb-shm0:arm64. 1176s Preparing to unpack .../02-libxcb-shm0_1.15-1_arm64.deb ... 1176s Unpacking libxcb-shm0:arm64 (1.15-1) ... 1176s Selecting previously unselected package libxrender1:arm64. 1176s Preparing to unpack .../03-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 1176s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 1176s Selecting previously unselected package libcairo2:arm64. 1176s Preparing to unpack .../04-libcairo2_1.18.0-1ubuntu1_arm64.deb ... 1176s Unpacking libcairo2:arm64 (1.18.0-1ubuntu1) ... 1176s Selecting previously unselected package libgdk-pixbuf2.0-common. 1176s Preparing to unpack .../05-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1176s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1176s Selecting previously unselected package libjpeg-turbo8:arm64. 1176s Preparing to unpack .../06-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 1176s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1176s Selecting previously unselected package libjpeg8:arm64. 1176s Preparing to unpack .../07-libjpeg8_8c-2ubuntu11_arm64.deb ... 1176s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1176s Selecting previously unselected package libdeflate0:arm64. 1177s Preparing to unpack .../08-libdeflate0_1.19-1_arm64.deb ... 1177s Unpacking libdeflate0:arm64 (1.19-1) ... 1177s Selecting previously unselected package libjbig0:arm64. 1177s Preparing to unpack .../09-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 1177s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 1177s Selecting previously unselected package liblerc4:arm64. 1177s Preparing to unpack .../10-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 1177s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1177s Selecting previously unselected package libsharpyuv0:arm64. 1177s Preparing to unpack .../11-libsharpyuv0_1.3.2-0.4_arm64.deb ... 1177s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 1177s Selecting previously unselected package libwebp7:arm64. 1177s Preparing to unpack .../12-libwebp7_1.3.2-0.4_arm64.deb ... 1177s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 1177s Selecting previously unselected package libtiff6:arm64. 1177s Preparing to unpack .../13-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 1177s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1177s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1177s Preparing to unpack .../14-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 1177s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1177s Selecting previously unselected package gtk-update-icon-cache. 1177s Preparing to unpack .../15-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 1177s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1177s Selecting previously unselected package hicolor-icon-theme. 1177s Preparing to unpack .../16-hicolor-icon-theme_0.17-2_all.deb ... 1177s Unpacking hicolor-icon-theme (0.17-2) ... 1177s Selecting previously unselected package humanity-icon-theme. 1177s Preparing to unpack .../17-humanity-icon-theme_0.6.16_all.deb ... 1177s Unpacking humanity-icon-theme (0.6.16) ... 1177s Selecting previously unselected package ubuntu-mono. 1177s Preparing to unpack .../18-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1177s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1178s Selecting previously unselected package adwaita-icon-theme. 1178s Preparing to unpack .../19-adwaita-icon-theme_46~rc-1_all.deb ... 1178s Unpacking adwaita-icon-theme (46~rc-1) ... 1178s Selecting previously unselected package at-spi2-common. 1178s Preparing to unpack .../20-at-spi2-common_2.50.0-1_all.deb ... 1178s Unpacking at-spi2-common (2.50.0-1) ... 1178s Selecting previously unselected package libatk1.0-0:arm64. 1178s Preparing to unpack .../21-libatk1.0-0_2.50.0-1_arm64.deb ... 1178s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 1178s Selecting previously unselected package libxi6:arm64. 1178s Preparing to unpack .../22-libxi6_2%3a1.8.1-1_arm64.deb ... 1178s Unpacking libxi6:arm64 (2:1.8.1-1) ... 1178s Selecting previously unselected package libatspi2.0-0:arm64. 1178s Preparing to unpack .../23-libatspi2.0-0_2.50.0-1_arm64.deb ... 1178s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 1178s Selecting previously unselected package libatk-bridge2.0-0:arm64. 1178s Preparing to unpack .../24-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 1178s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1178s Selecting previously unselected package libcairo-gobject2:arm64. 1178s Preparing to unpack .../25-libcairo-gobject2_1.18.0-1ubuntu1_arm64.deb ... 1178s Unpacking libcairo-gobject2:arm64 (1.18.0-1ubuntu1) ... 1178s Selecting previously unselected package liblcms2-2:arm64. 1178s Preparing to unpack .../26-liblcms2-2_2.14-2_arm64.deb ... 1178s Unpacking liblcms2-2:arm64 (2.14-2) ... 1178s Selecting previously unselected package libcolord2:arm64. 1178s Preparing to unpack .../27-libcolord2_1.4.7-1_arm64.deb ... 1178s Unpacking libcolord2:arm64 (1.4.7-1) ... 1178s Selecting previously unselected package libavahi-common-data:arm64. 1178s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 1178s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1178s Selecting previously unselected package libavahi-common3:arm64. 1178s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 1178s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 1178s Selecting previously unselected package libavahi-client3:arm64. 1178s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 1178s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 1178s Selecting previously unselected package libcups2:arm64. 1178s Preparing to unpack .../31-libcups2_2.4.6-0ubuntu3_arm64.deb ... 1178s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 1178s Selecting previously unselected package libepoxy0:arm64. 1178s Preparing to unpack .../32-libepoxy0_1.5.10-1_arm64.deb ... 1178s Unpacking libepoxy0:arm64 (1.5.10-1) ... 1178s Selecting previously unselected package libgraphite2-3:arm64. 1178s Preparing to unpack .../33-libgraphite2-3_1.3.14-2_arm64.deb ... 1178s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 1178s Selecting previously unselected package libharfbuzz0b:arm64. 1178s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2_arm64.deb ... 1178s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 1178s Selecting previously unselected package fontconfig. 1179s Preparing to unpack .../35-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 1179s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1179s Selecting previously unselected package libthai-data. 1179s Preparing to unpack .../36-libthai-data_0.1.29-2_all.deb ... 1179s Unpacking libthai-data (0.1.29-2) ... 1179s Selecting previously unselected package libdatrie1:arm64. 1179s Preparing to unpack .../37-libdatrie1_0.2.13-3_arm64.deb ... 1179s Unpacking libdatrie1:arm64 (0.2.13-3) ... 1179s Selecting previously unselected package libthai0:arm64. 1179s Preparing to unpack .../38-libthai0_0.1.29-2_arm64.deb ... 1179s Unpacking libthai0:arm64 (0.1.29-2) ... 1179s Selecting previously unselected package libpango-1.0-0:arm64. 1179s Preparing to unpack .../39-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 1179s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1179s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1179s Preparing to unpack .../40-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 1179s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1179s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1179s Preparing to unpack .../41-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 1179s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1179s Selecting previously unselected package libwayland-client0:arm64. 1179s Preparing to unpack .../42-libwayland-client0_1.22.0-2.1_arm64.deb ... 1179s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 1179s Selecting previously unselected package libwayland-cursor0:arm64. 1179s Preparing to unpack .../43-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 1179s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 1179s Selecting previously unselected package libwayland-egl1:arm64. 1179s Preparing to unpack .../44-libwayland-egl1_1.22.0-2.1_arm64.deb ... 1179s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 1179s Selecting previously unselected package libxcomposite1:arm64. 1179s Preparing to unpack .../45-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 1179s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 1179s Selecting previously unselected package libxfixes3:arm64. 1179s Preparing to unpack .../46-libxfixes3_1%3a6.0.0-2_arm64.deb ... 1179s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 1179s Selecting previously unselected package libxcursor1:arm64. 1179s Preparing to unpack .../47-libxcursor1_1%3a1.2.1-1_arm64.deb ... 1179s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 1179s Selecting previously unselected package libxdamage1:arm64. 1179s Preparing to unpack .../48-libxdamage1_1%3a1.1.6-1_arm64.deb ... 1179s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 1179s Selecting previously unselected package libxinerama1:arm64. 1179s Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ... 1179s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 1179s Selecting previously unselected package libxrandr2:arm64. 1179s Preparing to unpack .../50-libxrandr2_2%3a1.5.2-2_arm64.deb ... 1179s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 1179s Selecting previously unselected package libdconf1:arm64. 1179s Preparing to unpack .../51-libdconf1_0.40.0-4_arm64.deb ... 1179s Unpacking libdconf1:arm64 (0.40.0-4) ... 1179s Selecting previously unselected package dconf-service. 1179s Preparing to unpack .../52-dconf-service_0.40.0-4_arm64.deb ... 1179s Unpacking dconf-service (0.40.0-4) ... 1179s Selecting previously unselected package dconf-gsettings-backend:arm64. 1179s Preparing to unpack .../53-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 1179s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 1179s Selecting previously unselected package libgtk-3-common. 1179s Preparing to unpack .../54-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1179s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1179s Selecting previously unselected package libgtk-3-0:arm64. 1179s Preparing to unpack .../55-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 1179s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1179s Selecting previously unselected package libgtksourceview-3.0-common. 1179s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1179s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1179s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1179s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 1179s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1179s Selecting previously unselected package libstdlib-ocaml. 1179s Preparing to unpack .../58-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 1179s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1179s Selecting previously unselected package ocaml-base. 1179s Preparing to unpack .../59-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 1179s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1179s Selecting previously unselected package libcairo2-ocaml. 1179s Preparing to unpack .../60-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 1179s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1179s Selecting previously unselected package liblablgtk3-ocaml. 1179s Preparing to unpack .../61-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 1179s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1180s Selecting previously unselected package liblablgtksourceview3-ocaml. 1180s Preparing to unpack .../62-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 1180s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1180s Selecting previously unselected package tex-common. 1180s Preparing to unpack .../63-tex-common_6.18_all.deb ... 1180s Unpacking tex-common (6.18) ... 1180s Selecting previously unselected package why3. 1180s Preparing to unpack .../64-why3_1.6.0-1build4_arm64.deb ... 1180s Unpacking why3 (1.6.0-1build4) ... 1180s Selecting previously unselected package z3. 1180s Preparing to unpack .../65-z3_4.8.12-3.1_arm64.deb ... 1180s Unpacking z3 (4.8.12-3.1) ... 1180s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 1180s Setting up liblcms2-2:arm64 (2.14-2) ... 1180s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 1180s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 1180s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 1180s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1180s Setting up hicolor-icon-theme (0.17-2) ... 1180s Setting up libxi6:arm64 (2:1.8.1-1) ... 1180s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 1180s Setting up libdatrie1:arm64 (0.2.13-3) ... 1180s Setting up libxcb-render0:arm64 (1.15-1) ... 1180s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1180s Setting up libdeflate0:arm64 (1.19-1) ... 1180s Setting up libxcb-shm0:arm64 (1.15-1) ... 1180s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 1180s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 1180s Setting up z3 (4.8.12-3.1) ... 1180s Setting up libcolord2:arm64 (1.4.7-1) ... 1180s Setting up libdconf1:arm64 (0.40.0-4) ... 1180s Setting up tex-common (6.18) ... 1181s update-language: texlive-base not installed and configured, doing nothing! 1181s Setting up libepoxy0:arm64 (1.5.10-1) ... 1181s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 1181s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1181s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 1181s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1181s Setting up fonts-dejavu-mono (2.37-8) ... 1181s Setting up libpng16-16t64:arm64 (1.6.43-3) ... 1181s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 1181s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1181s Setting up fonts-dejavu-core (2.37-8) ... 1181s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1181s Setting up libwebp7:arm64 (1.3.2-0.4) ... 1181s Setting up at-spi2-common (2.50.0-1) ... 1181s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1181s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 1181s Setting up libthai-data (0.1.29-2) ... 1181s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 1181s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 1181s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 1181s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 1181s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1181s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1181s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 1181s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 1181s Setting up dconf-service (0.40.0-4) ... 1181s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1181s Setting up libthai0:arm64 (0.1.29-2) ... 1181s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1181s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 1181s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1181s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1181s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 1181s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1181s Setting up fontconfig (2.15.0-1ubuntu1) ... 1183s Regenerating fonts cache... done. 1183s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 1183s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1183s Setting up libcairo2:arm64 (1.18.0-1ubuntu1) ... 1183s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 1183s Setting up libcairo-gobject2:arm64 (1.18.0-1ubuntu1) ... 1183s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1183s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1183s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1183s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1183s Setting up adwaita-icon-theme (46~rc-1) ... 1183s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1183s Setting up humanity-icon-theme (0.6.16) ... 1183s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1183s Processing triggers for man-db (2.12.0-3) ... 1184s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ... 1184s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1184s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1184s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1184s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1184s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1184s Setting up why3 (1.6.0-1build4) ... 1184s Setting up autopkgtest-satdep (0) ... 1184s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1189s (Reading database ... 88069 files and directories currently installed.) 1189s Removing autopkgtest-satdep (0) ... 1197s autopkgtest [06:33:09]: test why3+z3: [----------------------- 1199s autopkgtest [06:33:11]: test why3+z3: -----------------------] 1199s why3+z3 PASS 1199s autopkgtest [06:33:11]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1200s autopkgtest [06:33:12]: @@@@@@@@@@@@@@@@@@@@ summary 1200s why3+alt-ergo SKIP installation fails and skip-not-installable set 1200s why3+cvc4 PASS 1200s why3+spass PASS 1200s why3+z3 PASS 1204s Creating nova instance adt-noble-arm64-why3-20240311-061312-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)... 1204s Creating nova instance adt-noble-arm64-why3-20240311-061312-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)... 1204s Creating nova instance adt-noble-arm64-why3-20240311-061312-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)... 1204s Creating nova instance adt-noble-arm64-why3-20240311-061312-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240311.img (UUID 900cfff9-7f1a-42c7-81a7-22635cd2a5f9)...