0s autopkgtest [19:26:47]: starting date: 2024-03-09 0s autopkgtest [19:26:47]: git checkout: d9c0295 adt_testbed.py: supress warnings from apt using a shell pipeline 0s autopkgtest [19:26:47]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.llfcc53c/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --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@bos01-arm64-11.secgroup --name adt-noble-arm64-frama-c-20240309-192647-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-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://us.ports.ubuntu.com/ubuntu-ports/ 109s autopkgtest [19:28:36]: @@@@@@@@@@@@@@@@@@@@ test bed setup 109s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 109s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [429 kB] 110s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [37.3 kB] 110s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2628 kB] 110s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [3976 B] 110s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [579 kB] 110s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 110s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 110s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 110s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [3023 kB] 110s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 110s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [39.6 kB] 110s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 112s Fetched 6888 kB in 1s (4869 kB/s) 112s Reading package lists... 116s Reading package lists... 117s Building dependency tree... 117s Reading state information... 117s Calculating upgrade... 117s The following packages were automatically installed and are no longer required: 117s libgdbm-compat4t64 libperl5.38 lto-disabled-list make perl-modules-5.38 117s Use 'sudo apt autoremove' to remove them. 117s The following packages will be REMOVED: 117s dpkg-dev libdpkg-perl libgdbm-compat4 libgdbm6 perl 117s The following NEW packages will be installed: 117s libgdbm-compat4t64 libgdbm6t64 117s The following packages have been kept back: 117s libperl5.38 117s The following packages will be upgraded: 117s perl-base perl-modules-5.38 python3-attr 118s 3 upgraded, 2 newly installed, 5 to remove and 1 not upgraded. 118s Need to get 4976 kB of archives. 118s After this operation, 4158 kB disk space will be freed. 118s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 perl-base arm64 5.38.2-3.2 [1777 kB] 118s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdbm6t64 arm64 1.23-5.1 [34.3 kB] 118s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgdbm-compat4t64 arm64 1.23-5.1 [6576 B] 118s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 perl-modules-5.38 all 5.38.2-3.2 [3110 kB] 118s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 python3-attr all 23.2.0-2 [48.6 kB] 119s Fetched 4976 kB in 1s (6637 kB/s) 119s (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 ... 75856 files and directories currently installed.) 119s Removing dpkg-dev (1.22.4ubuntu5) ... 119s Removing libdpkg-perl (1.22.4ubuntu5) ... 119s Removing perl (5.38.2-3) ... 119s (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 ... 75275 files and directories currently installed.) 119s Preparing to unpack .../perl-base_5.38.2-3.2_arm64.deb ... 119s Unpacking perl-base (5.38.2-3.2) over (5.38.2-3) ... 119s Setting up perl-base (5.38.2-3.2) ... 119s dpkg: libgdbm6:arm64: dependency problems, but removing anyway as you requested: 119s python3-gdbm:arm64 depends on libgdbm6 (>= 1.16). 119s man-db depends on libgdbm6 (>= 1.16). 119s libperl5.38:arm64 depends on libgdbm6 (>= 1.21). 119s libgdbm-compat4:arm64 depends on libgdbm6 (>= 1.16). 119s 119s (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 ... 75275 files and directories currently installed.) 119s Removing libgdbm6:arm64 (1.23-5) ... 119s Selecting previously unselected package libgdbm6t64:arm64. 119s (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 ... 75270 files and directories currently installed.) 119s Preparing to unpack .../libgdbm6t64_1.23-5.1_arm64.deb ... 119s Unpacking libgdbm6t64:arm64 (1.23-5.1) ... 119s dpkg: libgdbm-compat4:arm64: dependency problems, but removing anyway as you requested: 119s libperl5.38:arm64 depends on libgdbm-compat4 (>= 1.18-3). 119s 119s (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 ... 75276 files and directories currently installed.) 119s Removing libgdbm-compat4:arm64 (1.23-5) ... 119s Selecting previously unselected package libgdbm-compat4t64:arm64. 119s (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 ... 75271 files and directories currently installed.) 119s Preparing to unpack .../libgdbm-compat4t64_1.23-5.1_arm64.deb ... 119s Unpacking libgdbm-compat4t64:arm64 (1.23-5.1) ... 119s Preparing to unpack .../perl-modules-5.38_5.38.2-3.2_all.deb ... 119s Unpacking perl-modules-5.38 (5.38.2-3.2) over (5.38.2-3) ... 120s Preparing to unpack .../python3-attr_23.2.0-2_all.deb ... 120s Unpacking python3-attr (23.2.0-2) over (23.2.0-1) ... 120s Setting up python3-attr (23.2.0-2) ... 120s Setting up libgdbm6t64:arm64 (1.23-5.1) ... 120s Setting up libgdbm-compat4t64:arm64 (1.23-5.1) ... 120s Setting up perl-modules-5.38 (5.38.2-3.2) ... 120s Processing triggers for man-db (2.12.0-3) ... 120s Processing triggers for libc-bin (2.39-0ubuntu2) ... 121s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 121s 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 121s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 121s 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 121s Reading package lists... 121s Building dependency tree... 121s Reading state information... 122s The following packages will be REMOVED: 122s libgdbm-compat4t64* libperl5.38* lto-disabled-list* make* perl-modules-5.38* 122s 0 upgraded, 0 newly installed, 5 to remove and 0 not upgraded. 122s After this operation, 52.0 MB disk space will be freed. 122s (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 ... 75277 files and directories currently installed.) 122s Removing libperl5.38:arm64 (5.38.2-3) ... 122s Removing libgdbm-compat4t64:arm64 (1.23-5.1) ... 122s Removing lto-disabled-list (47) ... 122s Removing make (4.3-4.1build1) ... 122s Removing perl-modules-5.38 (5.38.2-3.2) ... 122s Processing triggers for man-db (2.12.0-3) ... 122s Processing triggers for libc-bin (2.39-0ubuntu2) ... 123s sh: Attempting to set up Debian/Ubuntu apt sources automatically 123s sh: Distribution appears to be Ubuntu 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 124s eatmydata is already the newest version (131-1). 124s dbus is already the newest version (1.14.10-4ubuntu1). 124s dbus set to manually installed. 124s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 124s Reading package lists... 124s Building dependency tree... 124s Reading state information... 125s rng-tools-debian is already the newest version (2.4). 125s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 125s Reading package lists... 125s Building dependency tree... 125s Reading state information... 126s haveged is already the newest version (1.9.14-1ubuntu1). 126s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 126s Reading package lists... 126s Building dependency tree... 126s Reading state information... 127s The following additional packages will be installed: 127s libdb5.3t64 libdpkg-perl libgdbm-compat4t64 libperl5.38t64 lto-disabled-list 127s make perl perl-modules-5.38 127s Suggested packages: 127s debian-keyring gcc | c-compiler git bzr make-doc perl-doc 127s libterm-readline-gnu-perl | libterm-readline-perl-perl 127s libtap-harness-archive-perl 127s Recommended packages: 127s build-essential gcc | c-compiler fakeroot libalgorithm-merge-perl 127s libfile-fcntllock-perl 127s The following packages will be REMOVED: 127s libdb5.3 127s The following NEW packages will be installed: 127s dpkg-dev libdb5.3t64 libdpkg-perl libgdbm-compat4t64 libperl5.38t64 127s lto-disabled-list make perl perl-modules-5.38 127s 0 upgraded, 9 newly installed, 1 to remove and 0 not upgraded. 127s Need to get 7257 kB/10.4 MB of archives. 127s After this operation, 56.1 MB of additional disk space will be used. 127s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libdb5.3t64 arm64 5.3.28+dfsg2-5 [719 kB] 127s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libperl5.38t64 arm64 5.38.2-3.2 [4771 kB] 128s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 perl arm64 5.38.2-3.2 [231 kB] 128s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libdpkg-perl all 1.22.4ubuntu5 [268 kB] 128s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 make arm64 4.3-4.1build1 [177 kB] 128s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 lto-disabled-list all 47 [12.4 kB] 128s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 dpkg-dev all 1.22.4ubuntu5 [1078 kB] 128s Fetched 7257 kB in 1s (9797 kB/s) 128s dpkg: libdb5.3:arm64: dependency problems, but removing anyway as you requested: 128s libsasl2-modules-db:arm64 depends on libdb5.3. 128s libpython3.12-stdlib:arm64 depends on libdb5.3. 128s libpython3.11-stdlib:arm64 depends on libdb5.3. 128s libpam-modules:arm64 depends on libdb5.3. 128s iproute2 depends on libdb5.3. 128s apt-utils depends on libdb5.3. 128s 128s (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 ... 73306 files and directories currently installed.) 128s Removing libdb5.3:arm64 (5.3.28+dfsg2-4) ... 128s Selecting previously unselected package libdb5.3t64:arm64. 128s (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 ... 73300 files and directories currently installed.) 128s Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-5_arm64.deb ... 128s Unpacking libdb5.3t64:arm64 (5.3.28+dfsg2-5) ... 128s Setting up libdb5.3t64:arm64 (5.3.28+dfsg2-5) ... 128s Selecting previously unselected package perl-modules-5.38. 128s (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 ... 73306 files and directories currently installed.) 128s Preparing to unpack .../0-perl-modules-5.38_5.38.2-3.2_all.deb ... 128s Unpacking perl-modules-5.38 (5.38.2-3.2) ... 129s Selecting previously unselected package libgdbm-compat4t64:arm64. 129s Preparing to unpack .../1-libgdbm-compat4t64_1.23-5.1_arm64.deb ... 129s Unpacking libgdbm-compat4t64:arm64 (1.23-5.1) ... 129s Selecting previously unselected package libperl5.38t64:arm64. 129s Preparing to unpack .../2-libperl5.38t64_5.38.2-3.2_arm64.deb ... 129s Unpacking libperl5.38t64:arm64 (5.38.2-3.2) ... 129s Selecting previously unselected package perl. 129s Preparing to unpack .../3-perl_5.38.2-3.2_arm64.deb ... 129s Unpacking perl (5.38.2-3.2) ... 129s Selecting previously unselected package libdpkg-perl. 129s Preparing to unpack .../4-libdpkg-perl_1.22.4ubuntu5_all.deb ... 129s Unpacking libdpkg-perl (1.22.4ubuntu5) ... 129s Selecting previously unselected package make. 129s Preparing to unpack .../5-make_4.3-4.1build1_arm64.deb ... 129s Unpacking make (4.3-4.1build1) ... 129s Selecting previously unselected package lto-disabled-list. 129s Preparing to unpack .../6-lto-disabled-list_47_all.deb ... 129s Unpacking lto-disabled-list (47) ... 129s Selecting previously unselected package dpkg-dev. 129s Preparing to unpack .../7-dpkg-dev_1.22.4ubuntu5_all.deb ... 129s Unpacking dpkg-dev (1.22.4ubuntu5) ... 129s Setting up lto-disabled-list (47) ... 129s Setting up libgdbm-compat4t64:arm64 (1.23-5.1) ... 129s Setting up make (4.3-4.1build1) ... 129s Setting up perl-modules-5.38 (5.38.2-3.2) ... 129s Setting up libperl5.38t64:arm64 (5.38.2-3.2) ... 129s Setting up perl (5.38.2-3.2) ... 129s Setting up libdpkg-perl (1.22.4ubuntu5) ... 129s Setting up dpkg-dev (1.22.4ubuntu5) ... 129s Processing triggers for man-db (2.12.0-3) ... 130s Processing triggers for libc-bin (2.39-0ubuntu2) ... 133s Reading package lists... 133s Building dependency tree... 133s Reading state information... 133s The following packages will be REMOVED: 133s cloud-init* python3-configobj* python3-debconf* 134s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 134s After this operation, 3248 kB disk space will be freed. 134s (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 ... 75858 files and directories currently installed.) 134s Removing cloud-init (24.1-0ubuntu1) ... 134s Removing python3-configobj (5.0.8-3) ... 134s Removing python3-debconf (1.5.86) ... 134s Processing triggers for man-db (2.12.0-3) ... 135s (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 ... 75469 files and directories currently installed.) 135s Purging configuration files for cloud-init (24.1-0ubuntu1) ... 135s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 135s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 135s Reading package lists... 136s Building dependency tree... 136s Reading state information... 136s linux-generic is already the newest version (6.8.0-11.11+1). 136s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 137s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 137s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 137s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 137s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 137s Hit:5 http://ftpmaster.internal/ubuntu noble-backports InRelease 140s Reading package lists... 140s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 140s 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 140s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 140s 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 140s Reading package lists... 141s Building dependency tree... 141s Reading state information... 141s Calculating upgrade... 141s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Reading package lists... 142s Building dependency tree... 142s Reading state information... 142s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 143s autopkgtest [19:29:10]: rebooting testbed after setup commands that affected boot 293s autopkgtest [19:31:40]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 294s autopkgtest [19:31:41]: testbed dpkg architecture: arm64 296s autopkgtest [19:31:43]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c 296s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 296s 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 296s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 296s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 296s 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 299s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B] 299s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB] 299s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB] 299s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC 299s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 299s gpgv: Can't check signature: No public key 299s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found 300s autopkgtest [19:31:47]: testing package frama-c version 20220511-manganese-5build5 300s autopkgtest [19:31:47]: build not needed 310s autopkgtest [19:31:57]: test eva: preparing testbed 316s Reading package lists... 316s Building dependency tree... 316s Reading state information... 316s Correcting dependencies...Starting pkgProblemResolver with broken count: 0 316s Starting 2 pkgProblemResolver with broken count: 0 316s Done 317s Done 317s Starting pkgProblemResolver with broken count: 0 317s Starting 2 pkgProblemResolver with broken count: 0 317s Done 318s The following additional packages will be installed: 318s adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-aarch64-linux-gnu 318s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 318s fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc 318s gcc-13 gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 318s hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0 318s libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data 318s libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 318s libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev 318s libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml 318s libfontconfig1 libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 318s libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 318s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 318s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 318s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 318s libncurses-dev libnsl-dev libocamlgraph-ocaml-dev libpango-1.0-0 318s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml 318s libppx-import-ocaml libresult-ocaml libsexplib0-ocaml libsharpyuv0 318s libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtiff6 318s libtirpc-dev libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 318s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 318s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 318s libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base 318s ocaml-interp rpcsvc-proto ubuntu-mono 318s Suggested packages: 318s cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 318s automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu 318s glibc-doc colord cups-common gvfs liblcms2-utils ncurses-doc ocaml-doc 318s elpa-tuareg 318s Recommended packages: 318s librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev 318s libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man 318s ledit | readline-editor 318s The following NEW packages will be installed: 318s adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-aarch64-linux-gnu 318s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 318s fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc 318s gcc-13 gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 318s hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0 318s libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data 318s libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 318s libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev 318s libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml 318s libfontconfig1 libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 318s libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 318s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 318s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 318s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 318s libncurses-dev libnsl-dev libocamlgraph-ocaml-dev libpango-1.0-0 318s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml 318s libppx-import-ocaml libresult-ocaml libsexplib0-ocaml libsharpyuv0 318s libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtiff6 318s libtirpc-dev libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 318s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 318s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 318s libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base 318s ocaml-interp rpcsvc-proto ubuntu-mono 318s 0 upgraded, 108 newly installed, 0 to remove and 0 not upgraded. 318s 1 not fully installed or removed. 318s Need to get 289 MB of archives. 318s After this operation, 1070 MB of additional disk space will be used. 318s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 318s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 319s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB] 319s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB] 319s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB] 319s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB] 319s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 319s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB] 319s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB] 319s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 319s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB] 319s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 319s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB] 319s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB] 319s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB] 319s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB] 319s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB] 319s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB] 319s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB] 319s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB] 319s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B] 319s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB] 319s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB] 319s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB] 319s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B] 319s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB] 319s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 319s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB] 319s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB] 319s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB] 319s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB] 320s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB] 320s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB] 320s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB] 320s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB] 320s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB] 320s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB] 320s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB] 320s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB] 320s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB] 320s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB] 320s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB] 320s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB] 320s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB] 320s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB] 320s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB] 320s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB] 320s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB] 320s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B] 320s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B] 320s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 320s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB] 320s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B] 320s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B] 320s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB] 320s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB] 320s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB] 320s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB] 320s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 320s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB] 320s Get:61 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 320s Get:62 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB] 320s Get:63 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB] 320s Get:64 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB] 320s Get:65 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB] 321s Get:66 http://ftpmaster.internal/ubuntu noble/universe arm64 libfindlib-ocaml arm64 1.9.6-1build3 [206 kB] 321s Get:67 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB] 321s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB] 321s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 libresult-ocaml arm64 1.5-4build1 [7482 B] 321s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 libsexplib0-ocaml arm64 0.16.0-3build2 [134 kB] 321s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 libppx-deriving-ocaml arm64 5.2.1-4build2 [5542 kB] 321s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 libyojson-ocaml arm64 2.1.2-1 [714 kB] 321s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 libzarith-ocaml arm64 1.13-2build3 [123 kB] 321s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB] 322s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB] 323s Get:76 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB] 323s Get:77 http://ftpmaster.internal/ubuntu noble/main arm64 libc-dev-bin arm64 2.39-0ubuntu2 [19.7 kB] 323s Get:78 http://ftpmaster.internal/ubuntu noble/main arm64 linux-libc-dev arm64 6.8.0-11.11 [1569 kB] 323s Get:79 http://ftpmaster.internal/ubuntu noble/main arm64 libcrypt-dev arm64 1:4.4.36-4 [136 kB] 323s Get:80 http://ftpmaster.internal/ubuntu noble/main arm64 libtirpc-dev arm64 1.3.4+ds-1build1 [232 kB] 323s Get:81 http://ftpmaster.internal/ubuntu noble/main arm64 libnsl-dev arm64 1.3.0-3 [71.9 kB] 323s Get:82 http://ftpmaster.internal/ubuntu noble/main arm64 rpcsvc-proto arm64 1.4.2-0ubuntu6 [65.4 kB] 323s Get:83 http://ftpmaster.internal/ubuntu noble/main arm64 libc6-dev arm64 2.39-0ubuntu2 [1596 kB] 323s Get:84 http://ftpmaster.internal/ubuntu noble/main arm64 libncurses-dev arm64 6.4+20240113-1ubuntu1 [385 kB] 323s Get:85 http://ftpmaster.internal/ubuntu noble/main arm64 libisl23 arm64 0.26-3 [713 kB] 323s Get:86 http://ftpmaster.internal/ubuntu noble/main arm64 libmpc3 arm64 1.3.1-1 [55.3 kB] 323s Get:87 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [10.3 MB] 324s Get:88 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13 arm64 13.2.0-17ubuntu2 [1028 B] 324s Get:89 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B] 324s Get:90 http://ftpmaster.internal/ubuntu noble/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB] 324s Get:91 http://ftpmaster.internal/ubuntu noble/main arm64 libcc1-0 arm64 14-20240303-1ubuntu1 [44.7 kB] 324s Get:92 http://ftpmaster.internal/ubuntu noble/main arm64 libgomp1 arm64 14-20240303-1ubuntu1 [144 kB] 324s Get:93 http://ftpmaster.internal/ubuntu noble/main arm64 libitm1 arm64 14-20240303-1ubuntu1 [27.7 kB] 324s Get:94 http://ftpmaster.internal/ubuntu noble/main arm64 libatomic1 arm64 14-20240303-1ubuntu1 [11.4 kB] 324s Get:95 http://ftpmaster.internal/ubuntu noble/main arm64 libasan8 arm64 14-20240303-1ubuntu1 [2919 kB] 324s Get:96 http://ftpmaster.internal/ubuntu noble/main arm64 liblsan0 arm64 14-20240303-1ubuntu1 [1282 kB] 324s Get:97 http://ftpmaster.internal/ubuntu noble/main arm64 libtsan2 arm64 14-20240303-1ubuntu1 [2687 kB] 324s Get:98 http://ftpmaster.internal/ubuntu noble/main arm64 libubsan1 arm64 14-20240303-1ubuntu1 [1151 kB] 324s Get:99 http://ftpmaster.internal/ubuntu noble/main arm64 libhwasan0 arm64 14-20240303-1ubuntu1 [1597 kB] 324s Get:100 http://ftpmaster.internal/ubuntu noble/main arm64 libgcc-13-dev arm64 13.2.0-17ubuntu2 [2464 kB] 324s Get:101 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [20.1 MB] 325s Get:102 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13 arm64 13.2.0-17ubuntu2 [467 kB] 326s Get:103 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B] 326s Get:104 http://ftpmaster.internal/ubuntu noble/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B] 326s Get:105 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB] 329s Get:106 http://ftpmaster.internal/ubuntu noble/universe arm64 libocamlgraph-ocaml-dev arm64 2.1.0-1build1 [6175 kB] 329s Get:107 http://ftpmaster.internal/ubuntu noble/universe arm64 libppx-import-ocaml arm64 1.10.0-3build2 [69.6 kB] 329s Get:108 http://ftpmaster.internal/ubuntu noble/universe arm64 frama-c-base arm64 20220511-manganese-5build5 [69.2 MB] 332s Fetched 289 MB in 14s (21.4 MB/s) 332s Selecting previously unselected package fonts-dejavu-mono. 332s (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 ... 75414 files and directories currently installed.) 332s Preparing to unpack .../000-fonts-dejavu-mono_2.37-8_all.deb ... 332s Unpacking fonts-dejavu-mono (2.37-8) ... 332s Selecting previously unselected package fonts-dejavu-core. 332s Preparing to unpack .../001-fonts-dejavu-core_2.37-8_all.deb ... 332s Unpacking fonts-dejavu-core (2.37-8) ... 332s Selecting previously unselected package fontconfig-config. 332s Preparing to unpack .../002-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ... 332s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 332s Selecting previously unselected package libfontconfig1:arm64. 332s Preparing to unpack .../003-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ... 332s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 332s Selecting previously unselected package libpixman-1-0:arm64. 333s Preparing to unpack .../004-libpixman-1-0_0.42.2-1_arm64.deb ... 333s Unpacking libpixman-1-0:arm64 (0.42.2-1) ... 333s Selecting previously unselected package libxcb-render0:arm64. 333s Preparing to unpack .../005-libxcb-render0_1.15-1_arm64.deb ... 333s Unpacking libxcb-render0:arm64 (1.15-1) ... 333s Selecting previously unselected package libxcb-shm0:arm64. 333s Preparing to unpack .../006-libxcb-shm0_1.15-1_arm64.deb ... 333s Unpacking libxcb-shm0:arm64 (1.15-1) ... 333s Selecting previously unselected package libxrender1:arm64. 333s Preparing to unpack .../007-libxrender1_1%3a0.9.10-1.1_arm64.deb ... 333s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ... 333s Selecting previously unselected package libcairo2:arm64. 333s Preparing to unpack .../008-libcairo2_1.18.0-1_arm64.deb ... 333s Unpacking libcairo2:arm64 (1.18.0-1) ... 333s Selecting previously unselected package libgdk-pixbuf2.0-common. 333s Preparing to unpack .../009-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 333s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 333s Selecting previously unselected package libjpeg-turbo8:arm64. 333s Preparing to unpack .../010-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ... 333s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 333s Selecting previously unselected package libjpeg8:arm64. 333s Preparing to unpack .../011-libjpeg8_8c-2ubuntu11_arm64.deb ... 333s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 333s Selecting previously unselected package libdeflate0:arm64. 333s Preparing to unpack .../012-libdeflate0_1.19-1_arm64.deb ... 333s Unpacking libdeflate0:arm64 (1.19-1) ... 333s Selecting previously unselected package libjbig0:arm64. 333s Preparing to unpack .../013-libjbig0_2.1-6.1ubuntu1_arm64.deb ... 333s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ... 333s Selecting previously unselected package liblerc4:arm64. 333s Preparing to unpack .../014-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ... 333s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 333s Selecting previously unselected package libsharpyuv0:arm64. 333s Preparing to unpack .../015-libsharpyuv0_1.3.2-0.4_arm64.deb ... 333s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ... 333s Selecting previously unselected package libwebp7:arm64. 333s Preparing to unpack .../016-libwebp7_1.3.2-0.4_arm64.deb ... 333s Unpacking libwebp7:arm64 (1.3.2-0.4) ... 333s Selecting previously unselected package libtiff6:arm64. 333s Preparing to unpack .../017-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ... 333s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 333s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 333s Preparing to unpack .../018-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ... 333s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 333s Selecting previously unselected package gtk-update-icon-cache. 333s Preparing to unpack .../019-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ... 333s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 333s Selecting previously unselected package hicolor-icon-theme. 333s Preparing to unpack .../020-hicolor-icon-theme_0.17-2_all.deb ... 333s Unpacking hicolor-icon-theme (0.17-2) ... 333s Selecting previously unselected package humanity-icon-theme. 333s Preparing to unpack .../021-humanity-icon-theme_0.6.16_all.deb ... 333s Unpacking humanity-icon-theme (0.6.16) ... 333s Selecting previously unselected package ubuntu-mono. 333s Preparing to unpack .../022-ubuntu-mono_24.04-0ubuntu1_all.deb ... 333s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 334s Selecting previously unselected package adwaita-icon-theme. 334s Preparing to unpack .../023-adwaita-icon-theme_46~rc-1_all.deb ... 334s Unpacking adwaita-icon-theme (46~rc-1) ... 334s Selecting previously unselected package at-spi2-common. 334s Preparing to unpack .../024-at-spi2-common_2.50.0-1_all.deb ... 334s Unpacking at-spi2-common (2.50.0-1) ... 334s Selecting previously unselected package libatk1.0-0:arm64. 334s Preparing to unpack .../025-libatk1.0-0_2.50.0-1_arm64.deb ... 334s Unpacking libatk1.0-0:arm64 (2.50.0-1) ... 334s Selecting previously unselected package libxi6:arm64. 334s Preparing to unpack .../026-libxi6_2%3a1.8.1-1_arm64.deb ... 334s Unpacking libxi6:arm64 (2:1.8.1-1) ... 334s Selecting previously unselected package libatspi2.0-0:arm64. 334s Preparing to unpack .../027-libatspi2.0-0_2.50.0-1_arm64.deb ... 334s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ... 334s Selecting previously unselected package libatk-bridge2.0-0:arm64. 334s Preparing to unpack .../028-libatk-bridge2.0-0_2.50.0-1_arm64.deb ... 334s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ... 334s Selecting previously unselected package libcairo-gobject2:arm64. 334s Preparing to unpack .../029-libcairo-gobject2_1.18.0-1_arm64.deb ... 334s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ... 334s Selecting previously unselected package liblcms2-2:arm64. 334s Preparing to unpack .../030-liblcms2-2_2.14-2_arm64.deb ... 334s Unpacking liblcms2-2:arm64 (2.14-2) ... 334s Selecting previously unselected package libcolord2:arm64. 334s Preparing to unpack .../031-libcolord2_1.4.7-1_arm64.deb ... 334s Unpacking libcolord2:arm64 (1.4.7-1) ... 334s Selecting previously unselected package libavahi-common-data:arm64. 334s Preparing to unpack .../032-libavahi-common-data_0.8-13ubuntu2_arm64.deb ... 334s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ... 334s Selecting previously unselected package libavahi-common3:arm64. 334s Preparing to unpack .../033-libavahi-common3_0.8-13ubuntu2_arm64.deb ... 334s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ... 334s Selecting previously unselected package libavahi-client3:arm64. 334s Preparing to unpack .../034-libavahi-client3_0.8-13ubuntu2_arm64.deb ... 334s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ... 334s Selecting previously unselected package libcups2:arm64. 334s Preparing to unpack .../035-libcups2_2.4.6-0ubuntu3_arm64.deb ... 334s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ... 334s Selecting previously unselected package libepoxy0:arm64. 334s Preparing to unpack .../036-libepoxy0_1.5.10-1_arm64.deb ... 334s Unpacking libepoxy0:arm64 (1.5.10-1) ... 334s Selecting previously unselected package libgraphite2-3:arm64. 334s Preparing to unpack .../037-libgraphite2-3_1.3.14-2_arm64.deb ... 334s Unpacking libgraphite2-3:arm64 (1.3.14-2) ... 334s Selecting previously unselected package libharfbuzz0b:arm64. 334s Preparing to unpack .../038-libharfbuzz0b_8.3.0-2_arm64.deb ... 334s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ... 334s Selecting previously unselected package fontconfig. 334s Preparing to unpack .../039-fontconfig_2.15.0-1ubuntu1_arm64.deb ... 334s Unpacking fontconfig (2.15.0-1ubuntu1) ... 334s Selecting previously unselected package libthai-data. 334s Preparing to unpack .../040-libthai-data_0.1.29-2_all.deb ... 334s Unpacking libthai-data (0.1.29-2) ... 334s Selecting previously unselected package libdatrie1:arm64. 334s Preparing to unpack .../041-libdatrie1_0.2.13-3_arm64.deb ... 334s Unpacking libdatrie1:arm64 (0.2.13-3) ... 334s Selecting previously unselected package libthai0:arm64. 334s Preparing to unpack .../042-libthai0_0.1.29-2_arm64.deb ... 334s Unpacking libthai0:arm64 (0.1.29-2) ... 334s Selecting previously unselected package libpango-1.0-0:arm64. 334s Preparing to unpack .../043-libpango-1.0-0_1.51.0+ds-4_arm64.deb ... 334s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ... 334s Selecting previously unselected package libpangoft2-1.0-0:arm64. 334s Preparing to unpack .../044-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ... 334s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 334s Selecting previously unselected package libpangocairo-1.0-0:arm64. 334s Preparing to unpack .../045-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ... 334s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 334s Selecting previously unselected package libwayland-client0:arm64. 334s Preparing to unpack .../046-libwayland-client0_1.22.0-2.1_arm64.deb ... 334s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ... 334s Selecting previously unselected package libwayland-cursor0:arm64. 334s Preparing to unpack .../047-libwayland-cursor0_1.22.0-2.1_arm64.deb ... 334s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ... 334s Selecting previously unselected package libwayland-egl1:arm64. 334s Preparing to unpack .../048-libwayland-egl1_1.22.0-2.1_arm64.deb ... 334s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ... 334s Selecting previously unselected package libxcomposite1:arm64. 334s Preparing to unpack .../049-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ... 334s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ... 334s Selecting previously unselected package libxfixes3:arm64. 334s Preparing to unpack .../050-libxfixes3_1%3a6.0.0-2_arm64.deb ... 334s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 334s Selecting previously unselected package libxcursor1:arm64. 334s Preparing to unpack .../051-libxcursor1_1%3a1.2.1-1_arm64.deb ... 334s Unpacking libxcursor1:arm64 (1:1.2.1-1) ... 334s Selecting previously unselected package libxdamage1:arm64. 334s Preparing to unpack .../052-libxdamage1_1%3a1.1.6-1_arm64.deb ... 334s Unpacking libxdamage1:arm64 (1:1.1.6-1) ... 334s Selecting previously unselected package libxinerama1:arm64. 335s Preparing to unpack .../053-libxinerama1_2%3a1.1.4-3_arm64.deb ... 335s Unpacking libxinerama1:arm64 (2:1.1.4-3) ... 335s Selecting previously unselected package libxrandr2:arm64. 335s Preparing to unpack .../054-libxrandr2_2%3a1.5.2-2_arm64.deb ... 335s Unpacking libxrandr2:arm64 (2:1.5.2-2) ... 335s Selecting previously unselected package libdconf1:arm64. 335s Preparing to unpack .../055-libdconf1_0.40.0-4_arm64.deb ... 335s Unpacking libdconf1:arm64 (0.40.0-4) ... 335s Selecting previously unselected package dconf-service. 335s Preparing to unpack .../056-dconf-service_0.40.0-4_arm64.deb ... 335s Unpacking dconf-service (0.40.0-4) ... 335s Selecting previously unselected package dconf-gsettings-backend:arm64. 335s Preparing to unpack .../057-dconf-gsettings-backend_0.40.0-4_arm64.deb ... 335s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ... 335s Selecting previously unselected package libgtk-3-common. 335s Preparing to unpack .../058-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 335s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 335s Selecting previously unselected package libgtk-3-0:arm64. 335s Preparing to unpack .../059-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ... 335s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 335s Selecting previously unselected package libgtksourceview-3.0-common. 335s Preparing to unpack .../060-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 335s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 335s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 335s Preparing to unpack .../061-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ... 335s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 335s Selecting previously unselected package libstdlib-ocaml. 335s Preparing to unpack .../062-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ... 335s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 335s Selecting previously unselected package ocaml-base. 335s Preparing to unpack .../063-ocaml-base_4.14.1-1ubuntu1_arm64.deb ... 335s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 335s Selecting previously unselected package libcairo2-ocaml. 335s Preparing to unpack .../064-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ... 335s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 335s Selecting previously unselected package libfindlib-ocaml. 335s Preparing to unpack .../065-libfindlib-ocaml_1.9.6-1build3_arm64.deb ... 335s Unpacking libfindlib-ocaml (1.9.6-1build3) ... 335s Selecting previously unselected package liblablgtk3-ocaml. 335s Preparing to unpack .../066-liblablgtk3-ocaml_3.1.4-1_arm64.deb ... 335s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 335s Selecting previously unselected package liblablgtksourceview3-ocaml. 335s Preparing to unpack .../067-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ... 335s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 335s Selecting previously unselected package libresult-ocaml. 335s Preparing to unpack .../068-libresult-ocaml_1.5-4build1_arm64.deb ... 335s Unpacking libresult-ocaml (1.5-4build1) ... 335s Selecting previously unselected package libsexplib0-ocaml. 335s Preparing to unpack .../069-libsexplib0-ocaml_0.16.0-3build2_arm64.deb ... 335s Unpacking libsexplib0-ocaml (0.16.0-3build2) ... 335s Selecting previously unselected package libppx-deriving-ocaml. 335s Preparing to unpack .../070-libppx-deriving-ocaml_5.2.1-4build2_arm64.deb ... 335s Unpacking libppx-deriving-ocaml (5.2.1-4build2) ... 335s Selecting previously unselected package libyojson-ocaml. 335s Preparing to unpack .../071-libyojson-ocaml_2.1.2-1_arm64.deb ... 335s Unpacking libyojson-ocaml (2.1.2-1) ... 335s Selecting previously unselected package libzarith-ocaml. 335s Preparing to unpack .../072-libzarith-ocaml_1.13-2build3_arm64.deb ... 335s Unpacking libzarith-ocaml (1.13-2build3) ... 335s Selecting previously unselected package libstdlib-ocaml-dev. 335s Preparing to unpack .../073-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ... 335s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 336s Selecting previously unselected package libcompiler-libs-ocaml-dev. 336s Preparing to unpack .../074-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ... 336s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 337s Selecting previously unselected package ocaml-interp. 337s Preparing to unpack .../075-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ... 337s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 337s Selecting previously unselected package libc-dev-bin. 337s Preparing to unpack .../076-libc-dev-bin_2.39-0ubuntu2_arm64.deb ... 337s Unpacking libc-dev-bin (2.39-0ubuntu2) ... 337s Selecting previously unselected package linux-libc-dev:arm64. 337s Preparing to unpack .../077-linux-libc-dev_6.8.0-11.11_arm64.deb ... 337s Unpacking linux-libc-dev:arm64 (6.8.0-11.11) ... 337s Selecting previously unselected package libcrypt-dev:arm64. 337s Preparing to unpack .../078-libcrypt-dev_1%3a4.4.36-4_arm64.deb ... 337s Unpacking libcrypt-dev:arm64 (1:4.4.36-4) ... 337s Selecting previously unselected package libtirpc-dev:arm64. 337s Preparing to unpack .../079-libtirpc-dev_1.3.4+ds-1build1_arm64.deb ... 337s Unpacking libtirpc-dev:arm64 (1.3.4+ds-1build1) ... 337s Selecting previously unselected package libnsl-dev:arm64. 337s Preparing to unpack .../080-libnsl-dev_1.3.0-3_arm64.deb ... 337s Unpacking libnsl-dev:arm64 (1.3.0-3) ... 337s Selecting previously unselected package rpcsvc-proto. 337s Preparing to unpack .../081-rpcsvc-proto_1.4.2-0ubuntu6_arm64.deb ... 337s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ... 337s Selecting previously unselected package libc6-dev:arm64. 337s Preparing to unpack .../082-libc6-dev_2.39-0ubuntu2_arm64.deb ... 337s Unpacking libc6-dev:arm64 (2.39-0ubuntu2) ... 337s Selecting previously unselected package libncurses-dev:arm64. 337s Preparing to unpack .../083-libncurses-dev_6.4+20240113-1ubuntu1_arm64.deb ... 337s Unpacking libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ... 337s Selecting previously unselected package libisl23:arm64. 337s Preparing to unpack .../084-libisl23_0.26-3_arm64.deb ... 337s Unpacking libisl23:arm64 (0.26-3) ... 338s Selecting previously unselected package libmpc3:arm64. 338s Preparing to unpack .../085-libmpc3_1.3.1-1_arm64.deb ... 338s Unpacking libmpc3:arm64 (1.3.1-1) ... 338s Selecting previously unselected package cpp-13-aarch64-linux-gnu. 338s Preparing to unpack .../086-cpp-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ... 338s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 338s Selecting previously unselected package cpp-13. 338s Preparing to unpack .../087-cpp-13_13.2.0-17ubuntu2_arm64.deb ... 338s Unpacking cpp-13 (13.2.0-17ubuntu2) ... 338s Selecting previously unselected package cpp-aarch64-linux-gnu. 338s Preparing to unpack .../088-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ... 338s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 338s Selecting previously unselected package cpp. 338s Preparing to unpack .../089-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ... 338s Unpacking cpp (4:13.2.0-7ubuntu1) ... 338s Selecting previously unselected package libcc1-0:arm64. 338s Preparing to unpack .../090-libcc1-0_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libcc1-0:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libgomp1:arm64. 338s Preparing to unpack .../091-libgomp1_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libgomp1:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libitm1:arm64. 338s Preparing to unpack .../092-libitm1_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libitm1:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libatomic1:arm64. 338s Preparing to unpack .../093-libatomic1_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libatomic1:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libasan8:arm64. 338s Preparing to unpack .../094-libasan8_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libasan8:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package liblsan0:arm64. 338s Preparing to unpack .../095-liblsan0_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking liblsan0:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libtsan2:arm64. 338s Preparing to unpack .../096-libtsan2_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libtsan2:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libubsan1:arm64. 338s Preparing to unpack .../097-libubsan1_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libubsan1:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libhwasan0:arm64. 338s Preparing to unpack .../098-libhwasan0_14-20240303-1ubuntu1_arm64.deb ... 338s Unpacking libhwasan0:arm64 (14-20240303-1ubuntu1) ... 338s Selecting previously unselected package libgcc-13-dev:arm64. 338s Preparing to unpack .../099-libgcc-13-dev_13.2.0-17ubuntu2_arm64.deb ... 338s Unpacking libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ... 338s Selecting previously unselected package gcc-13-aarch64-linux-gnu. 338s Preparing to unpack .../100-gcc-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ... 338s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 339s Selecting previously unselected package gcc-13. 339s Preparing to unpack .../101-gcc-13_13.2.0-17ubuntu2_arm64.deb ... 339s Unpacking gcc-13 (13.2.0-17ubuntu2) ... 339s Selecting previously unselected package gcc-aarch64-linux-gnu. 339s Preparing to unpack .../102-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ... 339s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 339s Selecting previously unselected package gcc. 339s Preparing to unpack .../103-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ... 339s Unpacking gcc (4:13.2.0-7ubuntu1) ... 339s Selecting previously unselected package ocaml. 339s Preparing to unpack .../104-ocaml_4.14.1-1ubuntu1_arm64.deb ... 339s Unpacking ocaml (4.14.1-1ubuntu1) ... 341s Selecting previously unselected package libocamlgraph-ocaml-dev. 341s Preparing to unpack .../105-libocamlgraph-ocaml-dev_2.1.0-1build1_arm64.deb ... 341s Unpacking libocamlgraph-ocaml-dev (2.1.0-1build1) ... 341s Selecting previously unselected package libppx-import-ocaml. 341s Preparing to unpack .../106-libppx-import-ocaml_1.10.0-3build2_arm64.deb ... 341s Unpacking libppx-import-ocaml (1.10.0-3build2) ... 341s Selecting previously unselected package frama-c-base. 341s Preparing to unpack .../107-frama-c-base_20220511-manganese-5build5_arm64.deb ... 341s Unpacking frama-c-base (20220511-manganese-5build5) ... 343s Setting up libgraphite2-3:arm64 (1.3.14-2) ... 343s Setting up liblcms2-2:arm64 (2.14-2) ... 343s Setting up libpixman-1-0:arm64 (0.42.2-1) ... 343s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ... 343s Setting up libxdamage1:arm64 (1:1.1.6-1) ... 343s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ... 343s Setting up hicolor-icon-theme (0.17-2) ... 343s Setting up libxi6:arm64 (2:1.8.1-1) ... 343s Setting up libxrender1:arm64 (1:0.9.10-1.1) ... 343s Setting up libdatrie1:arm64 (0.2.13-3) ... 343s Setting up libxcb-render0:arm64 (1.15-1) ... 343s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 343s Setting up libdeflate0:arm64 (1.19-1) ... 343s Setting up linux-libc-dev:arm64 (6.8.0-11.11) ... 343s Setting up libxcb-shm0:arm64 (1.15-1) ... 343s Setting up libatspi2.0-0:arm64 (2.50.0-1) ... 343s Setting up libgomp1:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ... 343s Setting up libcolord2:arm64 (1.4.7-1) ... 343s Setting up libdconf1:arm64 (0.40.0-4) ... 343s Setting up libtirpc-dev:arm64 (1.3.4+ds-1build1) ... 343s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ... 343s Setting up libepoxy0:arm64 (1.5.10-1) ... 343s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 343s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ... 343s Setting up libxinerama1:arm64 (2:1.1.4-3) ... 343s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 343s Setting up fonts-dejavu-mono (2.37-8) ... 343s Setting up libmpc3:arm64 (1.3.1-1) ... 343s Setting up libatomic1:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libxrandr2:arm64 (2:1.5.2-2) ... 343s Setting up ocaml-base (4.14.1-1ubuntu1) ... 343s Setting up fonts-dejavu-core (2.37-8) ... 343s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ... 343s Setting up libwebp7:arm64 (1.3.2-0.4) ... 343s Setting up libubsan1:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libsexplib0-ocaml (0.16.0-3build2) ... 343s Setting up libnsl-dev:arm64 (1.3.0-3) ... 343s Setting up libhwasan0:arm64 (14-20240303-1ubuntu1) ... 343s Setting up at-spi2-common (2.50.0-1) ... 343s Setting up libcrypt-dev:arm64 (1:4.4.36-4) ... 343s Setting up libasan8:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 343s Setting up libharfbuzz0b:arm64 (8.3.0-2) ... 343s Setting up libthai-data (0.1.29-2) ... 343s Setting up libatk1.0-0:arm64 (2.50.0-1) ... 343s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ... 343s Setting up libtsan2:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libisl23:arm64 (0.26-3) ... 343s Setting up libc-dev-bin (2.39-0ubuntu2) ... 343s Setting up libresult-ocaml (1.5-4build1) ... 343s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ... 343s Setting up libcc1-0:arm64 (14-20240303-1ubuntu1) ... 343s Setting up liblsan0:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libitm1:arm64 (14-20240303-1ubuntu1) ... 343s Setting up libppx-import-ocaml (1.10.0-3build2) ... 343s Setting up libwayland-client0:arm64 (1.22.0-2.1) ... 343s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 343s Setting up libppx-deriving-ocaml (5.2.1-4build2) ... 343s Setting up cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 343s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 343s Setting up libyojson-ocaml (2.1.2-1) ... 343s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 343s Setting up libxcursor1:arm64 (1:1.2.1-1) ... 343s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ... 343s Setting up libfindlib-ocaml (1.9.6-1build3) ... 343s Setting up dconf-service (0.40.0-4) ... 343s Setting up libzarith-ocaml (1.13-2build3) ... 343s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ... 343s Setting up libthai0:arm64 (0.1.29-2) ... 343s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 343s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 343s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 343s Setting up libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ... 343s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ... 343s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ... 343s Setting up libc6-dev:arm64 (2.39-0ubuntu2) ... 343s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ... 343s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ... 343s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ... 343s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 343s Setting up fontconfig (2.15.0-1ubuntu1) ... 345s Regenerating fonts cache... done. 345s Setting up libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ... 345s Setting up cpp-13 (13.2.0-17ubuntu2) ... 345s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ... 345s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ... 345s Setting up gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ... 345s Setting up libcairo2:arm64 (1.18.0-1) ... 345s Setting up gcc-13 (13.2.0-17ubuntu2) ... 345s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ... 345s Setting up cpp (4:13.2.0-7ubuntu1) ... 345s Setting up libcairo-gobject2:arm64 (1.18.0-1) ... 345s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ... 345s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 345s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ... 345s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ... 345s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 345s Setting up gcc (4:13.2.0-7ubuntu1) ... 345s Setting up ocaml (4.14.1-1ubuntu1) ... 345s Setting up libocamlgraph-ocaml-dev (2.1.0-1build1) ... 345s Setting up adwaita-icon-theme (46~rc-1) ... 345s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 345s Setting up humanity-icon-theme (0.6.16) ... 345s Setting up ubuntu-mono (24.04-0ubuntu1) ... 345s Processing triggers for man-db (2.12.0-3) ... 346s Processing triggers for libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ... 346s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ... 346s Processing triggers for libc-bin (2.39-0ubuntu2) ... 346s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ... 346s Setting up liblablgtk3-ocaml (3.1.4-1) ... 346s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 346s Setting up frama-c-base (20220511-manganese-5build5) ... 346s Setting up autopkgtest-satdep (0) ... 346s Processing triggers for libc-bin (2.39-0ubuntu2) ... 352s (Reading database ... 94833 files and directories currently installed.) 352s Removing autopkgtest-satdep (0) ... 353s autopkgtest [19:32:40]: test eva: [----------------------- 354s autopkgtest [19:32:41]: test eva: -----------------------] 354s eva PASS 354s autopkgtest [19:32:41]: test eva: - - - - - - - - - - results - - - - - - - - - - 355s autopkgtest [19:32:42]: test wp: preparing testbed 357s Reading package lists... 357s Building dependency tree... 357s Reading state information... 358s Correcting dependencies...Starting pkgProblemResolver with broken count: 1 358s Starting 2 pkgProblemResolver with broken count: 1 358s Investigating (0) autopkgtest-satdep:arm64 < 0 @iU K Nb Ib > 358s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 358s Removing autopkgtest-satdep:arm64 because I can't find alt-ergo:arm64 358s Done 358s Done 358s Starting pkgProblemResolver with broken count: 0 358s Starting 2 pkgProblemResolver with broken count: 0 358s Done 359s The following packages will be REMOVED: 359s autopkgtest-satdep 359s 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. 359s 1 not fully installed or removed. 359s After this operation, 0 B of additional disk space will be used. 360s (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 ... 94833 files and directories currently installed.) 360s Removing autopkgtest-satdep (0) ... 360s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 361s Reading package lists... 361s Building dependency tree... 361s Reading state information... 362s Correcting dependencies...Starting pkgProblemResolver with broken count: 1 362s Starting 2 pkgProblemResolver with broken count: 1 362s Investigating (0) autopkgtest-satdep:arm64 < 0 @iU K Nb Ib > 362s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 362s Removing autopkgtest-satdep:arm64 because I can't find alt-ergo:arm64 362s Done 362s Done 362s Starting pkgProblemResolver with broken count: 0 363s Starting 2 pkgProblemResolver with broken count: 0 363s Done 363s The following packages will be REMOVED: 363s autopkgtest-satdep 364s 0 upgraded, 0 newly installed, 1 to remove and 244 not upgraded. 364s 1 not fully installed or removed. 364s After this operation, 0 B of additional disk space will be used. 364s (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 ... 94833 files and directories currently installed.) 364s Removing autopkgtest-satdep (0) ... 364s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 364s wp SKIP installation fails and skip-not-installable set 364s autopkgtest [19:32:51]: @@@@@@@@@@@@@@@@@@@@ summary 364s eva PASS 364s wp SKIP installation fails and skip-not-installable set 379s Creating nova instance adt-noble-arm64-frama-c-20240309-192647-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240309.img (UUID ee5f42f5-d593-4364-ac46-5151119b1151)...