0s autopkgtest [13:19:24]: starting date and time: 2025-02-19 13:19:24+0000 0s autopkgtest [13:19:24]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [13:19:24]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.46mgxwhl/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:sphinx --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=sphinx/8.1.3-5 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-19.secgroup --name adt-plucky-s390x-why3-20250219-131924-juju-7f2275-prod-proposed-migration-environment-2-924910c0-be97-4640-a9cc-6a453857f61f --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/ 107s autopkgtest [13:21:11]: testbed dpkg architecture: s390x 107s autopkgtest [13:21:11]: testbed apt version: 2.9.30 108s autopkgtest [13:21:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 108s autopkgtest [13:21:12]: testbed release detected to be: None 109s autopkgtest [13:21:13]: updating testbed package index (apt update) 109s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 110s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 110s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 110s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 110s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.1 kB] 110s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 110s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [744 kB] 110s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.9 kB] 110s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [104 kB] 110s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 110s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [653 kB] 110s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4900 B] 110s Fetched 1711 kB in 1s (1850 kB/s) 111s Reading package lists... 111s Reading package lists... 111s Building dependency tree... 111s Reading state information... 112s Calculating upgrade... 112s The following packages were automatically installed and are no longer required: 112s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 112s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 112s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 112s linux-tools-6.11.0-8-generic 112s Use 'sudo apt autoremove' to remove them. 112s The following packages will be upgraded: 112s iproute2 libgpgme11t64 liblsof0 libp11-kit0 lsof sysvinit-utils 112s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s Need to get 1982 kB of archives. 112s After this operation, 22.5 kB of additional disk space will be used. 112s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x sysvinit-utils s390x 3.14-1ubuntu1 [36.0 kB] 112s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 112s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libp11-kit0 s390x 0.25.5-2ubuntu3 [316 kB] 112s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x lsof s390x 4.99.4+dfsg-1 [243 kB] 112s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x liblsof0 s390x 4.99.4+dfsg-1 [58.5 kB] 112s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libgpgme11t64 s390x 1.24.2-1ubuntu1 [154 kB] 113s Preconfiguring packages ... 113s Fetched 1982 kB in 1s (3161 kB/s) 113s (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.) 113s Preparing to unpack .../sysvinit-utils_3.14-1ubuntu1_s390x.deb ... 113s Unpacking sysvinit-utils (3.14-1ubuntu1) over (3.08-6ubuntu3) ... 113s Setting up sysvinit-utils (3.14-1ubuntu1) ... 113s (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.) 113s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 113s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 113s Preparing to unpack .../libp11-kit0_0.25.5-2ubuntu3_s390x.deb ... 113s Unpacking libp11-kit0:s390x (0.25.5-2ubuntu3) over (0.25.5-2ubuntu2) ... 113s Preparing to unpack .../lsof_4.99.4+dfsg-1_s390x.deb ... 113s Unpacking lsof (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 113s Preparing to unpack .../liblsof0_4.99.4+dfsg-1_s390x.deb ... 113s Unpacking liblsof0 (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 113s Preparing to unpack .../libgpgme11t64_1.24.2-1ubuntu1_s390x.deb ... 113s Unpacking libgpgme11t64:s390x (1.24.2-1ubuntu1) over (1.24.1-4ubuntu1) ... 113s Setting up liblsof0 (4.99.4+dfsg-1) ... 113s Setting up iproute2 (6.13.0-1ubuntu1) ... 113s Setting up libp11-kit0:s390x (0.25.5-2ubuntu3) ... 113s Setting up lsof (4.99.4+dfsg-1) ... 113s Setting up libgpgme11t64:s390x (1.24.2-1ubuntu1) ... 113s Processing triggers for man-db (2.13.0-1) ... 114s Processing triggers for libc-bin (2.40-4ubuntu1) ... 114s Reading package lists... 114s Building dependency tree... 114s Reading state information... 114s The following packages will be REMOVED: 114s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 114s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 114s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 114s linux-tools-6.11.0-8-generic* 115s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 115s After this operation, 167 MB disk space will be freed. 115s (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 ... 81031 files and directories currently installed.) 115s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 115s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 115s Removing libpython3.12t64:s390x (3.12.9-1) ... 115s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 115s Removing libnsl2:s390x (1.3.0-3build3) ... 115s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 115s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 115s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 116s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 116s Processing triggers for libc-bin (2.40-4ubuntu1) ... 116s (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 ... 55931 files and directories currently installed.) 116s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 116s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 116s autopkgtest [13:21:20]: upgrading testbed (apt dist-upgrade and autopurge) 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 117s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 117s Starting 2 pkgProblemResolver with broken count: 0 117s Done 117s Entering ResolveByKeep 117s 117s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 117s Reading package lists... 117s Building dependency tree... 117s Reading state information... 118s Starting pkgProblemResolver with broken count: 0 118s Starting 2 pkgProblemResolver with broken count: 0 118s Done 118s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 118s autopkgtest [13:21:22]: rebooting testbed after setup commands that affected boot 139s autopkgtest [13:21:43]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 141s autopkgtest [13:21:45]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 145s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 145s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 145s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 145s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 145s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 145s gpgv: Can't check signature: No public key 145s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 146s autopkgtest [13:21:50]: testing package why3 version 1.7.2-2build1 147s autopkgtest [13:21:51]: build not needed 149s autopkgtest [13:21:53]: test why3+cvc4: preparing testbed 150s Reading package lists... 150s Building dependency tree... 150s Reading state information... 150s Starting pkgProblemResolver with broken count: 0 150s Starting 2 pkgProblemResolver with broken count: 0 150s Done 150s The following NEW packages will be installed: 150s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 150s cpp-s390x-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 150s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 150s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 150s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 150s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 150s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 150s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 150s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 150s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 150s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 150s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 150s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 150s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 150s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 150s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 150s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 150s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 150s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 150s ocaml-interp tex-common why3 150s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 150s Need to get 155 MB of archives. 150s After this operation, 473 MB of additional disk space will be used. 150s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 150s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 151s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 151s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 151s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 151s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 151s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 151s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 151s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 151s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 151s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 151s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 151s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 151s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 152s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 152s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 153s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 153s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 153s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 153s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 153s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 154s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 154s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 154s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 154s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 154s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 154s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 154s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 154s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 154s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 154s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 154s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 154s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 154s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 154s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 154s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 154s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 155s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 155s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 155s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 157s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 157s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 157s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 157s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 157s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 157s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 157s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 157s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 157s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 157s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 157s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 157s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 157s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 157s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 157s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 158s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 158s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 158s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 158s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2 [30.8 kB] 158s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 158s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 158s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 159s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 165s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 165s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 165s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 165s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 165s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 165s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 165s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 165s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 165s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 165s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 166s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-1 [27.8 kB] 166s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-1 [11.5 kB] 166s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-1 [5654 B] 166s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 166s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 166s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 166s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 166s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 166s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 166s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 166s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 166s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 166s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 166s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB] 167s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB] 167s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 167s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 167s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 168s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 170s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 170s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.7.2-2build1 [12.3 MB] 171s Fetched 155 MB in 20s (7576 kB/s) 171s Selecting previously unselected package libgdk-pixbuf2.0-common. 171s (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 ... 55929 files and directories currently installed.) 171s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 171s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 171s Selecting previously unselected package libjpeg-turbo8:s390x. 171s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 171s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 171s Selecting previously unselected package libjpeg8:s390x. 171s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 171s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 171s Selecting previously unselected package libdeflate0:s390x. 171s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 171s Unpacking libdeflate0:s390x (1.23-1) ... 171s Selecting previously unselected package libjbig0:s390x. 171s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 171s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 171s Selecting previously unselected package libsharpyuv0:s390x. 171s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 171s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 171s Selecting previously unselected package libwebp7:s390x. 171s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 171s Unpacking libwebp7:s390x (1.5.0-0.1) ... 171s Selecting previously unselected package libtiff6:s390x. 171s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 171s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 171s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 171s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 171s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 171s Selecting previously unselected package gtk-update-icon-cache. 171s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 171s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 171s 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. 171s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 171s Selecting previously unselected package hicolor-icon-theme. 171s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 171s Unpacking hicolor-icon-theme (0.18-2) ... 171s Selecting previously unselected package adwaita-icon-theme. 171s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 171s Unpacking adwaita-icon-theme (48~beta-3) ... 172s Selecting previously unselected package at-spi2-common. 172s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 172s Unpacking at-spi2-common (2.55.2-1) ... 172s Selecting previously unselected package libisl23:s390x. 172s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 172s Unpacking libisl23:s390x (0.27-1) ... 172s Selecting previously unselected package libmpc3:s390x. 172s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 172s Unpacking libmpc3:s390x (1.3.1-1build2) ... 172s Selecting previously unselected package cpp-14-s390x-linux-gnu. 172s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package cpp-14. 172s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package cpp-s390x-linux-gnu. 172s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 172s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 172s Selecting previously unselected package cpp. 172s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 172s Unpacking cpp (4:14.2.0-1ubuntu1) ... 172s Selecting previously unselected package libcln6:s390x. 172s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 172s Unpacking libcln6:s390x (1.3.7-1) ... 172s Selecting previously unselected package libcvc4-7:s390x. 172s Preparing to unpack .../20-libcvc4-7_1.8-3build2_s390x.deb ... 172s Unpacking libcvc4-7:s390x (1.8-3build2) ... 172s Selecting previously unselected package libantlr3c-3.4-0:s390x. 172s Preparing to unpack .../21-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 172s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 172s Selecting previously unselected package libcvc4parser7:s390x. 172s Preparing to unpack .../22-libcvc4parser7_1.8-3build2_s390x.deb ... 172s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 172s Selecting previously unselected package cvc4. 172s Preparing to unpack .../23-cvc4_1.8-3build2_s390x.deb ... 172s Unpacking cvc4 (1.8-3build2) ... 172s Selecting previously unselected package libdconf1:s390x. 172s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 172s Unpacking libdconf1:s390x (0.40.0-5) ... 172s Selecting previously unselected package dconf-service. 172s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 172s Unpacking dconf-service (0.40.0-5) ... 172s Selecting previously unselected package dconf-gsettings-backend:s390x. 172s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 172s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 172s Selecting previously unselected package libfreetype6:s390x. 172s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 172s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 172s Selecting previously unselected package fonts-dejavu-mono. 172s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 172s Unpacking fonts-dejavu-mono (2.37-8) ... 172s Selecting previously unselected package fonts-dejavu-core. 172s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 172s Unpacking fonts-dejavu-core (2.37-8) ... 172s Selecting previously unselected package fontconfig-config. 172s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 172s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 172s Selecting previously unselected package libfontconfig1:s390x. 172s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 172s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 172s Selecting previously unselected package fontconfig. 172s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 172s Unpacking fontconfig (2.15.0-2ubuntu1) ... 172s Selecting previously unselected package libcc1-0:s390x. 172s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 172s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 172s Selecting previously unselected package libgomp1:s390x. 172s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 172s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 172s Selecting previously unselected package libitm1:s390x. 172s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_s390x.deb ... 172s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 172s Selecting previously unselected package libasan8:s390x. 172s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_s390x.deb ... 172s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 172s Selecting previously unselected package libubsan1:s390x. 172s Preparing to unpack .../37-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 172s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 172s Selecting previously unselected package libgcc-14-dev:s390x. 172s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package gcc-14-s390x-linux-gnu. 172s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 173s Selecting previously unselected package gcc-14. 173s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 173s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 173s Selecting previously unselected package gcc-s390x-linux-gnu. 173s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 173s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 173s Selecting previously unselected package gcc. 173s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 173s Unpacking gcc (4:14.2.0-1ubuntu1) ... 173s Selecting previously unselected package libatk1.0-0t64:s390x. 173s Preparing to unpack .../43-libatk1.0-0t64_2.55.2-1_s390x.deb ... 173s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 173s Selecting previously unselected package libxi6:s390x. 173s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 173s Unpacking libxi6:s390x (2:1.8.2-1) ... 173s Selecting previously unselected package libatspi2.0-0t64:s390x. 173s Preparing to unpack .../45-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 173s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 173s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 173s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 173s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 173s Selecting previously unselected package libavahi-common-data:s390x. 173s Preparing to unpack .../47-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 173s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 173s Selecting previously unselected package libavahi-common3:s390x. 173s Preparing to unpack .../48-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 173s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 173s Selecting previously unselected package libavahi-client3:s390x. 173s Preparing to unpack .../49-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 173s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 173s Selecting previously unselected package libpixman-1-0:s390x. 173s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 173s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 173s Selecting previously unselected package libxcb-render0:s390x. 173s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 173s Unpacking libxcb-render0:s390x (1.17.0-2) ... 173s Selecting previously unselected package libxcb-shm0:s390x. 173s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 173s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 173s Selecting previously unselected package libxrender1:s390x. 173s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 173s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 173s Selecting previously unselected package libcairo2:s390x. 173s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 173s Unpacking libcairo2:s390x (1.18.2-2) ... 173s Selecting previously unselected package libcairo-gobject2:s390x. 173s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 173s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 173s Selecting previously unselected package libstdlib-ocaml. 173s Preparing to unpack .../56-libstdlib-ocaml_5.2.0-3_s390x.deb ... 173s Unpacking libstdlib-ocaml (5.2.0-3) ... 173s Selecting previously unselected package ocaml-base. 173s Preparing to unpack .../57-ocaml-base_5.2.0-3_s390x.deb ... 173s Unpacking ocaml-base (5.2.0-3) ... 173s Selecting previously unselected package libcairo2-ocaml. 173s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2_s390x.deb ... 173s Unpacking libcairo2-ocaml (0.6.5-2) ... 173s Selecting previously unselected package liblcms2-2:s390x. 173s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 173s Unpacking liblcms2-2:s390x (2.16-2) ... 173s Selecting previously unselected package libcolord2:s390x. 173s Preparing to unpack .../60-libcolord2_1.4.7-1build2_s390x.deb ... 173s Unpacking libcolord2:s390x (1.4.7-1build2) ... 173s Selecting previously unselected package libstdlib-ocaml-dev. 173s Preparing to unpack .../61-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 173s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 173s Selecting previously unselected package libcompiler-libs-ocaml-dev. 173s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 173s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 173s Selecting previously unselected package libcups2t64:s390x. 173s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 173s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 173s Selecting previously unselected package libdatrie1:s390x. 173s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 173s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 173s Selecting previously unselected package libepoxy0:s390x. 173s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 173s Unpacking libepoxy0:s390x (1.5.10-2) ... 173s Selecting previously unselected package libgraphite2-3:s390x. 173s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 173s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 173s Selecting previously unselected package libharfbuzz0b:s390x. 173s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 173s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 173s Selecting previously unselected package libthai-data. 173s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 173s Unpacking libthai-data (0.1.29-2build1) ... 173s Selecting previously unselected package libthai0:s390x. 173s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 173s Unpacking libthai0:s390x (0.1.29-2build1) ... 173s Selecting previously unselected package libpango-1.0-0:s390x. 173s Preparing to unpack .../70-libpango-1.0-0_1.56.1-1_s390x.deb ... 173s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 173s Selecting previously unselected package libpangoft2-1.0-0:s390x. 173s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 173s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 173s Selecting previously unselected package libpangocairo-1.0-0:s390x. 173s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 173s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 173s Selecting previously unselected package libwayland-client0:s390x. 173s Preparing to unpack .../73-libwayland-client0_1.23.1-1_s390x.deb ... 173s Unpacking libwayland-client0:s390x (1.23.1-1) ... 173s Selecting previously unselected package libwayland-cursor0:s390x. 173s Preparing to unpack .../74-libwayland-cursor0_1.23.1-1_s390x.deb ... 173s Unpacking libwayland-cursor0:s390x (1.23.1-1) ... 173s Selecting previously unselected package libwayland-egl1:s390x. 173s Preparing to unpack .../75-libwayland-egl1_1.23.1-1_s390x.deb ... 173s Unpacking libwayland-egl1:s390x (1.23.1-1) ... 173s Selecting previously unselected package libxcomposite1:s390x. 173s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 173s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 173s Selecting previously unselected package libxfixes3:s390x. 173s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 173s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 173s Selecting previously unselected package libxcursor1:s390x. 173s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 173s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 173s Selecting previously unselected package libxdamage1:s390x. 173s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 173s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 173s Selecting previously unselected package libxinerama1:s390x. 173s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 173s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 173s Selecting previously unselected package libxrandr2:s390x. 174s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 174s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 174s Selecting previously unselected package libgtk-3-common. 174s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 174s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 174s Selecting previously unselected package libgtk-3-0t64:s390x. 174s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 174s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 174s Selecting previously unselected package libgtksourceview-3.0-common. 174s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 174s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 174s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 174s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 174s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 174s Selecting previously unselected package liblablgtk3-ocaml. 174s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ... 174s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 174s Selecting previously unselected package liblablgtksourceview3-ocaml. 174s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ... 174s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 174s Selecting previously unselected package libncurses-dev:s390x. 174s Preparing to unpack .../88-libncurses-dev_6.5+20250125-2_s390x.deb ... 174s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 174s Selecting previously unselected package libzstd-dev:s390x. 174s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 174s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 174s Selecting previously unselected package ocaml-interp. 174s Preparing to unpack .../90-ocaml-interp_5.2.0-3_s390x.deb ... 174s Unpacking ocaml-interp (5.2.0-3) ... 174s Selecting previously unselected package ocaml. 174s Preparing to unpack .../91-ocaml_5.2.0-3_s390x.deb ... 174s Unpacking ocaml (5.2.0-3) ... 174s Selecting previously unselected package tex-common. 174s Preparing to unpack .../92-tex-common_6.18_all.deb ... 174s Unpacking tex-common (6.18) ... 174s Selecting previously unselected package why3. 174s Preparing to unpack .../93-why3_1.7.2-2build1_s390x.deb ... 174s Unpacking why3 (1.7.2-2build1) ... 175s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 175s Setting up liblcms2-2:s390x (2.16-2) ... 175s Setting up libpixman-1-0:s390x (0.44.0-3) ... 175s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 175s Setting up libcln6:s390x (1.3.7-1) ... 175s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 175s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 175s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 175s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 175s Setting up hicolor-icon-theme (0.18-2) ... 175s Setting up libxi6:s390x (2:1.8.2-1) ... 175s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 175s Setting up libdatrie1:s390x (0.2.13-3build1) ... 175s Setting up libxcb-render0:s390x (1.17.0-2) ... 175s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 175s Setting up libdeflate0:s390x (1.23-1) ... 175s Setting up libxcb-shm0:s390x (1.17.0-2) ... 175s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 175s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 175s Setting up libcolord2:s390x (1.4.7-1build2) ... 175s Setting up libdconf1:s390x (0.40.0-5) ... 175s Setting up tex-common (6.18) ... 175s update-language: texlive-base not installed and configured, doing nothing! 175s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 175s Setting up libepoxy0:s390x (1.5.10-2) ... 175s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 175s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 175s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 175s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 175s Setting up libstdlib-ocaml (5.2.0-3) ... 175s Setting up fonts-dejavu-mono (2.37-8) ... 175s Setting up libmpc3:s390x (1.3.1-1build2) ... 175s Setting up libxrandr2:s390x (2:1.5.4-1) ... 175s Setting up ocaml-base (5.2.0-3) ... 175s Setting up fonts-dejavu-core (2.37-8) ... 175s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 175s Setting up libwebp7:s390x (1.5.0-0.1) ... 175s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 175s Setting up at-spi2-common (2.55.2-1) ... 175s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 175s Setting up libcvc4-7:s390x (1.8-3build2) ... 175s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 175s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 175s Setting up libthai-data (0.1.29-2build1) ... 175s Setting up libwayland-egl1:s390x (1.23.1-1) ... 175s Setting up libisl23:s390x (0.27-1) ... 175s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 175s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 175s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 175s Setting up libwayland-client0:s390x (1.23.1-1) ... 175s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 175s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 175s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 175s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 175s Setting up libxcursor1:s390x (1:1.2.3-1) ... 175s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 175s Setting up dconf-service (0.40.0-5) ... 175s Setting up libthai0:s390x (0.1.29-2build1) ... 175s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 175s Setting up ocaml-interp (5.2.0-3) ... 175s Setting up libcvc4parser7:s390x (1.8-3build2) ... 175s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 175s Setting up cpp-14 (14.2.0-17ubuntu1) ... 175s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 175s Setting up libwayland-cursor0:s390x (1.23.1-1) ... 175s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 175s Setting up cvc4 (1.8-3build2) ... 175s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 175s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 175s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 175s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 175s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 175s Setting up fontconfig (2.15.0-2ubuntu1) ... 177s Regenerating fonts cache... done. 177s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 177s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 177s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 177s Setting up libcairo2:s390x (1.18.2-2) ... 177s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 177s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 177s Setting up adwaita-icon-theme (48~beta-3) ... 177s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 177s Setting up cpp (4:14.2.0-1ubuntu1) ... 177s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 177s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 177s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 177s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 177s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 177s Setting up libcairo2-ocaml (0.6.5-2) ... 177s Setting up gcc-14 (14.2.0-17ubuntu1) ... 177s Setting up gcc (4:14.2.0-1ubuntu1) ... 177s Setting up ocaml (5.2.0-3) ... 177s Processing triggers for libc-bin (2.40-4ubuntu1) ... 177s Processing triggers for man-db (2.13.0-1) ... 178s Processing triggers for libglib2.0-0t64:s390x (2.83.3-2) ... 178s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 178s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 178s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 178s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 178s Setting up why3 (1.7.2-2build1) ... 178s Processing triggers for libc-bin (2.40-4ubuntu1) ... 179s autopkgtest [13:22:23]: test why3+cvc4: [----------------------- 180s autopkgtest [13:22:24]: test why3+cvc4: -----------------------] 181s autopkgtest [13:22:25]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 181s why3+cvc4 PASS 181s autopkgtest [13:22:25]: test why3+spass: preparing testbed 320s autopkgtest [13:24:44]: testbed dpkg architecture: s390x 320s autopkgtest [13:24:44]: testbed apt version: 2.9.30 321s autopkgtest [13:24:45]: @@@@@@@@@@@@@@@@@@@@ test bed setup 321s autopkgtest [13:24:45]: testbed release detected to be: plucky 322s autopkgtest [13:24:46]: updating testbed package index (apt update) 322s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 322s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 323s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 323s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 323s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [744 kB] 323s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 323s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.1 kB] 323s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.9 kB] 323s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [104 kB] 323s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 323s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [653 kB] 324s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4900 B] 324s Fetched 1711 kB in 2s (921 kB/s) 324s Reading package lists... 325s Reading package lists... 325s Building dependency tree... 325s Reading state information... 325s Calculating upgrade... 325s The following packages were automatically installed and are no longer required: 325s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 325s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 325s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 325s linux-tools-6.11.0-8-generic 325s Use 'sudo apt autoremove' to remove them. 325s The following packages will be upgraded: 325s iproute2 libgpgme11t64 liblsof0 libp11-kit0 lsof sysvinit-utils 326s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 326s Need to get 1982 kB of archives. 326s After this operation, 22.5 kB of additional disk space will be used. 326s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x sysvinit-utils s390x 3.14-1ubuntu1 [36.0 kB] 326s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 326s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libp11-kit0 s390x 0.25.5-2ubuntu3 [316 kB] 326s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x lsof s390x 4.99.4+dfsg-1 [243 kB] 326s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x liblsof0 s390x 4.99.4+dfsg-1 [58.5 kB] 326s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libgpgme11t64 s390x 1.24.2-1ubuntu1 [154 kB] 327s Preconfiguring packages ... 327s Fetched 1982 kB in 1s (2132 kB/s) 327s (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.) 327s Preparing to unpack .../sysvinit-utils_3.14-1ubuntu1_s390x.deb ... 327s Unpacking sysvinit-utils (3.14-1ubuntu1) over (3.08-6ubuntu3) ... 327s Setting up sysvinit-utils (3.14-1ubuntu1) ... 327s (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.) 327s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 327s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 327s Preparing to unpack .../libp11-kit0_0.25.5-2ubuntu3_s390x.deb ... 327s Unpacking libp11-kit0:s390x (0.25.5-2ubuntu3) over (0.25.5-2ubuntu2) ... 327s Preparing to unpack .../lsof_4.99.4+dfsg-1_s390x.deb ... 327s Unpacking lsof (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 327s Preparing to unpack .../liblsof0_4.99.4+dfsg-1_s390x.deb ... 327s Unpacking liblsof0 (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 327s Preparing to unpack .../libgpgme11t64_1.24.2-1ubuntu1_s390x.deb ... 327s Unpacking libgpgme11t64:s390x (1.24.2-1ubuntu1) over (1.24.1-4ubuntu1) ... 327s Setting up liblsof0 (4.99.4+dfsg-1) ... 327s Setting up iproute2 (6.13.0-1ubuntu1) ... 327s Setting up libp11-kit0:s390x (0.25.5-2ubuntu3) ... 327s Setting up lsof (4.99.4+dfsg-1) ... 327s Setting up libgpgme11t64:s390x (1.24.2-1ubuntu1) ... 327s Processing triggers for man-db (2.13.0-1) ... 328s Processing triggers for libc-bin (2.40-4ubuntu1) ... 328s Reading package lists... 328s Building dependency tree... 328s Reading state information... 328s The following packages will be REMOVED: 328s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 328s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 328s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 328s linux-tools-6.11.0-8-generic* 329s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 329s After this operation, 167 MB disk space will be freed. 329s (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 ... 81031 files and directories currently installed.) 329s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 329s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 329s Removing libpython3.12t64:s390x (3.12.9-1) ... 329s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 329s Removing libnsl2:s390x (1.3.0-3build3) ... 329s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 329s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 329s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 330s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 330s Processing triggers for libc-bin (2.40-4ubuntu1) ... 330s (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 ... 55931 files and directories currently installed.) 330s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 330s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 330s autopkgtest [13:24:54]: upgrading testbed (apt dist-upgrade and autopurge) 330s Reading package lists... 331s Building dependency tree... 331s Reading state information... 331s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 331s Starting 2 pkgProblemResolver with broken count: 0 331s Done 331s Entering ResolveByKeep 331s 331s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 331s Reading package lists... 331s Building dependency tree... 331s Reading state information... 332s Starting pkgProblemResolver with broken count: 0 332s Starting 2 pkgProblemResolver with broken count: 0 332s Done 332s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 332s autopkgtest [13:24:56]: rebooting testbed after setup commands that affected boot 359s Reading package lists... 359s Building dependency tree... 359s Reading state information... 360s Starting pkgProblemResolver with broken count: 0 360s Starting 2 pkgProblemResolver with broken count: 0 360s Done 360s The following NEW packages will be installed: 360s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 360s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 360s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 360s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 360s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 360s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 360s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 360s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 360s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 360s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 360s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 360s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 360s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 360s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 360s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 360s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 360s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 360s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 360s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 360s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 360s Need to get 149 MB of archives. 360s After this operation, 454 MB of additional disk space will be used. 360s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 360s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 360s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 360s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 360s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 360s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 360s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 360s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 361s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 361s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 361s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 361s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 361s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 361s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 361s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 361s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 363s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 363s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 363s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 363s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 363s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 363s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 363s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 363s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 363s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 363s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 363s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 363s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 363s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 363s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 363s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 363s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 363s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 363s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 363s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 364s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 364s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 364s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 364s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 364s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 364s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 364s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 364s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 364s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 364s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 364s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 365s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 365s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 365s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 365s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 365s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 365s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 365s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 365s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2 [30.8 kB] 365s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 365s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 365s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 365s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 368s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 368s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 368s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 368s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 368s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 368s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 368s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 368s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 368s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 368s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 368s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-1 [27.8 kB] 368s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-1 [11.5 kB] 368s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-1 [5654 B] 368s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 368s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 368s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 368s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 368s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 368s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 368s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 368s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 369s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 369s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 369s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB] 369s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB] 369s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 369s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 369s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 369s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 370s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x spass s390x 3.9-1.1 [354 kB] 370s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 370s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.7.2-2build1 [12.3 MB] 371s Fetched 149 MB in 11s (13.8 MB/s) 371s Selecting previously unselected package libgdk-pixbuf2.0-common. 371s (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 ... 55929 files and directories currently installed.) 371s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 371s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 371s Selecting previously unselected package libjpeg-turbo8:s390x. 371s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 371s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 371s Selecting previously unselected package libjpeg8:s390x. 371s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 371s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 371s Selecting previously unselected package libdeflate0:s390x. 371s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 371s Unpacking libdeflate0:s390x (1.23-1) ... 371s Selecting previously unselected package libjbig0:s390x. 371s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 371s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 371s Selecting previously unselected package libsharpyuv0:s390x. 371s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 371s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 371s Selecting previously unselected package libwebp7:s390x. 371s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 371s Unpacking libwebp7:s390x (1.5.0-0.1) ... 371s Selecting previously unselected package libtiff6:s390x. 371s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 371s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 371s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 371s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 371s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 371s Selecting previously unselected package gtk-update-icon-cache. 371s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 371s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 371s 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. 371s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 371s Selecting previously unselected package hicolor-icon-theme. 371s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 371s Unpacking hicolor-icon-theme (0.18-2) ... 371s Selecting previously unselected package adwaita-icon-theme. 371s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 371s Unpacking adwaita-icon-theme (48~beta-3) ... 371s Selecting previously unselected package at-spi2-common. 371s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 371s Unpacking at-spi2-common (2.55.2-1) ... 371s Selecting previously unselected package libisl23:s390x. 371s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 371s Unpacking libisl23:s390x (0.27-1) ... 371s Selecting previously unselected package libmpc3:s390x. 371s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 371s Unpacking libmpc3:s390x (1.3.1-1build2) ... 371s Selecting previously unselected package cpp-14-s390x-linux-gnu. 371s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 371s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 372s Selecting previously unselected package cpp-14. 372s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 372s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 372s Selecting previously unselected package cpp-s390x-linux-gnu. 372s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 372s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 372s Selecting previously unselected package cpp. 372s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 372s Unpacking cpp (4:14.2.0-1ubuntu1) ... 372s Selecting previously unselected package libdconf1:s390x. 372s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 372s Unpacking libdconf1:s390x (0.40.0-5) ... 372s Selecting previously unselected package dconf-service. 372s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 372s Unpacking dconf-service (0.40.0-5) ... 372s Selecting previously unselected package dconf-gsettings-backend:s390x. 372s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 372s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 372s Selecting previously unselected package libfreetype6:s390x. 372s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 372s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 372s Selecting previously unselected package fonts-dejavu-mono. 372s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 372s Unpacking fonts-dejavu-mono (2.37-8) ... 372s Selecting previously unselected package fonts-dejavu-core. 372s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 372s Unpacking fonts-dejavu-core (2.37-8) ... 372s Selecting previously unselected package fontconfig-config. 372s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 372s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 372s Selecting previously unselected package libfontconfig1:s390x. 372s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 372s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 372s Selecting previously unselected package fontconfig. 372s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 372s Unpacking fontconfig (2.15.0-2ubuntu1) ... 372s Selecting previously unselected package libcc1-0:s390x. 372s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 372s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 372s Selecting previously unselected package libgomp1:s390x. 372s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 372s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 372s Selecting previously unselected package libitm1:s390x. 372s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_s390x.deb ... 372s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 372s Selecting previously unselected package libasan8:s390x. 372s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_s390x.deb ... 372s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 372s Selecting previously unselected package libubsan1:s390x. 372s Preparing to unpack .../32-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 372s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 372s Selecting previously unselected package libgcc-14-dev:s390x. 372s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 372s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 372s Selecting previously unselected package gcc-14-s390x-linux-gnu. 372s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 372s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 372s Selecting previously unselected package gcc-14. 372s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 372s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 372s Selecting previously unselected package gcc-s390x-linux-gnu. 372s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 372s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 372s Selecting previously unselected package gcc. 372s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 372s Unpacking gcc (4:14.2.0-1ubuntu1) ... 372s Selecting previously unselected package libatk1.0-0t64:s390x. 372s Preparing to unpack .../38-libatk1.0-0t64_2.55.2-1_s390x.deb ... 372s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 372s Selecting previously unselected package libxi6:s390x. 372s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 372s Unpacking libxi6:s390x (2:1.8.2-1) ... 372s Selecting previously unselected package libatspi2.0-0t64:s390x. 372s Preparing to unpack .../40-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 372s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 372s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 372s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 372s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 372s Selecting previously unselected package libavahi-common-data:s390x. 372s Preparing to unpack .../42-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 372s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 372s Selecting previously unselected package libavahi-common3:s390x. 372s Preparing to unpack .../43-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 372s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 372s Selecting previously unselected package libavahi-client3:s390x. 372s Preparing to unpack .../44-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 372s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 372s Selecting previously unselected package libpixman-1-0:s390x. 372s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 372s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 372s Selecting previously unselected package libxcb-render0:s390x. 372s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 372s Unpacking libxcb-render0:s390x (1.17.0-2) ... 372s Selecting previously unselected package libxcb-shm0:s390x. 372s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 372s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 372s Selecting previously unselected package libxrender1:s390x. 372s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 372s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 372s Selecting previously unselected package libcairo2:s390x. 372s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 372s Unpacking libcairo2:s390x (1.18.2-2) ... 372s Selecting previously unselected package libcairo-gobject2:s390x. 372s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 372s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 372s Selecting previously unselected package libstdlib-ocaml. 372s Preparing to unpack .../51-libstdlib-ocaml_5.2.0-3_s390x.deb ... 372s Unpacking libstdlib-ocaml (5.2.0-3) ... 372s Selecting previously unselected package ocaml-base. 372s Preparing to unpack .../52-ocaml-base_5.2.0-3_s390x.deb ... 372s Unpacking ocaml-base (5.2.0-3) ... 372s Selecting previously unselected package libcairo2-ocaml. 372s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2_s390x.deb ... 372s Unpacking libcairo2-ocaml (0.6.5-2) ... 372s Selecting previously unselected package liblcms2-2:s390x. 372s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 372s Unpacking liblcms2-2:s390x (2.16-2) ... 372s Selecting previously unselected package libcolord2:s390x. 372s Preparing to unpack .../55-libcolord2_1.4.7-1build2_s390x.deb ... 372s Unpacking libcolord2:s390x (1.4.7-1build2) ... 372s Selecting previously unselected package libstdlib-ocaml-dev. 372s Preparing to unpack .../56-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 372s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 373s Selecting previously unselected package libcompiler-libs-ocaml-dev. 373s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 373s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 373s Selecting previously unselected package libcups2t64:s390x. 373s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 373s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 373s Selecting previously unselected package libdatrie1:s390x. 373s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 373s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 373s Selecting previously unselected package libepoxy0:s390x. 373s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 373s Unpacking libepoxy0:s390x (1.5.10-2) ... 373s Selecting previously unselected package libgraphite2-3:s390x. 373s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 373s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 373s Selecting previously unselected package libharfbuzz0b:s390x. 373s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 373s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 373s Selecting previously unselected package libthai-data. 373s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 373s Unpacking libthai-data (0.1.29-2build1) ... 373s Selecting previously unselected package libthai0:s390x. 373s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 373s Unpacking libthai0:s390x (0.1.29-2build1) ... 373s Selecting previously unselected package libpango-1.0-0:s390x. 373s Preparing to unpack .../65-libpango-1.0-0_1.56.1-1_s390x.deb ... 373s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 373s Selecting previously unselected package libpangoft2-1.0-0:s390x. 373s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 373s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 373s Selecting previously unselected package libpangocairo-1.0-0:s390x. 373s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 373s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 373s Selecting previously unselected package libwayland-client0:s390x. 373s Preparing to unpack .../68-libwayland-client0_1.23.1-1_s390x.deb ... 373s Unpacking libwayland-client0:s390x (1.23.1-1) ... 373s Selecting previously unselected package libwayland-cursor0:s390x. 373s Preparing to unpack .../69-libwayland-cursor0_1.23.1-1_s390x.deb ... 373s Unpacking libwayland-cursor0:s390x (1.23.1-1) ... 373s Selecting previously unselected package libwayland-egl1:s390x. 373s Preparing to unpack .../70-libwayland-egl1_1.23.1-1_s390x.deb ... 373s Unpacking libwayland-egl1:s390x (1.23.1-1) ... 373s Selecting previously unselected package libxcomposite1:s390x. 373s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 373s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 373s Selecting previously unselected package libxfixes3:s390x. 373s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 373s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 373s Selecting previously unselected package libxcursor1:s390x. 373s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 373s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 373s Selecting previously unselected package libxdamage1:s390x. 373s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 373s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 373s Selecting previously unselected package libxinerama1:s390x. 373s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 373s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 373s Selecting previously unselected package libxrandr2:s390x. 373s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 373s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 373s Selecting previously unselected package libgtk-3-common. 373s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 373s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 373s Selecting previously unselected package libgtk-3-0t64:s390x. 373s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 373s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 373s Selecting previously unselected package libgtksourceview-3.0-common. 373s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 373s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 373s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 373s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 373s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 373s Selecting previously unselected package liblablgtk3-ocaml. 373s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ... 373s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 373s Selecting previously unselected package liblablgtksourceview3-ocaml. 373s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ... 373s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 373s Selecting previously unselected package libncurses-dev:s390x. 373s Preparing to unpack .../83-libncurses-dev_6.5+20250125-2_s390x.deb ... 373s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 373s Selecting previously unselected package libzstd-dev:s390x. 373s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 373s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 373s Selecting previously unselected package ocaml-interp. 373s Preparing to unpack .../85-ocaml-interp_5.2.0-3_s390x.deb ... 373s Unpacking ocaml-interp (5.2.0-3) ... 374s Selecting previously unselected package ocaml. 374s Preparing to unpack .../86-ocaml_5.2.0-3_s390x.deb ... 374s Unpacking ocaml (5.2.0-3) ... 374s Selecting previously unselected package spass. 374s Preparing to unpack .../87-spass_3.9-1.1_s390x.deb ... 374s Unpacking spass (3.9-1.1) ... 374s Selecting previously unselected package tex-common. 374s Preparing to unpack .../88-tex-common_6.18_all.deb ... 374s Unpacking tex-common (6.18) ... 374s Selecting previously unselected package why3. 374s Preparing to unpack .../89-why3_1.7.2-2build1_s390x.deb ... 374s Unpacking why3 (1.7.2-2build1) ... 374s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 374s Setting up liblcms2-2:s390x (2.16-2) ... 374s Setting up libpixman-1-0:s390x (0.44.0-3) ... 374s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 374s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 374s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 374s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 374s Setting up hicolor-icon-theme (0.18-2) ... 374s Setting up libxi6:s390x (2:1.8.2-1) ... 374s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 374s Setting up libdatrie1:s390x (0.2.13-3build1) ... 374s Setting up libxcb-render0:s390x (1.17.0-2) ... 374s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 374s Setting up libdeflate0:s390x (1.23-1) ... 374s Setting up libxcb-shm0:s390x (1.17.0-2) ... 374s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 374s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 374s Setting up libcolord2:s390x (1.4.7-1build2) ... 374s Setting up libdconf1:s390x (0.40.0-5) ... 374s Setting up tex-common (6.18) ... 374s update-language: texlive-base not installed and configured, doing nothing! 374s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 374s Setting up libepoxy0:s390x (1.5.10-2) ... 374s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 374s Setting up spass (3.9-1.1) ... 374s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 374s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 374s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 374s Setting up libstdlib-ocaml (5.2.0-3) ... 374s Setting up fonts-dejavu-mono (2.37-8) ... 374s Setting up libmpc3:s390x (1.3.1-1build2) ... 374s Setting up libxrandr2:s390x (2:1.5.4-1) ... 374s Setting up ocaml-base (5.2.0-3) ... 374s Setting up fonts-dejavu-core (2.37-8) ... 374s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 374s Setting up libwebp7:s390x (1.5.0-0.1) ... 374s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 374s Setting up at-spi2-common (2.55.2-1) ... 374s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 374s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 374s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 374s Setting up libthai-data (0.1.29-2build1) ... 374s Setting up libwayland-egl1:s390x (1.23.1-1) ... 374s Setting up libisl23:s390x (0.27-1) ... 374s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 374s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 374s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 374s Setting up libwayland-client0:s390x (1.23.1-1) ... 374s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 374s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 374s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 374s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 375s Setting up libxcursor1:s390x (1:1.2.3-1) ... 375s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 375s Setting up dconf-service (0.40.0-5) ... 375s Setting up libthai0:s390x (0.1.29-2build1) ... 375s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 375s Setting up ocaml-interp (5.2.0-3) ... 375s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 375s Setting up cpp-14 (14.2.0-17ubuntu1) ... 375s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 375s Setting up libwayland-cursor0:s390x (1.23.1-1) ... 375s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 375s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 375s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 375s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 375s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 375s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 375s Setting up fontconfig (2.15.0-2ubuntu1) ... 377s Regenerating fonts cache... done. 377s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 377s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 377s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 377s Setting up libcairo2:s390x (1.18.2-2) ... 377s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 377s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 377s Setting up adwaita-icon-theme (48~beta-3) ... 377s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 377s Setting up cpp (4:14.2.0-1ubuntu1) ... 377s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 377s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 377s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 377s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 377s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 377s Setting up libcairo2-ocaml (0.6.5-2) ... 377s Setting up gcc-14 (14.2.0-17ubuntu1) ... 377s Setting up gcc (4:14.2.0-1ubuntu1) ... 377s Setting up ocaml (5.2.0-3) ... 377s Processing triggers for libc-bin (2.40-4ubuntu1) ... 377s Processing triggers for man-db (2.13.0-1) ... 378s Processing triggers for libglib2.0-0t64:s390x (2.83.3-2) ... 378s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 378s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 378s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 378s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 378s Setting up why3 (1.7.2-2build1) ... 378s Processing triggers for libc-bin (2.40-4ubuntu1) ... 404s autopkgtest [13:26:08]: test why3+spass: [----------------------- 405s autopkgtest [13:26:09]: test why3+spass: -----------------------] 405s autopkgtest [13:26:09]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 405s why3+spass PASS 406s autopkgtest [13:26:10]: test why3+z3: preparing testbed 553s autopkgtest [13:28:37]: testbed dpkg architecture: s390x 553s autopkgtest [13:28:37]: testbed apt version: 2.9.30 554s autopkgtest [13:28:38]: @@@@@@@@@@@@@@@@@@@@ test bed setup 554s autopkgtest [13:28:38]: testbed release detected to be: plucky 555s autopkgtest [13:28:39]: updating testbed package index (apt update) 555s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 555s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 555s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 555s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 555s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.1 kB] 555s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 555s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.9 kB] 555s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [744 kB] 556s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [104 kB] 556s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 556s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [653 kB] 556s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4900 B] 556s Fetched 1711 kB in 1s (1811 kB/s) 557s Reading package lists... 557s Reading package lists... 558s Building dependency tree... 558s Reading state information... 558s Calculating upgrade... 558s The following packages were automatically installed and are no longer required: 558s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 558s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 558s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 558s linux-tools-6.11.0-8-generic 558s Use 'sudo apt autoremove' to remove them. 558s The following packages will be upgraded: 558s iproute2 libgpgme11t64 liblsof0 libp11-kit0 lsof sysvinit-utils 558s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 558s Need to get 1982 kB of archives. 558s After this operation, 22.5 kB of additional disk space will be used. 558s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x sysvinit-utils s390x 3.14-1ubuntu1 [36.0 kB] 558s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 559s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libp11-kit0 s390x 0.25.5-2ubuntu3 [316 kB] 559s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x lsof s390x 4.99.4+dfsg-1 [243 kB] 559s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x liblsof0 s390x 4.99.4+dfsg-1 [58.5 kB] 559s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libgpgme11t64 s390x 1.24.2-1ubuntu1 [154 kB] 559s Preconfiguring packages ... 559s Fetched 1982 kB in 1s (2740 kB/s) 559s (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.) 559s Preparing to unpack .../sysvinit-utils_3.14-1ubuntu1_s390x.deb ... 559s Unpacking sysvinit-utils (3.14-1ubuntu1) over (3.08-6ubuntu3) ... 559s Setting up sysvinit-utils (3.14-1ubuntu1) ... 559s (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.) 559s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 559s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 559s Preparing to unpack .../libp11-kit0_0.25.5-2ubuntu3_s390x.deb ... 559s Unpacking libp11-kit0:s390x (0.25.5-2ubuntu3) over (0.25.5-2ubuntu2) ... 559s Preparing to unpack .../lsof_4.99.4+dfsg-1_s390x.deb ... 559s Unpacking lsof (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 559s Preparing to unpack .../liblsof0_4.99.4+dfsg-1_s390x.deb ... 559s Unpacking liblsof0 (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 559s Preparing to unpack .../libgpgme11t64_1.24.2-1ubuntu1_s390x.deb ... 559s Unpacking libgpgme11t64:s390x (1.24.2-1ubuntu1) over (1.24.1-4ubuntu1) ... 559s Setting up liblsof0 (4.99.4+dfsg-1) ... 559s Setting up iproute2 (6.13.0-1ubuntu1) ... 560s Setting up libp11-kit0:s390x (0.25.5-2ubuntu3) ... 560s Setting up lsof (4.99.4+dfsg-1) ... 560s Setting up libgpgme11t64:s390x (1.24.2-1ubuntu1) ... 560s Processing triggers for man-db (2.13.0-1) ... 560s Processing triggers for libc-bin (2.40-4ubuntu1) ... 561s Reading package lists... 561s Building dependency tree... 561s Reading state information... 561s The following packages will be REMOVED: 561s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 561s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 561s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 561s linux-tools-6.11.0-8-generic* 561s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 561s After this operation, 167 MB disk space will be freed. 561s (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 ... 81031 files and directories currently installed.) 561s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 561s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 561s Removing libpython3.12t64:s390x (3.12.9-1) ... 561s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 561s Removing libnsl2:s390x (1.3.0-3build3) ... 561s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 561s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 561s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 563s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 563s Processing triggers for libc-bin (2.40-4ubuntu1) ... 563s (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 ... 55931 files and directories currently installed.) 563s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 563s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 563s autopkgtest [13:28:47]: upgrading testbed (apt dist-upgrade and autopurge) 564s Reading package lists... 564s Building dependency tree... 564s Reading state information... 564s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 564s Starting 2 pkgProblemResolver with broken count: 0 564s Done 564s Entering ResolveByKeep 565s 565s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 565s Reading package lists... 565s Building dependency tree... 565s Reading state information... 565s Starting pkgProblemResolver with broken count: 0 566s Starting 2 pkgProblemResolver with broken count: 0 566s Done 566s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 566s autopkgtest [13:28:50]: rebooting testbed after setup commands that affected boot 589s Reading package lists... 589s Building dependency tree... 589s Reading state information... 589s Starting pkgProblemResolver with broken count: 1 589s Starting 2 pkgProblemResolver with broken count: 1 589s Investigating (0) satisfy:command-line:s390x < none -> 1 @un puN Ib > 589s Broken satisfy:command-line:s390x Depends on why3:s390x < none | 1.7.2-2build1 @un uH > 589s Considering why3:s390x 1 as a solution to satisfy:command-line:s390x 9998 589s Re-Instated libfreetype6:s390x 589s Re-Instated fonts-dejavu-mono:s390x 589s Re-Instated fonts-dejavu-core:s390x 589s Re-Instated fontconfig-config:s390x 589s Re-Instated libfontconfig1:s390x 589s Re-Instated libpixman-1-0:s390x 589s Re-Instated libxcb-render0:s390x 589s Re-Instated libxcb-shm0:s390x 589s Re-Instated libxrender1:s390x 589s Re-Instated libcairo2:s390x 589s Re-Instated libgdk-pixbuf2.0-common:s390x 589s Re-Instated libjpeg-turbo8:s390x 589s Re-Instated libjpeg8:s390x 589s Re-Instated libdeflate0:s390x 589s Re-Instated libjbig0:s390x 589s Re-Instated libsharpyuv0:s390x 589s Re-Instated libwebp7:s390x 589s Re-Instated libtiff6:s390x 589s Re-Instated libgdk-pixbuf-2.0-0:s390x 589s Re-Instated gtk-update-icon-cache:s390x 589s Re-Instated hicolor-icon-theme:s390x 589s Re-Instated adwaita-icon-theme:s390x 589s Re-Instated at-spi2-common:s390x 589s Re-Instated libatk1.0-0t64:s390x 589s Re-Instated libxi6:s390x 589s Re-Instated libatspi2.0-0t64:s390x 589s Re-Instated libatk-bridge2.0-0t64:s390x 589s Re-Instated libcairo-gobject2:s390x 589s Re-Instated liblcms2-2:s390x 589s Re-Instated libcolord2:s390x 589s Re-Instated libavahi-common-data:s390x 589s Re-Instated libavahi-common3:s390x 589s Re-Instated libavahi-client3:s390x 589s Re-Instated libcups2t64:s390x 589s Re-Instated libepoxy0:s390x 589s Re-Instated libgraphite2-3:s390x 589s Re-Instated libharfbuzz0b:s390x 589s Re-Instated fontconfig:s390x 589s Re-Instated libthai-data:s390x 589s Re-Instated libdatrie1:s390x 589s Re-Instated libthai0:s390x 589s Re-Instated libpango-1.0-0:s390x 589s Re-Instated libpangoft2-1.0-0:s390x 589s Re-Instated libpangocairo-1.0-0:s390x 589s Re-Instated libwayland-client0:s390x 589s Re-Instated libwayland-cursor0:s390x 589s Re-Instated libwayland-egl1:s390x 589s Re-Instated libxcomposite1:s390x 589s Re-Instated libxfixes3:s390x 589s Re-Instated libxcursor1:s390x 589s Re-Instated libxdamage1:s390x 589s Re-Instated libxinerama1:s390x 589s Re-Instated libxrandr2:s390x 589s Re-Instated libdconf1:s390x 589s Re-Instated dconf-service:s390x 589s Re-Instated dconf-gsettings-backend:s390x 589s Re-Instated libgtk-3-common:s390x 589s Re-Instated libgtk-3-0t64:s390x 589s Re-Instated libgtksourceview-3.0-common:s390x 589s Re-Instated libgtksourceview-3.0-1:s390x 589s Re-Instated libstdlib-ocaml:s390x 589s Re-Instated ocaml-base:s390x 589s Re-Instated libcairo2-ocaml:s390x 589s Re-Instated liblablgtk3-ocaml:s390x 589s Re-Instated liblablgtksourceview3-ocaml:s390x 589s Re-Instated tex-common:s390x 589s Re-Instated why3:s390x 589s Broken satisfy:command-line:s390x Depends on z3:s390x < none | 4.13.3-1 @un uH > (< 4.11.1) 589s Broken satisfy:command-line:s390x Depends on ocaml-native-compilers:s390x < none @un H > 589s Considering ocaml:s390x 0 as a solution to satisfy:command-line:s390x 9998 589s Re-Instated libstdlib-ocaml-dev:s390x 589s Re-Instated libcompiler-libs-ocaml-dev:s390x 589s Re-Instated ocaml-interp:s390x 589s Re-Instated libncurses-dev:s390x 589s Re-Instated libisl23:s390x 589s Re-Instated libmpc3:s390x 589s Re-Instated cpp-14-s390x-linux-gnu:s390x 589s Re-Instated cpp-14:s390x 589s Re-Instated cpp-s390x-linux-gnu:s390x 589s Re-Instated cpp:s390x 589s Re-Instated libcc1-0:s390x 589s Re-Instated libgomp1:s390x 589s Re-Instated libitm1:s390x 589s Re-Instated libasan8:s390x 589s Re-Instated libubsan1:s390x 589s Re-Instated libgcc-14-dev:s390x 589s Re-Instated gcc-14-s390x-linux-gnu:s390x 589s Re-Instated gcc-14:s390x 589s Re-Instated gcc-s390x-linux-gnu:s390x 589s Re-Instated gcc:s390x 589s Re-Instated libzstd-dev:s390x 589s Re-Instated ocaml:s390x 589s Done 589s Some packages could not be installed. This may mean that you have 589s requested an impossible situation or if you are using the unstable 589s distribution that some required packages have not yet been created 589s or been moved out of Incoming. 589s The following information may help to resolve the situation: 589s 589s The following packages have unmet dependencies: 589s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 589s E: Unable to correct problems, you have held broken packages. 589s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 590s Reading package lists... 590s Building dependency tree... 590s Reading state information... 590s Starting pkgProblemResolver with broken count: 1 590s Starting 2 pkgProblemResolver with broken count: 1 590s Investigating (0) satisfy:command-line:s390x < none -> 1 @un puN Ib > 590s Broken satisfy:command-line:s390x Depends on why3:s390x < none | 1.8.0-2 @un uH > 590s Considering why3:s390x 1 as a solution to satisfy:command-line:s390x 9998 590s Re-Instated libfreetype6:s390x 590s Re-Instated fonts-dejavu-mono:s390x 590s Re-Instated fonts-dejavu-core:s390x 590s Re-Instated fontconfig-config:s390x 590s Re-Instated libfontconfig1:s390x 590s Re-Instated libpixman-1-0:s390x 590s Re-Instated libxcb-render0:s390x 590s Re-Instated libxcb-shm0:s390x 590s Re-Instated libxrender1:s390x 590s Re-Instated libcairo2:s390x 590s Re-Instated libgdk-pixbuf2.0-common:s390x 590s Re-Instated libjpeg-turbo8:s390x 590s Re-Instated libjpeg8:s390x 590s Re-Instated libdeflate0:s390x 590s Re-Instated libjbig0:s390x 590s Re-Instated libsharpyuv0:s390x 590s Re-Instated libwebp7:s390x 590s Re-Instated libtiff6:s390x 590s Re-Instated libgdk-pixbuf-2.0-0:s390x 590s Re-Instated gtk-update-icon-cache:s390x 590s Re-Instated hicolor-icon-theme:s390x 590s Re-Instated adwaita-icon-theme:s390x 590s Re-Instated at-spi2-common:s390x 590s Re-Instated libatk1.0-0t64:s390x 590s Re-Instated libxi6:s390x 590s Re-Instated libatspi2.0-0t64:s390x 590s Re-Instated libatk-bridge2.0-0t64:s390x 590s Re-Instated libcairo-gobject2:s390x 590s Re-Instated liblcms2-2:s390x 590s Re-Instated libcolord2:s390x 590s Re-Instated libavahi-common-data:s390x 590s Re-Instated libavahi-common3:s390x 590s Re-Instated libavahi-client3:s390x 590s Re-Instated libcups2t64:s390x 590s Re-Instated libepoxy0:s390x 590s Re-Instated libgraphite2-3:s390x 590s Re-Instated libharfbuzz0b:s390x 590s Re-Instated fontconfig:s390x 590s Re-Instated libthai-data:s390x 590s Re-Instated libdatrie1:s390x 590s Re-Instated libthai0:s390x 590s Re-Instated libpango-1.0-0:s390x 590s Re-Instated libpangoft2-1.0-0:s390x 590s Re-Instated libpangocairo-1.0-0:s390x 590s Re-Instated libwayland-client0:s390x 590s Re-Instated libwayland-cursor0:s390x 590s Re-Instated libwayland-egl1:s390x 590s Re-Instated libxcomposite1:s390x 590s Re-Instated libxfixes3:s390x 590s Re-Instated libxcursor1:s390x 590s Re-Instated libxdamage1:s390x 590s Re-Instated libxinerama1:s390x 590s Re-Instated libxrandr2:s390x 590s Re-Instated libdconf1:s390x 590s Re-Instated dconf-service:s390x 590s Re-Instated dconf-gsettings-backend:s390x 590s Re-Instated libgtk-3-common:s390x 590s Re-Instated libgtk-3-0t64:s390x 590s Re-Instated libgtksourceview-3.0-common:s390x 590s Re-Instated libgtksourceview-3.0-1:s390x 590s Re-Instated libstdlib-ocaml:s390x 590s Re-Instated ocaml-base:s390x 590s Re-Instated libcairo2-ocaml:s390x 590s Re-Instated liblablgtk3-ocaml:s390x 590s Re-Instated liblablgtksourceview3-ocaml:s390x 590s Re-Instated tex-common:s390x 590s Re-Instated why3:s390x 590s Broken satisfy:command-line:s390x Depends on z3:s390x < none | 4.13.3-1 @un uH > (< 4.11.1) 590s Broken satisfy:command-line:s390x Depends on ocaml-native-compilers:s390x < none @un H > 590s Considering ocaml:s390x 0 as a solution to satisfy:command-line:s390x 9998 590s Re-Instated libstdlib-ocaml-dev:s390x 590s Re-Instated libcompiler-libs-ocaml-dev:s390x 590s Re-Instated ocaml-interp:s390x 590s Re-Instated libtinfo6:s390x 590s Re-Instated libncurses6:s390x 590s Re-Instated libncursesw6:s390x 590s Re-Instated libncurses-dev:s390x 590s Re-Instated gcc-14-base:s390x 590s Re-Instated libisl23:s390x 590s Re-Instated libmpc3:s390x 590s Re-Instated cpp-14-s390x-linux-gnu:s390x 590s Re-Instated cpp-14:s390x 590s Re-Instated cpp-s390x-linux-gnu:s390x 590s Re-Instated cpp:s390x 590s Re-Instated libcc1-0:s390x 590s Re-Instated libgomp1:s390x 590s Re-Instated libitm1:s390x 590s Re-Instated libasan8:s390x 590s Re-Instated libubsan1:s390x 590s Re-Instated libgcc-14-dev:s390x 590s Re-Instated gcc-14-s390x-linux-gnu:s390x 590s Re-Instated gcc-14:s390x 590s Re-Instated gcc-s390x-linux-gnu:s390x 590s Re-Instated gcc:s390x 590s Re-Instated libzstd-dev:s390x 590s Re-Instated ocaml:s390x 590s Done 590s Some packages could not be installed. This may mean that you have 590s requested an impossible situation or if you are using the unstable 590s distribution that some required packages have not yet been created 590s or been moved out of Incoming. 590s The following information may help to resolve the situation: 590s 590s The following packages have unmet dependencies: 590s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 590s E: Unable to correct problems, you have held broken packages. 590s why3+z3 SKIP installation fails and skip-not-installable set 590s autopkgtest [13:29:14]: @@@@@@@@@@@@@@@@@@@@ summary 590s why3+cvc4 PASS 590s why3+spass PASS 590s why3+z3 SKIP installation fails and skip-not-installable set 609s nova [W] Using flock in prodstack6-s390x 609s Creating nova instance adt-plucky-s390x-why3-20250219-131924-juju-7f2275-prod-proposed-migration-environment-2-924910c0-be97-4640-a9cc-6a453857f61f from image adt/ubuntu-plucky-s390x-server-20250219.img (UUID 7af5aa59-4155-4177-a560-02c7dd963d23)... 609s nova [W] Timed out waiting for 72a485f2-2055-40ca-99d1-0dbb09e291d3 to get deleted. 609s nova [W] Using flock in prodstack6-s390x 609s flock: timeout while waiting to get lock 609s Creating nova instance adt-plucky-s390x-why3-20250219-131924-juju-7f2275-prod-proposed-migration-environment-2-924910c0-be97-4640-a9cc-6a453857f61f from image adt/ubuntu-plucky-s390x-server-20250219.img (UUID 7af5aa59-4155-4177-a560-02c7dd963d23)... 609s nova [W] Timed out waiting for 458d35e0-4efc-4bf2-b4e1-306b94b4f198 to get deleted. 609s nova [W] Using flock in prodstack6-s390x 609s Creating nova instance adt-plucky-s390x-why3-20250219-131924-juju-7f2275-prod-proposed-migration-environment-2-924910c0-be97-4640-a9cc-6a453857f61f from image adt/ubuntu-plucky-s390x-server-20250219.img (UUID 7af5aa59-4155-4177-a560-02c7dd963d23)... 609s nova [W] Timed out waiting for 6364ff81-88f6-4899-af1e-08ccd2ef746a to get deleted.