0s autopkgtest [02:29:23]: starting date and time: 2025-10-20 02:29:23+0000 0s autopkgtest [02:29:23]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [02:29:23]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.jbo4bvgv/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:node-jquery --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=node-jquery/3.7.1+dfsg+~3.5.33-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-11.secgroup --name adt-resolute-s390x-why3-20251020-022922-juju-7f2275-prod-proposed-migration-environment-2-85b5fd9f-ff78-415c-9bab-14511f8eb67a --image adt/ubuntu-resolute-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 5s Creating nova instance adt-resolute-s390x-why3-20251020-022922-juju-7f2275-prod-proposed-migration-environment-2-85b5fd9f-ff78-415c-9bab-14511f8eb67a from image adt/ubuntu-resolute-s390x-server-20251019.img (UUID 7a83b4ca-2eb3-4cb0-b8d6-be2f16efcb4e)... 50s autopkgtest [02:30:13]: testbed dpkg architecture: s390x 51s autopkgtest [02:30:14]: testbed apt version: 3.1.8ubuntu1 51s autopkgtest [02:30:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup 51s autopkgtest [02:30:14]: testbed release detected to be: None 52s autopkgtest [02:30:15]: updating testbed package index (apt update) 53s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 53s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 53s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 53s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 53s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 53s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 53s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 53s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 53s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [103 kB] 53s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [940 B] 53s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [257 kB] 53s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [6184 B] 54s Fetched 971 kB in 1s (895 kB/s) 54s Reading package lists... 55s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 55s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 55s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 55s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 56s Reading package lists... 56s Reading package lists... 56s Building dependency tree... 56s Reading state information... 56s Calculating upgrade... 56s The following packages will be upgraded: 56s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 56s libseccomp2 libsemanage-common libsemanage2 python-apt-common python3-apt 56s python3-cffi-backend 56s 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 56s Need to get 3223 kB of archives. 56s After this operation, 652 kB of additional disk space will be used. 56s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg s390x 1.22.21ubuntu4 [1287 kB] 57s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit-common all 1:4.0.5-1build2 [6596 B] 57s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit1 s390x 1:4.0.5-1build2 [57.0 kB] 57s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage-common all 3.8.1-1build1 [7916 B] 57s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage2 s390x 3.8.1-1build1 [99.1 kB] 57s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x distro-info-data all 0.68 [7378 B] 57s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libseccomp2 s390x 2.6.0-2ubuntu3 [57.5 kB] 57s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x python-apt-common all 3.0.0ubuntu2 [21.7 kB] 57s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x python3-apt s390x 3.0.0ubuntu2 [198 kB] 57s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x python3-cffi-backend s390x 1.17.1-3build1 [113 kB] 57s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg-dev all 1.22.21ubuntu4 [1088 kB] 57s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libdpkg-perl all 1.22.21ubuntu4 [280 kB] 58s dpkg-preconfigure: unable to re-open stdin: No such file or directory 58s Fetched 3223 kB in 1s (2318 kB/s) 58s (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 ... 56852 files and directories currently installed.) 58s Preparing to unpack .../dpkg_1.22.21ubuntu4_s390x.deb ... 58s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 58s Setting up dpkg (1.22.21ubuntu4) ... 59s (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 ... 56852 files and directories currently installed.) 59s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 59s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 59s Setting up libaudit-common (1:4.0.5-1build2) ... 59s (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 ... 56852 files and directories currently installed.) 59s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_s390x.deb ... 59s Unpacking libaudit1:s390x (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 59s Setting up libaudit1:s390x (1:4.0.5-1build2) ... 59s (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 ... 56852 files and directories currently installed.) 59s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 59s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 59s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_s390x.deb ... 59s Unpacking libsemanage2:s390x (3.8.1-1build1) over (3.8.1-1) ... 59s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 59s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 59s Preparing to unpack .../3-libseccomp2_2.6.0-2ubuntu3_s390x.deb ... 59s Unpacking libseccomp2:s390x (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 59s Preparing to unpack .../4-python-apt-common_3.0.0ubuntu2_all.deb ... 59s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 59s Preparing to unpack .../5-python3-apt_3.0.0ubuntu2_s390x.deb ... 59s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 59s Preparing to unpack .../6-python3-cffi-backend_1.17.1-3build1_s390x.deb ... 59s Unpacking python3-cffi-backend:s390x (1.17.1-3build1) over (1.17.1-3) ... 59s Preparing to unpack .../7-dpkg-dev_1.22.21ubuntu4_all.deb ... 59s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 59s Preparing to unpack .../8-libdpkg-perl_1.22.21ubuntu4_all.deb ... 59s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 59s Setting up distro-info-data (0.68) ... 59s Setting up libsemanage-common (3.8.1-1build1) ... 59s Setting up libseccomp2:s390x (2.6.0-2ubuntu3) ... 59s Setting up libdpkg-perl (1.22.21ubuntu4) ... 59s Setting up python-apt-common (3.0.0ubuntu2) ... 59s Setting up libsemanage2:s390x (3.8.1-1build1) ... 59s Setting up python3-cffi-backend:s390x (1.17.1-3build1) ... 59s Setting up python3-apt (3.0.0ubuntu2) ... 59s Setting up dpkg-dev (1.22.21ubuntu4) ... 59s Processing triggers for man-db (2.13.1-1) ... 60s Processing triggers for libc-bin (2.42-0ubuntu3) ... 61s autopkgtest [02:30:24]: upgrading testbed (apt dist-upgrade and autopurge) 61s Reading package lists... 61s Building dependency tree... 61s Reading state information... 61s Calculating upgrade... 61s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 62s Reading package lists... 62s Building dependency tree... 62s Reading state information... 62s Solving dependencies... 62s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 62s autopkgtest [02:30:25]: rebooting testbed after setup commands that affected boot 75s autopkgtest [02:30:38]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP Mon Sep 22 08:56:47 UTC 2025 78s autopkgtest [02:30:41]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 84s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (dsc) [2671 B] 84s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (tar) [6645 kB] 84s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (diff) [19.5 kB] 84s gpgv: Signature made Tue Sep 23 20:42:25 2025 UTC 84s gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF 84s gpgv: Can't check signature: No public key 84s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-1.dsc: no acceptable signature found 85s autopkgtest [02:30:48]: testing package why3 version 1.8.2-1 86s autopkgtest [02:30:49]: build not needed 89s autopkgtest [02:30:52]: test why3+cvc4: preparing testbed 89s Reading package lists... 89s Building dependency tree... 89s Reading state information... 89s Solving dependencies... 90s The following NEW packages will be installed: 90s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-s390x-linux-gnu 90s cpp-s390x-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 90s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 90s gcc-15-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 90s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 90s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 90s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 90s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 90s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 90s libfreetype6 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 90s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 90s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 90s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 90s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 90s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 90s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 90s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 90s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 90s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 90s ocaml-interp tex-common why3 90s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 90s Need to get 159 MB of archives. 90s After this operation, 492 MB of additional disk space will be used. 90s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 90s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg-turbo8 s390x 2.1.5-4ubuntu2 [147 kB] 90s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 90s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libdeflate0 s390x 1.23-2 [46.0 kB] 90s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 90s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 90s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 90s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x libtiff6 s390x 4.7.0-3ubuntu3 [222 kB] 90s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-5 [155 kB] 90s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x gtk-update-icon-cache s390x 4.20.1+ds-2 [54.9 kB] 91s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 91s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x adwaita-icon-theme all 49.0-1 [581 kB] 91s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x at-spi2-common all 2.57.1-1 [9432 B] 91s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x libisl23 s390x 0.27-1 [704 kB] 91s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x libmpc3 s390x 1.3.1-1build3 [57.6 kB] 91s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [10.2 MB] 93s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15 s390x 15.2.0-5ubuntu1 [1024 B] 93s Get:18 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [5746 B] 93s Get:19 http://ftpmaster.internal/ubuntu resolute/main s390x cpp s390x 4:15.2.0-4ubuntu1 [22.4 kB] 93s Get:20 http://ftpmaster.internal/ubuntu resolute/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 94s Get:21 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 94s Get:22 http://ftpmaster.internal/ubuntu resolute/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 94s Get:23 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 94s Get:24 http://ftpmaster.internal/ubuntu resolute/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 94s Get:25 http://ftpmaster.internal/ubuntu resolute/main s390x libdconf1 s390x 0.40.0-5willsync1 [40.0 kB] 94s Get:26 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-service s390x 0.40.0-5willsync1 [28.0 kB] 94s Get:27 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-gsettings-backend s390x 0.40.0-5willsync1 [22.6 kB] 94s Get:28 http://ftpmaster.internal/ubuntu resolute/main s390x libfreetype6 s390x 2.13.3+dfsg-1build1 [430 kB] 94s Get:29 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 94s Get:30 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 94s Get:31 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig-config s390x 2.15.0-2.3ubuntu1 [38.1 kB] 94s Get:32 http://ftpmaster.internal/ubuntu resolute/main s390x libfontconfig1 s390x 2.15.0-2.3ubuntu1 [149 kB] 94s Get:33 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig s390x 2.15.0-2.3ubuntu1 [191 kB] 94s Get:34 http://ftpmaster.internal/ubuntu resolute/main s390x libcc1-0 s390x 15.2.0-5ubuntu1 [50.0 kB] 94s Get:35 http://ftpmaster.internal/ubuntu resolute/main s390x libgomp1 s390x 15.2.0-5ubuntu1 [154 kB] 94s Get:36 http://ftpmaster.internal/ubuntu resolute/main s390x libitm1 s390x 15.2.0-5ubuntu1 [30.9 kB] 94s Get:37 http://ftpmaster.internal/ubuntu resolute/main s390x libasan8 s390x 15.2.0-5ubuntu1 [2969 kB] 94s Get:38 http://ftpmaster.internal/ubuntu resolute/main s390x libubsan1 s390x 15.2.0-5ubuntu1 [1211 kB] 95s Get:39 http://ftpmaster.internal/ubuntu resolute/main s390x libgcc-15-dev s390x 15.2.0-5ubuntu1 [1045 kB] 95s Get:40 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [19.9 MB] 95s Get:41 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15 s390x 15.2.0-5ubuntu1 [512 kB] 96s Get:42 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [1208 B] 96s Get:43 http://ftpmaster.internal/ubuntu resolute/main s390x gcc s390x 4:15.2.0-4ubuntu1 [5018 B] 96s Get:44 http://ftpmaster.internal/ubuntu resolute/main s390x libatk1.0-0t64 s390x 2.57.1-1 [55.5 kB] 96s Get:45 http://ftpmaster.internal/ubuntu resolute/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 96s Get:46 http://ftpmaster.internal/ubuntu resolute/main s390x libatspi2.0-0t64 s390x 2.57.1-1 [84.4 kB] 96s Get:47 http://ftpmaster.internal/ubuntu resolute/main s390x libatk-bridge2.0-0t64 s390x 2.57.1-1 [66.4 kB] 96s Get:48 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common-data s390x 0.8-16ubuntu3 [31.1 kB] 96s Get:49 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common3 s390x 0.8-16ubuntu3 [23.3 kB] 96s Get:50 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-client3 s390x 0.8-16ubuntu3 [26.2 kB] 96s Get:51 http://ftpmaster.internal/ubuntu resolute/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 96s Get:52 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-render0 s390x 1.17.0-2build1 [16.9 kB] 96s Get:53 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-shm0 s390x 1.17.0-2build1 [5916 B] 96s Get:54 http://ftpmaster.internal/ubuntu resolute/main s390x libxrender1 s390x 1:0.9.12-1 [20.9 kB] 96s Get:55 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo2 s390x 1.18.4-1build1 [580 kB] 96s Get:56 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo-gobject2 s390x 1.18.4-1build1 [127 kB] 96s Get:57 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml s390x 5.3.0-3 [438 kB] 96s Get:58 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-base s390x 5.3.0-3 [329 kB] 96s Get:59 http://ftpmaster.internal/ubuntu resolute/universe s390x libcairo2-ocaml s390x 0.6.5-2build2 [30.6 kB] 96s Get:60 http://ftpmaster.internal/ubuntu resolute/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 96s Get:61 http://ftpmaster.internal/ubuntu resolute/main s390x libcolord2 s390x 1.4.7-3build1 [148 kB] 96s Get:62 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml-dev s390x 5.3.0-3 [7839 kB] 96s Get:63 http://ftpmaster.internal/ubuntu resolute/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-3 [47.5 MB] 98s Get:64 http://ftpmaster.internal/ubuntu resolute/main s390x libcups2t64 s390x 2.4.12-0ubuntu3 [280 kB] 98s Get:65 http://ftpmaster.internal/ubuntu resolute/main s390x libdatrie1 s390x 0.2.13-4 [20.4 kB] 98s Get:66 http://ftpmaster.internal/ubuntu resolute/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 98s Get:67 http://ftpmaster.internal/ubuntu resolute/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 98s Get:68 http://ftpmaster.internal/ubuntu resolute/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 98s Get:69 http://ftpmaster.internal/ubuntu resolute/main s390x libthai-data all 0.1.29-2build1 [158 kB] 98s Get:70 http://ftpmaster.internal/ubuntu resolute/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 98s Get:71 http://ftpmaster.internal/ubuntu resolute/main s390x libpango-1.0-0 s390x 1.56.3-1build1 [253 kB] 98s Get:72 http://ftpmaster.internal/ubuntu resolute/main s390x libpangoft2-1.0-0 s390x 1.56.3-1build1 [50.6 kB] 98s Get:73 http://ftpmaster.internal/ubuntu resolute/main s390x libpangocairo-1.0-0 s390x 1.56.3-1build1 [28.5 kB] 98s Get:74 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-client0 s390x 1.24.0-1build1 [29.2 kB] 98s Get:75 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-cursor0 s390x 1.24.0-1build1 [11.5 kB] 98s Get:76 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-egl1 s390x 1.24.0-1build1 [6258 B] 98s Get:77 http://ftpmaster.internal/ubuntu resolute/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 98s Get:78 http://ftpmaster.internal/ubuntu resolute/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 98s Get:79 http://ftpmaster.internal/ubuntu resolute/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 98s Get:80 http://ftpmaster.internal/ubuntu resolute/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 98s Get:81 http://ftpmaster.internal/ubuntu resolute/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 98s Get:82 http://ftpmaster.internal/ubuntu resolute/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 98s Get:83 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 98s Get:84 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-0t64 s390x 3.24.50-1ubuntu2 [3074 kB] 99s Get:85 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 99s Get:86 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-5 [229 kB] 99s Get:87 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build4 [3621 kB] 99s Get:88 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build4 [334 kB] 99s Get:89 http://ftpmaster.internal/ubuntu resolute/main s390x libncurses-dev s390x 6.5+20250216-2build1 [404 kB] 99s Get:90 http://ftpmaster.internal/ubuntu resolute/main s390x libzstd-dev s390x 1.5.7+dfsg-1build2 [415 kB] 99s Get:91 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-interp s390x 5.3.0-3 [8365 kB] 99s Get:92 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml s390x 5.3.0-3 [20.6 MB] 100s Get:93 http://ftpmaster.internal/ubuntu resolute/universe s390x tex-common all 6.19 [29.8 kB] 100s Get:94 http://ftpmaster.internal/ubuntu resolute/universe s390x why3 s390x 1.8.2-1 [13.8 MB] 101s Fetched 159 MB in 11s (14.0 MB/s) 101s Selecting previously unselected package libgdk-pixbuf2.0-common. 101s (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 ... 56857 files and directories currently installed.) 101s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 101s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 101s Selecting previously unselected package libjpeg-turbo8:s390x. 101s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_s390x.deb ... 101s Unpacking libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 101s Selecting previously unselected package libjpeg8:s390x. 101s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 101s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 101s Selecting previously unselected package libdeflate0:s390x. 101s Preparing to unpack .../03-libdeflate0_1.23-2_s390x.deb ... 102s Unpacking libdeflate0:s390x (1.23-2) ... 102s Selecting previously unselected package libjbig0:s390x. 102s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 102s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 102s Selecting previously unselected package libsharpyuv0:s390x. 102s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 102s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 102s Selecting previously unselected package libwebp7:s390x. 102s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 102s Unpacking libwebp7:s390x (1.5.0-0.1) ... 102s Selecting previously unselected package libtiff6:s390x. 102s Preparing to unpack .../07-libtiff6_4.7.0-3ubuntu3_s390x.deb ... 102s Unpacking libtiff6:s390x (4.7.0-3ubuntu3) ... 102s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 102s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_s390x.deb ... 102s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 102s Selecting previously unselected package gtk-update-icon-cache. 102s Preparing to unpack .../09-gtk-update-icon-cache_4.20.1+ds-2_s390x.deb ... 102s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 102s 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. 102s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 102s Selecting previously unselected package hicolor-icon-theme. 102s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 102s Unpacking hicolor-icon-theme (0.18-2) ... 102s Selecting previously unselected package adwaita-icon-theme. 102s Preparing to unpack .../11-adwaita-icon-theme_49.0-1_all.deb ... 102s Unpacking adwaita-icon-theme (49.0-1) ... 102s Selecting previously unselected package at-spi2-common. 102s Preparing to unpack .../12-at-spi2-common_2.57.1-1_all.deb ... 102s Unpacking at-spi2-common (2.57.1-1) ... 102s Selecting previously unselected package libisl23:s390x. 102s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 102s Unpacking libisl23:s390x (0.27-1) ... 102s Selecting previously unselected package libmpc3:s390x. 102s Preparing to unpack .../14-libmpc3_1.3.1-1build3_s390x.deb ... 102s Unpacking libmpc3:s390x (1.3.1-1build3) ... 102s Selecting previously unselected package cpp-15-s390x-linux-gnu. 102s Preparing to unpack .../15-cpp-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package cpp-15. 102s Preparing to unpack .../16-cpp-15_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package cpp-s390x-linux-gnu. 102s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 102s Unpacking cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 102s Selecting previously unselected package cpp. 102s Preparing to unpack .../18-cpp_4%3a15.2.0-4ubuntu1_s390x.deb ... 102s Unpacking cpp (4:15.2.0-4ubuntu1) ... 102s Selecting previously unselected package libcln6:s390x. 102s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 102s Unpacking libcln6:s390x (1.3.7-1) ... 102s Selecting previously unselected package libcvc4-7:s390x. 102s Preparing to unpack .../20-libcvc4-7_1.8-3build2_s390x.deb ... 102s Unpacking libcvc4-7:s390x (1.8-3build2) ... 102s Selecting previously unselected package libantlr3c-3.4-0:s390x. 102s Preparing to unpack .../21-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 102s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 102s Selecting previously unselected package libcvc4parser7:s390x. 102s Preparing to unpack .../22-libcvc4parser7_1.8-3build2_s390x.deb ... 102s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 102s Selecting previously unselected package cvc4. 102s Preparing to unpack .../23-cvc4_1.8-3build2_s390x.deb ... 102s Unpacking cvc4 (1.8-3build2) ... 102s Selecting previously unselected package libdconf1:s390x. 102s Preparing to unpack .../24-libdconf1_0.40.0-5willsync1_s390x.deb ... 102s Unpacking libdconf1:s390x (0.40.0-5willsync1) ... 102s Selecting previously unselected package dconf-service. 102s Preparing to unpack .../25-dconf-service_0.40.0-5willsync1_s390x.deb ... 102s Unpacking dconf-service (0.40.0-5willsync1) ... 102s Selecting previously unselected package dconf-gsettings-backend:s390x. 102s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5willsync1_s390x.deb ... 102s Unpacking dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 102s Selecting previously unselected package libfreetype6:s390x. 102s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1build1_s390x.deb ... 102s Unpacking libfreetype6:s390x (2.13.3+dfsg-1build1) ... 102s Selecting previously unselected package fonts-dejavu-mono. 102s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 102s Unpacking fonts-dejavu-mono (2.37-8) ... 102s Selecting previously unselected package fonts-dejavu-core. 102s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 102s Unpacking fonts-dejavu-core (2.37-8) ... 102s Selecting previously unselected package fontconfig-config. 102s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_s390x.deb ... 102s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 102s Selecting previously unselected package libfontconfig1:s390x. 102s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_s390x.deb ... 102s Unpacking libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 102s Selecting previously unselected package fontconfig. 102s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_s390x.deb ... 102s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 102s Selecting previously unselected package libcc1-0:s390x. 102s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking libcc1-0:s390x (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package libgomp1:s390x. 102s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking libgomp1:s390x (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package libitm1:s390x. 102s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking libitm1:s390x (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package libasan8:s390x. 102s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking libasan8:s390x (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package libubsan1:s390x. 102s Preparing to unpack .../37-libubsan1_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking libubsan1:s390x (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package libgcc-15-dev:s390x. 102s Preparing to unpack .../38-libgcc-15-dev_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 102s Selecting previously unselected package gcc-15-s390x-linux-gnu. 102s Preparing to unpack .../39-gcc-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 102s Unpacking gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 103s Selecting previously unselected package gcc-15. 103s Preparing to unpack .../40-gcc-15_15.2.0-5ubuntu1_s390x.deb ... 103s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 103s Selecting previously unselected package gcc-s390x-linux-gnu. 103s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 103s Unpacking gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 103s Selecting previously unselected package gcc. 103s Preparing to unpack .../42-gcc_4%3a15.2.0-4ubuntu1_s390x.deb ... 103s Unpacking gcc (4:15.2.0-4ubuntu1) ... 103s Selecting previously unselected package libatk1.0-0t64:s390x. 103s Preparing to unpack .../43-libatk1.0-0t64_2.57.1-1_s390x.deb ... 103s Unpacking libatk1.0-0t64:s390x (2.57.1-1) ... 103s Selecting previously unselected package libxi6:s390x. 103s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 103s Unpacking libxi6:s390x (2:1.8.2-1) ... 103s Selecting previously unselected package libatspi2.0-0t64:s390x. 103s Preparing to unpack .../45-libatspi2.0-0t64_2.57.1-1_s390x.deb ... 103s Unpacking libatspi2.0-0t64:s390x (2.57.1-1) ... 103s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 103s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.57.1-1_s390x.deb ... 103s Unpacking libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 103s Selecting previously unselected package libavahi-common-data:s390x. 103s Preparing to unpack .../47-libavahi-common-data_0.8-16ubuntu3_s390x.deb ... 103s Unpacking libavahi-common-data:s390x (0.8-16ubuntu3) ... 103s Selecting previously unselected package libavahi-common3:s390x. 103s Preparing to unpack .../48-libavahi-common3_0.8-16ubuntu3_s390x.deb ... 103s Unpacking libavahi-common3:s390x (0.8-16ubuntu3) ... 103s Selecting previously unselected package libavahi-client3:s390x. 103s Preparing to unpack .../49-libavahi-client3_0.8-16ubuntu3_s390x.deb ... 103s Unpacking libavahi-client3:s390x (0.8-16ubuntu3) ... 103s Selecting previously unselected package libpixman-1-0:s390x. 103s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 103s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 103s Selecting previously unselected package libxcb-render0:s390x. 103s Preparing to unpack .../51-libxcb-render0_1.17.0-2build1_s390x.deb ... 103s Unpacking libxcb-render0:s390x (1.17.0-2build1) ... 103s Selecting previously unselected package libxcb-shm0:s390x. 103s Preparing to unpack .../52-libxcb-shm0_1.17.0-2build1_s390x.deb ... 103s Unpacking libxcb-shm0:s390x (1.17.0-2build1) ... 103s Selecting previously unselected package libxrender1:s390x. 103s Preparing to unpack .../53-libxrender1_1%3a0.9.12-1_s390x.deb ... 103s Unpacking libxrender1:s390x (1:0.9.12-1) ... 103s Selecting previously unselected package libcairo2:s390x. 103s Preparing to unpack .../54-libcairo2_1.18.4-1build1_s390x.deb ... 103s Unpacking libcairo2:s390x (1.18.4-1build1) ... 103s Selecting previously unselected package libcairo-gobject2:s390x. 103s Preparing to unpack .../55-libcairo-gobject2_1.18.4-1build1_s390x.deb ... 103s Unpacking libcairo-gobject2:s390x (1.18.4-1build1) ... 103s Selecting previously unselected package libstdlib-ocaml. 103s Preparing to unpack .../56-libstdlib-ocaml_5.3.0-3_s390x.deb ... 103s Unpacking libstdlib-ocaml (5.3.0-3) ... 103s Selecting previously unselected package ocaml-base. 103s Preparing to unpack .../57-ocaml-base_5.3.0-3_s390x.deb ... 103s Unpacking ocaml-base (5.3.0-3) ... 103s Selecting previously unselected package libcairo2-ocaml. 103s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2build2_s390x.deb ... 103s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 103s Selecting previously unselected package liblcms2-2:s390x. 103s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 103s Unpacking liblcms2-2:s390x (2.16-2) ... 103s Selecting previously unselected package libcolord2:s390x. 103s Preparing to unpack .../60-libcolord2_1.4.7-3build1_s390x.deb ... 103s Unpacking libcolord2:s390x (1.4.7-3build1) ... 103s Selecting previously unselected package libstdlib-ocaml-dev. 103s Preparing to unpack .../61-libstdlib-ocaml-dev_5.3.0-3_s390x.deb ... 103s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 103s Selecting previously unselected package libcompiler-libs-ocaml-dev. 103s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.3.0-3_s390x.deb ... 103s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 103s Selecting previously unselected package libcups2t64:s390x. 103s Preparing to unpack .../63-libcups2t64_2.4.12-0ubuntu3_s390x.deb ... 103s Unpacking libcups2t64:s390x (2.4.12-0ubuntu3) ... 103s Selecting previously unselected package libdatrie1:s390x. 103s Preparing to unpack .../64-libdatrie1_0.2.13-4_s390x.deb ... 103s Unpacking libdatrie1:s390x (0.2.13-4) ... 103s Selecting previously unselected package libepoxy0:s390x. 103s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 103s Unpacking libepoxy0:s390x (1.5.10-2) ... 104s Selecting previously unselected package libgraphite2-3:s390x. 104s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 104s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 104s Selecting previously unselected package libharfbuzz0b:s390x. 104s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 104s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 104s Selecting previously unselected package libthai-data. 104s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 104s Unpacking libthai-data (0.1.29-2build1) ... 104s Selecting previously unselected package libthai0:s390x. 104s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 104s Unpacking libthai0:s390x (0.1.29-2build1) ... 104s Selecting previously unselected package libpango-1.0-0:s390x. 104s Preparing to unpack .../70-libpango-1.0-0_1.56.3-1build1_s390x.deb ... 104s Unpacking libpango-1.0-0:s390x (1.56.3-1build1) ... 104s Selecting previously unselected package libpangoft2-1.0-0:s390x. 104s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.3-1build1_s390x.deb ... 104s Unpacking libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 104s Selecting previously unselected package libpangocairo-1.0-0:s390x. 104s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.3-1build1_s390x.deb ... 104s Unpacking libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 104s Selecting previously unselected package libwayland-client0:s390x. 104s Preparing to unpack .../73-libwayland-client0_1.24.0-1build1_s390x.deb ... 104s Unpacking libwayland-client0:s390x (1.24.0-1build1) ... 104s Selecting previously unselected package libwayland-cursor0:s390x. 104s Preparing to unpack .../74-libwayland-cursor0_1.24.0-1build1_s390x.deb ... 104s Unpacking libwayland-cursor0:s390x (1.24.0-1build1) ... 104s Selecting previously unselected package libwayland-egl1:s390x. 104s Preparing to unpack .../75-libwayland-egl1_1.24.0-1build1_s390x.deb ... 104s Unpacking libwayland-egl1:s390x (1.24.0-1build1) ... 104s Selecting previously unselected package libxcomposite1:s390x. 104s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 104s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 104s Selecting previously unselected package libxfixes3:s390x. 104s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 104s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 104s Selecting previously unselected package libxcursor1:s390x. 104s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 104s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 104s Selecting previously unselected package libxdamage1:s390x. 104s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 104s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 104s Selecting previously unselected package libxinerama1:s390x. 104s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 104s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 104s Selecting previously unselected package libxrandr2:s390x. 104s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 104s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 104s Selecting previously unselected package libgtk-3-common. 104s Preparing to unpack .../82-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 104s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 104s Selecting previously unselected package libgtk-3-0t64:s390x. 104s Preparing to unpack .../83-libgtk-3-0t64_3.24.50-1ubuntu2_s390x.deb ... 104s Unpacking libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 104s Selecting previously unselected package libgtksourceview-3.0-common. 104s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 104s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 104s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 104s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-5_s390x.deb ... 104s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-5) ... 104s Selecting previously unselected package liblablgtk3-ocaml. 104s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build4_s390x.deb ... 104s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 104s Selecting previously unselected package liblablgtksourceview3-ocaml. 104s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build4_s390x.deb ... 104s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 104s Selecting previously unselected package libncurses-dev:s390x. 104s Preparing to unpack .../88-libncurses-dev_6.5+20250216-2build1_s390x.deb ... 104s Unpacking libncurses-dev:s390x (6.5+20250216-2build1) ... 104s Selecting previously unselected package libzstd-dev:s390x. 104s Preparing to unpack .../89-libzstd-dev_1.5.7+dfsg-1build2_s390x.deb ... 104s Unpacking libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 104s Selecting previously unselected package ocaml-interp. 104s Preparing to unpack .../90-ocaml-interp_5.3.0-3_s390x.deb ... 104s Unpacking ocaml-interp (5.3.0-3) ... 104s Selecting previously unselected package ocaml. 104s Preparing to unpack .../91-ocaml_5.3.0-3_s390x.deb ... 104s Unpacking ocaml (5.3.0-3) ... 105s Selecting previously unselected package tex-common. 105s Preparing to unpack .../92-tex-common_6.19_all.deb ... 105s Unpacking tex-common (6.19) ... 105s Selecting previously unselected package why3. 105s Preparing to unpack .../93-why3_1.8.2-1_s390x.deb ... 105s Unpacking why3 (1.8.2-1) ... 105s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 105s Setting up liblcms2-2:s390x (2.16-2) ... 105s Setting up libpixman-1-0:s390x (0.44.0-3) ... 105s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 105s Setting up libcln6:s390x (1.3.7-1) ... 105s Setting up libncurses-dev:s390x (6.5+20250216-2build1) ... 105s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 105s Setting up libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 105s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 105s Setting up hicolor-icon-theme (0.18-2) ... 105s Setting up libxi6:s390x (2:1.8.2-1) ... 105s Setting up libxrender1:s390x (1:0.9.12-1) ... 105s Setting up libdatrie1:s390x (0.2.13-4) ... 105s Setting up libxcb-render0:s390x (1.17.0-2build1) ... 105s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 105s Setting up libdeflate0:s390x (1.23-2) ... 105s Setting up libxcb-shm0:s390x (1.17.0-2build1) ... 105s Setting up libgomp1:s390x (15.2.0-5ubuntu1) ... 105s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 105s Setting up libcolord2:s390x (1.4.7-3build1) ... 105s Setting up libdconf1:s390x (0.40.0-5willsync1) ... 105s Setting up tex-common (6.19) ... 105s update-language: texlive-base not installed and configured, doing nothing! 105s Setting up libfreetype6:s390x (2.13.3+dfsg-1build1) ... 105s Setting up libepoxy0:s390x (1.5.10-2) ... 105s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 105s Setting up libavahi-common-data:s390x (0.8-16ubuntu3) ... 105s Setting up libatspi2.0-0t64:s390x (2.57.1-1) ... 105s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 105s Setting up libstdlib-ocaml (5.3.0-3) ... 105s Setting up fonts-dejavu-mono (2.37-8) ... 105s Setting up libmpc3:s390x (1.3.1-1build3) ... 105s Setting up libxrandr2:s390x (2:1.5.4-1) ... 105s Setting up ocaml-base (5.3.0-3) ... 105s Setting up fonts-dejavu-core (2.37-8) ... 105s Setting up libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 105s Setting up libwebp7:s390x (1.5.0-0.1) ... 105s Setting up libubsan1:s390x (15.2.0-5ubuntu1) ... 105s Setting up at-spi2-common (2.57.1-1) ... 105s Setting up libasan8:s390x (15.2.0-5ubuntu1) ... 105s Setting up libcvc4-7:s390x (1.8-3build2) ... 105s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 105s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 105s Setting up libthai-data (0.1.29-2build1) ... 105s Setting up libwayland-egl1:s390x (1.24.0-1build1) ... 105s Setting up libisl23:s390x (0.27-1) ... 105s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 105s Setting up libcc1-0:s390x (15.2.0-5ubuntu1) ... 105s Setting up libitm1:s390x (15.2.0-5ubuntu1) ... 105s Setting up libwayland-client0:s390x (1.24.0-1build1) ... 105s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 105s Setting up libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 105s Setting up libatk1.0-0t64:s390x (2.57.1-1) ... 105s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 105s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 105s Setting up libxcursor1:s390x (1:1.2.3-1) ... 105s Setting up libavahi-common3:s390x (0.8-16ubuntu3) ... 105s Setting up dconf-service (0.40.0-5willsync1) ... 105s Setting up libthai0:s390x (0.1.29-2build1) ... 105s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 105s Setting up ocaml-interp (5.3.0-3) ... 105s Setting up libcvc4parser7:s390x (1.8-3build2) ... 105s Setting up libtiff6:s390x (4.7.0-3ubuntu3) ... 105s Setting up libwayland-cursor0:s390x (1.24.0-1build1) ... 105s Setting up cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 105s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 105s Setting up cvc4 (1.8-3build2) ... 105s Setting up libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 105s Setting up libavahi-client3:s390x (0.8-16ubuntu3) ... 105s Setting up gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 105s Setting up libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 105s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 105s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 107s Regenerating fonts cache... done. 107s Setting up dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 107s Setting up cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 107s Setting up libpango-1.0-0:s390x (1.56.3-1build1) ... 107s Setting up libcairo2:s390x (1.18.4-1build1) ... 107s Setting up gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 107s Setting up adwaita-icon-theme (49.0-1) ... 107s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 107s Setting up cpp-15 (15.2.0-5ubuntu1) ... 107s Setting up cpp (4:15.2.0-4ubuntu1) ... 107s Setting up libcairo-gobject2:s390x (1.18.4-1build1) ... 107s Setting up libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 107s Setting up libcups2t64:s390x (2.4.12-0ubuntu3) ... 107s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 107s Setting up libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 107s Setting up libcairo2-ocaml (0.6.5-2build2) ... 107s Setting up gcc-15 (15.2.0-5ubuntu1) ... 107s Setting up gcc (4:15.2.0-4ubuntu1) ... 107s Setting up ocaml (5.3.0-3) ... 107s Processing triggers for libc-bin (2.42-0ubuntu3) ... 107s Processing triggers for man-db (2.13.1-1) ... 108s Processing triggers for libglib2.0-0t64:s390x (2.86.0-2) ... 108s Setting up libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 108s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 108s Setting up libgtksourceview-3.0-1:s390x (3.24.11-5) ... 108s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 108s Setting up why3 (1.8.2-1) ... 108s Processing triggers for libc-bin (2.42-0ubuntu3) ... 109s autopkgtest [02:31:12]: test why3+cvc4: [----------------------- 111s autopkgtest [02:31:14]: test why3+cvc4: -----------------------] 111s autopkgtest [02:31:14]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 111s why3+cvc4 PASS 111s autopkgtest [02:31:14]: test why3+cvc5: preparing testbed 135s Creating nova instance adt-resolute-s390x-why3-20251020-022922-juju-7f2275-prod-proposed-migration-environment-2-85b5fd9f-ff78-415c-9bab-14511f8eb67a from image adt/ubuntu-resolute-s390x-server-20251019.img (UUID 7a83b4ca-2eb3-4cb0-b8d6-be2f16efcb4e)... 183s autopkgtest [02:32:26]: testbed dpkg architecture: s390x 183s autopkgtest [02:32:26]: testbed apt version: 3.1.8ubuntu1 183s autopkgtest [02:32:26]: @@@@@@@@@@@@@@@@@@@@ test bed setup 184s autopkgtest [02:32:27]: testbed release detected to be: resolute 184s autopkgtest [02:32:27]: updating testbed package index (apt update) 185s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 185s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 185s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 185s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 185s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 185s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 185s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 185s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 185s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [103 kB] 185s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [940 B] 185s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [257 kB] 185s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [6184 B] 185s Fetched 971 kB in 1s (1025 kB/s) 186s Reading package lists... 187s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 187s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 187s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 187s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 188s Reading package lists... 188s Reading package lists... 188s Building dependency tree... 188s Reading state information... 188s Calculating upgrade... 188s The following packages will be upgraded: 188s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 188s libseccomp2 libsemanage-common libsemanage2 python-apt-common python3-apt 188s python3-cffi-backend 188s 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 188s Need to get 3223 kB of archives. 188s After this operation, 652 kB of additional disk space will be used. 188s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg s390x 1.22.21ubuntu4 [1287 kB] 189s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit-common all 1:4.0.5-1build2 [6596 B] 189s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit1 s390x 1:4.0.5-1build2 [57.0 kB] 189s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage-common all 3.8.1-1build1 [7916 B] 189s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage2 s390x 3.8.1-1build1 [99.1 kB] 190s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x distro-info-data all 0.68 [7378 B] 190s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libseccomp2 s390x 2.6.0-2ubuntu3 [57.5 kB] 190s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x python-apt-common all 3.0.0ubuntu2 [21.7 kB] 190s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x python3-apt s390x 3.0.0ubuntu2 [198 kB] 190s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x python3-cffi-backend s390x 1.17.1-3build1 [113 kB] 190s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg-dev all 1.22.21ubuntu4 [1088 kB] 190s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libdpkg-perl all 1.22.21ubuntu4 [280 kB] 190s dpkg-preconfigure: unable to re-open stdin: No such file or directory 190s Fetched 3223 kB in 2s (1993 kB/s) 190s (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 ... 56852 files and directories currently installed.) 190s Preparing to unpack .../dpkg_1.22.21ubuntu4_s390x.deb ... 190s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 190s Setting up dpkg (1.22.21ubuntu4) ... 191s (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 ... 56852 files and directories currently installed.) 191s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 191s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 191s Setting up libaudit-common (1:4.0.5-1build2) ... 191s (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 ... 56852 files and directories currently installed.) 191s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_s390x.deb ... 191s Unpacking libaudit1:s390x (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 191s Setting up libaudit1:s390x (1:4.0.5-1build2) ... 191s (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 ... 56852 files and directories currently installed.) 191s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 191s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 191s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_s390x.deb ... 191s Unpacking libsemanage2:s390x (3.8.1-1build1) over (3.8.1-1) ... 191s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 191s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 191s Preparing to unpack .../3-libseccomp2_2.6.0-2ubuntu3_s390x.deb ... 191s Unpacking libseccomp2:s390x (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 191s Preparing to unpack .../4-python-apt-common_3.0.0ubuntu2_all.deb ... 191s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 191s Preparing to unpack .../5-python3-apt_3.0.0ubuntu2_s390x.deb ... 191s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 191s Preparing to unpack .../6-python3-cffi-backend_1.17.1-3build1_s390x.deb ... 191s Unpacking python3-cffi-backend:s390x (1.17.1-3build1) over (1.17.1-3) ... 191s Preparing to unpack .../7-dpkg-dev_1.22.21ubuntu4_all.deb ... 191s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 191s Preparing to unpack .../8-libdpkg-perl_1.22.21ubuntu4_all.deb ... 191s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 191s Setting up distro-info-data (0.68) ... 191s Setting up libsemanage-common (3.8.1-1build1) ... 191s Setting up libseccomp2:s390x (2.6.0-2ubuntu3) ... 191s Setting up libdpkg-perl (1.22.21ubuntu4) ... 191s Setting up python-apt-common (3.0.0ubuntu2) ... 191s Setting up libsemanage2:s390x (3.8.1-1build1) ... 191s Setting up python3-cffi-backend:s390x (1.17.1-3build1) ... 191s Setting up python3-apt (3.0.0ubuntu2) ... 191s Setting up dpkg-dev (1.22.21ubuntu4) ... 191s Processing triggers for man-db (2.13.1-1) ... 193s Processing triggers for libc-bin (2.42-0ubuntu3) ... 193s autopkgtest [02:32:36]: upgrading testbed (apt dist-upgrade and autopurge) 193s Reading package lists... 193s Building dependency tree... 193s Reading state information... 193s Calculating upgrade... 193s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 193s Reading package lists... 194s Building dependency tree... 194s Reading state information... 194s Solving dependencies... 194s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 194s autopkgtest [02:32:37]: rebooting testbed after setup commands that affected boot 211s Reading package lists... 211s Building dependency tree... 211s Reading state information... 211s Solving dependencies... 211s The following NEW packages will be installed: 211s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-s390x-linux-gnu 211s cpp-s390x-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 211s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 211s gcc-15-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 211s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 211s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 211s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 211s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 211s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 211s libfreetype6 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 211s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 211s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 211s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 211s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 211s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 211s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 211s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 211s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 211s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 211s ocaml-interp tex-common why3 211s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 211s Need to get 160 MB of archives. 211s After this operation, 492 MB of additional disk space will be used. 211s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 211s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg-turbo8 s390x 2.1.5-4ubuntu2 [147 kB] 212s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 212s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libdeflate0 s390x 1.23-2 [46.0 kB] 212s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 212s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 212s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 212s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x libtiff6 s390x 4.7.0-3ubuntu3 [222 kB] 212s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-5 [155 kB] 212s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x gtk-update-icon-cache s390x 4.20.1+ds-2 [54.9 kB] 212s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 212s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x adwaita-icon-theme all 49.0-1 [581 kB] 212s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x at-spi2-common all 2.57.1-1 [9432 B] 212s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x libisl23 s390x 0.27-1 [704 kB] 213s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x libmpc3 s390x 1.3.1-1build3 [57.6 kB] 213s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [10.2 MB] 214s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15 s390x 15.2.0-5ubuntu1 [1024 B] 214s Get:18 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [5746 B] 214s Get:19 http://ftpmaster.internal/ubuntu resolute/main s390x cpp s390x 4:15.2.0-4ubuntu1 [22.4 kB] 214s Get:20 http://ftpmaster.internal/ubuntu resolute/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 214s Get:21 http://ftpmaster.internal/ubuntu resolute/universe s390x libcryptominisat5-5.11t64 s390x 5.11.21+dfsg1-2 [509 kB] 214s Get:22 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5-1 s390x 1.1.2-2build1 [5661 kB] 215s Get:23 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5parser1 s390x 1.1.2-2build1 [216 kB] 215s Get:24 http://ftpmaster.internal/ubuntu resolute/universe s390x cvc5 s390x 1.1.2-2build1 [94.4 kB] 215s Get:25 http://ftpmaster.internal/ubuntu resolute/main s390x libdconf1 s390x 0.40.0-5willsync1 [40.0 kB] 215s Get:26 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-service s390x 0.40.0-5willsync1 [28.0 kB] 215s Get:27 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-gsettings-backend s390x 0.40.0-5willsync1 [22.6 kB] 215s Get:28 http://ftpmaster.internal/ubuntu resolute/main s390x libfreetype6 s390x 2.13.3+dfsg-1build1 [430 kB] 215s Get:29 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 215s Get:30 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 215s Get:31 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig-config s390x 2.15.0-2.3ubuntu1 [38.1 kB] 215s Get:32 http://ftpmaster.internal/ubuntu resolute/main s390x libfontconfig1 s390x 2.15.0-2.3ubuntu1 [149 kB] 215s Get:33 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig s390x 2.15.0-2.3ubuntu1 [191 kB] 215s Get:34 http://ftpmaster.internal/ubuntu resolute/main s390x libcc1-0 s390x 15.2.0-5ubuntu1 [50.0 kB] 215s Get:35 http://ftpmaster.internal/ubuntu resolute/main s390x libgomp1 s390x 15.2.0-5ubuntu1 [154 kB] 215s Get:36 http://ftpmaster.internal/ubuntu resolute/main s390x libitm1 s390x 15.2.0-5ubuntu1 [30.9 kB] 215s Get:37 http://ftpmaster.internal/ubuntu resolute/main s390x libasan8 s390x 15.2.0-5ubuntu1 [2969 kB] 215s Get:38 http://ftpmaster.internal/ubuntu resolute/main s390x libubsan1 s390x 15.2.0-5ubuntu1 [1211 kB] 215s Get:39 http://ftpmaster.internal/ubuntu resolute/main s390x libgcc-15-dev s390x 15.2.0-5ubuntu1 [1045 kB] 215s Get:40 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [19.9 MB] 216s Get:41 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15 s390x 15.2.0-5ubuntu1 [512 kB] 216s Get:42 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [1208 B] 216s Get:43 http://ftpmaster.internal/ubuntu resolute/main s390x gcc s390x 4:15.2.0-4ubuntu1 [5018 B] 216s Get:44 http://ftpmaster.internal/ubuntu resolute/main s390x libatk1.0-0t64 s390x 2.57.1-1 [55.5 kB] 216s Get:45 http://ftpmaster.internal/ubuntu resolute/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 216s Get:46 http://ftpmaster.internal/ubuntu resolute/main s390x libatspi2.0-0t64 s390x 2.57.1-1 [84.4 kB] 216s Get:47 http://ftpmaster.internal/ubuntu resolute/main s390x libatk-bridge2.0-0t64 s390x 2.57.1-1 [66.4 kB] 216s Get:48 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common-data s390x 0.8-16ubuntu3 [31.1 kB] 216s Get:49 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common3 s390x 0.8-16ubuntu3 [23.3 kB] 216s Get:50 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-client3 s390x 0.8-16ubuntu3 [26.2 kB] 216s Get:51 http://ftpmaster.internal/ubuntu resolute/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 216s Get:52 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-render0 s390x 1.17.0-2build1 [16.9 kB] 216s Get:53 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-shm0 s390x 1.17.0-2build1 [5916 B] 216s Get:54 http://ftpmaster.internal/ubuntu resolute/main s390x libxrender1 s390x 1:0.9.12-1 [20.9 kB] 216s Get:55 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo2 s390x 1.18.4-1build1 [580 kB] 216s Get:56 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo-gobject2 s390x 1.18.4-1build1 [127 kB] 216s Get:57 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml s390x 5.3.0-3 [438 kB] 216s Get:58 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-base s390x 5.3.0-3 [329 kB] 216s Get:59 http://ftpmaster.internal/ubuntu resolute/universe s390x libcairo2-ocaml s390x 0.6.5-2build2 [30.6 kB] 216s Get:60 http://ftpmaster.internal/ubuntu resolute/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 216s Get:61 http://ftpmaster.internal/ubuntu resolute/main s390x libcolord2 s390x 1.4.7-3build1 [148 kB] 216s Get:62 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml-dev s390x 5.3.0-3 [7839 kB] 216s Get:63 http://ftpmaster.internal/ubuntu resolute/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-3 [47.5 MB] 218s Get:64 http://ftpmaster.internal/ubuntu resolute/main s390x libcups2t64 s390x 2.4.12-0ubuntu3 [280 kB] 218s Get:65 http://ftpmaster.internal/ubuntu resolute/main s390x libdatrie1 s390x 0.2.13-4 [20.4 kB] 218s Get:66 http://ftpmaster.internal/ubuntu resolute/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 218s Get:67 http://ftpmaster.internal/ubuntu resolute/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 218s Get:68 http://ftpmaster.internal/ubuntu resolute/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 218s Get:69 http://ftpmaster.internal/ubuntu resolute/main s390x libthai-data all 0.1.29-2build1 [158 kB] 218s Get:70 http://ftpmaster.internal/ubuntu resolute/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 218s Get:71 http://ftpmaster.internal/ubuntu resolute/main s390x libpango-1.0-0 s390x 1.56.3-1build1 [253 kB] 218s Get:72 http://ftpmaster.internal/ubuntu resolute/main s390x libpangoft2-1.0-0 s390x 1.56.3-1build1 [50.6 kB] 218s Get:73 http://ftpmaster.internal/ubuntu resolute/main s390x libpangocairo-1.0-0 s390x 1.56.3-1build1 [28.5 kB] 218s Get:74 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-client0 s390x 1.24.0-1build1 [29.2 kB] 218s Get:75 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-cursor0 s390x 1.24.0-1build1 [11.5 kB] 218s Get:76 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-egl1 s390x 1.24.0-1build1 [6258 B] 218s Get:77 http://ftpmaster.internal/ubuntu resolute/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 218s Get:78 http://ftpmaster.internal/ubuntu resolute/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 218s Get:79 http://ftpmaster.internal/ubuntu resolute/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 218s Get:80 http://ftpmaster.internal/ubuntu resolute/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 218s Get:81 http://ftpmaster.internal/ubuntu resolute/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 218s Get:82 http://ftpmaster.internal/ubuntu resolute/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 218s Get:83 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 218s Get:84 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-0t64 s390x 3.24.50-1ubuntu2 [3074 kB] 218s Get:85 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 218s Get:86 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-5 [229 kB] 218s Get:87 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build4 [3621 kB] 218s Get:88 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build4 [334 kB] 218s Get:89 http://ftpmaster.internal/ubuntu resolute/main s390x libncurses-dev s390x 6.5+20250216-2build1 [404 kB] 218s Get:90 http://ftpmaster.internal/ubuntu resolute/main s390x libzstd-dev s390x 1.5.7+dfsg-1build2 [415 kB] 218s Get:91 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-interp s390x 5.3.0-3 [8365 kB] 218s Get:92 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml s390x 5.3.0-3 [20.6 MB] 219s Get:93 http://ftpmaster.internal/ubuntu resolute/universe s390x tex-common all 6.19 [29.8 kB] 219s Get:94 http://ftpmaster.internal/ubuntu resolute/universe s390x why3 s390x 1.8.2-1 [13.8 MB] 220s Fetched 160 MB in 8s (19.3 MB/s) 220s Selecting previously unselected package libgdk-pixbuf2.0-common. 220s (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 ... 56857 files and directories currently installed.) 220s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 220s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 220s Selecting previously unselected package libjpeg-turbo8:s390x. 220s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_s390x.deb ... 220s Unpacking libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 220s Selecting previously unselected package libjpeg8:s390x. 220s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 220s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 220s Selecting previously unselected package libdeflate0:s390x. 220s Preparing to unpack .../03-libdeflate0_1.23-2_s390x.deb ... 220s Unpacking libdeflate0:s390x (1.23-2) ... 220s Selecting previously unselected package libjbig0:s390x. 220s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 220s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 220s Selecting previously unselected package libsharpyuv0:s390x. 220s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 220s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 220s Selecting previously unselected package libwebp7:s390x. 220s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 220s Unpacking libwebp7:s390x (1.5.0-0.1) ... 220s Selecting previously unselected package libtiff6:s390x. 220s Preparing to unpack .../07-libtiff6_4.7.0-3ubuntu3_s390x.deb ... 220s Unpacking libtiff6:s390x (4.7.0-3ubuntu3) ... 220s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 220s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_s390x.deb ... 220s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 220s Selecting previously unselected package gtk-update-icon-cache. 220s Preparing to unpack .../09-gtk-update-icon-cache_4.20.1+ds-2_s390x.deb ... 220s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 220s 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. 220s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 220s Selecting previously unselected package hicolor-icon-theme. 220s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 220s Unpacking hicolor-icon-theme (0.18-2) ... 220s Selecting previously unselected package adwaita-icon-theme. 220s Preparing to unpack .../11-adwaita-icon-theme_49.0-1_all.deb ... 220s Unpacking adwaita-icon-theme (49.0-1) ... 220s Selecting previously unselected package at-spi2-common. 220s Preparing to unpack .../12-at-spi2-common_2.57.1-1_all.deb ... 220s Unpacking at-spi2-common (2.57.1-1) ... 220s Selecting previously unselected package libisl23:s390x. 220s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 220s Unpacking libisl23:s390x (0.27-1) ... 220s Selecting previously unselected package libmpc3:s390x. 220s Preparing to unpack .../14-libmpc3_1.3.1-1build3_s390x.deb ... 220s Unpacking libmpc3:s390x (1.3.1-1build3) ... 220s Selecting previously unselected package cpp-15-s390x-linux-gnu. 220s Preparing to unpack .../15-cpp-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 220s Unpacking cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 220s Selecting previously unselected package cpp-15. 220s Preparing to unpack .../16-cpp-15_15.2.0-5ubuntu1_s390x.deb ... 220s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 220s Selecting previously unselected package cpp-s390x-linux-gnu. 220s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 220s Unpacking cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 220s Selecting previously unselected package cpp. 220s Preparing to unpack .../18-cpp_4%3a15.2.0-4ubuntu1_s390x.deb ... 220s Unpacking cpp (4:15.2.0-4ubuntu1) ... 220s Selecting previously unselected package libcln6:s390x. 220s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 220s Unpacking libcln6:s390x (1.3.7-1) ... 220s Selecting previously unselected package libcryptominisat5-5.11t64:s390x. 220s Preparing to unpack .../20-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb ... 220s Unpacking libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-2) ... 220s Selecting previously unselected package libcvc5-1:s390x. 220s Preparing to unpack .../21-libcvc5-1_1.1.2-2build1_s390x.deb ... 220s Unpacking libcvc5-1:s390x (1.1.2-2build1) ... 221s Selecting previously unselected package libcvc5parser1:s390x. 221s Preparing to unpack .../22-libcvc5parser1_1.1.2-2build1_s390x.deb ... 221s Unpacking libcvc5parser1:s390x (1.1.2-2build1) ... 221s Selecting previously unselected package cvc5. 221s Preparing to unpack .../23-cvc5_1.1.2-2build1_s390x.deb ... 221s Unpacking cvc5 (1.1.2-2build1) ... 221s Selecting previously unselected package libdconf1:s390x. 221s Preparing to unpack .../24-libdconf1_0.40.0-5willsync1_s390x.deb ... 221s Unpacking libdconf1:s390x (0.40.0-5willsync1) ... 221s Selecting previously unselected package dconf-service. 221s Preparing to unpack .../25-dconf-service_0.40.0-5willsync1_s390x.deb ... 221s Unpacking dconf-service (0.40.0-5willsync1) ... 221s Selecting previously unselected package dconf-gsettings-backend:s390x. 221s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5willsync1_s390x.deb ... 221s Unpacking dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 221s Selecting previously unselected package libfreetype6:s390x. 221s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1build1_s390x.deb ... 221s Unpacking libfreetype6:s390x (2.13.3+dfsg-1build1) ... 221s Selecting previously unselected package fonts-dejavu-mono. 221s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 221s Unpacking fonts-dejavu-mono (2.37-8) ... 221s Selecting previously unselected package fonts-dejavu-core. 221s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 221s Unpacking fonts-dejavu-core (2.37-8) ... 221s Selecting previously unselected package fontconfig-config. 221s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_s390x.deb ... 221s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 221s Selecting previously unselected package libfontconfig1:s390x. 221s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_s390x.deb ... 221s Unpacking libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 221s Selecting previously unselected package fontconfig. 221s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_s390x.deb ... 221s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 221s Selecting previously unselected package libcc1-0:s390x. 221s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking libcc1-0:s390x (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package libgomp1:s390x. 221s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking libgomp1:s390x (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package libitm1:s390x. 221s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking libitm1:s390x (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package libasan8:s390x. 221s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking libasan8:s390x (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package libubsan1:s390x. 221s Preparing to unpack .../37-libubsan1_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking libubsan1:s390x (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package libgcc-15-dev:s390x. 221s Preparing to unpack .../38-libgcc-15-dev_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package gcc-15-s390x-linux-gnu. 221s Preparing to unpack .../39-gcc-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package gcc-15. 221s Preparing to unpack .../40-gcc-15_15.2.0-5ubuntu1_s390x.deb ... 221s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 221s Selecting previously unselected package gcc-s390x-linux-gnu. 221s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 221s Unpacking gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 221s Selecting previously unselected package gcc. 221s Preparing to unpack .../42-gcc_4%3a15.2.0-4ubuntu1_s390x.deb ... 221s Unpacking gcc (4:15.2.0-4ubuntu1) ... 221s Selecting previously unselected package libatk1.0-0t64:s390x. 221s Preparing to unpack .../43-libatk1.0-0t64_2.57.1-1_s390x.deb ... 221s Unpacking libatk1.0-0t64:s390x (2.57.1-1) ... 221s Selecting previously unselected package libxi6:s390x. 221s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 221s Unpacking libxi6:s390x (2:1.8.2-1) ... 221s Selecting previously unselected package libatspi2.0-0t64:s390x. 221s Preparing to unpack .../45-libatspi2.0-0t64_2.57.1-1_s390x.deb ... 221s Unpacking libatspi2.0-0t64:s390x (2.57.1-1) ... 221s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 221s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.57.1-1_s390x.deb ... 221s Unpacking libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 221s Selecting previously unselected package libavahi-common-data:s390x. 221s Preparing to unpack .../47-libavahi-common-data_0.8-16ubuntu3_s390x.deb ... 221s Unpacking libavahi-common-data:s390x (0.8-16ubuntu3) ... 221s Selecting previously unselected package libavahi-common3:s390x. 221s Preparing to unpack .../48-libavahi-common3_0.8-16ubuntu3_s390x.deb ... 221s Unpacking libavahi-common3:s390x (0.8-16ubuntu3) ... 222s Selecting previously unselected package libavahi-client3:s390x. 222s Preparing to unpack .../49-libavahi-client3_0.8-16ubuntu3_s390x.deb ... 222s Unpacking libavahi-client3:s390x (0.8-16ubuntu3) ... 222s Selecting previously unselected package libpixman-1-0:s390x. 222s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 222s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 222s Selecting previously unselected package libxcb-render0:s390x. 222s Preparing to unpack .../51-libxcb-render0_1.17.0-2build1_s390x.deb ... 222s Unpacking libxcb-render0:s390x (1.17.0-2build1) ... 222s Selecting previously unselected package libxcb-shm0:s390x. 222s Preparing to unpack .../52-libxcb-shm0_1.17.0-2build1_s390x.deb ... 222s Unpacking libxcb-shm0:s390x (1.17.0-2build1) ... 222s Selecting previously unselected package libxrender1:s390x. 222s Preparing to unpack .../53-libxrender1_1%3a0.9.12-1_s390x.deb ... 222s Unpacking libxrender1:s390x (1:0.9.12-1) ... 222s Selecting previously unselected package libcairo2:s390x. 222s Preparing to unpack .../54-libcairo2_1.18.4-1build1_s390x.deb ... 222s Unpacking libcairo2:s390x (1.18.4-1build1) ... 222s Selecting previously unselected package libcairo-gobject2:s390x. 222s Preparing to unpack .../55-libcairo-gobject2_1.18.4-1build1_s390x.deb ... 222s Unpacking libcairo-gobject2:s390x (1.18.4-1build1) ... 222s Selecting previously unselected package libstdlib-ocaml. 222s Preparing to unpack .../56-libstdlib-ocaml_5.3.0-3_s390x.deb ... 222s Unpacking libstdlib-ocaml (5.3.0-3) ... 222s Selecting previously unselected package ocaml-base. 222s Preparing to unpack .../57-ocaml-base_5.3.0-3_s390x.deb ... 222s Unpacking ocaml-base (5.3.0-3) ... 222s Selecting previously unselected package libcairo2-ocaml. 222s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2build2_s390x.deb ... 222s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 222s Selecting previously unselected package liblcms2-2:s390x. 222s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 222s Unpacking liblcms2-2:s390x (2.16-2) ... 222s Selecting previously unselected package libcolord2:s390x. 222s Preparing to unpack .../60-libcolord2_1.4.7-3build1_s390x.deb ... 222s Unpacking libcolord2:s390x (1.4.7-3build1) ... 222s Selecting previously unselected package libstdlib-ocaml-dev. 222s Preparing to unpack .../61-libstdlib-ocaml-dev_5.3.0-3_s390x.deb ... 222s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 222s Selecting previously unselected package libcompiler-libs-ocaml-dev. 222s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.3.0-3_s390x.deb ... 222s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 222s Selecting previously unselected package libcups2t64:s390x. 222s Preparing to unpack .../63-libcups2t64_2.4.12-0ubuntu3_s390x.deb ... 222s Unpacking libcups2t64:s390x (2.4.12-0ubuntu3) ... 222s Selecting previously unselected package libdatrie1:s390x. 222s Preparing to unpack .../64-libdatrie1_0.2.13-4_s390x.deb ... 222s Unpacking libdatrie1:s390x (0.2.13-4) ... 222s Selecting previously unselected package libepoxy0:s390x. 222s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 222s Unpacking libepoxy0:s390x (1.5.10-2) ... 222s Selecting previously unselected package libgraphite2-3:s390x. 222s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 222s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 222s Selecting previously unselected package libharfbuzz0b:s390x. 222s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 222s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 222s Selecting previously unselected package libthai-data. 222s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 222s Unpacking libthai-data (0.1.29-2build1) ... 222s Selecting previously unselected package libthai0:s390x. 222s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 222s Unpacking libthai0:s390x (0.1.29-2build1) ... 222s Selecting previously unselected package libpango-1.0-0:s390x. 222s Preparing to unpack .../70-libpango-1.0-0_1.56.3-1build1_s390x.deb ... 222s Unpacking libpango-1.0-0:s390x (1.56.3-1build1) ... 222s Selecting previously unselected package libpangoft2-1.0-0:s390x. 222s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.3-1build1_s390x.deb ... 222s Unpacking libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 222s Selecting previously unselected package libpangocairo-1.0-0:s390x. 222s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.3-1build1_s390x.deb ... 222s Unpacking libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 222s Selecting previously unselected package libwayland-client0:s390x. 222s Preparing to unpack .../73-libwayland-client0_1.24.0-1build1_s390x.deb ... 222s Unpacking libwayland-client0:s390x (1.24.0-1build1) ... 222s Selecting previously unselected package libwayland-cursor0:s390x. 222s Preparing to unpack .../74-libwayland-cursor0_1.24.0-1build1_s390x.deb ... 222s Unpacking libwayland-cursor0:s390x (1.24.0-1build1) ... 222s Selecting previously unselected package libwayland-egl1:s390x. 222s Preparing to unpack .../75-libwayland-egl1_1.24.0-1build1_s390x.deb ... 222s Unpacking libwayland-egl1:s390x (1.24.0-1build1) ... 222s Selecting previously unselected package libxcomposite1:s390x. 222s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 222s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 222s Selecting previously unselected package libxfixes3:s390x. 222s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 222s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 222s Selecting previously unselected package libxcursor1:s390x. 222s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 222s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 222s Selecting previously unselected package libxdamage1:s390x. 222s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 222s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 222s Selecting previously unselected package libxinerama1:s390x. 222s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 222s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 222s Selecting previously unselected package libxrandr2:s390x. 222s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 222s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 222s Selecting previously unselected package libgtk-3-common. 222s Preparing to unpack .../82-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 222s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 222s Selecting previously unselected package libgtk-3-0t64:s390x. 222s Preparing to unpack .../83-libgtk-3-0t64_3.24.50-1ubuntu2_s390x.deb ... 222s Unpacking libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 222s Selecting previously unselected package libgtksourceview-3.0-common. 222s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 222s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 222s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 222s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-5_s390x.deb ... 222s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-5) ... 222s Selecting previously unselected package liblablgtk3-ocaml. 222s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build4_s390x.deb ... 222s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 223s Selecting previously unselected package liblablgtksourceview3-ocaml. 223s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build4_s390x.deb ... 223s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 223s Selecting previously unselected package libncurses-dev:s390x. 223s Preparing to unpack .../88-libncurses-dev_6.5+20250216-2build1_s390x.deb ... 223s Unpacking libncurses-dev:s390x (6.5+20250216-2build1) ... 223s Selecting previously unselected package libzstd-dev:s390x. 223s Preparing to unpack .../89-libzstd-dev_1.5.7+dfsg-1build2_s390x.deb ... 223s Unpacking libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 223s Selecting previously unselected package ocaml-interp. 223s Preparing to unpack .../90-ocaml-interp_5.3.0-3_s390x.deb ... 223s Unpacking ocaml-interp (5.3.0-3) ... 223s Selecting previously unselected package ocaml. 223s Preparing to unpack .../91-ocaml_5.3.0-3_s390x.deb ... 223s Unpacking ocaml (5.3.0-3) ... 223s Selecting previously unselected package tex-common. 223s Preparing to unpack .../92-tex-common_6.19_all.deb ... 223s Unpacking tex-common (6.19) ... 223s Selecting previously unselected package why3. 223s Preparing to unpack .../93-why3_1.8.2-1_s390x.deb ... 223s Unpacking why3 (1.8.2-1) ... 223s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 223s Setting up liblcms2-2:s390x (2.16-2) ... 223s Setting up libpixman-1-0:s390x (0.44.0-3) ... 223s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 223s Setting up libcln6:s390x (1.3.7-1) ... 223s Setting up libncurses-dev:s390x (6.5+20250216-2build1) ... 223s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 223s Setting up libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 223s Setting up hicolor-icon-theme (0.18-2) ... 223s Setting up libxi6:s390x (2:1.8.2-1) ... 223s Setting up libxrender1:s390x (1:0.9.12-1) ... 223s Setting up libdatrie1:s390x (0.2.13-4) ... 223s Setting up libxcb-render0:s390x (1.17.0-2build1) ... 223s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 223s Setting up libdeflate0:s390x (1.23-2) ... 223s Setting up libxcb-shm0:s390x (1.17.0-2build1) ... 223s Setting up libgomp1:s390x (15.2.0-5ubuntu1) ... 223s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 223s Setting up libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-2) ... 223s Setting up libcolord2:s390x (1.4.7-3build1) ... 223s Setting up libdconf1:s390x (0.40.0-5willsync1) ... 223s Setting up tex-common (6.19) ... 224s update-language: texlive-base not installed and configured, doing nothing! 224s Setting up libfreetype6:s390x (2.13.3+dfsg-1build1) ... 224s Setting up libepoxy0:s390x (1.5.10-2) ... 224s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 224s Setting up libavahi-common-data:s390x (0.8-16ubuntu3) ... 224s Setting up libatspi2.0-0t64:s390x (2.57.1-1) ... 224s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 224s Setting up libstdlib-ocaml (5.3.0-3) ... 224s Setting up fonts-dejavu-mono (2.37-8) ... 224s Setting up libmpc3:s390x (1.3.1-1build3) ... 224s Setting up libxrandr2:s390x (2:1.5.4-1) ... 224s Setting up ocaml-base (5.3.0-3) ... 224s Setting up fonts-dejavu-core (2.37-8) ... 224s Setting up libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 224s Setting up libwebp7:s390x (1.5.0-0.1) ... 224s Setting up libubsan1:s390x (15.2.0-5ubuntu1) ... 224s Setting up at-spi2-common (2.57.1-1) ... 224s Setting up libasan8:s390x (15.2.0-5ubuntu1) ... 224s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 224s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 224s Setting up libthai-data (0.1.29-2build1) ... 224s Setting up libwayland-egl1:s390x (1.24.0-1build1) ... 224s Setting up libisl23:s390x (0.27-1) ... 224s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 224s Setting up libcc1-0:s390x (15.2.0-5ubuntu1) ... 224s Setting up libitm1:s390x (15.2.0-5ubuntu1) ... 224s Setting up libwayland-client0:s390x (1.24.0-1build1) ... 224s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 224s Setting up libcvc5-1:s390x (1.1.2-2build1) ... 224s Setting up libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 224s Setting up libatk1.0-0t64:s390x (2.57.1-1) ... 224s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 224s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 224s Setting up libxcursor1:s390x (1:1.2.3-1) ... 224s Setting up libavahi-common3:s390x (0.8-16ubuntu3) ... 224s Setting up dconf-service (0.40.0-5willsync1) ... 224s Setting up libthai0:s390x (0.1.29-2build1) ... 224s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 224s Setting up ocaml-interp (5.3.0-3) ... 224s Setting up libcvc5parser1:s390x (1.1.2-2build1) ... 224s Setting up cvc5 (1.1.2-2build1) ... 224s Setting up libtiff6:s390x (4.7.0-3ubuntu3) ... 224s Setting up libwayland-cursor0:s390x (1.24.0-1build1) ... 224s Setting up cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 224s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 224s Setting up libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 224s Setting up libavahi-client3:s390x (0.8-16ubuntu3) ... 224s Setting up gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 224s Setting up libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 224s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 224s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 226s Regenerating fonts cache... done. 226s Setting up dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 226s Setting up cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 226s Setting up libpango-1.0-0:s390x (1.56.3-1build1) ... 226s Setting up libcairo2:s390x (1.18.4-1build1) ... 226s Setting up gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 226s Setting up adwaita-icon-theme (49.0-1) ... 226s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 226s Setting up cpp-15 (15.2.0-5ubuntu1) ... 226s Setting up cpp (4:15.2.0-4ubuntu1) ... 226s Setting up libcairo-gobject2:s390x (1.18.4-1build1) ... 226s Setting up libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 226s Setting up libcups2t64:s390x (2.4.12-0ubuntu3) ... 226s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 226s Setting up libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 226s Setting up libcairo2-ocaml (0.6.5-2build2) ... 226s Setting up gcc-15 (15.2.0-5ubuntu1) ... 226s Setting up gcc (4:15.2.0-4ubuntu1) ... 226s Setting up ocaml (5.3.0-3) ... 226s Processing triggers for libc-bin (2.42-0ubuntu3) ... 226s Processing triggers for man-db (2.13.1-1) ... 227s Processing triggers for libglib2.0-0t64:s390x (2.86.0-2) ... 227s Setting up libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 227s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 227s Setting up libgtksourceview-3.0-1:s390x (3.24.11-5) ... 227s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 227s Setting up why3 (1.8.2-1) ... 227s Processing triggers for libc-bin (2.42-0ubuntu3) ... 245s autopkgtest [02:33:28]: test why3+cvc5: [----------------------- 246s autopkgtest [02:33:29]: test why3+cvc5: -----------------------] 247s why3+cvc5 PASS 247s autopkgtest [02:33:30]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 247s autopkgtest [02:33:30]: test why3+spass: preparing testbed 270s Creating nova instance adt-resolute-s390x-why3-20251020-022922-juju-7f2275-prod-proposed-migration-environment-2-85b5fd9f-ff78-415c-9bab-14511f8eb67a from image adt/ubuntu-resolute-s390x-server-20251019.img (UUID 7a83b4ca-2eb3-4cb0-b8d6-be2f16efcb4e)... 309s autopkgtest [02:34:32]: testbed dpkg architecture: s390x 309s autopkgtest [02:34:32]: testbed apt version: 3.1.8ubuntu1 310s autopkgtest [02:34:33]: @@@@@@@@@@@@@@@@@@@@ test bed setup 310s autopkgtest [02:34:33]: testbed release detected to be: resolute 311s autopkgtest [02:34:34]: updating testbed package index (apt update) 311s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 311s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 311s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 311s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 311s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 312s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 312s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 312s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 312s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [103 kB] 312s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [940 B] 312s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [257 kB] 312s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [6184 B] 312s Fetched 971 kB in 1s (1084 kB/s) 312s Reading package lists... 313s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 313s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 313s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 313s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 314s Reading package lists... 314s Reading package lists... 314s Building dependency tree... 314s Reading state information... 314s Calculating upgrade... 314s The following packages will be upgraded: 314s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 314s libseccomp2 libsemanage-common libsemanage2 python-apt-common python3-apt 314s python3-cffi-backend 314s 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 314s Need to get 3223 kB of archives. 314s After this operation, 652 kB of additional disk space will be used. 314s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg s390x 1.22.21ubuntu4 [1287 kB] 315s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit-common all 1:4.0.5-1build2 [6596 B] 315s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit1 s390x 1:4.0.5-1build2 [57.0 kB] 315s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage-common all 3.8.1-1build1 [7916 B] 315s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage2 s390x 3.8.1-1build1 [99.1 kB] 315s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x distro-info-data all 0.68 [7378 B] 315s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libseccomp2 s390x 2.6.0-2ubuntu3 [57.5 kB] 315s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x python-apt-common all 3.0.0ubuntu2 [21.7 kB] 315s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x python3-apt s390x 3.0.0ubuntu2 [198 kB] 315s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x python3-cffi-backend s390x 1.17.1-3build1 [113 kB] 315s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg-dev all 1.22.21ubuntu4 [1088 kB] 316s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libdpkg-perl all 1.22.21ubuntu4 [280 kB] 316s dpkg-preconfigure: unable to re-open stdin: No such file or directory 316s Fetched 3223 kB in 2s (2012 kB/s) 316s (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 ... 56852 files and directories currently installed.) 316s Preparing to unpack .../dpkg_1.22.21ubuntu4_s390x.deb ... 316s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 316s Setting up dpkg (1.22.21ubuntu4) ... 317s (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 ... 56852 files and directories currently installed.) 317s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 317s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 317s Setting up libaudit-common (1:4.0.5-1build2) ... 317s (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 ... 56852 files and directories currently installed.) 317s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_s390x.deb ... 317s Unpacking libaudit1:s390x (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 317s Setting up libaudit1:s390x (1:4.0.5-1build2) ... 317s (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 ... 56852 files and directories currently installed.) 317s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 317s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 317s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_s390x.deb ... 317s Unpacking libsemanage2:s390x (3.8.1-1build1) over (3.8.1-1) ... 317s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 317s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 317s Preparing to unpack .../3-libseccomp2_2.6.0-2ubuntu3_s390x.deb ... 317s Unpacking libseccomp2:s390x (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 317s Preparing to unpack .../4-python-apt-common_3.0.0ubuntu2_all.deb ... 317s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 317s Preparing to unpack .../5-python3-apt_3.0.0ubuntu2_s390x.deb ... 317s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 317s Preparing to unpack .../6-python3-cffi-backend_1.17.1-3build1_s390x.deb ... 317s Unpacking python3-cffi-backend:s390x (1.17.1-3build1) over (1.17.1-3) ... 317s Preparing to unpack .../7-dpkg-dev_1.22.21ubuntu4_all.deb ... 317s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 317s Preparing to unpack .../8-libdpkg-perl_1.22.21ubuntu4_all.deb ... 317s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 317s Setting up distro-info-data (0.68) ... 317s Setting up libsemanage-common (3.8.1-1build1) ... 317s Setting up libseccomp2:s390x (2.6.0-2ubuntu3) ... 317s Setting up libdpkg-perl (1.22.21ubuntu4) ... 317s Setting up python-apt-common (3.0.0ubuntu2) ... 317s Setting up libsemanage2:s390x (3.8.1-1build1) ... 317s Setting up python3-cffi-backend:s390x (1.17.1-3build1) ... 317s Setting up python3-apt (3.0.0ubuntu2) ... 317s Setting up dpkg-dev (1.22.21ubuntu4) ... 317s Processing triggers for man-db (2.13.1-1) ... 319s Processing triggers for libc-bin (2.42-0ubuntu3) ... 319s autopkgtest [02:34:42]: upgrading testbed (apt dist-upgrade and autopurge) 319s Reading package lists... 319s Building dependency tree... 319s Reading state information... 319s Calculating upgrade... 319s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 320s Reading package lists... 320s Building dependency tree... 320s Reading state information... 320s Solving dependencies... 320s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 320s autopkgtest [02:34:43]: rebooting testbed after setup commands that affected boot 337s Reading package lists... 337s Building dependency tree... 337s Reading state information... 337s Solving dependencies... 337s The following NEW packages will be installed: 337s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-s390x-linux-gnu 337s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 337s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 337s gcc-15-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 337s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 337s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 337s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 337s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 337s libepoxy0 libfontconfig1 libfreetype6 libgcc-15-dev libgdk-pixbuf-2.0-0 337s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 337s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 337s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 337s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 337s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 337s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 337s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 337s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 337s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 337s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 337s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 337s Need to get 153 MB of archives. 337s After this operation, 473 MB of additional disk space will be used. 337s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 338s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg-turbo8 s390x 2.1.5-4ubuntu2 [147 kB] 338s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 338s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libdeflate0 s390x 1.23-2 [46.0 kB] 338s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 338s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 338s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 339s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x libtiff6 s390x 4.7.0-3ubuntu3 [222 kB] 339s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-5 [155 kB] 339s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x gtk-update-icon-cache s390x 4.20.1+ds-2 [54.9 kB] 339s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 339s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x adwaita-icon-theme all 49.0-1 [581 kB] 340s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x at-spi2-common all 2.57.1-1 [9432 B] 340s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x libisl23 s390x 0.27-1 [704 kB] 341s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x libmpc3 s390x 1.3.1-1build3 [57.6 kB] 341s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [10.2 MB] 350s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15 s390x 15.2.0-5ubuntu1 [1024 B] 350s Get:18 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [5746 B] 350s Get:19 http://ftpmaster.internal/ubuntu resolute/main s390x cpp s390x 4:15.2.0-4ubuntu1 [22.4 kB] 350s Get:20 http://ftpmaster.internal/ubuntu resolute/main s390x libdconf1 s390x 0.40.0-5willsync1 [40.0 kB] 350s Get:21 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-service s390x 0.40.0-5willsync1 [28.0 kB] 350s Get:22 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-gsettings-backend s390x 0.40.0-5willsync1 [22.6 kB] 350s Get:23 http://ftpmaster.internal/ubuntu resolute/main s390x libfreetype6 s390x 2.13.3+dfsg-1build1 [430 kB] 350s Get:24 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 351s Get:25 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 351s Get:26 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig-config s390x 2.15.0-2.3ubuntu1 [38.1 kB] 351s Get:27 http://ftpmaster.internal/ubuntu resolute/main s390x libfontconfig1 s390x 2.15.0-2.3ubuntu1 [149 kB] 351s Get:28 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig s390x 2.15.0-2.3ubuntu1 [191 kB] 351s Get:29 http://ftpmaster.internal/ubuntu resolute/main s390x libcc1-0 s390x 15.2.0-5ubuntu1 [50.0 kB] 351s Get:30 http://ftpmaster.internal/ubuntu resolute/main s390x libgomp1 s390x 15.2.0-5ubuntu1 [154 kB] 351s Get:31 http://ftpmaster.internal/ubuntu resolute/main s390x libitm1 s390x 15.2.0-5ubuntu1 [30.9 kB] 351s Get:32 http://ftpmaster.internal/ubuntu resolute/main s390x libasan8 s390x 15.2.0-5ubuntu1 [2969 kB] 353s Get:33 http://ftpmaster.internal/ubuntu resolute/main s390x libubsan1 s390x 15.2.0-5ubuntu1 [1211 kB] 354s Get:34 http://ftpmaster.internal/ubuntu resolute/main s390x libgcc-15-dev s390x 15.2.0-5ubuntu1 [1045 kB] 354s Get:35 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [19.9 MB] 357s Get:36 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15 s390x 15.2.0-5ubuntu1 [512 kB] 357s Get:37 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [1208 B] 357s Get:38 http://ftpmaster.internal/ubuntu resolute/main s390x gcc s390x 4:15.2.0-4ubuntu1 [5018 B] 357s Get:39 http://ftpmaster.internal/ubuntu resolute/main s390x libatk1.0-0t64 s390x 2.57.1-1 [55.5 kB] 357s Get:40 http://ftpmaster.internal/ubuntu resolute/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 357s Get:41 http://ftpmaster.internal/ubuntu resolute/main s390x libatspi2.0-0t64 s390x 2.57.1-1 [84.4 kB] 357s Get:42 http://ftpmaster.internal/ubuntu resolute/main s390x libatk-bridge2.0-0t64 s390x 2.57.1-1 [66.4 kB] 357s Get:43 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common-data s390x 0.8-16ubuntu3 [31.1 kB] 357s Get:44 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common3 s390x 0.8-16ubuntu3 [23.3 kB] 357s Get:45 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-client3 s390x 0.8-16ubuntu3 [26.2 kB] 357s Get:46 http://ftpmaster.internal/ubuntu resolute/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 357s Get:47 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-render0 s390x 1.17.0-2build1 [16.9 kB] 357s Get:48 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-shm0 s390x 1.17.0-2build1 [5916 B] 357s Get:49 http://ftpmaster.internal/ubuntu resolute/main s390x libxrender1 s390x 1:0.9.12-1 [20.9 kB] 357s Get:50 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo2 s390x 1.18.4-1build1 [580 kB] 357s Get:51 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo-gobject2 s390x 1.18.4-1build1 [127 kB] 357s Get:52 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml s390x 5.3.0-3 [438 kB] 357s Get:53 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-base s390x 5.3.0-3 [329 kB] 357s Get:54 http://ftpmaster.internal/ubuntu resolute/universe s390x libcairo2-ocaml s390x 0.6.5-2build2 [30.6 kB] 357s Get:55 http://ftpmaster.internal/ubuntu resolute/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 357s Get:56 http://ftpmaster.internal/ubuntu resolute/main s390x libcolord2 s390x 1.4.7-3build1 [148 kB] 357s Get:57 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml-dev s390x 5.3.0-3 [7839 kB] 358s Get:58 http://ftpmaster.internal/ubuntu resolute/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-3 [47.5 MB] 362s Get:59 http://ftpmaster.internal/ubuntu resolute/main s390x libcups2t64 s390x 2.4.12-0ubuntu3 [280 kB] 362s Get:60 http://ftpmaster.internal/ubuntu resolute/main s390x libdatrie1 s390x 0.2.13-4 [20.4 kB] 362s Get:61 http://ftpmaster.internal/ubuntu resolute/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 362s Get:62 http://ftpmaster.internal/ubuntu resolute/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 362s Get:63 http://ftpmaster.internal/ubuntu resolute/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 362s Get:64 http://ftpmaster.internal/ubuntu resolute/main s390x libthai-data all 0.1.29-2build1 [158 kB] 362s Get:65 http://ftpmaster.internal/ubuntu resolute/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 362s Get:66 http://ftpmaster.internal/ubuntu resolute/main s390x libpango-1.0-0 s390x 1.56.3-1build1 [253 kB] 362s Get:67 http://ftpmaster.internal/ubuntu resolute/main s390x libpangoft2-1.0-0 s390x 1.56.3-1build1 [50.6 kB] 362s Get:68 http://ftpmaster.internal/ubuntu resolute/main s390x libpangocairo-1.0-0 s390x 1.56.3-1build1 [28.5 kB] 362s Get:69 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-client0 s390x 1.24.0-1build1 [29.2 kB] 362s Get:70 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-cursor0 s390x 1.24.0-1build1 [11.5 kB] 362s Get:71 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-egl1 s390x 1.24.0-1build1 [6258 B] 362s Get:72 http://ftpmaster.internal/ubuntu resolute/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 362s Get:73 http://ftpmaster.internal/ubuntu resolute/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 362s Get:74 http://ftpmaster.internal/ubuntu resolute/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 362s Get:75 http://ftpmaster.internal/ubuntu resolute/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 362s Get:76 http://ftpmaster.internal/ubuntu resolute/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 362s Get:77 http://ftpmaster.internal/ubuntu resolute/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 362s Get:78 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 362s Get:79 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-0t64 s390x 3.24.50-1ubuntu2 [3074 kB] 362s Get:80 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 362s Get:81 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-5 [229 kB] 362s Get:82 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build4 [3621 kB] 362s Get:83 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build4 [334 kB] 362s Get:84 http://ftpmaster.internal/ubuntu resolute/main s390x libncurses-dev s390x 6.5+20250216-2build1 [404 kB] 362s Get:85 http://ftpmaster.internal/ubuntu resolute/main s390x libzstd-dev s390x 1.5.7+dfsg-1build2 [415 kB] 362s Get:86 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-interp s390x 5.3.0-3 [8365 kB] 363s Get:87 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml s390x 5.3.0-3 [20.6 MB] 364s Get:88 http://ftpmaster.internal/ubuntu resolute/universe s390x spass s390x 3.9-1.1 [354 kB] 364s Get:89 http://ftpmaster.internal/ubuntu resolute/universe s390x tex-common all 6.19 [29.8 kB] 364s Get:90 http://ftpmaster.internal/ubuntu resolute/universe s390x why3 s390x 1.8.2-1 [13.8 MB] 365s Fetched 153 MB in 27s (5630 kB/s) 365s Selecting previously unselected package libgdk-pixbuf2.0-common. 365s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 56857 files and directories currently installed.) 365s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 365s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 365s Selecting previously unselected package libjpeg-turbo8:s390x. 365s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_s390x.deb ... 365s Unpacking libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 365s Selecting previously unselected package libjpeg8:s390x. 365s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 365s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 365s Selecting previously unselected package libdeflate0:s390x. 365s Preparing to unpack .../03-libdeflate0_1.23-2_s390x.deb ... 365s Unpacking libdeflate0:s390x (1.23-2) ... 365s Selecting previously unselected package libjbig0:s390x. 365s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 365s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 365s Selecting previously unselected package libsharpyuv0:s390x. 365s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 365s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 365s Selecting previously unselected package libwebp7:s390x. 365s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 365s Unpacking libwebp7:s390x (1.5.0-0.1) ... 365s Selecting previously unselected package libtiff6:s390x. 365s Preparing to unpack .../07-libtiff6_4.7.0-3ubuntu3_s390x.deb ... 365s Unpacking libtiff6:s390x (4.7.0-3ubuntu3) ... 365s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 365s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_s390x.deb ... 365s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 365s Selecting previously unselected package gtk-update-icon-cache. 365s Preparing to unpack .../09-gtk-update-icon-cache_4.20.1+ds-2_s390x.deb ... 365s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 365s 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. 365s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 365s Selecting previously unselected package hicolor-icon-theme. 365s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 365s Unpacking hicolor-icon-theme (0.18-2) ... 365s Selecting previously unselected package adwaita-icon-theme. 365s Preparing to unpack .../11-adwaita-icon-theme_49.0-1_all.deb ... 365s Unpacking adwaita-icon-theme (49.0-1) ... 365s Selecting previously unselected package at-spi2-common. 365s Preparing to unpack .../12-at-spi2-common_2.57.1-1_all.deb ... 365s Unpacking at-spi2-common (2.57.1-1) ... 365s Selecting previously unselected package libisl23:s390x. 365s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 365s Unpacking libisl23:s390x (0.27-1) ... 365s Selecting previously unselected package libmpc3:s390x. 365s Preparing to unpack .../14-libmpc3_1.3.1-1build3_s390x.deb ... 365s Unpacking libmpc3:s390x (1.3.1-1build3) ... 365s Selecting previously unselected package cpp-15-s390x-linux-gnu. 365s Preparing to unpack .../15-cpp-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 365s Unpacking cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 365s Selecting previously unselected package cpp-15. 365s Preparing to unpack .../16-cpp-15_15.2.0-5ubuntu1_s390x.deb ... 365s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 365s Selecting previously unselected package cpp-s390x-linux-gnu. 365s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 365s Unpacking cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 365s Selecting previously unselected package cpp. 365s Preparing to unpack .../18-cpp_4%3a15.2.0-4ubuntu1_s390x.deb ... 365s Unpacking cpp (4:15.2.0-4ubuntu1) ... 365s Selecting previously unselected package libdconf1:s390x. 365s Preparing to unpack .../19-libdconf1_0.40.0-5willsync1_s390x.deb ... 365s Unpacking libdconf1:s390x (0.40.0-5willsync1) ... 365s Selecting previously unselected package dconf-service. 365s Preparing to unpack .../20-dconf-service_0.40.0-5willsync1_s390x.deb ... 365s Unpacking dconf-service (0.40.0-5willsync1) ... 365s Selecting previously unselected package dconf-gsettings-backend:s390x. 365s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5willsync1_s390x.deb ... 365s Unpacking dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 365s Selecting previously unselected package libfreetype6:s390x. 365s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1build1_s390x.deb ... 365s Unpacking libfreetype6:s390x (2.13.3+dfsg-1build1) ... 365s Selecting previously unselected package fonts-dejavu-mono. 365s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 365s Unpacking fonts-dejavu-mono (2.37-8) ... 365s Selecting previously unselected package fonts-dejavu-core. 365s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 365s Unpacking fonts-dejavu-core (2.37-8) ... 365s Selecting previously unselected package fontconfig-config. 365s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_s390x.deb ... 365s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 365s Selecting previously unselected package libfontconfig1:s390x. 365s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_s390x.deb ... 365s Unpacking libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 365s Selecting previously unselected package fontconfig. 365s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_s390x.deb ... 365s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 365s Selecting previously unselected package libcc1-0:s390x. 365s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_s390x.deb ... 365s Unpacking libcc1-0:s390x (15.2.0-5ubuntu1) ... 365s Selecting previously unselected package libgomp1:s390x. 365s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_s390x.deb ... 365s Unpacking libgomp1:s390x (15.2.0-5ubuntu1) ... 365s Selecting previously unselected package libitm1:s390x. 365s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_s390x.deb ... 365s Unpacking libitm1:s390x (15.2.0-5ubuntu1) ... 365s Selecting previously unselected package libasan8:s390x. 365s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_s390x.deb ... 365s Unpacking libasan8:s390x (15.2.0-5ubuntu1) ... 366s Selecting previously unselected package libubsan1:s390x. 366s Preparing to unpack .../32-libubsan1_15.2.0-5ubuntu1_s390x.deb ... 366s Unpacking libubsan1:s390x (15.2.0-5ubuntu1) ... 366s Selecting previously unselected package libgcc-15-dev:s390x. 366s Preparing to unpack .../33-libgcc-15-dev_15.2.0-5ubuntu1_s390x.deb ... 366s Unpacking libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 366s Selecting previously unselected package gcc-15-s390x-linux-gnu. 366s Preparing to unpack .../34-gcc-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 366s Unpacking gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 366s Selecting previously unselected package gcc-15. 366s Preparing to unpack .../35-gcc-15_15.2.0-5ubuntu1_s390x.deb ... 366s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 366s Selecting previously unselected package gcc-s390x-linux-gnu. 366s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 366s Unpacking gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 366s Selecting previously unselected package gcc. 366s Preparing to unpack .../37-gcc_4%3a15.2.0-4ubuntu1_s390x.deb ... 366s Unpacking gcc (4:15.2.0-4ubuntu1) ... 366s Selecting previously unselected package libatk1.0-0t64:s390x. 366s Preparing to unpack .../38-libatk1.0-0t64_2.57.1-1_s390x.deb ... 366s Unpacking libatk1.0-0t64:s390x (2.57.1-1) ... 366s Selecting previously unselected package libxi6:s390x. 366s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 366s Unpacking libxi6:s390x (2:1.8.2-1) ... 366s Selecting previously unselected package libatspi2.0-0t64:s390x. 366s Preparing to unpack .../40-libatspi2.0-0t64_2.57.1-1_s390x.deb ... 366s Unpacking libatspi2.0-0t64:s390x (2.57.1-1) ... 366s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 366s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.57.1-1_s390x.deb ... 366s Unpacking libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 366s Selecting previously unselected package libavahi-common-data:s390x. 366s Preparing to unpack .../42-libavahi-common-data_0.8-16ubuntu3_s390x.deb ... 366s Unpacking libavahi-common-data:s390x (0.8-16ubuntu3) ... 366s Selecting previously unselected package libavahi-common3:s390x. 366s Preparing to unpack .../43-libavahi-common3_0.8-16ubuntu3_s390x.deb ... 366s Unpacking libavahi-common3:s390x (0.8-16ubuntu3) ... 366s Selecting previously unselected package libavahi-client3:s390x. 366s Preparing to unpack .../44-libavahi-client3_0.8-16ubuntu3_s390x.deb ... 366s Unpacking libavahi-client3:s390x (0.8-16ubuntu3) ... 366s Selecting previously unselected package libpixman-1-0:s390x. 366s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 366s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 366s Selecting previously unselected package libxcb-render0:s390x. 366s Preparing to unpack .../46-libxcb-render0_1.17.0-2build1_s390x.deb ... 366s Unpacking libxcb-render0:s390x (1.17.0-2build1) ... 366s Selecting previously unselected package libxcb-shm0:s390x. 366s Preparing to unpack .../47-libxcb-shm0_1.17.0-2build1_s390x.deb ... 366s Unpacking libxcb-shm0:s390x (1.17.0-2build1) ... 366s Selecting previously unselected package libxrender1:s390x. 366s Preparing to unpack .../48-libxrender1_1%3a0.9.12-1_s390x.deb ... 366s Unpacking libxrender1:s390x (1:0.9.12-1) ... 366s Selecting previously unselected package libcairo2:s390x. 366s Preparing to unpack .../49-libcairo2_1.18.4-1build1_s390x.deb ... 366s Unpacking libcairo2:s390x (1.18.4-1build1) ... 366s Selecting previously unselected package libcairo-gobject2:s390x. 366s Preparing to unpack .../50-libcairo-gobject2_1.18.4-1build1_s390x.deb ... 366s Unpacking libcairo-gobject2:s390x (1.18.4-1build1) ... 366s Selecting previously unselected package libstdlib-ocaml. 366s Preparing to unpack .../51-libstdlib-ocaml_5.3.0-3_s390x.deb ... 366s Unpacking libstdlib-ocaml (5.3.0-3) ... 366s Selecting previously unselected package ocaml-base. 366s Preparing to unpack .../52-ocaml-base_5.3.0-3_s390x.deb ... 366s Unpacking ocaml-base (5.3.0-3) ... 366s Selecting previously unselected package libcairo2-ocaml. 366s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2build2_s390x.deb ... 366s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 366s Selecting previously unselected package liblcms2-2:s390x. 366s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 366s Unpacking liblcms2-2:s390x (2.16-2) ... 366s Selecting previously unselected package libcolord2:s390x. 366s Preparing to unpack .../55-libcolord2_1.4.7-3build1_s390x.deb ... 366s Unpacking libcolord2:s390x (1.4.7-3build1) ... 366s Selecting previously unselected package libstdlib-ocaml-dev. 366s Preparing to unpack .../56-libstdlib-ocaml-dev_5.3.0-3_s390x.deb ... 366s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 366s Selecting previously unselected package libcompiler-libs-ocaml-dev. 366s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.3.0-3_s390x.deb ... 366s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 367s Selecting previously unselected package libcups2t64:s390x. 367s Preparing to unpack .../58-libcups2t64_2.4.12-0ubuntu3_s390x.deb ... 367s Unpacking libcups2t64:s390x (2.4.12-0ubuntu3) ... 367s Selecting previously unselected package libdatrie1:s390x. 367s Preparing to unpack .../59-libdatrie1_0.2.13-4_s390x.deb ... 367s Unpacking libdatrie1:s390x (0.2.13-4) ... 367s Selecting previously unselected package libepoxy0:s390x. 367s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 367s Unpacking libepoxy0:s390x (1.5.10-2) ... 367s Selecting previously unselected package libgraphite2-3:s390x. 367s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 367s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 367s Selecting previously unselected package libharfbuzz0b:s390x. 367s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 367s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 367s Selecting previously unselected package libthai-data. 367s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 367s Unpacking libthai-data (0.1.29-2build1) ... 367s Selecting previously unselected package libthai0:s390x. 367s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 367s Unpacking libthai0:s390x (0.1.29-2build1) ... 367s Selecting previously unselected package libpango-1.0-0:s390x. 367s Preparing to unpack .../65-libpango-1.0-0_1.56.3-1build1_s390x.deb ... 367s Unpacking libpango-1.0-0:s390x (1.56.3-1build1) ... 367s Selecting previously unselected package libpangoft2-1.0-0:s390x. 367s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.3-1build1_s390x.deb ... 367s Unpacking libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 367s Selecting previously unselected package libpangocairo-1.0-0:s390x. 367s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.3-1build1_s390x.deb ... 367s Unpacking libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 367s Selecting previously unselected package libwayland-client0:s390x. 367s Preparing to unpack .../68-libwayland-client0_1.24.0-1build1_s390x.deb ... 367s Unpacking libwayland-client0:s390x (1.24.0-1build1) ... 367s Selecting previously unselected package libwayland-cursor0:s390x. 367s Preparing to unpack .../69-libwayland-cursor0_1.24.0-1build1_s390x.deb ... 367s Unpacking libwayland-cursor0:s390x (1.24.0-1build1) ... 367s Selecting previously unselected package libwayland-egl1:s390x. 367s Preparing to unpack .../70-libwayland-egl1_1.24.0-1build1_s390x.deb ... 367s Unpacking libwayland-egl1:s390x (1.24.0-1build1) ... 367s Selecting previously unselected package libxcomposite1:s390x. 367s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 367s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 367s Selecting previously unselected package libxfixes3:s390x. 367s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 367s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 367s Selecting previously unselected package libxcursor1:s390x. 367s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 367s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 367s Selecting previously unselected package libxdamage1:s390x. 367s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 367s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 367s Selecting previously unselected package libxinerama1:s390x. 367s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 367s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 367s Selecting previously unselected package libxrandr2:s390x. 367s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 367s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 367s Selecting previously unselected package libgtk-3-common. 367s Preparing to unpack .../77-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 367s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 367s Selecting previously unselected package libgtk-3-0t64:s390x. 367s Preparing to unpack .../78-libgtk-3-0t64_3.24.50-1ubuntu2_s390x.deb ... 367s Unpacking libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 367s Selecting previously unselected package libgtksourceview-3.0-common. 367s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 367s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 367s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 367s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-5_s390x.deb ... 367s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-5) ... 367s Selecting previously unselected package liblablgtk3-ocaml. 367s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build4_s390x.deb ... 367s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 367s Selecting previously unselected package liblablgtksourceview3-ocaml. 367s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build4_s390x.deb ... 367s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 367s Selecting previously unselected package libncurses-dev:s390x. 367s Preparing to unpack .../83-libncurses-dev_6.5+20250216-2build1_s390x.deb ... 367s Unpacking libncurses-dev:s390x (6.5+20250216-2build1) ... 367s Selecting previously unselected package libzstd-dev:s390x. 367s Preparing to unpack .../84-libzstd-dev_1.5.7+dfsg-1build2_s390x.deb ... 367s Unpacking libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 367s Selecting previously unselected package ocaml-interp. 367s Preparing to unpack .../85-ocaml-interp_5.3.0-3_s390x.deb ... 367s Unpacking ocaml-interp (5.3.0-3) ... 367s Selecting previously unselected package ocaml. 367s Preparing to unpack .../86-ocaml_5.3.0-3_s390x.deb ... 367s Unpacking ocaml (5.3.0-3) ... 368s Selecting previously unselected package spass. 368s Preparing to unpack .../87-spass_3.9-1.1_s390x.deb ... 368s Unpacking spass (3.9-1.1) ... 368s Selecting previously unselected package tex-common. 368s Preparing to unpack .../88-tex-common_6.19_all.deb ... 368s Unpacking tex-common (6.19) ... 368s Selecting previously unselected package why3. 368s Preparing to unpack .../89-why3_1.8.2-1_s390x.deb ... 368s Unpacking why3 (1.8.2-1) ... 368s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 368s Setting up liblcms2-2:s390x (2.16-2) ... 368s Setting up libpixman-1-0:s390x (0.44.0-3) ... 368s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 368s Setting up libncurses-dev:s390x (6.5+20250216-2build1) ... 368s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 368s Setting up libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 368s Setting up hicolor-icon-theme (0.18-2) ... 368s Setting up libxi6:s390x (2:1.8.2-1) ... 368s Setting up libxrender1:s390x (1:0.9.12-1) ... 368s Setting up libdatrie1:s390x (0.2.13-4) ... 368s Setting up libxcb-render0:s390x (1.17.0-2build1) ... 368s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 368s Setting up libdeflate0:s390x (1.23-2) ... 368s Setting up libxcb-shm0:s390x (1.17.0-2build1) ... 368s Setting up libgomp1:s390x (15.2.0-5ubuntu1) ... 368s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 368s Setting up libcolord2:s390x (1.4.7-3build1) ... 368s Setting up libdconf1:s390x (0.40.0-5willsync1) ... 368s Setting up tex-common (6.19) ... 368s update-language: texlive-base not installed and configured, doing nothing! 368s Setting up libfreetype6:s390x (2.13.3+dfsg-1build1) ... 368s Setting up libepoxy0:s390x (1.5.10-2) ... 368s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 368s Setting up spass (3.9-1.1) ... 368s Setting up libavahi-common-data:s390x (0.8-16ubuntu3) ... 368s Setting up libatspi2.0-0t64:s390x (2.57.1-1) ... 368s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 368s Setting up libstdlib-ocaml (5.3.0-3) ... 368s Setting up fonts-dejavu-mono (2.37-8) ... 368s Setting up libmpc3:s390x (1.3.1-1build3) ... 368s Setting up libxrandr2:s390x (2:1.5.4-1) ... 368s Setting up ocaml-base (5.3.0-3) ... 368s Setting up fonts-dejavu-core (2.37-8) ... 368s Setting up libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 368s Setting up libwebp7:s390x (1.5.0-0.1) ... 368s Setting up libubsan1:s390x (15.2.0-5ubuntu1) ... 368s Setting up at-spi2-common (2.57.1-1) ... 368s Setting up libasan8:s390x (15.2.0-5ubuntu1) ... 368s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 368s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 368s Setting up libthai-data (0.1.29-2build1) ... 368s Setting up libwayland-egl1:s390x (1.24.0-1build1) ... 368s Setting up libisl23:s390x (0.27-1) ... 368s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 368s Setting up libcc1-0:s390x (15.2.0-5ubuntu1) ... 368s Setting up libitm1:s390x (15.2.0-5ubuntu1) ... 368s Setting up libwayland-client0:s390x (1.24.0-1build1) ... 368s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 368s Setting up libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 368s Setting up libatk1.0-0t64:s390x (2.57.1-1) ... 368s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 368s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 368s Setting up libxcursor1:s390x (1:1.2.3-1) ... 368s Setting up libavahi-common3:s390x (0.8-16ubuntu3) ... 368s Setting up dconf-service (0.40.0-5willsync1) ... 368s Setting up libthai0:s390x (0.1.29-2build1) ... 368s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 368s Setting up ocaml-interp (5.3.0-3) ... 368s Setting up libtiff6:s390x (4.7.0-3ubuntu3) ... 368s Setting up libwayland-cursor0:s390x (1.24.0-1build1) ... 368s Setting up cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 368s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 368s Setting up libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 368s Setting up libavahi-client3:s390x (0.8-16ubuntu3) ... 368s Setting up gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 368s Setting up libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 368s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 368s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 370s Regenerating fonts cache... done. 370s Setting up dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 370s Setting up cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 370s Setting up libpango-1.0-0:s390x (1.56.3-1build1) ... 371s Setting up libcairo2:s390x (1.18.4-1build1) ... 371s Setting up gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 371s Setting up adwaita-icon-theme (49.0-1) ... 371s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 371s Setting up cpp-15 (15.2.0-5ubuntu1) ... 371s Setting up cpp (4:15.2.0-4ubuntu1) ... 371s Setting up libcairo-gobject2:s390x (1.18.4-1build1) ... 371s Setting up libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 371s Setting up libcups2t64:s390x (2.4.12-0ubuntu3) ... 371s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 371s Setting up libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 371s Setting up libcairo2-ocaml (0.6.5-2build2) ... 371s Setting up gcc-15 (15.2.0-5ubuntu1) ... 371s Setting up gcc (4:15.2.0-4ubuntu1) ... 371s Setting up ocaml (5.3.0-3) ... 371s Processing triggers for libc-bin (2.42-0ubuntu3) ... 371s Processing triggers for man-db (2.13.1-1) ... 371s Processing triggers for libglib2.0-0t64:s390x (2.86.0-2) ... 371s Setting up libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 371s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 372s Setting up libgtksourceview-3.0-1:s390x (3.24.11-5) ... 372s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 372s Setting up why3 (1.8.2-1) ... 372s Processing triggers for libc-bin (2.42-0ubuntu3) ... 379s autopkgtest [02:35:42]: test why3+spass: [----------------------- 379s autopkgtest [02:35:42]: test why3+spass: -----------------------] 380s autopkgtest [02:35:43]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 380s why3+spass PASS 380s autopkgtest [02:35:43]: test why3+z3: preparing testbed 403s Creating nova instance adt-resolute-s390x-why3-20251020-022922-juju-7f2275-prod-proposed-migration-environment-2-85b5fd9f-ff78-415c-9bab-14511f8eb67a from image adt/ubuntu-resolute-s390x-server-20251019.img (UUID 7a83b4ca-2eb3-4cb0-b8d6-be2f16efcb4e)... 448s autopkgtest [02:36:51]: testbed dpkg architecture: s390x 448s autopkgtest [02:36:51]: testbed apt version: 3.1.8ubuntu1 449s autopkgtest [02:36:52]: @@@@@@@@@@@@@@@@@@@@ test bed setup 449s autopkgtest [02:36:52]: testbed release detected to be: resolute 450s autopkgtest [02:36:53]: updating testbed package index (apt update) 450s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 450s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 450s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 450s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 450s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 450s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 451s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 451s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 451s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [103 kB] 451s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [940 B] 451s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [257 kB] 451s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [6184 B] 451s Fetched 971 kB in 1s (902 kB/s) 451s Reading package lists... 452s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 452s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 452s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 452s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 453s Reading package lists... 453s Reading package lists... 453s Building dependency tree... 453s Reading state information... 453s Calculating upgrade... 453s The following packages will be upgraded: 453s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 453s libseccomp2 libsemanage-common libsemanage2 python-apt-common python3-apt 453s python3-cffi-backend 454s 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 454s Need to get 3223 kB of archives. 454s After this operation, 652 kB of additional disk space will be used. 454s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg s390x 1.22.21ubuntu4 [1287 kB] 455s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit-common all 1:4.0.5-1build2 [6596 B] 455s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libaudit1 s390x 1:4.0.5-1build2 [57.0 kB] 455s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage-common all 3.8.1-1build1 [7916 B] 455s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libsemanage2 s390x 3.8.1-1build1 [99.1 kB] 455s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x distro-info-data all 0.68 [7378 B] 455s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libseccomp2 s390x 2.6.0-2ubuntu3 [57.5 kB] 455s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x python-apt-common all 3.0.0ubuntu2 [21.7 kB] 455s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x python3-apt s390x 3.0.0ubuntu2 [198 kB] 455s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x python3-cffi-backend s390x 1.17.1-3build1 [113 kB] 455s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x dpkg-dev all 1.22.21ubuntu4 [1088 kB] 455s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libdpkg-perl all 1.22.21ubuntu4 [280 kB] 456s dpkg-preconfigure: unable to re-open stdin: No such file or directory 456s Fetched 3223 kB in 2s (1601 kB/s) 456s (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 ... 56852 files and directories currently installed.) 456s Preparing to unpack .../dpkg_1.22.21ubuntu4_s390x.deb ... 456s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 456s Setting up dpkg (1.22.21ubuntu4) ... 456s (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 ... 56852 files and directories currently installed.) 456s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 456s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 456s Setting up libaudit-common (1:4.0.5-1build2) ... 456s (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 ... 56852 files and directories currently installed.) 456s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_s390x.deb ... 456s Unpacking libaudit1:s390x (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 456s Setting up libaudit1:s390x (1:4.0.5-1build2) ... 456s (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 ... 56852 files and directories currently installed.) 456s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 456s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 456s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_s390x.deb ... 456s Unpacking libsemanage2:s390x (3.8.1-1build1) over (3.8.1-1) ... 456s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 456s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 456s Preparing to unpack .../3-libseccomp2_2.6.0-2ubuntu3_s390x.deb ... 456s Unpacking libseccomp2:s390x (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 456s Preparing to unpack .../4-python-apt-common_3.0.0ubuntu2_all.deb ... 456s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 456s Preparing to unpack .../5-python3-apt_3.0.0ubuntu2_s390x.deb ... 456s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 456s Preparing to unpack .../6-python3-cffi-backend_1.17.1-3build1_s390x.deb ... 456s Unpacking python3-cffi-backend:s390x (1.17.1-3build1) over (1.17.1-3) ... 456s Preparing to unpack .../7-dpkg-dev_1.22.21ubuntu4_all.deb ... 456s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 457s Preparing to unpack .../8-libdpkg-perl_1.22.21ubuntu4_all.deb ... 457s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 457s Setting up distro-info-data (0.68) ... 457s Setting up libsemanage-common (3.8.1-1build1) ... 457s Setting up libseccomp2:s390x (2.6.0-2ubuntu3) ... 457s Setting up libdpkg-perl (1.22.21ubuntu4) ... 457s Setting up python-apt-common (3.0.0ubuntu2) ... 457s Setting up libsemanage2:s390x (3.8.1-1build1) ... 457s Setting up python3-cffi-backend:s390x (1.17.1-3build1) ... 457s Setting up python3-apt (3.0.0ubuntu2) ... 457s Setting up dpkg-dev (1.22.21ubuntu4) ... 457s Processing triggers for man-db (2.13.1-1) ... 458s Processing triggers for libc-bin (2.42-0ubuntu3) ... 458s autopkgtest [02:37:01]: upgrading testbed (apt dist-upgrade and autopurge) 458s Reading package lists... 458s Building dependency tree... 458s Reading state information... 458s Calculating upgrade... 458s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 459s Reading package lists... 459s Building dependency tree... 459s Reading state information... 459s Solving dependencies... 459s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 459s autopkgtest [02:37:02]: rebooting testbed after setup commands that affected boot 475s Reading package lists... 475s Building dependency tree... 475s Reading state information... 475s Solving dependencies... 476s The following NEW packages will be installed: 476s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-s390x-linux-gnu 476s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 476s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 476s gcc-15-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 476s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 476s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 476s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 476s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 476s libepoxy0 libfontconfig1 libfreetype6 libgcc-15-dev libgdk-pixbuf-2.0-0 476s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 476s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 476s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 476s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 476s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 476s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 476s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 476s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 476s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 476s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 z3 476s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 476s Need to get 160 MB of archives. 476s After this operation, 492 MB of additional disk space will be used. 476s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 476s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg-turbo8 s390x 2.1.5-4ubuntu2 [147 kB] 476s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 476s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libdeflate0 s390x 1.23-2 [46.0 kB] 476s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 476s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 476s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 476s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x libtiff6 s390x 4.7.0-3ubuntu3 [222 kB] 477s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-5 [155 kB] 477s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x gtk-update-icon-cache s390x 4.20.1+ds-2 [54.9 kB] 477s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 477s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x adwaita-icon-theme all 49.0-1 [581 kB] 477s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x at-spi2-common all 2.57.1-1 [9432 B] 477s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x libisl23 s390x 0.27-1 [704 kB] 478s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x libmpc3 s390x 1.3.1-1build3 [57.6 kB] 478s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [10.2 MB] 486s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15 s390x 15.2.0-5ubuntu1 [1024 B] 486s Get:18 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [5746 B] 486s Get:19 http://ftpmaster.internal/ubuntu resolute/main s390x cpp s390x 4:15.2.0-4ubuntu1 [22.4 kB] 486s Get:20 http://ftpmaster.internal/ubuntu resolute/main s390x libdconf1 s390x 0.40.0-5willsync1 [40.0 kB] 486s Get:21 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-service s390x 0.40.0-5willsync1 [28.0 kB] 486s Get:22 http://ftpmaster.internal/ubuntu resolute/main s390x dconf-gsettings-backend s390x 0.40.0-5willsync1 [22.6 kB] 486s Get:23 http://ftpmaster.internal/ubuntu resolute/main s390x libfreetype6 s390x 2.13.3+dfsg-1build1 [430 kB] 486s Get:24 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 486s Get:25 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 487s Get:26 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig-config s390x 2.15.0-2.3ubuntu1 [38.1 kB] 487s Get:27 http://ftpmaster.internal/ubuntu resolute/main s390x libfontconfig1 s390x 2.15.0-2.3ubuntu1 [149 kB] 487s Get:28 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig s390x 2.15.0-2.3ubuntu1 [191 kB] 487s Get:29 http://ftpmaster.internal/ubuntu resolute/main s390x libcc1-0 s390x 15.2.0-5ubuntu1 [50.0 kB] 487s Get:30 http://ftpmaster.internal/ubuntu resolute/main s390x libgomp1 s390x 15.2.0-5ubuntu1 [154 kB] 487s Get:31 http://ftpmaster.internal/ubuntu resolute/main s390x libitm1 s390x 15.2.0-5ubuntu1 [30.9 kB] 487s Get:32 http://ftpmaster.internal/ubuntu resolute/main s390x libasan8 s390x 15.2.0-5ubuntu1 [2969 kB] 490s Get:33 http://ftpmaster.internal/ubuntu resolute/main s390x libubsan1 s390x 15.2.0-5ubuntu1 [1211 kB] 491s Get:34 http://ftpmaster.internal/ubuntu resolute/main s390x libgcc-15-dev s390x 15.2.0-5ubuntu1 [1045 kB] 491s Get:35 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [19.9 MB] 505s Get:36 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15 s390x 15.2.0-5ubuntu1 [512 kB] 505s Get:37 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [1208 B] 505s Get:38 http://ftpmaster.internal/ubuntu resolute/main s390x gcc s390x 4:15.2.0-4ubuntu1 [5018 B] 505s Get:39 http://ftpmaster.internal/ubuntu resolute/main s390x libatk1.0-0t64 s390x 2.57.1-1 [55.5 kB] 505s Get:40 http://ftpmaster.internal/ubuntu resolute/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 505s Get:41 http://ftpmaster.internal/ubuntu resolute/main s390x libatspi2.0-0t64 s390x 2.57.1-1 [84.4 kB] 505s Get:42 http://ftpmaster.internal/ubuntu resolute/main s390x libatk-bridge2.0-0t64 s390x 2.57.1-1 [66.4 kB] 505s Get:43 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common-data s390x 0.8-16ubuntu3 [31.1 kB] 505s Get:44 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-common3 s390x 0.8-16ubuntu3 [23.3 kB] 505s Get:45 http://ftpmaster.internal/ubuntu resolute/main s390x libavahi-client3 s390x 0.8-16ubuntu3 [26.2 kB] 505s Get:46 http://ftpmaster.internal/ubuntu resolute/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 505s Get:47 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-render0 s390x 1.17.0-2build1 [16.9 kB] 505s Get:48 http://ftpmaster.internal/ubuntu resolute/main s390x libxcb-shm0 s390x 1.17.0-2build1 [5916 B] 505s Get:49 http://ftpmaster.internal/ubuntu resolute/main s390x libxrender1 s390x 1:0.9.12-1 [20.9 kB] 505s Get:50 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo2 s390x 1.18.4-1build1 [580 kB] 506s Get:51 http://ftpmaster.internal/ubuntu resolute/main s390x libcairo-gobject2 s390x 1.18.4-1build1 [127 kB] 506s Get:52 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml s390x 5.3.0-3 [438 kB] 506s Get:53 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-base s390x 5.3.0-3 [329 kB] 506s Get:54 http://ftpmaster.internal/ubuntu resolute/universe s390x libcairo2-ocaml s390x 0.6.5-2build2 [30.6 kB] 506s Get:55 http://ftpmaster.internal/ubuntu resolute/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 506s Get:56 http://ftpmaster.internal/ubuntu resolute/main s390x libcolord2 s390x 1.4.7-3build1 [148 kB] 507s Get:57 http://ftpmaster.internal/ubuntu resolute/universe s390x libstdlib-ocaml-dev s390x 5.3.0-3 [7839 kB] 510s Get:58 http://ftpmaster.internal/ubuntu resolute/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-3 [47.5 MB] 514s Get:59 http://ftpmaster.internal/ubuntu resolute/main s390x libcups2t64 s390x 2.4.12-0ubuntu3 [280 kB] 514s Get:60 http://ftpmaster.internal/ubuntu resolute/main s390x libdatrie1 s390x 0.2.13-4 [20.4 kB] 514s Get:61 http://ftpmaster.internal/ubuntu resolute/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 514s Get:62 http://ftpmaster.internal/ubuntu resolute/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 514s Get:63 http://ftpmaster.internal/ubuntu resolute/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 514s Get:64 http://ftpmaster.internal/ubuntu resolute/main s390x libthai-data all 0.1.29-2build1 [158 kB] 514s Get:65 http://ftpmaster.internal/ubuntu resolute/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 514s Get:66 http://ftpmaster.internal/ubuntu resolute/main s390x libpango-1.0-0 s390x 1.56.3-1build1 [253 kB] 514s Get:67 http://ftpmaster.internal/ubuntu resolute/main s390x libpangoft2-1.0-0 s390x 1.56.3-1build1 [50.6 kB] 514s Get:68 http://ftpmaster.internal/ubuntu resolute/main s390x libpangocairo-1.0-0 s390x 1.56.3-1build1 [28.5 kB] 514s Get:69 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-client0 s390x 1.24.0-1build1 [29.2 kB] 514s Get:70 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-cursor0 s390x 1.24.0-1build1 [11.5 kB] 514s Get:71 http://ftpmaster.internal/ubuntu resolute/main s390x libwayland-egl1 s390x 1.24.0-1build1 [6258 B] 514s Get:72 http://ftpmaster.internal/ubuntu resolute/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 514s Get:73 http://ftpmaster.internal/ubuntu resolute/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 514s Get:74 http://ftpmaster.internal/ubuntu resolute/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 514s Get:75 http://ftpmaster.internal/ubuntu resolute/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 514s Get:76 http://ftpmaster.internal/ubuntu resolute/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 514s Get:77 http://ftpmaster.internal/ubuntu resolute/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 514s Get:78 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 515s Get:79 http://ftpmaster.internal/ubuntu resolute/main s390x libgtk-3-0t64 s390x 3.24.50-1ubuntu2 [3074 kB] 515s Get:80 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 515s Get:81 http://ftpmaster.internal/ubuntu resolute/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-5 [229 kB] 515s Get:82 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build4 [3621 kB] 515s Get:83 http://ftpmaster.internal/ubuntu resolute/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build4 [334 kB] 515s Get:84 http://ftpmaster.internal/ubuntu resolute/main s390x libncurses-dev s390x 6.5+20250216-2build1 [404 kB] 515s Get:85 http://ftpmaster.internal/ubuntu resolute/main s390x libzstd-dev s390x 1.5.7+dfsg-1build2 [415 kB] 515s Get:86 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml-interp s390x 5.3.0-3 [8365 kB] 515s Get:87 http://ftpmaster.internal/ubuntu resolute/universe s390x ocaml s390x 5.3.0-3 [20.6 MB] 516s Get:88 http://ftpmaster.internal/ubuntu resolute/universe s390x tex-common all 6.19 [29.8 kB] 516s Get:89 http://ftpmaster.internal/ubuntu resolute/universe s390x why3 s390x 1.8.2-1 [13.8 MB] 517s Get:90 http://ftpmaster.internal/ubuntu resolute/universe s390x z3 s390x 4.13.3-1 [7564 kB] 518s Fetched 160 MB in 42s (3818 kB/s) 518s Selecting previously unselected package libgdk-pixbuf2.0-common. 518s (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 ... 56857 files and directories currently installed.) 518s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 518s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 518s Selecting previously unselected package libjpeg-turbo8:s390x. 518s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_s390x.deb ... 518s Unpacking libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 518s Selecting previously unselected package libjpeg8:s390x. 518s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 518s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 518s Selecting previously unselected package libdeflate0:s390x. 518s Preparing to unpack .../03-libdeflate0_1.23-2_s390x.deb ... 518s Unpacking libdeflate0:s390x (1.23-2) ... 518s Selecting previously unselected package libjbig0:s390x. 518s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 518s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 518s Selecting previously unselected package libsharpyuv0:s390x. 518s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 518s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 518s Selecting previously unselected package libwebp7:s390x. 518s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 518s Unpacking libwebp7:s390x (1.5.0-0.1) ... 518s Selecting previously unselected package libtiff6:s390x. 518s Preparing to unpack .../07-libtiff6_4.7.0-3ubuntu3_s390x.deb ... 518s Unpacking libtiff6:s390x (4.7.0-3ubuntu3) ... 518s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 518s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_s390x.deb ... 518s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 518s Selecting previously unselected package gtk-update-icon-cache. 518s Preparing to unpack .../09-gtk-update-icon-cache_4.20.1+ds-2_s390x.deb ... 518s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 518s 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. 518s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 518s Selecting previously unselected package hicolor-icon-theme. 518s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 518s Unpacking hicolor-icon-theme (0.18-2) ... 518s Selecting previously unselected package adwaita-icon-theme. 518s Preparing to unpack .../11-adwaita-icon-theme_49.0-1_all.deb ... 518s Unpacking adwaita-icon-theme (49.0-1) ... 518s Selecting previously unselected package at-spi2-common. 518s Preparing to unpack .../12-at-spi2-common_2.57.1-1_all.deb ... 518s Unpacking at-spi2-common (2.57.1-1) ... 518s Selecting previously unselected package libisl23:s390x. 518s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 518s Unpacking libisl23:s390x (0.27-1) ... 518s Selecting previously unselected package libmpc3:s390x. 518s Preparing to unpack .../14-libmpc3_1.3.1-1build3_s390x.deb ... 518s Unpacking libmpc3:s390x (1.3.1-1build3) ... 518s Selecting previously unselected package cpp-15-s390x-linux-gnu. 518s Preparing to unpack .../15-cpp-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 518s Unpacking cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 518s Selecting previously unselected package cpp-15. 518s Preparing to unpack .../16-cpp-15_15.2.0-5ubuntu1_s390x.deb ... 518s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 518s Selecting previously unselected package cpp-s390x-linux-gnu. 518s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 518s Unpacking cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 518s Selecting previously unselected package cpp. 518s Preparing to unpack .../18-cpp_4%3a15.2.0-4ubuntu1_s390x.deb ... 518s Unpacking cpp (4:15.2.0-4ubuntu1) ... 518s Selecting previously unselected package libdconf1:s390x. 518s Preparing to unpack .../19-libdconf1_0.40.0-5willsync1_s390x.deb ... 518s Unpacking libdconf1:s390x (0.40.0-5willsync1) ... 518s Selecting previously unselected package dconf-service. 518s Preparing to unpack .../20-dconf-service_0.40.0-5willsync1_s390x.deb ... 518s Unpacking dconf-service (0.40.0-5willsync1) ... 518s Selecting previously unselected package dconf-gsettings-backend:s390x. 518s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5willsync1_s390x.deb ... 518s Unpacking dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 518s Selecting previously unselected package libfreetype6:s390x. 518s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1build1_s390x.deb ... 518s Unpacking libfreetype6:s390x (2.13.3+dfsg-1build1) ... 518s Selecting previously unselected package fonts-dejavu-mono. 518s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 518s Unpacking fonts-dejavu-mono (2.37-8) ... 518s Selecting previously unselected package fonts-dejavu-core. 518s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 518s Unpacking fonts-dejavu-core (2.37-8) ... 518s Selecting previously unselected package fontconfig-config. 518s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_s390x.deb ... 519s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 519s Selecting previously unselected package libfontconfig1:s390x. 519s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_s390x.deb ... 519s Unpacking libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 519s Selecting previously unselected package fontconfig. 519s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_s390x.deb ... 519s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 519s Selecting previously unselected package libcc1-0:s390x. 519s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking libcc1-0:s390x (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package libgomp1:s390x. 519s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking libgomp1:s390x (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package libitm1:s390x. 519s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking libitm1:s390x (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package libasan8:s390x. 519s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking libasan8:s390x (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package libubsan1:s390x. 519s Preparing to unpack .../32-libubsan1_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking libubsan1:s390x (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package libgcc-15-dev:s390x. 519s Preparing to unpack .../33-libgcc-15-dev_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package gcc-15-s390x-linux-gnu. 519s Preparing to unpack .../34-gcc-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package gcc-15. 519s Preparing to unpack .../35-gcc-15_15.2.0-5ubuntu1_s390x.deb ... 519s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 519s Selecting previously unselected package gcc-s390x-linux-gnu. 519s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 519s Unpacking gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 519s Selecting previously unselected package gcc. 519s Preparing to unpack .../37-gcc_4%3a15.2.0-4ubuntu1_s390x.deb ... 519s Unpacking gcc (4:15.2.0-4ubuntu1) ... 519s Selecting previously unselected package libatk1.0-0t64:s390x. 519s Preparing to unpack .../38-libatk1.0-0t64_2.57.1-1_s390x.deb ... 519s Unpacking libatk1.0-0t64:s390x (2.57.1-1) ... 519s Selecting previously unselected package libxi6:s390x. 519s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 519s Unpacking libxi6:s390x (2:1.8.2-1) ... 519s Selecting previously unselected package libatspi2.0-0t64:s390x. 519s Preparing to unpack .../40-libatspi2.0-0t64_2.57.1-1_s390x.deb ... 519s Unpacking libatspi2.0-0t64:s390x (2.57.1-1) ... 519s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 519s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.57.1-1_s390x.deb ... 519s Unpacking libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 519s Selecting previously unselected package libavahi-common-data:s390x. 519s Preparing to unpack .../42-libavahi-common-data_0.8-16ubuntu3_s390x.deb ... 519s Unpacking libavahi-common-data:s390x (0.8-16ubuntu3) ... 519s Selecting previously unselected package libavahi-common3:s390x. 519s Preparing to unpack .../43-libavahi-common3_0.8-16ubuntu3_s390x.deb ... 519s Unpacking libavahi-common3:s390x (0.8-16ubuntu3) ... 519s Selecting previously unselected package libavahi-client3:s390x. 519s Preparing to unpack .../44-libavahi-client3_0.8-16ubuntu3_s390x.deb ... 519s Unpacking libavahi-client3:s390x (0.8-16ubuntu3) ... 519s Selecting previously unselected package libpixman-1-0:s390x. 519s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 519s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 519s Selecting previously unselected package libxcb-render0:s390x. 519s Preparing to unpack .../46-libxcb-render0_1.17.0-2build1_s390x.deb ... 519s Unpacking libxcb-render0:s390x (1.17.0-2build1) ... 519s Selecting previously unselected package libxcb-shm0:s390x. 519s Preparing to unpack .../47-libxcb-shm0_1.17.0-2build1_s390x.deb ... 519s Unpacking libxcb-shm0:s390x (1.17.0-2build1) ... 519s Selecting previously unselected package libxrender1:s390x. 519s Preparing to unpack .../48-libxrender1_1%3a0.9.12-1_s390x.deb ... 519s Unpacking libxrender1:s390x (1:0.9.12-1) ... 519s Selecting previously unselected package libcairo2:s390x. 519s Preparing to unpack .../49-libcairo2_1.18.4-1build1_s390x.deb ... 519s Unpacking libcairo2:s390x (1.18.4-1build1) ... 519s Selecting previously unselected package libcairo-gobject2:s390x. 519s Preparing to unpack .../50-libcairo-gobject2_1.18.4-1build1_s390x.deb ... 519s Unpacking libcairo-gobject2:s390x (1.18.4-1build1) ... 519s Selecting previously unselected package libstdlib-ocaml. 519s Preparing to unpack .../51-libstdlib-ocaml_5.3.0-3_s390x.deb ... 519s Unpacking libstdlib-ocaml (5.3.0-3) ... 519s Selecting previously unselected package ocaml-base. 519s Preparing to unpack .../52-ocaml-base_5.3.0-3_s390x.deb ... 519s Unpacking ocaml-base (5.3.0-3) ... 519s Selecting previously unselected package libcairo2-ocaml. 519s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2build2_s390x.deb ... 519s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 519s Selecting previously unselected package liblcms2-2:s390x. 519s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 519s Unpacking liblcms2-2:s390x (2.16-2) ... 519s Selecting previously unselected package libcolord2:s390x. 519s Preparing to unpack .../55-libcolord2_1.4.7-3build1_s390x.deb ... 519s Unpacking libcolord2:s390x (1.4.7-3build1) ... 519s Selecting previously unselected package libstdlib-ocaml-dev. 519s Preparing to unpack .../56-libstdlib-ocaml-dev_5.3.0-3_s390x.deb ... 519s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 519s Selecting previously unselected package libcompiler-libs-ocaml-dev. 519s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.3.0-3_s390x.deb ... 519s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 520s Selecting previously unselected package libcups2t64:s390x. 520s Preparing to unpack .../58-libcups2t64_2.4.12-0ubuntu3_s390x.deb ... 520s Unpacking libcups2t64:s390x (2.4.12-0ubuntu3) ... 520s Selecting previously unselected package libdatrie1:s390x. 520s Preparing to unpack .../59-libdatrie1_0.2.13-4_s390x.deb ... 520s Unpacking libdatrie1:s390x (0.2.13-4) ... 520s Selecting previously unselected package libepoxy0:s390x. 520s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 520s Unpacking libepoxy0:s390x (1.5.10-2) ... 520s Selecting previously unselected package libgraphite2-3:s390x. 520s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 520s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 520s Selecting previously unselected package libharfbuzz0b:s390x. 520s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 520s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 520s Selecting previously unselected package libthai-data. 520s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 520s Unpacking libthai-data (0.1.29-2build1) ... 520s Selecting previously unselected package libthai0:s390x. 520s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 520s Unpacking libthai0:s390x (0.1.29-2build1) ... 520s Selecting previously unselected package libpango-1.0-0:s390x. 520s Preparing to unpack .../65-libpango-1.0-0_1.56.3-1build1_s390x.deb ... 520s Unpacking libpango-1.0-0:s390x (1.56.3-1build1) ... 520s Selecting previously unselected package libpangoft2-1.0-0:s390x. 520s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.3-1build1_s390x.deb ... 520s Unpacking libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 520s Selecting previously unselected package libpangocairo-1.0-0:s390x. 520s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.3-1build1_s390x.deb ... 520s Unpacking libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 520s Selecting previously unselected package libwayland-client0:s390x. 520s Preparing to unpack .../68-libwayland-client0_1.24.0-1build1_s390x.deb ... 520s Unpacking libwayland-client0:s390x (1.24.0-1build1) ... 520s Selecting previously unselected package libwayland-cursor0:s390x. 520s Preparing to unpack .../69-libwayland-cursor0_1.24.0-1build1_s390x.deb ... 520s Unpacking libwayland-cursor0:s390x (1.24.0-1build1) ... 520s Selecting previously unselected package libwayland-egl1:s390x. 520s Preparing to unpack .../70-libwayland-egl1_1.24.0-1build1_s390x.deb ... 520s Unpacking libwayland-egl1:s390x (1.24.0-1build1) ... 520s Selecting previously unselected package libxcomposite1:s390x. 520s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 520s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 520s Selecting previously unselected package libxfixes3:s390x. 520s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 520s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 520s Selecting previously unselected package libxcursor1:s390x. 520s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 520s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 520s Selecting previously unselected package libxdamage1:s390x. 520s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 520s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 520s Selecting previously unselected package libxinerama1:s390x. 520s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 520s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 520s Selecting previously unselected package libxrandr2:s390x. 520s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 520s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 520s Selecting previously unselected package libgtk-3-common. 520s Preparing to unpack .../77-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 520s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 520s Selecting previously unselected package libgtk-3-0t64:s390x. 520s Preparing to unpack .../78-libgtk-3-0t64_3.24.50-1ubuntu2_s390x.deb ... 520s Unpacking libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 520s Selecting previously unselected package libgtksourceview-3.0-common. 520s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 520s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 520s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 520s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-5_s390x.deb ... 520s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-5) ... 520s Selecting previously unselected package liblablgtk3-ocaml. 520s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build4_s390x.deb ... 520s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 520s Selecting previously unselected package liblablgtksourceview3-ocaml. 520s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build4_s390x.deb ... 520s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 520s Selecting previously unselected package libncurses-dev:s390x. 520s Preparing to unpack .../83-libncurses-dev_6.5+20250216-2build1_s390x.deb ... 520s Unpacking libncurses-dev:s390x (6.5+20250216-2build1) ... 520s Selecting previously unselected package libzstd-dev:s390x. 520s Preparing to unpack .../84-libzstd-dev_1.5.7+dfsg-1build2_s390x.deb ... 520s Unpacking libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 520s Selecting previously unselected package ocaml-interp. 520s Preparing to unpack .../85-ocaml-interp_5.3.0-3_s390x.deb ... 520s Unpacking ocaml-interp (5.3.0-3) ... 520s Selecting previously unselected package ocaml. 520s Preparing to unpack .../86-ocaml_5.3.0-3_s390x.deb ... 520s Unpacking ocaml (5.3.0-3) ... 521s Selecting previously unselected package tex-common. 521s Preparing to unpack .../87-tex-common_6.19_all.deb ... 521s Unpacking tex-common (6.19) ... 521s Selecting previously unselected package why3. 521s Preparing to unpack .../88-why3_1.8.2-1_s390x.deb ... 521s Unpacking why3 (1.8.2-1) ... 521s Selecting previously unselected package z3. 521s Preparing to unpack .../89-z3_4.13.3-1_s390x.deb ... 521s Unpacking z3 (4.13.3-1) ... 521s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 521s Setting up liblcms2-2:s390x (2.16-2) ... 521s Setting up libpixman-1-0:s390x (0.44.0-3) ... 521s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 521s Setting up libncurses-dev:s390x (6.5+20250216-2build1) ... 521s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 521s Setting up libzstd-dev:s390x (1.5.7+dfsg-1build2) ... 521s Setting up hicolor-icon-theme (0.18-2) ... 521s Setting up libxi6:s390x (2:1.8.2-1) ... 521s Setting up libxrender1:s390x (1:0.9.12-1) ... 521s Setting up libdatrie1:s390x (0.2.13-4) ... 521s Setting up libxcb-render0:s390x (1.17.0-2build1) ... 521s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 521s Setting up libdeflate0:s390x (1.23-2) ... 521s Setting up libxcb-shm0:s390x (1.17.0-2build1) ... 521s Setting up libgomp1:s390x (15.2.0-5ubuntu1) ... 521s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 521s Setting up z3 (4.13.3-1) ... 521s Setting up libcolord2:s390x (1.4.7-3build1) ... 521s Setting up libdconf1:s390x (0.40.0-5willsync1) ... 521s Setting up tex-common (6.19) ... 521s update-language: texlive-base not installed and configured, doing nothing! 521s Setting up libfreetype6:s390x (2.13.3+dfsg-1build1) ... 521s Setting up libepoxy0:s390x (1.5.10-2) ... 521s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 521s Setting up libavahi-common-data:s390x (0.8-16ubuntu3) ... 521s Setting up libatspi2.0-0t64:s390x (2.57.1-1) ... 521s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 521s Setting up libstdlib-ocaml (5.3.0-3) ... 521s Setting up fonts-dejavu-mono (2.37-8) ... 521s Setting up libmpc3:s390x (1.3.1-1build3) ... 521s Setting up libxrandr2:s390x (2:1.5.4-1) ... 521s Setting up ocaml-base (5.3.0-3) ... 521s Setting up fonts-dejavu-core (2.37-8) ... 521s Setting up libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 521s Setting up libwebp7:s390x (1.5.0-0.1) ... 521s Setting up libubsan1:s390x (15.2.0-5ubuntu1) ... 521s Setting up at-spi2-common (2.57.1-1) ... 521s Setting up libasan8:s390x (15.2.0-5ubuntu1) ... 521s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 521s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 521s Setting up libthai-data (0.1.29-2build1) ... 521s Setting up libwayland-egl1:s390x (1.24.0-1build1) ... 521s Setting up libisl23:s390x (0.27-1) ... 521s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 521s Setting up libcc1-0:s390x (15.2.0-5ubuntu1) ... 521s Setting up libitm1:s390x (15.2.0-5ubuntu1) ... 521s Setting up libwayland-client0:s390x (1.24.0-1build1) ... 521s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 521s Setting up libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 521s Setting up libatk1.0-0t64:s390x (2.57.1-1) ... 521s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 521s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 521s Setting up libxcursor1:s390x (1:1.2.3-1) ... 521s Setting up libavahi-common3:s390x (0.8-16ubuntu3) ... 521s Setting up dconf-service (0.40.0-5willsync1) ... 521s Setting up libthai0:s390x (0.1.29-2build1) ... 521s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 521s Setting up ocaml-interp (5.3.0-3) ... 521s Setting up libtiff6:s390x (4.7.0-3ubuntu3) ... 521s Setting up libwayland-cursor0:s390x (1.24.0-1build1) ... 521s Setting up cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 521s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-5) ... 521s Setting up libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 521s Setting up libavahi-client3:s390x (0.8-16ubuntu3) ... 521s Setting up gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 521s Setting up libatk-bridge2.0-0t64:s390x (2.57.1-1) ... 521s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 521s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 523s Regenerating fonts cache... done. 523s Setting up dconf-gsettings-backend:s390x (0.40.0-5willsync1) ... 523s Setting up cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 523s Setting up libpango-1.0-0:s390x (1.56.3-1build1) ... 523s Setting up libcairo2:s390x (1.18.4-1build1) ... 523s Setting up gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 523s Setting up adwaita-icon-theme (49.0-1) ... 523s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 523s Setting up cpp-15 (15.2.0-5ubuntu1) ... 523s Setting up cpp (4:15.2.0-4ubuntu1) ... 523s Setting up libcairo-gobject2:s390x (1.18.4-1build1) ... 523s Setting up libpangoft2-1.0-0:s390x (1.56.3-1build1) ... 523s Setting up libcups2t64:s390x (2.4.12-0ubuntu3) ... 523s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 523s Setting up libpangocairo-1.0-0:s390x (1.56.3-1build1) ... 523s Setting up libcairo2-ocaml (0.6.5-2build2) ... 523s Setting up gcc-15 (15.2.0-5ubuntu1) ... 523s Setting up gcc (4:15.2.0-4ubuntu1) ... 523s Setting up ocaml (5.3.0-3) ... 523s Processing triggers for libc-bin (2.42-0ubuntu3) ... 523s Processing triggers for man-db (2.13.1-1) ... 524s Processing triggers for libglib2.0-0t64:s390x (2.86.0-2) ... 524s Setting up libgtk-3-0t64:s390x (3.24.50-1ubuntu2) ... 524s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 524s Setting up libgtksourceview-3.0-1:s390x (3.24.11-5) ... 524s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 524s Setting up why3 (1.8.2-1) ... 524s Processing triggers for libc-bin (2.42-0ubuntu3) ... 532s autopkgtest [02:38:15]: test why3+z3: [----------------------- 533s autopkgtest [02:38:16]: test why3+z3: -----------------------] 533s autopkgtest [02:38:16]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 533s why3+z3 PASS 534s autopkgtest [02:38:17]: @@@@@@@@@@@@@@@@@@@@ summary 534s why3+cvc4 PASS 534s why3+cvc5 PASS 534s why3+spass PASS 534s why3+z3 PASS