0s autopkgtest [08:27:14]: starting date and time: 2024-07-13 08:27:14+0000 0s autopkgtest [08:27:14]: git checkout: fd3bed09 nova: allow more retries for quota issues 0s autopkgtest [08:27:14]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.fp9flrxw/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_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,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:glibc --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.39-3.1ubuntu3 -- lxd -r lxd-armhf-10.145.243.222 lxd-armhf-10.145.243.222:autopkgtest/ubuntu/oracular/armhf 56s autopkgtest [08:28:10]: testbed dpkg architecture: armhf 58s autopkgtest [08:28:12]: testbed apt version: 2.9.6 58s autopkgtest [08:28:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 65s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 66s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [51.3 kB] 67s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 67s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 67s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [375 kB] 67s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf Packages [78.8 kB] 67s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf c-n-f Metadata [1428 B] 67s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf Packages [1368 B] 67s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf c-n-f Metadata [120 B] 67s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf Packages [349 kB] 67s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf c-n-f Metadata [6916 B] 67s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf Packages [1448 B] 67s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf c-n-f Metadata [120 B] 69s Fetched 1002 kB in 2s (586 kB/s) 69s Reading package lists... 86s tee: /proc/self/fd/2: Permission denied 107s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 107s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 107s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 107s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 108s Reading package lists... 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 109s Calculating upgrade... 109s The following packages will be upgraded: 109s libc-bin libc6 locales 109s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 109s Need to get 7572 kB of archives. 109s After this operation, 17.4 kB of additional disk space will be used. 109s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6 armhf 2.39-3.1ubuntu3 [2825 kB] 110s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-bin armhf 2.39-3.1ubuntu3 [527 kB] 110s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf locales all 2.39-3.1ubuntu3 [4220 kB] 110s Preconfiguring packages ... 110s Fetched 7572 kB in 1s (9734 kB/s) 110s (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 ... 58436 files and directories currently installed.) 110s Preparing to unpack .../libc6_2.39-3.1ubuntu3_armhf.deb ... 110s Unpacking libc6:armhf (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 111s Setting up libc6:armhf (2.39-3.1ubuntu3) ... 111s Error: Could not restart systemd, systemd binary not working 111s (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 ... 58436 files and directories currently installed.) 111s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_armhf.deb ... 111s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 111s Setting up libc-bin (2.39-3.1ubuntu3) ... 111s (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 ... 58436 files and directories currently installed.) 111s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 111s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 111s Setting up locales (2.39-3.1ubuntu3) ... 112s Generating locales (this might take a while)... 114s en_US.UTF-8... done 114s Generation complete. 114s Processing triggers for systemd (256-1ubuntu1) ... 114s Processing triggers for man-db (2.12.1-2) ... 115s Reading package lists... 116s Building dependency tree... 116s Reading state information... 116s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 118s autopkgtest [08:29:12]: rebooting testbed after setup commands that affected boot 185s autopkgtest [08:30:19]: testbed running kernel: Linux 6.5.0-41-generic #41~22.04.2-Ubuntu SMP PREEMPT_DYNAMIC Mon Jun 3 16:28:24 UTC 2 212s autopkgtest [08:30:46]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 238s Get:1 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (dsc) [2749 B] 238s Get:2 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (tar) [6850 kB] 238s Get:3 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (diff) [18.6 kB] 238s gpgv: Signature made Mon Apr 1 04:40:36 2024 UTC 238s gpgv: using RSA key A089FB36AAFBDAD5ACC1325069F790171A210984 238s gpgv: Can't check signature: No public key 238s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build7.dsc: no acceptable signature found 238s autopkgtest [08:31:12]: testing package why3 version 1.6.0-1build7 240s autopkgtest [08:31:14]: build not needed 243s autopkgtest [08:31:17]: test why3+alt-ergo: preparing testbed 254s Reading package lists... 254s Building dependency tree... 254s Reading state information... 254s Starting pkgProblemResolver with broken count: 1 254s Starting 2 pkgProblemResolver with broken count: 1 254s Investigating (0) autopkgtest-satdep:armhf < none -> 0 @un puN Ib > 254s Broken autopkgtest-satdep:armhf Depends on why3:armhf < none | 1.6.0-1build7 @un uH > 254s Considering why3:armhf 1 as a solution to autopkgtest-satdep:armhf 9998 254s Re-Instated libfreetype6:armhf 254s Re-Instated fonts-dejavu-mono:armhf 254s Re-Instated fonts-dejavu-core:armhf 254s Re-Instated fontconfig-config:armhf 254s Re-Instated libfontconfig1:armhf 254s Re-Instated libpixman-1-0:armhf 254s Re-Instated libxcb-render0:armhf 254s Re-Instated libxcb-shm0:armhf 254s Re-Instated libxrender1:armhf 254s Re-Instated libcairo2:armhf 254s Re-Instated libgdk-pixbuf2.0-common:armhf 254s Re-Instated libjpeg-turbo8:armhf 254s Re-Instated libjpeg8:armhf 254s Re-Instated libdeflate0:armhf 254s Re-Instated libjbig0:armhf 254s Re-Instated liblerc4:armhf 254s Re-Instated libsharpyuv0:armhf 254s Re-Instated libwebp7:armhf 254s Re-Instated libtiff6:armhf 254s Re-Instated libgdk-pixbuf-2.0-0:armhf 255s Re-Instated gtk-update-icon-cache:armhf 255s Re-Instated hicolor-icon-theme:armhf 255s Re-Instated humanity-icon-theme:armhf 255s Re-Instated ubuntu-mono:armhf 255s Re-Instated adwaita-icon-theme:armhf 255s Re-Instated at-spi2-common:armhf 255s Re-Instated libatk1.0-0t64:armhf 255s Re-Instated libxi6:armhf 255s Re-Instated libatspi2.0-0t64:armhf 255s Re-Instated libatk-bridge2.0-0t64:armhf 255s Re-Instated libcairo-gobject2:armhf 255s Re-Instated liblcms2-2:armhf 255s Re-Instated libcolord2:armhf 255s Re-Instated libavahi-common-data:armhf 255s Re-Instated libavahi-common3:armhf 255s Re-Instated libavahi-client3:armhf 255s Re-Instated libcups2t64:armhf 255s Re-Instated libepoxy0:armhf 255s Re-Instated libgraphite2-3:armhf 255s Re-Instated libharfbuzz0b:armhf 255s Re-Instated fontconfig:armhf 255s Re-Instated libthai-data:armhf 255s Re-Instated libdatrie1:armhf 255s Re-Instated libthai0:armhf 255s Re-Instated libpango-1.0-0:armhf 255s Re-Instated libpangoft2-1.0-0:armhf 255s Re-Instated libpangocairo-1.0-0:armhf 255s Re-Instated libwayland-client0:armhf 255s Re-Instated libwayland-cursor0:armhf 255s Re-Instated libwayland-egl1:armhf 255s Re-Instated libxcomposite1:armhf 255s Re-Instated libxfixes3:armhf 255s Re-Instated libxcursor1:armhf 255s Re-Instated libxdamage1:armhf 255s Re-Instated libxinerama1:armhf 255s Re-Instated libxrandr2:armhf 255s Re-Instated libdconf1:armhf 255s Re-Instated dconf-service:armhf 255s Re-Instated dconf-gsettings-backend:armhf 255s Re-Instated libgtk-3-common:armhf 255s Re-Instated libgtk-3-0t64:armhf 255s Re-Instated libgtksourceview-3.0-common:armhf 255s Re-Instated libgtksourceview-3.0-1:armhf 255s Re-Instated libstdlib-ocaml:armhf 255s Re-Instated ocaml-base:armhf 255s Re-Instated libcairo2-ocaml:armhf 255s Re-Instated liblablgtk3-ocaml:armhf 255s Re-Instated liblablgtksourceview3-ocaml:armhf 255s Re-Instated tex-common:armhf 255s Re-Instated why3:armhf 255s Broken autopkgtest-satdep:armhf Depends on alt-ergo:armhf < none @un H > (>= 2.0.0) 255s Done 255s Some packages could not be installed. This may mean that you have 255s requested an impossible situation or if you are using the unstable 255s distribution that some required packages have not yet been created 255s or been moved out of Incoming. 255s The following information may help to resolve the situation: 255s 255s The following packages have unmet dependencies: 255s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 255s E: Unable to correct problems, you have held broken packages. 255s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from oracular-proposed 260s Reading package lists... 261s Building dependency tree... 261s Reading state information... 261s Starting pkgProblemResolver with broken count: 1 261s Starting 2 pkgProblemResolver with broken count: 1 261s Investigating (0) autopkgtest-satdep:armhf < none -> 0 @un puN Ib > 261s Broken autopkgtest-satdep:armhf Depends on why3:armhf < none | 1.6.0-1build7 @un uH > 261s Considering why3:armhf 1 as a solution to autopkgtest-satdep:armhf 9998 261s Re-Instated libfreetype6:armhf 261s Re-Instated fonts-dejavu-mono:armhf 261s Re-Instated fonts-dejavu-core:armhf 261s Re-Instated fontconfig-config:armhf 261s Re-Instated libfontconfig1:armhf 261s Re-Instated libpixman-1-0:armhf 261s Re-Instated libxcb-render0:armhf 261s Re-Instated libxcb-shm0:armhf 261s Re-Instated libxrender1:armhf 261s Re-Instated libcairo2:armhf 261s Re-Instated libgdk-pixbuf2.0-common:armhf 261s Re-Instated libjpeg-turbo8:armhf 261s Re-Instated libjpeg8:armhf 261s Re-Instated libdeflate0:armhf 261s Re-Instated libjbig0:armhf 261s Re-Instated liblerc4:armhf 261s Re-Instated libsharpyuv0:armhf 261s Re-Instated libwebp7:armhf 261s Re-Instated libtiff6:armhf 261s Re-Instated libgdk-pixbuf-2.0-0:armhf 261s Re-Instated gtk-update-icon-cache:armhf 261s Re-Instated hicolor-icon-theme:armhf 261s Re-Instated humanity-icon-theme:armhf 261s Re-Instated ubuntu-mono:armhf 261s Re-Instated adwaita-icon-theme:armhf 261s Re-Instated at-spi2-common:armhf 261s Re-Instated libatk1.0-0t64:armhf 261s Re-Instated libxi6:armhf 261s Re-Instated libatspi2.0-0t64:armhf 261s Re-Instated libatk-bridge2.0-0t64:armhf 261s Re-Instated libcairo-gobject2:armhf 261s Re-Instated liblcms2-2:armhf 261s Re-Instated libcolord2:armhf 261s Re-Instated libavahi-common-data:armhf 261s Re-Instated libavahi-common3:armhf 261s Re-Instated libavahi-client3:armhf 261s Re-Instated libcups2t64:armhf 261s Re-Instated libepoxy0:armhf 261s Re-Instated libgraphite2-3:armhf 261s Re-Instated libharfbuzz0b:armhf 261s Re-Instated fontconfig:armhf 261s Re-Instated libthai-data:armhf 261s Re-Instated libdatrie1:armhf 261s Re-Instated libthai0:armhf 261s Re-Instated libpango-1.0-0:armhf 261s Re-Instated libpangoft2-1.0-0:armhf 261s Re-Instated libpangocairo-1.0-0:armhf 261s Re-Instated libwayland-client0:armhf 261s Re-Instated libwayland-cursor0:armhf 261s Re-Instated libwayland-egl1:armhf 261s Re-Instated libxcomposite1:armhf 261s Re-Instated libxfixes3:armhf 261s Re-Instated libxcursor1:armhf 261s Re-Instated libxdamage1:armhf 261s Re-Instated libxinerama1:armhf 261s Re-Instated libxrandr2:armhf 261s Re-Instated libdconf1:armhf 261s Re-Instated dconf-service:armhf 261s Re-Instated dconf-gsettings-backend:armhf 261s Re-Instated libgtk-3-common:armhf 261s Re-Instated libgtk-3-0t64:armhf 261s Re-Instated libgtksourceview-3.0-common:armhf 261s Re-Instated libgtksourceview-3.0-1:armhf 261s Re-Instated libstdlib-ocaml:armhf 261s Re-Instated ocaml-base:armhf 261s Re-Instated libcairo2-ocaml:armhf 261s Re-Instated liblablgtk3-ocaml:armhf 261s Re-Instated liblablgtksourceview3-ocaml:armhf 261s Re-Instated tex-common:armhf 261s Re-Instated why3:armhf 261s Broken autopkgtest-satdep:armhf Depends on alt-ergo:armhf < none @un H > (>= 2.0.0) 261s Done 261s Some packages could not be installed. This may mean that you have 261s requested an impossible situation or if you are using the unstable 261s distribution that some required packages have not yet been created 261s or been moved out of Incoming. 261s The following information may help to resolve the situation: 261s 261s The following packages have unmet dependencies: 261s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 261s E: Unable to correct problems, you have held broken packages. 261s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 263s why3+alt-ergo SKIP installation fails and skip-not-installable set 263s autopkgtest [08:31:37]: test why3+cvc4: preparing testbed 326s autopkgtest [08:32:40]: testbed dpkg architecture: armhf 328s autopkgtest [08:32:42]: testbed apt version: 2.9.6 328s autopkgtest [08:32:42]: @@@@@@@@@@@@@@@@@@@@ test bed setup 336s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 336s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [51.3 kB] 337s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [375 kB] 337s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 337s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 337s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf Packages [78.8 kB] 337s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf c-n-f Metadata [1428 B] 337s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf Packages [1368 B] 337s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf c-n-f Metadata [120 B] 337s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf Packages [349 kB] 337s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf c-n-f Metadata [6916 B] 337s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf Packages [1448 B] 337s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf c-n-f Metadata [120 B] 339s Fetched 1002 kB in 1s (1281 kB/s) 339s Reading package lists... 354s tee: /proc/self/fd/2: Permission denied 375s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 375s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 375s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 375s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 376s Reading package lists... 376s Reading package lists... 376s Building dependency tree... 376s Reading state information... 377s Calculating upgrade... 377s The following packages will be upgraded: 377s libc-bin libc6 locales 377s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 377s Need to get 7572 kB of archives. 377s After this operation, 17.4 kB of additional disk space will be used. 377s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6 armhf 2.39-3.1ubuntu3 [2825 kB] 378s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-bin armhf 2.39-3.1ubuntu3 [527 kB] 378s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf locales all 2.39-3.1ubuntu3 [4220 kB] 378s Preconfiguring packages ... 378s Fetched 7572 kB in 1s (9669 kB/s) 378s (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 ... 58436 files and directories currently installed.) 378s Preparing to unpack .../libc6_2.39-3.1ubuntu3_armhf.deb ... 378s Unpacking libc6:armhf (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 379s Setting up libc6:armhf (2.39-3.1ubuntu3) ... 379s Error: Could not restart systemd, systemd binary not working 379s (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 ... 58436 files and directories currently installed.) 379s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_armhf.deb ... 379s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 379s Setting up libc-bin (2.39-3.1ubuntu3) ... 379s (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 ... 58436 files and directories currently installed.) 379s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 379s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 379s Setting up locales (2.39-3.1ubuntu3) ... 380s Generating locales (this might take a while)... 383s en_US.UTF-8... done 383s Generation complete. 383s Processing triggers for systemd (256-1ubuntu1) ... 384s Processing triggers for man-db (2.12.1-2) ... 385s Reading package lists... 385s Building dependency tree... 385s Reading state information... 386s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 388s autopkgtest [08:33:42]: rebooting testbed after setup commands that affected boot 492s Reading package lists... 492s Building dependency tree... 492s Reading state information... 492s Starting pkgProblemResolver with broken count: 0 492s Starting 2 pkgProblemResolver with broken count: 0 492s Done 493s The following additional packages will be installed: 493s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 493s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 493s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 493s libantlr3c-3.4-0 libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 493s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 493s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 493s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 493s libfreetype6 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 493s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 493s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 493s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 493s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 493s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 493s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 493s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 493s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 493s why3 493s Suggested packages: 493s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 493s Recommended packages: 493s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 493s The following NEW packages will be installed: 493s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 493s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 493s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 493s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0t64 libatk1.0-0t64 493s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 493s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2t64 493s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 493s libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 493s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 493s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 493s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 493s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 493s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 493s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 493s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 493s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 493s why3 493s 0 upgraded, 76 newly installed, 0 to remove and 0 not upgraded. 493s Need to get 36.3 MB/36.3 MB of archives. 493s After this operation, 146 MB of additional disk space will be used. 493s Get:1 /tmp/autopkgtest.Uqgryv/2-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [716 B] 493s Get:2 http://ftpmaster.internal/ubuntu oracular/main armhf libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 493s Get:3 http://ftpmaster.internal/ubuntu oracular/main armhf libjpeg-turbo8 armhf 2.1.5-2ubuntu2 [125 kB] 494s Get:4 http://ftpmaster.internal/ubuntu oracular/main armhf libjpeg8 armhf 8c-2ubuntu11 [2148 B] 494s Get:5 http://ftpmaster.internal/ubuntu oracular/main armhf libdeflate0 armhf 1.20-1 [38.3 kB] 494s Get:6 http://ftpmaster.internal/ubuntu oracular/main armhf libjbig0 armhf 2.1-6.1ubuntu2 [24.9 kB] 494s Get:7 http://ftpmaster.internal/ubuntu oracular/main armhf liblerc4 armhf 4.0.0+ds-4ubuntu2 [151 kB] 494s Get:8 http://ftpmaster.internal/ubuntu oracular/main armhf libsharpyuv0 armhf 1.4.0-0.1 [16.3 kB] 494s Get:9 http://ftpmaster.internal/ubuntu oracular/main armhf libwebp7 armhf 1.4.0-0.1 [184 kB] 494s Get:10 http://ftpmaster.internal/ubuntu oracular/main armhf libtiff6 armhf 4.5.1+git230720-4ubuntu3 [178 kB] 494s Get:11 http://ftpmaster.internal/ubuntu oracular/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.12+dfsg-1 [135 kB] 494s Get:12 http://ftpmaster.internal/ubuntu oracular/main armhf gtk-update-icon-cache armhf 3.24.43-1ubuntu1 [51.2 kB] 494s Get:13 http://ftpmaster.internal/ubuntu oracular/main armhf hicolor-icon-theme all 0.18-1 [13.5 kB] 494s Get:14 http://ftpmaster.internal/ubuntu oracular/main armhf humanity-icon-theme all 0.6.16 [1282 kB] 494s Get:15 http://ftpmaster.internal/ubuntu oracular/main armhf ubuntu-mono all 24.04-0ubuntu1 [151 kB] 494s Get:16 http://ftpmaster.internal/ubuntu oracular/main armhf adwaita-icon-theme all 46.0-1 [723 kB] 494s Get:17 http://ftpmaster.internal/ubuntu oracular/main armhf at-spi2-common all 2.52.0-1build1 [8674 B] 494s Get:18 http://ftpmaster.internal/ubuntu oracular/universe armhf libcln6 armhf 1.3.7-1 [489 kB] 494s Get:19 http://ftpmaster.internal/ubuntu oracular/universe armhf libcvc4-7 armhf 1.8-3build2 [6152 kB] 494s Get:20 http://ftpmaster.internal/ubuntu oracular/universe armhf libantlr3c-3.4-0 armhf 3.4+dfsg-4build2 [33.2 kB] 494s Get:21 http://ftpmaster.internal/ubuntu oracular/universe armhf libcvc4parser7 armhf 1.8-3build2 [366 kB] 494s Get:22 http://ftpmaster.internal/ubuntu oracular/universe armhf cvc4 armhf 1.8-3build2 [73.8 kB] 494s Get:23 http://ftpmaster.internal/ubuntu oracular/main armhf libdconf1 armhf 0.40.0-4build2 [38.4 kB] 494s Get:24 http://ftpmaster.internal/ubuntu oracular/main armhf dconf-service armhf 0.40.0-4build2 [27.4 kB] 494s Get:25 http://ftpmaster.internal/ubuntu oracular/main armhf dconf-gsettings-backend armhf 0.40.0-4build2 [23.6 kB] 494s Get:26 http://ftpmaster.internal/ubuntu oracular/main armhf libfreetype6 armhf 2.13.2+dfsg-1build3 [331 kB] 494s Get:27 http://ftpmaster.internal/ubuntu oracular/main armhf fonts-dejavu-mono all 2.37-8 [502 kB] 494s Get:28 http://ftpmaster.internal/ubuntu oracular/main armhf fonts-dejavu-core all 2.37-8 [835 kB] 494s Get:29 http://ftpmaster.internal/ubuntu oracular/main armhf fontconfig-config armhf 2.15.0-1.1ubuntu2 [37.4 kB] 494s Get:30 http://ftpmaster.internal/ubuntu oracular/main armhf libfontconfig1 armhf 2.15.0-1.1ubuntu2 [113 kB] 494s Get:31 http://ftpmaster.internal/ubuntu oracular/main armhf fontconfig armhf 2.15.0-1.1ubuntu2 [189 kB] 494s Get:32 http://ftpmaster.internal/ubuntu oracular/main armhf libatk1.0-0t64 armhf 2.52.0-1build1 [48.0 kB] 494s Get:33 http://ftpmaster.internal/ubuntu oracular/main armhf libxi6 armhf 2:1.8.1-1build1 [26.6 kB] 494s Get:34 http://ftpmaster.internal/ubuntu oracular/main armhf libatspi2.0-0t64 armhf 2.52.0-1build1 [70.7 kB] 494s Get:35 http://ftpmaster.internal/ubuntu oracular/main armhf libatk-bridge2.0-0t64 armhf 2.52.0-1build1 [59.1 kB] 494s Get:36 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-common-data armhf 0.8-13ubuntu6 [29.7 kB] 494s Get:37 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-common3 armhf 0.8-13ubuntu6 [20.2 kB] 494s Get:38 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-client3 armhf 0.8-13ubuntu6 [24.2 kB] 494s Get:39 http://ftpmaster.internal/ubuntu oracular/main armhf libpixman-1-0 armhf 0.42.2-1build1 [193 kB] 494s Get:40 http://ftpmaster.internal/ubuntu oracular/main armhf libxcb-render0 armhf 1.17.0-2 [15.3 kB] 494s Get:41 http://ftpmaster.internal/ubuntu oracular/main armhf libxcb-shm0 armhf 1.17.0-2 [5774 B] 494s Get:42 http://ftpmaster.internal/ubuntu oracular/main armhf libxrender1 armhf 1:0.9.10-1.1build1 [16.0 kB] 494s Get:43 http://ftpmaster.internal/ubuntu oracular/main armhf libcairo2 armhf 1.18.0-3build1 [482 kB] 494s Get:44 http://ftpmaster.internal/ubuntu oracular/main armhf libcairo-gobject2 armhf 1.18.0-3build1 [125 kB] 494s Get:45 http://ftpmaster.internal/ubuntu oracular/universe armhf libstdlib-ocaml armhf 4.14.1-1ubuntu1 [344 kB] 494s Get:46 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml-base armhf 4.14.1-1ubuntu1 [216 kB] 494s Get:47 http://ftpmaster.internal/ubuntu oracular/universe armhf libcairo2-ocaml armhf 0.6.4+dfsg-2build2 [25.2 kB] 494s Get:48 http://ftpmaster.internal/ubuntu oracular/main armhf liblcms2-2 armhf 2.14-2build1 [132 kB] 494s Get:49 http://ftpmaster.internal/ubuntu oracular/main armhf libcolord2 armhf 1.4.7-1build2 [133 kB] 494s Get:50 http://ftpmaster.internal/ubuntu oracular/main armhf libcups2t64 armhf 2.4.7-1.2ubuntu9 [236 kB] 494s Get:51 http://ftpmaster.internal/ubuntu oracular/main armhf libdatrie1 armhf 0.2.13-3build1 [15.7 kB] 494s Get:52 http://ftpmaster.internal/ubuntu oracular/main armhf libepoxy0 armhf 1.5.10-1build1 [194 kB] 494s Get:53 http://ftpmaster.internal/ubuntu oracular/main armhf libgraphite2-3 armhf 1.3.14-2ubuntu1 [64.8 kB] 494s Get:54 http://ftpmaster.internal/ubuntu oracular/main armhf libharfbuzz0b armhf 8.3.0-2build2 [446 kB] 494s Get:55 http://ftpmaster.internal/ubuntu oracular/main armhf libthai-data all 0.1.29-2build1 [158 kB] 494s Get:56 http://ftpmaster.internal/ubuntu oracular/main armhf libthai0 armhf 0.1.29-2build1 [15.2 kB] 494s Get:57 http://ftpmaster.internal/ubuntu oracular/main armhf libpango-1.0-0 armhf 1.54.0+ds-1 [209 kB] 494s Get:58 http://ftpmaster.internal/ubuntu oracular/main armhf libpangoft2-1.0-0 armhf 1.54.0+ds-1 [36.4 kB] 494s Get:59 http://ftpmaster.internal/ubuntu oracular/main armhf libpangocairo-1.0-0 armhf 1.54.0+ds-1 [24.8 kB] 494s Get:60 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-client0 armhf 1.22.0-2.1build1 [22.0 kB] 495s Get:61 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-cursor0 armhf 1.22.0-2.1build1 [9368 B] 495s Get:62 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-egl1 armhf 1.22.0-2.1build1 [5322 B] 495s Get:63 http://ftpmaster.internal/ubuntu oracular/main armhf libxcomposite1 armhf 1:0.4.5-1build3 [5750 B] 495s Get:64 http://ftpmaster.internal/ubuntu oracular/main armhf libxfixes3 armhf 1:6.0.0-2build1 [9038 B] 495s Get:65 http://ftpmaster.internal/ubuntu oracular/main armhf libxcursor1 armhf 1:1.2.2-1 [17.6 kB] 495s Get:66 http://ftpmaster.internal/ubuntu oracular/main armhf libxdamage1 armhf 1:1.1.6-1build1 [5462 B] 495s Get:67 http://ftpmaster.internal/ubuntu oracular/main armhf libxinerama1 armhf 2:1.1.4-3build1 [5866 B] 495s Get:68 http://ftpmaster.internal/ubuntu oracular/main armhf libxrandr2 armhf 2:1.5.4-1 [15.8 kB] 495s Get:69 http://ftpmaster.internal/ubuntu oracular/main armhf libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 495s Get:70 http://ftpmaster.internal/ubuntu oracular/main armhf libgtk-3-0t64 armhf 3.24.43-1ubuntu1 [2590 kB] 495s Get:71 http://ftpmaster.internal/ubuntu oracular/universe armhf libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 495s Get:72 http://ftpmaster.internal/ubuntu oracular/universe armhf libgtksourceview-3.0-1 armhf 3.24.11-2build4 [206 kB] 495s Get:73 http://ftpmaster.internal/ubuntu oracular/universe armhf liblablgtk3-ocaml armhf 3.1.4-1build3 [3972 kB] 495s Get:74 http://ftpmaster.internal/ubuntu oracular/universe armhf liblablgtksourceview3-ocaml armhf 3.1.4-1build3 [341 kB] 495s Get:75 http://ftpmaster.internal/ubuntu oracular/universe armhf tex-common all 6.18 [32.8 kB] 495s Get:76 http://ftpmaster.internal/ubuntu oracular/universe armhf why3 armhf 1.6.0-1build7 [11.9 MB] 496s Fetched 36.3 MB in 2s (17.9 MB/s) 496s Selecting previously unselected package libgdk-pixbuf2.0-common. 496s (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 ... 58436 files and directories currently installed.) 496s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 496s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 496s Selecting previously unselected package libjpeg-turbo8:armhf. 496s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu2_armhf.deb ... 496s Unpacking libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 496s Selecting previously unselected package libjpeg8:armhf. 496s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_armhf.deb ... 496s Unpacking libjpeg8:armhf (8c-2ubuntu11) ... 496s Selecting previously unselected package libdeflate0:armhf. 496s Preparing to unpack .../03-libdeflate0_1.20-1_armhf.deb ... 496s Unpacking libdeflate0:armhf (1.20-1) ... 496s Selecting previously unselected package libjbig0:armhf. 496s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_armhf.deb ... 496s Unpacking libjbig0:armhf (2.1-6.1ubuntu2) ... 496s Selecting previously unselected package liblerc4:armhf. 496s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu2_armhf.deb ... 496s Unpacking liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 496s Selecting previously unselected package libsharpyuv0:armhf. 496s Preparing to unpack .../06-libsharpyuv0_1.4.0-0.1_armhf.deb ... 496s Unpacking libsharpyuv0:armhf (1.4.0-0.1) ... 496s Selecting previously unselected package libwebp7:armhf. 496s Preparing to unpack .../07-libwebp7_1.4.0-0.1_armhf.deb ... 496s Unpacking libwebp7:armhf (1.4.0-0.1) ... 496s Selecting previously unselected package libtiff6:armhf. 496s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu3_armhf.deb ... 496s Unpacking libtiff6:armhf (4.5.1+git230720-4ubuntu3) ... 496s Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf. 496s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_armhf.deb ... 496s Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 496s Selecting previously unselected package gtk-update-icon-cache. 496s Preparing to unpack .../10-gtk-update-icon-cache_3.24.43-1ubuntu1_armhf.deb ... 496s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 496s Selecting previously unselected package hicolor-icon-theme. 496s Preparing to unpack .../11-hicolor-icon-theme_0.18-1_all.deb ... 496s Unpacking hicolor-icon-theme (0.18-1) ... 496s Selecting previously unselected package humanity-icon-theme. 496s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 496s Unpacking humanity-icon-theme (0.6.16) ... 497s Selecting previously unselected package ubuntu-mono. 497s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 497s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 497s Selecting previously unselected package adwaita-icon-theme. 497s Preparing to unpack .../14-adwaita-icon-theme_46.0-1_all.deb ... 497s Unpacking adwaita-icon-theme (46.0-1) ... 497s Selecting previously unselected package at-spi2-common. 497s Preparing to unpack .../15-at-spi2-common_2.52.0-1build1_all.deb ... 497s Unpacking at-spi2-common (2.52.0-1build1) ... 497s Selecting previously unselected package libcln6:armhf. 497s Preparing to unpack .../16-libcln6_1.3.7-1_armhf.deb ... 497s Unpacking libcln6:armhf (1.3.7-1) ... 497s Selecting previously unselected package libcvc4-7:armhf. 497s Preparing to unpack .../17-libcvc4-7_1.8-3build2_armhf.deb ... 497s Unpacking libcvc4-7:armhf (1.8-3build2) ... 498s Selecting previously unselected package libantlr3c-3.4-0:armhf. 498s Preparing to unpack .../18-libantlr3c-3.4-0_3.4+dfsg-4build2_armhf.deb ... 498s Unpacking libantlr3c-3.4-0:armhf (3.4+dfsg-4build2) ... 498s Selecting previously unselected package libcvc4parser7:armhf. 498s Preparing to unpack .../19-libcvc4parser7_1.8-3build2_armhf.deb ... 498s Unpacking libcvc4parser7:armhf (1.8-3build2) ... 498s Selecting previously unselected package cvc4. 498s Preparing to unpack .../20-cvc4_1.8-3build2_armhf.deb ... 498s Unpacking cvc4 (1.8-3build2) ... 498s Selecting previously unselected package libdconf1:armhf. 498s Preparing to unpack .../21-libdconf1_0.40.0-4build2_armhf.deb ... 498s Unpacking libdconf1:armhf (0.40.0-4build2) ... 498s Selecting previously unselected package dconf-service. 498s Preparing to unpack .../22-dconf-service_0.40.0-4build2_armhf.deb ... 498s Unpacking dconf-service (0.40.0-4build2) ... 498s Selecting previously unselected package dconf-gsettings-backend:armhf. 498s Preparing to unpack .../23-dconf-gsettings-backend_0.40.0-4build2_armhf.deb ... 498s Unpacking dconf-gsettings-backend:armhf (0.40.0-4build2) ... 498s Selecting previously unselected package libfreetype6:armhf. 498s Preparing to unpack .../24-libfreetype6_2.13.2+dfsg-1build3_armhf.deb ... 498s Unpacking libfreetype6:armhf (2.13.2+dfsg-1build3) ... 498s Selecting previously unselected package fonts-dejavu-mono. 498s Preparing to unpack .../25-fonts-dejavu-mono_2.37-8_all.deb ... 498s Unpacking fonts-dejavu-mono (2.37-8) ... 498s Selecting previously unselected package fonts-dejavu-core. 498s Preparing to unpack .../26-fonts-dejavu-core_2.37-8_all.deb ... 498s Unpacking fonts-dejavu-core (2.37-8) ... 498s Selecting previously unselected package fontconfig-config. 498s Preparing to unpack .../27-fontconfig-config_2.15.0-1.1ubuntu2_armhf.deb ... 498s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 498s Selecting previously unselected package libfontconfig1:armhf. 498s Preparing to unpack .../28-libfontconfig1_2.15.0-1.1ubuntu2_armhf.deb ... 498s Unpacking libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 498s Selecting previously unselected package fontconfig. 499s Preparing to unpack .../29-fontconfig_2.15.0-1.1ubuntu2_armhf.deb ... 499s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 499s Selecting previously unselected package libatk1.0-0t64:armhf. 499s Preparing to unpack .../30-libatk1.0-0t64_2.52.0-1build1_armhf.deb ... 499s Unpacking libatk1.0-0t64:armhf (2.52.0-1build1) ... 499s Selecting previously unselected package libxi6:armhf. 499s Preparing to unpack .../31-libxi6_2%3a1.8.1-1build1_armhf.deb ... 499s Unpacking libxi6:armhf (2:1.8.1-1build1) ... 499s Selecting previously unselected package libatspi2.0-0t64:armhf. 499s Preparing to unpack .../32-libatspi2.0-0t64_2.52.0-1build1_armhf.deb ... 499s Unpacking libatspi2.0-0t64:armhf (2.52.0-1build1) ... 499s Selecting previously unselected package libatk-bridge2.0-0t64:armhf. 499s Preparing to unpack .../33-libatk-bridge2.0-0t64_2.52.0-1build1_armhf.deb ... 499s Unpacking libatk-bridge2.0-0t64:armhf (2.52.0-1build1) ... 499s Selecting previously unselected package libavahi-common-data:armhf. 499s Preparing to unpack .../34-libavahi-common-data_0.8-13ubuntu6_armhf.deb ... 499s Unpacking libavahi-common-data:armhf (0.8-13ubuntu6) ... 499s Selecting previously unselected package libavahi-common3:armhf. 499s Preparing to unpack .../35-libavahi-common3_0.8-13ubuntu6_armhf.deb ... 499s Unpacking libavahi-common3:armhf (0.8-13ubuntu6) ... 499s Selecting previously unselected package libavahi-client3:armhf. 499s Preparing to unpack .../36-libavahi-client3_0.8-13ubuntu6_armhf.deb ... 499s Unpacking libavahi-client3:armhf (0.8-13ubuntu6) ... 499s Selecting previously unselected package libpixman-1-0:armhf. 499s Preparing to unpack .../37-libpixman-1-0_0.42.2-1build1_armhf.deb ... 499s Unpacking libpixman-1-0:armhf (0.42.2-1build1) ... 499s Selecting previously unselected package libxcb-render0:armhf. 499s Preparing to unpack .../38-libxcb-render0_1.17.0-2_armhf.deb ... 499s Unpacking libxcb-render0:armhf (1.17.0-2) ... 499s Selecting previously unselected package libxcb-shm0:armhf. 499s Preparing to unpack .../39-libxcb-shm0_1.17.0-2_armhf.deb ... 499s Unpacking libxcb-shm0:armhf (1.17.0-2) ... 499s Selecting previously unselected package libxrender1:armhf. 499s Preparing to unpack .../40-libxrender1_1%3a0.9.10-1.1build1_armhf.deb ... 499s Unpacking libxrender1:armhf (1:0.9.10-1.1build1) ... 499s Selecting previously unselected package libcairo2:armhf. 499s Preparing to unpack .../41-libcairo2_1.18.0-3build1_armhf.deb ... 499s Unpacking libcairo2:armhf (1.18.0-3build1) ... 499s Selecting previously unselected package libcairo-gobject2:armhf. 499s Preparing to unpack .../42-libcairo-gobject2_1.18.0-3build1_armhf.deb ... 499s Unpacking libcairo-gobject2:armhf (1.18.0-3build1) ... 499s Selecting previously unselected package libstdlib-ocaml. 499s Preparing to unpack .../43-libstdlib-ocaml_4.14.1-1ubuntu1_armhf.deb ... 499s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 499s Selecting previously unselected package ocaml-base. 499s Preparing to unpack .../44-ocaml-base_4.14.1-1ubuntu1_armhf.deb ... 499s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 499s Selecting previously unselected package libcairo2-ocaml. 499s Preparing to unpack .../45-libcairo2-ocaml_0.6.4+dfsg-2build2_armhf.deb ... 499s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 499s Selecting previously unselected package liblcms2-2:armhf. 499s Preparing to unpack .../46-liblcms2-2_2.14-2build1_armhf.deb ... 499s Unpacking liblcms2-2:armhf (2.14-2build1) ... 499s Selecting previously unselected package libcolord2:armhf. 499s Preparing to unpack .../47-libcolord2_1.4.7-1build2_armhf.deb ... 499s Unpacking libcolord2:armhf (1.4.7-1build2) ... 499s Selecting previously unselected package libcups2t64:armhf. 499s Preparing to unpack .../48-libcups2t64_2.4.7-1.2ubuntu9_armhf.deb ... 499s Unpacking libcups2t64:armhf (2.4.7-1.2ubuntu9) ... 499s Selecting previously unselected package libdatrie1:armhf. 499s Preparing to unpack .../49-libdatrie1_0.2.13-3build1_armhf.deb ... 499s Unpacking libdatrie1:armhf (0.2.13-3build1) ... 499s Selecting previously unselected package libepoxy0:armhf. 499s Preparing to unpack .../50-libepoxy0_1.5.10-1build1_armhf.deb ... 499s Unpacking libepoxy0:armhf (1.5.10-1build1) ... 499s Selecting previously unselected package libgraphite2-3:armhf. 499s Preparing to unpack .../51-libgraphite2-3_1.3.14-2ubuntu1_armhf.deb ... 499s Unpacking libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 499s Selecting previously unselected package libharfbuzz0b:armhf. 499s Preparing to unpack .../52-libharfbuzz0b_8.3.0-2build2_armhf.deb ... 499s Unpacking libharfbuzz0b:armhf (8.3.0-2build2) ... 499s Selecting previously unselected package libthai-data. 499s Preparing to unpack .../53-libthai-data_0.1.29-2build1_all.deb ... 499s Unpacking libthai-data (0.1.29-2build1) ... 499s Selecting previously unselected package libthai0:armhf. 499s Preparing to unpack .../54-libthai0_0.1.29-2build1_armhf.deb ... 499s Unpacking libthai0:armhf (0.1.29-2build1) ... 499s Selecting previously unselected package libpango-1.0-0:armhf. 499s Preparing to unpack .../55-libpango-1.0-0_1.54.0+ds-1_armhf.deb ... 499s Unpacking libpango-1.0-0:armhf (1.54.0+ds-1) ... 499s Selecting previously unselected package libpangoft2-1.0-0:armhf. 499s Preparing to unpack .../56-libpangoft2-1.0-0_1.54.0+ds-1_armhf.deb ... 499s Unpacking libpangoft2-1.0-0:armhf (1.54.0+ds-1) ... 499s Selecting previously unselected package libpangocairo-1.0-0:armhf. 499s Preparing to unpack .../57-libpangocairo-1.0-0_1.54.0+ds-1_armhf.deb ... 499s Unpacking libpangocairo-1.0-0:armhf (1.54.0+ds-1) ... 499s Selecting previously unselected package libwayland-client0:armhf. 499s Preparing to unpack .../58-libwayland-client0_1.22.0-2.1build1_armhf.deb ... 499s Unpacking libwayland-client0:armhf (1.22.0-2.1build1) ... 499s Selecting previously unselected package libwayland-cursor0:armhf. 499s Preparing to unpack .../59-libwayland-cursor0_1.22.0-2.1build1_armhf.deb ... 499s Unpacking libwayland-cursor0:armhf (1.22.0-2.1build1) ... 500s Selecting previously unselected package libwayland-egl1:armhf. 500s Preparing to unpack .../60-libwayland-egl1_1.22.0-2.1build1_armhf.deb ... 500s Unpacking libwayland-egl1:armhf (1.22.0-2.1build1) ... 500s Selecting previously unselected package libxcomposite1:armhf. 500s Preparing to unpack .../61-libxcomposite1_1%3a0.4.5-1build3_armhf.deb ... 500s Unpacking libxcomposite1:armhf (1:0.4.5-1build3) ... 500s Selecting previously unselected package libxfixes3:armhf. 500s Preparing to unpack .../62-libxfixes3_1%3a6.0.0-2build1_armhf.deb ... 500s Unpacking libxfixes3:armhf (1:6.0.0-2build1) ... 500s Selecting previously unselected package libxcursor1:armhf. 500s Preparing to unpack .../63-libxcursor1_1%3a1.2.2-1_armhf.deb ... 500s Unpacking libxcursor1:armhf (1:1.2.2-1) ... 500s Selecting previously unselected package libxdamage1:armhf. 500s Preparing to unpack .../64-libxdamage1_1%3a1.1.6-1build1_armhf.deb ... 500s Unpacking libxdamage1:armhf (1:1.1.6-1build1) ... 500s Selecting previously unselected package libxinerama1:armhf. 500s Preparing to unpack .../65-libxinerama1_2%3a1.1.4-3build1_armhf.deb ... 500s Unpacking libxinerama1:armhf (2:1.1.4-3build1) ... 500s Selecting previously unselected package libxrandr2:armhf. 500s Preparing to unpack .../66-libxrandr2_2%3a1.5.4-1_armhf.deb ... 500s Unpacking libxrandr2:armhf (2:1.5.4-1) ... 500s Selecting previously unselected package libgtk-3-common. 500s Preparing to unpack .../67-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 500s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 500s Selecting previously unselected package libgtk-3-0t64:armhf. 500s Preparing to unpack .../68-libgtk-3-0t64_3.24.43-1ubuntu1_armhf.deb ... 500s Unpacking libgtk-3-0t64:armhf (3.24.43-1ubuntu1) ... 500s Selecting previously unselected package libgtksourceview-3.0-common. 500s Preparing to unpack .../69-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 500s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 500s Selecting previously unselected package libgtksourceview-3.0-1:armhf. 500s Preparing to unpack .../70-libgtksourceview-3.0-1_3.24.11-2build4_armhf.deb ... 500s Unpacking libgtksourceview-3.0-1:armhf (3.24.11-2build4) ... 500s Selecting previously unselected package liblablgtk3-ocaml. 500s Preparing to unpack .../71-liblablgtk3-ocaml_3.1.4-1build3_armhf.deb ... 500s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 500s Selecting previously unselected package liblablgtksourceview3-ocaml. 500s Preparing to unpack .../72-liblablgtksourceview3-ocaml_3.1.4-1build3_armhf.deb ... 500s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 500s Selecting previously unselected package tex-common. 500s Preparing to unpack .../73-tex-common_6.18_all.deb ... 500s Unpacking tex-common (6.18) ... 500s Selecting previously unselected package why3. 500s Preparing to unpack .../74-why3_1.6.0-1build7_armhf.deb ... 500s Unpacking why3 (1.6.0-1build7) ... 501s Selecting previously unselected package autopkgtest-satdep. 501s Preparing to unpack .../75-2-autopkgtest-satdep.deb ... 501s Unpacking autopkgtest-satdep (0) ... 501s Setting up libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 501s Setting up liblcms2-2:armhf (2.14-2build1) ... 501s Setting up libpixman-1-0:armhf (0.42.2-1build1) ... 501s Setting up libsharpyuv0:armhf (1.4.0-0.1) ... 501s Setting up libcln6:armhf (1.3.7-1) ... 501s Setting up libxdamage1:armhf (1:1.1.6-1build1) ... 501s Setting up liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 501s Setting up libantlr3c-3.4-0:armhf (3.4+dfsg-4build2) ... 501s Setting up hicolor-icon-theme (0.18-1) ... 501s Setting up libxi6:armhf (2:1.8.1-1build1) ... 501s Setting up libxrender1:armhf (1:0.9.10-1.1build1) ... 501s Setting up libdatrie1:armhf (0.2.13-3build1) ... 501s Setting up libxcb-render0:armhf (1.17.0-2) ... 501s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 501s Setting up libdeflate0:armhf (1.20-1) ... 501s Setting up libxcb-shm0:armhf (1.17.0-2) ... 501s Setting up libjbig0:armhf (2.1-6.1ubuntu2) ... 501s Setting up libcolord2:armhf (1.4.7-1build2) ... 501s Setting up libdconf1:armhf (0.40.0-4build2) ... 501s Setting up tex-common (6.18) ... 501s update-language: texlive-base not installed and configured, doing nothing! 501s Setting up libfreetype6:armhf (2.13.2+dfsg-1build3) ... 501s Setting up libepoxy0:armhf (1.5.10-1build1) ... 501s Setting up libxfixes3:armhf (1:6.0.0-2build1) ... 501s Setting up libavahi-common-data:armhf (0.8-13ubuntu6) ... 501s Setting up libatspi2.0-0t64:armhf (2.52.0-1build1) ... 501s Setting up libxinerama1:armhf (2:1.1.4-3build1) ... 501s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 501s Setting up fonts-dejavu-mono (2.37-8) ... 501s Setting up libxrandr2:armhf (2:1.5.4-1) ... 501s Setting up ocaml-base (4.14.1-1ubuntu1) ... 501s Setting up fonts-dejavu-core (2.37-8) ... 501s Setting up libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 501s Setting up libwebp7:armhf (1.4.0-0.1) ... 501s Setting up at-spi2-common (2.52.0-1build1) ... 501s Setting up libcvc4-7:armhf (1.8-3build2) ... 501s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 501s Setting up libharfbuzz0b:armhf (8.3.0-2build2) ... 501s Setting up libthai-data (0.1.29-2build1) ... 501s Setting up libwayland-egl1:armhf (1.22.0-2.1build1) ... 501s Setting up libxcomposite1:armhf (1:0.4.5-1build3) ... 501s Setting up libwayland-client0:armhf (1.22.0-2.1build1) ... 501s Setting up libjpeg8:armhf (8c-2ubuntu11) ... 501s Setting up libatk1.0-0t64:armhf (2.52.0-1build1) ... 501s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 501s Setting up libxcursor1:armhf (1:1.2.2-1) ... 501s Setting up libavahi-common3:armhf (0.8-13ubuntu6) ... 501s Setting up dconf-service (0.40.0-4build2) ... 501s Setting up libthai0:armhf (0.1.29-2build1) ... 501s Setting up libcvc4parser7:armhf (1.8-3build2) ... 501s Setting up libtiff6:armhf (4.5.1+git230720-4ubuntu3) ... 501s Setting up libwayland-cursor0:armhf (1.22.0-2.1build1) ... 501s Setting up libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 501s Setting up cvc4 (1.8-3build2) ... 501s Setting up libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 501s Setting up libavahi-client3:armhf (0.8-13ubuntu6) ... 501s Setting up libatk-bridge2.0-0t64:armhf (2.52.0-1build1) ... 501s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 501s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 503s Regenerating fonts cache... done. 503s Setting up dconf-gsettings-backend:armhf (0.40.0-4build2) ... 503s Setting up libpango-1.0-0:armhf (1.54.0+ds-1) ... 503s Setting up libcairo2:armhf (1.18.0-3build1) ... 503s Setting up libcairo-gobject2:armhf (1.18.0-3build1) ... 503s Setting up libpangoft2-1.0-0:armhf (1.54.0+ds-1) ... 503s Setting up libcups2t64:armhf (2.4.7-1.2ubuntu9) ... 503s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 503s Setting up libpangocairo-1.0-0:armhf (1.54.0+ds-1) ... 503s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 503s Setting up adwaita-icon-theme (46.0-1) ... 503s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 503s Setting up humanity-icon-theme (0.6.16) ... 503s Setting up ubuntu-mono (24.04-0ubuntu1) ... 503s Processing triggers for man-db (2.12.1-2) ... 504s Processing triggers for libglib2.0-0t64:armhf (2.80.4-1ubuntu1) ... 504s Setting up libgtk-3-0t64:armhf (3.24.43-1ubuntu1) ... 504s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 504s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 504s Setting up libgtksourceview-3.0-1:armhf (3.24.11-2build4) ... 504s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 504s Setting up why3 (1.6.0-1build7) ... 504s Setting up autopkgtest-satdep (0) ... 504s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 522s (Reading database ... 72578 files and directories currently installed.) 522s Removing autopkgtest-satdep (0) ... 535s autopkgtest [08:36:09]: test why3+cvc4: [----------------------- 538s autopkgtest [08:36:12]: test why3+cvc4: -----------------------] 542s autopkgtest [08:36:16]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 542s why3+cvc4 PASS 545s autopkgtest [08:36:19]: test why3+spass: preparing testbed 604s autopkgtest [08:37:18]: testbed dpkg architecture: armhf 606s autopkgtest [08:37:20]: testbed apt version: 2.9.6 606s autopkgtest [08:37:20]: @@@@@@@@@@@@@@@@@@@@ test bed setup 614s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 615s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [375 kB] 615s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 615s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [51.3 kB] 615s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 615s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf Packages [78.8 kB] 615s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf c-n-f Metadata [1428 B] 615s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf Packages [1368 B] 615s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf c-n-f Metadata [120 B] 615s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf Packages [349 kB] 615s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf c-n-f Metadata [6916 B] 615s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf Packages [1448 B] 615s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf c-n-f Metadata [120 B] 617s Fetched 1002 kB in 1s (1323 kB/s) 617s Reading package lists... 632s tee: /proc/self/fd/2: Permission denied 653s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 653s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 653s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 653s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 654s Reading package lists... 654s Reading package lists... 654s Building dependency tree... 654s Reading state information... 655s Calculating upgrade... 655s The following packages will be upgraded: 655s libc-bin libc6 locales 655s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 655s Need to get 7572 kB of archives. 655s After this operation, 17.4 kB of additional disk space will be used. 655s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6 armhf 2.39-3.1ubuntu3 [2825 kB] 656s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-bin armhf 2.39-3.1ubuntu3 [527 kB] 656s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf locales all 2.39-3.1ubuntu3 [4220 kB] 656s Preconfiguring packages ... 656s Fetched 7572 kB in 1s (9152 kB/s) 657s (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 ... 58436 files and directories currently installed.) 657s Preparing to unpack .../libc6_2.39-3.1ubuntu3_armhf.deb ... 657s Unpacking libc6:armhf (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 657s Setting up libc6:armhf (2.39-3.1ubuntu3) ... 657s Error: Could not restart systemd, systemd binary not working 657s (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 ... 58436 files and directories currently installed.) 657s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_armhf.deb ... 657s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 657s Setting up libc-bin (2.39-3.1ubuntu3) ... 657s (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 ... 58436 files and directories currently installed.) 657s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 657s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 658s Setting up locales (2.39-3.1ubuntu3) ... 658s Generating locales (this might take a while)... 660s en_US.UTF-8... done 660s Generation complete. 660s Processing triggers for systemd (256-1ubuntu1) ... 661s Processing triggers for man-db (2.12.1-2) ... 662s Reading package lists... 662s Building dependency tree... 662s Reading state information... 662s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 664s autopkgtest [08:38:18]: rebooting testbed after setup commands that affected boot 768s Reading package lists... 769s Building dependency tree... 769s Reading state information... 769s Starting pkgProblemResolver with broken count: 0 769s Starting 2 pkgProblemResolver with broken count: 0 769s Done 770s The following additional packages will be installed: 770s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 770s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 770s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 770s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 770s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 770s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libdeflate0 770s libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 770s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 770s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 770s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 770s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 770s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 770s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 770s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 770s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 770s ubuntu-mono why3 770s Suggested packages: 770s colord cups-common gvfs liblcms2-utils debhelper why3-examples 770s Recommended packages: 770s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 770s The following NEW packages will be installed: 770s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 770s dconf-service fontconfig fontconfig-config fonts-dejavu-core 770s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 770s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 770s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 770s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 770s libdeflate0 libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 770s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 770s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 770s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 770s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 770s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 770s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 770s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 770s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 770s ubuntu-mono why3 770s 0 upgraded, 72 newly installed, 0 to remove and 0 not upgraded. 770s Need to get 29.5 MB/29.5 MB of archives. 770s After this operation, 128 MB of additional disk space will be used. 770s Get:1 /tmp/autopkgtest.Uqgryv/3-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [704 B] 770s Get:2 http://ftpmaster.internal/ubuntu oracular/main armhf libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 770s Get:3 http://ftpmaster.internal/ubuntu oracular/main armhf libjpeg-turbo8 armhf 2.1.5-2ubuntu2 [125 kB] 770s Get:4 http://ftpmaster.internal/ubuntu oracular/main armhf libjpeg8 armhf 8c-2ubuntu11 [2148 B] 770s Get:5 http://ftpmaster.internal/ubuntu oracular/main armhf libdeflate0 armhf 1.20-1 [38.3 kB] 770s Get:6 http://ftpmaster.internal/ubuntu oracular/main armhf libjbig0 armhf 2.1-6.1ubuntu2 [24.9 kB] 770s Get:7 http://ftpmaster.internal/ubuntu oracular/main armhf liblerc4 armhf 4.0.0+ds-4ubuntu2 [151 kB] 770s Get:8 http://ftpmaster.internal/ubuntu oracular/main armhf libsharpyuv0 armhf 1.4.0-0.1 [16.3 kB] 770s Get:9 http://ftpmaster.internal/ubuntu oracular/main armhf libwebp7 armhf 1.4.0-0.1 [184 kB] 770s Get:10 http://ftpmaster.internal/ubuntu oracular/main armhf libtiff6 armhf 4.5.1+git230720-4ubuntu3 [178 kB] 770s Get:11 http://ftpmaster.internal/ubuntu oracular/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.12+dfsg-1 [135 kB] 770s Get:12 http://ftpmaster.internal/ubuntu oracular/main armhf gtk-update-icon-cache armhf 3.24.43-1ubuntu1 [51.2 kB] 770s Get:13 http://ftpmaster.internal/ubuntu oracular/main armhf hicolor-icon-theme all 0.18-1 [13.5 kB] 770s Get:14 http://ftpmaster.internal/ubuntu oracular/main armhf humanity-icon-theme all 0.6.16 [1282 kB] 770s Get:15 http://ftpmaster.internal/ubuntu oracular/main armhf ubuntu-mono all 24.04-0ubuntu1 [151 kB] 770s Get:16 http://ftpmaster.internal/ubuntu oracular/main armhf adwaita-icon-theme all 46.0-1 [723 kB] 770s Get:17 http://ftpmaster.internal/ubuntu oracular/main armhf at-spi2-common all 2.52.0-1build1 [8674 B] 770s Get:18 http://ftpmaster.internal/ubuntu oracular/main armhf libdconf1 armhf 0.40.0-4build2 [38.4 kB] 770s Get:19 http://ftpmaster.internal/ubuntu oracular/main armhf dconf-service armhf 0.40.0-4build2 [27.4 kB] 770s Get:20 http://ftpmaster.internal/ubuntu oracular/main armhf dconf-gsettings-backend armhf 0.40.0-4build2 [23.6 kB] 770s Get:21 http://ftpmaster.internal/ubuntu oracular/main armhf libfreetype6 armhf 2.13.2+dfsg-1build3 [331 kB] 770s Get:22 http://ftpmaster.internal/ubuntu oracular/main armhf fonts-dejavu-mono all 2.37-8 [502 kB] 771s Get:23 http://ftpmaster.internal/ubuntu oracular/main armhf fonts-dejavu-core all 2.37-8 [835 kB] 771s Get:24 http://ftpmaster.internal/ubuntu oracular/main armhf fontconfig-config armhf 2.15.0-1.1ubuntu2 [37.4 kB] 771s Get:25 http://ftpmaster.internal/ubuntu oracular/main armhf libfontconfig1 armhf 2.15.0-1.1ubuntu2 [113 kB] 771s Get:26 http://ftpmaster.internal/ubuntu oracular/main armhf fontconfig armhf 2.15.0-1.1ubuntu2 [189 kB] 771s Get:27 http://ftpmaster.internal/ubuntu oracular/main armhf libatk1.0-0t64 armhf 2.52.0-1build1 [48.0 kB] 771s Get:28 http://ftpmaster.internal/ubuntu oracular/main armhf libxi6 armhf 2:1.8.1-1build1 [26.6 kB] 771s Get:29 http://ftpmaster.internal/ubuntu oracular/main armhf libatspi2.0-0t64 armhf 2.52.0-1build1 [70.7 kB] 771s Get:30 http://ftpmaster.internal/ubuntu oracular/main armhf libatk-bridge2.0-0t64 armhf 2.52.0-1build1 [59.1 kB] 771s Get:31 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-common-data armhf 0.8-13ubuntu6 [29.7 kB] 771s Get:32 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-common3 armhf 0.8-13ubuntu6 [20.2 kB] 771s Get:33 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-client3 armhf 0.8-13ubuntu6 [24.2 kB] 771s Get:34 http://ftpmaster.internal/ubuntu oracular/main armhf libpixman-1-0 armhf 0.42.2-1build1 [193 kB] 771s Get:35 http://ftpmaster.internal/ubuntu oracular/main armhf libxcb-render0 armhf 1.17.0-2 [15.3 kB] 771s Get:36 http://ftpmaster.internal/ubuntu oracular/main armhf libxcb-shm0 armhf 1.17.0-2 [5774 B] 771s Get:37 http://ftpmaster.internal/ubuntu oracular/main armhf libxrender1 armhf 1:0.9.10-1.1build1 [16.0 kB] 771s Get:38 http://ftpmaster.internal/ubuntu oracular/main armhf libcairo2 armhf 1.18.0-3build1 [482 kB] 771s Get:39 http://ftpmaster.internal/ubuntu oracular/main armhf libcairo-gobject2 armhf 1.18.0-3build1 [125 kB] 771s Get:40 http://ftpmaster.internal/ubuntu oracular/universe armhf libstdlib-ocaml armhf 4.14.1-1ubuntu1 [344 kB] 771s Get:41 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml-base armhf 4.14.1-1ubuntu1 [216 kB] 771s Get:42 http://ftpmaster.internal/ubuntu oracular/universe armhf libcairo2-ocaml armhf 0.6.4+dfsg-2build2 [25.2 kB] 771s Get:43 http://ftpmaster.internal/ubuntu oracular/main armhf liblcms2-2 armhf 2.14-2build1 [132 kB] 771s Get:44 http://ftpmaster.internal/ubuntu oracular/main armhf libcolord2 armhf 1.4.7-1build2 [133 kB] 771s Get:45 http://ftpmaster.internal/ubuntu oracular/main armhf libcups2t64 armhf 2.4.7-1.2ubuntu9 [236 kB] 771s Get:46 http://ftpmaster.internal/ubuntu oracular/main armhf libdatrie1 armhf 0.2.13-3build1 [15.7 kB] 771s Get:47 http://ftpmaster.internal/ubuntu oracular/main armhf libepoxy0 armhf 1.5.10-1build1 [194 kB] 771s Get:48 http://ftpmaster.internal/ubuntu oracular/main armhf libgraphite2-3 armhf 1.3.14-2ubuntu1 [64.8 kB] 771s Get:49 http://ftpmaster.internal/ubuntu oracular/main armhf libharfbuzz0b armhf 8.3.0-2build2 [446 kB] 771s Get:50 http://ftpmaster.internal/ubuntu oracular/main armhf libthai-data all 0.1.29-2build1 [158 kB] 771s Get:51 http://ftpmaster.internal/ubuntu oracular/main armhf libthai0 armhf 0.1.29-2build1 [15.2 kB] 771s Get:52 http://ftpmaster.internal/ubuntu oracular/main armhf libpango-1.0-0 armhf 1.54.0+ds-1 [209 kB] 771s Get:53 http://ftpmaster.internal/ubuntu oracular/main armhf libpangoft2-1.0-0 armhf 1.54.0+ds-1 [36.4 kB] 771s Get:54 http://ftpmaster.internal/ubuntu oracular/main armhf libpangocairo-1.0-0 armhf 1.54.0+ds-1 [24.8 kB] 771s Get:55 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-client0 armhf 1.22.0-2.1build1 [22.0 kB] 771s Get:56 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-cursor0 armhf 1.22.0-2.1build1 [9368 B] 771s Get:57 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-egl1 armhf 1.22.0-2.1build1 [5322 B] 771s Get:58 http://ftpmaster.internal/ubuntu oracular/main armhf libxcomposite1 armhf 1:0.4.5-1build3 [5750 B] 771s Get:59 http://ftpmaster.internal/ubuntu oracular/main armhf libxfixes3 armhf 1:6.0.0-2build1 [9038 B] 771s Get:60 http://ftpmaster.internal/ubuntu oracular/main armhf libxcursor1 armhf 1:1.2.2-1 [17.6 kB] 771s Get:61 http://ftpmaster.internal/ubuntu oracular/main armhf libxdamage1 armhf 1:1.1.6-1build1 [5462 B] 771s Get:62 http://ftpmaster.internal/ubuntu oracular/main armhf libxinerama1 armhf 2:1.1.4-3build1 [5866 B] 771s Get:63 http://ftpmaster.internal/ubuntu oracular/main armhf libxrandr2 armhf 2:1.5.4-1 [15.8 kB] 771s Get:64 http://ftpmaster.internal/ubuntu oracular/main armhf libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 771s Get:65 http://ftpmaster.internal/ubuntu oracular/main armhf libgtk-3-0t64 armhf 3.24.43-1ubuntu1 [2590 kB] 771s Get:66 http://ftpmaster.internal/ubuntu oracular/universe armhf libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 771s Get:67 http://ftpmaster.internal/ubuntu oracular/universe armhf libgtksourceview-3.0-1 armhf 3.24.11-2build4 [206 kB] 771s Get:68 http://ftpmaster.internal/ubuntu oracular/universe armhf liblablgtk3-ocaml armhf 3.1.4-1build3 [3972 kB] 771s Get:69 http://ftpmaster.internal/ubuntu oracular/universe armhf liblablgtksourceview3-ocaml armhf 3.1.4-1build3 [341 kB] 771s Get:70 http://ftpmaster.internal/ubuntu oracular/universe armhf spass armhf 3.9-1.1 [228 kB] 771s Get:71 http://ftpmaster.internal/ubuntu oracular/universe armhf tex-common all 6.18 [32.8 kB] 771s Get:72 http://ftpmaster.internal/ubuntu oracular/universe armhf why3 armhf 1.6.0-1build7 [11.9 MB] 772s Fetched 29.5 MB in 2s (15.0 MB/s) 772s Selecting previously unselected package libgdk-pixbuf2.0-common. 772s (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 ... 58436 files and directories currently installed.) 772s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 772s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 772s Selecting previously unselected package libjpeg-turbo8:armhf. 772s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu2_armhf.deb ... 772s Unpacking libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 772s Selecting previously unselected package libjpeg8:armhf. 772s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_armhf.deb ... 772s Unpacking libjpeg8:armhf (8c-2ubuntu11) ... 772s Selecting previously unselected package libdeflate0:armhf. 772s Preparing to unpack .../03-libdeflate0_1.20-1_armhf.deb ... 772s Unpacking libdeflate0:armhf (1.20-1) ... 772s Selecting previously unselected package libjbig0:armhf. 772s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_armhf.deb ... 772s Unpacking libjbig0:armhf (2.1-6.1ubuntu2) ... 772s Selecting previously unselected package liblerc4:armhf. 772s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu2_armhf.deb ... 772s Unpacking liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 773s Selecting previously unselected package libsharpyuv0:armhf. 773s Preparing to unpack .../06-libsharpyuv0_1.4.0-0.1_armhf.deb ... 773s Unpacking libsharpyuv0:armhf (1.4.0-0.1) ... 773s Selecting previously unselected package libwebp7:armhf. 773s Preparing to unpack .../07-libwebp7_1.4.0-0.1_armhf.deb ... 773s Unpacking libwebp7:armhf (1.4.0-0.1) ... 773s Selecting previously unselected package libtiff6:armhf. 773s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu3_armhf.deb ... 773s Unpacking libtiff6:armhf (4.5.1+git230720-4ubuntu3) ... 773s Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf. 773s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_armhf.deb ... 773s Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 773s Selecting previously unselected package gtk-update-icon-cache. 773s Preparing to unpack .../10-gtk-update-icon-cache_3.24.43-1ubuntu1_armhf.deb ... 773s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 773s Selecting previously unselected package hicolor-icon-theme. 773s Preparing to unpack .../11-hicolor-icon-theme_0.18-1_all.deb ... 773s Unpacking hicolor-icon-theme (0.18-1) ... 773s Selecting previously unselected package humanity-icon-theme. 773s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 773s Unpacking humanity-icon-theme (0.6.16) ... 774s Selecting previously unselected package ubuntu-mono. 774s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 774s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 774s Selecting previously unselected package adwaita-icon-theme. 774s Preparing to unpack .../14-adwaita-icon-theme_46.0-1_all.deb ... 774s Unpacking adwaita-icon-theme (46.0-1) ... 774s Selecting previously unselected package at-spi2-common. 774s Preparing to unpack .../15-at-spi2-common_2.52.0-1build1_all.deb ... 774s Unpacking at-spi2-common (2.52.0-1build1) ... 774s Selecting previously unselected package libdconf1:armhf. 774s Preparing to unpack .../16-libdconf1_0.40.0-4build2_armhf.deb ... 774s Unpacking libdconf1:armhf (0.40.0-4build2) ... 774s Selecting previously unselected package dconf-service. 774s Preparing to unpack .../17-dconf-service_0.40.0-4build2_armhf.deb ... 774s Unpacking dconf-service (0.40.0-4build2) ... 774s Selecting previously unselected package dconf-gsettings-backend:armhf. 775s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4build2_armhf.deb ... 775s Unpacking dconf-gsettings-backend:armhf (0.40.0-4build2) ... 775s Selecting previously unselected package libfreetype6:armhf. 775s Preparing to unpack .../19-libfreetype6_2.13.2+dfsg-1build3_armhf.deb ... 775s Unpacking libfreetype6:armhf (2.13.2+dfsg-1build3) ... 775s Selecting previously unselected package fonts-dejavu-mono. 775s Preparing to unpack .../20-fonts-dejavu-mono_2.37-8_all.deb ... 775s Unpacking fonts-dejavu-mono (2.37-8) ... 775s Selecting previously unselected package fonts-dejavu-core. 775s Preparing to unpack .../21-fonts-dejavu-core_2.37-8_all.deb ... 775s Unpacking fonts-dejavu-core (2.37-8) ... 775s Selecting previously unselected package fontconfig-config. 775s Preparing to unpack .../22-fontconfig-config_2.15.0-1.1ubuntu2_armhf.deb ... 775s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 775s Selecting previously unselected package libfontconfig1:armhf. 775s Preparing to unpack .../23-libfontconfig1_2.15.0-1.1ubuntu2_armhf.deb ... 775s Unpacking libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 775s Selecting previously unselected package fontconfig. 775s Preparing to unpack .../24-fontconfig_2.15.0-1.1ubuntu2_armhf.deb ... 775s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 775s Selecting previously unselected package libatk1.0-0t64:armhf. 775s Preparing to unpack .../25-libatk1.0-0t64_2.52.0-1build1_armhf.deb ... 775s Unpacking libatk1.0-0t64:armhf (2.52.0-1build1) ... 776s Selecting previously unselected package libxi6:armhf. 776s Preparing to unpack .../26-libxi6_2%3a1.8.1-1build1_armhf.deb ... 776s Unpacking libxi6:armhf (2:1.8.1-1build1) ... 776s Selecting previously unselected package libatspi2.0-0t64:armhf. 776s Preparing to unpack .../27-libatspi2.0-0t64_2.52.0-1build1_armhf.deb ... 776s Unpacking libatspi2.0-0t64:armhf (2.52.0-1build1) ... 776s Selecting previously unselected package libatk-bridge2.0-0t64:armhf. 776s Preparing to unpack .../28-libatk-bridge2.0-0t64_2.52.0-1build1_armhf.deb ... 776s Unpacking libatk-bridge2.0-0t64:armhf (2.52.0-1build1) ... 776s Selecting previously unselected package libavahi-common-data:armhf. 776s Preparing to unpack .../29-libavahi-common-data_0.8-13ubuntu6_armhf.deb ... 776s Unpacking libavahi-common-data:armhf (0.8-13ubuntu6) ... 776s Selecting previously unselected package libavahi-common3:armhf. 776s Preparing to unpack .../30-libavahi-common3_0.8-13ubuntu6_armhf.deb ... 776s Unpacking libavahi-common3:armhf (0.8-13ubuntu6) ... 776s Selecting previously unselected package libavahi-client3:armhf. 776s Preparing to unpack .../31-libavahi-client3_0.8-13ubuntu6_armhf.deb ... 776s Unpacking libavahi-client3:armhf (0.8-13ubuntu6) ... 776s Selecting previously unselected package libpixman-1-0:armhf. 776s Preparing to unpack .../32-libpixman-1-0_0.42.2-1build1_armhf.deb ... 776s Unpacking libpixman-1-0:armhf (0.42.2-1build1) ... 776s Selecting previously unselected package libxcb-render0:armhf. 776s Preparing to unpack .../33-libxcb-render0_1.17.0-2_armhf.deb ... 776s Unpacking libxcb-render0:armhf (1.17.0-2) ... 776s Selecting previously unselected package libxcb-shm0:armhf. 776s Preparing to unpack .../34-libxcb-shm0_1.17.0-2_armhf.deb ... 776s Unpacking libxcb-shm0:armhf (1.17.0-2) ... 776s Selecting previously unselected package libxrender1:armhf. 776s Preparing to unpack .../35-libxrender1_1%3a0.9.10-1.1build1_armhf.deb ... 776s Unpacking libxrender1:armhf (1:0.9.10-1.1build1) ... 776s Selecting previously unselected package libcairo2:armhf. 776s Preparing to unpack .../36-libcairo2_1.18.0-3build1_armhf.deb ... 776s Unpacking libcairo2:armhf (1.18.0-3build1) ... 776s Selecting previously unselected package libcairo-gobject2:armhf. 776s Preparing to unpack .../37-libcairo-gobject2_1.18.0-3build1_armhf.deb ... 776s Unpacking libcairo-gobject2:armhf (1.18.0-3build1) ... 776s Selecting previously unselected package libstdlib-ocaml. 776s Preparing to unpack .../38-libstdlib-ocaml_4.14.1-1ubuntu1_armhf.deb ... 776s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 776s Selecting previously unselected package ocaml-base. 776s Preparing to unpack .../39-ocaml-base_4.14.1-1ubuntu1_armhf.deb ... 776s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 776s Selecting previously unselected package libcairo2-ocaml. 776s Preparing to unpack .../40-libcairo2-ocaml_0.6.4+dfsg-2build2_armhf.deb ... 776s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 776s Selecting previously unselected package liblcms2-2:armhf. 776s Preparing to unpack .../41-liblcms2-2_2.14-2build1_armhf.deb ... 776s Unpacking liblcms2-2:armhf (2.14-2build1) ... 776s Selecting previously unselected package libcolord2:armhf. 776s Preparing to unpack .../42-libcolord2_1.4.7-1build2_armhf.deb ... 776s Unpacking libcolord2:armhf (1.4.7-1build2) ... 776s Selecting previously unselected package libcups2t64:armhf. 776s Preparing to unpack .../43-libcups2t64_2.4.7-1.2ubuntu9_armhf.deb ... 776s Unpacking libcups2t64:armhf (2.4.7-1.2ubuntu9) ... 776s Selecting previously unselected package libdatrie1:armhf. 776s Preparing to unpack .../44-libdatrie1_0.2.13-3build1_armhf.deb ... 776s Unpacking libdatrie1:armhf (0.2.13-3build1) ... 776s Selecting previously unselected package libepoxy0:armhf. 776s Preparing to unpack .../45-libepoxy0_1.5.10-1build1_armhf.deb ... 776s Unpacking libepoxy0:armhf (1.5.10-1build1) ... 776s Selecting previously unselected package libgraphite2-3:armhf. 776s Preparing to unpack .../46-libgraphite2-3_1.3.14-2ubuntu1_armhf.deb ... 776s Unpacking libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 776s Selecting previously unselected package libharfbuzz0b:armhf. 776s Preparing to unpack .../47-libharfbuzz0b_8.3.0-2build2_armhf.deb ... 776s Unpacking libharfbuzz0b:armhf (8.3.0-2build2) ... 776s Selecting previously unselected package libthai-data. 776s Preparing to unpack .../48-libthai-data_0.1.29-2build1_all.deb ... 776s Unpacking libthai-data (0.1.29-2build1) ... 776s Selecting previously unselected package libthai0:armhf. 776s Preparing to unpack .../49-libthai0_0.1.29-2build1_armhf.deb ... 776s Unpacking libthai0:armhf (0.1.29-2build1) ... 776s Selecting previously unselected package libpango-1.0-0:armhf. 776s Preparing to unpack .../50-libpango-1.0-0_1.54.0+ds-1_armhf.deb ... 776s Unpacking libpango-1.0-0:armhf (1.54.0+ds-1) ... 777s Selecting previously unselected package libpangoft2-1.0-0:armhf. 777s Preparing to unpack .../51-libpangoft2-1.0-0_1.54.0+ds-1_armhf.deb ... 777s Unpacking libpangoft2-1.0-0:armhf (1.54.0+ds-1) ... 777s Selecting previously unselected package libpangocairo-1.0-0:armhf. 777s Preparing to unpack .../52-libpangocairo-1.0-0_1.54.0+ds-1_armhf.deb ... 777s Unpacking libpangocairo-1.0-0:armhf (1.54.0+ds-1) ... 777s Selecting previously unselected package libwayland-client0:armhf. 777s Preparing to unpack .../53-libwayland-client0_1.22.0-2.1build1_armhf.deb ... 777s Unpacking libwayland-client0:armhf (1.22.0-2.1build1) ... 777s Selecting previously unselected package libwayland-cursor0:armhf. 777s Preparing to unpack .../54-libwayland-cursor0_1.22.0-2.1build1_armhf.deb ... 777s Unpacking libwayland-cursor0:armhf (1.22.0-2.1build1) ... 777s Selecting previously unselected package libwayland-egl1:armhf. 777s Preparing to unpack .../55-libwayland-egl1_1.22.0-2.1build1_armhf.deb ... 777s Unpacking libwayland-egl1:armhf (1.22.0-2.1build1) ... 777s Selecting previously unselected package libxcomposite1:armhf. 777s Preparing to unpack .../56-libxcomposite1_1%3a0.4.5-1build3_armhf.deb ... 777s Unpacking libxcomposite1:armhf (1:0.4.5-1build3) ... 777s Selecting previously unselected package libxfixes3:armhf. 777s Preparing to unpack .../57-libxfixes3_1%3a6.0.0-2build1_armhf.deb ... 777s Unpacking libxfixes3:armhf (1:6.0.0-2build1) ... 777s Selecting previously unselected package libxcursor1:armhf. 777s Preparing to unpack .../58-libxcursor1_1%3a1.2.2-1_armhf.deb ... 777s Unpacking libxcursor1:armhf (1:1.2.2-1) ... 777s Selecting previously unselected package libxdamage1:armhf. 777s Preparing to unpack .../59-libxdamage1_1%3a1.1.6-1build1_armhf.deb ... 777s Unpacking libxdamage1:armhf (1:1.1.6-1build1) ... 777s Selecting previously unselected package libxinerama1:armhf. 777s Preparing to unpack .../60-libxinerama1_2%3a1.1.4-3build1_armhf.deb ... 777s Unpacking libxinerama1:armhf (2:1.1.4-3build1) ... 777s Selecting previously unselected package libxrandr2:armhf. 777s Preparing to unpack .../61-libxrandr2_2%3a1.5.4-1_armhf.deb ... 777s Unpacking libxrandr2:armhf (2:1.5.4-1) ... 777s Selecting previously unselected package libgtk-3-common. 777s Preparing to unpack .../62-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 777s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 777s Selecting previously unselected package libgtk-3-0t64:armhf. 777s Preparing to unpack .../63-libgtk-3-0t64_3.24.43-1ubuntu1_armhf.deb ... 777s Unpacking libgtk-3-0t64:armhf (3.24.43-1ubuntu1) ... 778s Selecting previously unselected package libgtksourceview-3.0-common. 778s Preparing to unpack .../64-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 778s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 778s Selecting previously unselected package libgtksourceview-3.0-1:armhf. 778s Preparing to unpack .../65-libgtksourceview-3.0-1_3.24.11-2build4_armhf.deb ... 778s Unpacking libgtksourceview-3.0-1:armhf (3.24.11-2build4) ... 778s Selecting previously unselected package liblablgtk3-ocaml. 778s Preparing to unpack .../66-liblablgtk3-ocaml_3.1.4-1build3_armhf.deb ... 778s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 778s Selecting previously unselected package liblablgtksourceview3-ocaml. 778s Preparing to unpack .../67-liblablgtksourceview3-ocaml_3.1.4-1build3_armhf.deb ... 778s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 778s Selecting previously unselected package spass. 778s Preparing to unpack .../68-spass_3.9-1.1_armhf.deb ... 778s Unpacking spass (3.9-1.1) ... 778s Selecting previously unselected package tex-common. 778s Preparing to unpack .../69-tex-common_6.18_all.deb ... 778s Unpacking tex-common (6.18) ... 778s Selecting previously unselected package why3. 778s Preparing to unpack .../70-why3_1.6.0-1build7_armhf.deb ... 778s Unpacking why3 (1.6.0-1build7) ... 778s Selecting previously unselected package autopkgtest-satdep. 778s Preparing to unpack .../71-3-autopkgtest-satdep.deb ... 778s Unpacking autopkgtest-satdep (0) ... 778s Setting up libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 778s Setting up liblcms2-2:armhf (2.14-2build1) ... 778s Setting up libpixman-1-0:armhf (0.42.2-1build1) ... 778s Setting up libsharpyuv0:armhf (1.4.0-0.1) ... 778s Setting up libxdamage1:armhf (1:1.1.6-1build1) ... 778s Setting up liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 778s Setting up hicolor-icon-theme (0.18-1) ... 778s Setting up libxi6:armhf (2:1.8.1-1build1) ... 778s Setting up libxrender1:armhf (1:0.9.10-1.1build1) ... 778s Setting up libdatrie1:armhf (0.2.13-3build1) ... 778s Setting up libxcb-render0:armhf (1.17.0-2) ... 778s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 778s Setting up libdeflate0:armhf (1.20-1) ... 778s Setting up libxcb-shm0:armhf (1.17.0-2) ... 778s Setting up libjbig0:armhf (2.1-6.1ubuntu2) ... 778s Setting up libcolord2:armhf (1.4.7-1build2) ... 778s Setting up libdconf1:armhf (0.40.0-4build2) ... 778s Setting up tex-common (6.18) ... 779s update-language: texlive-base not installed and configured, doing nothing! 779s Setting up libfreetype6:armhf (2.13.2+dfsg-1build3) ... 779s Setting up libepoxy0:armhf (1.5.10-1build1) ... 779s Setting up libxfixes3:armhf (1:6.0.0-2build1) ... 779s Setting up spass (3.9-1.1) ... 779s Setting up libavahi-common-data:armhf (0.8-13ubuntu6) ... 779s Setting up libatspi2.0-0t64:armhf (2.52.0-1build1) ... 779s Setting up libxinerama1:armhf (2:1.1.4-3build1) ... 779s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 779s Setting up fonts-dejavu-mono (2.37-8) ... 779s Setting up libxrandr2:armhf (2:1.5.4-1) ... 779s Setting up ocaml-base (4.14.1-1ubuntu1) ... 779s Setting up fonts-dejavu-core (2.37-8) ... 779s Setting up libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 779s Setting up libwebp7:armhf (1.4.0-0.1) ... 779s Setting up at-spi2-common (2.52.0-1build1) ... 779s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 779s Setting up libharfbuzz0b:armhf (8.3.0-2build2) ... 779s Setting up libthai-data (0.1.29-2build1) ... 779s Setting up libwayland-egl1:armhf (1.22.0-2.1build1) ... 779s Setting up libxcomposite1:armhf (1:0.4.5-1build3) ... 779s Setting up libwayland-client0:armhf (1.22.0-2.1build1) ... 779s Setting up libjpeg8:armhf (8c-2ubuntu11) ... 779s Setting up libatk1.0-0t64:armhf (2.52.0-1build1) ... 779s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 779s Setting up libxcursor1:armhf (1:1.2.2-1) ... 779s Setting up libavahi-common3:armhf (0.8-13ubuntu6) ... 779s Setting up dconf-service (0.40.0-4build2) ... 779s Setting up libthai0:armhf (0.1.29-2build1) ... 779s Setting up libtiff6:armhf (4.5.1+git230720-4ubuntu3) ... 779s Setting up libwayland-cursor0:armhf (1.22.0-2.1build1) ... 779s Setting up libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 779s Setting up libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 779s Setting up libavahi-client3:armhf (0.8-13ubuntu6) ... 779s Setting up libatk-bridge2.0-0t64:armhf (2.52.0-1build1) ... 779s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 779s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 781s Regenerating fonts cache... done. 781s Setting up dconf-gsettings-backend:armhf (0.40.0-4build2) ... 781s Setting up libpango-1.0-0:armhf (1.54.0+ds-1) ... 781s Setting up libcairo2:armhf (1.18.0-3build1) ... 781s Setting up libcairo-gobject2:armhf (1.18.0-3build1) ... 781s Setting up libpangoft2-1.0-0:armhf (1.54.0+ds-1) ... 781s Setting up libcups2t64:armhf (2.4.7-1.2ubuntu9) ... 781s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 781s Setting up libpangocairo-1.0-0:armhf (1.54.0+ds-1) ... 781s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 781s Setting up adwaita-icon-theme (46.0-1) ... 781s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 781s Setting up humanity-icon-theme (0.6.16) ... 781s Setting up ubuntu-mono (24.04-0ubuntu1) ... 781s Processing triggers for man-db (2.12.1-2) ... 782s Processing triggers for libglib2.0-0t64:armhf (2.80.4-1ubuntu1) ... 782s Setting up libgtk-3-0t64:armhf (3.24.43-1ubuntu1) ... 782s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 782s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 782s Setting up libgtksourceview-3.0-1:armhf (3.24.11-2build4) ... 782s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 782s Setting up why3 (1.6.0-1build7) ... 782s Setting up autopkgtest-satdep (0) ... 782s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 799s (Reading database ... 72535 files and directories currently installed.) 799s Removing autopkgtest-satdep (0) ... 812s autopkgtest [08:40:46]: test why3+spass: [----------------------- 815s autopkgtest [08:40:49]: test why3+spass: -----------------------] 819s autopkgtest [08:40:53]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 819s why3+spass PASS 823s autopkgtest [08:40:57]: test why3+z3: preparing testbed 882s autopkgtest [08:41:56]: testbed dpkg architecture: armhf 884s autopkgtest [08:41:58]: testbed apt version: 2.9.6 884s autopkgtest [08:41:58]: @@@@@@@@@@@@@@@@@@@@ test bed setup 892s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 893s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 893s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [376 kB] 893s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [51.3 kB] 893s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 893s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf Packages [78.8 kB] 893s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf c-n-f Metadata [1428 B] 893s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf Packages [1368 B] 893s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf c-n-f Metadata [120 B] 893s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf Packages [357 kB] 893s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf c-n-f Metadata [6916 B] 893s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf Packages [1448 B] 893s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf c-n-f Metadata [120 B] 895s Fetched 1012 kB in 1s (1213 kB/s) 895s Reading package lists... 910s tee: /proc/self/fd/2: Permission denied 931s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 932s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 932s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 932s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 933s Reading package lists... 933s Reading package lists... 933s Building dependency tree... 933s Reading state information... 933s Calculating upgrade... 934s The following packages will be upgraded: 934s libc-bin libc6 locales 934s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 934s Need to get 7572 kB of archives. 934s After this operation, 17.4 kB of additional disk space will be used. 934s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6 armhf 2.39-3.1ubuntu3 [2825 kB] 934s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-bin armhf 2.39-3.1ubuntu3 [527 kB] 934s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf locales all 2.39-3.1ubuntu3 [4220 kB] 935s Preconfiguring packages ... 935s Fetched 7572 kB in 1s (9383 kB/s) 935s (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 ... 58436 files and directories currently installed.) 935s Preparing to unpack .../libc6_2.39-3.1ubuntu3_armhf.deb ... 935s Unpacking libc6:armhf (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 935s Setting up libc6:armhf (2.39-3.1ubuntu3) ... 935s Error: Could not restart systemd, systemd binary not working 935s (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 ... 58436 files and directories currently installed.) 935s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_armhf.deb ... 935s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 935s Setting up libc-bin (2.39-3.1ubuntu3) ... 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 ... 58436 files and directories currently installed.) 936s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 936s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 936s Setting up locales (2.39-3.1ubuntu3) ... 937s Generating locales (this might take a while)... 938s en_US.UTF-8... done 938s Generation complete. 938s Processing triggers for systemd (256-1ubuntu1) ... 939s Processing triggers for man-db (2.12.1-2) ... 940s Reading package lists... 940s Building dependency tree... 940s Reading state information... 941s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 943s autopkgtest [08:42:57]: rebooting testbed after setup commands that affected boot 1046s Reading package lists... 1046s Building dependency tree... 1046s Reading state information... 1046s Starting pkgProblemResolver with broken count: 0 1047s Starting 2 pkgProblemResolver with broken count: 0 1047s Done 1047s The following additional packages will be installed: 1047s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1047s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1047s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1047s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 1047s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1047s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libdeflate0 1047s libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 1047s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 1047s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1047s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1047s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1047s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1047s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1047s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1047s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1047s why3 z3 1047s Suggested packages: 1047s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1047s Recommended packages: 1047s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1047s The following NEW packages will be installed: 1047s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1047s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1047s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1047s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 1047s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1047s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 1047s libdeflate0 libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 1047s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 1047s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1047s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1047s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1047s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1047s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1047s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1047s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1047s why3 z3 1047s 0 upgraded, 72 newly installed, 0 to remove and 0 not upgraded. 1047s Need to get 36.4 MB/36.4 MB of archives. 1047s After this operation, 142 MB of additional disk space will be used. 1047s Get:1 /tmp/autopkgtest.Uqgryv/4-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [716 B] 1047s Get:2 http://ftpmaster.internal/ubuntu oracular/main armhf libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 1047s Get:3 http://ftpmaster.internal/ubuntu oracular/main armhf libjpeg-turbo8 armhf 2.1.5-2ubuntu2 [125 kB] 1048s Get:4 http://ftpmaster.internal/ubuntu oracular/main armhf libjpeg8 armhf 8c-2ubuntu11 [2148 B] 1048s Get:5 http://ftpmaster.internal/ubuntu oracular/main armhf libdeflate0 armhf 1.20-1 [38.3 kB] 1048s Get:6 http://ftpmaster.internal/ubuntu oracular/main armhf libjbig0 armhf 2.1-6.1ubuntu2 [24.9 kB] 1048s Get:7 http://ftpmaster.internal/ubuntu oracular/main armhf liblerc4 armhf 4.0.0+ds-4ubuntu2 [151 kB] 1048s Get:8 http://ftpmaster.internal/ubuntu oracular/main armhf libsharpyuv0 armhf 1.4.0-0.1 [16.3 kB] 1048s Get:9 http://ftpmaster.internal/ubuntu oracular/main armhf libwebp7 armhf 1.4.0-0.1 [184 kB] 1048s Get:10 http://ftpmaster.internal/ubuntu oracular/main armhf libtiff6 armhf 4.5.1+git230720-4ubuntu3 [178 kB] 1048s Get:11 http://ftpmaster.internal/ubuntu oracular/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.12+dfsg-1 [135 kB] 1048s Get:12 http://ftpmaster.internal/ubuntu oracular/main armhf gtk-update-icon-cache armhf 3.24.43-1ubuntu1 [51.2 kB] 1048s Get:13 http://ftpmaster.internal/ubuntu oracular/main armhf hicolor-icon-theme all 0.18-1 [13.5 kB] 1048s Get:14 http://ftpmaster.internal/ubuntu oracular/main armhf humanity-icon-theme all 0.6.16 [1282 kB] 1048s Get:15 http://ftpmaster.internal/ubuntu oracular/main armhf ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1048s Get:16 http://ftpmaster.internal/ubuntu oracular/main armhf adwaita-icon-theme all 46.0-1 [723 kB] 1048s Get:17 http://ftpmaster.internal/ubuntu oracular/main armhf at-spi2-common all 2.52.0-1build1 [8674 B] 1048s Get:18 http://ftpmaster.internal/ubuntu oracular/main armhf libdconf1 armhf 0.40.0-4build2 [38.4 kB] 1048s Get:19 http://ftpmaster.internal/ubuntu oracular/main armhf dconf-service armhf 0.40.0-4build2 [27.4 kB] 1048s Get:20 http://ftpmaster.internal/ubuntu oracular/main armhf dconf-gsettings-backend armhf 0.40.0-4build2 [23.6 kB] 1048s Get:21 http://ftpmaster.internal/ubuntu oracular/main armhf libfreetype6 armhf 2.13.2+dfsg-1build3 [331 kB] 1048s Get:22 http://ftpmaster.internal/ubuntu oracular/main armhf fonts-dejavu-mono all 2.37-8 [502 kB] 1048s Get:23 http://ftpmaster.internal/ubuntu oracular/main armhf fonts-dejavu-core all 2.37-8 [835 kB] 1048s Get:24 http://ftpmaster.internal/ubuntu oracular/main armhf fontconfig-config armhf 2.15.0-1.1ubuntu2 [37.4 kB] 1048s Get:25 http://ftpmaster.internal/ubuntu oracular/main armhf libfontconfig1 armhf 2.15.0-1.1ubuntu2 [113 kB] 1048s Get:26 http://ftpmaster.internal/ubuntu oracular/main armhf fontconfig armhf 2.15.0-1.1ubuntu2 [189 kB] 1048s Get:27 http://ftpmaster.internal/ubuntu oracular/main armhf libatk1.0-0t64 armhf 2.52.0-1build1 [48.0 kB] 1048s Get:28 http://ftpmaster.internal/ubuntu oracular/main armhf libxi6 armhf 2:1.8.1-1build1 [26.6 kB] 1048s Get:29 http://ftpmaster.internal/ubuntu oracular/main armhf libatspi2.0-0t64 armhf 2.52.0-1build1 [70.7 kB] 1048s Get:30 http://ftpmaster.internal/ubuntu oracular/main armhf libatk-bridge2.0-0t64 armhf 2.52.0-1build1 [59.1 kB] 1048s Get:31 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-common-data armhf 0.8-13ubuntu6 [29.7 kB] 1048s Get:32 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-common3 armhf 0.8-13ubuntu6 [20.2 kB] 1048s Get:33 http://ftpmaster.internal/ubuntu oracular/main armhf libavahi-client3 armhf 0.8-13ubuntu6 [24.2 kB] 1048s Get:34 http://ftpmaster.internal/ubuntu oracular/main armhf libpixman-1-0 armhf 0.42.2-1build1 [193 kB] 1048s Get:35 http://ftpmaster.internal/ubuntu oracular/main armhf libxcb-render0 armhf 1.17.0-2 [15.3 kB] 1048s Get:36 http://ftpmaster.internal/ubuntu oracular/main armhf libxcb-shm0 armhf 1.17.0-2 [5774 B] 1048s Get:37 http://ftpmaster.internal/ubuntu oracular/main armhf libxrender1 armhf 1:0.9.10-1.1build1 [16.0 kB] 1048s Get:38 http://ftpmaster.internal/ubuntu oracular/main armhf libcairo2 armhf 1.18.0-3build1 [482 kB] 1048s Get:39 http://ftpmaster.internal/ubuntu oracular/main armhf libcairo-gobject2 armhf 1.18.0-3build1 [125 kB] 1048s Get:40 http://ftpmaster.internal/ubuntu oracular/universe armhf libstdlib-ocaml armhf 4.14.1-1ubuntu1 [344 kB] 1048s Get:41 http://ftpmaster.internal/ubuntu oracular/universe armhf ocaml-base armhf 4.14.1-1ubuntu1 [216 kB] 1048s Get:42 http://ftpmaster.internal/ubuntu oracular/universe armhf libcairo2-ocaml armhf 0.6.4+dfsg-2build2 [25.2 kB] 1048s Get:43 http://ftpmaster.internal/ubuntu oracular/main armhf liblcms2-2 armhf 2.14-2build1 [132 kB] 1048s Get:44 http://ftpmaster.internal/ubuntu oracular/main armhf libcolord2 armhf 1.4.7-1build2 [133 kB] 1048s Get:45 http://ftpmaster.internal/ubuntu oracular/main armhf libcups2t64 armhf 2.4.7-1.2ubuntu9 [236 kB] 1048s Get:46 http://ftpmaster.internal/ubuntu oracular/main armhf libdatrie1 armhf 0.2.13-3build1 [15.7 kB] 1048s Get:47 http://ftpmaster.internal/ubuntu oracular/main armhf libepoxy0 armhf 1.5.10-1build1 [194 kB] 1048s Get:48 http://ftpmaster.internal/ubuntu oracular/main armhf libgraphite2-3 armhf 1.3.14-2ubuntu1 [64.8 kB] 1048s Get:49 http://ftpmaster.internal/ubuntu oracular/main armhf libharfbuzz0b armhf 8.3.0-2build2 [446 kB] 1048s Get:50 http://ftpmaster.internal/ubuntu oracular/main armhf libthai-data all 0.1.29-2build1 [158 kB] 1048s Get:51 http://ftpmaster.internal/ubuntu oracular/main armhf libthai0 armhf 0.1.29-2build1 [15.2 kB] 1048s Get:52 http://ftpmaster.internal/ubuntu oracular/main armhf libpango-1.0-0 armhf 1.54.0+ds-1 [209 kB] 1048s Get:53 http://ftpmaster.internal/ubuntu oracular/main armhf libpangoft2-1.0-0 armhf 1.54.0+ds-1 [36.4 kB] 1048s Get:54 http://ftpmaster.internal/ubuntu oracular/main armhf libpangocairo-1.0-0 armhf 1.54.0+ds-1 [24.8 kB] 1048s Get:55 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-client0 armhf 1.22.0-2.1build1 [22.0 kB] 1048s Get:56 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-cursor0 armhf 1.22.0-2.1build1 [9368 B] 1048s Get:57 http://ftpmaster.internal/ubuntu oracular/main armhf libwayland-egl1 armhf 1.22.0-2.1build1 [5322 B] 1048s Get:58 http://ftpmaster.internal/ubuntu oracular/main armhf libxcomposite1 armhf 1:0.4.5-1build3 [5750 B] 1048s Get:59 http://ftpmaster.internal/ubuntu oracular/main armhf libxfixes3 armhf 1:6.0.0-2build1 [9038 B] 1048s Get:60 http://ftpmaster.internal/ubuntu oracular/main armhf libxcursor1 armhf 1:1.2.2-1 [17.6 kB] 1048s Get:61 http://ftpmaster.internal/ubuntu oracular/main armhf libxdamage1 armhf 1:1.1.6-1build1 [5462 B] 1048s Get:62 http://ftpmaster.internal/ubuntu oracular/main armhf libxinerama1 armhf 2:1.1.4-3build1 [5866 B] 1049s Get:63 http://ftpmaster.internal/ubuntu oracular/main armhf libxrandr2 armhf 2:1.5.4-1 [15.8 kB] 1049s Get:64 http://ftpmaster.internal/ubuntu oracular/main armhf libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 1049s Get:65 http://ftpmaster.internal/ubuntu oracular/main armhf libgtk-3-0t64 armhf 3.24.43-1ubuntu1 [2590 kB] 1049s Get:66 http://ftpmaster.internal/ubuntu oracular/universe armhf libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 1049s Get:67 http://ftpmaster.internal/ubuntu oracular/universe armhf libgtksourceview-3.0-1 armhf 3.24.11-2build4 [206 kB] 1049s Get:68 http://ftpmaster.internal/ubuntu oracular/universe armhf liblablgtk3-ocaml armhf 3.1.4-1build3 [3972 kB] 1049s Get:69 http://ftpmaster.internal/ubuntu oracular/universe armhf liblablgtksourceview3-ocaml armhf 3.1.4-1build3 [341 kB] 1049s Get:70 http://ftpmaster.internal/ubuntu oracular/universe armhf tex-common all 6.18 [32.8 kB] 1049s Get:71 http://ftpmaster.internal/ubuntu oracular/universe armhf why3 armhf 1.6.0-1build7 [11.9 MB] 1049s Get:72 http://ftpmaster.internal/ubuntu oracular/universe armhf z3 armhf 4.8.12-3.1build1 [7127 kB] 1050s Fetched 36.4 MB in 2s (17.4 MB/s) 1050s Selecting previously unselected package libgdk-pixbuf2.0-common. 1050s (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 ... 58436 files and directories currently installed.) 1050s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 1050s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 1050s Selecting previously unselected package libjpeg-turbo8:armhf. 1050s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu2_armhf.deb ... 1050s Unpacking libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 1050s Selecting previously unselected package libjpeg8:armhf. 1050s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_armhf.deb ... 1050s Unpacking libjpeg8:armhf (8c-2ubuntu11) ... 1050s Selecting previously unselected package libdeflate0:armhf. 1050s Preparing to unpack .../03-libdeflate0_1.20-1_armhf.deb ... 1050s Unpacking libdeflate0:armhf (1.20-1) ... 1050s Selecting previously unselected package libjbig0:armhf. 1050s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_armhf.deb ... 1050s Unpacking libjbig0:armhf (2.1-6.1ubuntu2) ... 1050s Selecting previously unselected package liblerc4:armhf. 1050s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu2_armhf.deb ... 1050s Unpacking liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 1050s Selecting previously unselected package libsharpyuv0:armhf. 1050s Preparing to unpack .../06-libsharpyuv0_1.4.0-0.1_armhf.deb ... 1050s Unpacking libsharpyuv0:armhf (1.4.0-0.1) ... 1050s Selecting previously unselected package libwebp7:armhf. 1050s Preparing to unpack .../07-libwebp7_1.4.0-0.1_armhf.deb ... 1050s Unpacking libwebp7:armhf (1.4.0-0.1) ... 1050s Selecting previously unselected package libtiff6:armhf. 1050s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu3_armhf.deb ... 1050s Unpacking libtiff6:armhf (4.5.1+git230720-4ubuntu3) ... 1050s Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf. 1050s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_armhf.deb ... 1050s Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 1050s Selecting previously unselected package gtk-update-icon-cache. 1050s Preparing to unpack .../10-gtk-update-icon-cache_3.24.43-1ubuntu1_armhf.deb ... 1050s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 1050s Selecting previously unselected package hicolor-icon-theme. 1050s Preparing to unpack .../11-hicolor-icon-theme_0.18-1_all.deb ... 1050s Unpacking hicolor-icon-theme (0.18-1) ... 1050s Selecting previously unselected package humanity-icon-theme. 1050s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1050s Unpacking humanity-icon-theme (0.6.16) ... 1051s Selecting previously unselected package ubuntu-mono. 1051s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1051s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1051s Selecting previously unselected package adwaita-icon-theme. 1051s Preparing to unpack .../14-adwaita-icon-theme_46.0-1_all.deb ... 1051s Unpacking adwaita-icon-theme (46.0-1) ... 1051s Selecting previously unselected package at-spi2-common. 1051s Preparing to unpack .../15-at-spi2-common_2.52.0-1build1_all.deb ... 1051s Unpacking at-spi2-common (2.52.0-1build1) ... 1051s Selecting previously unselected package libdconf1:armhf. 1051s Preparing to unpack .../16-libdconf1_0.40.0-4build2_armhf.deb ... 1051s Unpacking libdconf1:armhf (0.40.0-4build2) ... 1052s Selecting previously unselected package dconf-service. 1052s Preparing to unpack .../17-dconf-service_0.40.0-4build2_armhf.deb ... 1052s Unpacking dconf-service (0.40.0-4build2) ... 1052s Selecting previously unselected package dconf-gsettings-backend:armhf. 1052s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4build2_armhf.deb ... 1052s Unpacking dconf-gsettings-backend:armhf (0.40.0-4build2) ... 1052s Selecting previously unselected package libfreetype6:armhf. 1052s Preparing to unpack .../19-libfreetype6_2.13.2+dfsg-1build3_armhf.deb ... 1052s Unpacking libfreetype6:armhf (2.13.2+dfsg-1build3) ... 1052s Selecting previously unselected package fonts-dejavu-mono. 1052s Preparing to unpack .../20-fonts-dejavu-mono_2.37-8_all.deb ... 1052s Unpacking fonts-dejavu-mono (2.37-8) ... 1052s Selecting previously unselected package fonts-dejavu-core. 1052s Preparing to unpack .../21-fonts-dejavu-core_2.37-8_all.deb ... 1052s Unpacking fonts-dejavu-core (2.37-8) ... 1052s Selecting previously unselected package fontconfig-config. 1052s Preparing to unpack .../22-fontconfig-config_2.15.0-1.1ubuntu2_armhf.deb ... 1052s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 1052s Selecting previously unselected package libfontconfig1:armhf. 1052s Preparing to unpack .../23-libfontconfig1_2.15.0-1.1ubuntu2_armhf.deb ... 1052s Unpacking libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 1052s Selecting previously unselected package fontconfig. 1052s Preparing to unpack .../24-fontconfig_2.15.0-1.1ubuntu2_armhf.deb ... 1052s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 1052s Selecting previously unselected package libatk1.0-0t64:armhf. 1052s Preparing to unpack .../25-libatk1.0-0t64_2.52.0-1build1_armhf.deb ... 1052s Unpacking libatk1.0-0t64:armhf (2.52.0-1build1) ... 1052s Selecting previously unselected package libxi6:armhf. 1052s Preparing to unpack .../26-libxi6_2%3a1.8.1-1build1_armhf.deb ... 1052s Unpacking libxi6:armhf (2:1.8.1-1build1) ... 1052s Selecting previously unselected package libatspi2.0-0t64:armhf. 1052s Preparing to unpack .../27-libatspi2.0-0t64_2.52.0-1build1_armhf.deb ... 1052s Unpacking libatspi2.0-0t64:armhf (2.52.0-1build1) ... 1052s Selecting previously unselected package libatk-bridge2.0-0t64:armhf. 1052s Preparing to unpack .../28-libatk-bridge2.0-0t64_2.52.0-1build1_armhf.deb ... 1052s Unpacking libatk-bridge2.0-0t64:armhf (2.52.0-1build1) ... 1052s Selecting previously unselected package libavahi-common-data:armhf. 1052s Preparing to unpack .../29-libavahi-common-data_0.8-13ubuntu6_armhf.deb ... 1052s Unpacking libavahi-common-data:armhf (0.8-13ubuntu6) ... 1052s Selecting previously unselected package libavahi-common3:armhf. 1052s Preparing to unpack .../30-libavahi-common3_0.8-13ubuntu6_armhf.deb ... 1052s Unpacking libavahi-common3:armhf (0.8-13ubuntu6) ... 1052s Selecting previously unselected package libavahi-client3:armhf. 1052s Preparing to unpack .../31-libavahi-client3_0.8-13ubuntu6_armhf.deb ... 1052s Unpacking libavahi-client3:armhf (0.8-13ubuntu6) ... 1052s Selecting previously unselected package libpixman-1-0:armhf. 1052s Preparing to unpack .../32-libpixman-1-0_0.42.2-1build1_armhf.deb ... 1052s Unpacking libpixman-1-0:armhf (0.42.2-1build1) ... 1052s Selecting previously unselected package libxcb-render0:armhf. 1052s Preparing to unpack .../33-libxcb-render0_1.17.0-2_armhf.deb ... 1052s Unpacking libxcb-render0:armhf (1.17.0-2) ... 1052s Selecting previously unselected package libxcb-shm0:armhf. 1052s Preparing to unpack .../34-libxcb-shm0_1.17.0-2_armhf.deb ... 1052s Unpacking libxcb-shm0:armhf (1.17.0-2) ... 1053s Selecting previously unselected package libxrender1:armhf. 1053s Preparing to unpack .../35-libxrender1_1%3a0.9.10-1.1build1_armhf.deb ... 1053s Unpacking libxrender1:armhf (1:0.9.10-1.1build1) ... 1053s Selecting previously unselected package libcairo2:armhf. 1053s Preparing to unpack .../36-libcairo2_1.18.0-3build1_armhf.deb ... 1053s Unpacking libcairo2:armhf (1.18.0-3build1) ... 1053s Selecting previously unselected package libcairo-gobject2:armhf. 1053s Preparing to unpack .../37-libcairo-gobject2_1.18.0-3build1_armhf.deb ... 1053s Unpacking libcairo-gobject2:armhf (1.18.0-3build1) ... 1053s Selecting previously unselected package libstdlib-ocaml. 1053s Preparing to unpack .../38-libstdlib-ocaml_4.14.1-1ubuntu1_armhf.deb ... 1053s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1053s Selecting previously unselected package ocaml-base. 1053s Preparing to unpack .../39-ocaml-base_4.14.1-1ubuntu1_armhf.deb ... 1053s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1053s Selecting previously unselected package libcairo2-ocaml. 1053s Preparing to unpack .../40-libcairo2-ocaml_0.6.4+dfsg-2build2_armhf.deb ... 1053s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1053s Selecting previously unselected package liblcms2-2:armhf. 1053s Preparing to unpack .../41-liblcms2-2_2.14-2build1_armhf.deb ... 1053s Unpacking liblcms2-2:armhf (2.14-2build1) ... 1053s Selecting previously unselected package libcolord2:armhf. 1053s Preparing to unpack .../42-libcolord2_1.4.7-1build2_armhf.deb ... 1053s Unpacking libcolord2:armhf (1.4.7-1build2) ... 1053s Selecting previously unselected package libcups2t64:armhf. 1053s Preparing to unpack .../43-libcups2t64_2.4.7-1.2ubuntu9_armhf.deb ... 1053s Unpacking libcups2t64:armhf (2.4.7-1.2ubuntu9) ... 1053s Selecting previously unselected package libdatrie1:armhf. 1053s Preparing to unpack .../44-libdatrie1_0.2.13-3build1_armhf.deb ... 1053s Unpacking libdatrie1:armhf (0.2.13-3build1) ... 1053s Selecting previously unselected package libepoxy0:armhf. 1053s Preparing to unpack .../45-libepoxy0_1.5.10-1build1_armhf.deb ... 1053s Unpacking libepoxy0:armhf (1.5.10-1build1) ... 1053s Selecting previously unselected package libgraphite2-3:armhf. 1053s Preparing to unpack .../46-libgraphite2-3_1.3.14-2ubuntu1_armhf.deb ... 1053s Unpacking libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 1053s Selecting previously unselected package libharfbuzz0b:armhf. 1053s Preparing to unpack .../47-libharfbuzz0b_8.3.0-2build2_armhf.deb ... 1053s Unpacking libharfbuzz0b:armhf (8.3.0-2build2) ... 1053s Selecting previously unselected package libthai-data. 1053s Preparing to unpack .../48-libthai-data_0.1.29-2build1_all.deb ... 1053s Unpacking libthai-data (0.1.29-2build1) ... 1053s Selecting previously unselected package libthai0:armhf. 1053s Preparing to unpack .../49-libthai0_0.1.29-2build1_armhf.deb ... 1053s Unpacking libthai0:armhf (0.1.29-2build1) ... 1053s Selecting previously unselected package libpango-1.0-0:armhf. 1053s Preparing to unpack .../50-libpango-1.0-0_1.54.0+ds-1_armhf.deb ... 1053s Unpacking libpango-1.0-0:armhf (1.54.0+ds-1) ... 1053s Selecting previously unselected package libpangoft2-1.0-0:armhf. 1053s Preparing to unpack .../51-libpangoft2-1.0-0_1.54.0+ds-1_armhf.deb ... 1053s Unpacking libpangoft2-1.0-0:armhf (1.54.0+ds-1) ... 1053s Selecting previously unselected package libpangocairo-1.0-0:armhf. 1053s Preparing to unpack .../52-libpangocairo-1.0-0_1.54.0+ds-1_armhf.deb ... 1053s Unpacking libpangocairo-1.0-0:armhf (1.54.0+ds-1) ... 1053s Selecting previously unselected package libwayland-client0:armhf. 1053s Preparing to unpack .../53-libwayland-client0_1.22.0-2.1build1_armhf.deb ... 1053s Unpacking libwayland-client0:armhf (1.22.0-2.1build1) ... 1053s Selecting previously unselected package libwayland-cursor0:armhf. 1053s Preparing to unpack .../54-libwayland-cursor0_1.22.0-2.1build1_armhf.deb ... 1053s Unpacking libwayland-cursor0:armhf (1.22.0-2.1build1) ... 1053s Selecting previously unselected package libwayland-egl1:armhf. 1053s Preparing to unpack .../55-libwayland-egl1_1.22.0-2.1build1_armhf.deb ... 1053s Unpacking libwayland-egl1:armhf (1.22.0-2.1build1) ... 1053s Selecting previously unselected package libxcomposite1:armhf. 1053s Preparing to unpack .../56-libxcomposite1_1%3a0.4.5-1build3_armhf.deb ... 1053s Unpacking libxcomposite1:armhf (1:0.4.5-1build3) ... 1053s Selecting previously unselected package libxfixes3:armhf. 1053s Preparing to unpack .../57-libxfixes3_1%3a6.0.0-2build1_armhf.deb ... 1053s Unpacking libxfixes3:armhf (1:6.0.0-2build1) ... 1053s Selecting previously unselected package libxcursor1:armhf. 1053s Preparing to unpack .../58-libxcursor1_1%3a1.2.2-1_armhf.deb ... 1053s Unpacking libxcursor1:armhf (1:1.2.2-1) ... 1053s Selecting previously unselected package libxdamage1:armhf. 1053s Preparing to unpack .../59-libxdamage1_1%3a1.1.6-1build1_armhf.deb ... 1053s Unpacking libxdamage1:armhf (1:1.1.6-1build1) ... 1053s Selecting previously unselected package libxinerama1:armhf. 1053s Preparing to unpack .../60-libxinerama1_2%3a1.1.4-3build1_armhf.deb ... 1053s Unpacking libxinerama1:armhf (2:1.1.4-3build1) ... 1053s Selecting previously unselected package libxrandr2:armhf. 1053s Preparing to unpack .../61-libxrandr2_2%3a1.5.4-1_armhf.deb ... 1053s Unpacking libxrandr2:armhf (2:1.5.4-1) ... 1053s Selecting previously unselected package libgtk-3-common. 1053s Preparing to unpack .../62-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 1053s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 1054s Selecting previously unselected package libgtk-3-0t64:armhf. 1054s Preparing to unpack .../63-libgtk-3-0t64_3.24.43-1ubuntu1_armhf.deb ... 1054s Unpacking libgtk-3-0t64:armhf (3.24.43-1ubuntu1) ... 1054s Selecting previously unselected package libgtksourceview-3.0-common. 1054s Preparing to unpack .../64-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 1054s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 1054s Selecting previously unselected package libgtksourceview-3.0-1:armhf. 1054s Preparing to unpack .../65-libgtksourceview-3.0-1_3.24.11-2build4_armhf.deb ... 1054s Unpacking libgtksourceview-3.0-1:armhf (3.24.11-2build4) ... 1054s Selecting previously unselected package liblablgtk3-ocaml. 1054s Preparing to unpack .../66-liblablgtk3-ocaml_3.1.4-1build3_armhf.deb ... 1054s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 1054s Selecting previously unselected package liblablgtksourceview3-ocaml. 1054s Preparing to unpack .../67-liblablgtksourceview3-ocaml_3.1.4-1build3_armhf.deb ... 1054s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 1054s Selecting previously unselected package tex-common. 1054s Preparing to unpack .../68-tex-common_6.18_all.deb ... 1054s Unpacking tex-common (6.18) ... 1054s Selecting previously unselected package why3. 1054s Preparing to unpack .../69-why3_1.6.0-1build7_armhf.deb ... 1054s Unpacking why3 (1.6.0-1build7) ... 1054s Selecting previously unselected package z3. 1054s Preparing to unpack .../70-z3_4.8.12-3.1build1_armhf.deb ... 1054s Unpacking z3 (4.8.12-3.1build1) ... 1054s Selecting previously unselected package autopkgtest-satdep. 1054s Preparing to unpack .../71-4-autopkgtest-satdep.deb ... 1054s Unpacking autopkgtest-satdep (0) ... 1054s Setting up libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 1054s Setting up liblcms2-2:armhf (2.14-2build1) ... 1054s Setting up libpixman-1-0:armhf (0.42.2-1build1) ... 1054s Setting up libsharpyuv0:armhf (1.4.0-0.1) ... 1054s Setting up libxdamage1:armhf (1:1.1.6-1build1) ... 1054s Setting up liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 1054s Setting up hicolor-icon-theme (0.18-1) ... 1054s Setting up libxi6:armhf (2:1.8.1-1build1) ... 1054s Setting up libxrender1:armhf (1:0.9.10-1.1build1) ... 1054s Setting up libdatrie1:armhf (0.2.13-3build1) ... 1054s Setting up libxcb-render0:armhf (1.17.0-2) ... 1054s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 1054s Setting up libdeflate0:armhf (1.20-1) ... 1054s Setting up libxcb-shm0:armhf (1.17.0-2) ... 1054s Setting up libjbig0:armhf (2.1-6.1ubuntu2) ... 1054s Setting up z3 (4.8.12-3.1build1) ... 1054s Setting up libcolord2:armhf (1.4.7-1build2) ... 1054s Setting up libdconf1:armhf (0.40.0-4build2) ... 1054s Setting up tex-common (6.18) ... 1055s update-language: texlive-base not installed and configured, doing nothing! 1055s Setting up libfreetype6:armhf (2.13.2+dfsg-1build3) ... 1055s Setting up libepoxy0:armhf (1.5.10-1build1) ... 1055s Setting up libxfixes3:armhf (1:6.0.0-2build1) ... 1055s Setting up libavahi-common-data:armhf (0.8-13ubuntu6) ... 1055s Setting up libatspi2.0-0t64:armhf (2.52.0-1build1) ... 1055s Setting up libxinerama1:armhf (2:1.1.4-3build1) ... 1055s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1055s Setting up fonts-dejavu-mono (2.37-8) ... 1055s Setting up libxrandr2:armhf (2:1.5.4-1) ... 1055s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1055s Setting up fonts-dejavu-core (2.37-8) ... 1055s Setting up libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 1055s Setting up libwebp7:armhf (1.4.0-0.1) ... 1055s Setting up at-spi2-common (2.52.0-1build1) ... 1055s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 1055s Setting up libharfbuzz0b:armhf (8.3.0-2build2) ... 1055s Setting up libthai-data (0.1.29-2build1) ... 1055s Setting up libwayland-egl1:armhf (1.22.0-2.1build1) ... 1055s Setting up libxcomposite1:armhf (1:0.4.5-1build3) ... 1055s Setting up libwayland-client0:armhf (1.22.0-2.1build1) ... 1055s Setting up libjpeg8:armhf (8c-2ubuntu11) ... 1055s Setting up libatk1.0-0t64:armhf (2.52.0-1build1) ... 1055s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 1055s Setting up libxcursor1:armhf (1:1.2.2-1) ... 1055s Setting up libavahi-common3:armhf (0.8-13ubuntu6) ... 1055s Setting up dconf-service (0.40.0-4build2) ... 1055s Setting up libthai0:armhf (0.1.29-2build1) ... 1055s Setting up libtiff6:armhf (4.5.1+git230720-4ubuntu3) ... 1055s Setting up libwayland-cursor0:armhf (1.22.0-2.1build1) ... 1055s Setting up libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 1055s Setting up libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 1055s Setting up libavahi-client3:armhf (0.8-13ubuntu6) ... 1055s Setting up libatk-bridge2.0-0t64:armhf (2.52.0-1build1) ... 1055s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 1055s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 1057s Regenerating fonts cache... done. 1057s Setting up dconf-gsettings-backend:armhf (0.40.0-4build2) ... 1057s Setting up libpango-1.0-0:armhf (1.54.0+ds-1) ... 1057s Setting up libcairo2:armhf (1.18.0-3build1) ... 1057s Setting up libcairo-gobject2:armhf (1.18.0-3build1) ... 1057s Setting up libpangoft2-1.0-0:armhf (1.54.0+ds-1) ... 1057s Setting up libcups2t64:armhf (2.4.7-1.2ubuntu9) ... 1057s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 1057s Setting up libpangocairo-1.0-0:armhf (1.54.0+ds-1) ... 1057s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1057s Setting up adwaita-icon-theme (46.0-1) ... 1057s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1057s Setting up humanity-icon-theme (0.6.16) ... 1057s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1057s Processing triggers for man-db (2.12.1-2) ... 1058s Processing triggers for libglib2.0-0t64:armhf (2.80.4-1ubuntu1) ... 1058s Setting up libgtk-3-0t64:armhf (3.24.43-1ubuntu1) ... 1058s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 1058s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 1058s Setting up libgtksourceview-3.0-1:armhf (3.24.11-2build4) ... 1058s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 1058s Setting up why3 (1.6.0-1build7) ... 1058s Setting up autopkgtest-satdep (0) ... 1058s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 1075s (Reading database ... 72535 files and directories currently installed.) 1075s Removing autopkgtest-satdep (0) ... 1088s autopkgtest [08:45:22]: test why3+z3: [----------------------- 1091s autopkgtest [08:45:25]: test why3+z3: -----------------------] 1095s why3+z3 PASS 1095s autopkgtest [08:45:29]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1099s autopkgtest [08:45:33]: @@@@@@@@@@@@@@@@@@@@ summary 1099s why3+alt-ergo SKIP installation fails and skip-not-installable set 1099s why3+cvc4 PASS 1099s why3+spass PASS 1099s why3+z3 PASS