0s autopkgtest [05:23:51]: starting date and time: 2025-02-22 05:23:51+0000 0s autopkgtest [05:23:51]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [05:23:51]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.o0j3j8rd/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glib2.0 --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glib2.0/2.83.4-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-32.secgroup --name adt-plucky-s390x-why3-20250222-052351-juju-7f2275-prod-proposed-migration-environment-2-55cab5c7-c3ff-480f-ad3f-ed7005558434 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -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,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 131s autopkgtest [05:26:02]: testbed dpkg architecture: s390x 131s autopkgtest [05:26:02]: testbed apt version: 2.9.30ubuntu1 131s autopkgtest [05:26:02]: @@@@@@@@@@@@@@@@@@@@ test bed setup 132s autopkgtest [05:26:03]: testbed release detected to be: None 133s autopkgtest [05:26:03]: updating testbed package index (apt update) 133s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 133s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 133s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 133s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 133s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 133s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 134s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 134s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 134s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [123 kB] 134s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 134s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [423 kB] 134s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [2816 B] 134s Fetched 1265 kB in 1s (1487 kB/s) 134s Reading package lists... 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s Calculating upgrade... 135s Calculating upgrade... 135s The following packages were automatically installed and are no longer required: 135s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 135s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 135s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 135s linux-tools-6.11.0-8-generic 135s Use 'sudo apt autoremove' to remove them. 135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s Solving dependencies... 136s The following packages will be REMOVED: 136s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 136s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 136s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 136s linux-tools-6.11.0-8-generic* 136s 0 upgraded, 0 newly installed, 9 to remove and 3 not upgraded. 136s After this operation, 167 MB disk space will be freed. 136s (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 ... 81030 files and directories currently installed.) 136s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 136s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 136s Removing libpython3.12t64:s390x (3.12.9-1) ... 136s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 136s Removing libnsl2:s390x (1.3.0-3build3) ... 136s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 136s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 136s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 137s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 137s Processing triggers for libc-bin (2.40-4ubuntu1) ... 137s (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 ... 55930 files and directories currently installed.) 137s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 137s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 137s autopkgtest [05:26:08]: upgrading testbed (apt dist-upgrade and autopurge) 137s Reading package lists... 137s Building dependency tree... 137s Reading state information... 137s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 138s Starting 2 pkgProblemResolver with broken count: 0 138s Done 138s Entering ResolveByKeep 138s 138s Calculating upgrade... 138s The following packages will be upgraded: 138s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 138s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 138s Need to get 1819 kB of archives. 138s After this operation, 1024 B disk space will be freed. 138s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x gir1.2-glib-2.0 s390x 2.83.4-1 [182 kB] 138s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-0t64 s390x 2.83.4-1 [1584 kB] 139s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-data all 2.83.4-1 [52.9 kB] 139s Fetched 1819 kB in 1s (3002 kB/s) 139s (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 ... 55928 files and directories currently installed.) 139s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_s390x.deb ... 139s Unpacking gir1.2-glib-2.0:s390x (2.83.4-1) over (2.83.3-2) ... 139s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_s390x.deb ... 139s Unpacking libglib2.0-0t64:s390x (2.83.4-1) over (2.83.3-2) ... 139s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 139s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 139s Setting up libglib2.0-0t64:s390x (2.83.4-1) ... 139s No schema files found: doing nothing. 139s Setting up libglib2.0-data (2.83.4-1) ... 139s Setting up gir1.2-glib-2.0:s390x (2.83.4-1) ... 139s Processing triggers for libc-bin (2.40-4ubuntu1) ... 139s Reading package lists... 139s Building dependency tree... 139s Reading state information... 140s Starting pkgProblemResolver with broken count: 0 140s Starting 2 pkgProblemResolver with broken count: 0 140s Done 140s Solving dependencies... 140s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 140s autopkgtest [05:26:11]: rebooting testbed after setup commands that affected boot 161s autopkgtest [05:26:32]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 165s autopkgtest [05:26:36]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 168s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (dsc) [2140 B] 168s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (tar) [6637 kB] 168s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (diff) [18.9 kB] 168s gpgv: Signature made Sun Feb 2 06:48:51 2025 UTC 168s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 168s gpgv: issuer "glondu@debian.org" 168s gpgv: Can't check signature: No public key 168s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.0-2.dsc: no acceptable signature found 169s autopkgtest [05:26:40]: testing package why3 version 1.8.0-2 170s autopkgtest [05:26:41]: build not needed 175s autopkgtest [05:26:46]: test why3+cvc4: preparing testbed 176s Reading package lists... 176s Building dependency tree... 176s Reading state information... 176s Starting pkgProblemResolver with broken count: 0 176s Starting 2 pkgProblemResolver with broken count: 0 176s Done 176s The following NEW packages will be installed: 176s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 176s cpp-s390x-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 176s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 176s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 176s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 176s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 176s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 176s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 176s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 176s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 176s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 176s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 176s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 176s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 176s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 176s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 176s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 176s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 176s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 176s ocaml-interp tex-common why3 176s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 176s Need to get 157 MB of archives. 176s After this operation, 487 MB of additional disk space will be used. 176s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 176s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 177s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 177s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 177s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 177s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 177s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 177s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 177s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 177s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 177s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 177s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 177s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 177s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 177s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 177s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 177s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 177s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 177s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 177s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 177s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 177s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 177s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 177s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 177s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 177s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 177s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 177s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 177s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 177s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 177s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 177s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 177s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 177s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 177s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 177s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 177s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 177s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 177s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 177s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 178s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 178s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 178s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 178s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 178s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 178s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 178s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 178s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 178s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 178s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 178s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 178s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 178s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 178s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 178s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 178s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 178s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 178s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 178s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 178s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 178s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 178s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 178s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 180s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 180s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 180s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 180s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 180s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 180s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 180s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 180s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 180s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 180s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 180s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 180s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 180s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 180s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 180s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 180s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 180s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 180s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 180s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 180s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 180s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 180s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 180s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 180s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 180s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 180s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 180s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 180s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 180s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 181s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 181s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 182s Fetched 157 MB in 5s (29.3 MB/s) 182s Selecting previously unselected package libgdk-pixbuf2.0-common. 182s (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 ... 55928 files and directories currently installed.) 182s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 182s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 182s Selecting previously unselected package libjpeg-turbo8:s390x. 182s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 182s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 182s Selecting previously unselected package libjpeg8:s390x. 182s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 182s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 182s Selecting previously unselected package libdeflate0:s390x. 182s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 182s Unpacking libdeflate0:s390x (1.23-1) ... 182s Selecting previously unselected package libjbig0:s390x. 182s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 182s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 182s Selecting previously unselected package libsharpyuv0:s390x. 182s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 182s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 182s Selecting previously unselected package libwebp7:s390x. 182s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 182s Unpacking libwebp7:s390x (1.5.0-0.1) ... 182s Selecting previously unselected package libtiff6:s390x. 182s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 182s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 182s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 182s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 182s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 182s Selecting previously unselected package gtk-update-icon-cache. 182s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 182s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 182s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 182s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 182s Selecting previously unselected package hicolor-icon-theme. 182s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 182s Unpacking hicolor-icon-theme (0.18-2) ... 182s Selecting previously unselected package adwaita-icon-theme. 182s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 182s Unpacking adwaita-icon-theme (48~beta-3) ... 182s Selecting previously unselected package at-spi2-common. 182s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 182s Unpacking at-spi2-common (2.55.2-1) ... 182s Selecting previously unselected package libisl23:s390x. 182s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 182s Unpacking libisl23:s390x (0.27-1) ... 182s Selecting previously unselected package libmpc3:s390x. 182s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 182s Unpacking libmpc3:s390x (1.3.1-1build2) ... 182s Selecting previously unselected package cpp-14-s390x-linux-gnu. 182s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 182s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 182s Selecting previously unselected package cpp-14. 182s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 182s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 182s Selecting previously unselected package cpp-s390x-linux-gnu. 182s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 182s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 182s Selecting previously unselected package cpp. 182s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 182s Unpacking cpp (4:14.2.0-1ubuntu1) ... 183s Selecting previously unselected package libcln6:s390x. 183s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 183s Unpacking libcln6:s390x (1.3.7-1) ... 183s Selecting previously unselected package libcvc4-7:s390x. 183s Preparing to unpack .../20-libcvc4-7_1.8-3build2_s390x.deb ... 183s Unpacking libcvc4-7:s390x (1.8-3build2) ... 183s Selecting previously unselected package libantlr3c-3.4-0:s390x. 183s Preparing to unpack .../21-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 183s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 183s Selecting previously unselected package libcvc4parser7:s390x. 183s Preparing to unpack .../22-libcvc4parser7_1.8-3build2_s390x.deb ... 183s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 183s Selecting previously unselected package cvc4. 183s Preparing to unpack .../23-cvc4_1.8-3build2_s390x.deb ... 183s Unpacking cvc4 (1.8-3build2) ... 183s Selecting previously unselected package libdconf1:s390x. 183s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 183s Unpacking libdconf1:s390x (0.40.0-5) ... 183s Selecting previously unselected package dconf-service. 183s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 183s Unpacking dconf-service (0.40.0-5) ... 183s Selecting previously unselected package dconf-gsettings-backend:s390x. 183s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 183s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 183s Selecting previously unselected package libfreetype6:s390x. 183s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 183s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 183s Selecting previously unselected package fonts-dejavu-mono. 183s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 183s Unpacking fonts-dejavu-mono (2.37-8) ... 183s Selecting previously unselected package fonts-dejavu-core. 183s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 183s Unpacking fonts-dejavu-core (2.37-8) ... 183s Selecting previously unselected package fontconfig-config. 183s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 183s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 183s Selecting previously unselected package libfontconfig1:s390x. 183s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 183s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 183s Selecting previously unselected package fontconfig. 183s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 183s Unpacking fontconfig (2.15.0-2ubuntu1) ... 183s Selecting previously unselected package libcc1-0:s390x. 183s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 183s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libgomp1:s390x. 183s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 183s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libitm1:s390x. 183s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_s390x.deb ... 183s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libasan8:s390x. 183s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_s390x.deb ... 183s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libubsan1:s390x. 183s Preparing to unpack .../37-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 183s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libgcc-14-dev:s390x. 183s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 183s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 183s Selecting previously unselected package gcc-14-s390x-linux-gnu. 183s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 183s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 183s Selecting previously unselected package gcc-14. 183s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 183s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 183s Selecting previously unselected package gcc-s390x-linux-gnu. 183s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 183s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 183s Selecting previously unselected package gcc. 183s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 183s Unpacking gcc (4:14.2.0-1ubuntu1) ... 183s Selecting previously unselected package libatk1.0-0t64:s390x. 183s Preparing to unpack .../43-libatk1.0-0t64_2.55.2-1_s390x.deb ... 183s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 183s Selecting previously unselected package libxi6:s390x. 183s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 183s Unpacking libxi6:s390x (2:1.8.2-1) ... 183s Selecting previously unselected package libatspi2.0-0t64:s390x. 183s Preparing to unpack .../45-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 183s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 183s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 183s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 183s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 183s Selecting previously unselected package libavahi-common-data:s390x. 183s Preparing to unpack .../47-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 183s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 183s Selecting previously unselected package libavahi-common3:s390x. 183s Preparing to unpack .../48-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 183s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 183s Selecting previously unselected package libavahi-client3:s390x. 183s Preparing to unpack .../49-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 183s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 183s Selecting previously unselected package libpixman-1-0:s390x. 183s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 183s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 183s Selecting previously unselected package libxcb-render0:s390x. 183s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 183s Unpacking libxcb-render0:s390x (1.17.0-2) ... 183s Selecting previously unselected package libxcb-shm0:s390x. 183s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 183s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 183s Selecting previously unselected package libxrender1:s390x. 183s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 183s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 183s Selecting previously unselected package libcairo2:s390x. 183s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 183s Unpacking libcairo2:s390x (1.18.2-2) ... 183s Selecting previously unselected package libcairo-gobject2:s390x. 183s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 183s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 183s Selecting previously unselected package libstdlib-ocaml. 183s Preparing to unpack .../56-libstdlib-ocaml_5.3.0-2_s390x.deb ... 183s Unpacking libstdlib-ocaml (5.3.0-2) ... 183s Selecting previously unselected package ocaml-base. 183s Preparing to unpack .../57-ocaml-base_5.3.0-2_s390x.deb ... 183s Unpacking ocaml-base (5.3.0-2) ... 183s Selecting previously unselected package libcairo2-ocaml. 183s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 183s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 183s Selecting previously unselected package liblcms2-2:s390x. 183s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 183s Unpacking liblcms2-2:s390x (2.16-2) ... 183s Selecting previously unselected package libcolord2:s390x. 183s Preparing to unpack .../60-libcolord2_1.4.7-1build2_s390x.deb ... 183s Unpacking libcolord2:s390x (1.4.7-1build2) ... 183s Selecting previously unselected package libstdlib-ocaml-dev. 183s Preparing to unpack .../61-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 183s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 184s Selecting previously unselected package libcompiler-libs-ocaml-dev. 184s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 184s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 184s Selecting previously unselected package libcups2t64:s390x. 184s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 184s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 184s Selecting previously unselected package libdatrie1:s390x. 184s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 184s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 184s Selecting previously unselected package libepoxy0:s390x. 184s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 184s Unpacking libepoxy0:s390x (1.5.10-2) ... 184s Selecting previously unselected package libgraphite2-3:s390x. 184s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 184s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 184s Selecting previously unselected package libharfbuzz0b:s390x. 184s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 184s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 184s Selecting previously unselected package libthai-data. 184s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 184s Unpacking libthai-data (0.1.29-2build1) ... 184s Selecting previously unselected package libthai0:s390x. 184s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 184s Unpacking libthai0:s390x (0.1.29-2build1) ... 184s Selecting previously unselected package libpango-1.0-0:s390x. 184s Preparing to unpack .../70-libpango-1.0-0_1.56.1-1_s390x.deb ... 184s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 184s Selecting previously unselected package libpangoft2-1.0-0:s390x. 184s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 184s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 184s Selecting previously unselected package libpangocairo-1.0-0:s390x. 184s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 184s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 184s Selecting previously unselected package libwayland-client0:s390x. 184s Preparing to unpack .../73-libwayland-client0_1.23.1-3_s390x.deb ... 184s Unpacking libwayland-client0:s390x (1.23.1-3) ... 184s Selecting previously unselected package libwayland-cursor0:s390x. 184s Preparing to unpack .../74-libwayland-cursor0_1.23.1-3_s390x.deb ... 184s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 184s Selecting previously unselected package libwayland-egl1:s390x. 184s Preparing to unpack .../75-libwayland-egl1_1.23.1-3_s390x.deb ... 184s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 184s Selecting previously unselected package libxcomposite1:s390x. 184s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 184s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 184s Selecting previously unselected package libxfixes3:s390x. 184s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 184s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 184s Selecting previously unselected package libxcursor1:s390x. 184s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 184s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 184s Selecting previously unselected package libxdamage1:s390x. 184s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 184s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 184s Selecting previously unselected package libxinerama1:s390x. 184s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 184s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 184s Selecting previously unselected package libxrandr2:s390x. 184s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 184s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 184s Selecting previously unselected package libgtk-3-common. 184s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 184s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 184s Selecting previously unselected package libgtk-3-0t64:s390x. 184s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 184s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 184s Selecting previously unselected package libgtksourceview-3.0-common. 184s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 184s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 184s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 184s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 184s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 184s Selecting previously unselected package liblablgtk3-ocaml. 184s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 184s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 184s Selecting previously unselected package liblablgtksourceview3-ocaml. 184s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 184s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 184s Selecting previously unselected package libncurses-dev:s390x. 184s Preparing to unpack .../88-libncurses-dev_6.5+20250125-2_s390x.deb ... 184s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 184s Selecting previously unselected package libzstd-dev:s390x. 184s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 184s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 184s Selecting previously unselected package ocaml-interp. 184s Preparing to unpack .../90-ocaml-interp_5.3.0-2_s390x.deb ... 184s Unpacking ocaml-interp (5.3.0-2) ... 184s Selecting previously unselected package ocaml. 184s Preparing to unpack .../91-ocaml_5.3.0-2_s390x.deb ... 184s Unpacking ocaml (5.3.0-2) ... 185s Selecting previously unselected package tex-common. 185s Preparing to unpack .../92-tex-common_6.18_all.deb ... 185s Unpacking tex-common (6.18) ... 185s Selecting previously unselected package why3. 185s Preparing to unpack .../93-why3_1.8.0-2_s390x.deb ... 185s Unpacking why3 (1.8.0-2) ... 185s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 185s Setting up liblcms2-2:s390x (2.16-2) ... 185s Setting up libpixman-1-0:s390x (0.44.0-3) ... 185s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 185s Setting up libcln6:s390x (1.3.7-1) ... 185s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 185s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 185s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 185s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 185s Setting up hicolor-icon-theme (0.18-2) ... 185s Setting up libxi6:s390x (2:1.8.2-1) ... 185s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 185s Setting up libdatrie1:s390x (0.2.13-3build1) ... 185s Setting up libxcb-render0:s390x (1.17.0-2) ... 185s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 185s Setting up libdeflate0:s390x (1.23-1) ... 185s Setting up libxcb-shm0:s390x (1.17.0-2) ... 185s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 185s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 185s Setting up libcolord2:s390x (1.4.7-1build2) ... 185s Setting up libdconf1:s390x (0.40.0-5) ... 185s Setting up tex-common (6.18) ... 185s update-language: texlive-base not installed and configured, doing nothing! 185s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 185s Setting up libepoxy0:s390x (1.5.10-2) ... 185s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 185s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 185s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 185s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 185s Setting up libstdlib-ocaml (5.3.0-2) ... 185s Setting up fonts-dejavu-mono (2.37-8) ... 185s Setting up libmpc3:s390x (1.3.1-1build2) ... 185s Setting up libxrandr2:s390x (2:1.5.4-1) ... 185s Setting up ocaml-base (5.3.0-2) ... 185s Setting up fonts-dejavu-core (2.37-8) ... 185s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 185s Setting up libwebp7:s390x (1.5.0-0.1) ... 185s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 185s Setting up at-spi2-common (2.55.2-1) ... 185s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 185s Setting up libcvc4-7:s390x (1.8-3build2) ... 185s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 185s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 185s Setting up libthai-data (0.1.29-2build1) ... 185s Setting up libwayland-egl1:s390x (1.23.1-3) ... 185s Setting up libisl23:s390x (0.27-1) ... 185s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 185s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 185s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 185s Setting up libwayland-client0:s390x (1.23.1-3) ... 185s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 185s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 185s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 185s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 185s Setting up libxcursor1:s390x (1:1.2.3-1) ... 185s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 185s Setting up dconf-service (0.40.0-5) ... 185s Setting up libthai0:s390x (0.1.29-2build1) ... 185s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 185s Setting up ocaml-interp (5.3.0-2) ... 185s Setting up libcvc4parser7:s390x (1.8-3build2) ... 185s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 185s Setting up cpp-14 (14.2.0-17ubuntu3) ... 185s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 185s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 185s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 185s Setting up cvc4 (1.8-3build2) ... 185s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 185s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 185s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 185s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 185s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 185s Setting up fontconfig (2.15.0-2ubuntu1) ... 187s Regenerating fonts cache... done. 187s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 187s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 187s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 187s Setting up libcairo2:s390x (1.18.2-2) ... 187s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 187s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 187s Setting up adwaita-icon-theme (48~beta-3) ... 187s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 187s Setting up cpp (4:14.2.0-1ubuntu1) ... 187s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 187s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 187s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 187s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 187s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 187s Setting up libcairo2-ocaml (0.6.5-2build1) ... 187s Setting up gcc-14 (14.2.0-17ubuntu3) ... 187s Setting up gcc (4:14.2.0-1ubuntu1) ... 187s Setting up ocaml (5.3.0-2) ... 187s Processing triggers for libc-bin (2.40-4ubuntu1) ... 187s Processing triggers for man-db (2.13.0-1) ... 188s Processing triggers for libglib2.0-0t64:s390x (2.83.4-1) ... 188s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 188s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 188s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 188s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 188s Setting up why3 (1.8.0-2) ... 188s Processing triggers for libc-bin (2.40-4ubuntu1) ... 189s autopkgtest [05:27:00]: test why3+cvc4: [----------------------- 190s autopkgtest [05:27:01]: test why3+cvc4: -----------------------] 191s autopkgtest [05:27:02]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 191s why3+cvc4 PASS 191s autopkgtest [05:27:02]: test why3+cvc5: preparing testbed 306s autopkgtest [05:28:57]: testbed dpkg architecture: s390x 306s autopkgtest [05:28:57]: testbed apt version: 2.9.30ubuntu1 306s autopkgtest [05:28:57]: @@@@@@@@@@@@@@@@@@@@ test bed setup 307s autopkgtest [05:28:58]: testbed release detected to be: plucky 307s autopkgtest [05:28:58]: updating testbed package index (apt update) 308s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 308s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 308s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 308s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 308s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 308s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 308s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 308s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 308s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [123 kB] 308s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 308s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [423 kB] 308s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [2816 B] 308s Fetched 1265 kB in 1s (1512 kB/s) 309s Reading package lists... 310s Reading package lists... 310s Building dependency tree... 310s Reading state information... 310s Calculating upgrade... 310s Calculating upgrade... 310s The following packages were automatically installed and are no longer required: 310s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 310s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 310s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 310s linux-tools-6.11.0-8-generic 310s Use 'sudo apt autoremove' to remove them. 310s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 310s Reading package lists... 310s Building dependency tree... 310s Reading state information... 310s Solving dependencies... 310s The following packages will be REMOVED: 310s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 310s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 310s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 310s linux-tools-6.11.0-8-generic* 311s 0 upgraded, 0 newly installed, 9 to remove and 3 not upgraded. 311s After this operation, 167 MB disk space will be freed. 311s (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 ... 81030 files and directories currently installed.) 311s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 311s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 311s Removing libpython3.12t64:s390x (3.12.9-1) ... 311s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 311s Removing libnsl2:s390x (1.3.0-3build3) ... 311s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 311s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 311s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 312s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 312s Processing triggers for libc-bin (2.40-4ubuntu1) ... 312s (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 ... 55930 files and directories currently installed.) 312s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 312s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 312s autopkgtest [05:29:03]: upgrading testbed (apt dist-upgrade and autopurge) 312s Reading package lists... 312s Building dependency tree... 312s Reading state information... 313s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 313s Starting 2 pkgProblemResolver with broken count: 0 313s Done 313s Entering ResolveByKeep 313s 313s Calculating upgrade... 313s The following packages will be upgraded: 313s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 313s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 313s Need to get 1819 kB of archives. 313s After this operation, 1024 B disk space will be freed. 313s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x gir1.2-glib-2.0 s390x 2.83.4-1 [182 kB] 314s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-0t64 s390x 2.83.4-1 [1584 kB] 314s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-data all 2.83.4-1 [52.9 kB] 314s Fetched 1819 kB in 1s (2779 kB/s) 314s (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 ... 55928 files and directories currently installed.) 314s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_s390x.deb ... 314s Unpacking gir1.2-glib-2.0:s390x (2.83.4-1) over (2.83.3-2) ... 314s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_s390x.deb ... 314s Unpacking libglib2.0-0t64:s390x (2.83.4-1) over (2.83.3-2) ... 314s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 314s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 314s Setting up libglib2.0-0t64:s390x (2.83.4-1) ... 314s No schema files found: doing nothing. 314s Setting up libglib2.0-data (2.83.4-1) ... 314s Setting up gir1.2-glib-2.0:s390x (2.83.4-1) ... 314s Processing triggers for libc-bin (2.40-4ubuntu1) ... 314s Reading package lists... 315s Building dependency tree... 315s Reading state information... 315s Starting pkgProblemResolver with broken count: 0 315s Starting 2 pkgProblemResolver with broken count: 0 315s Done 315s Solving dependencies... 315s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 315s autopkgtest [05:29:06]: rebooting testbed after setup commands that affected boot 335s Reading package lists... 335s Building dependency tree... 335s Reading state information... 335s Starting pkgProblemResolver with broken count: 0 335s Starting 2 pkgProblemResolver with broken count: 0 335s Done 336s The following NEW packages will be installed: 336s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 336s cpp-s390x-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 336s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 336s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 336s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 336s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 336s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 336s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 336s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 336s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 336s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 336s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 336s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 336s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 336s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 336s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 336s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 336s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 336s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 336s ocaml-interp tex-common why3 336s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 336s Need to get 158 MB of archives. 336s After this operation, 487 MB of additional disk space will be used. 336s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 336s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 336s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 336s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 336s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 336s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 336s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 336s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 336s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 336s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 336s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 336s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 336s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 336s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 336s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 336s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 337s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 337s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 337s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 337s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 337s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcryptominisat5-5.11t64 s390x 5.11.21+dfsg1-1build1 [513 kB] 337s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc5-1 s390x 1.1.2-2build1 [5661 kB] 337s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc5parser1 s390x 1.1.2-2build1 [216 kB] 337s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc5 s390x 1.1.2-2build1 [94.4 kB] 337s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 337s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 337s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 337s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 337s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 337s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 337s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 337s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 337s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 337s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 337s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 337s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 337s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 337s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 337s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 337s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 338s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 338s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 338s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 338s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 338s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 338s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 338s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 338s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 338s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 338s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 338s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 338s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 338s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 338s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 338s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 338s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 338s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 338s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 338s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 338s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 338s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 338s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 338s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 341s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 341s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 341s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 341s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 341s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 341s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 341s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 341s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 341s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 341s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 341s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 341s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 341s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 341s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 341s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 341s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 341s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 341s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 341s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 341s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 341s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 341s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 341s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 341s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 341s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 341s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 341s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 341s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 342s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 343s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 343s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 344s Fetched 158 MB in 8s (18.9 MB/s) 344s Selecting previously unselected package libgdk-pixbuf2.0-common. 345s (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 ... 55928 files and directories currently installed.) 345s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 345s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 345s Selecting previously unselected package libjpeg-turbo8:s390x. 345s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 345s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 345s Selecting previously unselected package libjpeg8:s390x. 345s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 345s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 345s Selecting previously unselected package libdeflate0:s390x. 345s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 345s Unpacking libdeflate0:s390x (1.23-1) ... 345s Selecting previously unselected package libjbig0:s390x. 345s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 345s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 345s Selecting previously unselected package libsharpyuv0:s390x. 345s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 345s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 345s Selecting previously unselected package libwebp7:s390x. 345s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 345s Unpacking libwebp7:s390x (1.5.0-0.1) ... 345s Selecting previously unselected package libtiff6:s390x. 345s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 345s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 345s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 345s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 345s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 345s Selecting previously unselected package gtk-update-icon-cache. 345s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 345s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 345s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 345s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 345s Selecting previously unselected package hicolor-icon-theme. 345s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 345s Unpacking hicolor-icon-theme (0.18-2) ... 345s Selecting previously unselected package adwaita-icon-theme. 345s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 345s Unpacking adwaita-icon-theme (48~beta-3) ... 345s Selecting previously unselected package at-spi2-common. 345s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 345s Unpacking at-spi2-common (2.55.2-1) ... 345s Selecting previously unselected package libisl23:s390x. 345s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 345s Unpacking libisl23:s390x (0.27-1) ... 345s Selecting previously unselected package libmpc3:s390x. 345s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 345s Unpacking libmpc3:s390x (1.3.1-1build2) ... 345s Selecting previously unselected package cpp-14-s390x-linux-gnu. 345s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 345s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 345s Selecting previously unselected package cpp-14. 345s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 345s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 345s Selecting previously unselected package cpp-s390x-linux-gnu. 345s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 345s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 345s Selecting previously unselected package cpp. 345s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 345s Unpacking cpp (4:14.2.0-1ubuntu1) ... 345s Selecting previously unselected package libcln6:s390x. 345s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 345s Unpacking libcln6:s390x (1.3.7-1) ... 345s Selecting previously unselected package libcryptominisat5-5.11t64:s390x. 345s Preparing to unpack .../20-libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb ... 345s Unpacking libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-1build1) ... 345s Selecting previously unselected package libcvc5-1:s390x. 345s Preparing to unpack .../21-libcvc5-1_1.1.2-2build1_s390x.deb ... 345s Unpacking libcvc5-1:s390x (1.1.2-2build1) ... 345s Selecting previously unselected package libcvc5parser1:s390x. 345s Preparing to unpack .../22-libcvc5parser1_1.1.2-2build1_s390x.deb ... 345s Unpacking libcvc5parser1:s390x (1.1.2-2build1) ... 345s Selecting previously unselected package cvc5. 345s Preparing to unpack .../23-cvc5_1.1.2-2build1_s390x.deb ... 345s Unpacking cvc5 (1.1.2-2build1) ... 345s Selecting previously unselected package libdconf1:s390x. 345s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 345s Unpacking libdconf1:s390x (0.40.0-5) ... 345s Selecting previously unselected package dconf-service. 345s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 345s Unpacking dconf-service (0.40.0-5) ... 345s Selecting previously unselected package dconf-gsettings-backend:s390x. 345s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 345s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 345s Selecting previously unselected package libfreetype6:s390x. 345s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 345s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 345s Selecting previously unselected package fonts-dejavu-mono. 345s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 345s Unpacking fonts-dejavu-mono (2.37-8) ... 345s Selecting previously unselected package fonts-dejavu-core. 345s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 345s Unpacking fonts-dejavu-core (2.37-8) ... 345s Selecting previously unselected package fontconfig-config. 345s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 345s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 345s Selecting previously unselected package libfontconfig1:s390x. 345s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 345s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 345s Selecting previously unselected package fontconfig. 345s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 345s Unpacking fontconfig (2.15.0-2ubuntu1) ... 345s Selecting previously unselected package libcc1-0:s390x. 345s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 345s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 345s Selecting previously unselected package libgomp1:s390x. 345s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 345s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 345s Selecting previously unselected package libitm1:s390x. 345s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_s390x.deb ... 345s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 345s Selecting previously unselected package libasan8:s390x. 345s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_s390x.deb ... 345s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 345s Selecting previously unselected package libubsan1:s390x. 345s Preparing to unpack .../37-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 345s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 345s Selecting previously unselected package libgcc-14-dev:s390x. 345s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 345s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 345s Selecting previously unselected package gcc-14-s390x-linux-gnu. 345s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 345s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 346s Selecting previously unselected package gcc-14. 346s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 346s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 346s Selecting previously unselected package gcc-s390x-linux-gnu. 346s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 346s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 346s Selecting previously unselected package gcc. 346s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 346s Unpacking gcc (4:14.2.0-1ubuntu1) ... 346s Selecting previously unselected package libatk1.0-0t64:s390x. 346s Preparing to unpack .../43-libatk1.0-0t64_2.55.2-1_s390x.deb ... 346s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 346s Selecting previously unselected package libxi6:s390x. 346s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 346s Unpacking libxi6:s390x (2:1.8.2-1) ... 346s Selecting previously unselected package libatspi2.0-0t64:s390x. 346s Preparing to unpack .../45-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 346s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 346s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 346s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 346s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 346s Selecting previously unselected package libavahi-common-data:s390x. 346s Preparing to unpack .../47-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 346s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 346s Selecting previously unselected package libavahi-common3:s390x. 346s Preparing to unpack .../48-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 346s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 346s Selecting previously unselected package libavahi-client3:s390x. 346s Preparing to unpack .../49-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 346s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 346s Selecting previously unselected package libpixman-1-0:s390x. 346s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 346s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 346s Selecting previously unselected package libxcb-render0:s390x. 346s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 346s Unpacking libxcb-render0:s390x (1.17.0-2) ... 346s Selecting previously unselected package libxcb-shm0:s390x. 346s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 346s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 346s Selecting previously unselected package libxrender1:s390x. 346s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 346s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 346s Selecting previously unselected package libcairo2:s390x. 346s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 346s Unpacking libcairo2:s390x (1.18.2-2) ... 346s Selecting previously unselected package libcairo-gobject2:s390x. 346s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 346s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 346s Selecting previously unselected package libstdlib-ocaml. 346s Preparing to unpack .../56-libstdlib-ocaml_5.3.0-2_s390x.deb ... 346s Unpacking libstdlib-ocaml (5.3.0-2) ... 346s Selecting previously unselected package ocaml-base. 346s Preparing to unpack .../57-ocaml-base_5.3.0-2_s390x.deb ... 346s Unpacking ocaml-base (5.3.0-2) ... 346s Selecting previously unselected package libcairo2-ocaml. 346s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 346s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 346s Selecting previously unselected package liblcms2-2:s390x. 346s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 346s Unpacking liblcms2-2:s390x (2.16-2) ... 346s Selecting previously unselected package libcolord2:s390x. 346s Preparing to unpack .../60-libcolord2_1.4.7-1build2_s390x.deb ... 346s Unpacking libcolord2:s390x (1.4.7-1build2) ... 346s Selecting previously unselected package libstdlib-ocaml-dev. 346s Preparing to unpack .../61-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 346s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 346s Selecting previously unselected package libcompiler-libs-ocaml-dev. 346s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 346s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 346s Selecting previously unselected package libcups2t64:s390x. 346s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 346s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 346s Selecting previously unselected package libdatrie1:s390x. 346s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 346s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 346s Selecting previously unselected package libepoxy0:s390x. 346s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 346s Unpacking libepoxy0:s390x (1.5.10-2) ... 346s Selecting previously unselected package libgraphite2-3:s390x. 346s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 346s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 346s Selecting previously unselected package libharfbuzz0b:s390x. 346s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 346s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 346s Selecting previously unselected package libthai-data. 346s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 346s Unpacking libthai-data (0.1.29-2build1) ... 346s Selecting previously unselected package libthai0:s390x. 346s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 346s Unpacking libthai0:s390x (0.1.29-2build1) ... 346s Selecting previously unselected package libpango-1.0-0:s390x. 346s Preparing to unpack .../70-libpango-1.0-0_1.56.1-1_s390x.deb ... 346s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 346s Selecting previously unselected package libpangoft2-1.0-0:s390x. 346s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 346s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 346s Selecting previously unselected package libpangocairo-1.0-0:s390x. 346s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 346s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 346s Selecting previously unselected package libwayland-client0:s390x. 346s Preparing to unpack .../73-libwayland-client0_1.23.1-3_s390x.deb ... 346s Unpacking libwayland-client0:s390x (1.23.1-3) ... 346s Selecting previously unselected package libwayland-cursor0:s390x. 346s Preparing to unpack .../74-libwayland-cursor0_1.23.1-3_s390x.deb ... 346s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 346s Selecting previously unselected package libwayland-egl1:s390x. 346s Preparing to unpack .../75-libwayland-egl1_1.23.1-3_s390x.deb ... 346s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 346s Selecting previously unselected package libxcomposite1:s390x. 346s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 346s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 346s Selecting previously unselected package libxfixes3:s390x. 346s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 346s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 346s Selecting previously unselected package libxcursor1:s390x. 347s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 347s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 347s Selecting previously unselected package libxdamage1:s390x. 347s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 347s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 347s Selecting previously unselected package libxinerama1:s390x. 347s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 347s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 347s Selecting previously unselected package libxrandr2:s390x. 347s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 347s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 347s Selecting previously unselected package libgtk-3-common. 347s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 347s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 347s Selecting previously unselected package libgtk-3-0t64:s390x. 347s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 347s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 347s Selecting previously unselected package libgtksourceview-3.0-common. 347s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 347s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 347s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 347s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 347s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 347s Selecting previously unselected package liblablgtk3-ocaml. 347s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 347s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 347s Selecting previously unselected package liblablgtksourceview3-ocaml. 347s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 347s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 347s Selecting previously unselected package libncurses-dev:s390x. 347s Preparing to unpack .../88-libncurses-dev_6.5+20250125-2_s390x.deb ... 347s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 347s Selecting previously unselected package libzstd-dev:s390x. 347s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 347s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 347s Selecting previously unselected package ocaml-interp. 347s Preparing to unpack .../90-ocaml-interp_5.3.0-2_s390x.deb ... 347s Unpacking ocaml-interp (5.3.0-2) ... 347s Selecting previously unselected package ocaml. 347s Preparing to unpack .../91-ocaml_5.3.0-2_s390x.deb ... 347s Unpacking ocaml (5.3.0-2) ... 347s Selecting previously unselected package tex-common. 347s Preparing to unpack .../92-tex-common_6.18_all.deb ... 347s Unpacking tex-common (6.18) ... 347s Selecting previously unselected package why3. 347s Preparing to unpack .../93-why3_1.8.0-2_s390x.deb ... 347s Unpacking why3 (1.8.0-2) ... 348s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 348s Setting up liblcms2-2:s390x (2.16-2) ... 348s Setting up libpixman-1-0:s390x (0.44.0-3) ... 348s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 348s Setting up libcln6:s390x (1.3.7-1) ... 348s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 348s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 348s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 348s Setting up hicolor-icon-theme (0.18-2) ... 348s Setting up libxi6:s390x (2:1.8.2-1) ... 348s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 348s Setting up libdatrie1:s390x (0.2.13-3build1) ... 348s Setting up libxcb-render0:s390x (1.17.0-2) ... 348s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 348s Setting up libdeflate0:s390x (1.23-1) ... 348s Setting up libxcb-shm0:s390x (1.17.0-2) ... 348s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 348s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 348s Setting up libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-1build1) ... 348s Setting up libcolord2:s390x (1.4.7-1build2) ... 348s Setting up libdconf1:s390x (0.40.0-5) ... 348s Setting up tex-common (6.18) ... 348s update-language: texlive-base not installed and configured, doing nothing! 348s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 348s Setting up libepoxy0:s390x (1.5.10-2) ... 348s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 348s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 348s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 348s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 348s Setting up libstdlib-ocaml (5.3.0-2) ... 348s Setting up fonts-dejavu-mono (2.37-8) ... 348s Setting up libmpc3:s390x (1.3.1-1build2) ... 348s Setting up libxrandr2:s390x (2:1.5.4-1) ... 348s Setting up ocaml-base (5.3.0-2) ... 348s Setting up fonts-dejavu-core (2.37-8) ... 348s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 348s Setting up libwebp7:s390x (1.5.0-0.1) ... 348s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 348s Setting up at-spi2-common (2.55.2-1) ... 348s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 348s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 348s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 348s Setting up libthai-data (0.1.29-2build1) ... 348s Setting up libwayland-egl1:s390x (1.23.1-3) ... 348s Setting up libisl23:s390x (0.27-1) ... 348s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 348s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 348s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 348s Setting up libwayland-client0:s390x (1.23.1-3) ... 348s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 348s Setting up libcvc5-1:s390x (1.1.2-2build1) ... 348s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 348s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 348s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 348s Setting up libxcursor1:s390x (1:1.2.3-1) ... 348s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 348s Setting up dconf-service (0.40.0-5) ... 348s Setting up libthai0:s390x (0.1.29-2build1) ... 348s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 348s Setting up ocaml-interp (5.3.0-2) ... 348s Setting up libcvc5parser1:s390x (1.1.2-2build1) ... 348s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 348s Setting up cpp-14 (14.2.0-17ubuntu3) ... 348s Setting up cvc5 (1.1.2-2build1) ... 348s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 348s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 348s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 348s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 348s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 348s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 348s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 348s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 348s Setting up fontconfig (2.15.0-2ubuntu1) ... 350s Regenerating fonts cache... done. 350s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 350s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 350s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 350s Setting up libcairo2:s390x (1.18.2-2) ... 350s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 350s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 350s Setting up adwaita-icon-theme (48~beta-3) ... 350s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 350s Setting up cpp (4:14.2.0-1ubuntu1) ... 350s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 350s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 350s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 350s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 350s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 350s Setting up libcairo2-ocaml (0.6.5-2build1) ... 350s Setting up gcc-14 (14.2.0-17ubuntu3) ... 350s Setting up gcc (4:14.2.0-1ubuntu1) ... 350s Setting up ocaml (5.3.0-2) ... 350s Processing triggers for libc-bin (2.40-4ubuntu1) ... 350s Processing triggers for man-db (2.13.0-1) ... 351s Processing triggers for libglib2.0-0t64:s390x (2.83.4-1) ... 351s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 351s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 351s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 351s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 351s Setting up why3 (1.8.0-2) ... 351s Processing triggers for libc-bin (2.40-4ubuntu1) ... 368s autopkgtest [05:29:59]: test why3+cvc5: [----------------------- 369s autopkgtest [05:30:00]: test why3+cvc5: -----------------------] 370s why3+cvc5 PASS 370s autopkgtest [05:30:01]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 370s autopkgtest [05:30:01]: test why3+spass: preparing testbed 457s autopkgtest [05:31:28]: testbed dpkg architecture: s390x 457s autopkgtest [05:31:28]: testbed apt version: 2.9.30ubuntu1 457s autopkgtest [05:31:28]: @@@@@@@@@@@@@@@@@@@@ test bed setup 457s autopkgtest [05:31:28]: testbed release detected to be: plucky 458s autopkgtest [05:31:29]: updating testbed package index (apt update) 458s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 459s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 459s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 459s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 459s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 459s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 459s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 459s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 459s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [123 kB] 459s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 459s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [423 kB] 459s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [2816 B] 459s Fetched 1265 kB in 1s (1173 kB/s) 460s Reading package lists... 461s Reading package lists... 461s Building dependency tree... 461s Reading state information... 461s Calculating upgrade... 461s Calculating upgrade... 461s The following packages were automatically installed and are no longer required: 461s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 461s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 461s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 461s linux-tools-6.11.0-8-generic 461s Use 'sudo apt autoremove' to remove them. 461s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 461s Reading package lists... 461s Building dependency tree... 461s Reading state information... 461s Solving dependencies... 461s The following packages will be REMOVED: 461s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 461s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 461s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 461s linux-tools-6.11.0-8-generic* 462s 0 upgraded, 0 newly installed, 9 to remove and 3 not upgraded. 462s After this operation, 167 MB disk space will be freed. 462s (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 ... 81030 files and directories currently installed.) 462s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 462s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 462s Removing libpython3.12t64:s390x (3.12.9-1) ... 462s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 462s Removing libnsl2:s390x (1.3.0-3build3) ... 462s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 462s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 462s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 463s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 463s Processing triggers for libc-bin (2.40-4ubuntu1) ... 463s (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 ... 55930 files and directories currently installed.) 463s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 463s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 463s autopkgtest [05:31:34]: upgrading testbed (apt dist-upgrade and autopurge) 463s Reading package lists... 463s Building dependency tree... 463s Reading state information... 464s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 464s Starting 2 pkgProblemResolver with broken count: 0 464s Done 464s Entering ResolveByKeep 464s 464s Calculating upgrade... 464s The following packages will be upgraded: 464s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 464s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 464s Need to get 1819 kB of archives. 464s After this operation, 1024 B disk space will be freed. 464s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x gir1.2-glib-2.0 s390x 2.83.4-1 [182 kB] 465s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-0t64 s390x 2.83.4-1 [1584 kB] 465s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-data all 2.83.4-1 [52.9 kB] 465s Fetched 1819 kB in 1s (2291 kB/s) 465s (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 ... 55928 files and directories currently installed.) 465s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_s390x.deb ... 465s Unpacking gir1.2-glib-2.0:s390x (2.83.4-1) over (2.83.3-2) ... 465s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_s390x.deb ... 465s Unpacking libglib2.0-0t64:s390x (2.83.4-1) over (2.83.3-2) ... 465s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 465s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 465s Setting up libglib2.0-0t64:s390x (2.83.4-1) ... 465s No schema files found: doing nothing. 465s Setting up libglib2.0-data (2.83.4-1) ... 465s Setting up gir1.2-glib-2.0:s390x (2.83.4-1) ... 465s Processing triggers for libc-bin (2.40-4ubuntu1) ... 466s Reading package lists... 466s Building dependency tree... 466s Reading state information... 466s Starting pkgProblemResolver with broken count: 0 466s Starting 2 pkgProblemResolver with broken count: 0 466s Done 466s Solving dependencies... 466s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 466s autopkgtest [05:31:37]: rebooting testbed after setup commands that affected boot 488s Reading package lists... 488s Building dependency tree... 488s Reading state information... 489s Starting pkgProblemResolver with broken count: 0 489s Starting 2 pkgProblemResolver with broken count: 0 489s Done 489s The following NEW packages will be installed: 489s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 489s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 489s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 489s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 489s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 489s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 489s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 489s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 489s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 489s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 489s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 489s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 489s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 489s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 489s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 489s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 489s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 489s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 489s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 489s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 489s Need to get 151 MB of archives. 489s After this operation, 467 MB of additional disk space will be used. 489s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 489s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 489s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 489s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 489s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 489s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 489s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 489s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 489s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 489s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 489s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 489s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 490s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 490s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 490s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 490s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 491s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 491s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 491s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 491s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 491s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 491s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 491s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 491s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 491s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 491s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 491s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 491s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 491s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 491s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 491s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 491s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 492s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 492s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 492s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 494s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 494s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 494s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 494s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 494s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 494s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 494s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 494s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 494s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 494s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 494s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 494s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 494s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 494s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 494s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 495s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 495s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 495s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 495s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 495s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 495s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 495s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 496s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 500s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 500s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 500s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 500s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 500s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 500s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 500s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 500s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 500s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 500s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 500s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 500s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 500s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 500s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 500s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 500s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 500s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 500s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 500s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 500s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 500s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 501s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 501s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 501s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 501s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 501s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 501s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 501s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 502s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 503s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x spass s390x 3.9-1.1 [354 kB] 503s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 503s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 504s Fetched 151 MB in 15s (10.1 MB/s) 504s Selecting previously unselected package libgdk-pixbuf2.0-common. 504s (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 ... 55928 files and directories currently installed.) 504s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 504s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 504s Selecting previously unselected package libjpeg-turbo8:s390x. 504s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 504s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 504s Selecting previously unselected package libjpeg8:s390x. 504s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 504s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 504s Selecting previously unselected package libdeflate0:s390x. 504s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 504s Unpacking libdeflate0:s390x (1.23-1) ... 504s Selecting previously unselected package libjbig0:s390x. 504s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 504s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 504s Selecting previously unselected package libsharpyuv0:s390x. 504s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 504s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 504s Selecting previously unselected package libwebp7:s390x. 504s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 504s Unpacking libwebp7:s390x (1.5.0-0.1) ... 504s Selecting previously unselected package libtiff6:s390x. 504s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 504s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 504s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 504s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 504s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 504s Selecting previously unselected package gtk-update-icon-cache. 504s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 504s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 504s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 504s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 504s Selecting previously unselected package hicolor-icon-theme. 504s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 504s Unpacking hicolor-icon-theme (0.18-2) ... 504s Selecting previously unselected package adwaita-icon-theme. 504s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 504s Unpacking adwaita-icon-theme (48~beta-3) ... 505s Selecting previously unselected package at-spi2-common. 505s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 505s Unpacking at-spi2-common (2.55.2-1) ... 505s Selecting previously unselected package libisl23:s390x. 505s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 505s Unpacking libisl23:s390x (0.27-1) ... 505s Selecting previously unselected package libmpc3:s390x. 505s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 505s Unpacking libmpc3:s390x (1.3.1-1build2) ... 505s Selecting previously unselected package cpp-14-s390x-linux-gnu. 505s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 505s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 505s Selecting previously unselected package cpp-14. 505s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 505s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 505s Selecting previously unselected package cpp-s390x-linux-gnu. 505s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 505s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 505s Selecting previously unselected package cpp. 505s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 505s Unpacking cpp (4:14.2.0-1ubuntu1) ... 505s Selecting previously unselected package libdconf1:s390x. 505s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 505s Unpacking libdconf1:s390x (0.40.0-5) ... 505s Selecting previously unselected package dconf-service. 505s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 505s Unpacking dconf-service (0.40.0-5) ... 505s Selecting previously unselected package dconf-gsettings-backend:s390x. 505s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 505s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 505s Selecting previously unselected package libfreetype6:s390x. 505s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 505s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 505s Selecting previously unselected package fonts-dejavu-mono. 505s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 505s Unpacking fonts-dejavu-mono (2.37-8) ... 505s Selecting previously unselected package fonts-dejavu-core. 505s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 505s Unpacking fonts-dejavu-core (2.37-8) ... 505s Selecting previously unselected package fontconfig-config. 505s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 505s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 505s Selecting previously unselected package libfontconfig1:s390x. 505s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 505s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 505s Selecting previously unselected package fontconfig. 505s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 505s Unpacking fontconfig (2.15.0-2ubuntu1) ... 505s Selecting previously unselected package libcc1-0:s390x. 505s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 505s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 505s Selecting previously unselected package libgomp1:s390x. 505s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 505s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 505s Selecting previously unselected package libitm1:s390x. 505s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_s390x.deb ... 505s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 505s Selecting previously unselected package libasan8:s390x. 505s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_s390x.deb ... 505s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 505s Selecting previously unselected package libubsan1:s390x. 505s Preparing to unpack .../32-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 505s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 505s Selecting previously unselected package libgcc-14-dev:s390x. 505s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 505s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 505s Selecting previously unselected package gcc-14-s390x-linux-gnu. 505s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 505s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 505s Selecting previously unselected package gcc-14. 505s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 505s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 505s Selecting previously unselected package gcc-s390x-linux-gnu. 505s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 505s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 505s Selecting previously unselected package gcc. 506s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 506s Unpacking gcc (4:14.2.0-1ubuntu1) ... 506s Selecting previously unselected package libatk1.0-0t64:s390x. 506s Preparing to unpack .../38-libatk1.0-0t64_2.55.2-1_s390x.deb ... 506s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 506s Selecting previously unselected package libxi6:s390x. 506s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 506s Unpacking libxi6:s390x (2:1.8.2-1) ... 506s Selecting previously unselected package libatspi2.0-0t64:s390x. 506s Preparing to unpack .../40-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 506s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 506s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 506s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 506s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 506s Selecting previously unselected package libavahi-common-data:s390x. 506s Preparing to unpack .../42-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 506s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 506s Selecting previously unselected package libavahi-common3:s390x. 506s Preparing to unpack .../43-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 506s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 506s Selecting previously unselected package libavahi-client3:s390x. 506s Preparing to unpack .../44-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 506s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 506s Selecting previously unselected package libpixman-1-0:s390x. 506s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 506s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 506s Selecting previously unselected package libxcb-render0:s390x. 506s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 506s Unpacking libxcb-render0:s390x (1.17.0-2) ... 506s Selecting previously unselected package libxcb-shm0:s390x. 506s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 506s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 506s Selecting previously unselected package libxrender1:s390x. 506s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 506s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 506s Selecting previously unselected package libcairo2:s390x. 506s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 506s Unpacking libcairo2:s390x (1.18.2-2) ... 506s Selecting previously unselected package libcairo-gobject2:s390x. 506s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 506s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 506s Selecting previously unselected package libstdlib-ocaml. 506s Preparing to unpack .../51-libstdlib-ocaml_5.3.0-2_s390x.deb ... 506s Unpacking libstdlib-ocaml (5.3.0-2) ... 506s Selecting previously unselected package ocaml-base. 506s Preparing to unpack .../52-ocaml-base_5.3.0-2_s390x.deb ... 506s Unpacking ocaml-base (5.3.0-2) ... 506s Selecting previously unselected package libcairo2-ocaml. 506s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 506s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 506s Selecting previously unselected package liblcms2-2:s390x. 506s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 506s Unpacking liblcms2-2:s390x (2.16-2) ... 506s Selecting previously unselected package libcolord2:s390x. 506s Preparing to unpack .../55-libcolord2_1.4.7-1build2_s390x.deb ... 506s Unpacking libcolord2:s390x (1.4.7-1build2) ... 506s Selecting previously unselected package libstdlib-ocaml-dev. 506s Preparing to unpack .../56-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 506s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 506s Selecting previously unselected package libcompiler-libs-ocaml-dev. 506s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 506s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 506s Selecting previously unselected package libcups2t64:s390x. 506s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 506s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 506s Selecting previously unselected package libdatrie1:s390x. 506s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 506s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 506s Selecting previously unselected package libepoxy0:s390x. 506s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 506s Unpacking libepoxy0:s390x (1.5.10-2) ... 506s Selecting previously unselected package libgraphite2-3:s390x. 506s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 506s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 506s Selecting previously unselected package libharfbuzz0b:s390x. 506s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 506s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 506s Selecting previously unselected package libthai-data. 506s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 506s Unpacking libthai-data (0.1.29-2build1) ... 506s Selecting previously unselected package libthai0:s390x. 506s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 506s Unpacking libthai0:s390x (0.1.29-2build1) ... 506s Selecting previously unselected package libpango-1.0-0:s390x. 506s Preparing to unpack .../65-libpango-1.0-0_1.56.1-1_s390x.deb ... 506s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 506s Selecting previously unselected package libpangoft2-1.0-0:s390x. 506s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 506s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 506s Selecting previously unselected package libpangocairo-1.0-0:s390x. 506s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 506s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 506s Selecting previously unselected package libwayland-client0:s390x. 506s Preparing to unpack .../68-libwayland-client0_1.23.1-3_s390x.deb ... 506s Unpacking libwayland-client0:s390x (1.23.1-3) ... 506s Selecting previously unselected package libwayland-cursor0:s390x. 506s Preparing to unpack .../69-libwayland-cursor0_1.23.1-3_s390x.deb ... 506s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 506s Selecting previously unselected package libwayland-egl1:s390x. 506s Preparing to unpack .../70-libwayland-egl1_1.23.1-3_s390x.deb ... 506s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 506s Selecting previously unselected package libxcomposite1:s390x. 506s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 506s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 506s Selecting previously unselected package libxfixes3:s390x. 506s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 506s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 506s Selecting previously unselected package libxcursor1:s390x. 506s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 506s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 506s Selecting previously unselected package libxdamage1:s390x. 506s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 506s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 506s Selecting previously unselected package libxinerama1:s390x. 506s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 506s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 506s Selecting previously unselected package libxrandr2:s390x. 506s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 506s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 506s Selecting previously unselected package libgtk-3-common. 506s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 506s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 506s Selecting previously unselected package libgtk-3-0t64:s390x. 506s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 506s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 507s Selecting previously unselected package libgtksourceview-3.0-common. 507s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 507s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 507s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 507s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 507s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 507s Selecting previously unselected package liblablgtk3-ocaml. 507s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 507s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 507s Selecting previously unselected package liblablgtksourceview3-ocaml. 507s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 507s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 507s Selecting previously unselected package libncurses-dev:s390x. 507s Preparing to unpack .../83-libncurses-dev_6.5+20250125-2_s390x.deb ... 507s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 507s Selecting previously unselected package libzstd-dev:s390x. 507s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 507s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 507s Selecting previously unselected package ocaml-interp. 507s Preparing to unpack .../85-ocaml-interp_5.3.0-2_s390x.deb ... 507s Unpacking ocaml-interp (5.3.0-2) ... 507s Selecting previously unselected package ocaml. 507s Preparing to unpack .../86-ocaml_5.3.0-2_s390x.deb ... 507s Unpacking ocaml (5.3.0-2) ... 507s Selecting previously unselected package spass. 507s Preparing to unpack .../87-spass_3.9-1.1_s390x.deb ... 507s Unpacking spass (3.9-1.1) ... 507s Selecting previously unselected package tex-common. 507s Preparing to unpack .../88-tex-common_6.18_all.deb ... 507s Unpacking tex-common (6.18) ... 507s Selecting previously unselected package why3. 507s Preparing to unpack .../89-why3_1.8.0-2_s390x.deb ... 507s Unpacking why3 (1.8.0-2) ... 508s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 508s Setting up liblcms2-2:s390x (2.16-2) ... 508s Setting up libpixman-1-0:s390x (0.44.0-3) ... 508s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 508s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 508s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 508s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 508s Setting up hicolor-icon-theme (0.18-2) ... 508s Setting up libxi6:s390x (2:1.8.2-1) ... 508s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 508s Setting up libdatrie1:s390x (0.2.13-3build1) ... 508s Setting up libxcb-render0:s390x (1.17.0-2) ... 508s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 508s Setting up libdeflate0:s390x (1.23-1) ... 508s Setting up libxcb-shm0:s390x (1.17.0-2) ... 508s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 508s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 508s Setting up libcolord2:s390x (1.4.7-1build2) ... 508s Setting up libdconf1:s390x (0.40.0-5) ... 508s Setting up tex-common (6.18) ... 508s update-language: texlive-base not installed and configured, doing nothing! 508s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 508s Setting up libepoxy0:s390x (1.5.10-2) ... 508s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 508s Setting up spass (3.9-1.1) ... 508s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 508s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 508s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 508s Setting up libstdlib-ocaml (5.3.0-2) ... 508s Setting up fonts-dejavu-mono (2.37-8) ... 508s Setting up libmpc3:s390x (1.3.1-1build2) ... 508s Setting up libxrandr2:s390x (2:1.5.4-1) ... 508s Setting up ocaml-base (5.3.0-2) ... 508s Setting up fonts-dejavu-core (2.37-8) ... 508s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 508s Setting up libwebp7:s390x (1.5.0-0.1) ... 508s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 508s Setting up at-spi2-common (2.55.2-1) ... 508s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 508s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 508s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 508s Setting up libthai-data (0.1.29-2build1) ... 508s Setting up libwayland-egl1:s390x (1.23.1-3) ... 508s Setting up libisl23:s390x (0.27-1) ... 508s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 508s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 508s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 508s Setting up libwayland-client0:s390x (1.23.1-3) ... 508s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 508s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 508s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 508s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 508s Setting up libxcursor1:s390x (1:1.2.3-1) ... 508s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 508s Setting up dconf-service (0.40.0-5) ... 508s Setting up libthai0:s390x (0.1.29-2build1) ... 508s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 508s Setting up ocaml-interp (5.3.0-2) ... 508s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 508s Setting up cpp-14 (14.2.0-17ubuntu3) ... 508s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 508s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 508s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 508s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 508s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 508s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 508s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 508s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 508s Setting up fontconfig (2.15.0-2ubuntu1) ... 510s Regenerating fonts cache... done. 510s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 510s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 510s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 510s Setting up libcairo2:s390x (1.18.2-2) ... 510s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 510s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 510s Setting up adwaita-icon-theme (48~beta-3) ... 510s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 510s Setting up cpp (4:14.2.0-1ubuntu1) ... 510s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 510s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 510s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 510s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 510s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 510s Setting up libcairo2-ocaml (0.6.5-2build1) ... 510s Setting up gcc-14 (14.2.0-17ubuntu3) ... 510s Setting up gcc (4:14.2.0-1ubuntu1) ... 510s Setting up ocaml (5.3.0-2) ... 510s Processing triggers for libc-bin (2.40-4ubuntu1) ... 510s Processing triggers for man-db (2.13.0-1) ... 511s Processing triggers for libglib2.0-0t64:s390x (2.83.4-1) ... 511s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 511s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 511s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 511s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 511s Setting up why3 (1.8.0-2) ... 511s Processing triggers for libc-bin (2.40-4ubuntu1) ... 527s autopkgtest [05:32:38]: test why3+spass: [----------------------- 528s autopkgtest [05:32:39]: test why3+spass: -----------------------] 528s autopkgtest [05:32:39]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 528s why3+spass PASS 528s autopkgtest [05:32:39]: test why3+z3: preparing testbed 600s autopkgtest [05:33:51]: testbed dpkg architecture: s390x 601s autopkgtest [05:33:52]: testbed apt version: 2.9.30ubuntu1 601s autopkgtest [05:33:52]: @@@@@@@@@@@@@@@@@@@@ test bed setup 601s autopkgtest [05:33:52]: testbed release detected to be: plucky 602s autopkgtest [05:33:53]: updating testbed package index (apt update) 602s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 603s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 603s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 603s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 603s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 603s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 603s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 603s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 603s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [123 kB] 603s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 603s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [423 kB] 603s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [2816 B] 603s Fetched 1265 kB in 1s (1433 kB/s) 604s Reading package lists... 604s Reading package lists... 604s Building dependency tree... 604s Reading state information... 605s Calculating upgrade... 605s Calculating upgrade... 605s The following packages were automatically installed and are no longer required: 605s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 605s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 605s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 605s linux-tools-6.11.0-8-generic 605s Use 'sudo apt autoremove' to remove them. 605s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 605s Reading package lists... 605s Building dependency tree... 605s Reading state information... 605s Solving dependencies... 605s The following packages will be REMOVED: 605s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 605s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 605s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 605s linux-tools-6.11.0-8-generic* 605s 0 upgraded, 0 newly installed, 9 to remove and 3 not upgraded. 605s After this operation, 167 MB disk space will be freed. 605s (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 ... 81030 files and directories currently installed.) 605s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 605s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 605s Removing libpython3.12t64:s390x (3.12.9-1) ... 605s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 605s Removing libnsl2:s390x (1.3.0-3build3) ... 605s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 606s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 606s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 607s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 607s Processing triggers for libc-bin (2.40-4ubuntu1) ... 607s (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 ... 55930 files and directories currently installed.) 607s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 607s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 607s autopkgtest [05:33:58]: upgrading testbed (apt dist-upgrade and autopurge) 607s Reading package lists... 607s Building dependency tree... 607s Reading state information... 607s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 607s Starting 2 pkgProblemResolver with broken count: 0 607s Done 607s Entering ResolveByKeep 608s 608s Calculating upgrade... 608s The following packages will be upgraded: 608s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 608s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 608s Need to get 1819 kB of archives. 608s After this operation, 1024 B disk space will be freed. 608s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x gir1.2-glib-2.0 s390x 2.83.4-1 [182 kB] 608s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-0t64 s390x 2.83.4-1 [1584 kB] 608s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-data all 2.83.4-1 [52.9 kB] 609s Fetched 1819 kB in 1s (2820 kB/s) 609s (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 ... 55928 files and directories currently installed.) 609s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_s390x.deb ... 609s Unpacking gir1.2-glib-2.0:s390x (2.83.4-1) over (2.83.3-2) ... 609s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_s390x.deb ... 609s Unpacking libglib2.0-0t64:s390x (2.83.4-1) over (2.83.3-2) ... 609s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 609s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 609s Setting up libglib2.0-0t64:s390x (2.83.4-1) ... 609s No schema files found: doing nothing. 609s Setting up libglib2.0-data (2.83.4-1) ... 609s Setting up gir1.2-glib-2.0:s390x (2.83.4-1) ... 609s Processing triggers for libc-bin (2.40-4ubuntu1) ... 609s Reading package lists... 609s Building dependency tree... 609s Reading state information... 609s Starting pkgProblemResolver with broken count: 0 609s Starting 2 pkgProblemResolver with broken count: 0 609s Done 609s Solving dependencies... 610s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 610s autopkgtest [05:34:01]: rebooting testbed after setup commands that affected boot 630s Reading package lists... 630s Building dependency tree... 630s Reading state information... 631s Starting pkgProblemResolver with broken count: 0 631s Starting 2 pkgProblemResolver with broken count: 0 631s Done 631s The following NEW packages will be installed: 631s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 631s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 631s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 631s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 631s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 631s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 631s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 631s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 631s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 631s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 631s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 631s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 631s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 631s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 631s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 631s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 631s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 631s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 631s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 z3 631s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 631s Need to get 158 MB of archives. 631s After this operation, 487 MB of additional disk space will be used. 631s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 631s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 631s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 631s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 631s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 631s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 631s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 631s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 631s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 631s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 631s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 631s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 631s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 631s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 631s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 631s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 632s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 632s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 632s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 632s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 632s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 632s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 632s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 632s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 632s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 632s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 632s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 632s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 632s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 632s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 632s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 632s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 632s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 632s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 632s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 632s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 632s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 632s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 632s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 632s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 632s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 632s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 632s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 632s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 633s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 633s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 633s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 633s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 633s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 633s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 633s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 633s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 633s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 633s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 633s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 633s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 633s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 633s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 634s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 634s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 634s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 634s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 634s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 634s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 634s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 634s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 634s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 634s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 634s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 634s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 634s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 634s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 634s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 634s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 634s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 634s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 634s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 634s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 634s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 634s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 634s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 634s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 634s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 634s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 634s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 634s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 635s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 635s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 635s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 635s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x z3 s390x 4.13.3-1 [7564 kB] 636s Fetched 158 MB in 5s (31.3 MB/s) 636s Selecting previously unselected package libgdk-pixbuf2.0-common. 636s (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 ... 55928 files and directories currently installed.) 636s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 636s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 636s Selecting previously unselected package libjpeg-turbo8:s390x. 636s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 636s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 636s Selecting previously unselected package libjpeg8:s390x. 636s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 636s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 636s Selecting previously unselected package libdeflate0:s390x. 636s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 636s Unpacking libdeflate0:s390x (1.23-1) ... 636s Selecting previously unselected package libjbig0:s390x. 636s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 636s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 636s Selecting previously unselected package libsharpyuv0:s390x. 636s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 636s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 636s Selecting previously unselected package libwebp7:s390x. 636s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 636s Unpacking libwebp7:s390x (1.5.0-0.1) ... 636s Selecting previously unselected package libtiff6:s390x. 636s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 636s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 636s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 636s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 636s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 636s Selecting previously unselected package gtk-update-icon-cache. 636s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 636s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 636s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 636s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 636s Selecting previously unselected package hicolor-icon-theme. 636s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 636s Unpacking hicolor-icon-theme (0.18-2) ... 637s Selecting previously unselected package adwaita-icon-theme. 637s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 637s Unpacking adwaita-icon-theme (48~beta-3) ... 637s Selecting previously unselected package at-spi2-common. 637s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 637s Unpacking at-spi2-common (2.55.2-1) ... 637s Selecting previously unselected package libisl23:s390x. 637s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 637s Unpacking libisl23:s390x (0.27-1) ... 637s Selecting previously unselected package libmpc3:s390x. 637s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 637s Unpacking libmpc3:s390x (1.3.1-1build2) ... 637s Selecting previously unselected package cpp-14-s390x-linux-gnu. 637s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 637s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 637s Selecting previously unselected package cpp-14. 637s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 637s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 637s Selecting previously unselected package cpp-s390x-linux-gnu. 637s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 637s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 637s Selecting previously unselected package cpp. 637s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 637s Unpacking cpp (4:14.2.0-1ubuntu1) ... 637s Selecting previously unselected package libdconf1:s390x. 637s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 637s Unpacking libdconf1:s390x (0.40.0-5) ... 637s Selecting previously unselected package dconf-service. 637s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 637s Unpacking dconf-service (0.40.0-5) ... 637s Selecting previously unselected package dconf-gsettings-backend:s390x. 637s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 637s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 637s Selecting previously unselected package libfreetype6:s390x. 637s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 637s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 637s Selecting previously unselected package fonts-dejavu-mono. 637s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 637s Unpacking fonts-dejavu-mono (2.37-8) ... 637s Selecting previously unselected package fonts-dejavu-core. 637s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 637s Unpacking fonts-dejavu-core (2.37-8) ... 637s Selecting previously unselected package fontconfig-config. 637s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 637s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 637s Selecting previously unselected package libfontconfig1:s390x. 637s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 637s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 637s Selecting previously unselected package fontconfig. 637s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 637s Unpacking fontconfig (2.15.0-2ubuntu1) ... 637s Selecting previously unselected package libcc1-0:s390x. 637s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 637s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 637s Selecting previously unselected package libgomp1:s390x. 637s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 637s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 637s Selecting previously unselected package libitm1:s390x. 637s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_s390x.deb ... 637s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 637s Selecting previously unselected package libasan8:s390x. 637s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_s390x.deb ... 637s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 637s Selecting previously unselected package libubsan1:s390x. 637s Preparing to unpack .../32-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 637s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 637s Selecting previously unselected package libgcc-14-dev:s390x. 637s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 637s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 637s Selecting previously unselected package gcc-14-s390x-linux-gnu. 637s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 637s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 637s Selecting previously unselected package gcc-14. 637s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 637s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 637s Selecting previously unselected package gcc-s390x-linux-gnu. 637s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 637s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 637s Selecting previously unselected package gcc. 637s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 637s Unpacking gcc (4:14.2.0-1ubuntu1) ... 637s Selecting previously unselected package libatk1.0-0t64:s390x. 637s Preparing to unpack .../38-libatk1.0-0t64_2.55.2-1_s390x.deb ... 637s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 637s Selecting previously unselected package libxi6:s390x. 637s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 637s Unpacking libxi6:s390x (2:1.8.2-1) ... 637s Selecting previously unselected package libatspi2.0-0t64:s390x. 637s Preparing to unpack .../40-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 637s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 637s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 637s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 637s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 637s Selecting previously unselected package libavahi-common-data:s390x. 637s Preparing to unpack .../42-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 637s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 637s Selecting previously unselected package libavahi-common3:s390x. 637s Preparing to unpack .../43-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 637s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 637s Selecting previously unselected package libavahi-client3:s390x. 637s Preparing to unpack .../44-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 637s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 637s Selecting previously unselected package libpixman-1-0:s390x. 637s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 637s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 638s Selecting previously unselected package libxcb-render0:s390x. 638s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 638s Unpacking libxcb-render0:s390x (1.17.0-2) ... 638s Selecting previously unselected package libxcb-shm0:s390x. 638s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 638s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 638s Selecting previously unselected package libxrender1:s390x. 638s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 638s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 638s Selecting previously unselected package libcairo2:s390x. 638s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 638s Unpacking libcairo2:s390x (1.18.2-2) ... 638s Selecting previously unselected package libcairo-gobject2:s390x. 638s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 638s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 638s Selecting previously unselected package libstdlib-ocaml. 638s Preparing to unpack .../51-libstdlib-ocaml_5.3.0-2_s390x.deb ... 638s Unpacking libstdlib-ocaml (5.3.0-2) ... 638s Selecting previously unselected package ocaml-base. 638s Preparing to unpack .../52-ocaml-base_5.3.0-2_s390x.deb ... 638s Unpacking ocaml-base (5.3.0-2) ... 638s Selecting previously unselected package libcairo2-ocaml. 638s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 638s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 638s Selecting previously unselected package liblcms2-2:s390x. 638s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 638s Unpacking liblcms2-2:s390x (2.16-2) ... 638s Selecting previously unselected package libcolord2:s390x. 638s Preparing to unpack .../55-libcolord2_1.4.7-1build2_s390x.deb ... 638s Unpacking libcolord2:s390x (1.4.7-1build2) ... 638s Selecting previously unselected package libstdlib-ocaml-dev. 638s Preparing to unpack .../56-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 638s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 638s Selecting previously unselected package libcompiler-libs-ocaml-dev. 638s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 638s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 638s Selecting previously unselected package libcups2t64:s390x. 638s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 638s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 638s Selecting previously unselected package libdatrie1:s390x. 638s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 638s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 638s Selecting previously unselected package libepoxy0:s390x. 638s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 638s Unpacking libepoxy0:s390x (1.5.10-2) ... 638s Selecting previously unselected package libgraphite2-3:s390x. 638s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 638s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 638s Selecting previously unselected package libharfbuzz0b:s390x. 638s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 638s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 638s Selecting previously unselected package libthai-data. 638s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 638s Unpacking libthai-data (0.1.29-2build1) ... 638s Selecting previously unselected package libthai0:s390x. 638s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 638s Unpacking libthai0:s390x (0.1.29-2build1) ... 638s Selecting previously unselected package libpango-1.0-0:s390x. 638s Preparing to unpack .../65-libpango-1.0-0_1.56.1-1_s390x.deb ... 638s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 638s Selecting previously unselected package libpangoft2-1.0-0:s390x. 638s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 638s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 638s Selecting previously unselected package libpangocairo-1.0-0:s390x. 638s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 638s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 638s Selecting previously unselected package libwayland-client0:s390x. 638s Preparing to unpack .../68-libwayland-client0_1.23.1-3_s390x.deb ... 638s Unpacking libwayland-client0:s390x (1.23.1-3) ... 638s Selecting previously unselected package libwayland-cursor0:s390x. 638s Preparing to unpack .../69-libwayland-cursor0_1.23.1-3_s390x.deb ... 638s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 638s Selecting previously unselected package libwayland-egl1:s390x. 638s Preparing to unpack .../70-libwayland-egl1_1.23.1-3_s390x.deb ... 638s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 638s Selecting previously unselected package libxcomposite1:s390x. 638s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 638s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 638s Selecting previously unselected package libxfixes3:s390x. 638s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 638s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 638s Selecting previously unselected package libxcursor1:s390x. 638s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 638s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 638s Selecting previously unselected package libxdamage1:s390x. 638s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 638s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 638s Selecting previously unselected package libxinerama1:s390x. 638s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 638s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 638s Selecting previously unselected package libxrandr2:s390x. 638s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 638s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 638s Selecting previously unselected package libgtk-3-common. 638s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 638s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 638s Selecting previously unselected package libgtk-3-0t64:s390x. 638s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 638s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 638s Selecting previously unselected package libgtksourceview-3.0-common. 638s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 638s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 638s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 638s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 638s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 638s Selecting previously unselected package liblablgtk3-ocaml. 638s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 638s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 639s Selecting previously unselected package liblablgtksourceview3-ocaml. 639s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 639s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 639s Selecting previously unselected package libncurses-dev:s390x. 639s Preparing to unpack .../83-libncurses-dev_6.5+20250125-2_s390x.deb ... 639s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 639s Selecting previously unselected package libzstd-dev:s390x. 639s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 639s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 639s Selecting previously unselected package ocaml-interp. 639s Preparing to unpack .../85-ocaml-interp_5.3.0-2_s390x.deb ... 639s Unpacking ocaml-interp (5.3.0-2) ... 639s Selecting previously unselected package ocaml. 639s Preparing to unpack .../86-ocaml_5.3.0-2_s390x.deb ... 639s Unpacking ocaml (5.3.0-2) ... 639s Selecting previously unselected package tex-common. 639s Preparing to unpack .../87-tex-common_6.18_all.deb ... 639s Unpacking tex-common (6.18) ... 639s Selecting previously unselected package why3. 639s Preparing to unpack .../88-why3_1.8.0-2_s390x.deb ... 639s Unpacking why3 (1.8.0-2) ... 639s Selecting previously unselected package z3. 639s Preparing to unpack .../89-z3_4.13.3-1_s390x.deb ... 639s Unpacking z3 (4.13.3-1) ... 640s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 640s Setting up liblcms2-2:s390x (2.16-2) ... 640s Setting up libpixman-1-0:s390x (0.44.0-3) ... 640s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 640s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 640s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 640s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 640s Setting up hicolor-icon-theme (0.18-2) ... 640s Setting up libxi6:s390x (2:1.8.2-1) ... 640s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 640s Setting up libdatrie1:s390x (0.2.13-3build1) ... 640s Setting up libxcb-render0:s390x (1.17.0-2) ... 640s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 640s Setting up libdeflate0:s390x (1.23-1) ... 640s Setting up libxcb-shm0:s390x (1.17.0-2) ... 640s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 640s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 640s Setting up z3 (4.13.3-1) ... 640s Setting up libcolord2:s390x (1.4.7-1build2) ... 640s Setting up libdconf1:s390x (0.40.0-5) ... 640s Setting up tex-common (6.18) ... 640s update-language: texlive-base not installed and configured, doing nothing! 640s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 640s Setting up libepoxy0:s390x (1.5.10-2) ... 640s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 640s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 640s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 640s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 640s Setting up libstdlib-ocaml (5.3.0-2) ... 640s Setting up fonts-dejavu-mono (2.37-8) ... 640s Setting up libmpc3:s390x (1.3.1-1build2) ... 640s Setting up libxrandr2:s390x (2:1.5.4-1) ... 640s Setting up ocaml-base (5.3.0-2) ... 640s Setting up fonts-dejavu-core (2.37-8) ... 640s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 640s Setting up libwebp7:s390x (1.5.0-0.1) ... 640s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 640s Setting up at-spi2-common (2.55.2-1) ... 640s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 640s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 640s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 640s Setting up libthai-data (0.1.29-2build1) ... 640s Setting up libwayland-egl1:s390x (1.23.1-3) ... 640s Setting up libisl23:s390x (0.27-1) ... 640s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 640s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 640s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 640s Setting up libwayland-client0:s390x (1.23.1-3) ... 640s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 640s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 640s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 640s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 640s Setting up libxcursor1:s390x (1:1.2.3-1) ... 640s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 640s Setting up dconf-service (0.40.0-5) ... 640s Setting up libthai0:s390x (0.1.29-2build1) ... 640s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 640s Setting up ocaml-interp (5.3.0-2) ... 640s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 640s Setting up cpp-14 (14.2.0-17ubuntu3) ... 640s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 640s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 640s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 640s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 640s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 640s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 640s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 640s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 640s Setting up fontconfig (2.15.0-2ubuntu1) ... 642s Regenerating fonts cache... done. 642s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 642s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 642s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 642s Setting up libcairo2:s390x (1.18.2-2) ... 642s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 642s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 642s Setting up adwaita-icon-theme (48~beta-3) ... 642s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 642s Setting up cpp (4:14.2.0-1ubuntu1) ... 642s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 642s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 642s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 642s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 642s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 642s Setting up libcairo2-ocaml (0.6.5-2build1) ... 642s Setting up gcc-14 (14.2.0-17ubuntu3) ... 642s Setting up gcc (4:14.2.0-1ubuntu1) ... 642s Setting up ocaml (5.3.0-2) ... 642s Processing triggers for libc-bin (2.40-4ubuntu1) ... 642s Processing triggers for man-db (2.13.0-1) ... 643s Processing triggers for libglib2.0-0t64:s390x (2.83.4-1) ... 643s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 643s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 643s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 643s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 643s Setting up why3 (1.8.0-2) ... 643s Processing triggers for libc-bin (2.40-4ubuntu1) ... 648s autopkgtest [05:34:39]: test why3+z3: [----------------------- 649s autopkgtest [05:34:40]: test why3+z3: -----------------------] 649s why3+z3 PASS 649s autopkgtest [05:34:40]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 650s autopkgtest [05:34:41]: @@@@@@@@@@@@@@@@@@@@ summary 650s why3+cvc4 PASS 650s why3+cvc5 PASS 650s why3+spass PASS 650s why3+z3 PASS 655s nova [W] Using flock in prodstack6-s390x 655s Creating nova instance adt-plucky-s390x-why3-20250222-052351-juju-7f2275-prod-proposed-migration-environment-2-55cab5c7-c3ff-480f-ad3f-ed7005558434 from image adt/ubuntu-plucky-s390x-server-20250222.img (UUID ae633cda-0dee-481c-9805-d0ef3f3b5166)... 655s nova [W] Timed out waiting for 77b66c8a-62aa-4bff-82a7-f97cb52e37c3 to get deleted. 655s nova [W] Using flock in prodstack6-s390x 655s Creating nova instance adt-plucky-s390x-why3-20250222-052351-juju-7f2275-prod-proposed-migration-environment-2-55cab5c7-c3ff-480f-ad3f-ed7005558434 from image adt/ubuntu-plucky-s390x-server-20250222.img (UUID ae633cda-0dee-481c-9805-d0ef3f3b5166)... 655s nova [W] Timed out waiting for d7bc4f0c-305c-40b1-9d2e-634bd54d4765 to get deleted. 655s nova [W] Using flock in prodstack6-s390x 655s Creating nova instance adt-plucky-s390x-why3-20250222-052351-juju-7f2275-prod-proposed-migration-environment-2-55cab5c7-c3ff-480f-ad3f-ed7005558434 from image adt/ubuntu-plucky-s390x-server-20250222.img (UUID ae633cda-0dee-481c-9805-d0ef3f3b5166)... 655s nova [W] Timed out waiting for 8ca41cb0-b2a8-448e-b665-7071e4a30c1a to get deleted. 655s nova [W] Using flock in prodstack6-s390x 655s Creating nova instance adt-plucky-s390x-why3-20250222-052351-juju-7f2275-prod-proposed-migration-environment-2-55cab5c7-c3ff-480f-ad3f-ed7005558434 from image adt/ubuntu-plucky-s390x-server-20250222.img (UUID ae633cda-0dee-481c-9805-d0ef3f3b5166)... 655s nova [W] Timed out waiting for 660ad8b7-eb1f-49fc-94a6-40658019bc6e to get deleted.