0s autopkgtest [20:41:19]: starting date and time: 2024-07-12 20:41:19+0000 0s autopkgtest [20:41:19]: git checkout: fd3bed09 nova: allow more retries for quota issues 0s autopkgtest [20:41:19]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.tgd3ey_x/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --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 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@lcy02-50.secgroup --name adt-oracular-amd64-why3-20240712-204118-juju-7f2275-prod-proposed-migration-environment-2-fbf67044-316c-498f-82b9-31ea4db36967 --image adt/ubuntu-oracular-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 114s autopkgtest [20:43:13]: testbed dpkg architecture: amd64 114s autopkgtest [20:43:13]: testbed apt version: 2.9.6 114s autopkgtest [20:43:13]: @@@@@@@@@@@@@@@@@@@@ test bed setup 115s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 115s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [367 kB] 115s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3288 B] 115s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 115s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [46.5 kB] 115s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main i386 Packages [68.8 kB] 115s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 Packages [97.1 kB] 115s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 c-n-f Metadata [2124 B] 115s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 Packages [34.9 kB] 115s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/restricted i386 Packages [6244 B] 115s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 c-n-f Metadata [368 B] 115s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe i386 Packages [235 kB] 115s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 Packages [390 kB] 115s Get:14 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 c-n-f Metadata [9304 B] 115s Get:15 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse i386 Packages [3052 B] 115s Get:16 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 Packages [7976 B] 115s Get:17 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 c-n-f Metadata [276 B] 116s Fetched 1406 kB in 0s (5730 kB/s) 116s Reading package lists... 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 118s Calculating upgrade... 119s The following packages will be upgraded: 119s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 119s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Need to get 10.3 MB of archives. 119s After this operation, 34.8 kB of additional disk space will be used. 119s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-devtools amd64 2.39-3.1ubuntu3 [29.3 kB] 119s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6-dev amd64 2.39-3.1ubuntu3 [2120 kB] 119s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-dev-bin amd64 2.39-3.1ubuntu3 [20.4 kB] 119s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6 amd64 2.39-3.1ubuntu3 [3262 kB] 119s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-bin amd64 2.39-3.1ubuntu3 [680 kB] 119s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 locales all 2.39-3.1ubuntu3 [4220 kB] 119s Preconfiguring packages ... 119s Fetched 10.3 MB in 0s (87.6 MB/s) 119s (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 ... 74486 files and directories currently installed.) 119s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_amd64.deb ... 119s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 120s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_amd64.deb ... 120s Unpacking libc6-dev:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 120s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_amd64.deb ... 120s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 120s Preparing to unpack .../libc6_2.39-3.1ubuntu3_amd64.deb ... 120s Unpacking libc6:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 120s Setting up libc6:amd64 (2.39-3.1ubuntu3) ... 120s Error: Could not restart systemd, systemd binary not working 120s (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 ... 74486 files and directories currently installed.) 120s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_amd64.deb ... 120s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 120s Setting up libc-bin (2.39-3.1ubuntu3) ... 120s (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 ... 74486 files and directories currently installed.) 120s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 120s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 121s Setting up locales (2.39-3.1ubuntu3) ... 122s Generating locales (this might take a while)... 123s en_US.UTF-8... done 123s Generation complete. 123s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 123s Setting up libc-devtools (2.39-3.1ubuntu3) ... 123s Setting up libc6-dev:amd64 (2.39-3.1ubuntu3) ... 123s Processing triggers for man-db (2.12.1-2) ... 124s Processing triggers for systemd (256-1ubuntu1) ... 125s Reading package lists... 125s Building dependency tree... 125s Reading state information... 126s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 126s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 126s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 126s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 126s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 127s Reading package lists... 127s Reading package lists... 127s Building dependency tree... 127s Reading state information... 128s Calculating upgrade... 128s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 128s Reading package lists... 128s Building dependency tree... 128s Reading state information... 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 130s autopkgtest [20:43:29]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP PREEMPT_DYNAMIC Sat Apr 20 00:40:06 UTC 2024 130s autopkgtest [20:43:29]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 132s Get:1 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (dsc) [2749 B] 132s Get:2 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (tar) [6850 kB] 132s Get:3 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (diff) [18.6 kB] 132s gpgv: Signature made Mon Apr 1 04:40:36 2024 UTC 132s gpgv: using RSA key A089FB36AAFBDAD5ACC1325069F790171A210984 132s gpgv: Can't check signature: No public key 132s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build7.dsc: no acceptable signature found 132s autopkgtest [20:43:31]: testing package why3 version 1.6.0-1build7 132s autopkgtest [20:43:31]: build not needed 134s autopkgtest [20:43:33]: test why3+alt-ergo: preparing testbed 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 136s Starting pkgProblemResolver with broken count: 1 136s Starting 2 pkgProblemResolver with broken count: 1 136s Investigating (0) autopkgtest-satdep:amd64 < none -> 0 @un puN Ib > 136s Broken autopkgtest-satdep:amd64 Depends on why3:amd64 < none | 1.6.0-1build7 @un uH > 136s Considering why3:amd64 1 as a solution to autopkgtest-satdep:amd64 9998 136s Re-Instated libpixman-1-0:amd64 136s Re-Instated libxcb-render0:amd64 136s Re-Instated libxcb-shm0:amd64 136s Re-Instated libxrender1:amd64 136s Re-Instated libcairo2:amd64 136s Re-Instated libgdk-pixbuf2.0-common:amd64 136s Re-Instated libgdk-pixbuf-2.0-0:amd64 136s Re-Instated gtk-update-icon-cache:amd64 136s Re-Instated hicolor-icon-theme:amd64 136s Re-Instated humanity-icon-theme:amd64 136s Re-Instated ubuntu-mono:amd64 136s Re-Instated adwaita-icon-theme:amd64 136s Re-Instated at-spi2-common:amd64 136s Re-Instated libatk1.0-0t64:amd64 136s Re-Instated libxi6:amd64 136s Re-Instated libatspi2.0-0t64:amd64 136s Re-Instated libatk-bridge2.0-0t64:amd64 136s Re-Instated libcairo-gobject2:amd64 136s Re-Instated liblcms2-2:amd64 136s Re-Instated libcolord2:amd64 136s Re-Instated libavahi-common-data:amd64 136s Re-Instated libavahi-common3:amd64 136s Re-Instated libavahi-client3:amd64 136s Re-Instated libcups2t64:amd64 136s Re-Instated libepoxy0:amd64 136s Re-Instated libgraphite2-3:amd64 136s Re-Instated libharfbuzz0b:amd64 136s Re-Instated fontconfig:amd64 136s Re-Instated libthai-data:amd64 136s Re-Instated libdatrie1:amd64 136s Re-Instated libthai0:amd64 136s Re-Instated libpango-1.0-0:amd64 136s Re-Instated libpangoft2-1.0-0:amd64 136s Re-Instated libpangocairo-1.0-0:amd64 136s Re-Instated libwayland-client0:amd64 136s Re-Instated libwayland-cursor0:amd64 136s Re-Instated libwayland-egl1:amd64 136s Re-Instated libxcomposite1:amd64 136s Re-Instated libxfixes3:amd64 136s Re-Instated libxcursor1:amd64 136s Re-Instated libxdamage1:amd64 136s Re-Instated libxinerama1:amd64 136s Re-Instated libxrandr2:amd64 136s Re-Instated libdconf1:amd64 136s Re-Instated dconf-service:amd64 136s Re-Instated dconf-gsettings-backend:amd64 136s Re-Instated libgtk-3-common:amd64 136s Re-Instated libgtk-3-0t64:amd64 136s Re-Instated libgtksourceview-3.0-common:amd64 136s Re-Instated libgtksourceview-3.0-1:amd64 136s Re-Instated libstdlib-ocaml:amd64 136s Re-Instated ocaml-base:amd64 136s Re-Instated libcairo2-ocaml:amd64 136s Re-Instated liblablgtk3-ocaml:amd64 136s Re-Instated liblablgtksourceview3-ocaml:amd64 136s Re-Instated tex-common:amd64 136s Re-Instated why3:amd64 136s Broken autopkgtest-satdep:amd64 Depends on alt-ergo:amd64 < none @un H > (>= 2.0.0) 136s Done 136s Some packages could not be installed. This may mean that you have 136s requested an impossible situation or if you are using the unstable 136s distribution that some required packages have not yet been created 136s or been moved out of Incoming. 136s The following information may help to resolve the situation: 136s 136s The following packages have unmet dependencies: 136s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 136s E: Unable to correct problems, you have held broken packages. 136s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from oracular-proposed 137s Reading package lists... 137s Building dependency tree... 137s Reading state information... 137s Starting pkgProblemResolver with broken count: 1 137s Starting 2 pkgProblemResolver with broken count: 1 137s Investigating (0) autopkgtest-satdep:amd64 < none -> 0 @un puN Ib > 137s Broken autopkgtest-satdep:amd64 Depends on why3:amd64 < none | 1.6.0-1build7 @un uH > 137s Considering why3:amd64 1 as a solution to autopkgtest-satdep:amd64 9998 137s Re-Instated libpixman-1-0:amd64 137s Re-Instated libxcb-render0:amd64 137s Re-Instated libxcb-shm0:amd64 137s Re-Instated libxrender1:amd64 137s Re-Instated libcairo2:amd64 137s Re-Instated libgdk-pixbuf2.0-common:amd64 137s Re-Instated libgdk-pixbuf-2.0-0:amd64 137s Re-Instated gtk-update-icon-cache:amd64 137s Re-Instated hicolor-icon-theme:amd64 137s Re-Instated humanity-icon-theme:amd64 137s Re-Instated ubuntu-mono:amd64 137s Re-Instated adwaita-icon-theme:amd64 137s Re-Instated at-spi2-common:amd64 137s Re-Instated libatk1.0-0t64:amd64 137s Re-Instated libxi6:amd64 137s Re-Instated libatspi2.0-0t64:amd64 137s Re-Instated libatk-bridge2.0-0t64:amd64 137s Re-Instated libcairo-gobject2:amd64 137s Re-Instated liblcms2-2:amd64 137s Re-Instated libcolord2:amd64 137s Re-Instated libavahi-common-data:amd64 137s Re-Instated libavahi-common3:amd64 137s Re-Instated libavahi-client3:amd64 137s Re-Instated libcups2t64:amd64 137s Re-Instated libepoxy0:amd64 137s Re-Instated libgraphite2-3:amd64 137s Re-Instated libharfbuzz0b:amd64 137s Re-Instated fontconfig:amd64 137s Re-Instated libthai-data:amd64 137s Re-Instated libdatrie1:amd64 137s Re-Instated libthai0:amd64 137s Re-Instated libpango-1.0-0:amd64 137s Re-Instated libpangoft2-1.0-0:amd64 137s Re-Instated libpangocairo-1.0-0:amd64 137s Re-Instated libwayland-client0:amd64 137s Re-Instated libwayland-cursor0:amd64 137s Re-Instated libwayland-egl1:amd64 137s Re-Instated libxcomposite1:amd64 137s Re-Instated libxfixes3:amd64 137s Re-Instated libxcursor1:amd64 137s Re-Instated libxdamage1:amd64 137s Re-Instated libxinerama1:amd64 137s Re-Instated libxrandr2:amd64 137s Re-Instated libdconf1:amd64 137s Re-Instated dconf-service:amd64 137s Re-Instated dconf-gsettings-backend:amd64 137s Re-Instated libgtk-3-common:amd64 137s Re-Instated libgtk-3-0t64:amd64 137s Re-Instated libgtksourceview-3.0-common:amd64 137s Re-Instated libgtksourceview-3.0-1:amd64 137s Re-Instated libstdlib-ocaml:amd64 137s Re-Instated ocaml-base:amd64 137s Re-Instated libcairo2-ocaml:amd64 137s Re-Instated liblablgtk3-ocaml:amd64 137s Re-Instated liblablgtksourceview3-ocaml:amd64 137s Re-Instated tex-common:amd64 137s Re-Instated why3:amd64 137s Broken autopkgtest-satdep:amd64 Depends on alt-ergo:amd64 < none @un H > (>= 2.0.0) 137s Done 137s Some packages could not be installed. This may mean that you have 137s requested an impossible situation or if you are using the unstable 137s distribution that some required packages have not yet been created 137s or been moved out of Incoming. 137s The following information may help to resolve the situation: 137s 137s The following packages have unmet dependencies: 137s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 137s E: Unable to correct problems, you have held broken packages. 137s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 137s autopkgtest [20:43:36]: test why3+cvc4: preparing testbed 137s why3+alt-ergo SKIP installation fails and skip-not-installable set 223s autopkgtest [20:45:02]: testbed dpkg architecture: amd64 223s autopkgtest [20:45:02]: testbed apt version: 2.9.6 223s autopkgtest [20:45:02]: @@@@@@@@@@@@@@@@@@@@ test bed setup 224s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 224s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3288 B] 224s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 224s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [46.5 kB] 224s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [367 kB] 224s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 Packages [97.1 kB] 224s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main i386 Packages [68.8 kB] 224s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 c-n-f Metadata [2124 B] 224s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted i386 Packages [6244 B] 224s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 Packages [34.9 kB] 224s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 c-n-f Metadata [368 B] 224s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe i386 Packages [235 kB] 224s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 Packages [390 kB] 224s Get:14 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 c-n-f Metadata [9304 B] 224s Get:15 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse i386 Packages [3052 B] 224s Get:16 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 Packages [7976 B] 224s Get:17 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 c-n-f Metadata [276 B] 226s Fetched 1406 kB in 0s (4594 kB/s) 226s Reading package lists... 227s Reading package lists... 228s Building dependency tree... 228s Reading state information... 228s Calculating upgrade... 228s The following packages will be upgraded: 228s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 228s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 228s Need to get 10.3 MB of archives. 228s After this operation, 34.8 kB of additional disk space will be used. 228s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-devtools amd64 2.39-3.1ubuntu3 [29.3 kB] 228s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6-dev amd64 2.39-3.1ubuntu3 [2120 kB] 229s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-dev-bin amd64 2.39-3.1ubuntu3 [20.4 kB] 229s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6 amd64 2.39-3.1ubuntu3 [3262 kB] 229s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-bin amd64 2.39-3.1ubuntu3 [680 kB] 229s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 locales all 2.39-3.1ubuntu3 [4220 kB] 229s Preconfiguring packages ... 229s Fetched 10.3 MB in 0s (51.4 MB/s) 229s (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 ... 74486 files and directories currently installed.) 229s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_amd64.deb ... 229s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 229s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_amd64.deb ... 229s Unpacking libc6-dev:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 230s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_amd64.deb ... 230s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 230s Preparing to unpack .../libc6_2.39-3.1ubuntu3_amd64.deb ... 230s Unpacking libc6:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 230s Setting up libc6:amd64 (2.39-3.1ubuntu3) ... 230s Error: Could not restart systemd, systemd binary not working 230s (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 ... 74486 files and directories currently installed.) 230s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_amd64.deb ... 230s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 230s Setting up libc-bin (2.39-3.1ubuntu3) ... 230s (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 ... 74486 files and directories currently installed.) 230s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 230s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 231s Setting up locales (2.39-3.1ubuntu3) ... 231s Generating locales (this might take a while)... 233s en_US.UTF-8... done 233s Generation complete. 233s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 233s Setting up libc-devtools (2.39-3.1ubuntu3) ... 233s Setting up libc6-dev:amd64 (2.39-3.1ubuntu3) ... 233s Processing triggers for man-db (2.12.1-2) ... 234s Processing triggers for systemd (256-1ubuntu1) ... 235s Reading package lists... 236s Building dependency tree... 236s Reading state information... 236s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 236s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 236s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 236s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 236s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 238s Reading package lists... 238s Reading package lists... 238s Building dependency tree... 238s Reading state information... 238s Calculating upgrade... 239s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 239s Reading package lists... 239s Building dependency tree... 239s Reading state information... 239s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 241s Reading package lists... 241s Building dependency tree... 241s Reading state information... 242s Starting pkgProblemResolver with broken count: 0 242s Starting 2 pkgProblemResolver with broken count: 0 242s Done 242s The following additional packages will be installed: 242s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 242s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 242s libantlr3c-3.4-0 libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 242s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 242s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 242s libcvc4parser7 libdatrie1 libdconf1 libepoxy0 libgdk-pixbuf-2.0-0 242s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 242s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b 242s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 242s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml 242s libthai-data libthai0 libwayland-client0 libwayland-cursor0 libwayland-egl1 242s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 242s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 242s why3 242s Suggested packages: 242s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 242s Recommended packages: 242s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 242s The following NEW packages will be installed: 242s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 242s dconf-gsettings-backend dconf-service fontconfig gtk-update-icon-cache 242s hicolor-icon-theme humanity-icon-theme libantlr3c-3.4-0 242s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 242s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 242s libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 libcvc4parser7 242s libdatrie1 libdconf1 libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 242s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 242s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 242s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 242s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 242s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 242s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 242s libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 242s 0 upgraded, 63 newly installed, 0 to remove and 0 not upgraded. 242s Need to get 35.0 MB/35.0 MB of archives. 242s After this operation, 159 MB of additional disk space will be used. 242s Get:1 /tmp/autopkgtest.hc8Cm3/2-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [716 B] 242s Get:2 http://ftpmaster.internal/ubuntu oracular/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 242s Get:3 http://ftpmaster.internal/ubuntu oracular/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-1 [147 kB] 242s Get:4 http://ftpmaster.internal/ubuntu oracular/main amd64 gtk-update-icon-cache amd64 3.24.43-1ubuntu1 [51.9 kB] 242s Get:5 http://ftpmaster.internal/ubuntu oracular/main amd64 hicolor-icon-theme all 0.18-1 [13.5 kB] 242s Get:6 http://ftpmaster.internal/ubuntu oracular/main amd64 humanity-icon-theme all 0.6.16 [1282 kB] 242s Get:7 http://ftpmaster.internal/ubuntu oracular/main amd64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 242s Get:8 http://ftpmaster.internal/ubuntu oracular/main amd64 adwaita-icon-theme all 46.0-1 [723 kB] 242s Get:9 http://ftpmaster.internal/ubuntu oracular/main amd64 at-spi2-common all 2.52.0-1build1 [8674 B] 242s Get:10 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 242s Get:11 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcvc4-7 amd64 1.8-3build2 [4735 kB] 242s Get:12 http://ftpmaster.internal/ubuntu oracular/universe amd64 libantlr3c-3.4-0 amd64 3.4+dfsg-4build2 [44.9 kB] 242s Get:13 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcvc4parser7 amd64 1.8-3build2 [374 kB] 242s Get:14 http://ftpmaster.internal/ubuntu oracular/universe amd64 cvc4 amd64 1.8-3build2 [75.4 kB] 242s Get:15 http://ftpmaster.internal/ubuntu oracular/main amd64 libdconf1 amd64 0.40.0-4build2 [39.4 kB] 242s Get:16 http://ftpmaster.internal/ubuntu oracular/main amd64 dconf-service amd64 0.40.0-4build2 [27.5 kB] 242s Get:17 http://ftpmaster.internal/ubuntu oracular/main amd64 dconf-gsettings-backend amd64 0.40.0-4build2 [22.1 kB] 242s Get:18 http://ftpmaster.internal/ubuntu oracular/main amd64 fontconfig amd64 2.15.0-1.1ubuntu2 [180 kB] 242s Get:19 http://ftpmaster.internal/ubuntu oracular/main amd64 libatk1.0-0t64 amd64 2.52.0-1build1 [55.3 kB] 242s Get:20 http://ftpmaster.internal/ubuntu oracular/main amd64 libxi6 amd64 2:1.8.1-1build1 [32.4 kB] 242s Get:21 http://ftpmaster.internal/ubuntu oracular/main amd64 libatspi2.0-0t64 amd64 2.52.0-1build1 [80.5 kB] 242s Get:22 http://ftpmaster.internal/ubuntu oracular/main amd64 libatk-bridge2.0-0t64 amd64 2.52.0-1build1 [66.0 kB] 242s Get:23 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-common-data amd64 0.8-13ubuntu6 [29.7 kB] 242s Get:24 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-common3 amd64 0.8-13ubuntu6 [23.3 kB] 242s Get:25 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-client3 amd64 0.8-13ubuntu6 [26.8 kB] 242s Get:26 http://ftpmaster.internal/ubuntu oracular/main amd64 libpixman-1-0 amd64 0.42.2-1build1 [279 kB] 242s Get:27 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 242s Get:28 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 242s Get:29 http://ftpmaster.internal/ubuntu oracular/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 242s Get:30 http://ftpmaster.internal/ubuntu oracular/main amd64 libcairo2 amd64 1.18.0-3build1 [566 kB] 243s Get:31 http://ftpmaster.internal/ubuntu oracular/main amd64 libcairo-gobject2 amd64 1.18.0-3build1 [127 kB] 243s Get:32 http://ftpmaster.internal/ubuntu oracular/universe amd64 libstdlib-ocaml amd64 4.14.1-1ubuntu1 [378 kB] 243s Get:33 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml-base amd64 4.14.1-1ubuntu1 [256 kB] 243s Get:34 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcairo2-ocaml amd64 0.6.4+dfsg-2build2 [27.5 kB] 243s Get:35 http://ftpmaster.internal/ubuntu oracular/main amd64 liblcms2-2 amd64 2.14-2build1 [161 kB] 243s Get:36 http://ftpmaster.internal/ubuntu oracular/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 243s Get:37 http://ftpmaster.internal/ubuntu oracular/main amd64 libcups2t64 amd64 2.4.7-1.2ubuntu9 [267 kB] 243s Get:38 http://ftpmaster.internal/ubuntu oracular/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 243s Get:39 http://ftpmaster.internal/ubuntu oracular/main amd64 libepoxy0 amd64 1.5.10-1build1 [220 kB] 243s Get:40 http://ftpmaster.internal/ubuntu oracular/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 243s Get:41 http://ftpmaster.internal/ubuntu oracular/main amd64 libharfbuzz0b amd64 8.3.0-2build2 [469 kB] 243s Get:42 http://ftpmaster.internal/ubuntu oracular/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 243s Get:43 http://ftpmaster.internal/ubuntu oracular/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 243s Get:44 http://ftpmaster.internal/ubuntu oracular/main amd64 libpango-1.0-0 amd64 1.54.0+ds-1 [233 kB] 243s Get:45 http://ftpmaster.internal/ubuntu oracular/main amd64 libpangoft2-1.0-0 amd64 1.54.0+ds-1 [42.3 kB] 243s Get:46 http://ftpmaster.internal/ubuntu oracular/main amd64 libpangocairo-1.0-0 amd64 1.54.0+ds-1 [28.7 kB] 243s Get:47 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-client0 amd64 1.22.0-2.1build1 [26.4 kB] 243s Get:48 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-cursor0 amd64 1.22.0-2.1build1 [10.4 kB] 243s Get:49 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-egl1 amd64 1.22.0-2.1build1 [5628 B] 243s Get:50 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcomposite1 amd64 1:0.4.5-1build3 [6320 B] 243s Get:51 http://ftpmaster.internal/ubuntu oracular/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 243s Get:52 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcursor1 amd64 1:1.2.2-1 [20.9 kB] 243s Get:53 http://ftpmaster.internal/ubuntu oracular/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 243s Get:54 http://ftpmaster.internal/ubuntu oracular/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 243s Get:55 http://ftpmaster.internal/ubuntu oracular/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 243s Get:56 http://ftpmaster.internal/ubuntu oracular/main amd64 libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 243s Get:57 http://ftpmaster.internal/ubuntu oracular/main amd64 libgtk-3-0t64 amd64 3.24.43-1ubuntu1 [2899 kB] 243s Get:58 http://ftpmaster.internal/ubuntu oracular/universe amd64 libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 243s Get:59 http://ftpmaster.internal/ubuntu oracular/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-2build4 [236 kB] 243s Get:60 http://ftpmaster.internal/ubuntu oracular/universe amd64 liblablgtk3-ocaml amd64 3.1.4-1build3 [4036 kB] 243s Get:61 http://ftpmaster.internal/ubuntu oracular/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.4-1build3 [347 kB] 243s Get:62 http://ftpmaster.internal/ubuntu oracular/universe amd64 tex-common all 6.18 [32.8 kB] 243s Get:63 http://ftpmaster.internal/ubuntu oracular/universe amd64 why3 amd64 1.6.0-1build7 [13.7 MB] 243s Fetched 35.0 MB in 1s (63.9 MB/s) 243s Selecting previously unselected package libgdk-pixbuf2.0-common. 243s (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 ... 74486 files and directories currently installed.) 243s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 243s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 243s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 243s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_amd64.deb ... 243s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 243s Selecting previously unselected package gtk-update-icon-cache. 243s Preparing to unpack .../02-gtk-update-icon-cache_3.24.43-1ubuntu1_amd64.deb ... 243s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 243s Selecting previously unselected package hicolor-icon-theme. 243s Preparing to unpack .../03-hicolor-icon-theme_0.18-1_all.deb ... 243s Unpacking hicolor-icon-theme (0.18-1) ... 244s Selecting previously unselected package humanity-icon-theme. 244s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 244s Unpacking humanity-icon-theme (0.6.16) ... 244s Selecting previously unselected package ubuntu-mono. 244s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 244s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 245s Selecting previously unselected package adwaita-icon-theme. 245s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 245s Unpacking adwaita-icon-theme (46.0-1) ... 245s Selecting previously unselected package at-spi2-common. 245s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 245s Unpacking at-spi2-common (2.52.0-1build1) ... 245s Selecting previously unselected package libcln6:amd64. 245s Preparing to unpack .../08-libcln6_1.3.7-1_amd64.deb ... 245s Unpacking libcln6:amd64 (1.3.7-1) ... 245s Selecting previously unselected package libcvc4-7:amd64. 245s Preparing to unpack .../09-libcvc4-7_1.8-3build2_amd64.deb ... 245s Unpacking libcvc4-7:amd64 (1.8-3build2) ... 245s Selecting previously unselected package libantlr3c-3.4-0:amd64. 245s Preparing to unpack .../10-libantlr3c-3.4-0_3.4+dfsg-4build2_amd64.deb ... 245s Unpacking libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 245s Selecting previously unselected package libcvc4parser7:amd64. 245s Preparing to unpack .../11-libcvc4parser7_1.8-3build2_amd64.deb ... 245s Unpacking libcvc4parser7:amd64 (1.8-3build2) ... 245s Selecting previously unselected package cvc4. 245s Preparing to unpack .../12-cvc4_1.8-3build2_amd64.deb ... 245s Unpacking cvc4 (1.8-3build2) ... 245s Selecting previously unselected package libdconf1:amd64. 245s Preparing to unpack .../13-libdconf1_0.40.0-4build2_amd64.deb ... 245s Unpacking libdconf1:amd64 (0.40.0-4build2) ... 245s Selecting previously unselected package dconf-service. 245s Preparing to unpack .../14-dconf-service_0.40.0-4build2_amd64.deb ... 245s Unpacking dconf-service (0.40.0-4build2) ... 245s Selecting previously unselected package dconf-gsettings-backend:amd64. 245s Preparing to unpack .../15-dconf-gsettings-backend_0.40.0-4build2_amd64.deb ... 245s Unpacking dconf-gsettings-backend:amd64 (0.40.0-4build2) ... 246s Selecting previously unselected package fontconfig. 246s Preparing to unpack .../16-fontconfig_2.15.0-1.1ubuntu2_amd64.deb ... 246s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 246s Selecting previously unselected package libatk1.0-0t64:amd64. 246s Preparing to unpack .../17-libatk1.0-0t64_2.52.0-1build1_amd64.deb ... 246s Unpacking libatk1.0-0t64:amd64 (2.52.0-1build1) ... 246s Selecting previously unselected package libxi6:amd64. 246s Preparing to unpack .../18-libxi6_2%3a1.8.1-1build1_amd64.deb ... 246s Unpacking libxi6:amd64 (2:1.8.1-1build1) ... 246s Selecting previously unselected package libatspi2.0-0t64:amd64. 246s Preparing to unpack .../19-libatspi2.0-0t64_2.52.0-1build1_amd64.deb ... 246s Unpacking libatspi2.0-0t64:amd64 (2.52.0-1build1) ... 246s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 246s Preparing to unpack .../20-libatk-bridge2.0-0t64_2.52.0-1build1_amd64.deb ... 246s Unpacking libatk-bridge2.0-0t64:amd64 (2.52.0-1build1) ... 246s Selecting previously unselected package libavahi-common-data:amd64. 246s Preparing to unpack .../21-libavahi-common-data_0.8-13ubuntu6_amd64.deb ... 246s Unpacking libavahi-common-data:amd64 (0.8-13ubuntu6) ... 246s Selecting previously unselected package libavahi-common3:amd64. 246s Preparing to unpack .../22-libavahi-common3_0.8-13ubuntu6_amd64.deb ... 246s Unpacking libavahi-common3:amd64 (0.8-13ubuntu6) ... 246s Selecting previously unselected package libavahi-client3:amd64. 246s Preparing to unpack .../23-libavahi-client3_0.8-13ubuntu6_amd64.deb ... 246s Unpacking libavahi-client3:amd64 (0.8-13ubuntu6) ... 246s Selecting previously unselected package libpixman-1-0:amd64. 246s Preparing to unpack .../24-libpixman-1-0_0.42.2-1build1_amd64.deb ... 246s Unpacking libpixman-1-0:amd64 (0.42.2-1build1) ... 246s Selecting previously unselected package libxcb-render0:amd64. 246s Preparing to unpack .../25-libxcb-render0_1.17.0-2_amd64.deb ... 246s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 246s Selecting previously unselected package libxcb-shm0:amd64. 246s Preparing to unpack .../26-libxcb-shm0_1.17.0-2_amd64.deb ... 246s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 246s Selecting previously unselected package libxrender1:amd64. 246s Preparing to unpack .../27-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 246s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 246s Selecting previously unselected package libcairo2:amd64. 246s Preparing to unpack .../28-libcairo2_1.18.0-3build1_amd64.deb ... 246s Unpacking libcairo2:amd64 (1.18.0-3build1) ... 246s Selecting previously unselected package libcairo-gobject2:amd64. 246s Preparing to unpack .../29-libcairo-gobject2_1.18.0-3build1_amd64.deb ... 246s Unpacking libcairo-gobject2:amd64 (1.18.0-3build1) ... 246s Selecting previously unselected package libstdlib-ocaml. 246s Preparing to unpack .../30-libstdlib-ocaml_4.14.1-1ubuntu1_amd64.deb ... 246s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 246s Selecting previously unselected package ocaml-base. 246s Preparing to unpack .../31-ocaml-base_4.14.1-1ubuntu1_amd64.deb ... 246s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 246s Selecting previously unselected package libcairo2-ocaml. 246s Preparing to unpack .../32-libcairo2-ocaml_0.6.4+dfsg-2build2_amd64.deb ... 246s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 246s Selecting previously unselected package liblcms2-2:amd64. 246s Preparing to unpack .../33-liblcms2-2_2.14-2build1_amd64.deb ... 246s Unpacking liblcms2-2:amd64 (2.14-2build1) ... 246s Selecting previously unselected package libcolord2:amd64. 246s Preparing to unpack .../34-libcolord2_1.4.7-1build2_amd64.deb ... 246s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 246s Selecting previously unselected package libcups2t64:amd64. 246s Preparing to unpack .../35-libcups2t64_2.4.7-1.2ubuntu9_amd64.deb ... 246s Unpacking libcups2t64:amd64 (2.4.7-1.2ubuntu9) ... 246s Selecting previously unselected package libdatrie1:amd64. 246s Preparing to unpack .../36-libdatrie1_0.2.13-3build1_amd64.deb ... 246s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 246s Selecting previously unselected package libepoxy0:amd64. 246s Preparing to unpack .../37-libepoxy0_1.5.10-1build1_amd64.deb ... 246s Unpacking libepoxy0:amd64 (1.5.10-1build1) ... 246s Selecting previously unselected package libgraphite2-3:amd64. 246s Preparing to unpack .../38-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 246s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 246s Selecting previously unselected package libharfbuzz0b:amd64. 246s Preparing to unpack .../39-libharfbuzz0b_8.3.0-2build2_amd64.deb ... 246s Unpacking libharfbuzz0b:amd64 (8.3.0-2build2) ... 246s Selecting previously unselected package libthai-data. 246s Preparing to unpack .../40-libthai-data_0.1.29-2build1_all.deb ... 246s Unpacking libthai-data (0.1.29-2build1) ... 246s Selecting previously unselected package libthai0:amd64. 246s Preparing to unpack .../41-libthai0_0.1.29-2build1_amd64.deb ... 246s Unpacking libthai0:amd64 (0.1.29-2build1) ... 246s Selecting previously unselected package libpango-1.0-0:amd64. 246s Preparing to unpack .../42-libpango-1.0-0_1.54.0+ds-1_amd64.deb ... 246s Unpacking libpango-1.0-0:amd64 (1.54.0+ds-1) ... 246s Selecting previously unselected package libpangoft2-1.0-0:amd64. 246s Preparing to unpack .../43-libpangoft2-1.0-0_1.54.0+ds-1_amd64.deb ... 246s Unpacking libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... 246s Selecting previously unselected package libpangocairo-1.0-0:amd64. 247s Preparing to unpack .../44-libpangocairo-1.0-0_1.54.0+ds-1_amd64.deb ... 247s Unpacking libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... 247s Selecting previously unselected package libwayland-client0:amd64. 247s Preparing to unpack .../45-libwayland-client0_1.22.0-2.1build1_amd64.deb ... 247s Unpacking libwayland-client0:amd64 (1.22.0-2.1build1) ... 247s Selecting previously unselected package libwayland-cursor0:amd64. 247s Preparing to unpack .../46-libwayland-cursor0_1.22.0-2.1build1_amd64.deb ... 247s Unpacking libwayland-cursor0:amd64 (1.22.0-2.1build1) ... 247s Selecting previously unselected package libwayland-egl1:amd64. 247s Preparing to unpack .../47-libwayland-egl1_1.22.0-2.1build1_amd64.deb ... 247s Unpacking libwayland-egl1:amd64 (1.22.0-2.1build1) ... 247s Selecting previously unselected package libxcomposite1:amd64. 247s Preparing to unpack .../48-libxcomposite1_1%3a0.4.5-1build3_amd64.deb ... 247s Unpacking libxcomposite1:amd64 (1:0.4.5-1build3) ... 247s Selecting previously unselected package libxfixes3:amd64. 247s Preparing to unpack .../49-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 247s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 247s Selecting previously unselected package libxcursor1:amd64. 247s Preparing to unpack .../50-libxcursor1_1%3a1.2.2-1_amd64.deb ... 247s Unpacking libxcursor1:amd64 (1:1.2.2-1) ... 247s Selecting previously unselected package libxdamage1:amd64. 247s Preparing to unpack .../51-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 247s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 247s Selecting previously unselected package libxinerama1:amd64. 247s Preparing to unpack .../52-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 247s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 247s Selecting previously unselected package libxrandr2:amd64. 247s Preparing to unpack .../53-libxrandr2_2%3a1.5.4-1_amd64.deb ... 247s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 247s Selecting previously unselected package libgtk-3-common. 247s Preparing to unpack .../54-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 247s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 247s Selecting previously unselected package libgtk-3-0t64:amd64. 247s Preparing to unpack .../55-libgtk-3-0t64_3.24.43-1ubuntu1_amd64.deb ... 247s Unpacking libgtk-3-0t64:amd64 (3.24.43-1ubuntu1) ... 247s Selecting previously unselected package libgtksourceview-3.0-common. 247s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 247s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 247s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 247s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build4_amd64.deb ... 247s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2build4) ... 247s Selecting previously unselected package liblablgtk3-ocaml. 247s Preparing to unpack .../58-liblablgtk3-ocaml_3.1.4-1build3_amd64.deb ... 247s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 247s Selecting previously unselected package liblablgtksourceview3-ocaml. 247s Preparing to unpack .../59-liblablgtksourceview3-ocaml_3.1.4-1build3_amd64.deb ... 247s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 247s Selecting previously unselected package tex-common. 247s Preparing to unpack .../60-tex-common_6.18_all.deb ... 247s Unpacking tex-common (6.18) ... 247s Selecting previously unselected package why3. 247s Preparing to unpack .../61-why3_1.6.0-1build7_amd64.deb ... 247s Unpacking why3 (1.6.0-1build7) ... 248s Selecting previously unselected package autopkgtest-satdep. 248s Preparing to unpack .../62-2-autopkgtest-satdep.deb ... 248s Unpacking autopkgtest-satdep (0) ... 248s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 248s Setting up liblcms2-2:amd64 (2.14-2build1) ... 248s Setting up libpixman-1-0:amd64 (0.42.2-1build1) ... 248s Setting up libcln6:amd64 (1.3.7-1) ... 248s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 250s Regenerating fonts cache... done. 250s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 250s Setting up libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 250s Setting up hicolor-icon-theme (0.18-1) ... 250s Setting up libxi6:amd64 (2:1.8.1-1build1) ... 250s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 250s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 250s Setting up libxcb-render0:amd64 (1.17.0-2) ... 250s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 250s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 250s Setting up libcairo2:amd64 (1.18.0-3build1) ... 250s Setting up libcolord2:amd64 (1.4.7-1build2) ... 250s Setting up libdconf1:amd64 (0.40.0-4build2) ... 250s Setting up tex-common (6.18) ... 250s update-language: texlive-base not installed and configured, doing nothing! 250s Setting up libepoxy0:amd64 (1.5.10-1build1) ... 250s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 250s Setting up libavahi-common-data:amd64 (0.8-13ubuntu6) ... 250s Setting up libatspi2.0-0t64:amd64 (2.52.0-1build1) ... 250s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 250s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 250s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 250s Setting up ocaml-base (4.14.1-1ubuntu1) ... 250s Setting up at-spi2-common (2.52.0-1build1) ... 250s Setting up libcvc4-7:amd64 (1.8-3build2) ... 250s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 250s Setting up libharfbuzz0b:amd64 (8.3.0-2build2) ... 250s Setting up libthai-data (0.1.29-2build1) ... 250s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 250s Setting up libcairo-gobject2:amd64 (1.18.0-3build1) ... 250s Setting up libwayland-egl1:amd64 (1.22.0-2.1build1) ... 250s Setting up libxcomposite1:amd64 (1:0.4.5-1build3) ... 250s Setting up libwayland-client0:amd64 (1.22.0-2.1build1) ... 250s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 250s Setting up libatk1.0-0t64:amd64 (2.52.0-1build1) ... 250s Setting up libxcursor1:amd64 (1:1.2.2-1) ... 250s Setting up libavahi-common3:amd64 (0.8-13ubuntu6) ... 250s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 250s Setting up dconf-service (0.40.0-4build2) ... 250s Setting up libthai0:amd64 (0.1.29-2build1) ... 250s Setting up libcvc4parser7:amd64 (1.8-3build2) ... 250s Setting up libwayland-cursor0:amd64 (1.22.0-2.1build1) ... 250s Setting up cvc4 (1.8-3build2) ... 250s Setting up libavahi-client3:amd64 (0.8-13ubuntu6) ... 250s Setting up libatk-bridge2.0-0t64:amd64 (2.52.0-1build1) ... 250s Setting up dconf-gsettings-backend:amd64 (0.40.0-4build2) ... 250s Setting up libpango-1.0-0:amd64 (1.54.0+ds-1) ... 250s Setting up libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... 250s Setting up libcups2t64:amd64 (2.4.7-1.2ubuntu9) ... 250s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 250s Setting up libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... 250s Setting up adwaita-icon-theme (46.0-1) ... 250s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 250s Setting up humanity-icon-theme (0.6.16) ... 250s Setting up ubuntu-mono (24.04-0ubuntu1) ... 250s Processing triggers for man-db (2.12.1-2) ... 251s Processing triggers for libglib2.0-0t64:amd64 (2.80.4-1ubuntu1) ... 251s Setting up libgtk-3-0t64:amd64 (3.24.43-1ubuntu1) ... 251s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 251s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 251s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2build4) ... 251s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 251s Setting up why3 (1.6.0-1build7) ... 251s Setting up autopkgtest-satdep (0) ... 251s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 256s (Reading database ... 88447 files and directories currently installed.) 256s Removing autopkgtest-satdep (0) ... 260s autopkgtest [20:45:39]: test why3+cvc4: [----------------------- 261s autopkgtest [20:45:40]: test why3+cvc4: -----------------------] 262s why3+cvc4 PASS 262s autopkgtest [20:45:41]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 262s autopkgtest [20:45:41]: test why3+spass: preparing testbed 359s autopkgtest [20:47:18]: testbed dpkg architecture: amd64 359s autopkgtest [20:47:18]: testbed apt version: 2.9.6 359s autopkgtest [20:47:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 359s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 359s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [46.5 kB] 359s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 359s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [367 kB] 359s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3288 B] 359s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main i386 Packages [68.8 kB] 359s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 Packages [97.1 kB] 359s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 c-n-f Metadata [2124 B] 359s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 Packages [34.9 kB] 359s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/restricted i386 Packages [6244 B] 359s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 c-n-f Metadata [368 B] 359s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 Packages [390 kB] 359s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/universe i386 Packages [235 kB] 359s Get:14 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 c-n-f Metadata [9304 B] 359s Get:15 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 Packages [7976 B] 359s Get:16 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse i386 Packages [3052 B] 359s Get:17 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 c-n-f Metadata [276 B] 361s Fetched 1406 kB in 0s (5340 kB/s) 361s Reading package lists... 362s Reading package lists... 363s Building dependency tree... 363s Reading state information... 363s Calculating upgrade... 363s The following packages will be upgraded: 363s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 363s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 363s Need to get 10.3 MB of archives. 363s After this operation, 34.8 kB of additional disk space will be used. 363s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-devtools amd64 2.39-3.1ubuntu3 [29.3 kB] 363s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6-dev amd64 2.39-3.1ubuntu3 [2120 kB] 363s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-dev-bin amd64 2.39-3.1ubuntu3 [20.4 kB] 363s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6 amd64 2.39-3.1ubuntu3 [3262 kB] 363s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-bin amd64 2.39-3.1ubuntu3 [680 kB] 363s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 locales all 2.39-3.1ubuntu3 [4220 kB] 364s Preconfiguring packages ... 364s Fetched 10.3 MB in 0s (65.8 MB/s) 364s (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 ... 74486 files and directories currently installed.) 364s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_amd64.deb ... 364s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 364s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_amd64.deb ... 364s Unpacking libc6-dev:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 364s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_amd64.deb ... 364s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 364s Preparing to unpack .../libc6_2.39-3.1ubuntu3_amd64.deb ... 365s Unpacking libc6:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 365s Setting up libc6:amd64 (2.39-3.1ubuntu3) ... 365s Error: Could not restart systemd, systemd binary not working 365s (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 ... 74486 files and directories currently installed.) 365s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_amd64.deb ... 365s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 365s Setting up libc-bin (2.39-3.1ubuntu3) ... 365s (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 ... 74486 files and directories currently installed.) 365s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 365s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 365s Setting up locales (2.39-3.1ubuntu3) ... 366s Generating locales (this might take a while)... 368s en_US.UTF-8... done 368s Generation complete. 368s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 368s Setting up libc-devtools (2.39-3.1ubuntu3) ... 368s Setting up libc6-dev:amd64 (2.39-3.1ubuntu3) ... 368s Processing triggers for man-db (2.12.1-2) ... 369s Processing triggers for systemd (256-1ubuntu1) ... 370s Reading package lists... 370s Building dependency tree... 370s Reading state information... 371s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 371s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 371s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 371s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 371s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 372s Reading package lists... 372s Reading package lists... 373s Building dependency tree... 373s Reading state information... 373s Calculating upgrade... 373s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 374s Reading package lists... 374s Building dependency tree... 374s Reading state information... 374s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 376s Reading package lists... 376s Building dependency tree... 376s Reading state information... 377s Starting pkgProblemResolver with broken count: 0 377s Starting 2 pkgProblemResolver with broken count: 0 377s Done 377s The following additional packages will be installed: 377s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 377s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 377s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 377s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 377s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libepoxy0 377s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 377s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 377s libharfbuzz0b liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 377s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 377s libstdlib-ocaml libthai-data libthai0 libwayland-client0 libwayland-cursor0 377s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 377s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base 377s spass tex-common ubuntu-mono why3 377s Suggested packages: 377s colord cups-common gvfs liblcms2-utils debhelper why3-examples 377s Recommended packages: 377s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 377s The following NEW packages will be installed: 377s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 377s dconf-service fontconfig gtk-update-icon-cache hicolor-icon-theme 377s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 377s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 377s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 377s libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 377s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 377s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 377s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 377s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 377s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 377s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 377s libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common ubuntu-mono 377s why3 377s 0 upgraded, 59 newly installed, 0 to remove and 0 not upgraded. 377s Need to get 29.6 MB/29.6 MB of archives. 377s After this operation, 141 MB of additional disk space will be used. 377s Get:1 /tmp/autopkgtest.hc8Cm3/3-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [708 B] 377s Get:2 http://ftpmaster.internal/ubuntu oracular/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 377s Get:3 http://ftpmaster.internal/ubuntu oracular/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-1 [147 kB] 377s Get:4 http://ftpmaster.internal/ubuntu oracular/main amd64 gtk-update-icon-cache amd64 3.24.43-1ubuntu1 [51.9 kB] 377s Get:5 http://ftpmaster.internal/ubuntu oracular/main amd64 hicolor-icon-theme all 0.18-1 [13.5 kB] 377s Get:6 http://ftpmaster.internal/ubuntu oracular/main amd64 humanity-icon-theme all 0.6.16 [1282 kB] 377s Get:7 http://ftpmaster.internal/ubuntu oracular/main amd64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 377s Get:8 http://ftpmaster.internal/ubuntu oracular/main amd64 adwaita-icon-theme all 46.0-1 [723 kB] 377s Get:9 http://ftpmaster.internal/ubuntu oracular/main amd64 at-spi2-common all 2.52.0-1build1 [8674 B] 377s Get:10 http://ftpmaster.internal/ubuntu oracular/main amd64 libdconf1 amd64 0.40.0-4build2 [39.4 kB] 377s Get:11 http://ftpmaster.internal/ubuntu oracular/main amd64 dconf-service amd64 0.40.0-4build2 [27.5 kB] 377s Get:12 http://ftpmaster.internal/ubuntu oracular/main amd64 dconf-gsettings-backend amd64 0.40.0-4build2 [22.1 kB] 377s Get:13 http://ftpmaster.internal/ubuntu oracular/main amd64 fontconfig amd64 2.15.0-1.1ubuntu2 [180 kB] 377s Get:14 http://ftpmaster.internal/ubuntu oracular/main amd64 libatk1.0-0t64 amd64 2.52.0-1build1 [55.3 kB] 377s Get:15 http://ftpmaster.internal/ubuntu oracular/main amd64 libxi6 amd64 2:1.8.1-1build1 [32.4 kB] 377s Get:16 http://ftpmaster.internal/ubuntu oracular/main amd64 libatspi2.0-0t64 amd64 2.52.0-1build1 [80.5 kB] 377s Get:17 http://ftpmaster.internal/ubuntu oracular/main amd64 libatk-bridge2.0-0t64 amd64 2.52.0-1build1 [66.0 kB] 377s Get:18 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-common-data amd64 0.8-13ubuntu6 [29.7 kB] 377s Get:19 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-common3 amd64 0.8-13ubuntu6 [23.3 kB] 377s Get:20 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-client3 amd64 0.8-13ubuntu6 [26.8 kB] 377s Get:21 http://ftpmaster.internal/ubuntu oracular/main amd64 libpixman-1-0 amd64 0.42.2-1build1 [279 kB] 377s Get:22 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 377s Get:23 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 377s Get:24 http://ftpmaster.internal/ubuntu oracular/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 377s Get:25 http://ftpmaster.internal/ubuntu oracular/main amd64 libcairo2 amd64 1.18.0-3build1 [566 kB] 377s Get:26 http://ftpmaster.internal/ubuntu oracular/main amd64 libcairo-gobject2 amd64 1.18.0-3build1 [127 kB] 377s Get:27 http://ftpmaster.internal/ubuntu oracular/universe amd64 libstdlib-ocaml amd64 4.14.1-1ubuntu1 [378 kB] 377s Get:28 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml-base amd64 4.14.1-1ubuntu1 [256 kB] 377s Get:29 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcairo2-ocaml amd64 0.6.4+dfsg-2build2 [27.5 kB] 377s Get:30 http://ftpmaster.internal/ubuntu oracular/main amd64 liblcms2-2 amd64 2.14-2build1 [161 kB] 377s Get:31 http://ftpmaster.internal/ubuntu oracular/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 377s Get:32 http://ftpmaster.internal/ubuntu oracular/main amd64 libcups2t64 amd64 2.4.7-1.2ubuntu9 [267 kB] 377s Get:33 http://ftpmaster.internal/ubuntu oracular/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 377s Get:34 http://ftpmaster.internal/ubuntu oracular/main amd64 libepoxy0 amd64 1.5.10-1build1 [220 kB] 377s Get:35 http://ftpmaster.internal/ubuntu oracular/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 377s Get:36 http://ftpmaster.internal/ubuntu oracular/main amd64 libharfbuzz0b amd64 8.3.0-2build2 [469 kB] 377s Get:37 http://ftpmaster.internal/ubuntu oracular/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 377s Get:38 http://ftpmaster.internal/ubuntu oracular/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 377s Get:39 http://ftpmaster.internal/ubuntu oracular/main amd64 libpango-1.0-0 amd64 1.54.0+ds-1 [233 kB] 377s Get:40 http://ftpmaster.internal/ubuntu oracular/main amd64 libpangoft2-1.0-0 amd64 1.54.0+ds-1 [42.3 kB] 377s Get:41 http://ftpmaster.internal/ubuntu oracular/main amd64 libpangocairo-1.0-0 amd64 1.54.0+ds-1 [28.7 kB] 377s Get:42 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-client0 amd64 1.22.0-2.1build1 [26.4 kB] 377s Get:43 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-cursor0 amd64 1.22.0-2.1build1 [10.4 kB] 377s Get:44 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-egl1 amd64 1.22.0-2.1build1 [5628 B] 377s Get:45 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcomposite1 amd64 1:0.4.5-1build3 [6320 B] 377s Get:46 http://ftpmaster.internal/ubuntu oracular/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 377s Get:47 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcursor1 amd64 1:1.2.2-1 [20.9 kB] 377s Get:48 http://ftpmaster.internal/ubuntu oracular/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 377s Get:49 http://ftpmaster.internal/ubuntu oracular/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 377s Get:50 http://ftpmaster.internal/ubuntu oracular/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 377s Get:51 http://ftpmaster.internal/ubuntu oracular/main amd64 libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 377s Get:52 http://ftpmaster.internal/ubuntu oracular/main amd64 libgtk-3-0t64 amd64 3.24.43-1ubuntu1 [2899 kB] 377s Get:53 http://ftpmaster.internal/ubuntu oracular/universe amd64 libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 377s Get:54 http://ftpmaster.internal/ubuntu oracular/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-2build4 [236 kB] 377s Get:55 http://ftpmaster.internal/ubuntu oracular/universe amd64 liblablgtk3-ocaml amd64 3.1.4-1build3 [4036 kB] 377s Get:56 http://ftpmaster.internal/ubuntu oracular/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.4-1build3 [347 kB] 377s Get:57 http://ftpmaster.internal/ubuntu oracular/universe amd64 spass amd64 3.9-1.1 [296 kB] 377s Get:58 http://ftpmaster.internal/ubuntu oracular/universe amd64 tex-common all 6.18 [32.8 kB] 377s Get:59 http://ftpmaster.internal/ubuntu oracular/universe amd64 why3 amd64 1.6.0-1build7 [13.7 MB] 378s Fetched 29.6 MB in 0s (100 MB/s) 378s Selecting previously unselected package libgdk-pixbuf2.0-common. 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 ... 74486 files and directories currently installed.) 378s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 378s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 378s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 378s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_amd64.deb ... 378s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 378s Selecting previously unselected package gtk-update-icon-cache. 378s Preparing to unpack .../02-gtk-update-icon-cache_3.24.43-1ubuntu1_amd64.deb ... 378s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 378s Selecting previously unselected package hicolor-icon-theme. 378s Preparing to unpack .../03-hicolor-icon-theme_0.18-1_all.deb ... 378s Unpacking hicolor-icon-theme (0.18-1) ... 378s Selecting previously unselected package humanity-icon-theme. 378s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 378s Unpacking humanity-icon-theme (0.6.16) ... 379s Selecting previously unselected package ubuntu-mono. 379s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 379s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 379s Selecting previously unselected package adwaita-icon-theme. 379s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 379s Unpacking adwaita-icon-theme (46.0-1) ... 380s Selecting previously unselected package at-spi2-common. 380s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 380s Unpacking at-spi2-common (2.52.0-1build1) ... 380s Selecting previously unselected package libdconf1:amd64. 380s Preparing to unpack .../08-libdconf1_0.40.0-4build2_amd64.deb ... 380s Unpacking libdconf1:amd64 (0.40.0-4build2) ... 380s Selecting previously unselected package dconf-service. 380s Preparing to unpack .../09-dconf-service_0.40.0-4build2_amd64.deb ... 380s Unpacking dconf-service (0.40.0-4build2) ... 380s Selecting previously unselected package dconf-gsettings-backend:amd64. 380s Preparing to unpack .../10-dconf-gsettings-backend_0.40.0-4build2_amd64.deb ... 380s Unpacking dconf-gsettings-backend:amd64 (0.40.0-4build2) ... 380s Selecting previously unselected package fontconfig. 380s Preparing to unpack .../11-fontconfig_2.15.0-1.1ubuntu2_amd64.deb ... 380s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 380s Selecting previously unselected package libatk1.0-0t64:amd64. 380s Preparing to unpack .../12-libatk1.0-0t64_2.52.0-1build1_amd64.deb ... 380s Unpacking libatk1.0-0t64:amd64 (2.52.0-1build1) ... 380s Selecting previously unselected package libxi6:amd64. 380s Preparing to unpack .../13-libxi6_2%3a1.8.1-1build1_amd64.deb ... 380s Unpacking libxi6:amd64 (2:1.8.1-1build1) ... 380s Selecting previously unselected package libatspi2.0-0t64:amd64. 380s Preparing to unpack .../14-libatspi2.0-0t64_2.52.0-1build1_amd64.deb ... 380s Unpacking libatspi2.0-0t64:amd64 (2.52.0-1build1) ... 380s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 380s Preparing to unpack .../15-libatk-bridge2.0-0t64_2.52.0-1build1_amd64.deb ... 380s Unpacking libatk-bridge2.0-0t64:amd64 (2.52.0-1build1) ... 380s Selecting previously unselected package libavahi-common-data:amd64. 380s Preparing to unpack .../16-libavahi-common-data_0.8-13ubuntu6_amd64.deb ... 380s Unpacking libavahi-common-data:amd64 (0.8-13ubuntu6) ... 380s Selecting previously unselected package libavahi-common3:amd64. 380s Preparing to unpack .../17-libavahi-common3_0.8-13ubuntu6_amd64.deb ... 380s Unpacking libavahi-common3:amd64 (0.8-13ubuntu6) ... 380s Selecting previously unselected package libavahi-client3:amd64. 380s Preparing to unpack .../18-libavahi-client3_0.8-13ubuntu6_amd64.deb ... 380s Unpacking libavahi-client3:amd64 (0.8-13ubuntu6) ... 380s Selecting previously unselected package libpixman-1-0:amd64. 380s Preparing to unpack .../19-libpixman-1-0_0.42.2-1build1_amd64.deb ... 380s Unpacking libpixman-1-0:amd64 (0.42.2-1build1) ... 380s Selecting previously unselected package libxcb-render0:amd64. 380s Preparing to unpack .../20-libxcb-render0_1.17.0-2_amd64.deb ... 380s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 380s Selecting previously unselected package libxcb-shm0:amd64. 380s Preparing to unpack .../21-libxcb-shm0_1.17.0-2_amd64.deb ... 380s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 380s Selecting previously unselected package libxrender1:amd64. 380s Preparing to unpack .../22-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 380s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 380s Selecting previously unselected package libcairo2:amd64. 380s Preparing to unpack .../23-libcairo2_1.18.0-3build1_amd64.deb ... 380s Unpacking libcairo2:amd64 (1.18.0-3build1) ... 380s Selecting previously unselected package libcairo-gobject2:amd64. 380s Preparing to unpack .../24-libcairo-gobject2_1.18.0-3build1_amd64.deb ... 380s Unpacking libcairo-gobject2:amd64 (1.18.0-3build1) ... 380s Selecting previously unselected package libstdlib-ocaml. 380s Preparing to unpack .../25-libstdlib-ocaml_4.14.1-1ubuntu1_amd64.deb ... 380s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 380s Selecting previously unselected package ocaml-base. 380s Preparing to unpack .../26-ocaml-base_4.14.1-1ubuntu1_amd64.deb ... 380s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 380s Selecting previously unselected package libcairo2-ocaml. 380s Preparing to unpack .../27-libcairo2-ocaml_0.6.4+dfsg-2build2_amd64.deb ... 380s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 380s Selecting previously unselected package liblcms2-2:amd64. 380s Preparing to unpack .../28-liblcms2-2_2.14-2build1_amd64.deb ... 380s Unpacking liblcms2-2:amd64 (2.14-2build1) ... 380s Selecting previously unselected package libcolord2:amd64. 380s Preparing to unpack .../29-libcolord2_1.4.7-1build2_amd64.deb ... 380s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 380s Selecting previously unselected package libcups2t64:amd64. 380s Preparing to unpack .../30-libcups2t64_2.4.7-1.2ubuntu9_amd64.deb ... 380s Unpacking libcups2t64:amd64 (2.4.7-1.2ubuntu9) ... 380s Selecting previously unselected package libdatrie1:amd64. 380s Preparing to unpack .../31-libdatrie1_0.2.13-3build1_amd64.deb ... 380s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 380s Selecting previously unselected package libepoxy0:amd64. 380s Preparing to unpack .../32-libepoxy0_1.5.10-1build1_amd64.deb ... 380s Unpacking libepoxy0:amd64 (1.5.10-1build1) ... 380s Selecting previously unselected package libgraphite2-3:amd64. 380s Preparing to unpack .../33-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 380s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 380s Selecting previously unselected package libharfbuzz0b:amd64. 380s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2build2_amd64.deb ... 380s Unpacking libharfbuzz0b:amd64 (8.3.0-2build2) ... 380s Selecting previously unselected package libthai-data. 380s Preparing to unpack .../35-libthai-data_0.1.29-2build1_all.deb ... 380s Unpacking libthai-data (0.1.29-2build1) ... 381s Selecting previously unselected package libthai0:amd64. 381s Preparing to unpack .../36-libthai0_0.1.29-2build1_amd64.deb ... 381s Unpacking libthai0:amd64 (0.1.29-2build1) ... 381s Selecting previously unselected package libpango-1.0-0:amd64. 381s Preparing to unpack .../37-libpango-1.0-0_1.54.0+ds-1_amd64.deb ... 381s Unpacking libpango-1.0-0:amd64 (1.54.0+ds-1) ... 381s Selecting previously unselected package libpangoft2-1.0-0:amd64. 381s Preparing to unpack .../38-libpangoft2-1.0-0_1.54.0+ds-1_amd64.deb ... 381s Unpacking libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... 381s Selecting previously unselected package libpangocairo-1.0-0:amd64. 381s Preparing to unpack .../39-libpangocairo-1.0-0_1.54.0+ds-1_amd64.deb ... 381s Unpacking libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... 381s Selecting previously unselected package libwayland-client0:amd64. 381s Preparing to unpack .../40-libwayland-client0_1.22.0-2.1build1_amd64.deb ... 381s Unpacking libwayland-client0:amd64 (1.22.0-2.1build1) ... 381s Selecting previously unselected package libwayland-cursor0:amd64. 381s Preparing to unpack .../41-libwayland-cursor0_1.22.0-2.1build1_amd64.deb ... 381s Unpacking libwayland-cursor0:amd64 (1.22.0-2.1build1) ... 381s Selecting previously unselected package libwayland-egl1:amd64. 381s Preparing to unpack .../42-libwayland-egl1_1.22.0-2.1build1_amd64.deb ... 381s Unpacking libwayland-egl1:amd64 (1.22.0-2.1build1) ... 381s Selecting previously unselected package libxcomposite1:amd64. 381s Preparing to unpack .../43-libxcomposite1_1%3a0.4.5-1build3_amd64.deb ... 381s Unpacking libxcomposite1:amd64 (1:0.4.5-1build3) ... 381s Selecting previously unselected package libxfixes3:amd64. 381s Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 381s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 381s Selecting previously unselected package libxcursor1:amd64. 381s Preparing to unpack .../45-libxcursor1_1%3a1.2.2-1_amd64.deb ... 381s Unpacking libxcursor1:amd64 (1:1.2.2-1) ... 381s Selecting previously unselected package libxdamage1:amd64. 381s Preparing to unpack .../46-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 381s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 381s Selecting previously unselected package libxinerama1:amd64. 381s Preparing to unpack .../47-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 381s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 381s Selecting previously unselected package libxrandr2:amd64. 381s Preparing to unpack .../48-libxrandr2_2%3a1.5.4-1_amd64.deb ... 381s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 381s Selecting previously unselected package libgtk-3-common. 381s Preparing to unpack .../49-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 381s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 381s Selecting previously unselected package libgtk-3-0t64:amd64. 381s Preparing to unpack .../50-libgtk-3-0t64_3.24.43-1ubuntu1_amd64.deb ... 381s Unpacking libgtk-3-0t64:amd64 (3.24.43-1ubuntu1) ... 381s Selecting previously unselected package libgtksourceview-3.0-common. 381s Preparing to unpack .../51-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 381s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 381s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 381s Preparing to unpack .../52-libgtksourceview-3.0-1_3.24.11-2build4_amd64.deb ... 381s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2build4) ... 381s Selecting previously unselected package liblablgtk3-ocaml. 381s Preparing to unpack .../53-liblablgtk3-ocaml_3.1.4-1build3_amd64.deb ... 381s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 381s Selecting previously unselected package liblablgtksourceview3-ocaml. 381s Preparing to unpack .../54-liblablgtksourceview3-ocaml_3.1.4-1build3_amd64.deb ... 381s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 381s Selecting previously unselected package spass. 381s Preparing to unpack .../55-spass_3.9-1.1_amd64.deb ... 381s Unpacking spass (3.9-1.1) ... 381s Selecting previously unselected package tex-common. 381s Preparing to unpack .../56-tex-common_6.18_all.deb ... 381s Unpacking tex-common (6.18) ... 381s Selecting previously unselected package why3. 381s Preparing to unpack .../57-why3_1.6.0-1build7_amd64.deb ... 382s Unpacking why3 (1.6.0-1build7) ... 382s Selecting previously unselected package autopkgtest-satdep. 382s Preparing to unpack .../58-3-autopkgtest-satdep.deb ... 382s Unpacking autopkgtest-satdep (0) ... 382s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 382s Setting up liblcms2-2:amd64 (2.14-2build1) ... 382s Setting up libpixman-1-0:amd64 (0.42.2-1build1) ... 382s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 384s Regenerating fonts cache... done. 384s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 384s Setting up hicolor-icon-theme (0.18-1) ... 384s Setting up libxi6:amd64 (2:1.8.1-1build1) ... 384s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 384s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 384s Setting up libxcb-render0:amd64 (1.17.0-2) ... 384s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 384s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 384s Setting up libcairo2:amd64 (1.18.0-3build1) ... 384s Setting up libcolord2:amd64 (1.4.7-1build2) ... 384s Setting up libdconf1:amd64 (0.40.0-4build2) ... 384s Setting up tex-common (6.18) ... 384s update-language: texlive-base not installed and configured, doing nothing! 384s Setting up libepoxy0:amd64 (1.5.10-1build1) ... 384s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 384s Setting up spass (3.9-1.1) ... 384s Setting up libavahi-common-data:amd64 (0.8-13ubuntu6) ... 384s Setting up libatspi2.0-0t64:amd64 (2.52.0-1build1) ... 384s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 384s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 384s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 384s Setting up ocaml-base (4.14.1-1ubuntu1) ... 384s Setting up at-spi2-common (2.52.0-1build1) ... 384s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 384s Setting up libharfbuzz0b:amd64 (8.3.0-2build2) ... 384s Setting up libthai-data (0.1.29-2build1) ... 384s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 384s Setting up libcairo-gobject2:amd64 (1.18.0-3build1) ... 384s Setting up libwayland-egl1:amd64 (1.22.0-2.1build1) ... 384s Setting up libxcomposite1:amd64 (1:0.4.5-1build3) ... 384s Setting up libwayland-client0:amd64 (1.22.0-2.1build1) ... 384s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 384s Setting up libatk1.0-0t64:amd64 (2.52.0-1build1) ... 384s Setting up libxcursor1:amd64 (1:1.2.2-1) ... 384s Setting up libavahi-common3:amd64 (0.8-13ubuntu6) ... 384s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 384s Setting up dconf-service (0.40.0-4build2) ... 384s Setting up libthai0:amd64 (0.1.29-2build1) ... 384s Setting up libwayland-cursor0:amd64 (1.22.0-2.1build1) ... 384s Setting up libavahi-client3:amd64 (0.8-13ubuntu6) ... 384s Setting up libatk-bridge2.0-0t64:amd64 (2.52.0-1build1) ... 384s Setting up dconf-gsettings-backend:amd64 (0.40.0-4build2) ... 384s Setting up libpango-1.0-0:amd64 (1.54.0+ds-1) ... 384s Setting up libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... 384s Setting up libcups2t64:amd64 (2.4.7-1.2ubuntu9) ... 384s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 384s Setting up libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... 384s Setting up adwaita-icon-theme (46.0-1) ... 384s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 384s Setting up humanity-icon-theme (0.6.16) ... 384s Setting up ubuntu-mono (24.04-0ubuntu1) ... 385s Processing triggers for man-db (2.12.1-2) ... 385s Processing triggers for libglib2.0-0t64:amd64 (2.80.4-1ubuntu1) ... 385s Setting up libgtk-3-0t64:amd64 (3.24.43-1ubuntu1) ... 385s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 385s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 385s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2build4) ... 385s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 385s Setting up why3 (1.6.0-1build7) ... 385s Setting up autopkgtest-satdep (0) ... 385s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 388s (Reading database ... 88404 files and directories currently installed.) 388s Removing autopkgtest-satdep (0) ... 396s autopkgtest [20:47:55]: test why3+spass: [----------------------- 397s autopkgtest [20:47:56]: test why3+spass: -----------------------] 398s why3+spass PASS 398s autopkgtest [20:47:57]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 398s autopkgtest [20:47:57]: test why3+z3: preparing testbed 484s autopkgtest [20:49:23]: testbed dpkg architecture: amd64 484s autopkgtest [20:49:23]: testbed apt version: 2.9.6 484s autopkgtest [20:49:23]: @@@@@@@@@@@@@@@@@@@@ test bed setup 485s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 485s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 485s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [367 kB] 485s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [46.5 kB] 485s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3288 B] 485s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 Packages [97.1 kB] 485s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main i386 Packages [68.8 kB] 485s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 c-n-f Metadata [2124 B] 485s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted i386 Packages [6244 B] 485s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 Packages [34.9 kB] 485s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 c-n-f Metadata [368 B] 485s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe i386 Packages [235 kB] 485s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 Packages [390 kB] 485s Get:14 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 c-n-f Metadata [9304 B] 485s Get:15 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 Packages [7976 B] 485s Get:16 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse i386 Packages [3052 B] 485s Get:17 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 c-n-f Metadata [276 B] 486s Fetched 1406 kB in 0s (5675 kB/s) 486s Reading package lists... 487s Reading package lists... 488s Building dependency tree... 488s Reading state information... 488s Calculating upgrade... 488s The following packages will be upgraded: 488s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 489s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 489s Need to get 10.3 MB of archives. 489s After this operation, 34.8 kB of additional disk space will be used. 489s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-devtools amd64 2.39-3.1ubuntu3 [29.3 kB] 489s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6-dev amd64 2.39-3.1ubuntu3 [2120 kB] 489s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-dev-bin amd64 2.39-3.1ubuntu3 [20.4 kB] 489s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6 amd64 2.39-3.1ubuntu3 [3262 kB] 489s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-bin amd64 2.39-3.1ubuntu3 [680 kB] 489s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 locales all 2.39-3.1ubuntu3 [4220 kB] 489s Preconfiguring packages ... 489s Fetched 10.3 MB in 0s (60.7 MB/s) 489s (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 ... 74486 files and directories currently installed.) 489s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_amd64.deb ... 489s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 489s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_amd64.deb ... 489s Unpacking libc6-dev:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 490s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_amd64.deb ... 490s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 490s Preparing to unpack .../libc6_2.39-3.1ubuntu3_amd64.deb ... 490s Unpacking libc6:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 490s Setting up libc6:amd64 (2.39-3.1ubuntu3) ... 490s Error: Could not restart systemd, systemd binary not working 490s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74486 files and directories currently installed.) 490s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_amd64.deb ... 490s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 490s Setting up libc-bin (2.39-3.1ubuntu3) ... 490s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74486 files and directories currently installed.) 490s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 490s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 491s Setting up locales (2.39-3.1ubuntu3) ... 491s Generating locales (this might take a while)... 493s en_US.UTF-8... done 493s Generation complete. 493s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 493s Setting up libc-devtools (2.39-3.1ubuntu3) ... 493s Setting up libc6-dev:amd64 (2.39-3.1ubuntu3) ... 493s Processing triggers for man-db (2.12.1-2) ... 494s Processing triggers for systemd (256-1ubuntu1) ... 495s Reading package lists... 495s Building dependency tree... 495s Reading state information... 496s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 496s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 496s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 496s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 496s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 497s Reading package lists... 497s Reading package lists... 498s Building dependency tree... 498s Reading state information... 498s Calculating upgrade... 498s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 498s Reading package lists... 498s Building dependency tree... 498s Reading state information... 499s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 500s Reading package lists... 501s Building dependency tree... 501s Reading state information... 501s Starting pkgProblemResolver with broken count: 0 501s Starting 2 pkgProblemResolver with broken count: 0 501s Done 502s The following additional packages will be installed: 502s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 502s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 502s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 502s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 502s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libepoxy0 502s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 502s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 502s libharfbuzz0b liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 502s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 502s libstdlib-ocaml libthai-data libthai0 libwayland-client0 libwayland-cursor0 502s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 502s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base 502s tex-common ubuntu-mono why3 z3 502s Suggested packages: 502s colord cups-common gvfs liblcms2-utils debhelper why3-examples 502s Recommended packages: 502s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 502s The following NEW packages will be installed: 502s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 502s dconf-service fontconfig gtk-update-icon-cache hicolor-icon-theme 502s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 502s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 502s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 502s libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 502s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 502s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 502s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 502s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 502s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 502s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 502s libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 502s z3 502s 0 upgraded, 59 newly installed, 0 to remove and 0 not upgraded. 502s Need to get 35.2 MB/35.2 MB of archives. 502s After this operation, 156 MB of additional disk space will be used. 502s Get:1 /tmp/autopkgtest.hc8Cm3/4-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [716 B] 502s Get:2 http://ftpmaster.internal/ubuntu oracular/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 502s Get:3 http://ftpmaster.internal/ubuntu oracular/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-1 [147 kB] 502s Get:4 http://ftpmaster.internal/ubuntu oracular/main amd64 gtk-update-icon-cache amd64 3.24.43-1ubuntu1 [51.9 kB] 502s Get:5 http://ftpmaster.internal/ubuntu oracular/main amd64 hicolor-icon-theme all 0.18-1 [13.5 kB] 502s Get:6 http://ftpmaster.internal/ubuntu oracular/main amd64 humanity-icon-theme all 0.6.16 [1282 kB] 502s Get:7 http://ftpmaster.internal/ubuntu oracular/main amd64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 502s Get:8 http://ftpmaster.internal/ubuntu oracular/main amd64 adwaita-icon-theme all 46.0-1 [723 kB] 502s Get:9 http://ftpmaster.internal/ubuntu oracular/main amd64 at-spi2-common all 2.52.0-1build1 [8674 B] 502s Get:10 http://ftpmaster.internal/ubuntu oracular/main amd64 libdconf1 amd64 0.40.0-4build2 [39.4 kB] 502s Get:11 http://ftpmaster.internal/ubuntu oracular/main amd64 dconf-service amd64 0.40.0-4build2 [27.5 kB] 502s Get:12 http://ftpmaster.internal/ubuntu oracular/main amd64 dconf-gsettings-backend amd64 0.40.0-4build2 [22.1 kB] 502s Get:13 http://ftpmaster.internal/ubuntu oracular/main amd64 fontconfig amd64 2.15.0-1.1ubuntu2 [180 kB] 502s Get:14 http://ftpmaster.internal/ubuntu oracular/main amd64 libatk1.0-0t64 amd64 2.52.0-1build1 [55.3 kB] 502s Get:15 http://ftpmaster.internal/ubuntu oracular/main amd64 libxi6 amd64 2:1.8.1-1build1 [32.4 kB] 502s Get:16 http://ftpmaster.internal/ubuntu oracular/main amd64 libatspi2.0-0t64 amd64 2.52.0-1build1 [80.5 kB] 502s Get:17 http://ftpmaster.internal/ubuntu oracular/main amd64 libatk-bridge2.0-0t64 amd64 2.52.0-1build1 [66.0 kB] 502s Get:18 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-common-data amd64 0.8-13ubuntu6 [29.7 kB] 502s Get:19 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-common3 amd64 0.8-13ubuntu6 [23.3 kB] 502s Get:20 http://ftpmaster.internal/ubuntu oracular/main amd64 libavahi-client3 amd64 0.8-13ubuntu6 [26.8 kB] 502s Get:21 http://ftpmaster.internal/ubuntu oracular/main amd64 libpixman-1-0 amd64 0.42.2-1build1 [279 kB] 502s Get:22 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 502s Get:23 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 502s Get:24 http://ftpmaster.internal/ubuntu oracular/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 502s Get:25 http://ftpmaster.internal/ubuntu oracular/main amd64 libcairo2 amd64 1.18.0-3build1 [566 kB] 502s Get:26 http://ftpmaster.internal/ubuntu oracular/main amd64 libcairo-gobject2 amd64 1.18.0-3build1 [127 kB] 502s Get:27 http://ftpmaster.internal/ubuntu oracular/universe amd64 libstdlib-ocaml amd64 4.14.1-1ubuntu1 [378 kB] 502s Get:28 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml-base amd64 4.14.1-1ubuntu1 [256 kB] 502s Get:29 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcairo2-ocaml amd64 0.6.4+dfsg-2build2 [27.5 kB] 502s Get:30 http://ftpmaster.internal/ubuntu oracular/main amd64 liblcms2-2 amd64 2.14-2build1 [161 kB] 502s Get:31 http://ftpmaster.internal/ubuntu oracular/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 502s Get:32 http://ftpmaster.internal/ubuntu oracular/main amd64 libcups2t64 amd64 2.4.7-1.2ubuntu9 [267 kB] 502s Get:33 http://ftpmaster.internal/ubuntu oracular/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 502s Get:34 http://ftpmaster.internal/ubuntu oracular/main amd64 libepoxy0 amd64 1.5.10-1build1 [220 kB] 502s Get:35 http://ftpmaster.internal/ubuntu oracular/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 502s Get:36 http://ftpmaster.internal/ubuntu oracular/main amd64 libharfbuzz0b amd64 8.3.0-2build2 [469 kB] 502s Get:37 http://ftpmaster.internal/ubuntu oracular/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 502s Get:38 http://ftpmaster.internal/ubuntu oracular/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 502s Get:39 http://ftpmaster.internal/ubuntu oracular/main amd64 libpango-1.0-0 amd64 1.54.0+ds-1 [233 kB] 502s Get:40 http://ftpmaster.internal/ubuntu oracular/main amd64 libpangoft2-1.0-0 amd64 1.54.0+ds-1 [42.3 kB] 502s Get:41 http://ftpmaster.internal/ubuntu oracular/main amd64 libpangocairo-1.0-0 amd64 1.54.0+ds-1 [28.7 kB] 502s Get:42 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-client0 amd64 1.22.0-2.1build1 [26.4 kB] 502s Get:43 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-cursor0 amd64 1.22.0-2.1build1 [10.4 kB] 502s Get:44 http://ftpmaster.internal/ubuntu oracular/main amd64 libwayland-egl1 amd64 1.22.0-2.1build1 [5628 B] 502s Get:45 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcomposite1 amd64 1:0.4.5-1build3 [6320 B] 502s Get:46 http://ftpmaster.internal/ubuntu oracular/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 502s Get:47 http://ftpmaster.internal/ubuntu oracular/main amd64 libxcursor1 amd64 1:1.2.2-1 [20.9 kB] 502s Get:48 http://ftpmaster.internal/ubuntu oracular/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 502s Get:49 http://ftpmaster.internal/ubuntu oracular/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 502s Get:50 http://ftpmaster.internal/ubuntu oracular/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 502s Get:51 http://ftpmaster.internal/ubuntu oracular/main amd64 libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 502s Get:52 http://ftpmaster.internal/ubuntu oracular/main amd64 libgtk-3-0t64 amd64 3.24.43-1ubuntu1 [2899 kB] 502s Get:53 http://ftpmaster.internal/ubuntu oracular/universe amd64 libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 502s Get:54 http://ftpmaster.internal/ubuntu oracular/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-2build4 [236 kB] 502s Get:55 http://ftpmaster.internal/ubuntu oracular/universe amd64 liblablgtk3-ocaml amd64 3.1.4-1build3 [4036 kB] 502s Get:56 http://ftpmaster.internal/ubuntu oracular/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.4-1build3 [347 kB] 502s Get:57 http://ftpmaster.internal/ubuntu oracular/universe amd64 tex-common all 6.18 [32.8 kB] 502s Get:58 http://ftpmaster.internal/ubuntu oracular/universe amd64 why3 amd64 1.6.0-1build7 [13.7 MB] 502s Get:59 http://ftpmaster.internal/ubuntu oracular/universe amd64 z3 amd64 4.8.12-3.1build1 [5911 kB] 503s Fetched 35.2 MB in 0s (103 MB/s) 503s Selecting previously unselected package libgdk-pixbuf2.0-common. 503s (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 ... 74486 files and directories currently installed.) 503s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 503s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 503s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 503s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_amd64.deb ... 503s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 503s Selecting previously unselected package gtk-update-icon-cache. 503s Preparing to unpack .../02-gtk-update-icon-cache_3.24.43-1ubuntu1_amd64.deb ... 503s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 503s Selecting previously unselected package hicolor-icon-theme. 503s Preparing to unpack .../03-hicolor-icon-theme_0.18-1_all.deb ... 503s Unpacking hicolor-icon-theme (0.18-1) ... 503s Selecting previously unselected package humanity-icon-theme. 503s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 503s Unpacking humanity-icon-theme (0.6.16) ... 504s Selecting previously unselected package ubuntu-mono. 504s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 504s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 504s Selecting previously unselected package adwaita-icon-theme. 504s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 504s Unpacking adwaita-icon-theme (46.0-1) ... 504s Selecting previously unselected package at-spi2-common. 504s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 504s Unpacking at-spi2-common (2.52.0-1build1) ... 504s Selecting previously unselected package libdconf1:amd64. 504s Preparing to unpack .../08-libdconf1_0.40.0-4build2_amd64.deb ... 504s Unpacking libdconf1:amd64 (0.40.0-4build2) ... 505s Selecting previously unselected package dconf-service. 505s Preparing to unpack .../09-dconf-service_0.40.0-4build2_amd64.deb ... 505s Unpacking dconf-service (0.40.0-4build2) ... 505s Selecting previously unselected package dconf-gsettings-backend:amd64. 505s Preparing to unpack .../10-dconf-gsettings-backend_0.40.0-4build2_amd64.deb ... 505s Unpacking dconf-gsettings-backend:amd64 (0.40.0-4build2) ... 505s Selecting previously unselected package fontconfig. 505s Preparing to unpack .../11-fontconfig_2.15.0-1.1ubuntu2_amd64.deb ... 505s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 505s Selecting previously unselected package libatk1.0-0t64:amd64. 505s Preparing to unpack .../12-libatk1.0-0t64_2.52.0-1build1_amd64.deb ... 505s Unpacking libatk1.0-0t64:amd64 (2.52.0-1build1) ... 505s Selecting previously unselected package libxi6:amd64. 505s Preparing to unpack .../13-libxi6_2%3a1.8.1-1build1_amd64.deb ... 505s Unpacking libxi6:amd64 (2:1.8.1-1build1) ... 505s Selecting previously unselected package libatspi2.0-0t64:amd64. 505s Preparing to unpack .../14-libatspi2.0-0t64_2.52.0-1build1_amd64.deb ... 505s Unpacking libatspi2.0-0t64:amd64 (2.52.0-1build1) ... 505s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 505s Preparing to unpack .../15-libatk-bridge2.0-0t64_2.52.0-1build1_amd64.deb ... 505s Unpacking libatk-bridge2.0-0t64:amd64 (2.52.0-1build1) ... 505s Selecting previously unselected package libavahi-common-data:amd64. 505s Preparing to unpack .../16-libavahi-common-data_0.8-13ubuntu6_amd64.deb ... 505s Unpacking libavahi-common-data:amd64 (0.8-13ubuntu6) ... 505s Selecting previously unselected package libavahi-common3:amd64. 505s Preparing to unpack .../17-libavahi-common3_0.8-13ubuntu6_amd64.deb ... 505s Unpacking libavahi-common3:amd64 (0.8-13ubuntu6) ... 505s Selecting previously unselected package libavahi-client3:amd64. 505s Preparing to unpack .../18-libavahi-client3_0.8-13ubuntu6_amd64.deb ... 505s Unpacking libavahi-client3:amd64 (0.8-13ubuntu6) ... 505s Selecting previously unselected package libpixman-1-0:amd64. 505s Preparing to unpack .../19-libpixman-1-0_0.42.2-1build1_amd64.deb ... 505s Unpacking libpixman-1-0:amd64 (0.42.2-1build1) ... 505s Selecting previously unselected package libxcb-render0:amd64. 505s Preparing to unpack .../20-libxcb-render0_1.17.0-2_amd64.deb ... 505s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 505s Selecting previously unselected package libxcb-shm0:amd64. 505s Preparing to unpack .../21-libxcb-shm0_1.17.0-2_amd64.deb ... 505s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 505s Selecting previously unselected package libxrender1:amd64. 505s Preparing to unpack .../22-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 505s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 505s Selecting previously unselected package libcairo2:amd64. 505s Preparing to unpack .../23-libcairo2_1.18.0-3build1_amd64.deb ... 505s Unpacking libcairo2:amd64 (1.18.0-3build1) ... 505s Selecting previously unselected package libcairo-gobject2:amd64. 505s Preparing to unpack .../24-libcairo-gobject2_1.18.0-3build1_amd64.deb ... 505s Unpacking libcairo-gobject2:amd64 (1.18.0-3build1) ... 505s Selecting previously unselected package libstdlib-ocaml. 505s Preparing to unpack .../25-libstdlib-ocaml_4.14.1-1ubuntu1_amd64.deb ... 505s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 505s Selecting previously unselected package ocaml-base. 505s Preparing to unpack .../26-ocaml-base_4.14.1-1ubuntu1_amd64.deb ... 505s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 505s Selecting previously unselected package libcairo2-ocaml. 505s Preparing to unpack .../27-libcairo2-ocaml_0.6.4+dfsg-2build2_amd64.deb ... 505s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 505s Selecting previously unselected package liblcms2-2:amd64. 505s Preparing to unpack .../28-liblcms2-2_2.14-2build1_amd64.deb ... 505s Unpacking liblcms2-2:amd64 (2.14-2build1) ... 505s Selecting previously unselected package libcolord2:amd64. 505s Preparing to unpack .../29-libcolord2_1.4.7-1build2_amd64.deb ... 505s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 505s Selecting previously unselected package libcups2t64:amd64. 505s Preparing to unpack .../30-libcups2t64_2.4.7-1.2ubuntu9_amd64.deb ... 505s Unpacking libcups2t64:amd64 (2.4.7-1.2ubuntu9) ... 505s Selecting previously unselected package libdatrie1:amd64. 505s Preparing to unpack .../31-libdatrie1_0.2.13-3build1_amd64.deb ... 505s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 505s Selecting previously unselected package libepoxy0:amd64. 505s Preparing to unpack .../32-libepoxy0_1.5.10-1build1_amd64.deb ... 505s Unpacking libepoxy0:amd64 (1.5.10-1build1) ... 505s Selecting previously unselected package libgraphite2-3:amd64. 505s Preparing to unpack .../33-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 505s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 505s Selecting previously unselected package libharfbuzz0b:amd64. 505s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2build2_amd64.deb ... 505s Unpacking libharfbuzz0b:amd64 (8.3.0-2build2) ... 505s Selecting previously unselected package libthai-data. 505s Preparing to unpack .../35-libthai-data_0.1.29-2build1_all.deb ... 505s Unpacking libthai-data (0.1.29-2build1) ... 505s Selecting previously unselected package libthai0:amd64. 505s Preparing to unpack .../36-libthai0_0.1.29-2build1_amd64.deb ... 505s Unpacking libthai0:amd64 (0.1.29-2build1) ... 505s Selecting previously unselected package libpango-1.0-0:amd64. 505s Preparing to unpack .../37-libpango-1.0-0_1.54.0+ds-1_amd64.deb ... 505s Unpacking libpango-1.0-0:amd64 (1.54.0+ds-1) ... 505s Selecting previously unselected package libpangoft2-1.0-0:amd64. 505s Preparing to unpack .../38-libpangoft2-1.0-0_1.54.0+ds-1_amd64.deb ... 505s Unpacking libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... 505s Selecting previously unselected package libpangocairo-1.0-0:amd64. 505s Preparing to unpack .../39-libpangocairo-1.0-0_1.54.0+ds-1_amd64.deb ... 505s Unpacking libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... 505s Selecting previously unselected package libwayland-client0:amd64. 505s Preparing to unpack .../40-libwayland-client0_1.22.0-2.1build1_amd64.deb ... 505s Unpacking libwayland-client0:amd64 (1.22.0-2.1build1) ... 506s Selecting previously unselected package libwayland-cursor0:amd64. 506s Preparing to unpack .../41-libwayland-cursor0_1.22.0-2.1build1_amd64.deb ... 506s Unpacking libwayland-cursor0:amd64 (1.22.0-2.1build1) ... 506s Selecting previously unselected package libwayland-egl1:amd64. 506s Preparing to unpack .../42-libwayland-egl1_1.22.0-2.1build1_amd64.deb ... 506s Unpacking libwayland-egl1:amd64 (1.22.0-2.1build1) ... 506s Selecting previously unselected package libxcomposite1:amd64. 506s Preparing to unpack .../43-libxcomposite1_1%3a0.4.5-1build3_amd64.deb ... 506s Unpacking libxcomposite1:amd64 (1:0.4.5-1build3) ... 506s Selecting previously unselected package libxfixes3:amd64. 506s Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 506s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 506s Selecting previously unselected package libxcursor1:amd64. 506s Preparing to unpack .../45-libxcursor1_1%3a1.2.2-1_amd64.deb ... 506s Unpacking libxcursor1:amd64 (1:1.2.2-1) ... 506s Selecting previously unselected package libxdamage1:amd64. 506s Preparing to unpack .../46-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 506s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 506s Selecting previously unselected package libxinerama1:amd64. 506s Preparing to unpack .../47-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 506s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 506s Selecting previously unselected package libxrandr2:amd64. 506s Preparing to unpack .../48-libxrandr2_2%3a1.5.4-1_amd64.deb ... 506s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 506s Selecting previously unselected package libgtk-3-common. 506s Preparing to unpack .../49-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 506s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 506s Selecting previously unselected package libgtk-3-0t64:amd64. 506s Preparing to unpack .../50-libgtk-3-0t64_3.24.43-1ubuntu1_amd64.deb ... 506s Unpacking libgtk-3-0t64:amd64 (3.24.43-1ubuntu1) ... 506s Selecting previously unselected package libgtksourceview-3.0-common. 506s Preparing to unpack .../51-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 506s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 506s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 506s Preparing to unpack .../52-libgtksourceview-3.0-1_3.24.11-2build4_amd64.deb ... 506s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2build4) ... 506s Selecting previously unselected package liblablgtk3-ocaml. 506s Preparing to unpack .../53-liblablgtk3-ocaml_3.1.4-1build3_amd64.deb ... 506s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 506s Selecting previously unselected package liblablgtksourceview3-ocaml. 506s Preparing to unpack .../54-liblablgtksourceview3-ocaml_3.1.4-1build3_amd64.deb ... 506s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 506s Selecting previously unselected package tex-common. 506s Preparing to unpack .../55-tex-common_6.18_all.deb ... 506s Unpacking tex-common (6.18) ... 506s Selecting previously unselected package why3. 506s Preparing to unpack .../56-why3_1.6.0-1build7_amd64.deb ... 506s Unpacking why3 (1.6.0-1build7) ... 507s Selecting previously unselected package z3. 507s Preparing to unpack .../57-z3_4.8.12-3.1build1_amd64.deb ... 507s Unpacking z3 (4.8.12-3.1build1) ... 507s Selecting previously unselected package autopkgtest-satdep. 507s Preparing to unpack .../58-4-autopkgtest-satdep.deb ... 507s Unpacking autopkgtest-satdep (0) ... 507s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 507s Setting up liblcms2-2:amd64 (2.14-2build1) ... 507s Setting up libpixman-1-0:amd64 (0.42.2-1build1) ... 507s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 509s Regenerating fonts cache... done. 509s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 509s Setting up hicolor-icon-theme (0.18-1) ... 509s Setting up libxi6:amd64 (2:1.8.1-1build1) ... 509s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 509s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 509s Setting up libxcb-render0:amd64 (1.17.0-2) ... 509s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 509s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 509s Setting up libcairo2:amd64 (1.18.0-3build1) ... 509s Setting up z3 (4.8.12-3.1build1) ... 509s Setting up libcolord2:amd64 (1.4.7-1build2) ... 509s Setting up libdconf1:amd64 (0.40.0-4build2) ... 509s Setting up tex-common (6.18) ... 509s update-language: texlive-base not installed and configured, doing nothing! 509s Setting up libepoxy0:amd64 (1.5.10-1build1) ... 509s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 509s Setting up libavahi-common-data:amd64 (0.8-13ubuntu6) ... 509s Setting up libatspi2.0-0t64:amd64 (2.52.0-1build1) ... 509s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 509s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 509s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 509s Setting up ocaml-base (4.14.1-1ubuntu1) ... 509s Setting up at-spi2-common (2.52.0-1build1) ... 509s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 509s Setting up libharfbuzz0b:amd64 (8.3.0-2build2) ... 509s Setting up libthai-data (0.1.29-2build1) ... 509s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 509s Setting up libcairo-gobject2:amd64 (1.18.0-3build1) ... 509s Setting up libwayland-egl1:amd64 (1.22.0-2.1build1) ... 509s Setting up libxcomposite1:amd64 (1:0.4.5-1build3) ... 509s Setting up libwayland-client0:amd64 (1.22.0-2.1build1) ... 509s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 509s Setting up libatk1.0-0t64:amd64 (2.52.0-1build1) ... 509s Setting up libxcursor1:amd64 (1:1.2.2-1) ... 509s Setting up libavahi-common3:amd64 (0.8-13ubuntu6) ... 509s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 509s Setting up dconf-service (0.40.0-4build2) ... 509s Setting up libthai0:amd64 (0.1.29-2build1) ... 509s Setting up libwayland-cursor0:amd64 (1.22.0-2.1build1) ... 509s Setting up libavahi-client3:amd64 (0.8-13ubuntu6) ... 509s Setting up libatk-bridge2.0-0t64:amd64 (2.52.0-1build1) ... 509s Setting up dconf-gsettings-backend:amd64 (0.40.0-4build2) ... 509s Setting up libpango-1.0-0:amd64 (1.54.0+ds-1) ... 509s Setting up libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... 509s Setting up libcups2t64:amd64 (2.4.7-1.2ubuntu9) ... 509s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 509s Setting up libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... 509s Setting up adwaita-icon-theme (46.0-1) ... 509s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 509s Setting up humanity-icon-theme (0.6.16) ... 509s Setting up ubuntu-mono (24.04-0ubuntu1) ... 509s Processing triggers for man-db (2.12.1-2) ... 510s Processing triggers for libglib2.0-0t64:amd64 (2.80.4-1ubuntu1) ... 510s Setting up libgtk-3-0t64:amd64 (3.24.43-1ubuntu1) ... 510s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 510s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 510s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2build4) ... 510s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 510s Setting up why3 (1.6.0-1build7) ... 510s Setting up autopkgtest-satdep (0) ... 510s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 514s (Reading database ... 88404 files and directories currently installed.) 514s Removing autopkgtest-satdep (0) ... 519s autopkgtest [20:49:58]: test why3+z3: [----------------------- 520s autopkgtest [20:49:59]: test why3+z3: -----------------------] 520s autopkgtest [20:49:59]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 520s why3+z3 PASS 520s autopkgtest [20:49:59]: @@@@@@@@@@@@@@@@@@@@ summary 520s why3+alt-ergo SKIP installation fails and skip-not-installable set 520s why3+cvc4 PASS 520s why3+spass PASS 520s why3+z3 PASS 532s nova [W] Skipping flock for amd64 532s Creating nova instance adt-oracular-amd64-why3-20240712-204118-juju-7f2275-prod-proposed-migration-environment-2-fbf67044-316c-498f-82b9-31ea4db36967 from image adt/ubuntu-oracular-amd64-server-20240712.img (UUID 9132249a-6053-4497-bc26-981612ca03ad)... 532s nova [W] Skipping flock for amd64 532s Creating nova instance adt-oracular-amd64-why3-20240712-204118-juju-7f2275-prod-proposed-migration-environment-2-fbf67044-316c-498f-82b9-31ea4db36967 from image adt/ubuntu-oracular-amd64-server-20240712.img (UUID 9132249a-6053-4497-bc26-981612ca03ad)... 532s nova [W] Skipping flock for amd64 532s Creating nova instance adt-oracular-amd64-why3-20240712-204118-juju-7f2275-prod-proposed-migration-environment-2-fbf67044-316c-498f-82b9-31ea4db36967 from image adt/ubuntu-oracular-amd64-server-20240712.img (UUID 9132249a-6053-4497-bc26-981612ca03ad)... 532s nova [W] Skipping flock for amd64 532s Creating nova instance adt-oracular-amd64-why3-20240712-204118-juju-7f2275-prod-proposed-migration-environment-2-fbf67044-316c-498f-82b9-31ea4db36967 from image adt/ubuntu-oracular-amd64-server-20240712.img (UUID 9132249a-6053-4497-bc26-981612ca03ad)...