0s autopkgtest [22:12:49]: starting date and time: 2024-05-11 22:12:49+0000 0s autopkgtest [22:12:49]: git checkout: 699e7f9f ssh-setup/nova: explicitely set 'fqdn' in cloud-init 0s autopkgtest [22:12:49]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.jcfjvebm/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:pango1.0 --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=pango1.0/1.52.2+ds-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos01-s390x-22.secgroup --name adt-oracular-s390x-why3-20240511-221249-juju-7f2275-prod-proposed-migration-environment-3-d2252a25-feeb-4d43-bb66-cb7c6015f0ba --image adt/ubuntu-oracular-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://us.ports.ubuntu.com/ubuntu-ports/ 140s autopkgtest [22:15:09]: testbed dpkg architecture: s390x 141s autopkgtest [22:15:10]: testbed apt version: 2.7.14build2 141s autopkgtest [22:15:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup 141s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [73.9 kB] 141s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [1169 kB] 142s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [16.8 kB] 142s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [1964 B] 142s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [121 kB] 142s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x Packages [195 kB] 142s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x Packages [990 kB] 142s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x Packages [19.2 kB] 143s Fetched 2587 kB in 2s (1603 kB/s) 143s Reading package lists... 146s Reading package lists... 146s Building dependency tree... 146s Reading state information... 147s Calculating upgrade... 147s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 147s Reading package lists... 147s Building dependency tree... 147s Reading state information... 147s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 148s Hit:1 http://ftpmaster.internal/ubuntu oracular InRelease 148s Hit:2 http://ftpmaster.internal/ubuntu oracular-updates InRelease 148s Hit:3 http://ftpmaster.internal/ubuntu oracular-security InRelease 148s Hit:4 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 150s Reading package lists... 150s Reading package lists... 150s Building dependency tree... 150s Reading state information... 150s Calculating upgrade... 151s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 151s Reading package lists... 151s Building dependency tree... 151s Reading state information... 152s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 155s autopkgtest [22:15:24]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP Sat Apr 20 00:14:26 UTC 2024 155s autopkgtest [22:15:24]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 160s Get:1 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (dsc) [2749 B] 160s Get:2 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (tar) [6850 kB] 160s Get:3 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (diff) [18.6 kB] 161s gpgv: Signature made Mon Apr 1 04:40:36 2024 UTC 161s gpgv: using RSA key A089FB36AAFBDAD5ACC1325069F790171A210984 161s gpgv: Can't check signature: No public key 161s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build7.dsc: no acceptable signature found 161s autopkgtest [22:15:30]: testing package why3 version 1.6.0-1build7 162s autopkgtest [22:15:31]: build not needed 163s autopkgtest [22:15:32]: test why3+alt-ergo: preparing testbed 164s Reading package lists... 165s Building dependency tree... 165s Reading state information... 165s Starting pkgProblemResolver with broken count: 1 165s Starting 2 pkgProblemResolver with broken count: 1 165s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 165s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build7 @un uH > 165s Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998 165s Re-Instated libpixman-1-0:s390x 165s Re-Instated libxcb-render0:s390x 165s Re-Instated libxcb-shm0:s390x 165s Re-Instated libxrender1:s390x 165s Re-Instated libcairo2:s390x 165s Re-Instated libgdk-pixbuf2.0-common:s390x 165s Re-Instated libgdk-pixbuf-2.0-0:s390x 165s Re-Instated gtk-update-icon-cache:s390x 165s Re-Instated hicolor-icon-theme:s390x 165s Re-Instated humanity-icon-theme:s390x 165s Re-Instated ubuntu-mono:s390x 165s Re-Instated adwaita-icon-theme:s390x 165s Re-Instated at-spi2-common:s390x 165s Re-Instated libatk1.0-0t64:s390x 165s Re-Instated libxi6:s390x 165s Re-Instated libatspi2.0-0t64:s390x 165s Re-Instated libatk-bridge2.0-0t64:s390x 165s Re-Instated libcairo-gobject2:s390x 165s Re-Instated liblcms2-2:s390x 165s Re-Instated libcolord2:s390x 165s Re-Instated libavahi-common-data:s390x 165s Re-Instated libavahi-common3:s390x 165s Re-Instated libavahi-client3:s390x 165s Re-Instated libcups2t64:s390x 165s Re-Instated libepoxy0:s390x 165s Re-Instated libgraphite2-3:s390x 165s Re-Instated libharfbuzz0b:s390x 165s Re-Instated fontconfig:s390x 165s Re-Instated libthai-data:s390x 165s Re-Instated libdatrie1:s390x 165s Re-Instated libthai0:s390x 165s Re-Instated libpango-1.0-0:s390x 165s Re-Instated libpangoft2-1.0-0:s390x 165s Re-Instated libpangocairo-1.0-0:s390x 165s Re-Instated libwayland-client0:s390x 165s Re-Instated libwayland-cursor0:s390x 165s Re-Instated libwayland-egl1:s390x 165s Re-Instated libxcomposite1:s390x 165s Re-Instated libxfixes3:s390x 165s Re-Instated libxcursor1:s390x 165s Re-Instated libxdamage1:s390x 165s Re-Instated libxinerama1:s390x 165s Re-Instated libxrandr2:s390x 165s Re-Instated libdconf1:s390x 165s Re-Instated dconf-service:s390x 165s Re-Instated dconf-gsettings-backend:s390x 165s Re-Instated libgtk-3-common:s390x 165s Re-Instated libgtk-3-0t64:s390x 165s Re-Instated libgtksourceview-3.0-common:s390x 165s Re-Instated libgtksourceview-3.0-1:s390x 165s Re-Instated libstdlib-ocaml:s390x 165s Re-Instated ocaml-base:s390x 165s Re-Instated libcairo2-ocaml:s390x 165s Re-Instated liblablgtk3-ocaml:s390x 165s Re-Instated liblablgtksourceview3-ocaml:s390x 165s Re-Instated tex-common:s390x 165s Re-Instated why3:s390x 165s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0) 165s Done 165s Some packages could not be installed. This may mean that you have 165s requested an impossible situation or if you are using the unstable 165s distribution that some required packages have not yet been created 165s or been moved out of Incoming. 165s The following information may help to resolve the situation: 165s 165s The following packages have unmet dependencies: 165s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 165s E: Unable to correct problems, you have held broken packages. 165s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from oracular-proposed 166s Reading package lists... 166s Building dependency tree... 166s Reading state information... 167s Starting pkgProblemResolver with broken count: 1 167s Starting 2 pkgProblemResolver with broken count: 1 167s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 167s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build7 @un uH > 167s Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998 167s Re-Instated libpixman-1-0:s390x 167s Re-Instated libxcb-render0:s390x 167s Re-Instated libxcb-shm0:s390x 167s Re-Instated libxrender1:s390x 167s Re-Instated libcairo2:s390x 167s Re-Instated libgdk-pixbuf2.0-common:s390x 167s Re-Instated libgdk-pixbuf-2.0-0:s390x 167s Re-Instated gtk-update-icon-cache:s390x 167s Re-Instated hicolor-icon-theme:s390x 167s Re-Instated humanity-icon-theme:s390x 167s Re-Instated ubuntu-mono:s390x 167s Re-Instated adwaita-icon-theme:s390x 167s Re-Instated at-spi2-common:s390x 167s Re-Instated libatk1.0-0t64:s390x 167s Re-Instated libxi6:s390x 167s Re-Instated libatspi2.0-0t64:s390x 167s Re-Instated libatk-bridge2.0-0t64:s390x 167s Re-Instated libcairo-gobject2:s390x 167s Re-Instated liblcms2-2:s390x 167s Re-Instated libcolord2:s390x 167s Re-Instated libavahi-common-data:s390x 167s Re-Instated libavahi-common3:s390x 167s Re-Instated libavahi-client3:s390x 167s Re-Instated libcups2t64:s390x 167s Re-Instated libepoxy0:s390x 167s Re-Instated libgraphite2-3:s390x 167s Re-Instated libharfbuzz0b:s390x 167s Re-Instated fontconfig:s390x 167s Re-Instated libthai-data:s390x 167s Re-Instated libdatrie1:s390x 167s Re-Instated libthai0:s390x 167s Re-Instated libpango-1.0-0:s390x 167s Re-Instated libpangoft2-1.0-0:s390x 167s Re-Instated libpangocairo-1.0-0:s390x 167s Re-Instated libwayland-client0:s390x 167s Re-Instated libwayland-cursor0:s390x 167s Re-Instated libwayland-egl1:s390x 167s Re-Instated libxcomposite1:s390x 167s Re-Instated libxfixes3:s390x 167s Re-Instated libxcursor1:s390x 167s Re-Instated libxdamage1:s390x 167s Re-Instated libxinerama1:s390x 167s Re-Instated libxrandr2:s390x 167s Re-Instated libdconf1:s390x 167s Re-Instated dconf-service:s390x 167s Re-Instated dconf-gsettings-backend:s390x 167s Re-Instated libgtk-3-common:s390x 167s Re-Instated libgtk-3-0t64:s390x 167s Re-Instated libgtksourceview-3.0-common:s390x 167s Re-Instated libgtksourceview-3.0-1:s390x 167s Re-Instated libstdlib-ocaml:s390x 167s Re-Instated ocaml-base:s390x 167s Re-Instated libcairo2-ocaml:s390x 167s Re-Instated liblablgtk3-ocaml:s390x 167s Re-Instated liblablgtksourceview3-ocaml:s390x 167s Re-Instated tex-common:s390x 167s Re-Instated why3:s390x 167s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0) 167s Done 167s Some packages could not be installed. This may mean that you have 167s requested an impossible situation or if you are using the unstable 167s distribution that some required packages have not yet been created 167s or been moved out of Incoming. 167s The following information may help to resolve the situation: 167s 167s The following packages have unmet dependencies: 167s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 167s E: Unable to correct problems, you have held broken packages. 167s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 167s why3+alt-ergo SKIP installation fails and skip-not-installable set 167s autopkgtest [22:15:36]: test why3+cvc4: preparing testbed 332s autopkgtest [22:18:21]: testbed dpkg architecture: s390x 332s autopkgtest [22:18:21]: testbed apt version: 2.7.14build2 332s autopkgtest [22:18:21]: @@@@@@@@@@@@@@@@@@@@ test bed setup 333s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [73.9 kB] 333s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [121 kB] 333s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [16.8 kB] 333s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [1169 kB] 334s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [1964 B] 334s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x Packages [195 kB] 334s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x Packages [990 kB] 334s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x Packages [19.2 kB] 334s Fetched 2587 kB in 2s (1555 kB/s) 335s Reading package lists... 337s Reading package lists... 338s Building dependency tree... 338s Reading state information... 338s Calculating upgrade... 338s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 338s Reading package lists... 338s Building dependency tree... 338s Reading state information... 339s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 339s Hit:1 http://ftpmaster.internal/ubuntu oracular InRelease 339s Hit:2 http://ftpmaster.internal/ubuntu oracular-updates InRelease 339s Hit:3 http://ftpmaster.internal/ubuntu oracular-security InRelease 339s Hit:4 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 341s Reading package lists... 341s Reading package lists... 341s Building dependency tree... 341s Reading state information... 341s Calculating upgrade... 341s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 341s Reading package lists... 342s Building dependency tree... 342s Reading state information... 342s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 346s Reading package lists... 346s Building dependency tree... 346s Reading state information... 347s Starting pkgProblemResolver with broken count: 0 347s Starting 2 pkgProblemResolver with broken count: 0 347s Done 347s The following additional packages will be installed: 347s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 347s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 347s libantlr3c-3.4-0 libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 347s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 347s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 347s libcvc4parser7 libdatrie1 libdconf1 libepoxy0 libgdk-pixbuf-2.0-0 347s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 347s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b 347s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 347s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml 347s libthai-data libthai0 libwayland-client0 libwayland-cursor0 libwayland-egl1 347s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 347s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 347s why3 347s Suggested packages: 347s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 347s Recommended packages: 347s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 347s The following NEW packages will be installed: 347s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 347s dconf-gsettings-backend dconf-service fontconfig gtk-update-icon-cache 347s hicolor-icon-theme humanity-icon-theme libantlr3c-3.4-0 347s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 347s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 347s libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 libcvc4parser7 347s libdatrie1 libdconf1 libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 347s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 347s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 347s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 347s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 347s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 347s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 347s libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 347s 0 upgraded, 63 newly installed, 0 to remove and 0 not upgraded. 347s Need to get 36.0 MB/36.0 MB of archives. 347s After this operation, 165 MB of additional disk space will be used. 347s Get:1 /tmp/autopkgtest.sROsoT/2-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [720 B] 347s Get:2 http://ftpmaster.internal/ubuntu oracular/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3ubuntu3 [7852 B] 347s Get:3 http://ftpmaster.internal/ubuntu oracular/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3ubuntu3 [155 kB] 348s Get:4 http://ftpmaster.internal/ubuntu oracular/main s390x gtk-update-icon-cache s390x 3.24.41-4ubuntu1 [52.3 kB] 348s Get:5 http://ftpmaster.internal/ubuntu oracular/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 348s Get:6 http://ftpmaster.internal/ubuntu oracular/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 348s Get:7 http://ftpmaster.internal/ubuntu oracular/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 348s Get:8 http://ftpmaster.internal/ubuntu oracular/main s390x adwaita-icon-theme all 46.0-1 [723 kB] 348s Get:9 http://ftpmaster.internal/ubuntu oracular/main s390x at-spi2-common all 2.52.0-1build1 [8674 B] 348s Get:10 http://ftpmaster.internal/ubuntu oracular/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 348s Get:11 http://ftpmaster.internal/ubuntu oracular/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 349s Get:12 http://ftpmaster.internal/ubuntu oracular/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 349s Get:13 http://ftpmaster.internal/ubuntu oracular/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 349s Get:14 http://ftpmaster.internal/ubuntu oracular/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 349s Get:15 http://ftpmaster.internal/ubuntu oracular/main s390x libdconf1 s390x 0.40.0-4build2 [40.3 kB] 349s Get:16 http://ftpmaster.internal/ubuntu oracular/main s390x dconf-service s390x 0.40.0-4build2 [28.6 kB] 349s Get:17 http://ftpmaster.internal/ubuntu oracular/main s390x dconf-gsettings-backend s390x 0.40.0-4build2 [23.2 kB] 349s Get:18 http://ftpmaster.internal/ubuntu oracular/main s390x fontconfig s390x 2.15.0-1.1ubuntu2 [191 kB] 349s Get:19 http://ftpmaster.internal/ubuntu oracular/main s390x libatk1.0-0t64 s390x 2.52.0-1build1 [56.4 kB] 349s Get:20 http://ftpmaster.internal/ubuntu oracular/main s390x libxi6 s390x 2:1.8.1-1build1 [35.7 kB] 349s Get:21 http://ftpmaster.internal/ubuntu oracular/main s390x libatspi2.0-0t64 s390x 2.52.0-1build1 [81.1 kB] 349s Get:22 http://ftpmaster.internal/ubuntu oracular/main s390x libatk-bridge2.0-0t64 s390x 2.52.0-1build1 [66.9 kB] 349s Get:23 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-common-data s390x 0.8-13ubuntu6 [29.7 kB] 349s Get:24 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-common3 s390x 0.8-13ubuntu6 [24.1 kB] 350s Get:25 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-client3 s390x 0.8-13ubuntu6 [27.2 kB] 350s Get:26 http://ftpmaster.internal/ubuntu oracular/main s390x libpixman-1-0 s390x 0.42.2-1build1 [206 kB] 350s Get:27 http://ftpmaster.internal/ubuntu oracular/main s390x libxcb-render0 s390x 1.15-1ubuntu2 [17.4 kB] 350s Get:28 http://ftpmaster.internal/ubuntu oracular/main s390x libxcb-shm0 s390x 1.15-1ubuntu2 [5964 B] 350s Get:29 http://ftpmaster.internal/ubuntu oracular/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 350s Get:30 http://ftpmaster.internal/ubuntu oracular/main s390x libcairo2 s390x 1.18.0-3build1 [589 kB] 350s Get:31 http://ftpmaster.internal/ubuntu oracular/main s390x libcairo-gobject2 s390x 1.18.0-3build1 [127 kB] 350s Get:32 http://ftpmaster.internal/ubuntu oracular/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 350s Get:33 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 350s Get:34 http://ftpmaster.internal/ubuntu oracular/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 350s Get:35 http://ftpmaster.internal/ubuntu oracular/main s390x liblcms2-2 s390x 2.14-2build1 [172 kB] 350s Get:36 http://ftpmaster.internal/ubuntu oracular/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 350s Get:37 http://ftpmaster.internal/ubuntu oracular/main s390x libcups2t64 s390x 2.4.7-1.2ubuntu7 [282 kB] 350s Get:38 http://ftpmaster.internal/ubuntu oracular/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 350s Get:39 http://ftpmaster.internal/ubuntu oracular/main s390x libepoxy0 s390x 1.5.10-1build1 [224 kB] 350s Get:40 http://ftpmaster.internal/ubuntu oracular/main s390x libgraphite2-3 s390x 1.3.14-2build1 [80.0 kB] 350s Get:41 http://ftpmaster.internal/ubuntu oracular/main s390x libharfbuzz0b s390x 8.3.0-2build2 [515 kB] 350s Get:42 http://ftpmaster.internal/ubuntu oracular/main s390x libthai-data all 0.1.29-2build1 [158 kB] 350s Get:43 http://ftpmaster.internal/ubuntu oracular/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 350s Get:44 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpango-1.0-0 s390x 1.52.2+ds-1 [242 kB] 350s Get:45 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpangoft2-1.0-0 s390x 1.52.2+ds-1 [43.4 kB] 350s Get:46 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpangocairo-1.0-0 s390x 1.52.2+ds-1 [28.2 kB] 350s Get:47 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-client0 s390x 1.22.0-2.1build1 [26.8 kB] 350s Get:48 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-cursor0 s390x 1.22.0-2.1build1 [11.2 kB] 350s Get:49 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-egl1 s390x 1.22.0-2.1build1 [5608 B] 350s Get:50 http://ftpmaster.internal/ubuntu oracular/main s390x libxcomposite1 s390x 1:0.4.5-1build3 [6340 B] 350s Get:51 http://ftpmaster.internal/ubuntu oracular/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 350s Get:52 http://ftpmaster.internal/ubuntu oracular/main s390x libxcursor1 s390x 1:1.2.1-1build1 [22.9 kB] 350s Get:53 http://ftpmaster.internal/ubuntu oracular/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 350s Get:54 http://ftpmaster.internal/ubuntu oracular/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 350s Get:55 http://ftpmaster.internal/ubuntu oracular/main s390x libxrandr2 s390x 2:1.5.2-2build1 [21.3 kB] 350s Get:56 http://ftpmaster.internal/ubuntu oracular/main s390x libgtk-3-common all 3.24.41-4ubuntu1 [1202 kB] 350s Get:57 http://ftpmaster.internal/ubuntu oracular/main s390x libgtk-3-0t64 s390x 3.24.41-4ubuntu1 [2953 kB] 350s Get:58 http://ftpmaster.internal/ubuntu oracular/universe s390x libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 350s Get:59 http://ftpmaster.internal/ubuntu oracular/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build4 [233 kB] 350s Get:60 http://ftpmaster.internal/ubuntu oracular/universe s390x liblablgtk3-ocaml s390x 3.1.4-1build3 [4109 kB] 351s Get:61 http://ftpmaster.internal/ubuntu oracular/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1build3 [355 kB] 351s Get:62 http://ftpmaster.internal/ubuntu oracular/universe s390x tex-common all 6.18 [32.8 kB] 351s Get:63 http://ftpmaster.internal/ubuntu oracular/universe s390x why3 s390x 1.6.0-1build7 [14.0 MB] 352s Fetched 36.0 MB in 4s (8625 kB/s) 352s Selecting previously unselected package libgdk-pixbuf2.0-common. 352s (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 ... 54494 files and directories currently installed.) 352s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3ubuntu3_all.deb ... 352s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu3) ... 352s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 352s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3ubuntu3_s390x.deb ... 352s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3ubuntu3) ... 352s Selecting previously unselected package gtk-update-icon-cache. 352s Preparing to unpack .../02-gtk-update-icon-cache_3.24.41-4ubuntu1_s390x.deb ... 352s Unpacking gtk-update-icon-cache (3.24.41-4ubuntu1) ... 352s Selecting previously unselected package hicolor-icon-theme. 352s Preparing to unpack .../03-hicolor-icon-theme_0.17-2_all.deb ... 352s Unpacking hicolor-icon-theme (0.17-2) ... 352s Selecting previously unselected package humanity-icon-theme. 352s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 352s Unpacking humanity-icon-theme (0.6.16) ... 353s Selecting previously unselected package ubuntu-mono. 353s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 353s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 353s Selecting previously unselected package adwaita-icon-theme. 353s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 353s Unpacking adwaita-icon-theme (46.0-1) ... 353s Selecting previously unselected package at-spi2-common. 353s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 353s Unpacking at-spi2-common (2.52.0-1build1) ... 353s Selecting previously unselected package libcln6:s390x. 353s Preparing to unpack .../08-libcln6_1.3.7-1_s390x.deb ... 353s Unpacking libcln6:s390x (1.3.7-1) ... 353s Selecting previously unselected package libcvc4-7:s390x. 354s Preparing to unpack .../09-libcvc4-7_1.8-3build2_s390x.deb ... 354s Unpacking libcvc4-7:s390x (1.8-3build2) ... 354s Selecting previously unselected package libantlr3c-3.4-0:s390x. 354s Preparing to unpack .../10-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 354s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 354s Selecting previously unselected package libcvc4parser7:s390x. 354s Preparing to unpack .../11-libcvc4parser7_1.8-3build2_s390x.deb ... 354s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 354s Selecting previously unselected package cvc4. 354s Preparing to unpack .../12-cvc4_1.8-3build2_s390x.deb ... 354s Unpacking cvc4 (1.8-3build2) ... 354s Selecting previously unselected package libdconf1:s390x. 354s Preparing to unpack .../13-libdconf1_0.40.0-4build2_s390x.deb ... 354s Unpacking libdconf1:s390x (0.40.0-4build2) ... 354s Selecting previously unselected package dconf-service. 354s Preparing to unpack .../14-dconf-service_0.40.0-4build2_s390x.deb ... 354s Unpacking dconf-service (0.40.0-4build2) ... 354s Selecting previously unselected package dconf-gsettings-backend:s390x. 354s Preparing to unpack .../15-dconf-gsettings-backend_0.40.0-4build2_s390x.deb ... 354s Unpacking dconf-gsettings-backend:s390x (0.40.0-4build2) ... 354s Selecting previously unselected package fontconfig. 354s Preparing to unpack .../16-fontconfig_2.15.0-1.1ubuntu2_s390x.deb ... 354s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 354s Selecting previously unselected package libatk1.0-0t64:s390x. 354s Preparing to unpack .../17-libatk1.0-0t64_2.52.0-1build1_s390x.deb ... 354s Unpacking libatk1.0-0t64:s390x (2.52.0-1build1) ... 354s Selecting previously unselected package libxi6:s390x. 354s Preparing to unpack .../18-libxi6_2%3a1.8.1-1build1_s390x.deb ... 354s Unpacking libxi6:s390x (2:1.8.1-1build1) ... 354s Selecting previously unselected package libatspi2.0-0t64:s390x. 354s Preparing to unpack .../19-libatspi2.0-0t64_2.52.0-1build1_s390x.deb ... 354s Unpacking libatspi2.0-0t64:s390x (2.52.0-1build1) ... 354s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 354s Preparing to unpack .../20-libatk-bridge2.0-0t64_2.52.0-1build1_s390x.deb ... 354s Unpacking libatk-bridge2.0-0t64:s390x (2.52.0-1build1) ... 354s Selecting previously unselected package libavahi-common-data:s390x. 354s Preparing to unpack .../21-libavahi-common-data_0.8-13ubuntu6_s390x.deb ... 354s Unpacking libavahi-common-data:s390x (0.8-13ubuntu6) ... 354s Selecting previously unselected package libavahi-common3:s390x. 354s Preparing to unpack .../22-libavahi-common3_0.8-13ubuntu6_s390x.deb ... 354s Unpacking libavahi-common3:s390x (0.8-13ubuntu6) ... 354s Selecting previously unselected package libavahi-client3:s390x. 354s Preparing to unpack .../23-libavahi-client3_0.8-13ubuntu6_s390x.deb ... 354s Unpacking libavahi-client3:s390x (0.8-13ubuntu6) ... 354s Selecting previously unselected package libpixman-1-0:s390x. 354s Preparing to unpack .../24-libpixman-1-0_0.42.2-1build1_s390x.deb ... 354s Unpacking libpixman-1-0:s390x (0.42.2-1build1) ... 354s Selecting previously unselected package libxcb-render0:s390x. 354s Preparing to unpack .../25-libxcb-render0_1.15-1ubuntu2_s390x.deb ... 354s Unpacking libxcb-render0:s390x (1.15-1ubuntu2) ... 354s Selecting previously unselected package libxcb-shm0:s390x. 354s Preparing to unpack .../26-libxcb-shm0_1.15-1ubuntu2_s390x.deb ... 354s Unpacking libxcb-shm0:s390x (1.15-1ubuntu2) ... 354s Selecting previously unselected package libxrender1:s390x. 354s Preparing to unpack .../27-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 354s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 354s Selecting previously unselected package libcairo2:s390x. 354s Preparing to unpack .../28-libcairo2_1.18.0-3build1_s390x.deb ... 354s Unpacking libcairo2:s390x (1.18.0-3build1) ... 354s Selecting previously unselected package libcairo-gobject2:s390x. 354s Preparing to unpack .../29-libcairo-gobject2_1.18.0-3build1_s390x.deb ... 354s Unpacking libcairo-gobject2:s390x (1.18.0-3build1) ... 354s Selecting previously unselected package libstdlib-ocaml. 354s Preparing to unpack .../30-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 354s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 354s Selecting previously unselected package ocaml-base. 354s Preparing to unpack .../31-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 354s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 354s Selecting previously unselected package libcairo2-ocaml. 354s Preparing to unpack .../32-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 354s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 354s Selecting previously unselected package liblcms2-2:s390x. 354s Preparing to unpack .../33-liblcms2-2_2.14-2build1_s390x.deb ... 354s Unpacking liblcms2-2:s390x (2.14-2build1) ... 354s Selecting previously unselected package libcolord2:s390x. 354s Preparing to unpack .../34-libcolord2_1.4.7-1build2_s390x.deb ... 354s Unpacking libcolord2:s390x (1.4.7-1build2) ... 354s Selecting previously unselected package libcups2t64:s390x. 354s Preparing to unpack .../35-libcups2t64_2.4.7-1.2ubuntu7_s390x.deb ... 354s Unpacking libcups2t64:s390x (2.4.7-1.2ubuntu7) ... 354s Selecting previously unselected package libdatrie1:s390x. 354s Preparing to unpack .../36-libdatrie1_0.2.13-3build1_s390x.deb ... 354s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 355s Selecting previously unselected package libepoxy0:s390x. 355s Preparing to unpack .../37-libepoxy0_1.5.10-1build1_s390x.deb ... 355s Unpacking libepoxy0:s390x (1.5.10-1build1) ... 355s Selecting previously unselected package libgraphite2-3:s390x. 355s Preparing to unpack .../38-libgraphite2-3_1.3.14-2build1_s390x.deb ... 355s Unpacking libgraphite2-3:s390x (1.3.14-2build1) ... 355s Selecting previously unselected package libharfbuzz0b:s390x. 355s Preparing to unpack .../39-libharfbuzz0b_8.3.0-2build2_s390x.deb ... 355s Unpacking libharfbuzz0b:s390x (8.3.0-2build2) ... 355s Selecting previously unselected package libthai-data. 355s Preparing to unpack .../40-libthai-data_0.1.29-2build1_all.deb ... 355s Unpacking libthai-data (0.1.29-2build1) ... 355s Selecting previously unselected package libthai0:s390x. 355s Preparing to unpack .../41-libthai0_0.1.29-2build1_s390x.deb ... 355s Unpacking libthai0:s390x (0.1.29-2build1) ... 355s Selecting previously unselected package libpango-1.0-0:s390x. 355s Preparing to unpack .../42-libpango-1.0-0_1.52.2+ds-1_s390x.deb ... 355s Unpacking libpango-1.0-0:s390x (1.52.2+ds-1) ... 355s Selecting previously unselected package libpangoft2-1.0-0:s390x. 355s Preparing to unpack .../43-libpangoft2-1.0-0_1.52.2+ds-1_s390x.deb ... 355s Unpacking libpangoft2-1.0-0:s390x (1.52.2+ds-1) ... 355s Selecting previously unselected package libpangocairo-1.0-0:s390x. 355s Preparing to unpack .../44-libpangocairo-1.0-0_1.52.2+ds-1_s390x.deb ... 355s Unpacking libpangocairo-1.0-0:s390x (1.52.2+ds-1) ... 355s Selecting previously unselected package libwayland-client0:s390x. 355s Preparing to unpack .../45-libwayland-client0_1.22.0-2.1build1_s390x.deb ... 355s Unpacking libwayland-client0:s390x (1.22.0-2.1build1) ... 355s Selecting previously unselected package libwayland-cursor0:s390x. 355s Preparing to unpack .../46-libwayland-cursor0_1.22.0-2.1build1_s390x.deb ... 355s Unpacking libwayland-cursor0:s390x (1.22.0-2.1build1) ... 355s Selecting previously unselected package libwayland-egl1:s390x. 355s Preparing to unpack .../47-libwayland-egl1_1.22.0-2.1build1_s390x.deb ... 355s Unpacking libwayland-egl1:s390x (1.22.0-2.1build1) ... 355s Selecting previously unselected package libxcomposite1:s390x. 355s Preparing to unpack .../48-libxcomposite1_1%3a0.4.5-1build3_s390x.deb ... 355s Unpacking libxcomposite1:s390x (1:0.4.5-1build3) ... 355s Selecting previously unselected package libxfixes3:s390x. 355s Preparing to unpack .../49-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 355s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 355s Selecting previously unselected package libxcursor1:s390x. 355s Preparing to unpack .../50-libxcursor1_1%3a1.2.1-1build1_s390x.deb ... 355s Unpacking libxcursor1:s390x (1:1.2.1-1build1) ... 355s Selecting previously unselected package libxdamage1:s390x. 355s Preparing to unpack .../51-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 355s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 355s Selecting previously unselected package libxinerama1:s390x. 355s Preparing to unpack .../52-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 355s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 355s Selecting previously unselected package libxrandr2:s390x. 355s Preparing to unpack .../53-libxrandr2_2%3a1.5.2-2build1_s390x.deb ... 355s Unpacking libxrandr2:s390x (2:1.5.2-2build1) ... 355s Selecting previously unselected package libgtk-3-common. 355s Preparing to unpack .../54-libgtk-3-common_3.24.41-4ubuntu1_all.deb ... 355s Unpacking libgtk-3-common (3.24.41-4ubuntu1) ... 355s Selecting previously unselected package libgtk-3-0t64:s390x. 355s Preparing to unpack .../55-libgtk-3-0t64_3.24.41-4ubuntu1_s390x.deb ... 355s Unpacking libgtk-3-0t64:s390x (3.24.41-4ubuntu1) ... 355s Selecting previously unselected package libgtksourceview-3.0-common. 355s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 355s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 355s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 355s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build4_s390x.deb ... 355s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build4) ... 355s Selecting previously unselected package liblablgtk3-ocaml. 355s Preparing to unpack .../58-liblablgtk3-ocaml_3.1.4-1build3_s390x.deb ... 355s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 355s Selecting previously unselected package liblablgtksourceview3-ocaml. 355s Preparing to unpack .../59-liblablgtksourceview3-ocaml_3.1.4-1build3_s390x.deb ... 355s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 356s Selecting previously unselected package tex-common. 356s Preparing to unpack .../60-tex-common_6.18_all.deb ... 356s Unpacking tex-common (6.18) ... 356s Selecting previously unselected package why3. 356s Preparing to unpack .../61-why3_1.6.0-1build7_s390x.deb ... 356s Unpacking why3 (1.6.0-1build7) ... 356s Selecting previously unselected package autopkgtest-satdep. 356s Preparing to unpack .../62-2-autopkgtest-satdep.deb ... 356s Unpacking autopkgtest-satdep (0) ... 356s Setting up libgraphite2-3:s390x (1.3.14-2build1) ... 356s Setting up liblcms2-2:s390x (2.14-2build1) ... 356s Setting up libpixman-1-0:s390x (0.42.2-1build1) ... 356s Setting up libcln6:s390x (1.3.7-1) ... 356s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 358s Regenerating fonts cache... done. 358s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 358s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 358s Setting up hicolor-icon-theme (0.17-2) ... 358s Setting up libxi6:s390x (2:1.8.1-1build1) ... 358s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 358s Setting up libdatrie1:s390x (0.2.13-3build1) ... 358s Setting up libxcb-render0:s390x (1.15-1ubuntu2) ... 358s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu3) ... 358s Setting up libxcb-shm0:s390x (1.15-1ubuntu2) ... 358s Setting up libcairo2:s390x (1.18.0-3build1) ... 358s Setting up libcolord2:s390x (1.4.7-1build2) ... 358s Setting up libdconf1:s390x (0.40.0-4build2) ... 358s Setting up tex-common (6.18) ... 358s update-language: texlive-base not installed and configured, doing nothing! 358s Setting up libepoxy0:s390x (1.5.10-1build1) ... 358s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 358s Setting up libavahi-common-data:s390x (0.8-13ubuntu6) ... 358s Setting up libatspi2.0-0t64:s390x (2.52.0-1build1) ... 358s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 358s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 359s Setting up libxrandr2:s390x (2:1.5.2-2build1) ... 359s Setting up ocaml-base (4.14.1-1ubuntu1) ... 359s Setting up at-spi2-common (2.52.0-1build1) ... 359s Setting up libcvc4-7:s390x (1.8-3build2) ... 359s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 359s Setting up libharfbuzz0b:s390x (8.3.0-2build2) ... 359s Setting up libthai-data (0.1.29-2build1) ... 359s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3ubuntu3) ... 359s Setting up libcairo-gobject2:s390x (1.18.0-3build1) ... 359s Setting up libwayland-egl1:s390x (1.22.0-2.1build1) ... 359s Setting up libxcomposite1:s390x (1:0.4.5-1build3) ... 359s Setting up libwayland-client0:s390x (1.22.0-2.1build1) ... 359s Setting up gtk-update-icon-cache (3.24.41-4ubuntu1) ... 359s Setting up libatk1.0-0t64:s390x (2.52.0-1build1) ... 359s Setting up libxcursor1:s390x (1:1.2.1-1build1) ... 359s Setting up libavahi-common3:s390x (0.8-13ubuntu6) ... 359s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 359s Setting up dconf-service (0.40.0-4build2) ... 359s Setting up libthai0:s390x (0.1.29-2build1) ... 359s Setting up libcvc4parser7:s390x (1.8-3build2) ... 359s Setting up libwayland-cursor0:s390x (1.22.0-2.1build1) ... 359s Setting up cvc4 (1.8-3build2) ... 359s Setting up libavahi-client3:s390x (0.8-13ubuntu6) ... 359s Setting up libatk-bridge2.0-0t64:s390x (2.52.0-1build1) ... 359s Setting up dconf-gsettings-backend:s390x (0.40.0-4build2) ... 359s Setting up libpango-1.0-0:s390x (1.52.2+ds-1) ... 359s Setting up libpangoft2-1.0-0:s390x (1.52.2+ds-1) ... 359s Setting up libcups2t64:s390x (2.4.7-1.2ubuntu7) ... 359s Setting up libgtk-3-common (3.24.41-4ubuntu1) ... 359s Setting up libpangocairo-1.0-0:s390x (1.52.2+ds-1) ... 359s Setting up adwaita-icon-theme (46.0-1) ... 359s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 359s Setting up humanity-icon-theme (0.6.16) ... 359s Setting up ubuntu-mono (24.04-0ubuntu1) ... 359s Processing triggers for man-db (2.12.0-4build2) ... 360s Processing triggers for libglib2.0-0t64:s390x (2.80.0-6ubuntu1) ... 360s Setting up libgtk-3-0t64:s390x (3.24.41-4ubuntu1) ... 360s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 360s Processing triggers for libc-bin (2.39-0ubuntu8) ... 360s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build4) ... 360s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 360s Setting up why3 (1.6.0-1build7) ... 360s Setting up autopkgtest-satdep (0) ... 360s Processing triggers for libc-bin (2.39-0ubuntu8) ... 365s (Reading database ... 68116 files and directories currently installed.) 365s Removing autopkgtest-satdep (0) ... 373s autopkgtest [22:19:02]: test why3+cvc4: [----------------------- 374s autopkgtest [22:19:03]: test why3+cvc4: -----------------------] 375s why3+cvc4 PASS 375s autopkgtest [22:19:04]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 375s autopkgtest [22:19:04]: test why3+spass: preparing testbed 682s autopkgtest [22:24:11]: testbed dpkg architecture: s390x 682s autopkgtest [22:24:11]: testbed apt version: 2.7.14build2 682s autopkgtest [22:24:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup 682s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [73.9 kB] 683s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [1169 kB] 683s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [1964 B] 683s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [121 kB] 683s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [16.8 kB] 683s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x Packages [195 kB] 683s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x Packages [990 kB] 683s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x Packages [19.2 kB] 684s Fetched 2587 kB in 1s (1814 kB/s) 684s Reading package lists... 687s Reading package lists... 687s Building dependency tree... 687s Reading state information... 687s Calculating upgrade... 688s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 688s Reading package lists... 688s Building dependency tree... 688s Reading state information... 688s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 689s Hit:1 http://ftpmaster.internal/ubuntu oracular InRelease 689s Hit:2 http://ftpmaster.internal/ubuntu oracular-updates InRelease 689s Hit:3 http://ftpmaster.internal/ubuntu oracular-security InRelease 689s Hit:4 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 690s Reading package lists... 690s Reading package lists... 691s Building dependency tree... 691s Reading state information... 691s Calculating upgrade... 691s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 691s Reading package lists... 692s Building dependency tree... 692s Reading state information... 692s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 696s Reading package lists... 697s Building dependency tree... 697s Reading state information... 697s Starting pkgProblemResolver with broken count: 0 697s Starting 2 pkgProblemResolver with broken count: 0 697s Done 697s The following additional packages will be installed: 697s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 697s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 697s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 697s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 697s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libepoxy0 697s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 697s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 697s libharfbuzz0b liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 697s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 698s libstdlib-ocaml libthai-data libthai0 libwayland-client0 libwayland-cursor0 698s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 698s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base 698s spass tex-common ubuntu-mono why3 698s Suggested packages: 698s colord cups-common gvfs liblcms2-utils debhelper why3-examples 698s Recommended packages: 698s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 698s The following NEW packages will be installed: 698s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 698s dconf-service fontconfig gtk-update-icon-cache hicolor-icon-theme 698s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 698s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 698s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 698s libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 698s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 698s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 698s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 698s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 698s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 698s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 698s libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common ubuntu-mono 698s why3 698s 0 upgraded, 59 newly installed, 0 to remove and 0 not upgraded. 698s Need to get 30.3 MB/30.3 MB of archives. 698s After this operation, 146 MB of additional disk space will be used. 698s Get:1 /tmp/autopkgtest.sROsoT/3-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B] 698s Get:2 http://ftpmaster.internal/ubuntu oracular/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3ubuntu3 [7852 B] 698s Get:3 http://ftpmaster.internal/ubuntu oracular/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3ubuntu3 [155 kB] 698s Get:4 http://ftpmaster.internal/ubuntu oracular/main s390x gtk-update-icon-cache s390x 3.24.41-4ubuntu1 [52.3 kB] 698s Get:5 http://ftpmaster.internal/ubuntu oracular/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 698s Get:6 http://ftpmaster.internal/ubuntu oracular/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 698s Get:7 http://ftpmaster.internal/ubuntu oracular/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 698s Get:8 http://ftpmaster.internal/ubuntu oracular/main s390x adwaita-icon-theme all 46.0-1 [723 kB] 698s Get:9 http://ftpmaster.internal/ubuntu oracular/main s390x at-spi2-common all 2.52.0-1build1 [8674 B] 698s Get:10 http://ftpmaster.internal/ubuntu oracular/main s390x libdconf1 s390x 0.40.0-4build2 [40.3 kB] 698s Get:11 http://ftpmaster.internal/ubuntu oracular/main s390x dconf-service s390x 0.40.0-4build2 [28.6 kB] 698s Get:12 http://ftpmaster.internal/ubuntu oracular/main s390x dconf-gsettings-backend s390x 0.40.0-4build2 [23.2 kB] 698s Get:13 http://ftpmaster.internal/ubuntu oracular/main s390x fontconfig s390x 2.15.0-1.1ubuntu2 [191 kB] 698s Get:14 http://ftpmaster.internal/ubuntu oracular/main s390x libatk1.0-0t64 s390x 2.52.0-1build1 [56.4 kB] 698s Get:15 http://ftpmaster.internal/ubuntu oracular/main s390x libxi6 s390x 2:1.8.1-1build1 [35.7 kB] 698s Get:16 http://ftpmaster.internal/ubuntu oracular/main s390x libatspi2.0-0t64 s390x 2.52.0-1build1 [81.1 kB] 698s Get:17 http://ftpmaster.internal/ubuntu oracular/main s390x libatk-bridge2.0-0t64 s390x 2.52.0-1build1 [66.9 kB] 698s Get:18 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-common-data s390x 0.8-13ubuntu6 [29.7 kB] 698s Get:19 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-common3 s390x 0.8-13ubuntu6 [24.1 kB] 698s Get:20 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-client3 s390x 0.8-13ubuntu6 [27.2 kB] 698s Get:21 http://ftpmaster.internal/ubuntu oracular/main s390x libpixman-1-0 s390x 0.42.2-1build1 [206 kB] 698s Get:22 http://ftpmaster.internal/ubuntu oracular/main s390x libxcb-render0 s390x 1.15-1ubuntu2 [17.4 kB] 698s Get:23 http://ftpmaster.internal/ubuntu oracular/main s390x libxcb-shm0 s390x 1.15-1ubuntu2 [5964 B] 698s Get:24 http://ftpmaster.internal/ubuntu oracular/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 698s Get:25 http://ftpmaster.internal/ubuntu oracular/main s390x libcairo2 s390x 1.18.0-3build1 [589 kB] 698s Get:26 http://ftpmaster.internal/ubuntu oracular/main s390x libcairo-gobject2 s390x 1.18.0-3build1 [127 kB] 698s Get:27 http://ftpmaster.internal/ubuntu oracular/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 699s Get:28 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 699s Get:29 http://ftpmaster.internal/ubuntu oracular/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 699s Get:30 http://ftpmaster.internal/ubuntu oracular/main s390x liblcms2-2 s390x 2.14-2build1 [172 kB] 699s Get:31 http://ftpmaster.internal/ubuntu oracular/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 699s Get:32 http://ftpmaster.internal/ubuntu oracular/main s390x libcups2t64 s390x 2.4.7-1.2ubuntu7 [282 kB] 699s Get:33 http://ftpmaster.internal/ubuntu oracular/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 699s Get:34 http://ftpmaster.internal/ubuntu oracular/main s390x libepoxy0 s390x 1.5.10-1build1 [224 kB] 699s Get:35 http://ftpmaster.internal/ubuntu oracular/main s390x libgraphite2-3 s390x 1.3.14-2build1 [80.0 kB] 699s Get:36 http://ftpmaster.internal/ubuntu oracular/main s390x libharfbuzz0b s390x 8.3.0-2build2 [515 kB] 699s Get:37 http://ftpmaster.internal/ubuntu oracular/main s390x libthai-data all 0.1.29-2build1 [158 kB] 699s Get:38 http://ftpmaster.internal/ubuntu oracular/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 699s Get:39 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpango-1.0-0 s390x 1.52.2+ds-1 [242 kB] 699s Get:40 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpangoft2-1.0-0 s390x 1.52.2+ds-1 [43.4 kB] 699s Get:41 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpangocairo-1.0-0 s390x 1.52.2+ds-1 [28.2 kB] 699s Get:42 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-client0 s390x 1.22.0-2.1build1 [26.8 kB] 699s Get:43 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-cursor0 s390x 1.22.0-2.1build1 [11.2 kB] 699s Get:44 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-egl1 s390x 1.22.0-2.1build1 [5608 B] 699s Get:45 http://ftpmaster.internal/ubuntu oracular/main s390x libxcomposite1 s390x 1:0.4.5-1build3 [6340 B] 699s Get:46 http://ftpmaster.internal/ubuntu oracular/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 699s Get:47 http://ftpmaster.internal/ubuntu oracular/main s390x libxcursor1 s390x 1:1.2.1-1build1 [22.9 kB] 699s Get:48 http://ftpmaster.internal/ubuntu oracular/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 699s Get:49 http://ftpmaster.internal/ubuntu oracular/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 699s Get:50 http://ftpmaster.internal/ubuntu oracular/main s390x libxrandr2 s390x 2:1.5.2-2build1 [21.3 kB] 699s Get:51 http://ftpmaster.internal/ubuntu oracular/main s390x libgtk-3-common all 3.24.41-4ubuntu1 [1202 kB] 699s Get:52 http://ftpmaster.internal/ubuntu oracular/main s390x libgtk-3-0t64 s390x 3.24.41-4ubuntu1 [2953 kB] 699s Get:53 http://ftpmaster.internal/ubuntu oracular/universe s390x libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 699s Get:54 http://ftpmaster.internal/ubuntu oracular/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build4 [233 kB] 699s Get:55 http://ftpmaster.internal/ubuntu oracular/universe s390x liblablgtk3-ocaml s390x 3.1.4-1build3 [4109 kB] 699s Get:56 http://ftpmaster.internal/ubuntu oracular/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1build3 [355 kB] 699s Get:57 http://ftpmaster.internal/ubuntu oracular/universe s390x spass s390x 3.9-1.1 [354 kB] 699s Get:58 http://ftpmaster.internal/ubuntu oracular/universe s390x tex-common all 6.18 [32.8 kB] 699s Get:59 http://ftpmaster.internal/ubuntu oracular/universe s390x why3 s390x 1.6.0-1build7 [14.0 MB] 701s Fetched 30.3 MB in 3s (11.4 MB/s) 701s Selecting previously unselected package libgdk-pixbuf2.0-common. 701s (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 ... 54494 files and directories currently installed.) 701s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3ubuntu3_all.deb ... 701s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu3) ... 701s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 701s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3ubuntu3_s390x.deb ... 701s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3ubuntu3) ... 701s Selecting previously unselected package gtk-update-icon-cache. 701s Preparing to unpack .../02-gtk-update-icon-cache_3.24.41-4ubuntu1_s390x.deb ... 701s Unpacking gtk-update-icon-cache (3.24.41-4ubuntu1) ... 701s Selecting previously unselected package hicolor-icon-theme. 701s Preparing to unpack .../03-hicolor-icon-theme_0.17-2_all.deb ... 701s Unpacking hicolor-icon-theme (0.17-2) ... 701s Selecting previously unselected package humanity-icon-theme. 701s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 701s Unpacking humanity-icon-theme (0.6.16) ... 702s Selecting previously unselected package ubuntu-mono. 702s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 702s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 702s Selecting previously unselected package adwaita-icon-theme. 702s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 702s Unpacking adwaita-icon-theme (46.0-1) ... 703s Selecting previously unselected package at-spi2-common. 703s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 703s Unpacking at-spi2-common (2.52.0-1build1) ... 703s Selecting previously unselected package libdconf1:s390x. 703s Preparing to unpack .../08-libdconf1_0.40.0-4build2_s390x.deb ... 703s Unpacking libdconf1:s390x (0.40.0-4build2) ... 703s Selecting previously unselected package dconf-service. 703s Preparing to unpack .../09-dconf-service_0.40.0-4build2_s390x.deb ... 703s Unpacking dconf-service (0.40.0-4build2) ... 703s Selecting previously unselected package dconf-gsettings-backend:s390x. 703s Preparing to unpack .../10-dconf-gsettings-backend_0.40.0-4build2_s390x.deb ... 703s Unpacking dconf-gsettings-backend:s390x (0.40.0-4build2) ... 703s Selecting previously unselected package fontconfig. 703s Preparing to unpack .../11-fontconfig_2.15.0-1.1ubuntu2_s390x.deb ... 703s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 703s Selecting previously unselected package libatk1.0-0t64:s390x. 703s Preparing to unpack .../12-libatk1.0-0t64_2.52.0-1build1_s390x.deb ... 703s Unpacking libatk1.0-0t64:s390x (2.52.0-1build1) ... 703s Selecting previously unselected package libxi6:s390x. 703s Preparing to unpack .../13-libxi6_2%3a1.8.1-1build1_s390x.deb ... 703s Unpacking libxi6:s390x (2:1.8.1-1build1) ... 703s Selecting previously unselected package libatspi2.0-0t64:s390x. 703s Preparing to unpack .../14-libatspi2.0-0t64_2.52.0-1build1_s390x.deb ... 703s Unpacking libatspi2.0-0t64:s390x (2.52.0-1build1) ... 703s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 703s Preparing to unpack .../15-libatk-bridge2.0-0t64_2.52.0-1build1_s390x.deb ... 703s Unpacking libatk-bridge2.0-0t64:s390x (2.52.0-1build1) ... 703s Selecting previously unselected package libavahi-common-data:s390x. 703s Preparing to unpack .../16-libavahi-common-data_0.8-13ubuntu6_s390x.deb ... 703s Unpacking libavahi-common-data:s390x (0.8-13ubuntu6) ... 703s Selecting previously unselected package libavahi-common3:s390x. 703s Preparing to unpack .../17-libavahi-common3_0.8-13ubuntu6_s390x.deb ... 703s Unpacking libavahi-common3:s390x (0.8-13ubuntu6) ... 703s Selecting previously unselected package libavahi-client3:s390x. 703s Preparing to unpack .../18-libavahi-client3_0.8-13ubuntu6_s390x.deb ... 703s Unpacking libavahi-client3:s390x (0.8-13ubuntu6) ... 703s Selecting previously unselected package libpixman-1-0:s390x. 703s Preparing to unpack .../19-libpixman-1-0_0.42.2-1build1_s390x.deb ... 703s Unpacking libpixman-1-0:s390x (0.42.2-1build1) ... 703s Selecting previously unselected package libxcb-render0:s390x. 703s Preparing to unpack .../20-libxcb-render0_1.15-1ubuntu2_s390x.deb ... 703s Unpacking libxcb-render0:s390x (1.15-1ubuntu2) ... 703s Selecting previously unselected package libxcb-shm0:s390x. 703s Preparing to unpack .../21-libxcb-shm0_1.15-1ubuntu2_s390x.deb ... 703s Unpacking libxcb-shm0:s390x (1.15-1ubuntu2) ... 703s Selecting previously unselected package libxrender1:s390x. 703s Preparing to unpack .../22-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 703s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 703s Selecting previously unselected package libcairo2:s390x. 703s Preparing to unpack .../23-libcairo2_1.18.0-3build1_s390x.deb ... 703s Unpacking libcairo2:s390x (1.18.0-3build1) ... 703s Selecting previously unselected package libcairo-gobject2:s390x. 703s Preparing to unpack .../24-libcairo-gobject2_1.18.0-3build1_s390x.deb ... 703s Unpacking libcairo-gobject2:s390x (1.18.0-3build1) ... 703s Selecting previously unselected package libstdlib-ocaml. 703s Preparing to unpack .../25-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 703s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 703s Selecting previously unselected package ocaml-base. 703s Preparing to unpack .../26-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 703s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 703s Selecting previously unselected package libcairo2-ocaml. 703s Preparing to unpack .../27-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 703s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 703s Selecting previously unselected package liblcms2-2:s390x. 703s Preparing to unpack .../28-liblcms2-2_2.14-2build1_s390x.deb ... 703s Unpacking liblcms2-2:s390x (2.14-2build1) ... 703s Selecting previously unselected package libcolord2:s390x. 703s Preparing to unpack .../29-libcolord2_1.4.7-1build2_s390x.deb ... 703s Unpacking libcolord2:s390x (1.4.7-1build2) ... 703s Selecting previously unselected package libcups2t64:s390x. 703s Preparing to unpack .../30-libcups2t64_2.4.7-1.2ubuntu7_s390x.deb ... 703s Unpacking libcups2t64:s390x (2.4.7-1.2ubuntu7) ... 703s Selecting previously unselected package libdatrie1:s390x. 703s Preparing to unpack .../31-libdatrie1_0.2.13-3build1_s390x.deb ... 703s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 703s Selecting previously unselected package libepoxy0:s390x. 704s Preparing to unpack .../32-libepoxy0_1.5.10-1build1_s390x.deb ... 704s Unpacking libepoxy0:s390x (1.5.10-1build1) ... 704s Selecting previously unselected package libgraphite2-3:s390x. 704s Preparing to unpack .../33-libgraphite2-3_1.3.14-2build1_s390x.deb ... 704s Unpacking libgraphite2-3:s390x (1.3.14-2build1) ... 704s Selecting previously unselected package libharfbuzz0b:s390x. 704s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2build2_s390x.deb ... 704s Unpacking libharfbuzz0b:s390x (8.3.0-2build2) ... 704s Selecting previously unselected package libthai-data. 704s Preparing to unpack .../35-libthai-data_0.1.29-2build1_all.deb ... 704s Unpacking libthai-data (0.1.29-2build1) ... 704s Selecting previously unselected package libthai0:s390x. 704s Preparing to unpack .../36-libthai0_0.1.29-2build1_s390x.deb ... 704s Unpacking libthai0:s390x (0.1.29-2build1) ... 704s Selecting previously unselected package libpango-1.0-0:s390x. 704s Preparing to unpack .../37-libpango-1.0-0_1.52.2+ds-1_s390x.deb ... 704s Unpacking libpango-1.0-0:s390x (1.52.2+ds-1) ... 704s Selecting previously unselected package libpangoft2-1.0-0:s390x. 704s Preparing to unpack .../38-libpangoft2-1.0-0_1.52.2+ds-1_s390x.deb ... 704s Unpacking libpangoft2-1.0-0:s390x (1.52.2+ds-1) ... 704s Selecting previously unselected package libpangocairo-1.0-0:s390x. 704s Preparing to unpack .../39-libpangocairo-1.0-0_1.52.2+ds-1_s390x.deb ... 704s Unpacking libpangocairo-1.0-0:s390x (1.52.2+ds-1) ... 704s Selecting previously unselected package libwayland-client0:s390x. 704s Preparing to unpack .../40-libwayland-client0_1.22.0-2.1build1_s390x.deb ... 704s Unpacking libwayland-client0:s390x (1.22.0-2.1build1) ... 704s Selecting previously unselected package libwayland-cursor0:s390x. 704s Preparing to unpack .../41-libwayland-cursor0_1.22.0-2.1build1_s390x.deb ... 704s Unpacking libwayland-cursor0:s390x (1.22.0-2.1build1) ... 704s Selecting previously unselected package libwayland-egl1:s390x. 704s Preparing to unpack .../42-libwayland-egl1_1.22.0-2.1build1_s390x.deb ... 704s Unpacking libwayland-egl1:s390x (1.22.0-2.1build1) ... 704s Selecting previously unselected package libxcomposite1:s390x. 704s Preparing to unpack .../43-libxcomposite1_1%3a0.4.5-1build3_s390x.deb ... 704s Unpacking libxcomposite1:s390x (1:0.4.5-1build3) ... 704s Selecting previously unselected package libxfixes3:s390x. 704s Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 704s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 704s Selecting previously unselected package libxcursor1:s390x. 704s Preparing to unpack .../45-libxcursor1_1%3a1.2.1-1build1_s390x.deb ... 704s Unpacking libxcursor1:s390x (1:1.2.1-1build1) ... 704s Selecting previously unselected package libxdamage1:s390x. 704s Preparing to unpack .../46-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 704s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 704s Selecting previously unselected package libxinerama1:s390x. 704s Preparing to unpack .../47-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 704s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 704s Selecting previously unselected package libxrandr2:s390x. 704s Preparing to unpack .../48-libxrandr2_2%3a1.5.2-2build1_s390x.deb ... 704s Unpacking libxrandr2:s390x (2:1.5.2-2build1) ... 704s Selecting previously unselected package libgtk-3-common. 704s Preparing to unpack .../49-libgtk-3-common_3.24.41-4ubuntu1_all.deb ... 704s Unpacking libgtk-3-common (3.24.41-4ubuntu1) ... 704s Selecting previously unselected package libgtk-3-0t64:s390x. 704s Preparing to unpack .../50-libgtk-3-0t64_3.24.41-4ubuntu1_s390x.deb ... 704s Unpacking libgtk-3-0t64:s390x (3.24.41-4ubuntu1) ... 704s Selecting previously unselected package libgtksourceview-3.0-common. 704s Preparing to unpack .../51-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 704s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 704s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 704s Preparing to unpack .../52-libgtksourceview-3.0-1_3.24.11-2build4_s390x.deb ... 704s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build4) ... 704s Selecting previously unselected package liblablgtk3-ocaml. 704s Preparing to unpack .../53-liblablgtk3-ocaml_3.1.4-1build3_s390x.deb ... 704s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 704s Selecting previously unselected package liblablgtksourceview3-ocaml. 704s Preparing to unpack .../54-liblablgtksourceview3-ocaml_3.1.4-1build3_s390x.deb ... 704s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 704s Selecting previously unselected package spass. 704s Preparing to unpack .../55-spass_3.9-1.1_s390x.deb ... 704s Unpacking spass (3.9-1.1) ... 705s Selecting previously unselected package tex-common. 705s Preparing to unpack .../56-tex-common_6.18_all.deb ... 705s Unpacking tex-common (6.18) ... 705s Selecting previously unselected package why3. 705s Preparing to unpack .../57-why3_1.6.0-1build7_s390x.deb ... 705s Unpacking why3 (1.6.0-1build7) ... 705s Selecting previously unselected package autopkgtest-satdep. 705s Preparing to unpack .../58-3-autopkgtest-satdep.deb ... 705s Unpacking autopkgtest-satdep (0) ... 705s Setting up libgraphite2-3:s390x (1.3.14-2build1) ... 705s Setting up liblcms2-2:s390x (2.14-2build1) ... 705s Setting up libpixman-1-0:s390x (0.42.2-1build1) ... 705s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 707s Regenerating fonts cache... done. 707s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 707s Setting up hicolor-icon-theme (0.17-2) ... 707s Setting up libxi6:s390x (2:1.8.1-1build1) ... 707s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 707s Setting up libdatrie1:s390x (0.2.13-3build1) ... 707s Setting up libxcb-render0:s390x (1.15-1ubuntu2) ... 707s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu3) ... 707s Setting up libxcb-shm0:s390x (1.15-1ubuntu2) ... 707s Setting up libcairo2:s390x (1.18.0-3build1) ... 707s Setting up libcolord2:s390x (1.4.7-1build2) ... 707s Setting up libdconf1:s390x (0.40.0-4build2) ... 707s Setting up tex-common (6.18) ... 707s update-language: texlive-base not installed and configured, doing nothing! 707s Setting up libepoxy0:s390x (1.5.10-1build1) ... 707s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 707s Setting up spass (3.9-1.1) ... 707s Setting up libavahi-common-data:s390x (0.8-13ubuntu6) ... 707s Setting up libatspi2.0-0t64:s390x (2.52.0-1build1) ... 707s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 707s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 707s Setting up libxrandr2:s390x (2:1.5.2-2build1) ... 707s Setting up ocaml-base (4.14.1-1ubuntu1) ... 707s Setting up at-spi2-common (2.52.0-1build1) ... 707s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 707s Setting up libharfbuzz0b:s390x (8.3.0-2build2) ... 707s Setting up libthai-data (0.1.29-2build1) ... 707s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3ubuntu3) ... 707s Setting up libcairo-gobject2:s390x (1.18.0-3build1) ... 707s Setting up libwayland-egl1:s390x (1.22.0-2.1build1) ... 707s Setting up libxcomposite1:s390x (1:0.4.5-1build3) ... 707s Setting up libwayland-client0:s390x (1.22.0-2.1build1) ... 707s Setting up gtk-update-icon-cache (3.24.41-4ubuntu1) ... 707s Setting up libatk1.0-0t64:s390x (2.52.0-1build1) ... 707s Setting up libxcursor1:s390x (1:1.2.1-1build1) ... 707s Setting up libavahi-common3:s390x (0.8-13ubuntu6) ... 707s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 707s Setting up dconf-service (0.40.0-4build2) ... 707s Setting up libthai0:s390x (0.1.29-2build1) ... 707s Setting up libwayland-cursor0:s390x (1.22.0-2.1build1) ... 707s Setting up libavahi-client3:s390x (0.8-13ubuntu6) ... 707s Setting up libatk-bridge2.0-0t64:s390x (2.52.0-1build1) ... 707s Setting up dconf-gsettings-backend:s390x (0.40.0-4build2) ... 707s Setting up libpango-1.0-0:s390x (1.52.2+ds-1) ... 707s Setting up libpangoft2-1.0-0:s390x (1.52.2+ds-1) ... 707s Setting up libcups2t64:s390x (2.4.7-1.2ubuntu7) ... 707s Setting up libgtk-3-common (3.24.41-4ubuntu1) ... 707s Setting up libpangocairo-1.0-0:s390x (1.52.2+ds-1) ... 707s Setting up adwaita-icon-theme (46.0-1) ... 707s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 707s Setting up humanity-icon-theme (0.6.16) ... 708s Setting up ubuntu-mono (24.04-0ubuntu1) ... 708s Processing triggers for man-db (2.12.0-4build2) ... 708s Processing triggers for libglib2.0-0t64:s390x (2.80.0-6ubuntu1) ... 708s Setting up libgtk-3-0t64:s390x (3.24.41-4ubuntu1) ... 708s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 708s Processing triggers for libc-bin (2.39-0ubuntu8) ... 709s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build4) ... 709s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 709s Setting up why3 (1.6.0-1build7) ... 709s Setting up autopkgtest-satdep (0) ... 709s Processing triggers for libc-bin (2.39-0ubuntu8) ... 713s (Reading database ... 68073 files and directories currently installed.) 713s Removing autopkgtest-satdep (0) ... 719s autopkgtest [22:24:48]: test why3+spass: [----------------------- 720s autopkgtest [22:24:49]: test why3+spass: -----------------------] 721s autopkgtest [22:24:50]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 721s why3+spass PASS 721s autopkgtest [22:24:50]: test why3+z3: preparing testbed 1283s autopkgtest [22:34:12]: testbed dpkg architecture: s390x 1283s autopkgtest [22:34:12]: testbed apt version: 2.7.14build2 1283s autopkgtest [22:34:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1284s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [73.9 kB] 1284s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [121 kB] 1285s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [16.8 kB] 1285s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [1169 kB] 1288s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [1964 B] 1288s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x Packages [195 kB] 1288s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x Packages [990 kB] 1289s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x Packages [19.2 kB] 1290s Fetched 2587 kB in 6s (429 kB/s) 1290s Reading package lists... 1293s Reading package lists... 1294s Building dependency tree... 1294s Reading state information... 1294s Calculating upgrade... 1294s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1294s Reading package lists... 1295s Building dependency tree... 1295s Reading state information... 1295s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1296s Get:1 http://ftpmaster.internal/ubuntu oracular InRelease [73.9 kB] 1296s Get:2 http://ftpmaster.internal/ubuntu oracular-updates InRelease [73.9 kB] 1296s Hit:3 http://ftpmaster.internal/ubuntu oracular-security InRelease 1296s Hit:4 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 1296s Get:5 http://ftpmaster.internal/ubuntu oracular/universe Sources [19.9 MB] 1304s Get:6 http://ftpmaster.internal/ubuntu oracular/main Sources [1383 kB] 1305s Get:7 http://ftpmaster.internal/ubuntu oracular/multiverse Sources [300 kB] 1305s Get:8 http://ftpmaster.internal/ubuntu oracular/main s390x Packages [1322 kB] 1305s Get:9 http://ftpmaster.internal/ubuntu oracular/universe s390x Packages [14.3 MB] 1309s Get:10 http://ftpmaster.internal/ubuntu oracular/multiverse s390x Packages [167 kB] 1314s Fetched 37.5 MB in 18s (2104 kB/s) 1315s Reading package lists... 1315s Reading package lists... 1316s Building dependency tree... 1316s Reading state information... 1316s Calculating upgrade... 1317s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1317s Reading package lists... 1317s Building dependency tree... 1317s Reading state information... 1318s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1322s Reading package lists... 1323s Building dependency tree... 1323s Reading state information... 1323s Starting pkgProblemResolver with broken count: 0 1323s Starting 2 pkgProblemResolver with broken count: 0 1323s Done 1324s The following additional packages will be installed: 1324s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1324s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1324s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 1324s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1324s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libepoxy0 1324s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 1324s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1324s libharfbuzz0b liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 1324s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1324s libstdlib-ocaml libthai-data libthai0 libwayland-client0 libwayland-cursor0 1324s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 1324s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base 1324s tex-common ubuntu-mono why3 z3 1324s Suggested packages: 1324s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1324s Recommended packages: 1324s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1324s The following NEW packages will be installed: 1324s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1324s dconf-service fontconfig gtk-update-icon-cache hicolor-icon-theme 1324s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 1324s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1324s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 1324s libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 1324s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 1324s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 1324s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 1324s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 1324s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 1324s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 1324s libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 1324s z3 1324s 0 upgraded, 59 newly installed, 0 to remove and 0 not upgraded. 1324s Need to get 36.5 MB/36.5 MB of archives. 1324s After this operation, 163 MB of additional disk space will be used. 1324s Get:1 /tmp/autopkgtest.sROsoT/4-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [716 B] 1324s Get:2 http://ftpmaster.internal/ubuntu oracular/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3ubuntu3 [7852 B] 1325s Get:3 http://ftpmaster.internal/ubuntu oracular/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3ubuntu3 [155 kB] 1325s Get:4 http://ftpmaster.internal/ubuntu oracular/main s390x gtk-update-icon-cache s390x 3.24.41-4ubuntu1 [52.3 kB] 1325s Get:5 http://ftpmaster.internal/ubuntu oracular/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 1325s Get:6 http://ftpmaster.internal/ubuntu oracular/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 1326s Get:7 http://ftpmaster.internal/ubuntu oracular/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1326s Get:8 http://ftpmaster.internal/ubuntu oracular/main s390x adwaita-icon-theme all 46.0-1 [723 kB] 1326s Get:9 http://ftpmaster.internal/ubuntu oracular/main s390x at-spi2-common all 2.52.0-1build1 [8674 B] 1326s Get:10 http://ftpmaster.internal/ubuntu oracular/main s390x libdconf1 s390x 0.40.0-4build2 [40.3 kB] 1326s Get:11 http://ftpmaster.internal/ubuntu oracular/main s390x dconf-service s390x 0.40.0-4build2 [28.6 kB] 1326s Get:12 http://ftpmaster.internal/ubuntu oracular/main s390x dconf-gsettings-backend s390x 0.40.0-4build2 [23.2 kB] 1326s Get:13 http://ftpmaster.internal/ubuntu oracular/main s390x fontconfig s390x 2.15.0-1.1ubuntu2 [191 kB] 1326s Get:14 http://ftpmaster.internal/ubuntu oracular/main s390x libatk1.0-0t64 s390x 2.52.0-1build1 [56.4 kB] 1326s Get:15 http://ftpmaster.internal/ubuntu oracular/main s390x libxi6 s390x 2:1.8.1-1build1 [35.7 kB] 1326s Get:16 http://ftpmaster.internal/ubuntu oracular/main s390x libatspi2.0-0t64 s390x 2.52.0-1build1 [81.1 kB] 1326s Get:17 http://ftpmaster.internal/ubuntu oracular/main s390x libatk-bridge2.0-0t64 s390x 2.52.0-1build1 [66.9 kB] 1326s Get:18 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-common-data s390x 0.8-13ubuntu6 [29.7 kB] 1326s Get:19 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-common3 s390x 0.8-13ubuntu6 [24.1 kB] 1326s Get:20 http://ftpmaster.internal/ubuntu oracular/main s390x libavahi-client3 s390x 0.8-13ubuntu6 [27.2 kB] 1326s Get:21 http://ftpmaster.internal/ubuntu oracular/main s390x libpixman-1-0 s390x 0.42.2-1build1 [206 kB] 1327s Get:22 http://ftpmaster.internal/ubuntu oracular/main s390x libxcb-render0 s390x 1.15-1ubuntu2 [17.4 kB] 1327s Get:23 http://ftpmaster.internal/ubuntu oracular/main s390x libxcb-shm0 s390x 1.15-1ubuntu2 [5964 B] 1327s Get:24 http://ftpmaster.internal/ubuntu oracular/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 1327s Get:25 http://ftpmaster.internal/ubuntu oracular/main s390x libcairo2 s390x 1.18.0-3build1 [589 kB] 1327s Get:26 http://ftpmaster.internal/ubuntu oracular/main s390x libcairo-gobject2 s390x 1.18.0-3build1 [127 kB] 1327s Get:27 http://ftpmaster.internal/ubuntu oracular/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 1327s Get:28 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 1327s Get:29 http://ftpmaster.internal/ubuntu oracular/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 1327s Get:30 http://ftpmaster.internal/ubuntu oracular/main s390x liblcms2-2 s390x 2.14-2build1 [172 kB] 1327s Get:31 http://ftpmaster.internal/ubuntu oracular/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 1327s Get:32 http://ftpmaster.internal/ubuntu oracular/main s390x libcups2t64 s390x 2.4.7-1.2ubuntu7 [282 kB] 1327s Get:33 http://ftpmaster.internal/ubuntu oracular/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 1327s Get:34 http://ftpmaster.internal/ubuntu oracular/main s390x libepoxy0 s390x 1.5.10-1build1 [224 kB] 1327s Get:35 http://ftpmaster.internal/ubuntu oracular/main s390x libgraphite2-3 s390x 1.3.14-2build1 [80.0 kB] 1327s Get:36 http://ftpmaster.internal/ubuntu oracular/main s390x libharfbuzz0b s390x 8.3.0-2build2 [515 kB] 1327s Get:37 http://ftpmaster.internal/ubuntu oracular/main s390x libthai-data all 0.1.29-2build1 [158 kB] 1327s Get:38 http://ftpmaster.internal/ubuntu oracular/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 1327s Get:39 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpango-1.0-0 s390x 1.52.2+ds-1 [242 kB] 1327s Get:40 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpangoft2-1.0-0 s390x 1.52.2+ds-1 [43.4 kB] 1327s Get:41 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libpangocairo-1.0-0 s390x 1.52.2+ds-1 [28.2 kB] 1327s Get:42 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-client0 s390x 1.22.0-2.1build1 [26.8 kB] 1327s Get:43 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-cursor0 s390x 1.22.0-2.1build1 [11.2 kB] 1327s Get:44 http://ftpmaster.internal/ubuntu oracular/main s390x libwayland-egl1 s390x 1.22.0-2.1build1 [5608 B] 1327s Get:45 http://ftpmaster.internal/ubuntu oracular/main s390x libxcomposite1 s390x 1:0.4.5-1build3 [6340 B] 1327s Get:46 http://ftpmaster.internal/ubuntu oracular/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 1327s Get:47 http://ftpmaster.internal/ubuntu oracular/main s390x libxcursor1 s390x 1:1.2.1-1build1 [22.9 kB] 1328s Get:48 http://ftpmaster.internal/ubuntu oracular/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 1328s Get:49 http://ftpmaster.internal/ubuntu oracular/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 1328s Get:50 http://ftpmaster.internal/ubuntu oracular/main s390x libxrandr2 s390x 2:1.5.2-2build1 [21.3 kB] 1328s Get:51 http://ftpmaster.internal/ubuntu oracular/main s390x libgtk-3-common all 3.24.41-4ubuntu1 [1202 kB] 1328s Get:52 http://ftpmaster.internal/ubuntu oracular/main s390x libgtk-3-0t64 s390x 3.24.41-4ubuntu1 [2953 kB] 1328s Get:53 http://ftpmaster.internal/ubuntu oracular/universe s390x libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 1328s Get:54 http://ftpmaster.internal/ubuntu oracular/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build4 [233 kB] 1328s Get:55 http://ftpmaster.internal/ubuntu oracular/universe s390x liblablgtk3-ocaml s390x 3.1.4-1build3 [4109 kB] 1329s Get:56 http://ftpmaster.internal/ubuntu oracular/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1build3 [355 kB] 1329s Get:57 http://ftpmaster.internal/ubuntu oracular/universe s390x tex-common all 6.18 [32.8 kB] 1329s Get:58 http://ftpmaster.internal/ubuntu oracular/universe s390x why3 s390x 1.6.0-1build7 [14.0 MB] 1330s Get:59 http://ftpmaster.internal/ubuntu oracular/universe s390x z3 s390x 4.8.12-3.1build1 [6602 kB] 1332s Fetched 36.5 MB in 7s (5353 kB/s) 1332s Selecting previously unselected package libgdk-pixbuf2.0-common. 1333s (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 ... 54494 files and directories currently installed.) 1333s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3ubuntu3_all.deb ... 1333s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu3) ... 1333s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 1333s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3ubuntu3_s390x.deb ... 1333s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3ubuntu3) ... 1333s Selecting previously unselected package gtk-update-icon-cache. 1333s Preparing to unpack .../02-gtk-update-icon-cache_3.24.41-4ubuntu1_s390x.deb ... 1333s Unpacking gtk-update-icon-cache (3.24.41-4ubuntu1) ... 1333s Selecting previously unselected package hicolor-icon-theme. 1333s Preparing to unpack .../03-hicolor-icon-theme_0.17-2_all.deb ... 1333s Unpacking hicolor-icon-theme (0.17-2) ... 1333s Selecting previously unselected package humanity-icon-theme. 1333s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 1333s Unpacking humanity-icon-theme (0.6.16) ... 1334s Selecting previously unselected package ubuntu-mono. 1334s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1334s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1335s Selecting previously unselected package adwaita-icon-theme. 1335s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 1335s Unpacking adwaita-icon-theme (46.0-1) ... 1335s Selecting previously unselected package at-spi2-common. 1335s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 1335s Unpacking at-spi2-common (2.52.0-1build1) ... 1335s Selecting previously unselected package libdconf1:s390x. 1335s Preparing to unpack .../08-libdconf1_0.40.0-4build2_s390x.deb ... 1335s Unpacking libdconf1:s390x (0.40.0-4build2) ... 1335s Selecting previously unselected package dconf-service. 1335s Preparing to unpack .../09-dconf-service_0.40.0-4build2_s390x.deb ... 1335s Unpacking dconf-service (0.40.0-4build2) ... 1335s Selecting previously unselected package dconf-gsettings-backend:s390x. 1335s Preparing to unpack .../10-dconf-gsettings-backend_0.40.0-4build2_s390x.deb ... 1335s Unpacking dconf-gsettings-backend:s390x (0.40.0-4build2) ... 1335s Selecting previously unselected package fontconfig. 1335s Preparing to unpack .../11-fontconfig_2.15.0-1.1ubuntu2_s390x.deb ... 1335s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 1335s Selecting previously unselected package libatk1.0-0t64:s390x. 1335s Preparing to unpack .../12-libatk1.0-0t64_2.52.0-1build1_s390x.deb ... 1335s Unpacking libatk1.0-0t64:s390x (2.52.0-1build1) ... 1335s Selecting previously unselected package libxi6:s390x. 1335s Preparing to unpack .../13-libxi6_2%3a1.8.1-1build1_s390x.deb ... 1335s Unpacking libxi6:s390x (2:1.8.1-1build1) ... 1336s Selecting previously unselected package libatspi2.0-0t64:s390x. 1336s Preparing to unpack .../14-libatspi2.0-0t64_2.52.0-1build1_s390x.deb ... 1336s Unpacking libatspi2.0-0t64:s390x (2.52.0-1build1) ... 1336s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 1336s Preparing to unpack .../15-libatk-bridge2.0-0t64_2.52.0-1build1_s390x.deb ... 1336s Unpacking libatk-bridge2.0-0t64:s390x (2.52.0-1build1) ... 1336s Selecting previously unselected package libavahi-common-data:s390x. 1336s Preparing to unpack .../16-libavahi-common-data_0.8-13ubuntu6_s390x.deb ... 1336s Unpacking libavahi-common-data:s390x (0.8-13ubuntu6) ... 1336s Selecting previously unselected package libavahi-common3:s390x. 1336s Preparing to unpack .../17-libavahi-common3_0.8-13ubuntu6_s390x.deb ... 1336s Unpacking libavahi-common3:s390x (0.8-13ubuntu6) ... 1336s Selecting previously unselected package libavahi-client3:s390x. 1336s Preparing to unpack .../18-libavahi-client3_0.8-13ubuntu6_s390x.deb ... 1336s Unpacking libavahi-client3:s390x (0.8-13ubuntu6) ... 1336s Selecting previously unselected package libpixman-1-0:s390x. 1336s Preparing to unpack .../19-libpixman-1-0_0.42.2-1build1_s390x.deb ... 1336s Unpacking libpixman-1-0:s390x (0.42.2-1build1) ... 1336s Selecting previously unselected package libxcb-render0:s390x. 1336s Preparing to unpack .../20-libxcb-render0_1.15-1ubuntu2_s390x.deb ... 1336s Unpacking libxcb-render0:s390x (1.15-1ubuntu2) ... 1336s Selecting previously unselected package libxcb-shm0:s390x. 1336s Preparing to unpack .../21-libxcb-shm0_1.15-1ubuntu2_s390x.deb ... 1336s Unpacking libxcb-shm0:s390x (1.15-1ubuntu2) ... 1336s Selecting previously unselected package libxrender1:s390x. 1336s Preparing to unpack .../22-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 1336s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 1336s Selecting previously unselected package libcairo2:s390x. 1336s Preparing to unpack .../23-libcairo2_1.18.0-3build1_s390x.deb ... 1336s Unpacking libcairo2:s390x (1.18.0-3build1) ... 1336s Selecting previously unselected package libcairo-gobject2:s390x. 1336s Preparing to unpack .../24-libcairo-gobject2_1.18.0-3build1_s390x.deb ... 1336s Unpacking libcairo-gobject2:s390x (1.18.0-3build1) ... 1336s Selecting previously unselected package libstdlib-ocaml. 1336s Preparing to unpack .../25-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 1336s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1336s Selecting previously unselected package ocaml-base. 1336s Preparing to unpack .../26-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 1336s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1336s Selecting previously unselected package libcairo2-ocaml. 1336s Preparing to unpack .../27-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 1336s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1336s Selecting previously unselected package liblcms2-2:s390x. 1336s Preparing to unpack .../28-liblcms2-2_2.14-2build1_s390x.deb ... 1336s Unpacking liblcms2-2:s390x (2.14-2build1) ... 1336s Selecting previously unselected package libcolord2:s390x. 1336s Preparing to unpack .../29-libcolord2_1.4.7-1build2_s390x.deb ... 1336s Unpacking libcolord2:s390x (1.4.7-1build2) ... 1336s Selecting previously unselected package libcups2t64:s390x. 1336s Preparing to unpack .../30-libcups2t64_2.4.7-1.2ubuntu7_s390x.deb ... 1336s Unpacking libcups2t64:s390x (2.4.7-1.2ubuntu7) ... 1336s Selecting previously unselected package libdatrie1:s390x. 1336s Preparing to unpack .../31-libdatrie1_0.2.13-3build1_s390x.deb ... 1336s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 1336s Selecting previously unselected package libepoxy0:s390x. 1336s Preparing to unpack .../32-libepoxy0_1.5.10-1build1_s390x.deb ... 1336s Unpacking libepoxy0:s390x (1.5.10-1build1) ... 1336s Selecting previously unselected package libgraphite2-3:s390x. 1336s Preparing to unpack .../33-libgraphite2-3_1.3.14-2build1_s390x.deb ... 1336s Unpacking libgraphite2-3:s390x (1.3.14-2build1) ... 1336s Selecting previously unselected package libharfbuzz0b:s390x. 1336s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2build2_s390x.deb ... 1336s Unpacking libharfbuzz0b:s390x (8.3.0-2build2) ... 1336s Selecting previously unselected package libthai-data. 1336s Preparing to unpack .../35-libthai-data_0.1.29-2build1_all.deb ... 1336s Unpacking libthai-data (0.1.29-2build1) ... 1336s Selecting previously unselected package libthai0:s390x. 1336s Preparing to unpack .../36-libthai0_0.1.29-2build1_s390x.deb ... 1336s Unpacking libthai0:s390x (0.1.29-2build1) ... 1336s Selecting previously unselected package libpango-1.0-0:s390x. 1336s Preparing to unpack .../37-libpango-1.0-0_1.52.2+ds-1_s390x.deb ... 1336s Unpacking libpango-1.0-0:s390x (1.52.2+ds-1) ... 1337s Selecting previously unselected package libpangoft2-1.0-0:s390x. 1337s Preparing to unpack .../38-libpangoft2-1.0-0_1.52.2+ds-1_s390x.deb ... 1337s Unpacking libpangoft2-1.0-0:s390x (1.52.2+ds-1) ... 1337s Selecting previously unselected package libpangocairo-1.0-0:s390x. 1337s Preparing to unpack .../39-libpangocairo-1.0-0_1.52.2+ds-1_s390x.deb ... 1337s Unpacking libpangocairo-1.0-0:s390x (1.52.2+ds-1) ... 1337s Selecting previously unselected package libwayland-client0:s390x. 1337s Preparing to unpack .../40-libwayland-client0_1.22.0-2.1build1_s390x.deb ... 1337s Unpacking libwayland-client0:s390x (1.22.0-2.1build1) ... 1337s Selecting previously unselected package libwayland-cursor0:s390x. 1337s Preparing to unpack .../41-libwayland-cursor0_1.22.0-2.1build1_s390x.deb ... 1337s Unpacking libwayland-cursor0:s390x (1.22.0-2.1build1) ... 1337s Selecting previously unselected package libwayland-egl1:s390x. 1337s Preparing to unpack .../42-libwayland-egl1_1.22.0-2.1build1_s390x.deb ... 1337s Unpacking libwayland-egl1:s390x (1.22.0-2.1build1) ... 1337s Selecting previously unselected package libxcomposite1:s390x. 1337s Preparing to unpack .../43-libxcomposite1_1%3a0.4.5-1build3_s390x.deb ... 1337s Unpacking libxcomposite1:s390x (1:0.4.5-1build3) ... 1337s Selecting previously unselected package libxfixes3:s390x. 1337s Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 1337s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 1337s Selecting previously unselected package libxcursor1:s390x. 1337s Preparing to unpack .../45-libxcursor1_1%3a1.2.1-1build1_s390x.deb ... 1337s Unpacking libxcursor1:s390x (1:1.2.1-1build1) ... 1337s Selecting previously unselected package libxdamage1:s390x. 1337s Preparing to unpack .../46-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 1337s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 1337s Selecting previously unselected package libxinerama1:s390x. 1337s Preparing to unpack .../47-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 1337s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 1337s Selecting previously unselected package libxrandr2:s390x. 1337s Preparing to unpack .../48-libxrandr2_2%3a1.5.2-2build1_s390x.deb ... 1337s Unpacking libxrandr2:s390x (2:1.5.2-2build1) ... 1337s Selecting previously unselected package libgtk-3-common. 1337s Preparing to unpack .../49-libgtk-3-common_3.24.41-4ubuntu1_all.deb ... 1337s Unpacking libgtk-3-common (3.24.41-4ubuntu1) ... 1337s Selecting previously unselected package libgtk-3-0t64:s390x. 1337s Preparing to unpack .../50-libgtk-3-0t64_3.24.41-4ubuntu1_s390x.deb ... 1337s Unpacking libgtk-3-0t64:s390x (3.24.41-4ubuntu1) ... 1337s Selecting previously unselected package libgtksourceview-3.0-common. 1337s Preparing to unpack .../51-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 1337s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 1337s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 1338s Preparing to unpack .../52-libgtksourceview-3.0-1_3.24.11-2build4_s390x.deb ... 1338s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build4) ... 1338s Selecting previously unselected package liblablgtk3-ocaml. 1338s Preparing to unpack .../53-liblablgtk3-ocaml_3.1.4-1build3_s390x.deb ... 1338s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 1338s Selecting previously unselected package liblablgtksourceview3-ocaml. 1338s Preparing to unpack .../54-liblablgtksourceview3-ocaml_3.1.4-1build3_s390x.deb ... 1338s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 1338s Selecting previously unselected package tex-common. 1338s Preparing to unpack .../55-tex-common_6.18_all.deb ... 1338s Unpacking tex-common (6.18) ... 1338s Selecting previously unselected package why3. 1338s Preparing to unpack .../56-why3_1.6.0-1build7_s390x.deb ... 1338s Unpacking why3 (1.6.0-1build7) ... 1339s Selecting previously unselected package z3. 1339s Preparing to unpack .../57-z3_4.8.12-3.1build1_s390x.deb ... 1339s Unpacking z3 (4.8.12-3.1build1) ... 1339s Selecting previously unselected package autopkgtest-satdep. 1339s Preparing to unpack .../58-4-autopkgtest-satdep.deb ... 1339s Unpacking autopkgtest-satdep (0) ... 1339s Setting up libgraphite2-3:s390x (1.3.14-2build1) ... 1339s Setting up liblcms2-2:s390x (2.14-2build1) ... 1339s Setting up libpixman-1-0:s390x (0.42.2-1build1) ... 1339s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 1341s Regenerating fonts cache... done. 1341s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 1341s Setting up hicolor-icon-theme (0.17-2) ... 1341s Setting up libxi6:s390x (2:1.8.1-1build1) ... 1341s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 1341s Setting up libdatrie1:s390x (0.2.13-3build1) ... 1341s Setting up libxcb-render0:s390x (1.15-1ubuntu2) ... 1341s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3ubuntu3) ... 1341s Setting up libxcb-shm0:s390x (1.15-1ubuntu2) ... 1341s Setting up libcairo2:s390x (1.18.0-3build1) ... 1341s Setting up z3 (4.8.12-3.1build1) ... 1341s Setting up libcolord2:s390x (1.4.7-1build2) ... 1341s Setting up libdconf1:s390x (0.40.0-4build2) ... 1341s Setting up tex-common (6.18) ... 1342s update-language: texlive-base not installed and configured, doing nothing! 1342s Setting up libepoxy0:s390x (1.5.10-1build1) ... 1342s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 1342s Setting up libavahi-common-data:s390x (0.8-13ubuntu6) ... 1342s Setting up libatspi2.0-0t64:s390x (2.52.0-1build1) ... 1342s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 1342s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1342s Setting up libxrandr2:s390x (2:1.5.2-2build1) ... 1342s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1342s Setting up at-spi2-common (2.52.0-1build1) ... 1342s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 1342s Setting up libharfbuzz0b:s390x (8.3.0-2build2) ... 1342s Setting up libthai-data (0.1.29-2build1) ... 1342s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3ubuntu3) ... 1342s Setting up libcairo-gobject2:s390x (1.18.0-3build1) ... 1342s Setting up libwayland-egl1:s390x (1.22.0-2.1build1) ... 1342s Setting up libxcomposite1:s390x (1:0.4.5-1build3) ... 1342s Setting up libwayland-client0:s390x (1.22.0-2.1build1) ... 1342s Setting up gtk-update-icon-cache (3.24.41-4ubuntu1) ... 1342s Setting up libatk1.0-0t64:s390x (2.52.0-1build1) ... 1342s Setting up libxcursor1:s390x (1:1.2.1-1build1) ... 1342s Setting up libavahi-common3:s390x (0.8-13ubuntu6) ... 1342s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1342s Setting up dconf-service (0.40.0-4build2) ... 1342s Setting up libthai0:s390x (0.1.29-2build1) ... 1342s Setting up libwayland-cursor0:s390x (1.22.0-2.1build1) ... 1342s Setting up libavahi-client3:s390x (0.8-13ubuntu6) ... 1342s Setting up libatk-bridge2.0-0t64:s390x (2.52.0-1build1) ... 1342s Setting up dconf-gsettings-backend:s390x (0.40.0-4build2) ... 1342s Setting up libpango-1.0-0:s390x (1.52.2+ds-1) ... 1342s Setting up libpangoft2-1.0-0:s390x (1.52.2+ds-1) ... 1342s Setting up libcups2t64:s390x (2.4.7-1.2ubuntu7) ... 1342s Setting up libgtk-3-common (3.24.41-4ubuntu1) ... 1342s Setting up libpangocairo-1.0-0:s390x (1.52.2+ds-1) ... 1342s Setting up adwaita-icon-theme (46.0-1) ... 1342s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1342s Setting up humanity-icon-theme (0.6.16) ... 1342s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1342s Processing triggers for man-db (2.12.0-4build2) ... 1344s Processing triggers for libglib2.0-0t64:s390x (2.80.0-6ubuntu1) ... 1344s Setting up libgtk-3-0t64:s390x (3.24.41-4ubuntu1) ... 1344s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 1344s Processing triggers for libc-bin (2.39-0ubuntu8) ... 1344s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build4) ... 1344s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 1344s Setting up why3 (1.6.0-1build7) ... 1344s Setting up autopkgtest-satdep (0) ... 1344s Processing triggers for libc-bin (2.39-0ubuntu8) ... 1350s (Reading database ... 68073 files and directories currently installed.) 1350s Removing autopkgtest-satdep (0) ... 1360s autopkgtest [22:35:29]: test why3+z3: [----------------------- 1362s autopkgtest [22:35:31]: test why3+z3: -----------------------] 1362s autopkgtest [22:35:31]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1362s why3+z3 PASS 1363s autopkgtest [22:35:32]: @@@@@@@@@@@@@@@@@@@@ summary 1363s why3+alt-ergo SKIP installation fails and skip-not-installable set 1363s why3+cvc4 PASS 1363s why3+spass PASS 1363s why3+z3 PASS 1378s Creating nova instance adt-oracular-s390x-why3-20240511-221249-juju-7f2275-prod-proposed-migration-environment-3-d2252a25-feeb-4d43-bb66-cb7c6015f0ba from image adt/ubuntu-oracular-s390x-server-20240510.img (UUID b1854012-9c8c-4577-b826-f1e2bdc9d9f2)... 1378s Creating nova instance adt-oracular-s390x-why3-20240511-221249-juju-7f2275-prod-proposed-migration-environment-3-d2252a25-feeb-4d43-bb66-cb7c6015f0ba from image adt/ubuntu-oracular-s390x-server-20240510.img (UUID b1854012-9c8c-4577-b826-f1e2bdc9d9f2)... 1378s Creating nova instance adt-oracular-s390x-why3-20240511-221249-juju-7f2275-prod-proposed-migration-environment-3-d2252a25-feeb-4d43-bb66-cb7c6015f0ba from image adt/ubuntu-oracular-s390x-server-20240510.img (UUID b1854012-9c8c-4577-b826-f1e2bdc9d9f2)... 1378s Creating nova instance adt-oracular-s390x-why3-20240511-221249-juju-7f2275-prod-proposed-migration-environment-3-d2252a25-feeb-4d43-bb66-cb7c6015f0ba from image adt/ubuntu-oracular-s390x-server-20240510.img (UUID b1854012-9c8c-4577-b826-f1e2bdc9d9f2)...