0s autopkgtest [23:59:05]: starting date and time: 2024-03-13 23:59:05+0000 0s autopkgtest [23:59:05]: git checkout: b506e79c ssh-setup/nova: fix ARCH having two lines of data 0s autopkgtest [23:59:05]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.7iukd37x/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:perl,src:db5.3,src:gdbm,src:mmdebstrap --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=perl/5.38.2-3.2 db5.3/5.3.28+dfsg2-5 gdbm/1.23-5.1 mmdebstrap/1.4.3-6' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-s390x-1.secgroup --name adt-noble-s390x-frama-c-20240313-235905-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 239s autopkgtest [00:03:04]: testbed dpkg architecture: s390x 239s autopkgtest [00:03:04]: testbed apt version: 2.7.12 239s autopkgtest [00:03:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 239s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 240s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [4812 B] 240s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [449 kB] 240s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2862 kB] 241s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [45.5 kB] 241s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [588 kB] 241s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 241s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 241s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 241s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3078 kB] 242s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 242s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [26.9 kB] 242s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 244s Fetched 7184 kB in 3s (2248 kB/s) 244s Reading package lists... 245s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 246s Reading package lists... 252s Reading package lists... 253s Building dependency tree... 253s Reading state information... 253s Calculating upgrade... 253s The following packages were automatically installed and are no longer required: 253s fuse3 libfuse3-3 libgdbm-compat4t64 libperl5.38 lto-disabled-list make 253s perl-modules-5.38 s390-tools-data s390-tools-signed 253s Use 'sudo apt autoremove' to remove them. 253s The following packages will be REMOVED: 253s dpkg-dev libdpkg-perl libgdbm-compat4 libgdbm6 perl s390-tools 253s sysconfig-hardware 253s The following NEW packages will be installed: 253s libgdbm-compat4t64 libgdbm6t64 253s The following packages have been kept back: 253s libperl5.38 253s The following packages will be upgraded: 253s console-setup console-setup-linux keyboard-configuration perl-base 253s perl-modules-5.38 254s 5 upgraded, 2 newly installed, 7 to remove and 1 not upgraded. 254s Need to get 7316 kB of archives. 254s After this operation, 15.7 MB disk space will be freed. 254s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main s390x perl-base s390x 5.38.2-3.2 [1961 kB] 254s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libgdbm6t64 s390x 1.23-5.1 [36.4 kB] 254s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libgdbm-compat4t64 s390x 1.23-5.1 [6880 B] 254s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x console-setup-linux all 1.226ubuntu1 [1880 kB] 254s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x console-setup all 1.226ubuntu1 [110 kB] 254s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x keyboard-configuration all 1.226ubuntu1 [212 kB] 254s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x perl-modules-5.38 all 5.38.2-3.2 [3110 kB] 255s Preconfiguring packages ... 255s Fetched 7316 kB in 1s (7513 kB/s) 256s (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 ... 52188 files and directories currently installed.) 256s Removing dpkg-dev (1.22.4ubuntu5) ... 256s Removing libdpkg-perl (1.22.4ubuntu5) ... 256s Removing sysconfig-hardware (0.0.14ubuntu2) ... 256s Removing s390-tools (2.31.0-0ubuntu1) ... 256s Removing perl (5.38.2-3) ... 256s (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 ... 51349 files and directories currently installed.) 256s Preparing to unpack .../perl-base_5.38.2-3.2_s390x.deb ... 256s Unpacking perl-base (5.38.2-3.2) over (5.38.2-3) ... 257s Setting up perl-base (5.38.2-3.2) ... 257s dpkg: libgdbm6:s390x: dependency problems, but removing anyway as you requested: 257s python3-gdbm:s390x depends on libgdbm6 (>= 1.16). 257s man-db depends on libgdbm6 (>= 1.16). 257s libperl5.38:s390x depends on libgdbm6 (>= 1.21). 257s libgdbm-compat4:s390x depends on libgdbm6 (>= 1.16). 257s 257s (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 ... 51349 files and directories currently installed.) 257s Removing libgdbm6:s390x (1.23-5) ... 257s Selecting previously unselected package libgdbm6t64:s390x. 257s (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 ... 51344 files and directories currently installed.) 257s Preparing to unpack .../libgdbm6t64_1.23-5.1_s390x.deb ... 257s Unpacking libgdbm6t64:s390x (1.23-5.1) ... 257s dpkg: libgdbm-compat4:s390x: dependency problems, but removing anyway as you requested: 257s libperl5.38:s390x depends on libgdbm-compat4 (>= 1.18-3). 257s 257s (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 ... 51350 files and directories currently installed.) 257s Removing libgdbm-compat4:s390x (1.23-5) ... 257s Selecting previously unselected package libgdbm-compat4t64:s390x. 257s (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 ... 51345 files and directories currently installed.) 257s Preparing to unpack .../libgdbm-compat4t64_1.23-5.1_s390x.deb ... 257s Unpacking libgdbm-compat4t64:s390x (1.23-5.1) ... 257s Preparing to unpack .../console-setup-linux_1.226ubuntu1_all.deb ... 257s Unpacking console-setup-linux (1.226ubuntu1) over (1.223ubuntu2) ... 257s Preparing to unpack .../console-setup_1.226ubuntu1_all.deb ... 257s Unpacking console-setup (1.226ubuntu1) over (1.223ubuntu2) ... 257s Preparing to unpack .../keyboard-configuration_1.226ubuntu1_all.deb ... 257s Unpacking keyboard-configuration (1.226ubuntu1) over (1.223ubuntu2) ... 257s Preparing to unpack .../perl-modules-5.38_5.38.2-3.2_all.deb ... 257s Unpacking perl-modules-5.38 (5.38.2-3.2) over (5.38.2-3) ... 258s Setting up libgdbm6t64:s390x (1.23-5.1) ... 258s Setting up libgdbm-compat4t64:s390x (1.23-5.1) ... 258s Setting up perl-modules-5.38 (5.38.2-3.2) ... 258s Setting up keyboard-configuration (1.226ubuntu1) ... 259s Your console font configuration will be updated the next time your system 259s boots. If you want to update it now, run 'setupcon' from a virtual console. 259s update-initramfs: deferring update (trigger activated) 259s Setting up console-setup-linux (1.226ubuntu1) ... 260s Setting up console-setup (1.226ubuntu1) ... 261s update-initramfs: deferring update (trigger activated) 261s Processing triggers for libc-bin (2.39-0ubuntu2) ... 261s Processing triggers for man-db (2.12.0-3) ... 263s Processing triggers for initramfs-tools (0.142ubuntu20) ... 263s update-initramfs: Generating /boot/initrd.img-6.8.0-11-generic 263s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 268s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 268s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 268s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 268s Reading package lists... 269s Building dependency tree... 269s Reading state information... 269s The following packages will be REMOVED: 269s fuse3* libfuse3-3* libgdbm-compat4t64* libperl5.38* lto-disabled-list* make* 269s perl-modules-5.38* s390-tools-data* s390-tools-signed* 269s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 269s After this operation, 50.6 MB disk space will be freed. 269s (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 ... 51351 files and directories currently installed.) 269s Removing fuse3 (3.14.0-5) ... 269s update-initramfs: deferring update (trigger activated) 269s Removing libfuse3-3:s390x (3.14.0-5) ... 269s Removing libperl5.38:s390x (5.38.2-3) ... 269s Removing libgdbm-compat4t64:s390x (1.23-5.1) ... 269s Removing lto-disabled-list (47) ... 269s Removing make (4.3-4.1build1) ... 269s Removing perl-modules-5.38 (5.38.2-3.2) ... 269s Removing s390-tools-data (2.31.0-0ubuntu1) ... 269s Removing s390-tools-signed (2.31.0-0ubuntu1) ... 269s Processing triggers for libc-bin (2.39-0ubuntu2) ... 269s Processing triggers for man-db (2.12.0-3) ... 269s Processing triggers for initramfs-tools (0.142ubuntu20) ... 270s update-initramfs: Generating /boot/initrd.img-6.8.0-11-generic 270s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 273s (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 ... 49354 files and directories currently installed.) 273s Purging configuration files for fuse3 (3.14.0-5) ... 274s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 274s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 274s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 274s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 274s Hit:5 http://ftpmaster.internal/ubuntu noble-backports InRelease 280s Reading package lists... 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 280s W: Target Packages (main/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (main/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (universe/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (universe/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (restricted/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (restricted/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (multiverse/binary-s390x/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (multiverse/cnf/Commands-s390x) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 280s Reading package lists... 280s Building dependency tree... 280s Reading state information... 281s Calculating upgrade... 281s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 281s Reading package lists... 281s Building dependency tree... 281s Reading state information... 282s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 282s autopkgtest [00:03:47]: rebooting testbed after setup commands that affected boot 309s autopkgtest [00:04:14]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024 311s autopkgtest [00:04:16]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c 324s Reading package lists... 324s Building dependency tree... 324s Reading state information... 325s Starting pkgProblemResolver with broken count: 0 325s Starting 2 pkgProblemResolver with broken count: 0 325s Done 325s The following additional packages will be installed: 325s dpkg-dev libdb5.3t64 libdpkg-perl libgdbm-compat4t64 libperl5.38t64 325s lto-disabled-list make perl perl-modules-5.38 325s Suggested packages: 325s debian-keyring gcc | c-compiler git bzr make-doc perl-doc 325s libterm-readline-gnu-perl | libterm-readline-perl-perl 325s libtap-harness-archive-perl 325s Recommended packages: 325s build-essential gcc | c-compiler fakeroot libalgorithm-merge-perl 325s libfile-fcntllock-perl 325s The following packages will be REMOVED: 325s libdb5.3 325s The following NEW packages will be installed: 325s autopkgtest-satdep dpkg-dev libdb5.3t64 libdpkg-perl libgdbm-compat4t64 325s libperl5.38t64 lto-disabled-list make perl perl-modules-5.38 325s 0 upgraded, 10 newly installed, 1 to remove and 0 not upgraded. 325s Need to get 7542 kB/10.7 MB of archives. 325s After this operation, 54.4 MB of additional disk space will be used. 325s Get:1 /tmp/autopkgtest.1v9lBg/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [704 B] 325s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libdb5.3t64 s390x 5.3.28+dfsg2-5build1 [763 kB] 326s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libperl5.38t64 s390x 5.38.2-3.2 [5007 kB] 326s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main s390x perl s390x 5.38.2-3.2 [231 kB] 326s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdpkg-perl all 1.22.4ubuntu5 [268 kB] 326s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x make s390x 4.3-4.1build1 [182 kB] 326s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x lto-disabled-list all 47 [12.4 kB] 326s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x dpkg-dev all 1.22.4ubuntu5 [1078 kB] 327s Fetched 7542 kB in 1s (6854 kB/s) 327s dpkg: libdb5.3:s390x: dependency problems, but removing anyway as you requested: 327s libsasl2-modules-db:s390x depends on libdb5.3. 327s libpython3.12-stdlib:s390x depends on libdb5.3. 327s libpython3.11-stdlib:s390x depends on libdb5.3. 327s libpam-modules:s390x depends on libdb5.3. 327s iproute2 depends on libdb5.3. 327s apt-utils depends on libdb5.3. 327s 327s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 49353 files and directories currently installed.) 327s Removing libdb5.3:s390x (5.3.28+dfsg2-4) ... 327s Selecting previously unselected package libdb5.3t64:s390x. 327s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 49347 files and directories currently installed.) 327s Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-5build1_s390x.deb ... 327s Unpacking libdb5.3t64:s390x (5.3.28+dfsg2-5build1) ... 327s Setting up libdb5.3t64:s390x (5.3.28+dfsg2-5build1) ... 327s Selecting previously unselected package perl-modules-5.38. 328s (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 ... 49353 files and directories currently installed.) 328s Preparing to unpack .../0-perl-modules-5.38_5.38.2-3.2_all.deb ... 328s Unpacking perl-modules-5.38 (5.38.2-3.2) ... 328s Selecting previously unselected package libgdbm-compat4t64:s390x. 328s Preparing to unpack .../1-libgdbm-compat4t64_1.23-5.1_s390x.deb ... 328s Unpacking libgdbm-compat4t64:s390x (1.23-5.1) ... 328s Selecting previously unselected package libperl5.38t64:s390x. 328s Preparing to unpack .../2-libperl5.38t64_5.38.2-3.2_s390x.deb ... 328s Unpacking libperl5.38t64:s390x (5.38.2-3.2) ... 328s Selecting previously unselected package perl. 328s Preparing to unpack .../3-perl_5.38.2-3.2_s390x.deb ... 328s Unpacking perl (5.38.2-3.2) ... 328s Selecting previously unselected package libdpkg-perl. 328s Preparing to unpack .../4-libdpkg-perl_1.22.4ubuntu5_all.deb ... 328s Unpacking libdpkg-perl (1.22.4ubuntu5) ... 328s Selecting previously unselected package make. 328s Preparing to unpack .../5-make_4.3-4.1build1_s390x.deb ... 328s Unpacking make (4.3-4.1build1) ... 328s Selecting previously unselected package lto-disabled-list. 328s Preparing to unpack .../6-lto-disabled-list_47_all.deb ... 328s Unpacking lto-disabled-list (47) ... 328s Selecting previously unselected package dpkg-dev. 328s Preparing to unpack .../7-dpkg-dev_1.22.4ubuntu5_all.deb ... 328s Unpacking dpkg-dev (1.22.4ubuntu5) ... 329s Selecting previously unselected package autopkgtest-satdep. 329s Preparing to unpack .../8-1-autopkgtest-satdep.deb ... 329s Unpacking autopkgtest-satdep (0) ... 329s Setting up lto-disabled-list (47) ... 329s Setting up libgdbm-compat4t64:s390x (1.23-5.1) ... 329s Setting up make (4.3-4.1build1) ... 329s Setting up perl-modules-5.38 (5.38.2-3.2) ... 329s Setting up libperl5.38t64:s390x (5.38.2-3.2) ... 329s Setting up perl (5.38.2-3.2) ... 329s Setting up libdpkg-perl (1.22.4ubuntu5) ... 329s Setting up dpkg-dev (1.22.4ubuntu5) ... 329s Setting up autopkgtest-satdep (0) ... 329s Processing triggers for man-db (2.12.0-3) ... 329s Processing triggers for libc-bin (2.39-0ubuntu2) ... 332s (Reading database ... 51898 files and directories currently installed.) 332s Removing autopkgtest-satdep (0) ... 333s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B] 333s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB] 333s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB] 334s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC 334s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 334s gpgv: Can't check signature: No public key 334s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found 334s autopkgtest [00:04:39]: testing package frama-c version 20220511-manganese-5build5 335s autopkgtest [00:04:40]: build not needed 435s autopkgtest [00:06:20]: test eva: preparing testbed 439s Reading package lists... 439s Building dependency tree... 439s Reading state information... 439s Starting pkgProblemResolver with broken count: 0 440s Starting 2 pkgProblemResolver with broken count: 0 440s Done 440s The following additional packages will be installed: 440s adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-s390x-linux-gnu 440s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 440s fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc 440s gcc-13 gcc-13-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 440s hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0 440s libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data 440s libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 440s libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev 440s libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml 440s libfontconfig1 libfreetype6 libgcc-13-dev libgdk-pixbuf-2.0-0 440s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common 440s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libisl23 440s libitm1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 440s liblablgtksourceview3-ocaml liblcms2-2 libmpc3 libncurses-dev libnsl-dev 440s libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 440s libpixman-1-0 libppx-deriving-ocaml libppx-import-ocaml libresult-ocaml 440s libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 440s libthai-data libthai0 libtiff6 libtirpc-dev libubsan1 libwayland-client0 440s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 440s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 440s libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml 440s ocaml-base ocaml-interp rpcsvc-proto ubuntu-mono 440s Suggested packages: 440s cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 440s automake libtool flex bison gdb gcc-doc gcc-13-multilib gcc-13-doc 440s gdb-s390x-linux-gnu glibc-doc colord cups-common gvfs liblcms2-utils 440s ncurses-doc ocaml-doc elpa-tuareg 440s Recommended packages: 440s librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev 440s libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man 440s ledit | readline-editor 440s The following NEW packages will be installed: 440s adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-13 440s cpp-13-s390x-linux-gnu cpp-s390x-linux-gnu dconf-gsettings-backend 440s dconf-service fontconfig fontconfig-config fonts-dejavu-core 440s fonts-dejavu-mono frama-c-base gcc gcc-13 gcc-13-s390x-linux-gnu 440s gcc-s390x-linux-gnu gtk-update-icon-cache hicolor-icon-theme 440s humanity-icon-theme libasan8 libatk-bridge2.0-0 libatk1.0-0 libatomic1 440s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 440s libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 440s libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2 libdatrie1 440s libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6 440s libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 440s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 440s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 440s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 440s liblcms2-2 libmpc3 libncurses-dev libnsl-dev libocamlgraph-ocaml-dev 440s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 440s libppx-deriving-ocaml libppx-import-ocaml libresult-ocaml libsexplib0-ocaml 440s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 440s libtiff6 libtirpc-dev libubsan1 libwayland-client0 libwayland-cursor0 440s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 440s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 440s libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base 440s ocaml-interp rpcsvc-proto ubuntu-mono 440s 0 upgraded, 106 newly installed, 0 to remove and 0 not upgraded. 440s Need to get 271 MB/271 MB of archives. 440s After this operation, 991 MB of additional disk space will be used. 440s Get:1 /tmp/autopkgtest.1v9lBg/2-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B] 440s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 440s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 441s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 441s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 441s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 441s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 441s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 441s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 441s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 441s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 441s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 441s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 441s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 441s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 441s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 441s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libisl23 s390x 0.26-3 [722 kB] 441s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x libmpc3 s390x 1.3.1-1 [54.9 kB] 441s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13-s390x-linux-gnu s390x 13.2.0-17ubuntu2 [9929 kB] 442s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13 s390x 13.2.0-17ubuntu2 [1026 B] 442s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x cpp-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [5308 B] 442s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x cpp s390x 4:13.2.0-7ubuntu1 [22.4 kB] 442s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 442s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 442s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 442s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 442s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 442s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 442s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 442s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 442s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 442s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 442s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 442s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 442s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 442s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 442s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 442s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 442s Get:39 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 442s Get:40 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 442s Get:41 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 442s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 442s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 442s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 442s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 442s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 442s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 442s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 442s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 442s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 442s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 442s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 442s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 442s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 442s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 442s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 442s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 442s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 442s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 442s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 442s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 442s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 442s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 442s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 442s Get:65 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 442s Get:66 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 442s Get:67 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 442s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 442s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 442s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 442s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 442s Get:72 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 442s Get:73 http://ftpmaster.internal/ubuntu noble/universe s390x libfindlib-ocaml s390x 1.9.6-1build3 [199 kB] 442s Get:74 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 443s Get:75 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 443s Get:76 http://ftpmaster.internal/ubuntu noble/universe s390x libresult-ocaml s390x 1.5-4build1 [7308 B] 443s Get:77 http://ftpmaster.internal/ubuntu noble/universe s390x libsexplib0-ocaml s390x 0.16.0-3build2 [128 kB] 443s Get:78 http://ftpmaster.internal/ubuntu noble/universe s390x libppx-deriving-ocaml s390x 5.2.1-4build2 [4687 kB] 443s Get:79 http://ftpmaster.internal/ubuntu noble/universe s390x libyojson-ocaml s390x 2.1.2-1 [686 kB] 443s Get:80 http://ftpmaster.internal/ubuntu noble/universe s390x libzarith-ocaml s390x 1.13-2build3 [125 kB] 443s Get:81 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml-dev s390x 4.14.1-1ubuntu1 [8204 kB] 443s Get:82 http://ftpmaster.internal/ubuntu noble/universe s390x libcompiler-libs-ocaml-dev s390x 4.14.1-1ubuntu1 [37.5 MB] 444s Get:83 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-interp s390x 4.14.1-1ubuntu1 [7825 kB] 444s Get:84 http://ftpmaster.internal/ubuntu noble/main s390x libc-dev-bin s390x 2.39-0ubuntu2 [20.2 kB] 444s Get:85 http://ftpmaster.internal/ubuntu noble/main s390x linux-libc-dev s390x 6.8.0-11.11 [1590 kB] 444s Get:86 http://ftpmaster.internal/ubuntu noble/main s390x libcrypt-dev s390x 1:4.4.36-4 [135 kB] 444s Get:87 http://ftpmaster.internal/ubuntu noble/main s390x libtirpc-dev s390x 1.3.4+ds-1build1 [225 kB] 444s Get:88 http://ftpmaster.internal/ubuntu noble/main s390x libnsl-dev s390x 1.3.0-3 [73.5 kB] 444s Get:89 http://ftpmaster.internal/ubuntu noble/main s390x rpcsvc-proto s390x 1.4.2-0ubuntu6 [64.7 kB] 444s Get:90 http://ftpmaster.internal/ubuntu noble/main s390x libc6-dev s390x 2.39-0ubuntu2 [1629 kB] 444s Get:91 http://ftpmaster.internal/ubuntu noble/main s390x libncurses-dev s390x 6.4+20240113-1ubuntu1 [412 kB] 445s Get:92 http://ftpmaster.internal/ubuntu noble/main s390x libcc1-0 s390x 14-20240303-1ubuntu1 [49.9 kB] 445s Get:93 http://ftpmaster.internal/ubuntu noble/main s390x libgomp1 s390x 14-20240303-1ubuntu1 [151 kB] 445s Get:94 http://ftpmaster.internal/ubuntu noble/main s390x libitm1 s390x 14-20240303-1ubuntu1 [31.1 kB] 445s Get:95 http://ftpmaster.internal/ubuntu noble/main s390x libatomic1 s390x 14-20240303-1ubuntu1 [9392 B] 445s Get:96 http://ftpmaster.internal/ubuntu noble/main s390x libasan8 s390x 14-20240303-1ubuntu1 [2998 kB] 445s Get:97 http://ftpmaster.internal/ubuntu noble/main s390x libubsan1 s390x 14-20240303-1ubuntu1 [1186 kB] 445s Get:98 http://ftpmaster.internal/ubuntu noble/main s390x libgcc-13-dev s390x 13.2.0-17ubuntu2 [1003 kB] 445s Get:99 http://ftpmaster.internal/ubuntu noble/main s390x gcc-13-s390x-linux-gnu s390x 13.2.0-17ubuntu2 [19.1 MB] 445s Get:100 http://ftpmaster.internal/ubuntu noble/main s390x gcc-13 s390x 13.2.0-17ubuntu2 [467 kB] 445s Get:101 http://ftpmaster.internal/ubuntu noble/main s390x gcc-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [1208 B] 445s Get:102 http://ftpmaster.internal/ubuntu noble/main s390x gcc s390x 4:13.2.0-7ubuntu1 [5014 B] 445s Get:103 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml s390x 4.14.1-1ubuntu1 [82.0 MB] 450s Get:104 http://ftpmaster.internal/ubuntu noble/universe s390x libocamlgraph-ocaml-dev s390x 2.1.0-1build1 [6076 kB] 450s Get:105 http://ftpmaster.internal/ubuntu noble/universe s390x libppx-import-ocaml s390x 1.10.0-3build2 [67.2 kB] 450s Get:106 http://ftpmaster.internal/ubuntu noble/universe s390x frama-c-base s390x 20220511-manganese-5build5 [65.0 MB] 454s Fetched 271 MB in 13s (20.6 MB/s) 454s Selecting previously unselected package libgdk-pixbuf2.0-common. 454s (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 ... 51898 files and directories currently installed.) 454s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 454s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 454s Selecting previously unselected package libjpeg-turbo8:s390x. 454s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 454s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 454s Selecting previously unselected package libjpeg8:s390x. 454s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_s390x.deb ... 454s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 454s Selecting previously unselected package libdeflate0:s390x. 454s Preparing to unpack .../003-libdeflate0_1.19-1_s390x.deb ... 454s Unpacking libdeflate0:s390x (1.19-1) ... 455s Selecting previously unselected package libjbig0:s390x. 455s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 455s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 455s Selecting previously unselected package libsharpyuv0:s390x. 455s Preparing to unpack .../005-libsharpyuv0_1.3.2-0.4_s390x.deb ... 455s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 455s Selecting previously unselected package libwebp7:s390x. 455s Preparing to unpack .../006-libwebp7_1.3.2-0.4_s390x.deb ... 455s Unpacking libwebp7:s390x (1.3.2-0.4) ... 455s Selecting previously unselected package libtiff6:s390x. 455s Preparing to unpack .../007-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 455s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 455s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 455s Preparing to unpack .../008-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 455s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 455s Selecting previously unselected package gtk-update-icon-cache. 455s Preparing to unpack .../009-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 455s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 455s Selecting previously unselected package hicolor-icon-theme. 455s Preparing to unpack .../010-hicolor-icon-theme_0.17-2_all.deb ... 455s Unpacking hicolor-icon-theme (0.17-2) ... 455s Selecting previously unselected package humanity-icon-theme. 455s Preparing to unpack .../011-humanity-icon-theme_0.6.16_all.deb ... 455s Unpacking humanity-icon-theme (0.6.16) ... 456s Selecting previously unselected package ubuntu-mono. 456s Preparing to unpack .../012-ubuntu-mono_24.04-0ubuntu1_all.deb ... 456s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 456s Selecting previously unselected package adwaita-icon-theme. 456s Preparing to unpack .../013-adwaita-icon-theme_46~rc-1_all.deb ... 456s Unpacking adwaita-icon-theme (46~rc-1) ... 456s Selecting previously unselected package at-spi2-common. 456s Preparing to unpack .../014-at-spi2-common_2.50.0-1_all.deb ... 456s Unpacking at-spi2-common (2.50.0-1) ... 456s Selecting previously unselected package libisl23:s390x. 456s Preparing to unpack .../015-libisl23_0.26-3_s390x.deb ... 456s Unpacking libisl23:s390x (0.26-3) ... 456s Selecting previously unselected package libmpc3:s390x. 456s Preparing to unpack .../016-libmpc3_1.3.1-1_s390x.deb ... 456s Unpacking libmpc3:s390x (1.3.1-1) ... 456s Selecting previously unselected package cpp-13-s390x-linux-gnu. 456s Preparing to unpack .../017-cpp-13-s390x-linux-gnu_13.2.0-17ubuntu2_s390x.deb ... 456s Unpacking cpp-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 457s Selecting previously unselected package cpp-13. 457s Preparing to unpack .../018-cpp-13_13.2.0-17ubuntu2_s390x.deb ... 457s Unpacking cpp-13 (13.2.0-17ubuntu2) ... 457s Selecting previously unselected package cpp-s390x-linux-gnu. 457s Preparing to unpack .../019-cpp-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ... 457s Unpacking cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 457s Selecting previously unselected package cpp. 457s Preparing to unpack .../020-cpp_4%3a13.2.0-7ubuntu1_s390x.deb ... 457s Unpacking cpp (4:13.2.0-7ubuntu1) ... 457s Selecting previously unselected package libdconf1:s390x. 457s Preparing to unpack .../021-libdconf1_0.40.0-4_s390x.deb ... 457s Unpacking libdconf1:s390x (0.40.0-4) ... 457s Selecting previously unselected package dconf-service. 457s Preparing to unpack .../022-dconf-service_0.40.0-4_s390x.deb ... 457s Unpacking dconf-service (0.40.0-4) ... 457s Selecting previously unselected package dconf-gsettings-backend:s390x. 457s Preparing to unpack .../023-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 457s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 457s Selecting previously unselected package libfreetype6:s390x. 457s Preparing to unpack .../024-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 457s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 457s Selecting previously unselected package fonts-dejavu-mono. 457s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ... 457s Unpacking fonts-dejavu-mono (2.37-8) ... 457s Selecting previously unselected package fonts-dejavu-core. 457s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ... 457s Unpacking fonts-dejavu-core (2.37-8) ... 457s Selecting previously unselected package fontconfig-config. 457s Preparing to unpack .../027-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 457s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 457s Selecting previously unselected package libfontconfig1:s390x. 457s Preparing to unpack .../028-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 457s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 457s Selecting previously unselected package fontconfig. 457s Preparing to unpack .../029-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 457s Unpacking fontconfig (2.15.0-1ubuntu1) ... 457s Selecting previously unselected package libpixman-1-0:s390x. 457s Preparing to unpack .../030-libpixman-1-0_0.42.2-1_s390x.deb ... 457s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 457s Selecting previously unselected package libxcb-render0:s390x. 457s Preparing to unpack .../031-libxcb-render0_1.15-1_s390x.deb ... 457s Unpacking libxcb-render0:s390x (1.15-1) ... 457s Selecting previously unselected package libxcb-shm0:s390x. 457s Preparing to unpack .../032-libxcb-shm0_1.15-1_s390x.deb ... 457s Unpacking libxcb-shm0:s390x (1.15-1) ... 458s Selecting previously unselected package libxrender1:s390x. 458s Preparing to unpack .../033-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 458s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 458s Selecting previously unselected package libcairo2:s390x. 458s Preparing to unpack .../034-libcairo2_1.18.0-1_s390x.deb ... 458s Unpacking libcairo2:s390x (1.18.0-1) ... 458s Selecting previously unselected package libatk1.0-0:s390x. 458s Preparing to unpack .../035-libatk1.0-0_2.50.0-1_s390x.deb ... 458s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 458s Selecting previously unselected package libxi6:s390x. 458s Preparing to unpack .../036-libxi6_2%3a1.8.1-1_s390x.deb ... 458s Unpacking libxi6:s390x (2:1.8.1-1) ... 458s Selecting previously unselected package libatspi2.0-0:s390x. 458s Preparing to unpack .../037-libatspi2.0-0_2.50.0-1_s390x.deb ... 458s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 458s Selecting previously unselected package libatk-bridge2.0-0:s390x. 458s Preparing to unpack .../038-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 458s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 458s Selecting previously unselected package libcairo-gobject2:s390x. 458s Preparing to unpack .../039-libcairo-gobject2_1.18.0-1_s390x.deb ... 458s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 458s Selecting previously unselected package liblcms2-2:s390x. 458s Preparing to unpack .../040-liblcms2-2_2.14-2_s390x.deb ... 458s Unpacking liblcms2-2:s390x (2.14-2) ... 458s Selecting previously unselected package libcolord2:s390x. 458s Preparing to unpack .../041-libcolord2_1.4.7-1_s390x.deb ... 458s Unpacking libcolord2:s390x (1.4.7-1) ... 458s Selecting previously unselected package libavahi-common-data:s390x. 458s Preparing to unpack .../042-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 458s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 458s Selecting previously unselected package libavahi-common3:s390x. 458s Preparing to unpack .../043-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 458s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 458s Selecting previously unselected package libavahi-client3:s390x. 458s Preparing to unpack .../044-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 458s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 458s Selecting previously unselected package libcups2:s390x. 458s Preparing to unpack .../045-libcups2_2.4.6-0ubuntu3_s390x.deb ... 458s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 458s Selecting previously unselected package libepoxy0:s390x. 458s Preparing to unpack .../046-libepoxy0_1.5.10-1_s390x.deb ... 458s Unpacking libepoxy0:s390x (1.5.10-1) ... 458s Selecting previously unselected package libgraphite2-3:s390x. 458s Preparing to unpack .../047-libgraphite2-3_1.3.14-2_s390x.deb ... 458s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 458s Selecting previously unselected package libharfbuzz0b:s390x. 458s Preparing to unpack .../048-libharfbuzz0b_8.3.0-2_s390x.deb ... 458s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 458s Selecting previously unselected package libthai-data. 458s Preparing to unpack .../049-libthai-data_0.1.29-2_all.deb ... 458s Unpacking libthai-data (0.1.29-2) ... 458s Selecting previously unselected package libdatrie1:s390x. 458s Preparing to unpack .../050-libdatrie1_0.2.13-3_s390x.deb ... 458s Unpacking libdatrie1:s390x (0.2.13-3) ... 458s Selecting previously unselected package libthai0:s390x. 458s Preparing to unpack .../051-libthai0_0.1.29-2_s390x.deb ... 458s Unpacking libthai0:s390x (0.1.29-2) ... 458s Selecting previously unselected package libpango-1.0-0:s390x. 458s Preparing to unpack .../052-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 458s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 458s Selecting previously unselected package libpangoft2-1.0-0:s390x. 458s Preparing to unpack .../053-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 458s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 458s Selecting previously unselected package libpangocairo-1.0-0:s390x. 458s Preparing to unpack .../054-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 458s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 458s Selecting previously unselected package libwayland-client0:s390x. 458s Preparing to unpack .../055-libwayland-client0_1.22.0-2.1_s390x.deb ... 458s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 458s Selecting previously unselected package libwayland-cursor0:s390x. 458s Preparing to unpack .../056-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 458s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 458s Selecting previously unselected package libwayland-egl1:s390x. 458s Preparing to unpack .../057-libwayland-egl1_1.22.0-2.1_s390x.deb ... 458s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 458s Selecting previously unselected package libxcomposite1:s390x. 458s Preparing to unpack .../058-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 458s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 458s Selecting previously unselected package libxfixes3:s390x. 458s Preparing to unpack .../059-libxfixes3_1%3a6.0.0-2_s390x.deb ... 458s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 458s Selecting previously unselected package libxcursor1:s390x. 458s Preparing to unpack .../060-libxcursor1_1%3a1.2.1-1_s390x.deb ... 458s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 458s Selecting previously unselected package libxdamage1:s390x. 458s Preparing to unpack .../061-libxdamage1_1%3a1.1.6-1_s390x.deb ... 458s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 458s Selecting previously unselected package libxinerama1:s390x. 458s Preparing to unpack .../062-libxinerama1_2%3a1.1.4-3_s390x.deb ... 458s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 458s Selecting previously unselected package libxrandr2:s390x. 458s Preparing to unpack .../063-libxrandr2_2%3a1.5.2-2_s390x.deb ... 458s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 458s Selecting previously unselected package libgtk-3-common. 458s Preparing to unpack .../064-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 458s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 459s Selecting previously unselected package libgtk-3-0:s390x. 459s Preparing to unpack .../065-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 459s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 459s Selecting previously unselected package libgtksourceview-3.0-common. 459s Preparing to unpack .../066-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 459s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 459s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 459s Preparing to unpack .../067-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 459s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 459s Selecting previously unselected package libstdlib-ocaml. 459s Preparing to unpack .../068-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 459s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 459s Selecting previously unselected package ocaml-base. 459s Preparing to unpack .../069-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 459s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 459s Selecting previously unselected package libcairo2-ocaml. 459s Preparing to unpack .../070-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 459s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 459s Selecting previously unselected package libfindlib-ocaml. 459s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-1build3_s390x.deb ... 459s Unpacking libfindlib-ocaml (1.9.6-1build3) ... 459s Selecting previously unselected package liblablgtk3-ocaml. 459s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 459s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 459s Selecting previously unselected package liblablgtksourceview3-ocaml. 459s Preparing to unpack .../073-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 459s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 459s Selecting previously unselected package libresult-ocaml. 459s Preparing to unpack .../074-libresult-ocaml_1.5-4build1_s390x.deb ... 459s Unpacking libresult-ocaml (1.5-4build1) ... 459s Selecting previously unselected package libsexplib0-ocaml. 459s Preparing to unpack .../075-libsexplib0-ocaml_0.16.0-3build2_s390x.deb ... 459s Unpacking libsexplib0-ocaml (0.16.0-3build2) ... 459s Selecting previously unselected package libppx-deriving-ocaml. 459s Preparing to unpack .../076-libppx-deriving-ocaml_5.2.1-4build2_s390x.deb ... 459s Unpacking libppx-deriving-ocaml (5.2.1-4build2) ... 459s Selecting previously unselected package libyojson-ocaml. 459s Preparing to unpack .../077-libyojson-ocaml_2.1.2-1_s390x.deb ... 459s Unpacking libyojson-ocaml (2.1.2-1) ... 459s Selecting previously unselected package libzarith-ocaml. 459s Preparing to unpack .../078-libzarith-ocaml_1.13-2build3_s390x.deb ... 459s Unpacking libzarith-ocaml (1.13-2build3) ... 459s Selecting previously unselected package libstdlib-ocaml-dev. 459s Preparing to unpack .../079-libstdlib-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ... 459s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 460s Selecting previously unselected package libcompiler-libs-ocaml-dev. 460s Preparing to unpack .../080-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ... 460s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 461s Selecting previously unselected package ocaml-interp. 461s Preparing to unpack .../081-ocaml-interp_4.14.1-1ubuntu1_s390x.deb ... 461s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 462s Selecting previously unselected package libc-dev-bin. 462s Preparing to unpack .../082-libc-dev-bin_2.39-0ubuntu2_s390x.deb ... 462s Unpacking libc-dev-bin (2.39-0ubuntu2) ... 462s Selecting previously unselected package linux-libc-dev:s390x. 462s Preparing to unpack .../083-linux-libc-dev_6.8.0-11.11_s390x.deb ... 462s Unpacking linux-libc-dev:s390x (6.8.0-11.11) ... 462s Selecting previously unselected package libcrypt-dev:s390x. 462s Preparing to unpack .../084-libcrypt-dev_1%3a4.4.36-4_s390x.deb ... 462s Unpacking libcrypt-dev:s390x (1:4.4.36-4) ... 462s Selecting previously unselected package libtirpc-dev:s390x. 462s Preparing to unpack .../085-libtirpc-dev_1.3.4+ds-1build1_s390x.deb ... 462s Unpacking libtirpc-dev:s390x (1.3.4+ds-1build1) ... 462s Selecting previously unselected package libnsl-dev:s390x. 462s Preparing to unpack .../086-libnsl-dev_1.3.0-3_s390x.deb ... 462s Unpacking libnsl-dev:s390x (1.3.0-3) ... 462s Selecting previously unselected package rpcsvc-proto. 462s Preparing to unpack .../087-rpcsvc-proto_1.4.2-0ubuntu6_s390x.deb ... 462s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ... 462s Selecting previously unselected package libc6-dev:s390x. 462s Preparing to unpack .../088-libc6-dev_2.39-0ubuntu2_s390x.deb ... 462s Unpacking libc6-dev:s390x (2.39-0ubuntu2) ... 462s Selecting previously unselected package libncurses-dev:s390x. 462s Preparing to unpack .../089-libncurses-dev_6.4+20240113-1ubuntu1_s390x.deb ... 462s Unpacking libncurses-dev:s390x (6.4+20240113-1ubuntu1) ... 462s Selecting previously unselected package libcc1-0:s390x. 462s Preparing to unpack .../090-libcc1-0_14-20240303-1ubuntu1_s390x.deb ... 462s Unpacking libcc1-0:s390x (14-20240303-1ubuntu1) ... 462s Selecting previously unselected package libgomp1:s390x. 462s Preparing to unpack .../091-libgomp1_14-20240303-1ubuntu1_s390x.deb ... 462s Unpacking libgomp1:s390x (14-20240303-1ubuntu1) ... 462s Selecting previously unselected package libitm1:s390x. 462s Preparing to unpack .../092-libitm1_14-20240303-1ubuntu1_s390x.deb ... 462s Unpacking libitm1:s390x (14-20240303-1ubuntu1) ... 462s Selecting previously unselected package libatomic1:s390x. 462s Preparing to unpack .../093-libatomic1_14-20240303-1ubuntu1_s390x.deb ... 462s Unpacking libatomic1:s390x (14-20240303-1ubuntu1) ... 462s Selecting previously unselected package libasan8:s390x. 462s Preparing to unpack .../094-libasan8_14-20240303-1ubuntu1_s390x.deb ... 462s Unpacking libasan8:s390x (14-20240303-1ubuntu1) ... 462s Selecting previously unselected package libubsan1:s390x. 462s Preparing to unpack .../095-libubsan1_14-20240303-1ubuntu1_s390x.deb ... 462s Unpacking libubsan1:s390x (14-20240303-1ubuntu1) ... 463s Selecting previously unselected package libgcc-13-dev:s390x. 463s Preparing to unpack .../096-libgcc-13-dev_13.2.0-17ubuntu2_s390x.deb ... 463s Unpacking libgcc-13-dev:s390x (13.2.0-17ubuntu2) ... 463s Selecting previously unselected package gcc-13-s390x-linux-gnu. 463s Preparing to unpack .../097-gcc-13-s390x-linux-gnu_13.2.0-17ubuntu2_s390x.deb ... 463s Unpacking gcc-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 463s Selecting previously unselected package gcc-13. 463s Preparing to unpack .../098-gcc-13_13.2.0-17ubuntu2_s390x.deb ... 463s Unpacking gcc-13 (13.2.0-17ubuntu2) ... 463s Selecting previously unselected package gcc-s390x-linux-gnu. 463s Preparing to unpack .../099-gcc-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ... 463s Unpacking gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 463s Selecting previously unselected package gcc. 463s Preparing to unpack .../100-gcc_4%3a13.2.0-7ubuntu1_s390x.deb ... 463s Unpacking gcc (4:13.2.0-7ubuntu1) ... 463s Selecting previously unselected package ocaml. 463s Preparing to unpack .../101-ocaml_4.14.1-1ubuntu1_s390x.deb ... 463s Unpacking ocaml (4.14.1-1ubuntu1) ... 466s Selecting previously unselected package libocamlgraph-ocaml-dev. 466s Preparing to unpack .../102-libocamlgraph-ocaml-dev_2.1.0-1build1_s390x.deb ... 466s Unpacking libocamlgraph-ocaml-dev (2.1.0-1build1) ... 466s Selecting previously unselected package libppx-import-ocaml. 466s Preparing to unpack .../103-libppx-import-ocaml_1.10.0-3build2_s390x.deb ... 466s Unpacking libppx-import-ocaml (1.10.0-3build2) ... 466s Selecting previously unselected package frama-c-base. 466s Preparing to unpack .../104-frama-c-base_20220511-manganese-5build5_s390x.deb ... 466s Unpacking frama-c-base (20220511-manganese-5build5) ... 469s Selecting previously unselected package autopkgtest-satdep. 469s Preparing to unpack .../105-2-autopkgtest-satdep.deb ... 469s Unpacking autopkgtest-satdep (0) ... 469s Setting up libgraphite2-3:s390x (1.3.14-2) ... 469s Setting up liblcms2-2:s390x (2.14-2) ... 469s Setting up libpixman-1-0:s390x (0.42.2-1) ... 469s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 469s Setting up libxdamage1:s390x (1:1.1.6-1) ... 469s Setting up hicolor-icon-theme (0.17-2) ... 469s Setting up libxi6:s390x (2:1.8.1-1) ... 469s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 469s Setting up libdatrie1:s390x (0.2.13-3) ... 469s Setting up libxcb-render0:s390x (1.15-1) ... 469s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 469s Setting up libdeflate0:s390x (1.19-1) ... 469s Setting up linux-libc-dev:s390x (6.8.0-11.11) ... 469s Setting up libxcb-shm0:s390x (1.15-1) ... 469s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 469s Setting up libgomp1:s390x (14-20240303-1ubuntu1) ... 469s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 469s Setting up libcolord2:s390x (1.4.7-1) ... 469s Setting up libdconf1:s390x (0.40.0-4) ... 469s Setting up libtirpc-dev:s390x (1.3.4+ds-1build1) ... 469s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ... 469s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 469s Setting up libepoxy0:s390x (1.5.10-1) ... 469s Setting up libxfixes3:s390x (1:6.0.0-2) ... 469s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 469s Setting up libxinerama1:s390x (2:1.1.4-3) ... 469s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 469s Setting up fonts-dejavu-mono (2.37-8) ... 469s Setting up libmpc3:s390x (1.3.1-1) ... 469s Setting up libatomic1:s390x (14-20240303-1ubuntu1) ... 469s Setting up libxrandr2:s390x (2:1.5.2-2) ... 469s Setting up ocaml-base (4.14.1-1ubuntu1) ... 469s Setting up fonts-dejavu-core (2.37-8) ... 469s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 469s Setting up libwebp7:s390x (1.3.2-0.4) ... 469s Setting up libubsan1:s390x (14-20240303-1ubuntu1) ... 469s Setting up libsexplib0-ocaml (0.16.0-3build2) ... 469s Setting up libnsl-dev:s390x (1.3.0-3) ... 469s Setting up at-spi2-common (2.50.0-1) ... 469s Setting up libcrypt-dev:s390x (1:4.4.36-4) ... 469s Setting up libasan8:s390x (14-20240303-1ubuntu1) ... 469s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 469s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 469s Setting up libthai-data (0.1.29-2) ... 469s Setting up libatk1.0-0:s390x (2.50.0-1) ... 469s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 469s Setting up libisl23:s390x (0.26-3) ... 469s Setting up libc-dev-bin (2.39-0ubuntu2) ... 469s Setting up libresult-ocaml (1.5-4build1) ... 469s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 469s Setting up libcc1-0:s390x (14-20240303-1ubuntu1) ... 469s Setting up libitm1:s390x (14-20240303-1ubuntu1) ... 469s Setting up libppx-import-ocaml (1.10.0-3build2) ... 469s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 469s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 469s Setting up libppx-deriving-ocaml (5.2.1-4build2) ... 469s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 469s Setting up libyojson-ocaml (2.1.2-1) ... 469s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 469s Setting up libxcursor1:s390x (1:1.2.1-1) ... 469s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 469s Setting up libfindlib-ocaml (1.9.6-1build3) ... 469s Setting up dconf-service (0.40.0-4) ... 469s Setting up libzarith-ocaml (1.13-2build3) ... 469s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 469s Setting up libthai0:s390x (0.1.29-2) ... 469s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 469s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 469s Setting up cpp-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 469s Setting up libgcc-13-dev:s390x (13.2.0-17ubuntu2) ... 469s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 469s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 469s Setting up libc6-dev:s390x (2.39-0ubuntu2) ... 469s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 469s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 469s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 469s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 469s Setting up fontconfig (2.15.0-1ubuntu1) ... 471s Regenerating fonts cache... done. 471s Setting up libncurses-dev:s390x (6.4+20240113-1ubuntu1) ... 471s Setting up cpp-13 (13.2.0-17ubuntu2) ... 471s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 471s Setting up cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 471s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 471s Setting up libcairo2:s390x (1.18.0-1) ... 471s Setting up gcc-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 471s Setting up gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 471s Setting up gcc-13 (13.2.0-17ubuntu2) ... 471s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 471s Setting up cpp (4:13.2.0-7ubuntu1) ... 471s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 471s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 471s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 471s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 471s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 471s Setting up gcc (4:13.2.0-7ubuntu1) ... 471s Setting up ocaml (4.14.1-1ubuntu1) ... 471s Setting up libocamlgraph-ocaml-dev (2.1.0-1build1) ... 471s Setting up adwaita-icon-theme (46~rc-1) ... 471s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 471s Setting up humanity-icon-theme (0.6.16) ... 471s Setting up ubuntu-mono (24.04-0ubuntu1) ... 472s Processing triggers for man-db (2.12.0-3) ... 473s Processing triggers for libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 473s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 473s Processing triggers for libc-bin (2.39-0ubuntu2) ... 473s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 473s Setting up liblablgtk3-ocaml (3.1.4-1) ... 473s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 473s Setting up frama-c-base (20220511-manganese-5build5) ... 473s Setting up autopkgtest-satdep (0) ... 473s Processing triggers for libc-bin (2.39-0ubuntu2) ... 479s (Reading database ... 71314 files and directories currently installed.) 479s Removing autopkgtest-satdep (0) ... 479s autopkgtest [00:07:04]: test eva: [----------------------- 480s autopkgtest [00:07:05]: test eva: -----------------------] 481s eva PASS 481s autopkgtest [00:07:06]: test eva: - - - - - - - - - - results - - - - - - - - - - 482s autopkgtest [00:07:07]: test wp: preparing testbed 491s Reading package lists... 491s Building dependency tree... 491s Reading state information... 492s Starting pkgProblemResolver with broken count: 1 492s Starting 2 pkgProblemResolver with broken count: 1 492s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 492s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0) 492s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un umH > 492s Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998 492s Re-Instated tex-common:s390x 492s Re-Instated why3:s390x 492s Done 492s Some packages could not be installed. This may mean that you have 492s requested an impossible situation or if you are using the unstable 492s distribution that some required packages have not yet been created 492s or been moved out of Incoming. 492s The following information may help to resolve the situation: 492s 492s The following packages have unmet dependencies: 492s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 492s E: Unable to correct problems, you have held broken packages. 492s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 493s Reading package lists... 493s Building dependency tree... 493s Reading state information... 493s Starting pkgProblemResolver with broken count: 1 493s Starting 2 pkgProblemResolver with broken count: 1 493s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 493s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0) 493s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build6 @un umH > 493s Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998 493s Re-Instated libglib2.0-0t64:s390x 493s Re-Instated libatk1.0-0t64:s390x 493s Re-Instated libatspi2.0-0t64:s390x 493s Re-Instated libatk-bridge2.0-0t64:s390x 493s Re-Instated libgtk-3-common:s390x 493s Re-Instated libgtk-3-0t64:s390x 493s Re-Instated tex-common:s390x 493s Re-Instated why3:s390x 493s Investigating (0) libatk1.0-0t64:s390x < none -> 2.51.90-3 @un uN Ib > 493s Broken libatk1.0-0t64:s390x Breaks on libatk1.0-0:s390x < 2.50.0-1 @ii mK > (< 2.51.90-3) 493s Considering libatk1.0-0:s390x 11 as a solution to libatk1.0-0t64:s390x 0 493s Holding Back libatk1.0-0t64:s390x rather than change libatk1.0-0:s390x 493s Investigating (0) libatk-bridge2.0-0t64:s390x < none -> 2.51.90-3 @un uN Ib > 493s Broken libatk-bridge2.0-0t64:s390x Depends on libatk1.0-0t64:s390x < none | 2.51.90-3 @un uH > (>= 2.51.90) 493s Considering libatk1.0-0t64:s390x 0 as a solution to libatk-bridge2.0-0t64:s390x 0 493s Holding Back libatk-bridge2.0-0t64:s390x rather than change libatk1.0-0t64:s390x 493s Investigating (0) libglib2.0-0t64:s390x < none -> 2.79.3-3ubuntu5 @un uN Ib > 493s Broken libglib2.0-0t64:s390x Breaks on libglib2.0-0:s390x < 2.79.2-1~ubuntu1 @ii mK > (< 2.79.3-3ubuntu5) 493s Considering libglib2.0-0:s390x 195 as a solution to libglib2.0-0t64:s390x 0 493s Holding Back libglib2.0-0t64:s390x rather than change libglib2.0-0:s390x 493s Investigating (0) libgtk-3-0t64:s390x < none -> 3.24.41-1.1ubuntu1 @un uN Ib > 493s Broken libgtk-3-0t64:s390x Depends on libatk-bridge2.0-0t64:s390x < none | 2.51.90-3 @un uH > (>= 2.15.1) 493s Considering libatk-bridge2.0-0t64:s390x 0 as a solution to libgtk-3-0t64:s390x 0 493s Holding Back libgtk-3-0t64:s390x rather than change libatk-bridge2.0-0t64:s390x 493s Investigating (0) libatspi2.0-0t64:s390x < none -> 2.51.90-3 @un uN Ib > 493s Broken libatspi2.0-0t64:s390x Depends on libglib2.0-0t64:s390x < none | 2.79.3-3ubuntu5 @un uH > (>= 2.79.0) 493s Considering libglib2.0-0t64:s390x 0 as a solution to libatspi2.0-0t64:s390x 0 493s Holding Back libatspi2.0-0t64:s390x rather than change libglib2.0-0t64:s390x 493s Investigating (1) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 493s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0) 493s Investigating (1) why3:s390x < none -> 1.6.0-1build6 @un umN Ib > 493s Broken why3:s390x Depends on libglib2.0-0t64:s390x < none | 2.79.3-3ubuntu5 @un uH > (>= 2.36.0) 493s Considering libglib2.0-0t64:s390x 0 as a solution to why3:s390x 2 493s Holding Back why3:s390x rather than change libglib2.0-0t64:s390x 493s Investigating (2) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 493s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0) 493s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build6 @un umH > 493s Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998 493s Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998 493s Done 493s Some packages could not be installed. This may mean that you have 493s requested an impossible situation or if you are using the unstable 493s distribution that some required packages have not yet been created 493s or been moved out of Incoming. 493s The following information may help to resolve the situation: 493s 493s The following packages have unmet dependencies: 493s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 493s Depends: why3 but it is not going to be installed 493s E: Unable to correct problems, you have held broken packages. 493s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 494s wp SKIP installation fails and skip-not-installable set 494s autopkgtest [00:07:19]: @@@@@@@@@@@@@@@@@@@@ summary 494s eva PASS 494s wp SKIP installation fails and skip-not-installable set 534s Creating nova instance adt-noble-s390x-frama-c-20240313-235905-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-s390x-server-20240313.img (UUID c04a7140-3196-4d7e-8e52-1c3bf0b1e5bf)...