0s autopkgtest [10:42:05]: starting date and time: 2024-03-24 10:42:05+0000 0s autopkgtest [10:42:05]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [10:42:05]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.5h3ccv0l/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:sphinx --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=sphinx/7.2.6-6 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-arm64-30.secgroup --name adt-noble-arm64-why3-20240324-104205-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 172s autopkgtest [10:44:57]: testbed dpkg architecture: arm64 172s autopkgtest [10:44:57]: testbed apt version: 2.7.12 172s autopkgtest [10:44:57]: @@@@@@@@@@@@@@@@@@@@ test bed setup 173s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 174s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 174s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 174s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3982 kB] 175s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 175s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [706 kB] 176s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 176s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.7 kB] 176s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 176s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4361 kB] 176s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 176s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [69.8 kB] 176s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 186s Fetched 9838 kB in 5s (1792 kB/s) 187s Reading package lists... 193s Reading package lists... 194s Building dependency tree... 194s Reading state information... 195s Calculating upgrade... 197s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 197s Reading package lists... 198s Building dependency tree... 198s Reading state information... 200s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 202s sh: Attempting to set up Debian/Ubuntu apt sources automatically 202s sh: Distribution appears to be Ubuntu 205s Reading package lists... 205s Building dependency tree... 205s Reading state information... 207s eatmydata is already the newest version (131-1). 207s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 207s Reading package lists... 208s Building dependency tree... 208s Reading state information... 210s dbus is already the newest version (1.14.10-4ubuntu1). 210s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 210s Reading package lists... 210s Building dependency tree... 210s Reading state information... 212s rng-tools-debian is already the newest version (2.4). 212s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 212s Reading package lists... 213s Building dependency tree... 213s Reading state information... 215s The following packages will be REMOVED: 215s cloud-init* python3-configobj* python3-debconf* 216s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 216s After this operation, 3256 kB disk space will be freed. 217s (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 ... 75911 files and directories currently installed.) 217s Removing cloud-init (24.1.2-0ubuntu1) ... 219s Removing python3-configobj (5.0.8-3) ... 219s Removing python3-debconf (1.5.86) ... 220s Processing triggers for man-db (2.12.0-3) ... 221s (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 ... 75522 files and directories currently installed.) 221s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 223s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 223s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 223s invoke-rc.d: policy-rc.d denied execution of try-restart. 224s Reading package lists... 225s Building dependency tree... 225s Reading state information... 226s linux-generic is already the newest version (6.8.0-11.11+1). 226s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 227s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 227s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 227s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 237s Reading package lists... 237s Reading package lists... 238s Building dependency tree... 238s Reading state information... 239s Calculating upgrade... 240s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 241s Reading package lists... 241s Building dependency tree... 241s Reading state information... 243s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 244s autopkgtest [10:46:09]: rebooting testbed after setup commands that affected boot 406s autopkgtest [10:48:51]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 410s autopkgtest [10:48:55]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 418s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 418s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 418s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 419s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 419s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 419s gpgv: Can't check signature: No public key 419s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 421s autopkgtest [10:49:06]: testing package why3 version 1.6.0-1build4 422s autopkgtest [10:49:07]: build not needed 427s autopkgtest [10:49:12]: test why3+alt-ergo: preparing testbed 435s Reading package lists... 435s Building dependency tree... 435s Reading state information... 436s Starting pkgProblemResolver with broken count: 1 437s Starting 2 pkgProblemResolver with broken count: 1 437s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib > 437s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un uH > 437s Considering why3:arm64 1 as a solution to autopkgtest-satdep:arm64 9998 437s Re-Instated fonts-dejavu-mono:arm64 437s Re-Instated fonts-dejavu-core:arm64 437s Re-Instated fontconfig-config:arm64 437s Re-Instated libfontconfig1:arm64 437s Re-Instated libpixman-1-0:arm64 437s Re-Instated libxcb-render0:arm64 437s Re-Instated libxcb-shm0:arm64 437s Re-Instated libxrender1:arm64 437s Re-Instated libcairo2:arm64 437s Re-Instated libgdk-pixbuf2.0-common:arm64 437s Re-Instated libjpeg-turbo8:arm64 437s Re-Instated libjpeg8:arm64 437s Re-Instated libdeflate0:arm64 437s Re-Instated libjbig0:arm64 437s Re-Instated liblerc4:arm64 437s Re-Instated libsharpyuv0:arm64 437s Re-Instated libwebp7:arm64 437s Re-Instated libtiff6:arm64 437s Re-Instated libgdk-pixbuf-2.0-0:arm64 437s Re-Instated gtk-update-icon-cache:arm64 437s Re-Instated hicolor-icon-theme:arm64 437s Re-Instated humanity-icon-theme:arm64 437s Re-Instated ubuntu-mono:arm64 437s Re-Instated adwaita-icon-theme:arm64 437s Re-Instated at-spi2-common:arm64 437s Re-Instated libatk1.0-0:arm64 437s Re-Instated libxi6:arm64 437s Re-Instated libatspi2.0-0:arm64 437s Re-Instated libatk-bridge2.0-0:arm64 437s Re-Instated libcairo-gobject2:arm64 437s Re-Instated liblcms2-2:arm64 437s Re-Instated libcolord2:arm64 437s Re-Instated libavahi-common-data:arm64 437s Re-Instated libavahi-common3:arm64 437s Re-Instated libavahi-client3:arm64 437s Re-Instated libcups2:arm64 437s Re-Instated libepoxy0:arm64 437s Re-Instated libgraphite2-3:arm64 437s Re-Instated libharfbuzz0b:arm64 437s Re-Instated fontconfig:arm64 437s Re-Instated libthai-data:arm64 437s Re-Instated libdatrie1:arm64 437s Re-Instated libthai0:arm64 437s Re-Instated libpango-1.0-0:arm64 437s Re-Instated libpangoft2-1.0-0:arm64 437s Re-Instated libpangocairo-1.0-0:arm64 437s Re-Instated libwayland-client0:arm64 437s Re-Instated libwayland-cursor0:arm64 437s Re-Instated libwayland-egl1:arm64 437s Re-Instated libxcomposite1:arm64 437s Re-Instated libxfixes3:arm64 437s Re-Instated libxcursor1:arm64 437s Re-Instated libxdamage1:arm64 437s Re-Instated libxinerama1:arm64 437s Re-Instated libxrandr2:arm64 437s Re-Instated libdconf1:arm64 437s Re-Instated dconf-service:arm64 437s Re-Instated dconf-gsettings-backend:arm64 437s Re-Instated libgtk-3-common:arm64 437s Re-Instated libgtk-3-0:arm64 437s Re-Instated libgtksourceview-3.0-common:arm64 437s Re-Instated libgtksourceview-3.0-1:arm64 437s Re-Instated libstdlib-ocaml:arm64 437s Re-Instated ocaml-base:arm64 437s Re-Instated libcairo2-ocaml:arm64 437s Re-Instated liblablgtk3-ocaml:arm64 437s Re-Instated liblablgtksourceview3-ocaml:arm64 437s Re-Instated tex-common:arm64 437s Re-Instated why3:arm64 437s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 437s Done 437s Some packages could not be installed. This may mean that you have 437s requested an impossible situation or if you are using the unstable 437s distribution that some required packages have not yet been created 437s or been moved out of Incoming. 437s The following information may help to resolve the situation: 437s 437s The following packages have unmet dependencies: 438s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 438s E: Unable to correct problems, you have held broken packages. 438s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 439s Reading package lists... 439s Building dependency tree... 439s Reading state information... 440s Starting pkgProblemResolver with broken count: 1 441s Starting 2 pkgProblemResolver with broken count: 1 441s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib > 441s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un uH > 441s Considering why3:arm64 1 as a solution to autopkgtest-satdep:arm64 9998 441s Re-Instated fonts-dejavu-mono:arm64 441s Re-Instated fonts-dejavu-core:arm64 441s Re-Instated fontconfig-config:arm64 441s Re-Instated libfontconfig1:arm64 441s Re-Instated libpixman-1-0:arm64 441s Re-Instated libxcb-render0:arm64 441s Re-Instated libxcb-shm0:arm64 441s Re-Instated libxrender1:arm64 441s Re-Instated libcairo2:arm64 441s Re-Instated libgdk-pixbuf2.0-common:arm64 441s Re-Instated libjpeg-turbo8:arm64 441s Re-Instated libjpeg8:arm64 441s Re-Instated libdeflate0:arm64 441s Re-Instated libjbig0:arm64 441s Re-Instated liblerc4:arm64 441s Re-Instated libsharpyuv0:arm64 441s Re-Instated libwebp7:arm64 441s Re-Instated libtiff6:arm64 441s Re-Instated libgdk-pixbuf-2.0-0:arm64 441s Re-Instated gtk-update-icon-cache:arm64 441s Re-Instated hicolor-icon-theme:arm64 441s Re-Instated humanity-icon-theme:arm64 441s Re-Instated ubuntu-mono:arm64 441s Re-Instated adwaita-icon-theme:arm64 441s Re-Instated at-spi2-common:arm64 441s Re-Instated libatk1.0-0:arm64 441s Re-Instated libxi6:arm64 441s Re-Instated libatspi2.0-0:arm64 441s Re-Instated libatk-bridge2.0-0:arm64 441s Re-Instated libcairo-gobject2:arm64 441s Re-Instated liblcms2-2:arm64 441s Re-Instated libcolord2:arm64 441s Re-Instated libavahi-common-data:arm64 441s Re-Instated libavahi-common3:arm64 441s Re-Instated libavahi-client3:arm64 441s Re-Instated libcups2:arm64 441s Re-Instated libepoxy0:arm64 441s Re-Instated libgraphite2-3:arm64 441s Re-Instated libharfbuzz0b:arm64 441s Re-Instated fontconfig:arm64 441s Re-Instated libthai-data:arm64 441s Re-Instated libdatrie1:arm64 441s Re-Instated libthai0:arm64 441s Re-Instated libpango-1.0-0:arm64 441s Re-Instated libpangoft2-1.0-0:arm64 441s Re-Instated libpangocairo-1.0-0:arm64 441s Re-Instated libwayland-client0:arm64 441s Re-Instated libwayland-cursor0:arm64 441s Re-Instated libwayland-egl1:arm64 441s Re-Instated libxcomposite1:arm64 441s Re-Instated libxfixes3:arm64 441s Re-Instated libxcursor1:arm64 441s Re-Instated libxdamage1:arm64 441s Re-Instated libxinerama1:arm64 441s Re-Instated libxrandr2:arm64 441s Re-Instated libdconf1:arm64 441s Re-Instated dconf-service:arm64 441s Re-Instated dconf-gsettings-backend:arm64 441s Re-Instated libgtk-3-common:arm64 441s Re-Instated libgtk-3-0:arm64 441s Re-Instated libgtksourceview-3.0-common:arm64 441s Re-Instated libgtksourceview-3.0-1:arm64 441s Re-Instated libstdlib-ocaml:arm64 441s Re-Instated ocaml-base:arm64 441s Re-Instated libcairo2-ocaml:arm64 441s Re-Instated liblablgtk3-ocaml:arm64 441s Re-Instated liblablgtksourceview3-ocaml:arm64 441s Re-Instated tex-common:arm64 441s Re-Instated why3:arm64 441s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 441s Done 441s Some packages could not be installed. This may mean that you have 441s requested an impossible situation or if you are using the unstable 441s distribution that some required packages have not yet been created 441s or been moved out of Incoming. 441s The following information may help to resolve the situation: 441s 441s The following packages have unmet dependencies: 442s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 442s E: Unable to correct problems, you have held broken packages. 442s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 442s autopkgtest [10:49:27]: test why3+cvc4: preparing testbed 442s why3+alt-ergo SKIP installation fails and skip-not-installable set 839s autopkgtest [10:56:01]: testbed dpkg architecture: arm64 839s autopkgtest [10:56:02]: testbed apt version: 2.7.12 839s autopkgtest [10:56:02]: @@@@@@@@@@@@@@@@@@@@ test bed setup 840s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 842s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 842s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3982 kB] 843s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 843s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 843s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [706 kB] 843s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 843s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.7 kB] 844s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 844s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4361 kB] 845s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 845s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [69.8 kB] 845s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 867s Fetched 9838 kB in 14s (722 kB/s) 869s Reading package lists... 883s Reading package lists... 887s Building dependency tree... 887s Reading state information... 889s Calculating upgrade... 892s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 892s Reading package lists... 894s Building dependency tree... 894s Reading state information... 899s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 902s sh: Attempting to set up Debian/Ubuntu apt sources automatically 903s sh: Distribution appears to be Ubuntu 910s Reading package lists... 912s Building dependency tree... 912s Reading state information... 916s eatmydata is already the newest version (131-1). 916s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 916s Reading package lists... 918s Building dependency tree... 918s Reading state information... 921s dbus is already the newest version (1.14.10-4ubuntu1). 921s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 922s Reading package lists... 923s Building dependency tree... 923s Reading state information... 930s rng-tools-debian is already the newest version (2.4). 930s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 930s Reading package lists... 930s Building dependency tree... 930s Reading state information... 932s The following packages will be REMOVED: 932s cloud-init* python3-configobj* python3-debconf* 935s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 935s After this operation, 3256 kB disk space will be freed. 936s (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 ... 75911 files and directories currently installed.) 936s Removing cloud-init (24.1.2-0ubuntu1) ... 940s Removing python3-configobj (5.0.8-3) ... 941s Removing python3-debconf (1.5.86) ... 941s Processing triggers for man-db (2.12.0-3) ... 943s (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 ... 75522 files and directories currently installed.) 943s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 948s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 948s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 949s invoke-rc.d: policy-rc.d denied execution of try-restart. 950s Reading package lists... 951s Building dependency tree... 951s Reading state information... 954s linux-generic is already the newest version (6.8.0-11.11+1). 954s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 956s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 956s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 956s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 981s Reading package lists... 981s Reading package lists... 982s Building dependency tree... 982s Reading state information... 985s Calculating upgrade... 988s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 988s Reading package lists... 989s Building dependency tree... 989s Reading state information... 993s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 994s autopkgtest [10:58:39]: rebooting testbed after setup commands that affected boot 1169s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 1211s Reading package lists... 1213s Building dependency tree... 1213s Reading state information... 1214s Starting pkgProblemResolver with broken count: 0 1215s Starting 2 pkgProblemResolver with broken count: 0 1215s Done 1219s The following additional packages will be installed: 1219s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 1219s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1219s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1219s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1219s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1219s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 1219s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 1219s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 1219s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1219s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 1219s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 1219s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 1219s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 1219s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 1219s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 1219s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 1219s Suggested packages: 1219s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 1219s Recommended packages: 1219s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1220s The following NEW packages will be installed: 1220s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 1220s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 1220s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1220s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 1220s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 1220s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 1220s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 1220s libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 1220s libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1220s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1220s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1220s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1220s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1220s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1220s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1220s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1220s why3 1220s 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. 1220s Need to get 39.3 MB/39.3 MB of archives. 1220s After this operation, 178 MB of additional disk space will be used. 1220s Get:1 /tmp/autopkgtest.AHNv3w/2-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 1220s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1220s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 1220s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1220s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 1221s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 1221s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 1221s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 1221s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 1221s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 1221s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 1221s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 1221s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 1221s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 1221s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1221s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 1221s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 1221s Get:18 http://ftpmaster.internal/ubuntu noble/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 1221s Get:19 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4-7 arm64 1.8-3 [4325 kB] 1222s Get:20 http://ftpmaster.internal/ubuntu noble/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build1 [39.7 kB] 1222s Get:21 http://ftpmaster.internal/ubuntu noble/universe arm64 libcvc4parser7 arm64 1.8-3 [356 kB] 1222s Get:22 http://ftpmaster.internal/ubuntu noble/universe arm64 cvc4 arm64 1.8-3 [71.2 kB] 1222s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 1222s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 1222s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 1222s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1222s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1222s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 1222s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 1222s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 1223s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 1223s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 1223s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 1223s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 1223s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 1223s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 1223s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 1223s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 1223s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 1223s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 1223s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 1223s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 1223s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 1223s Get:44 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 1223s Get:45 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 1223s Get:46 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 1223s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 1223s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 1223s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 1223s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 1223s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 1223s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 1223s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 1223s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 1223s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 1223s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 1223s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 1223s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 1223s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 1224s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 1224s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 1224s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 1224s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 1224s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 1224s Get:65 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 1224s Get:66 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 1224s Get:67 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 1224s Get:68 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1224s Get:69 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 1224s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1224s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 1224s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 1225s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 1225s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 1225s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 1229s Fetched 39.3 MB in 6s (6311 kB/s) 1229s Selecting previously unselected package libgdk-pixbuf2.0-common. 1230s (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 ... 75467 files and directories currently installed.) 1230s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1230s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1230s Selecting previously unselected package libjpeg-turbo8:arm64. 1230s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 1230s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1230s Selecting previously unselected package libjpeg8:arm64. 1230s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1230s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1230s Selecting previously unselected package libdeflate0:arm64. 1230s Preparing to unpack .../03-libdeflate0_1.19-1_arm64.deb ... 1230s Unpacking libdeflate0:arm64 (1.19-1) ... 1230s Selecting previously unselected package libjbig0:arm64. 1230s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 1230s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 1230s Selecting previously unselected package liblerc4:arm64. 1230s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 1230s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1231s Selecting previously unselected package libsharpyuv0:arm64. 1231s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_arm64.deb ... 1231s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 1231s Selecting previously unselected package libwebp7:arm64. 1231s Preparing to unpack .../07-libwebp7_1.3.2-0.4_arm64.deb ... 1231s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 1231s Selecting previously unselected package libtiff6:arm64. 1231s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 1231s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1231s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1231s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 1231s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1231s Selecting previously unselected package gtk-update-icon-cache. 1231s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 1231s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1232s Selecting previously unselected package hicolor-icon-theme. 1232s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 1232s Unpacking hicolor-icon-theme (0.17-2) ... 1233s Selecting previously unselected package humanity-icon-theme. 1233s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1233s Unpacking humanity-icon-theme (0.6.16) ... 1241s Selecting previously unselected package ubuntu-mono. 1241s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1241s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1245s Selecting previously unselected package adwaita-icon-theme. 1245s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 1245s Unpacking adwaita-icon-theme (46~rc-1) ... 1247s Selecting previously unselected package at-spi2-common. 1247s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 1247s Unpacking at-spi2-common (2.50.0-1) ... 1247s Selecting previously unselected package libcln6:arm64. 1247s Preparing to unpack .../16-libcln6_1.3.7-1_arm64.deb ... 1247s Unpacking libcln6:arm64 (1.3.7-1) ... 1247s Selecting previously unselected package libcvc4-7:arm64. 1247s Preparing to unpack .../17-libcvc4-7_1.8-3_arm64.deb ... 1247s Unpacking libcvc4-7:arm64 (1.8-3) ... 1248s Selecting previously unselected package libantlr3c-3.4-0:arm64. 1248s Preparing to unpack .../18-libantlr3c-3.4-0_3.4+dfsg-4build1_arm64.deb ... 1248s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 1248s Selecting previously unselected package libcvc4parser7:arm64. 1249s Preparing to unpack .../19-libcvc4parser7_1.8-3_arm64.deb ... 1249s Unpacking libcvc4parser7:arm64 (1.8-3) ... 1249s Selecting previously unselected package cvc4. 1249s Preparing to unpack .../20-cvc4_1.8-3_arm64.deb ... 1249s Unpacking cvc4 (1.8-3) ... 1249s Selecting previously unselected package libdconf1:arm64. 1249s Preparing to unpack .../21-libdconf1_0.40.0-4_arm64.deb ... 1250s Unpacking libdconf1:arm64 (0.40.0-4) ... 1250s Selecting previously unselected package dconf-service. 1250s Preparing to unpack .../22-dconf-service_0.40.0-4_arm64.deb ... 1250s Unpacking dconf-service (0.40.0-4) ... 1250s Selecting previously unselected package dconf-gsettings-backend:arm64. 1250s Preparing to unpack .../23-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 1250s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 1250s Selecting previously unselected package fonts-dejavu-mono. 1250s Preparing to unpack .../24-fonts-dejavu-mono_2.37-8_all.deb ... 1250s Unpacking fonts-dejavu-mono (2.37-8) ... 1251s Selecting previously unselected package fonts-dejavu-core. 1251s Preparing to unpack .../25-fonts-dejavu-core_2.37-8_all.deb ... 1251s Unpacking fonts-dejavu-core (2.37-8) ... 1251s Selecting previously unselected package fontconfig-config. 1251s Preparing to unpack .../26-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 1253s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1253s Selecting previously unselected package libfontconfig1:arm64. 1254s Preparing to unpack .../27-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 1254s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1254s Selecting previously unselected package fontconfig. 1254s Preparing to unpack .../28-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 1254s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1254s Selecting previously unselected package libatk1.0-0:arm64. 1254s Preparing to unpack .../29-libatk1.0-0_2.50.0-1_arm64.deb ... 1254s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 1254s Selecting previously unselected package libxi6:arm64. 1254s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_arm64.deb ... 1255s Unpacking libxi6:arm64 (2:1.8.1-1) ... 1255s Selecting previously unselected package libatspi2.0-0:arm64. 1255s Preparing to unpack .../31-libatspi2.0-0_2.50.0-1_arm64.deb ... 1255s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 1255s Selecting previously unselected package libatk-bridge2.0-0:arm64. 1256s Preparing to unpack .../32-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 1256s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1256s Selecting previously unselected package libavahi-common-data:arm64. 1256s Preparing to unpack .../33-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 1256s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1257s Selecting previously unselected package libavahi-common3:arm64. 1257s Preparing to unpack .../34-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 1257s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 1258s Selecting previously unselected package libavahi-client3:arm64. 1258s Preparing to unpack .../35-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 1258s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 1258s Selecting previously unselected package libpixman-1-0:arm64. 1258s Preparing to unpack .../36-libpixman-1-0_0.42.2-1_arm64.deb ... 1258s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 1259s Selecting previously unselected package libxcb-render0:arm64. 1259s Preparing to unpack .../37-libxcb-render0_1.15-1_arm64.deb ... 1259s Unpacking libxcb-render0:arm64 (1.15-1) ... 1259s Selecting previously unselected package libxcb-shm0:arm64. 1259s Preparing to unpack .../38-libxcb-shm0_1.15-1_arm64.deb ... 1259s Unpacking libxcb-shm0:arm64 (1.15-1) ... 1259s Selecting previously unselected package libxrender1:arm64. 1259s Preparing to unpack .../39-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 1259s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 1260s Selecting previously unselected package libcairo2:arm64. 1260s Preparing to unpack .../40-libcairo2_1.18.0-1_arm64.deb ... 1260s Unpacking libcairo2:arm64 (1.18.0-1) ... 1260s Selecting previously unselected package libcairo-gobject2:arm64. 1260s Preparing to unpack .../41-libcairo-gobject2_1.18.0-1_arm64.deb ... 1260s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 1260s Selecting previously unselected package libstdlib-ocaml. 1260s Preparing to unpack .../42-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 1260s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1260s Selecting previously unselected package ocaml-base. 1260s Preparing to unpack .../43-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 1260s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1261s Selecting previously unselected package libcairo2-ocaml. 1261s Preparing to unpack .../44-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 1261s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1261s Selecting previously unselected package liblcms2-2:arm64. 1261s Preparing to unpack .../45-liblcms2-2_2.14-2_arm64.deb ... 1261s Unpacking liblcms2-2:arm64 (2.14-2) ... 1261s Selecting previously unselected package libcolord2:arm64. 1261s Preparing to unpack .../46-libcolord2_1.4.7-1_arm64.deb ... 1261s Unpacking libcolord2:arm64 (1.4.7-1) ... 1261s Selecting previously unselected package libcups2:arm64. 1261s Preparing to unpack .../47-libcups2_2.4.6-0ubuntu3_arm64.deb ... 1261s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 1261s Selecting previously unselected package libdatrie1:arm64. 1262s Preparing to unpack .../48-libdatrie1_0.2.13-3_arm64.deb ... 1262s Unpacking libdatrie1:arm64 (0.2.13-3) ... 1262s Selecting previously unselected package libepoxy0:arm64. 1262s Preparing to unpack .../49-libepoxy0_1.5.10-1_arm64.deb ... 1262s Unpacking libepoxy0:arm64 (1.5.10-1) ... 1262s Selecting previously unselected package libgraphite2-3:arm64. 1262s Preparing to unpack .../50-libgraphite2-3_1.3.14-2_arm64.deb ... 1262s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 1262s Selecting previously unselected package libharfbuzz0b:arm64. 1262s Preparing to unpack .../51-libharfbuzz0b_8.3.0-2_arm64.deb ... 1262s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 1262s Selecting previously unselected package libthai-data. 1262s Preparing to unpack .../52-libthai-data_0.1.29-2_all.deb ... 1262s Unpacking libthai-data (0.1.29-2) ... 1262s Selecting previously unselected package libthai0:arm64. 1262s Preparing to unpack .../53-libthai0_0.1.29-2_arm64.deb ... 1262s Unpacking libthai0:arm64 (0.1.29-2) ... 1262s Selecting previously unselected package libpango-1.0-0:arm64. 1262s Preparing to unpack .../54-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 1262s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1263s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1263s Preparing to unpack .../55-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 1263s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1263s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1263s Preparing to unpack .../56-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 1263s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1263s Selecting previously unselected package libwayland-client0:arm64. 1263s Preparing to unpack .../57-libwayland-client0_1.22.0-2.1_arm64.deb ... 1263s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 1263s Selecting previously unselected package libwayland-cursor0:arm64. 1263s Preparing to unpack .../58-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 1263s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 1263s Selecting previously unselected package libwayland-egl1:arm64. 1263s Preparing to unpack .../59-libwayland-egl1_1.22.0-2.1_arm64.deb ... 1263s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 1264s Selecting previously unselected package libxcomposite1:arm64. 1264s Preparing to unpack .../60-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 1264s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 1264s Selecting previously unselected package libxfixes3:arm64. 1264s Preparing to unpack .../61-libxfixes3_1%3a6.0.0-2_arm64.deb ... 1264s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 1264s Selecting previously unselected package libxcursor1:arm64. 1264s Preparing to unpack .../62-libxcursor1_1%3a1.2.1-1_arm64.deb ... 1264s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 1264s Selecting previously unselected package libxdamage1:arm64. 1264s Preparing to unpack .../63-libxdamage1_1%3a1.1.6-1_arm64.deb ... 1264s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 1264s Selecting previously unselected package libxinerama1:arm64. 1264s Preparing to unpack .../64-libxinerama1_2%3a1.1.4-3_arm64.deb ... 1264s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 1264s Selecting previously unselected package libxrandr2:arm64. 1264s Preparing to unpack .../65-libxrandr2_2%3a1.5.2-2_arm64.deb ... 1264s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 1265s Selecting previously unselected package libgtk-3-common. 1265s Preparing to unpack .../66-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1265s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1265s Selecting previously unselected package libgtk-3-0:arm64. 1265s Preparing to unpack .../67-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 1265s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1266s Selecting previously unselected package libgtksourceview-3.0-common. 1266s Preparing to unpack .../68-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1266s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1267s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1267s Preparing to unpack .../69-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 1267s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1267s Selecting previously unselected package liblablgtk3-ocaml. 1267s Preparing to unpack .../70-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 1267s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1268s Selecting previously unselected package liblablgtksourceview3-ocaml. 1268s Preparing to unpack .../71-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 1268s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1269s Selecting previously unselected package tex-common. 1269s Preparing to unpack .../72-tex-common_6.18_all.deb ... 1269s Unpacking tex-common (6.18) ... 1269s Selecting previously unselected package why3. 1269s Preparing to unpack .../73-why3_1.6.0-1build4_arm64.deb ... 1269s Unpacking why3 (1.6.0-1build4) ... 1272s Selecting previously unselected package autopkgtest-satdep. 1272s Preparing to unpack .../74-2-autopkgtest-satdep.deb ... 1272s Unpacking autopkgtest-satdep (0) ... 1273s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 1273s Setting up liblcms2-2:arm64 (2.14-2) ... 1273s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 1273s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 1273s Setting up libcln6:arm64 (1.3.7-1) ... 1273s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 1273s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1273s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build1) ... 1273s Setting up hicolor-icon-theme (0.17-2) ... 1273s Setting up libxi6:arm64 (2:1.8.1-1) ... 1273s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 1273s Setting up libdatrie1:arm64 (0.2.13-3) ... 1273s Setting up libxcb-render0:arm64 (1.15-1) ... 1273s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1273s Setting up libdeflate0:arm64 (1.19-1) ... 1273s Setting up libxcb-shm0:arm64 (1.15-1) ... 1273s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 1273s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 1273s Setting up libcolord2:arm64 (1.4.7-1) ... 1273s Setting up libdconf1:arm64 (0.40.0-4) ... 1273s Setting up tex-common (6.18) ... 1275s update-language: texlive-base not installed and configured, doing nothing! 1275s Setting up libepoxy0:arm64 (1.5.10-1) ... 1275s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 1275s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1275s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 1275s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1275s Setting up fonts-dejavu-mono (2.37-8) ... 1275s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 1275s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1275s Setting up fonts-dejavu-core (2.37-8) ... 1276s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1276s Setting up libwebp7:arm64 (1.3.2-0.4) ... 1276s Setting up at-spi2-common (2.50.0-1) ... 1276s Setting up libcvc4-7:arm64 (1.8-3) ... 1276s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1276s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 1276s Setting up libthai-data (0.1.29-2) ... 1276s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 1276s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 1276s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 1276s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 1276s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1276s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1278s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 1278s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 1278s Setting up dconf-service (0.40.0-4) ... 1278s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1278s Setting up libthai0:arm64 (0.1.29-2) ... 1278s Setting up libcvc4parser7:arm64 (1.8-3) ... 1278s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1278s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 1278s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1278s Setting up cvc4 (1.8-3) ... 1278s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1278s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 1278s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1278s Setting up fontconfig (2.15.0-1ubuntu1) ... 1280s Regenerating fonts cache... done. 1280s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 1280s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1280s Setting up libcairo2:arm64 (1.18.0-1) ... 1280s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 1281s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 1281s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1281s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1281s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1281s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1281s Setting up adwaita-icon-theme (46~rc-1) ... 1281s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1281s Setting up humanity-icon-theme (0.6.16) ... 1282s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1282s Processing triggers for man-db (2.12.0-3) ... 1287s Processing triggers for libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 1288s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1288s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1288s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1288s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1288s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1288s Setting up why3 (1.6.0-1build4) ... 1288s Setting up autopkgtest-satdep (0) ... 1288s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1314s (Reading database ... 89260 files and directories currently installed.) 1314s Removing autopkgtest-satdep (0) ... 1338s autopkgtest [11:04:23]: test why3+cvc4: [----------------------- 1344s autopkgtest [11:04:29]: test why3+cvc4: -----------------------] 1346s autopkgtest [11:04:31]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 1346s why3+cvc4 PASS 1347s autopkgtest [11:04:32]: test why3+spass: preparing testbed 1548s autopkgtest [11:07:53]: testbed dpkg architecture: arm64 1548s autopkgtest [11:07:53]: testbed apt version: 2.7.12 1548s autopkgtest [11:07:53]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1549s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1550s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [57.3 kB] 1550s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 1551s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3983 kB] 1552s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 1552s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [704 kB] 1552s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 1552s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.7 kB] 1552s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 1552s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4363 kB] 1553s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 1553s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [69.8 kB] 1553s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 1563s Fetched 9840 kB in 6s (1663 kB/s) 1563s Reading package lists... 1569s Reading package lists... 1570s Building dependency tree... 1570s Reading state information... 1572s Calculating upgrade... 1574s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1574s Reading package lists... 1575s Building dependency tree... 1575s Reading state information... 1577s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1579s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1579s sh: Distribution appears to be Ubuntu 1583s Reading package lists... 1584s Building dependency tree... 1584s Reading state information... 1586s eatmydata is already the newest version (131-1). 1586s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1586s Reading package lists... 1586s Building dependency tree... 1586s Reading state information... 1588s dbus is already the newest version (1.14.10-4ubuntu1). 1588s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1588s Reading package lists... 1589s Building dependency tree... 1589s Reading state information... 1591s rng-tools-debian is already the newest version (2.4). 1591s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1591s Reading package lists... 1592s Building dependency tree... 1592s Reading state information... 1593s The following packages will be REMOVED: 1593s cloud-init* python3-configobj* python3-debconf* 1594s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1594s After this operation, 3256 kB disk space will be freed. 1595s (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 ... 75911 files and directories currently installed.) 1595s Removing cloud-init (24.1.2-0ubuntu1) ... 1597s Removing python3-configobj (5.0.8-3) ... 1598s Removing python3-debconf (1.5.86) ... 1598s Processing triggers for man-db (2.12.0-3) ... 1599s (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 ... 75522 files and directories currently installed.) 1599s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 1602s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1602s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1602s invoke-rc.d: policy-rc.d denied execution of try-restart. 1603s Reading package lists... 1604s Building dependency tree... 1604s Reading state information... 1606s linux-generic is already the newest version (6.8.0-11.11+1). 1606s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1606s Get:1 http://ftpmaster.internal/ubuntu noble InRelease [255 kB] 1607s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1607s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1607s Get:4 http://ftpmaster.internal/ubuntu noble/universe Sources [19.8 MB] 1610s Get:5 http://ftpmaster.internal/ubuntu noble/universe arm64 Packages [15.3 MB] 1627s Fetched 35.4 MB in 15s (2379 kB/s) 1630s Reading package lists... 1631s Reading package lists... 1631s Building dependency tree... 1631s Reading state information... 1632s Calculating upgrade... 1633s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1633s Reading package lists... 1634s Building dependency tree... 1634s Reading state information... 1636s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1637s autopkgtest [11:09:21]: rebooting testbed after setup commands that affected boot 1815s Reading package lists... 1816s Building dependency tree... 1816s Reading state information... 1817s Starting pkgProblemResolver with broken count: 0 1817s Starting 2 pkgProblemResolver with broken count: 0 1817s Done 1819s The following additional packages will be installed: 1819s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1819s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1819s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1819s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1819s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1819s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1819s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1819s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1819s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1819s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1819s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1819s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1819s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1819s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1819s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1819s ubuntu-mono why3 1819s Suggested packages: 1819s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1819s Recommended packages: 1819s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1819s The following NEW packages will be installed: 1819s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1819s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1819s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1819s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1819s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1819s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1819s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 1819s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1819s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1819s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1819s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1819s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1819s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1819s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1819s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1819s ubuntu-mono why3 1820s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1820s Need to get 34.3 MB/34.3 MB of archives. 1820s After this operation, 160 MB of additional disk space will be used. 1820s Get:1 /tmp/autopkgtest.AHNv3w/3-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [704 B] 1820s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1820s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 1820s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1820s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 1820s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 1820s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 1820s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 1820s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 1820s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 1820s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 1820s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 1820s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 1820s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 1820s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1821s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 1821s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 1821s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 1821s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 1821s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 1821s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1821s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1821s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 1821s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 1821s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 1821s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 1821s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 1821s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 1821s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 1821s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 1821s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 1821s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 1821s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 1821s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 1821s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 1821s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 1821s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 1821s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 1821s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 1821s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 1821s Get:41 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 1821s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 1821s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 1821s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 1821s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 1821s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 1821s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 1821s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 1821s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 1821s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 1821s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 1821s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 1821s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 1821s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 1821s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 1821s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 1821s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 1821s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 1821s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 1821s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 1821s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 1821s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 1821s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1821s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 1822s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1822s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 1822s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 1822s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 1822s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 spass arm64 3.9-1.1 [254 kB] 1822s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 1822s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 1825s Fetched 34.3 MB in 4s (9803 kB/s) 1825s Selecting previously unselected package libgdk-pixbuf2.0-common. 1826s (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 ... 75467 files and directories currently installed.) 1826s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1826s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1826s Selecting previously unselected package libjpeg-turbo8:arm64. 1826s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 1826s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1826s Selecting previously unselected package libjpeg8:arm64. 1826s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1826s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1826s Selecting previously unselected package libdeflate0:arm64. 1826s Preparing to unpack .../03-libdeflate0_1.19-1_arm64.deb ... 1826s Unpacking libdeflate0:arm64 (1.19-1) ... 1826s Selecting previously unselected package libjbig0:arm64. 1827s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 1827s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 1827s Selecting previously unselected package liblerc4:arm64. 1827s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 1827s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1827s Selecting previously unselected package libsharpyuv0:arm64. 1827s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_arm64.deb ... 1827s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 1827s Selecting previously unselected package libwebp7:arm64. 1827s Preparing to unpack .../07-libwebp7_1.3.2-0.4_arm64.deb ... 1827s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 1827s Selecting previously unselected package libtiff6:arm64. 1827s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 1827s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1827s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1827s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 1827s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1827s Selecting previously unselected package gtk-update-icon-cache. 1827s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 1827s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1827s Selecting previously unselected package hicolor-icon-theme. 1827s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 1827s Unpacking hicolor-icon-theme (0.17-2) ... 1828s Selecting previously unselected package humanity-icon-theme. 1828s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1828s Unpacking humanity-icon-theme (0.6.16) ... 1834s Selecting previously unselected package ubuntu-mono. 1834s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1834s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1837s Selecting previously unselected package adwaita-icon-theme. 1837s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 1837s Unpacking adwaita-icon-theme (46~rc-1) ... 1839s Selecting previously unselected package at-spi2-common. 1839s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 1839s Unpacking at-spi2-common (2.50.0-1) ... 1839s Selecting previously unselected package libdconf1:arm64. 1839s Preparing to unpack .../16-libdconf1_0.40.0-4_arm64.deb ... 1839s Unpacking libdconf1:arm64 (0.40.0-4) ... 1839s Selecting previously unselected package dconf-service. 1839s Preparing to unpack .../17-dconf-service_0.40.0-4_arm64.deb ... 1839s Unpacking dconf-service (0.40.0-4) ... 1839s Selecting previously unselected package dconf-gsettings-backend:arm64. 1839s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 1839s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 1839s Selecting previously unselected package fonts-dejavu-mono. 1839s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1839s Unpacking fonts-dejavu-mono (2.37-8) ... 1839s Selecting previously unselected package fonts-dejavu-core. 1839s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1839s Unpacking fonts-dejavu-core (2.37-8) ... 1840s Selecting previously unselected package fontconfig-config. 1840s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 1841s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1841s Selecting previously unselected package libfontconfig1:arm64. 1841s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 1841s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1841s Selecting previously unselected package fontconfig. 1841s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 1841s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1841s Selecting previously unselected package libatk1.0-0:arm64. 1841s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_arm64.deb ... 1841s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 1841s Selecting previously unselected package libxi6:arm64. 1841s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_arm64.deb ... 1841s Unpacking libxi6:arm64 (2:1.8.1-1) ... 1841s Selecting previously unselected package libatspi2.0-0:arm64. 1841s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_arm64.deb ... 1841s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 1841s Selecting previously unselected package libatk-bridge2.0-0:arm64. 1841s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 1841s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1841s Selecting previously unselected package libavahi-common-data:arm64. 1841s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 1841s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1842s Selecting previously unselected package libavahi-common3:arm64. 1842s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 1842s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 1842s Selecting previously unselected package libavahi-client3:arm64. 1842s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 1842s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 1842s Selecting previously unselected package libpixman-1-0:arm64. 1842s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_arm64.deb ... 1842s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 1842s Selecting previously unselected package libxcb-render0:arm64. 1842s Preparing to unpack .../32-libxcb-render0_1.15-1_arm64.deb ... 1842s Unpacking libxcb-render0:arm64 (1.15-1) ... 1842s Selecting previously unselected package libxcb-shm0:arm64. 1842s Preparing to unpack .../33-libxcb-shm0_1.15-1_arm64.deb ... 1842s Unpacking libxcb-shm0:arm64 (1.15-1) ... 1842s Selecting previously unselected package libxrender1:arm64. 1842s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 1842s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 1842s Selecting previously unselected package libcairo2:arm64. 1842s Preparing to unpack .../35-libcairo2_1.18.0-1_arm64.deb ... 1842s Unpacking libcairo2:arm64 (1.18.0-1) ... 1842s Selecting previously unselected package libcairo-gobject2:arm64. 1842s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_arm64.deb ... 1842s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 1843s Selecting previously unselected package libstdlib-ocaml. 1843s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 1843s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1843s Selecting previously unselected package ocaml-base. 1843s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 1843s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1843s Selecting previously unselected package libcairo2-ocaml. 1843s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 1843s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1843s Selecting previously unselected package liblcms2-2:arm64. 1843s Preparing to unpack .../40-liblcms2-2_2.14-2_arm64.deb ... 1843s Unpacking liblcms2-2:arm64 (2.14-2) ... 1843s Selecting previously unselected package libcolord2:arm64. 1843s Preparing to unpack .../41-libcolord2_1.4.7-1_arm64.deb ... 1843s Unpacking libcolord2:arm64 (1.4.7-1) ... 1843s Selecting previously unselected package libcups2:arm64. 1843s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_arm64.deb ... 1843s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 1844s Selecting previously unselected package libdatrie1:arm64. 1844s Preparing to unpack .../43-libdatrie1_0.2.13-3_arm64.deb ... 1844s Unpacking libdatrie1:arm64 (0.2.13-3) ... 1844s Selecting previously unselected package libepoxy0:arm64. 1844s Preparing to unpack .../44-libepoxy0_1.5.10-1_arm64.deb ... 1844s Unpacking libepoxy0:arm64 (1.5.10-1) ... 1844s Selecting previously unselected package libgraphite2-3:arm64. 1844s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_arm64.deb ... 1844s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 1844s Selecting previously unselected package libharfbuzz0b:arm64. 1844s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_arm64.deb ... 1844s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 1844s Selecting previously unselected package libthai-data. 1844s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1844s Unpacking libthai-data (0.1.29-2) ... 1844s Selecting previously unselected package libthai0:arm64. 1844s Preparing to unpack .../48-libthai0_0.1.29-2_arm64.deb ... 1844s Unpacking libthai0:arm64 (0.1.29-2) ... 1844s Selecting previously unselected package libpango-1.0-0:arm64. 1844s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 1844s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1844s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1845s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 1845s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1845s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1845s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 1845s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1845s Selecting previously unselected package libwayland-client0:arm64. 1845s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_arm64.deb ... 1845s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 1845s Selecting previously unselected package libwayland-cursor0:arm64. 1845s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 1845s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 1846s Selecting previously unselected package libwayland-egl1:arm64. 1846s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_arm64.deb ... 1846s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 1846s Selecting previously unselected package libxcomposite1:arm64. 1846s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 1846s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 1846s Selecting previously unselected package libxfixes3:arm64. 1846s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_arm64.deb ... 1846s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 1846s Selecting previously unselected package libxcursor1:arm64. 1846s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_arm64.deb ... 1846s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 1846s Selecting previously unselected package libxdamage1:arm64. 1846s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_arm64.deb ... 1846s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 1846s Selecting previously unselected package libxinerama1:arm64. 1846s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_arm64.deb ... 1846s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 1846s Selecting previously unselected package libxrandr2:arm64. 1846s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_arm64.deb ... 1846s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 1846s Selecting previously unselected package libgtk-3-common. 1846s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1846s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1847s Selecting previously unselected package libgtk-3-0:arm64. 1847s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 1847s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1848s Selecting previously unselected package libgtksourceview-3.0-common. 1848s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1848s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1848s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1848s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 1848s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1848s Selecting previously unselected package liblablgtk3-ocaml. 1848s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 1848s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1849s Selecting previously unselected package liblablgtksourceview3-ocaml. 1849s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 1849s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1850s Selecting previously unselected package spass. 1850s Preparing to unpack .../67-spass_3.9-1.1_arm64.deb ... 1850s Unpacking spass (3.9-1.1) ... 1850s Selecting previously unselected package tex-common. 1850s Preparing to unpack .../68-tex-common_6.18_all.deb ... 1850s Unpacking tex-common (6.18) ... 1850s Selecting previously unselected package why3. 1850s Preparing to unpack .../69-why3_1.6.0-1build4_arm64.deb ... 1850s Unpacking why3 (1.6.0-1build4) ... 1853s Selecting previously unselected package autopkgtest-satdep. 1853s Preparing to unpack .../70-3-autopkgtest-satdep.deb ... 1853s Unpacking autopkgtest-satdep (0) ... 1853s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 1853s Setting up liblcms2-2:arm64 (2.14-2) ... 1853s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 1853s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 1853s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 1853s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 1853s Setting up hicolor-icon-theme (0.17-2) ... 1853s Setting up libxi6:arm64 (2:1.8.1-1) ... 1853s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 1853s Setting up libdatrie1:arm64 (0.2.13-3) ... 1853s Setting up libxcb-render0:arm64 (1.15-1) ... 1853s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1853s Setting up libdeflate0:arm64 (1.19-1) ... 1853s Setting up libxcb-shm0:arm64 (1.15-1) ... 1853s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 1853s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 1853s Setting up libcolord2:arm64 (1.4.7-1) ... 1853s Setting up libdconf1:arm64 (0.40.0-4) ... 1853s Setting up tex-common (6.18) ... 1854s update-language: texlive-base not installed and configured, doing nothing! 1854s Setting up libepoxy0:arm64 (1.5.10-1) ... 1854s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 1854s Setting up spass (3.9-1.1) ... 1854s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 1854s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 1854s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1854s Setting up fonts-dejavu-mono (2.37-8) ... 1854s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 1854s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1854s Setting up fonts-dejavu-core (2.37-8) ... 1854s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 1854s Setting up libwebp7:arm64 (1.3.2-0.4) ... 1854s Setting up at-spi2-common (2.50.0-1) ... 1854s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1854s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 1854s Setting up libthai-data (0.1.29-2) ... 1854s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 1854s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 1854s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 1854s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 1854s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1854s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1855s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 1855s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 1855s Setting up dconf-service (0.40.0-4) ... 1855s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 1855s Setting up libthai0:arm64 (0.1.29-2) ... 1855s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 1855s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 1855s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 1855s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 1855s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 1855s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1855s Setting up fontconfig (2.15.0-1ubuntu1) ... 1857s Regenerating fonts cache... done. 1857s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 1857s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 1857s Setting up libcairo2:arm64 (1.18.0-1) ... 1857s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 1857s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 1857s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 1857s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1857s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 1857s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1857s Setting up adwaita-icon-theme (46~rc-1) ... 1857s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1857s Setting up humanity-icon-theme (0.6.16) ... 1858s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1858s Processing triggers for man-db (2.12.0-3) ... 1860s Processing triggers for libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 1860s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 1861s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1861s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 1861s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1861s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1861s Setting up why3 (1.6.0-1build4) ... 1861s Setting up autopkgtest-satdep (0) ... 1861s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1875s (Reading database ... 89217 files and directories currently installed.) 1875s Removing autopkgtest-satdep (0) ... 1894s autopkgtest [11:13:39]: test why3+spass: [----------------------- 1897s autopkgtest [11:13:42]: test why3+spass: -----------------------] 1897s autopkgtest [11:13:42]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1897s why3+spass PASS 1898s autopkgtest [11:13:43]: test why3+z3: preparing testbed 2087s autopkgtest [11:16:52]: testbed dpkg architecture: arm64 2088s autopkgtest [11:16:53]: testbed apt version: 2.7.12 2088s autopkgtest [11:16:53]: @@@@@@@@@@@@@@@@@@@@ test bed setup 2089s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 2090s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 2090s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [57.3 kB] 2090s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3983 kB] 2091s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 2091s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [704 kB] 2091s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 2091s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.7 kB] 2091s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 2091s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4363 kB] 2092s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 2092s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [69.8 kB] 2092s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 2107s Fetched 9840 kB in 7s (1417 kB/s) 2108s Reading package lists... 2116s Reading package lists... 2117s Building dependency tree... 2117s Reading state information... 2120s Calculating upgrade... 2121s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2121s Reading package lists... 2123s Building dependency tree... 2123s Reading state information... 2125s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2128s sh: Attempting to set up Debian/Ubuntu apt sources automatically 2128s sh: Distribution appears to be Ubuntu 2132s Reading package lists... 2133s Building dependency tree... 2133s Reading state information... 2135s eatmydata is already the newest version (131-1). 2135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2135s Reading package lists... 2136s Building dependency tree... 2136s Reading state information... 2139s dbus is already the newest version (1.14.10-4ubuntu1). 2139s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2139s Reading package lists... 2140s Building dependency tree... 2140s Reading state information... 2143s rng-tools-debian is already the newest version (2.4). 2143s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2143s Reading package lists... 2143s Building dependency tree... 2143s Reading state information... 2146s The following packages will be REMOVED: 2146s cloud-init* python3-configobj* python3-debconf* 2147s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 2147s After this operation, 3256 kB disk space will be freed. 2148s (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 ... 75911 files and directories currently installed.) 2148s Removing cloud-init (24.1.2-0ubuntu1) ... 2151s Removing python3-configobj (5.0.8-3) ... 2152s Removing python3-debconf (1.5.86) ... 2152s Processing triggers for man-db (2.12.0-3) ... 2154s (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 ... 75522 files and directories currently installed.) 2154s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 2158s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 2158s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 2158s invoke-rc.d: policy-rc.d denied execution of try-restart. 2159s Reading package lists... 2160s Building dependency tree... 2160s Reading state information... 2163s linux-generic is already the newest version (6.8.0-11.11+1). 2163s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2164s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 2164s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 2164s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 2179s Reading package lists... 2179s Reading package lists... 2180s Building dependency tree... 2180s Reading state information... 2182s Calculating upgrade... 2184s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2184s Reading package lists... 2185s Building dependency tree... 2185s Reading state information... 2187s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 2187s autopkgtest [11:18:32]: rebooting testbed after setup commands that affected boot 2383s Reading package lists... 2384s Building dependency tree... 2384s Reading state information... 2385s Starting pkgProblemResolver with broken count: 0 2386s Starting 2 pkgProblemResolver with broken count: 0 2386s Done 2388s The following additional packages will be installed: 2388s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 2388s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 2388s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 2388s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 2388s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 2388s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 2388s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 2388s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 2388s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 2388s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 2388s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 2388s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 2388s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 2388s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 2388s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 2388s why3 z3 2388s Suggested packages: 2388s colord cups-common gvfs liblcms2-utils debhelper why3-examples 2388s Recommended packages: 2388s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 2389s The following NEW packages will be installed: 2389s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 2389s dconf-service fontconfig fontconfig-config fonts-dejavu-core 2389s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 2389s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 2389s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 2389s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 2389s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 2389s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 2389s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 2389s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 2389s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 2389s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 2389s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 2389s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 2389s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 2389s why3 z3 2389s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 2389s Need to get 39.5 MB/39.5 MB of archives. 2389s After this operation, 174 MB of additional disk space will be used. 2389s Get:1 /tmp/autopkgtest.AHNv3w/4-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 2389s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 2389s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 2389s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 2389s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 2389s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 2389s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 2389s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 2389s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 2389s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 2390s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 2390s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 2390s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 2390s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 2390s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 2390s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 2390s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 2390s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 2390s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 2390s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 2390s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 2390s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 2390s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 2390s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 2390s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 2390s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 2390s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 2390s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 2390s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 2390s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 2390s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 2390s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 2390s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 2390s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 2390s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 2390s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 2390s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 2390s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 2390s Get:39 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 2390s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 2390s Get:41 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 2390s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 2390s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 2390s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 2390s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 2390s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 2390s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 2390s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 2390s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 2390s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 2390s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 2390s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 2390s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 2390s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 2390s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 2390s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 2390s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 2390s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 2390s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 2390s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 2390s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 2390s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 2390s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 2391s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 2391s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 2391s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 2391s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 2391s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 2391s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 tex-common all 6.18 [32.8 kB] 2391s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 why3 arm64 1.6.0-1build4 [16.0 MB] 2392s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 z3 arm64 4.8.12-3.1 [5412 kB] 2395s Fetched 39.5 MB in 4s (10.7 MB/s) 2395s Selecting previously unselected package libgdk-pixbuf2.0-common. 2395s (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 ... 75467 files and directories currently installed.) 2395s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 2395s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 2395s Selecting previously unselected package libjpeg-turbo8:arm64. 2395s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 2395s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 2396s Selecting previously unselected package libjpeg8:arm64. 2396s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 2396s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 2396s Selecting previously unselected package libdeflate0:arm64. 2396s Preparing to unpack .../03-libdeflate0_1.19-1_arm64.deb ... 2396s Unpacking libdeflate0:arm64 (1.19-1) ... 2396s Selecting previously unselected package libjbig0:arm64. 2396s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 2396s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 2396s Selecting previously unselected package liblerc4:arm64. 2396s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 2396s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 2396s Selecting previously unselected package libsharpyuv0:arm64. 2396s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_arm64.deb ... 2396s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 2396s Selecting previously unselected package libwebp7:arm64. 2396s Preparing to unpack .../07-libwebp7_1.3.2-0.4_arm64.deb ... 2396s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 2397s Selecting previously unselected package libtiff6:arm64. 2397s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 2397s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 2397s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 2397s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 2397s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 2397s Selecting previously unselected package gtk-update-icon-cache. 2397s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 2397s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 2397s Selecting previously unselected package hicolor-icon-theme. 2397s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 2397s Unpacking hicolor-icon-theme (0.17-2) ... 2398s Selecting previously unselected package humanity-icon-theme. 2398s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 2398s Unpacking humanity-icon-theme (0.6.16) ... 2403s Selecting previously unselected package ubuntu-mono. 2403s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 2403s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 2407s Selecting previously unselected package adwaita-icon-theme. 2407s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 2407s Unpacking adwaita-icon-theme (46~rc-1) ... 2408s Selecting previously unselected package at-spi2-common. 2408s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 2408s Unpacking at-spi2-common (2.50.0-1) ... 2408s Selecting previously unselected package libdconf1:arm64. 2408s Preparing to unpack .../16-libdconf1_0.40.0-4_arm64.deb ... 2408s Unpacking libdconf1:arm64 (0.40.0-4) ... 2408s Selecting previously unselected package dconf-service. 2408s Preparing to unpack .../17-dconf-service_0.40.0-4_arm64.deb ... 2408s Unpacking dconf-service (0.40.0-4) ... 2408s Selecting previously unselected package dconf-gsettings-backend:arm64. 2408s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 2408s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 2408s Selecting previously unselected package fonts-dejavu-mono. 2408s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 2408s Unpacking fonts-dejavu-mono (2.37-8) ... 2408s Selecting previously unselected package fonts-dejavu-core. 2408s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 2408s Unpacking fonts-dejavu-core (2.37-8) ... 2409s Selecting previously unselected package fontconfig-config. 2409s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 2410s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 2410s Selecting previously unselected package libfontconfig1:arm64. 2410s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 2410s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 2410s Selecting previously unselected package fontconfig. 2410s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 2410s Unpacking fontconfig (2.15.0-1ubuntu1) ... 2410s Selecting previously unselected package libatk1.0-0:arm64. 2410s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_arm64.deb ... 2410s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 2410s Selecting previously unselected package libxi6:arm64. 2410s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_arm64.deb ... 2410s Unpacking libxi6:arm64 (2:1.8.1-1) ... 2410s Selecting previously unselected package libatspi2.0-0:arm64. 2411s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_arm64.deb ... 2411s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 2411s Selecting previously unselected package libatk-bridge2.0-0:arm64. 2411s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 2411s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 2411s Selecting previously unselected package libavahi-common-data:arm64. 2411s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 2411s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 2411s Selecting previously unselected package libavahi-common3:arm64. 2411s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 2411s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 2411s Selecting previously unselected package libavahi-client3:arm64. 2411s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 2411s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 2411s Selecting previously unselected package libpixman-1-0:arm64. 2411s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_arm64.deb ... 2411s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 2411s Selecting previously unselected package libxcb-render0:arm64. 2411s Preparing to unpack .../32-libxcb-render0_1.15-1_arm64.deb ... 2411s Unpacking libxcb-render0:arm64 (1.15-1) ... 2412s Selecting previously unselected package libxcb-shm0:arm64. 2412s Preparing to unpack .../33-libxcb-shm0_1.15-1_arm64.deb ... 2412s Unpacking libxcb-shm0:arm64 (1.15-1) ... 2412s Selecting previously unselected package libxrender1:arm64. 2412s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 2412s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 2412s Selecting previously unselected package libcairo2:arm64. 2412s Preparing to unpack .../35-libcairo2_1.18.0-1_arm64.deb ... 2412s Unpacking libcairo2:arm64 (1.18.0-1) ... 2413s Selecting previously unselected package libcairo-gobject2:arm64. 2413s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_arm64.deb ... 2413s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 2413s Selecting previously unselected package libstdlib-ocaml. 2413s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 2413s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 2413s Selecting previously unselected package ocaml-base. 2413s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 2413s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 2413s Selecting previously unselected package libcairo2-ocaml. 2413s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 2413s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 2414s Selecting previously unselected package liblcms2-2:arm64. 2414s Preparing to unpack .../40-liblcms2-2_2.14-2_arm64.deb ... 2414s Unpacking liblcms2-2:arm64 (2.14-2) ... 2414s Selecting previously unselected package libcolord2:arm64. 2414s Preparing to unpack .../41-libcolord2_1.4.7-1_arm64.deb ... 2414s Unpacking libcolord2:arm64 (1.4.7-1) ... 2414s Selecting previously unselected package libcups2:arm64. 2414s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_arm64.deb ... 2414s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 2414s Selecting previously unselected package libdatrie1:arm64. 2414s Preparing to unpack .../43-libdatrie1_0.2.13-3_arm64.deb ... 2414s Unpacking libdatrie1:arm64 (0.2.13-3) ... 2414s Selecting previously unselected package libepoxy0:arm64. 2414s Preparing to unpack .../44-libepoxy0_1.5.10-1_arm64.deb ... 2414s Unpacking libepoxy0:arm64 (1.5.10-1) ... 2415s Selecting previously unselected package libgraphite2-3:arm64. 2415s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_arm64.deb ... 2415s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 2415s Selecting previously unselected package libharfbuzz0b:arm64. 2415s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_arm64.deb ... 2415s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 2415s Selecting previously unselected package libthai-data. 2415s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 2415s Unpacking libthai-data (0.1.29-2) ... 2415s Selecting previously unselected package libthai0:arm64. 2415s Preparing to unpack .../48-libthai0_0.1.29-2_arm64.deb ... 2415s Unpacking libthai0:arm64 (0.1.29-2) ... 2415s Selecting previously unselected package libpango-1.0-0:arm64. 2415s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 2415s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 2416s Selecting previously unselected package libpangoft2-1.0-0:arm64. 2416s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 2416s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 2416s Selecting previously unselected package libpangocairo-1.0-0:arm64. 2416s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 2416s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 2416s Selecting previously unselected package libwayland-client0:arm64. 2416s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_arm64.deb ... 2416s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 2416s Selecting previously unselected package libwayland-cursor0:arm64. 2416s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 2416s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 2416s Selecting previously unselected package libwayland-egl1:arm64. 2416s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_arm64.deb ... 2416s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 2416s Selecting previously unselected package libxcomposite1:arm64. 2416s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 2416s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 2417s Selecting previously unselected package libxfixes3:arm64. 2417s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_arm64.deb ... 2417s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 2417s Selecting previously unselected package libxcursor1:arm64. 2417s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_arm64.deb ... 2417s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 2417s Selecting previously unselected package libxdamage1:arm64. 2417s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_arm64.deb ... 2417s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 2417s Selecting previously unselected package libxinerama1:arm64. 2417s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_arm64.deb ... 2417s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 2417s Selecting previously unselected package libxrandr2:arm64. 2417s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_arm64.deb ... 2417s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 2417s Selecting previously unselected package libgtk-3-common. 2418s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 2418s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 2418s Selecting previously unselected package libgtk-3-0:arm64. 2418s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 2418s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 2420s Selecting previously unselected package libgtksourceview-3.0-common. 2420s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 2420s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 2422s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 2422s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 2422s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 2422s Selecting previously unselected package liblablgtk3-ocaml. 2422s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 2422s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 2423s Selecting previously unselected package liblablgtksourceview3-ocaml. 2423s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 2423s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 2423s Selecting previously unselected package tex-common. 2424s Preparing to unpack .../67-tex-common_6.18_all.deb ... 2424s Unpacking tex-common (6.18) ... 2424s Selecting previously unselected package why3. 2424s Preparing to unpack .../68-why3_1.6.0-1build4_arm64.deb ... 2424s Unpacking why3 (1.6.0-1build4) ... 2427s Selecting previously unselected package z3. 2427s Preparing to unpack .../69-z3_4.8.12-3.1_arm64.deb ... 2427s Unpacking z3 (4.8.12-3.1) ... 2428s Selecting previously unselected package autopkgtest-satdep. 2428s Preparing to unpack .../70-4-autopkgtest-satdep.deb ... 2428s Unpacking autopkgtest-satdep (0) ... 2428s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 2428s Setting up liblcms2-2:arm64 (2.14-2) ... 2428s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 2428s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 2428s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 2428s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 2428s Setting up hicolor-icon-theme (0.17-2) ... 2428s Setting up libxi6:arm64 (2:1.8.1-1) ... 2428s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 2428s Setting up libdatrie1:arm64 (0.2.13-3) ... 2428s Setting up libxcb-render0:arm64 (1.15-1) ... 2428s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 2428s Setting up libdeflate0:arm64 (1.19-1) ... 2428s Setting up libxcb-shm0:arm64 (1.15-1) ... 2428s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 2428s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 2428s Setting up z3 (4.8.12-3.1) ... 2428s Setting up libcolord2:arm64 (1.4.7-1) ... 2428s Setting up libdconf1:arm64 (0.40.0-4) ... 2428s Setting up tex-common (6.18) ... 2429s update-language: texlive-base not installed and configured, doing nothing! 2429s Setting up libepoxy0:arm64 (1.5.10-1) ... 2429s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 2429s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 2429s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 2429s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 2429s Setting up fonts-dejavu-mono (2.37-8) ... 2429s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 2429s Setting up ocaml-base (4.14.1-1ubuntu1) ... 2429s Setting up fonts-dejavu-core (2.37-8) ... 2430s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 2430s Setting up libwebp7:arm64 (1.3.2-0.4) ... 2430s Setting up at-spi2-common (2.50.0-1) ... 2430s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 2430s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 2430s Setting up libthai-data (0.1.29-2) ... 2430s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 2430s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 2430s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 2430s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 2430s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 2430s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 2431s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 2431s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 2431s Setting up dconf-service (0.40.0-4) ... 2431s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 2431s Setting up libthai0:arm64 (0.1.29-2) ... 2431s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 2431s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 2431s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 2431s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 2431s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 2431s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 2431s Setting up fontconfig (2.15.0-1ubuntu1) ... 2433s Regenerating fonts cache... done. 2433s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 2433s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 2433s Setting up libcairo2:arm64 (1.18.0-1) ... 2433s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 2433s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 2433s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 2433s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 2433s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 2433s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 2433s Setting up adwaita-icon-theme (46~rc-1) ... 2433s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 2433s Setting up humanity-icon-theme (0.6.16) ... 2434s Setting up ubuntu-mono (24.04-0ubuntu1) ... 2434s Processing triggers for man-db (2.12.0-3) ... 2437s Processing triggers for libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 2438s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 2438s Processing triggers for libc-bin (2.39-0ubuntu6) ... 2441s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 2441s Setting up liblablgtk3-ocaml (3.1.4-1) ... 2441s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 2441s Setting up why3 (1.6.0-1build4) ... 2441s Setting up autopkgtest-satdep (0) ... 2441s Processing triggers for libc-bin (2.39-0ubuntu6) ... 2460s (Reading database ... 89217 files and directories currently installed.) 2460s Removing autopkgtest-satdep (0) ... 2470s autopkgtest [11:23:15]: test why3+z3: [----------------------- 2474s autopkgtest [11:23:19]: test why3+z3: -----------------------] 2475s autopkgtest [11:23:20]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 2475s why3+z3 PASS 2475s autopkgtest [11:23:20]: @@@@@@@@@@@@@@@@@@@@ summary 2475s why3+alt-ergo SKIP installation fails and skip-not-installable set 2475s why3+cvc4 PASS 2475s why3+spass PASS 2475s why3+z3 PASS 2505s Creating nova instance adt-noble-arm64-why3-20240324-104205-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240324.img (UUID 86f9118c-691d-4fd3-ac71-bf5396ee0d8a)... 2505s Creating nova instance adt-noble-arm64-why3-20240324-104205-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240324.img (UUID 86f9118c-691d-4fd3-ac71-bf5396ee0d8a)... 2505s Creating nova instance adt-noble-arm64-why3-20240324-104205-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240324.img (UUID 86f9118c-691d-4fd3-ac71-bf5396ee0d8a)... 2505s Creating nova instance adt-noble-arm64-why3-20240324-104205-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240324.img (UUID 86f9118c-691d-4fd3-ac71-bf5396ee0d8a)...