0s autopkgtest [14:53:49]: starting date and time: 2024-11-09 14:53:49+0000 0s autopkgtest [14:53:49]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky 0s autopkgtest [14:53:49]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.9n3f0nm5/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:ppx-deriving --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=ppx-deriving/6.0.3-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-9.secgroup --name adt-plucky-arm64-frama-c-20241109-145349-juju-7f2275-prod-proposed-migration-environment-15-3b815a78-a354-4388-8d04-1412593dfbe6 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --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,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 135s autopkgtest [14:56:04]: testbed dpkg architecture: arm64 135s autopkgtest [14:56:04]: testbed apt version: 2.9.8 135s autopkgtest [14:56:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 136s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 136s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [104 kB] 136s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [1004 kB] 137s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 137s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.3 kB] 137s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [144 kB] 137s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [50.3 kB] 137s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [725 kB] 138s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [17.1 kB] 138s Fetched 2141 kB in 2s (1009 kB/s) 138s Reading package lists... 140s Reading package lists... 140s Building dependency tree... 140s Reading state information... 141s Calculating upgrade... 142s The following NEW packages will be installed: 142s systemd-cryptsetup 142s The following packages will be upgraded: 142s base-passwd bash-completion libattr1 libbpf1 libbsd0 libbytesize-common 142s libbytesize1 libdrm-common libdrm2 libjson-glib-1.0-0 142s libjson-glib-1.0-common libmaxminddb0 libmnl0 libnghttp2-14 libnspr4 142s libnss-systemd libpam-systemd libpython3.12-minimal libpython3.12-stdlib 142s libpython3.12t64 libsystemd-shared libsystemd0 libudev1 libudisks2-0 142s liburcu8t64 linux-firmware openssh-client openssh-server openssh-sftp-server 142s pci.ids python3-gi python3-idna python3-jsonpatch python3-lazr.restfulclient 142s python3-urllib3 python3-wadllib python3.12 python3.12-gdbm 142s python3.12-minimal systemd systemd-resolved systemd-sysv systemd-timesyncd 142s udev udisks2 usbutils 142s 46 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 142s Need to get 557 MB of archives. 142s After this operation, 27.2 MB of additional disk space will be used. 142s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 base-passwd arm64 3.6.5 [53.5 kB] 142s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libpython3.12t64 arm64 3.12.7-2 [2312 kB] 145s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3.12 arm64 3.12.7-2 [661 kB] 146s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libpython3.12-stdlib arm64 3.12.7-2 [2048 kB] 148s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 python3.12-minimal arm64 3.12.7-2 [2233 kB] 151s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 libpython3.12-minimal arm64 3.12.7-2 [833 kB] 152s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libnss-systemd arm64 256.5-2ubuntu4 [162 kB] 152s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 systemd-timesyncd arm64 256.5-2ubuntu4 [39.5 kB] 152s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 systemd-resolved arm64 256.5-2ubuntu4 [312 kB] 152s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libsystemd-shared arm64 256.5-2ubuntu4 [2152 kB] 155s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libsystemd0 arm64 256.5-2ubuntu4 [446 kB] 156s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 systemd-sysv arm64 256.5-2ubuntu4 [11.9 kB] 156s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 libpam-systemd arm64 256.5-2ubuntu4 [242 kB] 156s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 systemd arm64 256.5-2ubuntu4 [3356 kB] 160s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 udev arm64 256.5-2ubuntu4 [1950 kB] 162s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libudev1 arm64 256.5-2ubuntu4 [194 kB] 162s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 openssh-sftp-server arm64 1:9.7p1-7ubuntu5 [36.7 kB] 162s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 openssh-server arm64 1:9.7p1-7ubuntu5 [507 kB] 163s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 openssh-client arm64 1:9.7p1-7ubuntu5 [891 kB] 164s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libattr1 arm64 1:2.5.2-2 [11.5 kB] 164s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libbsd0 arm64 0.12.2-2 [41.1 kB] 164s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libbpf1 arm64 1:1.4.6-1 [175 kB] 164s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libmnl0 arm64 1.0.5-3 [12.4 kB] 164s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-gi arm64 3.50.0-3 [241 kB] 164s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 bash-completion all 1:2.14.0-2 [210 kB] 165s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdrm-common all 2.4.123-1 [8436 B] 165s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libdrm2 arm64 2.4.123-1 [42.2 kB] 165s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 libmaxminddb0 arm64 1.11.0-1 [18.7 kB] 165s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libnghttp2-14 arm64 1.64.0-1 [74.5 kB] 165s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 liburcu8t64 arm64 0.14.1-1 [63.5 kB] 165s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 pci.ids all 0.0~2024.10.24-1 [279 kB] 165s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 python3.12-gdbm arm64 3.12.7-2 [29.8 kB] 165s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 usbutils arm64 1:018-1 [80.9 kB] 165s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libbytesize1 arm64 2.11-1ubuntu1 [13.0 kB] 165s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libbytesize-common all 2.11-1ubuntu1 [3584 B] 165s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libjson-glib-1.0-common all 1.10.0+ds-2 [5502 B] 165s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libjson-glib-1.0-0 arm64 1.10.0+ds-2 [66.4 kB] 165s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 libnspr4 arm64 2:4.35-1.1ubuntu2 [116 kB] 166s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 udisks2 arm64 2.10.1-11ubuntu1 [293 kB] 166s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libudisks2-0 arm64 2.10.1-11ubuntu1 [173 kB] 166s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 linux-firmware arm64 20241108.git3bbb13a7-0ubuntu1 [536 MB] 964s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-idna all 3.8-2 [47.0 kB] 964s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jsonpatch all 1.32-4 [12.2 kB] 964s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-wadllib all 2.0.0-1 [36.7 kB] 964s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-lazr.restfulclient all 0.14.6-2 [50.9 kB] 964s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-urllib3 all 2.0.7-2ubuntu0.1 [93.1 kB] 965s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 systemd-cryptsetup arm64 256.5-2ubuntu4 [117 kB] 965s Preconfiguring packages ... 965s Fetched 557 MB in 13min 43s (676 kB/s) 965s (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 ... 79695 files and directories currently installed.) 965s Preparing to unpack .../base-passwd_3.6.5_arm64.deb ... 965s Unpacking base-passwd (3.6.5) over (3.6.4) ... 966s Setting up base-passwd (3.6.5) ... 966s (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 ... 79696 files and directories currently installed.) 966s Preparing to unpack .../0-libpython3.12t64_3.12.7-2_arm64.deb ... 966s Unpacking libpython3.12t64:arm64 (3.12.7-2) over (3.12.7-1) ... 966s Preparing to unpack .../1-python3.12_3.12.7-2_arm64.deb ... 966s Unpacking python3.12 (3.12.7-2) over (3.12.7-1) ... 966s Preparing to unpack .../2-libpython3.12-stdlib_3.12.7-2_arm64.deb ... 966s Unpacking libpython3.12-stdlib:arm64 (3.12.7-2) over (3.12.7-1) ... 966s Preparing to unpack .../3-python3.12-minimal_3.12.7-2_arm64.deb ... 966s Unpacking python3.12-minimal (3.12.7-2) over (3.12.7-1) ... 966s Preparing to unpack .../4-libpython3.12-minimal_3.12.7-2_arm64.deb ... 966s Unpacking libpython3.12-minimal:arm64 (3.12.7-2) over (3.12.7-1) ... 966s Preparing to unpack .../5-libnss-systemd_256.5-2ubuntu4_arm64.deb ... 966s Unpacking libnss-systemd:arm64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 966s Preparing to unpack .../6-systemd-timesyncd_256.5-2ubuntu4_arm64.deb ... 966s Unpacking systemd-timesyncd (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 966s Preparing to unpack .../7-systemd-resolved_256.5-2ubuntu4_arm64.deb ... 966s Unpacking systemd-resolved (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 966s Preparing to unpack .../8-libsystemd-shared_256.5-2ubuntu4_arm64.deb ... 966s Unpacking libsystemd-shared:arm64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Preparing to unpack .../9-libsystemd0_256.5-2ubuntu4_arm64.deb ... 967s Unpacking libsystemd0:arm64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Setting up libsystemd0:arm64 (256.5-2ubuntu4) ... 967s (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 ... 79696 files and directories currently installed.) 967s Preparing to unpack .../systemd-sysv_256.5-2ubuntu4_arm64.deb ... 967s Unpacking systemd-sysv (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Preparing to unpack .../libpam-systemd_256.5-2ubuntu4_arm64.deb ... 967s Unpacking libpam-systemd:arm64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Preparing to unpack .../systemd_256.5-2ubuntu4_arm64.deb ... 967s Unpacking systemd (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Preparing to unpack .../udev_256.5-2ubuntu4_arm64.deb ... 967s Unpacking udev (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Preparing to unpack .../libudev1_256.5-2ubuntu4_arm64.deb ... 967s Unpacking libudev1:arm64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 967s Setting up libudev1:arm64 (256.5-2ubuntu4) ... 967s (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 ... 79696 files and directories currently installed.) 967s Preparing to unpack .../openssh-sftp-server_1%3a9.7p1-7ubuntu5_arm64.deb ... 967s Unpacking openssh-sftp-server (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 967s Preparing to unpack .../openssh-server_1%3a9.7p1-7ubuntu5_arm64.deb ... 967s Unpacking openssh-server (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 967s Preparing to unpack .../openssh-client_1%3a9.7p1-7ubuntu5_arm64.deb ... 967s Unpacking openssh-client (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 968s Preparing to unpack .../libattr1_1%3a2.5.2-2_arm64.deb ... 968s Unpacking libattr1:arm64 (1:2.5.2-2) over (1:2.5.2-1build2) ... 968s Setting up libattr1:arm64 (1:2.5.2-2) ... 968s (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 ... 79696 files and directories currently installed.) 968s Preparing to unpack .../libbsd0_0.12.2-2_arm64.deb ... 968s Unpacking libbsd0:arm64 (0.12.2-2) over (0.12.2-1) ... 968s Setting up libbsd0:arm64 (0.12.2-2) ... 968s (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 ... 79696 files and directories currently installed.) 968s Preparing to unpack .../00-libbpf1_1%3a1.4.6-1_arm64.deb ... 968s Unpacking libbpf1:arm64 (1:1.4.6-1) over (1:1.4.5-1) ... 968s Preparing to unpack .../01-libmnl0_1.0.5-3_arm64.deb ... 968s Unpacking libmnl0:arm64 (1.0.5-3) over (1.0.5-2build1) ... 968s Preparing to unpack .../02-python3-gi_3.50.0-3_arm64.deb ... 968s Unpacking python3-gi (3.50.0-3) over (3.48.2-1) ... 968s Preparing to unpack .../03-bash-completion_1%3a2.14.0-2_all.deb ... 968s Unpacking bash-completion (1:2.14.0-2) over (1:2.14.0-1) ... 968s Preparing to unpack .../04-libdrm-common_2.4.123-1_all.deb ... 968s Unpacking libdrm-common (2.4.123-1) over (2.4.122-1) ... 968s Preparing to unpack .../05-libdrm2_2.4.123-1_arm64.deb ... 968s Unpacking libdrm2:arm64 (2.4.123-1) over (2.4.122-1) ... 968s Preparing to unpack .../06-libmaxminddb0_1.11.0-1_arm64.deb ... 968s Unpacking libmaxminddb0:arm64 (1.11.0-1) over (1.10.0-1) ... 968s Preparing to unpack .../07-libnghttp2-14_1.64.0-1_arm64.deb ... 968s Unpacking libnghttp2-14:arm64 (1.64.0-1) over (1.62.1-2) ... 969s Preparing to unpack .../08-liburcu8t64_0.14.1-1_arm64.deb ... 969s Unpacking liburcu8t64:arm64 (0.14.1-1) over (0.14.0-4) ... 969s Preparing to unpack .../09-pci.ids_0.0~2024.10.24-1_all.deb ... 969s Unpacking pci.ids (0.0~2024.10.24-1) over (0.0~2024.09.12-1) ... 969s Preparing to unpack .../10-python3.12-gdbm_3.12.7-2_arm64.deb ... 969s Unpacking python3.12-gdbm (3.12.7-2) over (3.12.7-1) ... 969s Preparing to unpack .../11-usbutils_1%3a018-1_arm64.deb ... 969s Unpacking usbutils (1:018-1) over (1:017-3build1) ... 969s Preparing to unpack .../12-libbytesize1_2.11-1ubuntu1_arm64.deb ... 969s Unpacking libbytesize1:arm64 (2.11-1ubuntu1) over (2.10-1ubuntu2) ... 969s Preparing to unpack .../13-libbytesize-common_2.11-1ubuntu1_all.deb ... 969s Unpacking libbytesize-common (2.11-1ubuntu1) over (2.10-1ubuntu2) ... 969s Preparing to unpack .../14-libjson-glib-1.0-common_1.10.0+ds-2_all.deb ... 969s Unpacking libjson-glib-1.0-common (1.10.0+ds-2) over (1.8.0-2build2) ... 969s Preparing to unpack .../15-libjson-glib-1.0-0_1.10.0+ds-2_arm64.deb ... 969s Unpacking libjson-glib-1.0-0:arm64 (1.10.0+ds-2) over (1.8.0-2build2) ... 969s Preparing to unpack .../16-libnspr4_2%3a4.35-1.1ubuntu2_arm64.deb ... 969s Unpacking libnspr4:arm64 (2:4.35-1.1ubuntu2) over (2:4.35-1.1ubuntu1) ... 969s Preparing to unpack .../17-udisks2_2.10.1-11ubuntu1_arm64.deb ... 969s Unpacking udisks2 (2.10.1-11ubuntu1) over (2.10.1-9ubuntu2) ... 969s Preparing to unpack .../18-libudisks2-0_2.10.1-11ubuntu1_arm64.deb ... 969s Unpacking libudisks2-0:arm64 (2.10.1-11ubuntu1) over (2.10.1-9ubuntu2) ... 969s Preparing to unpack .../19-linux-firmware_20241108.git3bbb13a7-0ubuntu1_arm64.deb ... 969s Unpacking linux-firmware (20241108.git3bbb13a7-0ubuntu1) over (20240913.gita34e7a5f-0ubuntu2) ... 972s Preparing to unpack .../20-python3-idna_3.8-2_all.deb ... 972s Unpacking python3-idna (3.8-2) over (3.6-2.1) ... 972s Preparing to unpack .../21-python3-jsonpatch_1.32-4_all.deb ... 972s Unpacking python3-jsonpatch (1.32-4) over (1.32-3) ... 972s Preparing to unpack .../22-python3-wadllib_2.0.0-1_all.deb ... 972s Unpacking python3-wadllib (2.0.0-1) over (1.3.6-5) ... 972s Preparing to unpack .../23-python3-lazr.restfulclient_0.14.6-2_all.deb ... 972s Unpacking python3-lazr.restfulclient (0.14.6-2) over (0.14.6-1) ... 972s Preparing to unpack .../24-python3-urllib3_2.0.7-2ubuntu0.1_all.deb ... 972s Unpacking python3-urllib3 (2.0.7-2ubuntu0.1) over (2.0.7-2) ... 972s Selecting previously unselected package systemd-cryptsetup. 973s Preparing to unpack .../25-systemd-cryptsetup_256.5-2ubuntu4_arm64.deb ... 973s Unpacking systemd-cryptsetup (256.5-2ubuntu4) ... 973s Setting up liburcu8t64:arm64 (0.14.1-1) ... 973s Setting up pci.ids (0.0~2024.10.24-1) ... 973s Setting up linux-firmware (20241108.git3bbb13a7-0ubuntu1) ... 973s Setting up openssh-client (1:9.7p1-7ubuntu5) ... 973s Setting up libmaxminddb0:arm64 (1.11.0-1) ... 973s Setting up python3.12-gdbm (3.12.7-2) ... 973s Setting up python3-jsonpatch (1.32-4) ... 973s Setting up libpython3.12-minimal:arm64 (3.12.7-2) ... 973s Setting up libnghttp2-14:arm64 (1.64.0-1) ... 973s Setting up usbutils (1:018-1) ... 973s Setting up libnspr4:arm64 (2:4.35-1.1ubuntu2) ... 973s Setting up bash-completion (1:2.14.0-2) ... 973s Setting up python3-wadllib (2.0.0-1) ... 973s Setting up python3-gi (3.50.0-3) ... 973s Setting up libbytesize-common (2.11-1ubuntu1) ... 973s Setting up libmnl0:arm64 (1.0.5-3) ... 973s Setting up python3-idna (3.8-2) ... 973s Setting up libsystemd-shared:arm64 (256.5-2ubuntu4) ... 973s Setting up python3-urllib3 (2.0.7-2ubuntu0.1) ... 973s Setting up libjson-glib-1.0-common (1.10.0+ds-2) ... 973s Setting up libbytesize1:arm64 (2.11-1ubuntu1) ... 973s Setting up python3-lazr.restfulclient (0.14.6-2) ... 974s Setting up libdrm-common (2.4.123-1) ... 974s Setting up libbpf1:arm64 (1:1.4.6-1) ... 974s Setting up libudisks2-0:arm64 (2.10.1-11ubuntu1) ... 974s Setting up python3.12-minimal (3.12.7-2) ... 974s Setting up openssh-sftp-server (1:9.7p1-7ubuntu5) ... 974s Setting up libpython3.12-stdlib:arm64 (3.12.7-2) ... 974s Setting up openssh-server (1:9.7p1-7ubuntu5) ... 976s Setting up python3.12 (3.12.7-2) ... 977s Setting up systemd (256.5-2ubuntu4) ... 977s /usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring. 977s Created symlink '/run/systemd/system/tmp.mount' → '/dev/null'. 977s /usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring. 978s Setting up libjson-glib-1.0-0:arm64 (1.10.0+ds-2) ... 978s Setting up libpython3.12t64:arm64 (3.12.7-2) ... 978s Setting up systemd-cryptsetup (256.5-2ubuntu4) ... 978s Setting up systemd-timesyncd (256.5-2ubuntu4) ... 978s systemd-time-wait-sync.service is a disabled or a static unit not running, not starting it. 978s Setting up udev (256.5-2ubuntu4) ... 979s Setting up libdrm2:arm64 (2.4.123-1) ... 979s Setting up systemd-resolved (256.5-2ubuntu4) ... 979s Setting up udisks2 (2.10.1-11ubuntu1) ... 980s Setting up systemd-sysv (256.5-2ubuntu4) ... 980s Setting up libnss-systemd:arm64 (256.5-2ubuntu4) ... 980s Setting up libpam-systemd:arm64 (256.5-2ubuntu4) ... 980s Processing triggers for libc-bin (2.40-1ubuntu3) ... 980s Processing triggers for ufw (0.36.2-8) ... 980s Processing triggers for man-db (2.12.1-3) ... 981s Processing triggers for dbus (1.14.10-4ubuntu5) ... 981s Processing triggers for shared-mime-info (2.4-5) ... 982s Processing triggers for initramfs-tools (0.142ubuntu34) ... 982s update-initramfs: Generating /boot/initrd.img-6.11.0-8-generic 982s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 999s System running in EFI mode, skipping. 999s Reading package lists... 1000s Building dependency tree... 1000s Reading state information... 1000s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1001s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 1001s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 1001s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 1001s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 1002s Reading package lists... 1002s Reading package lists... 1002s Building dependency tree... 1002s Reading state information... 1003s Calculating upgrade... 1003s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1003s Reading package lists... 1003s Building dependency tree... 1003s Reading state information... 1004s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1004s autopkgtest [15:10:33]: rebooting testbed after setup commands that affected boot 1029s autopkgtest [15:10:58]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 16 14:19:41 UTC 2024 1031s autopkgtest [15:11:00]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c 1044s Get:1 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (dsc) [2447 B] 1044s Get:2 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (tar) [8074 kB] 1044s Get:3 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (diff) [17.2 kB] 1044s gpgv: Signature made Fri Sep 6 13:44:00 2024 UTC 1044s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 1044s gpgv: Can't check signature: No public key 1044s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build14.dsc: no acceptable signature found 1044s autopkgtest [15:11:13]: testing package frama-c version 20220511-manganese-5build14 1045s autopkgtest [15:11:14]: build not needed 1050s autopkgtest [15:11:19]: test eva: preparing testbed 1053s Reading package lists... 1053s Building dependency tree... 1053s Reading state information... 1053s Starting pkgProblemResolver with broken count: 1 1054s Starting 2 pkgProblemResolver with broken count: 1 1054s Investigating (0) frama-c-base:arm64 < none -> 20220511-manganese-5build14 @un puN Ib > 1054s Broken frama-c-base:arm64 Depends on libcairo2:arm64 < none | 1.18.2-2 @un uH > (>= 1.12.0) 1054s Considering libcairo2:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated fonts-dejavu-mono:arm64 1054s Re-Instated fonts-dejavu-core:arm64 1054s Re-Instated fontconfig-config:arm64 1054s Re-Instated libfontconfig1:arm64 1054s Re-Instated libpixman-1-0:arm64 1054s Re-Instated libxcb-render0:arm64 1054s Re-Instated libxcb-shm0:arm64 1054s Re-Instated libxrender1:arm64 1054s Re-Instated libcairo2:arm64 1054s Broken frama-c-base:arm64 Depends on libgdk-pixbuf-2.0-0:arm64 < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0) 1054s Considering libgdk-pixbuf-2.0-0:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libgdk-pixbuf2.0-common:arm64 1054s Re-Instated libjpeg-turbo8:arm64 1054s Re-Instated libjpeg8:arm64 1054s Re-Instated libdeflate0:arm64 1054s Re-Instated libjbig0:arm64 1054s Re-Instated liblerc4:arm64 1054s Re-Instated libsharpyuv0:arm64 1054s Re-Instated libwebp7:arm64 1054s Re-Instated libtiff6:arm64 1054s Re-Instated libgdk-pixbuf-2.0-0:arm64 1054s Broken frama-c-base:arm64 Depends on libgtk-3-0t64:arm64 < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5) 1054s Considering libgtk-3-0t64:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated gtk-update-icon-cache:arm64 1054s Re-Instated hicolor-icon-theme:arm64 1054s Re-Instated humanity-icon-theme:arm64 1054s Re-Instated ubuntu-mono:arm64 1054s Re-Instated adwaita-icon-theme:arm64 1054s Re-Instated at-spi2-common:arm64 1054s Re-Instated libatk1.0-0t64:arm64 1054s Re-Instated libxi6:arm64 1054s Re-Instated libatspi2.0-0t64:arm64 1054s Re-Instated libatk-bridge2.0-0t64:arm64 1054s Re-Instated libcairo-gobject2:arm64 1054s Re-Instated liblcms2-2:arm64 1054s Re-Instated libcolord2:arm64 1054s Re-Instated libavahi-common-data:arm64 1054s Re-Instated libavahi-common3:arm64 1054s Re-Instated libavahi-client3:arm64 1054s Re-Instated libcups2t64:arm64 1054s Re-Instated libepoxy0:arm64 1054s Re-Instated libgraphite2-3:arm64 1054s Re-Instated libharfbuzz0b:arm64 1054s Re-Instated fontconfig:arm64 1054s Re-Instated libthai-data:arm64 1054s Re-Instated libdatrie1:arm64 1054s Re-Instated libthai0:arm64 1054s Re-Instated libpango-1.0-0:arm64 1054s Re-Instated libpangoft2-1.0-0:arm64 1054s Re-Instated libpangocairo-1.0-0:arm64 1054s Re-Instated libwayland-client0:arm64 1054s Re-Instated libwayland-cursor0:arm64 1054s Re-Instated libwayland-egl1:arm64 1054s Re-Instated libxcomposite1:arm64 1054s Re-Instated libxfixes3:arm64 1054s Re-Instated libxcursor1:arm64 1054s Re-Instated libxdamage1:arm64 1054s Re-Instated libxinerama1:arm64 1054s Re-Instated libxrandr2:arm64 1054s Re-Instated libdconf1:arm64 1054s Re-Instated dconf-service:arm64 1054s Re-Instated dconf-gsettings-backend:arm64 1054s Re-Instated libgtk-3-common:arm64 1054s Re-Instated libgtk-3-0t64:arm64 1054s Broken frama-c-base:arm64 Depends on libgtksourceview-3.0-1:arm64 < none | 3.24.11-3 @un uH > (>= 2.91.4) 1054s Considering libgtksourceview-3.0-1:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libgtksourceview-3.0-common:arm64 1054s Re-Instated libgtksourceview-3.0-1:arm64 1054s Broken frama-c-base:arm64 Depends on libcairo2-ocaml-7q5f6:arm64 < none @un H > 1054s Considering libcairo2-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libstdlib-ocaml:arm64 1054s Re-Instated ocaml-base:arm64 1054s Re-Instated libcairo2-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on libfindlib-ocaml-s4pw8:arm64 < none @un H > 1054s Considering libfindlib-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libfindlib-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on liblablgtk3-ocaml-hnx11:arm64 < none @un H > 1054s Considering liblablgtk3-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated liblablgtk3-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on liblablgtksourceview3-ocaml-51fc1:arm64 < none @un H > 1054s Considering liblablgtksourceview3-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated liblablgtksourceview3-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on libppx-deriving-ocaml-5abq1:arm64 < none @un H > 1054s Considering libppx-deriving-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libsexplib0-ocaml:arm64 1054s Re-Instated libppx-deriving-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on libyojson-ocaml-g43y1:arm64 < none @un H > 1054s Considering libyojson-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libyojson-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on libzarith-ocaml-mtsj7:arm64 < none @un H > 1054s Considering libzarith-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1054s Re-Instated libzarith-ocaml:arm64 1054s Broken frama-c-base:arm64 Depends on libocamlgraph-ocaml-dev:arm64 < none | 2.1.0-3build1 @un uH > 1054s Considering libocamlgraph-ocaml-dev:arm64 1 as a solution to frama-c-base:arm64 0 1054s Re-Instated libstdlib-ocaml-dev:arm64 1054s Re-Instated libcompiler-libs-ocaml-dev:arm64 1054s Re-Instated ocaml-interp:arm64 1054s Re-Instated libncurses-dev:arm64 1054s Re-Instated libisl23:arm64 1054s Re-Instated libmpc3:arm64 1054s Re-Instated cpp-14-aarch64-linux-gnu:arm64 1054s Re-Instated cpp-14:arm64 1054s Re-Instated cpp-aarch64-linux-gnu:arm64 1054s Re-Instated cpp:arm64 1054s Re-Instated libcc1-0:arm64 1054s Re-Instated libgomp1:arm64 1054s Re-Instated libitm1:arm64 1054s Re-Instated libasan8:arm64 1054s Re-Instated liblsan0:arm64 1054s Re-Instated libtsan2:arm64 1054s Re-Instated libubsan1:arm64 1054s Re-Instated libhwasan0:arm64 1054s Re-Instated libgcc-14-dev:arm64 1054s Re-Instated gcc-14-aarch64-linux-gnu:arm64 1054s Re-Instated gcc-14:arm64 1054s Re-Instated gcc-aarch64-linux-gnu:arm64 1054s Re-Instated gcc:arm64 1054s Re-Instated libzstd-dev:arm64 1054s Re-Instated ocaml:arm64 1054s Re-Instated libocamlgraph-ocaml-dev:arm64 1054s Broken frama-c-base:arm64 Depends on libppx-import-ocaml:arm64 < none | 1.11.0-2build2 @un uH > 1054s Considering libppx-import-ocaml:arm64 1 as a solution to frama-c-base:arm64 0 1054s Re-Instated libppx-import-ocaml:arm64 1054s Done 1054s Some packages could not be installed. This may mean that you have 1054s requested an impossible situation or if you are using the unstable 1054s distribution that some required packages have not yet been created 1054s or been moved out of Incoming. 1054s The following information may help to resolve the situation: 1054s 1054s The following packages have unmet dependencies: 1054s frama-c-base : Depends: libppx-deriving-ocaml-5abq1 1054s E: Unable to correct problems, you have held broken packages. 1054s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 1054s Reading package lists... 1055s Building dependency tree... 1055s Reading state information... 1055s Starting pkgProblemResolver with broken count: 1 1055s Starting 2 pkgProblemResolver with broken count: 1 1055s Investigating (0) frama-c-base:arm64 < none -> 20220511-manganese-5build14 @un puN Ib > 1055s Broken frama-c-base:arm64 Depends on libcairo2:arm64 < none | 1.18.2-2 @un uH > (>= 1.12.0) 1055s Considering libcairo2:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated fonts-dejavu-mono:arm64 1055s Re-Instated fonts-dejavu-core:arm64 1055s Re-Instated fontconfig-config:arm64 1055s Re-Instated libfontconfig1:arm64 1055s Re-Instated libpixman-1-0:arm64 1055s Re-Instated libxcb-render0:arm64 1055s Re-Instated libxcb-shm0:arm64 1055s Re-Instated libxrender1:arm64 1055s Re-Instated libcairo2:arm64 1055s Broken frama-c-base:arm64 Depends on libgdk-pixbuf-2.0-0:arm64 < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0) 1055s Considering libgdk-pixbuf-2.0-0:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libgdk-pixbuf2.0-common:arm64 1055s Re-Instated libjpeg-turbo8:arm64 1055s Re-Instated libjpeg8:arm64 1055s Re-Instated libdeflate0:arm64 1055s Re-Instated libjbig0:arm64 1055s Re-Instated liblerc4:arm64 1055s Re-Instated libsharpyuv0:arm64 1055s Re-Instated libwebp7:arm64 1055s Re-Instated libtiff6:arm64 1055s Re-Instated libgdk-pixbuf-2.0-0:arm64 1055s Broken frama-c-base:arm64 Depends on libgtk-3-0t64:arm64 < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5) 1055s Considering libgtk-3-0t64:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated gtk-update-icon-cache:arm64 1055s Re-Instated hicolor-icon-theme:arm64 1055s Re-Instated humanity-icon-theme:arm64 1055s Re-Instated ubuntu-mono:arm64 1055s Re-Instated adwaita-icon-theme:arm64 1055s Re-Instated at-spi2-common:arm64 1055s Re-Instated libatk1.0-0t64:arm64 1055s Re-Instated libxi6:arm64 1055s Re-Instated libatspi2.0-0t64:arm64 1055s Re-Instated libatk-bridge2.0-0t64:arm64 1055s Re-Instated libcairo-gobject2:arm64 1055s Re-Instated liblcms2-2:arm64 1055s Re-Instated libcolord2:arm64 1055s Re-Instated libavahi-common-data:arm64 1055s Re-Instated libavahi-common3:arm64 1055s Re-Instated libavahi-client3:arm64 1055s Re-Instated libcups2t64:arm64 1055s Re-Instated libepoxy0:arm64 1055s Re-Instated libgraphite2-3:arm64 1055s Re-Instated libharfbuzz0b:arm64 1055s Re-Instated fontconfig:arm64 1055s Re-Instated libthai-data:arm64 1055s Re-Instated libdatrie1:arm64 1055s Re-Instated libthai0:arm64 1055s Re-Instated libpango-1.0-0:arm64 1055s Re-Instated libpangoft2-1.0-0:arm64 1055s Re-Instated libpangocairo-1.0-0:arm64 1055s Re-Instated libwayland-client0:arm64 1055s Re-Instated libwayland-cursor0:arm64 1055s Re-Instated libwayland-egl1:arm64 1055s Re-Instated libxcomposite1:arm64 1055s Re-Instated libxfixes3:arm64 1055s Re-Instated libxcursor1:arm64 1055s Re-Instated libxdamage1:arm64 1055s Re-Instated libxinerama1:arm64 1055s Re-Instated libxrandr2:arm64 1055s Re-Instated libdconf1:arm64 1055s Re-Instated dconf-service:arm64 1055s Re-Instated dconf-gsettings-backend:arm64 1055s Re-Instated libgtk-3-common:arm64 1055s Re-Instated libgtk-3-0t64:arm64 1055s Broken frama-c-base:arm64 Depends on libgtksourceview-3.0-1:arm64 < none | 3.24.11-3 @un uH > (>= 2.91.4) 1055s Considering libgtksourceview-3.0-1:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libgtksourceview-3.0-common:arm64 1055s Re-Instated libgtksourceview-3.0-1:arm64 1055s Broken frama-c-base:arm64 Depends on libcairo2-ocaml-7q5f6:arm64 < none @un H > 1055s Considering libcairo2-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libstdlib-ocaml:arm64 1055s Re-Instated ocaml-base:arm64 1055s Re-Instated libcairo2-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on libfindlib-ocaml-s4pw8:arm64 < none @un H > 1055s Considering libfindlib-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libfindlib-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on liblablgtk3-ocaml-hnx11:arm64 < none @un H > 1055s Considering liblablgtk3-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated liblablgtk3-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on liblablgtksourceview3-ocaml-51fc1:arm64 < none @un H > 1055s Considering liblablgtksourceview3-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated liblablgtksourceview3-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on libppx-deriving-ocaml-5abq1:arm64 < none @un H > 1055s Considering libppx-deriving-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libsexplib0-ocaml:arm64 1055s Re-Instated libppx-deriving-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on libyojson-ocaml-g43y1:arm64 < none @un H > 1055s Considering libyojson-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libyojson-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on libzarith-ocaml-mtsj7:arm64 < none @un H > 1055s Considering libzarith-ocaml:arm64 0 as a solution to frama-c-base:arm64 0 1055s Re-Instated libzarith-ocaml:arm64 1055s Broken frama-c-base:arm64 Depends on libocamlgraph-ocaml-dev:arm64 < none | 2.1.0-3build1 @un uH > 1055s Considering libocamlgraph-ocaml-dev:arm64 1 as a solution to frama-c-base:arm64 0 1055s Re-Instated libstdlib-ocaml-dev:arm64 1055s Re-Instated libcompiler-libs-ocaml-dev:arm64 1055s Re-Instated ocaml-interp:arm64 1055s Re-Instated libncurses-dev:arm64 1055s Re-Instated gcc-14-base:arm64 1055s Re-Instated libisl23:arm64 1055s Re-Instated libmpc3:arm64 1055s Re-Instated cpp-14-aarch64-linux-gnu:arm64 1055s Re-Instated cpp-14:arm64 1055s Re-Instated cpp-aarch64-linux-gnu:arm64 1055s Re-Instated cpp:arm64 1055s Re-Instated libcc1-0:arm64 1055s Re-Instated libgcc-s1:arm64 1055s Re-Instated libgomp1:arm64 1055s Re-Instated libitm1:arm64 1055s Re-Instated libatomic1:arm64 1055s Re-Instated libasan8:arm64 1055s Re-Instated liblsan0:arm64 1055s Re-Instated libtsan2:arm64 1055s Re-Instated libubsan1:arm64 1055s Re-Instated libhwasan0:arm64 1055s Re-Instated libgcc-14-dev:arm64 1055s Re-Instated gcc-14-aarch64-linux-gnu:arm64 1055s Re-Instated gcc-14:arm64 1055s Re-Instated gcc-aarch64-linux-gnu:arm64 1055s Re-Instated gcc:arm64 1055s Re-Instated libzstd-dev:arm64 1055s Re-Instated ocaml:arm64 1055s Re-Instated libocamlgraph-ocaml-dev:arm64 1055s Broken frama-c-base:arm64 Depends on libppx-import-ocaml:arm64 < none | 1.11.0-2build2 @un uH > 1055s Considering libppx-import-ocaml:arm64 1 as a solution to frama-c-base:arm64 0 1055s Re-Instated libppx-import-ocaml:arm64 1055s Done 1055s Some packages could not be installed. This may mean that you have 1055s requested an impossible situation or if you are using the unstable 1055s distribution that some required packages have not yet been created 1055s or been moved out of Incoming. 1055s The following information may help to resolve the situation: 1055s 1055s The following packages have unmet dependencies: 1056s frama-c-base : Depends: libppx-deriving-ocaml-5abq1 1056s libstdc++6 : Depends: gcc-14-base (= 14.2.0-7ubuntu1) but 14.2.0-8ubuntu1 is to be installed 1056s E: Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages. 1056s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 1056s Reading package lists... 1056s Building dependency tree... 1056s Reading state information... 1056s Starting pkgProblemResolver with broken count: 1 1057s Starting 2 pkgProblemResolver with broken count: 1 1057s Investigating (0) frama-c-base:arm64 < none -> 20220511-manganese-5build14 @un puN Ib > 1057s Broken frama-c-base:arm64 Depends on libcairo2:arm64 < none | 1.18.2-2 @un uH > (>= 1.12.0) 1057s Considering libcairo2:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated fonts-dejavu-mono:arm64 1057s Re-Instated fonts-dejavu-core:arm64 1057s Re-Instated fontconfig-config:arm64 1057s Re-Instated libfontconfig1:arm64 1057s Re-Instated libpixman-1-0:arm64 1057s Re-Instated libxcb-render0:arm64 1057s Re-Instated libxcb-shm0:arm64 1057s Re-Instated libxrender1:arm64 1057s Re-Instated libcairo2:arm64 1057s Broken frama-c-base:arm64 Depends on libgdk-pixbuf-2.0-0:arm64 < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0) 1057s Considering libgdk-pixbuf-2.0-0:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libgdk-pixbuf2.0-common:arm64 1057s Re-Instated libjpeg-turbo8:arm64 1057s Re-Instated libjpeg8:arm64 1057s Re-Instated libdeflate0:arm64 1057s Re-Instated libjbig0:arm64 1057s Re-Instated liblerc4:arm64 1057s Re-Instated libsharpyuv0:arm64 1057s Re-Instated libwebp7:arm64 1057s Re-Instated libtiff6:arm64 1057s Re-Instated libgdk-pixbuf-2.0-0:arm64 1057s Broken frama-c-base:arm64 Depends on libgtk-3-0t64:arm64 < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5) 1057s Considering libgtk-3-0t64:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated gtk-update-icon-cache:arm64 1057s Re-Instated hicolor-icon-theme:arm64 1057s Re-Instated humanity-icon-theme:arm64 1057s Re-Instated ubuntu-mono:arm64 1057s Re-Instated adwaita-icon-theme:arm64 1057s Re-Instated at-spi2-common:arm64 1057s Re-Instated libatk1.0-0t64:arm64 1057s Re-Instated libxi6:arm64 1057s Re-Instated libatspi2.0-0t64:arm64 1057s Re-Instated libatk-bridge2.0-0t64:arm64 1057s Re-Instated libcairo-gobject2:arm64 1057s Re-Instated liblcms2-2:arm64 1057s Re-Instated libcolord2:arm64 1057s Re-Instated libavahi-common-data:arm64 1057s Re-Instated libavahi-common3:arm64 1057s Re-Instated libavahi-client3:arm64 1057s Re-Instated libcups2t64:arm64 1057s Re-Instated libepoxy0:arm64 1057s Re-Instated libgraphite2-3:arm64 1057s Re-Instated libharfbuzz0b:arm64 1057s Re-Instated fontconfig:arm64 1057s Re-Instated libthai-data:arm64 1057s Re-Instated libdatrie1:arm64 1057s Re-Instated libthai0:arm64 1057s Re-Instated libpango-1.0-0:arm64 1057s Re-Instated libpangoft2-1.0-0:arm64 1057s Re-Instated libpangocairo-1.0-0:arm64 1057s Re-Instated libwayland-client0:arm64 1057s Re-Instated libwayland-cursor0:arm64 1057s Re-Instated libwayland-egl1:arm64 1057s Re-Instated libxcomposite1:arm64 1057s Re-Instated libxfixes3:arm64 1057s Re-Instated libxcursor1:arm64 1057s Re-Instated libxdamage1:arm64 1057s Re-Instated libxinerama1:arm64 1057s Re-Instated libxrandr2:arm64 1057s Re-Instated libdconf1:arm64 1057s Re-Instated dconf-service:arm64 1057s Re-Instated dconf-gsettings-backend:arm64 1057s Re-Instated libgtk-3-common:arm64 1057s Re-Instated libgtk-3-0t64:arm64 1057s Broken frama-c-base:arm64 Depends on libgtksourceview-3.0-1:arm64 < none | 3.24.11-3 @un uH > (>= 2.91.4) 1057s Considering libgtksourceview-3.0-1:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libgtksourceview-3.0-common:arm64 1057s Re-Instated libgtksourceview-3.0-1:arm64 1057s Broken frama-c-base:arm64 Depends on libcairo2-ocaml-7q5f6:arm64 < none @un H > 1057s Considering libcairo2-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libstdlib-ocaml:arm64 1057s Re-Instated ocaml-base:arm64 1057s Re-Instated libcairo2-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on libfindlib-ocaml-s4pw8:arm64 < none @un H > 1057s Considering libfindlib-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libfindlib-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on liblablgtk3-ocaml-hnx11:arm64 < none @un H > 1057s Considering liblablgtk3-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated liblablgtk3-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on liblablgtksourceview3-ocaml-51fc1:arm64 < none @un H > 1057s Considering liblablgtksourceview3-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated liblablgtksourceview3-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on libppx-deriving-ocaml-5abq1:arm64 < none @un H > 1057s Considering libppx-deriving-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libsexplib0-ocaml:arm64 1057s Re-Instated libppx-deriving-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on libyojson-ocaml-g43y1:arm64 < none @un H > 1057s Considering libyojson-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libyojson-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on libzarith-ocaml-mtsj7:arm64 < none @un H > 1057s Considering libzarith-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libzarith-ocaml:arm64 1057s Broken frama-c-base:arm64 Depends on libocamlgraph-ocaml-dev:arm64 < none | 2.1.0-3build1 @un uH > 1057s Considering libocamlgraph-ocaml-dev:arm64 1 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libstdlib-ocaml-dev:arm64 1057s Re-Instated libcompiler-libs-ocaml-dev:arm64 1057s Re-Instated ocaml-interp:arm64 1057s Re-Instated libncurses-dev:arm64 1057s Re-Instated gcc-14-base:arm64 1057s Re-Instated libisl23:arm64 1057s Re-Instated libmpc3:arm64 1057s Re-Instated cpp-14-aarch64-linux-gnu:arm64 1057s Re-Instated cpp-14:arm64 1057s Re-Instated cpp-aarch64-linux-gnu:arm64 1057s Re-Instated cpp:arm64 1057s Re-Instated libcc1-0:arm64 1057s Re-Instated libgcc-s1:arm64 1057s Re-Instated libgomp1:arm64 1057s Re-Instated libitm1:arm64 1057s Re-Instated libatomic1:arm64 1057s Re-Instated libasan8:arm64 1057s Re-Instated liblsan0:arm64 1057s Re-Instated libtsan2:arm64 1057s Re-Instated libubsan1:arm64 1057s Re-Instated libhwasan0:arm64 1057s Re-Instated libgcc-14-dev:arm64 1057s Re-Instated gcc-14-aarch64-linux-gnu:arm64 1057s Re-Instated gcc-14:arm64 1057s Re-Instated gcc-aarch64-linux-gnu:arm64 1057s Re-Instated gcc:arm64 1057s Re-Instated libzstd-dev:arm64 1057s Re-Instated ocaml:arm64 1057s Re-Instated libocamlgraph-ocaml-dev:arm64 1057s Broken frama-c-base:arm64 Depends on libppx-import-ocaml:arm64 < none | 1.11.0-2build2 @un uH > 1057s Considering libppx-import-ocaml:arm64 1 as a solution to frama-c-base:arm64 9999 1057s Re-Instated libppx-import-ocaml:arm64 1057s Investigating (0) libstdc++6:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH Ib > 1057s Broken libstdc++6:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU > (= 14.2.0-7ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libstdc++6:arm64 188 1057s Added gcc-14-base:arm64 to the remove list 1057s Fixing libstdc++6:arm64 via keep of gcc-14-base:arm64 1057s Investigating (0) libatomic1:arm64 < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU Ib > 1057s Broken libatomic1:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libatomic1:arm64 44 1057s Holding Back libatomic1:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) cpp-14:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken cpp-14:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to cpp-14:arm64 0 1057s Holding Back cpp-14:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) cpp-14-aarch64-linux-gnu:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken cpp-14-aarch64-linux-gnu:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to cpp-14-aarch64-linux-gnu:arm64 0 1057s Holding Back cpp-14-aarch64-linux-gnu:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) libitm1:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libitm1:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libitm1:arm64 0 1057s Holding Back libitm1:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) libasan8:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libasan8:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libasan8:arm64 0 1057s Holding Back libasan8:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) cpp-aarch64-linux-gnu:arm64 < none -> 4:14.1.0-2ubuntu1 @un uN Ib > 1057s Broken cpp-aarch64-linux-gnu:arm64 Depends on cpp-14-aarch64-linux-gnu:arm64 < none | 14.2.0-8ubuntu1 @un uH > (>= 14.1.0-4~) 1057s Considering cpp-14-aarch64-linux-gnu:arm64 0 as a solution to cpp-aarch64-linux-gnu:arm64 0 1057s Holding Back cpp-aarch64-linux-gnu:arm64 rather than change cpp-14-aarch64-linux-gnu:arm64 1057s Investigating (0) liblsan0:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken liblsan0:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to liblsan0:arm64 0 1057s Holding Back liblsan0:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) libubsan1:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libubsan1:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libubsan1:arm64 0 1057s Holding Back libubsan1:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) gcc-14-aarch64-linux-gnu:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken gcc-14-aarch64-linux-gnu:arm64 Depends on cpp-14-aarch64-linux-gnu:arm64 < none | 14.2.0-8ubuntu1 @un uH > (= 14.2.0-8ubuntu1) 1057s Considering cpp-14-aarch64-linux-gnu:arm64 0 as a solution to gcc-14-aarch64-linux-gnu:arm64 0 1057s Holding Back gcc-14-aarch64-linux-gnu:arm64 rather than change cpp-14-aarch64-linux-gnu:arm64 1057s Investigating (0) libhwasan0:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libhwasan0:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libhwasan0:arm64 0 1057s Holding Back libhwasan0:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) libgcc-14-dev:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libgcc-14-dev:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libgcc-14-dev:arm64 0 1057s Holding Back libgcc-14-dev:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) libgomp1:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libgomp1:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libgomp1:arm64 0 1057s Holding Back libgomp1:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) libtsan2:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libtsan2:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libtsan2:arm64 0 1057s Holding Back libtsan2:arm64 rather than change gcc-14-base:arm64 1057s Investigating (0) cpp:arm64 < none -> 4:14.1.0-2ubuntu1 @un uN Ib > 1057s Broken cpp:arm64 Depends on cpp-14:arm64 < none | 14.2.0-8ubuntu1 @un uH > (>= 14.1.0-4~) 1057s Considering cpp-14:arm64 0 as a solution to cpp:arm64 0 1057s Holding Back cpp:arm64 rather than change cpp-14:arm64 1057s Investigating (0) gcc-14:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken gcc-14:arm64 Depends on gcc-14-aarch64-linux-gnu:arm64 < none | 14.2.0-8ubuntu1 @un uH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-aarch64-linux-gnu:arm64 0 as a solution to gcc-14:arm64 0 1057s Holding Back gcc-14:arm64 rather than change gcc-14-aarch64-linux-gnu:arm64 1057s Investigating (0) gcc-aarch64-linux-gnu:arm64 < none -> 4:14.1.0-2ubuntu1 @un uN Ib > 1057s Broken gcc-aarch64-linux-gnu:arm64 Depends on cpp-aarch64-linux-gnu:arm64 < none | 4:14.1.0-2ubuntu1 @un uH > (= 4:14.1.0-2ubuntu1) 1057s Considering cpp-aarch64-linux-gnu:arm64 0 as a solution to gcc-aarch64-linux-gnu:arm64 0 1057s Holding Back gcc-aarch64-linux-gnu:arm64 rather than change cpp-aarch64-linux-gnu:arm64 1057s Investigating (0) libcc1-0:arm64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 1057s Broken libcc1-0:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libcc1-0:arm64 0 1057s Holding Back libcc1-0:arm64 rather than change gcc-14-base:arm64 1057s Investigating (1) frama-c-base:arm64 < none -> 20220511-manganese-5build14 @un puN Ib > 1057s Broken frama-c-base:arm64 Depends on libppx-deriving-ocaml-5abq1:arm64 < none @un H > 1057s Considering libppx-deriving-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Investigating (1) libgcc-s1:arm64 < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU Ib > 1057s Broken libgcc-s1:arm64 Depends on gcc-14-base:arm64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 1057s Considering gcc-14-base:arm64 164 as a solution to libgcc-s1:arm64 5727 1057s Holding Back libgcc-s1:arm64 rather than change gcc-14-base:arm64 1057s Investigating (1) gcc:arm64 < none -> 4:14.1.0-2ubuntu1 @un umN Ib > 1057s Broken gcc:arm64 Depends on cpp:arm64 < none | 4:14.1.0-2ubuntu1 @un uH > (= 4:14.1.0-2ubuntu1) 1057s Considering cpp:arm64 0 as a solution to gcc:arm64 2 1057s Holding Back gcc:arm64 rather than change cpp:arm64 1057s Investigating (1) ocaml:arm64 < none -> 5.2.0-3 @un uN Ib > 1057s Broken ocaml:arm64 Depends on gcc:arm64 < none | 4:14.1.0-2ubuntu1 @un umH > 1057s Considering gcc:arm64 2 as a solution to ocaml:arm64 0 1057s Holding Back ocaml:arm64 rather than change gcc:arm64 1057s Investigating (2) frama-c-base:arm64 < none -> 20220511-manganese-5build14 @un puN Ib > 1057s Broken frama-c-base:arm64 Depends on libppx-deriving-ocaml-5abq1:arm64 < none @un H > 1057s Considering libppx-deriving-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Broken frama-c-base:arm64 Depends on gcc:arm64 < none | 4:14.1.0-2ubuntu1 @un umH > 1057s Considering gcc:arm64 2 as a solution to frama-c-base:arm64 9999 1057s Investigating (2) libocamlgraph-ocaml-dev:arm64 < none -> 2.1.0-3build1 @un uN Ib > 1057s Broken libocamlgraph-ocaml-dev:arm64 Depends on ocaml-5.2.0:arm64 < none @un H > 1057s Considering ocaml:arm64 0 as a solution to libocamlgraph-ocaml-dev:arm64 1 1057s Holding Back libocamlgraph-ocaml-dev:arm64 rather than change ocaml-5.2.0:arm64 1057s Investigating (3) frama-c-base:arm64 < none -> 20220511-manganese-5build14 @un puN Ib > 1057s Broken frama-c-base:arm64 Depends on libppx-deriving-ocaml-5abq1:arm64 < none @un H > 1057s Considering libppx-deriving-ocaml:arm64 0 as a solution to frama-c-base:arm64 9999 1057s Broken frama-c-base:arm64 Depends on libocamlgraph-ocaml-dev:arm64 < none | 2.1.0-3build1 @un uH > 1057s Considering libocamlgraph-ocaml-dev:arm64 1 as a solution to frama-c-base:arm64 9999 1057s Broken frama-c-base:arm64 Depends on gcc:arm64 < none | 4:14.1.0-2ubuntu1 @un umH > 1057s Considering gcc:arm64 2 as a solution to frama-c-base:arm64 9999 1057s Done 1057s Some packages could not be installed. This may mean that you have 1057s requested an impossible situation or if you are using the unstable 1057s distribution that some required packages have not yet been created 1057s or been moved out of Incoming. 1057s The following information may help to resolve the situation: 1057s 1057s The following packages have unmet dependencies: 1057s frama-c-base : Depends: libppx-deriving-ocaml-5abq1 1057s Depends: libocamlgraph-ocaml-dev but it is not going to be installed 1057s Depends: gcc but it is not going to be installed 1057s E: Unable to correct problems, you have held broken packages. 1057s autopkgtest [15:11:26]: test wp: preparing testbed 1057s eva FAIL badpkg 1057s blame: frama-c 1057s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 1058s Reading package lists... 1058s Building dependency tree... 1058s Reading state information... 1059s Starting pkgProblemResolver with broken count: 1 1059s Starting 2 pkgProblemResolver with broken count: 1 1059s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib > 1059s Broken autopkgtest-satdep:arm64 Depends on frama-c-base:arm64 < none | 20220511-manganese-5build14 @un uH > 1059s Considering frama-c-base:arm64 1 as a solution to autopkgtest-satdep:arm64 9998 1059s Re-Instated fonts-dejavu-mono:arm64 1059s Re-Instated fonts-dejavu-core:arm64 1059s Re-Instated fontconfig-config:arm64 1059s Re-Instated libfontconfig1:arm64 1059s Re-Instated libpixman-1-0:arm64 1059s Re-Instated libxcb-render0:arm64 1059s Re-Instated libxcb-shm0:arm64 1059s Re-Instated libxrender1:arm64 1059s Re-Instated libcairo2:arm64 1059s Re-Instated libgdk-pixbuf2.0-common:arm64 1059s Re-Instated libjpeg-turbo8:arm64 1059s Re-Instated libjpeg8:arm64 1059s Re-Instated libdeflate0:arm64 1059s Re-Instated libjbig0:arm64 1059s Re-Instated liblerc4:arm64 1059s Re-Instated libsharpyuv0:arm64 1059s Re-Instated libwebp7:arm64 1059s Re-Instated libtiff6:arm64 1059s Re-Instated libgdk-pixbuf-2.0-0:arm64 1059s Re-Instated gtk-update-icon-cache:arm64 1059s Re-Instated hicolor-icon-theme:arm64 1059s Re-Instated humanity-icon-theme:arm64 1059s Re-Instated ubuntu-mono:arm64 1059s Re-Instated adwaita-icon-theme:arm64 1059s Re-Instated at-spi2-common:arm64 1059s Re-Instated libatk1.0-0t64:arm64 1059s Re-Instated libxi6:arm64 1059s Re-Instated libatspi2.0-0t64:arm64 1059s Re-Instated libatk-bridge2.0-0t64:arm64 1059s Re-Instated libcairo-gobject2:arm64 1059s Re-Instated liblcms2-2:arm64 1059s Re-Instated libcolord2:arm64 1059s Re-Instated libavahi-common-data:arm64 1059s Re-Instated libavahi-common3:arm64 1059s Re-Instated libavahi-client3:arm64 1059s Re-Instated libcups2t64:arm64 1059s Re-Instated libepoxy0:arm64 1059s Re-Instated libgraphite2-3:arm64 1059s Re-Instated libharfbuzz0b:arm64 1059s Re-Instated fontconfig:arm64 1059s Re-Instated libthai-data:arm64 1059s Re-Instated libdatrie1:arm64 1059s Re-Instated libthai0:arm64 1059s Re-Instated libpango-1.0-0:arm64 1059s Re-Instated libpangoft2-1.0-0:arm64 1059s Re-Instated libpangocairo-1.0-0:arm64 1059s Re-Instated libwayland-client0:arm64 1059s Re-Instated libwayland-cursor0:arm64 1059s Re-Instated libwayland-egl1:arm64 1059s Re-Instated libxcomposite1:arm64 1059s Re-Instated libxfixes3:arm64 1059s Re-Instated libxcursor1:arm64 1059s Re-Instated libxdamage1:arm64 1059s Re-Instated libxinerama1:arm64 1059s Re-Instated libxrandr2:arm64 1059s Re-Instated libdconf1:arm64 1059s Re-Instated dconf-service:arm64 1059s Re-Instated dconf-gsettings-backend:arm64 1059s Re-Instated libgtk-3-common:arm64 1059s Re-Instated libgtk-3-0t64:arm64 1059s Re-Instated libgtksourceview-3.0-common:arm64 1059s Re-Instated libgtksourceview-3.0-1:arm64 1059s Re-Instated libstdlib-ocaml:arm64 1059s Re-Instated ocaml-base:arm64 1059s Re-Instated libcairo2-ocaml:arm64 1059s Re-Instated libfindlib-ocaml:arm64 1059s Re-Instated liblablgtk3-ocaml:arm64 1059s Re-Instated liblablgtksourceview3-ocaml:arm64 1059s Reinst Failed early because of libppx-deriving-ocaml-5abq1:arm64 1059s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un H > (>= 2.0.0) 1059s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.7.2-2build1 @un uH > 1059s Considering why3:arm64 1 as a solution to autopkgtest-satdep:arm64 9998 1059s Re-Instated tex-common:arm64 1059s Re-Instated why3:arm64 1059s Done 1059s Some packages could not be installed. This may mean that you have 1059s requested an impossible situation or if you are using the unstable 1059s distribution that some required packages have not yet been created 1059s or been moved out of Incoming. 1059s The following information may help to resolve the situation: 1059s 1059s The following packages have unmet dependencies: 1059s autopkgtest-satdep : Depends: frama-c-base but it is not going to be installed 1059s Depends: alt-ergo (>= 2.0.0) but it is not installable 1059s E: Unable to correct problems, you have held broken packages. 1059s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 1059s wp SKIP installation fails and skip-not-installable set 1059s autopkgtest [15:11:28]: @@@@@@@@@@@@@@@@@@@@ summary 1059s eva FAIL badpkg 1059s blame: frama-c 1059s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 1059s wp SKIP installation fails and skip-not-installable set 1072s nova [W] Skipping flock in bos03-arm64 1072s Creating nova instance adt-plucky-arm64-frama-c-20241109-145349-juju-7f2275-prod-proposed-migration-environment-15-3b815a78-a354-4388-8d04-1412593dfbe6 from image adt/ubuntu-plucky-arm64-server-20241108.img (UUID 078531dc-7060-4700-ae1a-b631769d5369)...