0s autopkgtest [15:54:35]: starting date and time: 2024-11-09 15:54:35+0000 0s autopkgtest [15:54:35]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky 0s autopkgtest [15:54:35]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.08xadrnu/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 builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-20.secgroup --name adt-plucky-amd64-frama-c-20241109-155435-juju-7f2275-prod-proposed-migration-environment-15-925b20af-ca8c-4685-b894-a2f4e77caacd --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-amd64 -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/ 66s autopkgtest [15:55:41]: testbed dpkg architecture: amd64 66s autopkgtest [15:55:41]: testbed apt version: 2.9.8 66s autopkgtest [15:55:41]: @@@@@@@@@@@@@@@@@@@@ test bed setup 67s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 67s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.3 kB] 67s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [998 kB] 68s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 68s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [104 kB] 68s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [156 kB] 68s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [106 kB] 68s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [32.6 kB] 68s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [748 kB] 69s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [327 kB] 69s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [37.7 kB] 69s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [13.0 kB] 69s Fetched 2618 kB in 2s (1281 kB/s) 69s Reading package lists... 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 72s Calculating upgrade... 72s The following NEW packages will be installed: 72s systemd-cryptsetup 72s The following packages will be upgraded: 72s base-passwd bash-completion libattr1 libbpf1 libbsd0 libbytesize-common 72s libbytesize1 libdrm-common libdrm2 libjson-glib-1.0-0 72s libjson-glib-1.0-common libmaxminddb0 libmnl0 libnghttp2-14 libnspr4 72s libnss-systemd libpam-systemd libpython3.12-minimal libpython3.12-stdlib 72s libpython3.12t64 libsystemd-shared libsystemd0 libudev1 libudisks2-0 72s liburcu8t64 linux-firmware openssh-client openssh-server openssh-sftp-server 72s pci.ids python3-gi python3-idna python3-jsonpatch python3-lazr.restfulclient 72s python3-urllib3 python3-wadllib python3.12 python3.12-gdbm 72s python3.12-minimal systemd systemd-resolved systemd-sysv systemd-timesyncd 72s udev udisks2 usbutils 72s 46 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 72s Need to get 558 MB of archives. 72s After this operation, 29.4 MB of additional disk space will be used. 72s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 base-passwd amd64 3.6.5 [53.4 kB] 72s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libpython3.12t64 amd64 3.12.7-2 [2372 kB] 74s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 python3.12 amd64 3.12.7-2 [661 kB] 74s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 libpython3.12-stdlib amd64 3.12.7-2 [2079 kB] 76s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 python3.12-minimal amd64 3.12.7-2 [2345 kB] 77s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 libpython3.12-minimal amd64 3.12.7-2 [836 kB] 78s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 libnss-systemd amd64 256.5-2ubuntu4 [191 kB] 78s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 systemd-timesyncd amd64 256.5-2ubuntu4 [40.8 kB] 78s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 systemd-resolved amd64 256.5-2ubuntu4 [339 kB] 78s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libsystemd-shared amd64 256.5-2ubuntu4 [2289 kB] 80s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libsystemd0 amd64 256.5-2ubuntu4 [511 kB] 80s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 systemd-sysv amd64 256.5-2ubuntu4 [11.9 kB] 80s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 libpam-systemd amd64 256.5-2ubuntu4 [288 kB] 81s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 systemd amd64 256.5-2ubuntu4 [3587 kB] 83s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 udev amd64 256.5-2ubuntu4 [2081 kB] 84s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libudev1 amd64 256.5-2ubuntu4 [209 kB] 84s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 openssh-sftp-server amd64 1:9.7p1-7ubuntu5 [40.8 kB] 84s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 openssh-server amd64 1:9.7p1-7ubuntu5 [583 kB] 84s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 openssh-client amd64 1:9.7p1-7ubuntu5 [1027 kB] 85s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libattr1 amd64 1:2.5.2-2 [12.1 kB] 85s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 libbsd0 amd64 0.12.2-2 [49.9 kB] 85s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libbpf1 amd64 1:1.4.6-1 [184 kB] 85s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libmnl0 amd64 1.0.5-3 [12.6 kB] 85s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-gi amd64 3.50.0-3 [250 kB] 85s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 bash-completion all 1:2.14.0-2 [210 kB] 85s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libdrm-common all 2.4.123-1 [8436 B] 85s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 libdrm2 amd64 2.4.123-1 [43.7 kB] 85s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 libmaxminddb0 amd64 1.11.0-1 [19.9 kB] 85s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 libnghttp2-14 amd64 1.64.0-1 [80.7 kB] 85s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 liburcu8t64 amd64 0.14.1-1 [68.6 kB] 85s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 pci.ids all 0.0~2024.10.24-1 [279 kB] 85s Get:32 http://ftpmaster.internal/ubuntu plucky/main amd64 python3.12-gdbm amd64 3.12.7-2 [30.4 kB] 85s Get:33 http://ftpmaster.internal/ubuntu plucky/main amd64 usbutils amd64 1:018-1 [84.5 kB] 85s Get:34 http://ftpmaster.internal/ubuntu plucky/main amd64 libbytesize1 amd64 2.11-1ubuntu1 [14.0 kB] 85s Get:35 http://ftpmaster.internal/ubuntu plucky/main amd64 libbytesize-common all 2.11-1ubuntu1 [3584 B] 85s Get:36 http://ftpmaster.internal/ubuntu plucky/main amd64 libjson-glib-1.0-common all 1.10.0+ds-2 [5502 B] 85s Get:37 http://ftpmaster.internal/ubuntu plucky/main amd64 libjson-glib-1.0-0 amd64 1.10.0+ds-2 [72.8 kB] 85s Get:38 http://ftpmaster.internal/ubuntu plucky/main amd64 libnspr4 amd64 2:4.35-1.1ubuntu2 [118 kB] 85s Get:39 http://ftpmaster.internal/ubuntu plucky/main amd64 udisks2 amd64 2.10.1-11ubuntu1 [326 kB] 85s Get:40 http://ftpmaster.internal/ubuntu plucky/main amd64 libudisks2-0 amd64 2.10.1-11ubuntu1 [176 kB] 86s Get:41 http://ftpmaster.internal/ubuntu plucky/main amd64 linux-firmware amd64 20241108.git3bbb13a7-0ubuntu1 [536 MB] 118s Get:42 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-idna all 3.8-2 [47.0 kB] 118s Get:43 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-jsonpatch all 1.32-4 [12.2 kB] 118s Get:44 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-wadllib all 2.0.0-1 [36.7 kB] 118s Get:45 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-lazr.restfulclient all 0.14.6-2 [50.9 kB] 118s Get:46 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-urllib3 all 2.0.7-2ubuntu0.1 [93.1 kB] 118s Get:47 http://ftpmaster.internal/ubuntu plucky/main amd64 systemd-cryptsetup amd64 256.5-2ubuntu4 [120 kB] 119s Preconfiguring packages ... 119s Fetched 558 MB in 47s (12.0 MB/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 ... 75312 files and directories currently installed.) 119s Preparing to unpack .../base-passwd_3.6.5_amd64.deb ... 119s Unpacking base-passwd (3.6.5) over (3.6.4) ... 119s Setting up base-passwd (3.6.5) ... 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 ... 75313 files and directories currently installed.) 119s Preparing to unpack .../0-libpython3.12t64_3.12.7-2_amd64.deb ... 119s Unpacking libpython3.12t64:amd64 (3.12.7-2) over (3.12.7-1) ... 119s Preparing to unpack .../1-python3.12_3.12.7-2_amd64.deb ... 119s Unpacking python3.12 (3.12.7-2) over (3.12.7-1) ... 119s Preparing to unpack .../2-libpython3.12-stdlib_3.12.7-2_amd64.deb ... 119s Unpacking libpython3.12-stdlib:amd64 (3.12.7-2) over (3.12.7-1) ... 120s Preparing to unpack .../3-python3.12-minimal_3.12.7-2_amd64.deb ... 120s Unpacking python3.12-minimal (3.12.7-2) over (3.12.7-1) ... 120s Preparing to unpack .../4-libpython3.12-minimal_3.12.7-2_amd64.deb ... 120s Unpacking libpython3.12-minimal:amd64 (3.12.7-2) over (3.12.7-1) ... 120s Preparing to unpack .../5-libnss-systemd_256.5-2ubuntu4_amd64.deb ... 120s Unpacking libnss-systemd:amd64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../6-systemd-timesyncd_256.5-2ubuntu4_amd64.deb ... 120s Unpacking systemd-timesyncd (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../7-systemd-resolved_256.5-2ubuntu4_amd64.deb ... 120s Unpacking systemd-resolved (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../8-libsystemd-shared_256.5-2ubuntu4_amd64.deb ... 120s Unpacking libsystemd-shared:amd64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../9-libsystemd0_256.5-2ubuntu4_amd64.deb ... 120s Unpacking libsystemd0:amd64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Setting up libsystemd0:amd64 (256.5-2ubuntu4) ... 120s (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 ... 75313 files and directories currently installed.) 120s Preparing to unpack .../systemd-sysv_256.5-2ubuntu4_amd64.deb ... 120s Unpacking systemd-sysv (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../libpam-systemd_256.5-2ubuntu4_amd64.deb ... 120s Unpacking libpam-systemd:amd64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../systemd_256.5-2ubuntu4_amd64.deb ... 120s Unpacking systemd (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 120s Preparing to unpack .../udev_256.5-2ubuntu4_amd64.deb ... 120s Unpacking udev (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 121s Preparing to unpack .../libudev1_256.5-2ubuntu4_amd64.deb ... 121s Unpacking libudev1:amd64 (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 121s Setting up libudev1:amd64 (256.5-2ubuntu4) ... 121s (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 ... 75313 files and directories currently installed.) 121s Preparing to unpack .../openssh-sftp-server_1%3a9.7p1-7ubuntu5_amd64.deb ... 121s Unpacking openssh-sftp-server (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 121s Preparing to unpack .../openssh-server_1%3a9.7p1-7ubuntu5_amd64.deb ... 121s Unpacking openssh-server (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 121s Preparing to unpack .../openssh-client_1%3a9.7p1-7ubuntu5_amd64.deb ... 121s Unpacking openssh-client (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 121s Preparing to unpack .../libattr1_1%3a2.5.2-2_amd64.deb ... 121s Unpacking libattr1:amd64 (1:2.5.2-2) over (1:2.5.2-1build2) ... 121s Setting up libattr1:amd64 (1:2.5.2-2) ... 121s (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 ... 75313 files and directories currently installed.) 121s Preparing to unpack .../libbsd0_0.12.2-2_amd64.deb ... 121s Unpacking libbsd0:amd64 (0.12.2-2) over (0.12.2-1) ... 121s Setting up libbsd0:amd64 (0.12.2-2) ... 121s (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 ... 75313 files and directories currently installed.) 121s Preparing to unpack .../00-libbpf1_1%3a1.4.6-1_amd64.deb ... 121s Unpacking libbpf1:amd64 (1:1.4.6-1) over (1:1.4.5-1) ... 121s Preparing to unpack .../01-libmnl0_1.0.5-3_amd64.deb ... 121s Unpacking libmnl0:amd64 (1.0.5-3) over (1.0.5-2build1) ... 121s Preparing to unpack .../02-python3-gi_3.50.0-3_amd64.deb ... 121s Unpacking python3-gi (3.50.0-3) over (3.48.2-1) ... 121s Preparing to unpack .../03-bash-completion_1%3a2.14.0-2_all.deb ... 121s Unpacking bash-completion (1:2.14.0-2) over (1:2.14.0-1) ... 122s Preparing to unpack .../04-libdrm-common_2.4.123-1_all.deb ... 122s Unpacking libdrm-common (2.4.123-1) over (2.4.122-1) ... 122s Preparing to unpack .../05-libdrm2_2.4.123-1_amd64.deb ... 122s Unpacking libdrm2:amd64 (2.4.123-1) over (2.4.122-1) ... 122s Preparing to unpack .../06-libmaxminddb0_1.11.0-1_amd64.deb ... 122s Unpacking libmaxminddb0:amd64 (1.11.0-1) over (1.10.0-1) ... 122s Preparing to unpack .../07-libnghttp2-14_1.64.0-1_amd64.deb ... 122s Unpacking libnghttp2-14:amd64 (1.64.0-1) over (1.62.1-2) ... 122s Preparing to unpack .../08-liburcu8t64_0.14.1-1_amd64.deb ... 122s Unpacking liburcu8t64:amd64 (0.14.1-1) over (0.14.0-4) ... 122s Preparing to unpack .../09-pci.ids_0.0~2024.10.24-1_all.deb ... 122s Unpacking pci.ids (0.0~2024.10.24-1) over (0.0~2024.09.12-1) ... 122s Preparing to unpack .../10-python3.12-gdbm_3.12.7-2_amd64.deb ... 122s Unpacking python3.12-gdbm (3.12.7-2) over (3.12.7-1) ... 122s Preparing to unpack .../11-usbutils_1%3a018-1_amd64.deb ... 122s Unpacking usbutils (1:018-1) over (1:017-3build1) ... 122s Preparing to unpack .../12-libbytesize1_2.11-1ubuntu1_amd64.deb ... 122s Unpacking libbytesize1:amd64 (2.11-1ubuntu1) over (2.10-1ubuntu2) ... 122s Preparing to unpack .../13-libbytesize-common_2.11-1ubuntu1_all.deb ... 122s Unpacking libbytesize-common (2.11-1ubuntu1) over (2.10-1ubuntu2) ... 122s Preparing to unpack .../14-libjson-glib-1.0-common_1.10.0+ds-2_all.deb ... 122s Unpacking libjson-glib-1.0-common (1.10.0+ds-2) over (1.8.0-2build2) ... 122s Preparing to unpack .../15-libjson-glib-1.0-0_1.10.0+ds-2_amd64.deb ... 122s Unpacking libjson-glib-1.0-0:amd64 (1.10.0+ds-2) over (1.8.0-2build2) ... 122s Preparing to unpack .../16-libnspr4_2%3a4.35-1.1ubuntu2_amd64.deb ... 122s Unpacking libnspr4:amd64 (2:4.35-1.1ubuntu2) over (2:4.35-1.1ubuntu1) ... 122s Preparing to unpack .../17-udisks2_2.10.1-11ubuntu1_amd64.deb ... 122s Unpacking udisks2 (2.10.1-11ubuntu1) over (2.10.1-9ubuntu2) ... 122s Preparing to unpack .../18-libudisks2-0_2.10.1-11ubuntu1_amd64.deb ... 122s Unpacking libudisks2-0:amd64 (2.10.1-11ubuntu1) over (2.10.1-9ubuntu2) ... 122s Preparing to unpack .../19-linux-firmware_20241108.git3bbb13a7-0ubuntu1_amd64.deb ... 122s Unpacking linux-firmware (20241108.git3bbb13a7-0ubuntu1) over (20240913.gita34e7a5f-0ubuntu2) ... 124s Preparing to unpack .../20-python3-idna_3.8-2_all.deb ... 125s Unpacking python3-idna (3.8-2) over (3.6-2.1) ... 125s Preparing to unpack .../21-python3-jsonpatch_1.32-4_all.deb ... 125s Unpacking python3-jsonpatch (1.32-4) over (1.32-3) ... 125s Preparing to unpack .../22-python3-wadllib_2.0.0-1_all.deb ... 125s Unpacking python3-wadllib (2.0.0-1) over (1.3.6-5) ... 125s Preparing to unpack .../23-python3-lazr.restfulclient_0.14.6-2_all.deb ... 125s Unpacking python3-lazr.restfulclient (0.14.6-2) over (0.14.6-1) ... 125s Preparing to unpack .../24-python3-urllib3_2.0.7-2ubuntu0.1_all.deb ... 125s Unpacking python3-urllib3 (2.0.7-2ubuntu0.1) over (2.0.7-2) ... 125s Selecting previously unselected package systemd-cryptsetup. 125s Preparing to unpack .../25-systemd-cryptsetup_256.5-2ubuntu4_amd64.deb ... 125s Unpacking systemd-cryptsetup (256.5-2ubuntu4) ... 125s Setting up liburcu8t64:amd64 (0.14.1-1) ... 125s Setting up pci.ids (0.0~2024.10.24-1) ... 125s Setting up linux-firmware (20241108.git3bbb13a7-0ubuntu1) ... 125s Setting up openssh-client (1:9.7p1-7ubuntu5) ... 125s Setting up libmaxminddb0:amd64 (1.11.0-1) ... 125s Setting up python3.12-gdbm (3.12.7-2) ... 125s Setting up python3-jsonpatch (1.32-4) ... 125s Setting up libpython3.12-minimal:amd64 (3.12.7-2) ... 125s Setting up libnghttp2-14:amd64 (1.64.0-1) ... 125s Setting up usbutils (1:018-1) ... 125s Setting up libnspr4:amd64 (2:4.35-1.1ubuntu2) ... 125s Setting up bash-completion (1:2.14.0-2) ... 125s Setting up python3-wadllib (2.0.0-1) ... 125s Setting up python3-gi (3.50.0-3) ... 125s Setting up libbytesize-common (2.11-1ubuntu1) ... 125s Setting up libmnl0:amd64 (1.0.5-3) ... 125s Setting up python3-idna (3.8-2) ... 125s Setting up libsystemd-shared:amd64 (256.5-2ubuntu4) ... 125s Setting up python3-urllib3 (2.0.7-2ubuntu0.1) ... 126s Setting up libjson-glib-1.0-common (1.10.0+ds-2) ... 126s Setting up libbytesize1:amd64 (2.11-1ubuntu1) ... 126s Setting up python3-lazr.restfulclient (0.14.6-2) ... 126s Setting up libdrm-common (2.4.123-1) ... 126s Setting up libbpf1:amd64 (1:1.4.6-1) ... 126s Setting up libudisks2-0:amd64 (2.10.1-11ubuntu1) ... 126s Setting up python3.12-minimal (3.12.7-2) ... 126s Setting up openssh-sftp-server (1:9.7p1-7ubuntu5) ... 126s Setting up libpython3.12-stdlib:amd64 (3.12.7-2) ... 126s Setting up openssh-server (1:9.7p1-7ubuntu5) ... 127s Setting up python3.12 (3.12.7-2) ... 128s Setting up systemd (256.5-2ubuntu4) ... 128s /usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring. 128s Created symlink '/run/systemd/system/tmp.mount' → '/dev/null'. 128s /usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring. 129s Setting up libjson-glib-1.0-0:amd64 (1.10.0+ds-2) ... 129s Setting up libpython3.12t64:amd64 (3.12.7-2) ... 129s Setting up systemd-cryptsetup (256.5-2ubuntu4) ... 129s Setting up systemd-timesyncd (256.5-2ubuntu4) ... 129s systemd-time-wait-sync.service is a disabled or a static unit not running, not starting it. 129s Setting up udev (256.5-2ubuntu4) ... 130s Setting up libdrm2:amd64 (2.4.123-1) ... 130s Setting up systemd-resolved (256.5-2ubuntu4) ... 130s Setting up udisks2 (2.10.1-11ubuntu1) ... 131s Setting up systemd-sysv (256.5-2ubuntu4) ... 131s Setting up libnss-systemd:amd64 (256.5-2ubuntu4) ... 131s Setting up libpam-systemd:amd64 (256.5-2ubuntu4) ... 131s Processing triggers for libc-bin (2.40-1ubuntu3) ... 131s Processing triggers for ufw (0.36.2-8) ... 131s Processing triggers for man-db (2.12.1-3) ... 132s Processing triggers for dbus (1.14.10-4ubuntu5) ... 132s Processing triggers for shared-mime-info (2.4-5) ... 133s Processing triggers for initramfs-tools (0.142ubuntu34) ... 133s update-initramfs: Generating /boot/initrd.img-6.11.0-8-generic 133s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 141s Reading package lists... 141s Building dependency tree... 141s Reading state information... 142s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 142s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 142s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 142s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 143s Reading package lists... 143s Reading package lists... 144s Building dependency tree... 144s Reading state information... 144s Calculating upgrade... 144s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 144s Reading package lists... 144s Building dependency tree... 144s Reading state information... 145s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 145s autopkgtest [15:57:00]: rebooting testbed after setup commands that affected boot 149s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 162s autopkgtest [15:57:17]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 16 13:41:20 UTC 2024 165s autopkgtest [15:57:20]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c 167s Get:1 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (dsc) [2447 B] 167s Get:2 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (tar) [8074 kB] 167s Get:3 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (diff) [17.2 kB] 167s gpgv: Signature made Fri Sep 6 13:44:00 2024 UTC 167s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 167s gpgv: Can't check signature: No public key 167s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build14.dsc: no acceptable signature found 168s autopkgtest [15:57:23]: testing package frama-c version 20220511-manganese-5build14 168s autopkgtest [15:57:23]: build not needed 170s autopkgtest [15:57:25]: test eva: preparing testbed 175s Reading package lists... 175s Building dependency tree... 175s Reading state information... 175s Starting pkgProblemResolver with broken count: 1 175s Starting 2 pkgProblemResolver with broken count: 1 175s Investigating (0) frama-c-base:amd64 < none -> 20220511-manganese-5build14 @un puN Ib > 175s Broken frama-c-base:amd64 Depends on libcairo2:amd64 < none | 1.18.2-2 @un uH > (>= 1.12.0) 175s Considering libcairo2:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated fonts-dejavu-mono:amd64 175s Re-Instated fonts-dejavu-core:amd64 175s Re-Instated fontconfig-config:amd64 175s Re-Instated libfontconfig1:amd64 175s Re-Instated libpixman-1-0:amd64 175s Re-Instated libxcb-render0:amd64 175s Re-Instated libxcb-shm0:amd64 175s Re-Instated libxrender1:amd64 175s Re-Instated libcairo2:amd64 175s Broken frama-c-base:amd64 Depends on libgdk-pixbuf-2.0-0:amd64 < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0) 175s Considering libgdk-pixbuf-2.0-0:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libgdk-pixbuf2.0-common:amd64 175s Re-Instated libjpeg-turbo8:amd64 175s Re-Instated libjpeg8:amd64 175s Re-Instated libdeflate0:amd64 175s Re-Instated libjbig0:amd64 175s Re-Instated liblerc4:amd64 175s Re-Instated libsharpyuv0:amd64 175s Re-Instated libwebp7:amd64 175s Re-Instated libtiff6:amd64 175s Re-Instated libgdk-pixbuf-2.0-0:amd64 175s Broken frama-c-base:amd64 Depends on libgtk-3-0t64:amd64 < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5) 175s Considering libgtk-3-0t64:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated gtk-update-icon-cache:amd64 175s Re-Instated hicolor-icon-theme:amd64 175s Re-Instated humanity-icon-theme:amd64 175s Re-Instated ubuntu-mono:amd64 175s Re-Instated adwaita-icon-theme:amd64 175s Re-Instated at-spi2-common:amd64 175s Re-Instated libatk1.0-0t64:amd64 175s Re-Instated libxi6:amd64 175s Re-Instated libatspi2.0-0t64:amd64 175s Re-Instated libatk-bridge2.0-0t64:amd64 175s Re-Instated libcairo-gobject2:amd64 175s Re-Instated liblcms2-2:amd64 175s Re-Instated libcolord2:amd64 175s Re-Instated libavahi-common-data:amd64 175s Re-Instated libavahi-common3:amd64 175s Re-Instated libavahi-client3:amd64 175s Re-Instated libcups2t64:amd64 175s Re-Instated libepoxy0:amd64 175s Re-Instated libgraphite2-3:amd64 175s Re-Instated libharfbuzz0b:amd64 175s Re-Instated fontconfig:amd64 175s Re-Instated libthai-data:amd64 175s Re-Instated libdatrie1:amd64 175s Re-Instated libthai0:amd64 175s Re-Instated libpango-1.0-0:amd64 175s Re-Instated libpangoft2-1.0-0:amd64 175s Re-Instated libpangocairo-1.0-0:amd64 175s Re-Instated libwayland-client0:amd64 175s Re-Instated libwayland-cursor0:amd64 175s Re-Instated libwayland-egl1:amd64 175s Re-Instated libxcomposite1:amd64 175s Re-Instated libxfixes3:amd64 175s Re-Instated libxcursor1:amd64 175s Re-Instated libxdamage1:amd64 175s Re-Instated libxinerama1:amd64 175s Re-Instated libxrandr2:amd64 175s Re-Instated libdconf1:amd64 175s Re-Instated dconf-service:amd64 175s Re-Instated dconf-gsettings-backend:amd64 175s Re-Instated libgtk-3-common:amd64 175s Re-Instated libgtk-3-0t64:amd64 175s Broken frama-c-base:amd64 Depends on libgtksourceview-3.0-1:amd64 < none | 3.24.11-3 @un uH > (>= 2.91.4) 175s Considering libgtksourceview-3.0-1:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libgtksourceview-3.0-common:amd64 175s Re-Instated libgtksourceview-3.0-1:amd64 175s Broken frama-c-base:amd64 Depends on libcairo2-ocaml-7q5f6:amd64 < none @un H > 175s Considering libcairo2-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libstdlib-ocaml:amd64 175s Re-Instated ocaml-base:amd64 175s Re-Instated libcairo2-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on libfindlib-ocaml-ir474:amd64 < none @un H > 175s Considering libfindlib-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libfindlib-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on liblablgtk3-ocaml-hnx11:amd64 < none @un H > 175s Considering liblablgtk3-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated liblablgtk3-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on liblablgtksourceview3-ocaml-51fc1:amd64 < none @un H > 175s Considering liblablgtksourceview3-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated liblablgtksourceview3-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on libppx-deriving-ocaml-iz338:amd64 < none @un H > 175s Considering libppx-deriving-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libsexplib0-ocaml:amd64 175s Re-Instated libppx-deriving-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on libyojson-ocaml-g43y1:amd64 < none @un H > 175s Considering libyojson-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libyojson-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on libzarith-ocaml-mtsj7:amd64 < none @un H > 175s Considering libzarith-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 175s Re-Instated libzarith-ocaml:amd64 175s Broken frama-c-base:amd64 Depends on libocamlgraph-ocaml-dev:amd64 < none | 2.1.0-3build1 @un uH > 175s Considering libocamlgraph-ocaml-dev:amd64 1 as a solution to frama-c-base:amd64 0 175s Re-Instated libstdlib-ocaml-dev:amd64 175s Re-Instated libcompiler-libs-ocaml-dev:amd64 175s Re-Instated ocaml-interp:amd64 175s Re-Instated libncurses-dev:amd64 175s Re-Instated libisl23:amd64 175s Re-Instated libmpc3:amd64 175s Re-Instated cpp-14-x86-64-linux-gnu:amd64 175s Re-Instated cpp-14:amd64 175s Re-Instated cpp-x86-64-linux-gnu:amd64 175s Re-Instated cpp:amd64 175s Re-Instated libcc1-0:amd64 175s Re-Instated libgomp1:amd64 175s Re-Instated libitm1:amd64 175s Re-Instated libasan8:amd64 175s Re-Instated liblsan0:amd64 175s Re-Instated libtsan2:amd64 175s Re-Instated libubsan1:amd64 175s Re-Instated libhwasan0:amd64 175s Re-Instated libquadmath0:amd64 175s Re-Instated libgcc-14-dev:amd64 175s Re-Instated gcc-14-x86-64-linux-gnu:amd64 175s Re-Instated gcc-14:amd64 175s Re-Instated gcc-x86-64-linux-gnu:amd64 175s Re-Instated gcc:amd64 175s Re-Instated libzstd-dev:amd64 175s Re-Instated ocaml:amd64 175s Re-Instated libocamlgraph-ocaml-dev:amd64 175s Broken frama-c-base:amd64 Depends on libppx-import-ocaml:amd64 < none | 1.11.0-2build2 @un uH > 175s Considering libppx-import-ocaml:amd64 1 as a solution to frama-c-base:amd64 0 175s Re-Instated libppx-import-ocaml:amd64 175s Done 175s Some packages could not be installed. This may mean that you have 175s requested an impossible situation or if you are using the unstable 175s distribution that some required packages have not yet been created 175s or been moved out of Incoming. 175s The following information may help to resolve the situation: 175s 175s The following packages have unmet dependencies: 175s frama-c-base : Depends: libppx-deriving-ocaml-iz338 175s E: Unable to correct problems, you have held broken packages. 175s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 176s Reading package lists... 176s Building dependency tree... 176s Reading state information... 176s Starting pkgProblemResolver with broken count: 1 176s Starting 2 pkgProblemResolver with broken count: 1 176s Investigating (0) frama-c-base:amd64 < none -> 20220511-manganese-5build14 @un puN Ib > 176s Broken frama-c-base:amd64 Depends on libcairo2:amd64 < none | 1.18.2-2 @un uH > (>= 1.12.0) 176s Considering libcairo2:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated fonts-dejavu-mono:amd64 176s Re-Instated fonts-dejavu-core:amd64 176s Re-Instated fontconfig-config:amd64 176s Re-Instated libfontconfig1:amd64 176s Re-Instated libpixman-1-0:amd64 176s Re-Instated libxcb-render0:amd64 176s Re-Instated libxcb-shm0:amd64 176s Re-Instated libxrender1:amd64 176s Re-Instated libcairo2:amd64 176s Broken frama-c-base:amd64 Depends on libgdk-pixbuf-2.0-0:amd64 < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0) 176s Considering libgdk-pixbuf-2.0-0:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libgdk-pixbuf2.0-common:amd64 176s Re-Instated libjpeg-turbo8:amd64 176s Re-Instated libjpeg8:amd64 176s Re-Instated libdeflate0:amd64 176s Re-Instated libjbig0:amd64 176s Re-Instated liblerc4:amd64 176s Re-Instated libsharpyuv0:amd64 176s Re-Instated libwebp7:amd64 176s Re-Instated libtiff6:amd64 176s Re-Instated libgdk-pixbuf-2.0-0:amd64 176s Broken frama-c-base:amd64 Depends on libgtk-3-0t64:amd64 < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5) 176s Considering libgtk-3-0t64:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated gtk-update-icon-cache:amd64 176s Re-Instated hicolor-icon-theme:amd64 176s Re-Instated humanity-icon-theme:amd64 176s Re-Instated ubuntu-mono:amd64 176s Re-Instated adwaita-icon-theme:amd64 176s Re-Instated at-spi2-common:amd64 176s Re-Instated libatk1.0-0t64:amd64 176s Re-Instated libxi6:amd64 176s Re-Instated libatspi2.0-0t64:amd64 176s Re-Instated libatk-bridge2.0-0t64:amd64 176s Re-Instated libcairo-gobject2:amd64 176s Re-Instated liblcms2-2:amd64 176s Re-Instated libcolord2:amd64 176s Re-Instated libavahi-common-data:amd64 176s Re-Instated libavahi-common3:amd64 176s Re-Instated libavahi-client3:amd64 176s Re-Instated libcups2t64:amd64 176s Re-Instated libepoxy0:amd64 176s Re-Instated libgraphite2-3:amd64 176s Re-Instated libharfbuzz0b:amd64 176s Re-Instated fontconfig:amd64 176s Re-Instated libthai-data:amd64 176s Re-Instated libdatrie1:amd64 176s Re-Instated libthai0:amd64 176s Re-Instated libpango-1.0-0:amd64 176s Re-Instated libpangoft2-1.0-0:amd64 176s Re-Instated libpangocairo-1.0-0:amd64 176s Re-Instated libwayland-client0:amd64 176s Re-Instated libwayland-cursor0:amd64 176s Re-Instated libwayland-egl1:amd64 176s Re-Instated libxcomposite1:amd64 176s Re-Instated libxfixes3:amd64 176s Re-Instated libxcursor1:amd64 176s Re-Instated libxdamage1:amd64 176s Re-Instated libxinerama1:amd64 176s Re-Instated libxrandr2:amd64 176s Re-Instated libdconf1:amd64 176s Re-Instated dconf-service:amd64 176s Re-Instated dconf-gsettings-backend:amd64 176s Re-Instated libgtk-3-common:amd64 176s Re-Instated libgtk-3-0t64:amd64 176s Broken frama-c-base:amd64 Depends on libgtksourceview-3.0-1:amd64 < none | 3.24.11-3 @un uH > (>= 2.91.4) 176s Considering libgtksourceview-3.0-1:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libgtksourceview-3.0-common:amd64 176s Re-Instated libgtksourceview-3.0-1:amd64 176s Broken frama-c-base:amd64 Depends on libcairo2-ocaml-7q5f6:amd64 < none @un H > 176s Considering libcairo2-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libstdlib-ocaml:amd64 176s Re-Instated ocaml-base:amd64 176s Re-Instated libcairo2-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on libfindlib-ocaml-ir474:amd64 < none @un H > 176s Considering libfindlib-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libfindlib-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on liblablgtk3-ocaml-hnx11:amd64 < none @un H > 176s Considering liblablgtk3-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated liblablgtk3-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on liblablgtksourceview3-ocaml-51fc1:amd64 < none @un H > 176s Considering liblablgtksourceview3-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated liblablgtksourceview3-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on libppx-deriving-ocaml-iz338:amd64 < none @un H > 176s Considering libppx-deriving-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libsexplib0-ocaml:amd64 176s Re-Instated libppx-deriving-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on libyojson-ocaml-g43y1:amd64 < none @un H > 176s Considering libyojson-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libyojson-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on libzarith-ocaml-mtsj7:amd64 < none @un H > 176s Considering libzarith-ocaml:amd64 0 as a solution to frama-c-base:amd64 0 176s Re-Instated libzarith-ocaml:amd64 176s Broken frama-c-base:amd64 Depends on libocamlgraph-ocaml-dev:amd64 < none | 2.1.0-3build1 @un uH > 176s Considering libocamlgraph-ocaml-dev:amd64 1 as a solution to frama-c-base:amd64 0 176s Re-Instated libstdlib-ocaml-dev:amd64 176s Re-Instated libcompiler-libs-ocaml-dev:amd64 176s Re-Instated ocaml-interp:amd64 176s Re-Instated libncurses-dev:amd64 176s Re-Instated gcc-14-base:amd64 176s Re-Instated libisl23:amd64 176s Re-Instated libmpc3:amd64 176s Re-Instated cpp-14-x86-64-linux-gnu:amd64 176s Re-Instated cpp-14:amd64 176s Re-Instated cpp-x86-64-linux-gnu:amd64 176s Re-Instated cpp:amd64 176s Re-Instated libcc1-0:amd64 176s Re-Instated libgcc-s1:amd64 176s Re-Instated libgomp1:amd64 176s Re-Instated libitm1:amd64 176s Re-Instated libatomic1:amd64 176s Re-Instated libasan8:amd64 176s Re-Instated liblsan0:amd64 176s Re-Instated libtsan2:amd64 176s Re-Instated libubsan1:amd64 176s Re-Instated libhwasan0:amd64 176s Re-Instated libquadmath0:amd64 176s Re-Instated libgcc-14-dev:amd64 176s Re-Instated gcc-14-x86-64-linux-gnu:amd64 176s Re-Instated gcc-14:amd64 176s Re-Instated gcc-x86-64-linux-gnu:amd64 176s Re-Instated gcc:amd64 176s Re-Instated libzstd-dev:amd64 176s Re-Instated ocaml:amd64 176s Re-Instated libocamlgraph-ocaml-dev:amd64 176s Broken frama-c-base:amd64 Depends on libppx-import-ocaml:amd64 < none | 1.11.0-2build2 @un uH > 176s Considering libppx-import-ocaml:amd64 1 as a solution to frama-c-base:amd64 0 176s Re-Instated libppx-import-ocaml:amd64 176s Done 176s Some packages could not be installed. This may mean that you have 176s requested an impossible situation or if you are using the unstable 176s distribution that some required packages have not yet been created 176s or been moved out of Incoming. 176s The following information may help to resolve the situation: 176s 176s The following packages have unmet dependencies: 176s frama-c-base : Depends: libppx-deriving-ocaml-iz338 176s libstdc++6 : Depends: gcc-14-base (= 14.2.0-7ubuntu1) but 14.2.0-8ubuntu1 is to be installed 176s E: Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages. 176s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 177s Reading package lists... 177s Building dependency tree... 177s Reading state information... 177s Starting pkgProblemResolver with broken count: 1 177s Starting 2 pkgProblemResolver with broken count: 1 177s Investigating (0) frama-c-base:amd64 < none -> 20220511-manganese-5build14 @un puN Ib > 177s Broken frama-c-base:amd64 Depends on libcairo2:amd64 < none | 1.18.2-2 @un uH > (>= 1.12.0) 177s Considering libcairo2:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated fonts-dejavu-mono:amd64 177s Re-Instated fonts-dejavu-core:amd64 177s Re-Instated fontconfig-config:amd64 177s Re-Instated libfontconfig1:amd64 177s Re-Instated libpixman-1-0:amd64 177s Re-Instated libxcb-render0:amd64 177s Re-Instated libxcb-shm0:amd64 177s Re-Instated libxrender1:amd64 177s Re-Instated libcairo2:amd64 177s Broken frama-c-base:amd64 Depends on libgdk-pixbuf-2.0-0:amd64 < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0) 177s Considering libgdk-pixbuf-2.0-0:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libgdk-pixbuf2.0-common:amd64 177s Re-Instated libjpeg-turbo8:amd64 177s Re-Instated libjpeg8:amd64 177s Re-Instated libdeflate0:amd64 177s Re-Instated libjbig0:amd64 177s Re-Instated liblerc4:amd64 177s Re-Instated libsharpyuv0:amd64 177s Re-Instated libwebp7:amd64 177s Re-Instated libtiff6:amd64 177s Re-Instated libgdk-pixbuf-2.0-0:amd64 177s Broken frama-c-base:amd64 Depends on libgtk-3-0t64:amd64 < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5) 177s Considering libgtk-3-0t64:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated gtk-update-icon-cache:amd64 177s Re-Instated hicolor-icon-theme:amd64 177s Re-Instated humanity-icon-theme:amd64 177s Re-Instated ubuntu-mono:amd64 177s Re-Instated adwaita-icon-theme:amd64 177s Re-Instated at-spi2-common:amd64 177s Re-Instated libatk1.0-0t64:amd64 177s Re-Instated libxi6:amd64 177s Re-Instated libatspi2.0-0t64:amd64 177s Re-Instated libatk-bridge2.0-0t64:amd64 177s Re-Instated libcairo-gobject2:amd64 177s Re-Instated liblcms2-2:amd64 177s Re-Instated libcolord2:amd64 177s Re-Instated libavahi-common-data:amd64 177s Re-Instated libavahi-common3:amd64 177s Re-Instated libavahi-client3:amd64 177s Re-Instated libcups2t64:amd64 177s Re-Instated libepoxy0:amd64 177s Re-Instated libgraphite2-3:amd64 177s Re-Instated libharfbuzz0b:amd64 177s Re-Instated fontconfig:amd64 177s Re-Instated libthai-data:amd64 177s Re-Instated libdatrie1:amd64 177s Re-Instated libthai0:amd64 177s Re-Instated libpango-1.0-0:amd64 177s Re-Instated libpangoft2-1.0-0:amd64 177s Re-Instated libpangocairo-1.0-0:amd64 177s Re-Instated libwayland-client0:amd64 177s Re-Instated libwayland-cursor0:amd64 177s Re-Instated libwayland-egl1:amd64 177s Re-Instated libxcomposite1:amd64 177s Re-Instated libxfixes3:amd64 177s Re-Instated libxcursor1:amd64 177s Re-Instated libxdamage1:amd64 177s Re-Instated libxinerama1:amd64 177s Re-Instated libxrandr2:amd64 177s Re-Instated libdconf1:amd64 177s Re-Instated dconf-service:amd64 177s Re-Instated dconf-gsettings-backend:amd64 177s Re-Instated libgtk-3-common:amd64 177s Re-Instated libgtk-3-0t64:amd64 177s Broken frama-c-base:amd64 Depends on libgtksourceview-3.0-1:amd64 < none | 3.24.11-3 @un uH > (>= 2.91.4) 177s Considering libgtksourceview-3.0-1:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libgtksourceview-3.0-common:amd64 177s Re-Instated libgtksourceview-3.0-1:amd64 177s Broken frama-c-base:amd64 Depends on libcairo2-ocaml-7q5f6:amd64 < none @un H > 177s Considering libcairo2-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libstdlib-ocaml:amd64 177s Re-Instated ocaml-base:amd64 177s Re-Instated libcairo2-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on libfindlib-ocaml-ir474:amd64 < none @un H > 177s Considering libfindlib-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libfindlib-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on liblablgtk3-ocaml-hnx11:amd64 < none @un H > 177s Considering liblablgtk3-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated liblablgtk3-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on liblablgtksourceview3-ocaml-51fc1:amd64 < none @un H > 177s Considering liblablgtksourceview3-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated liblablgtksourceview3-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on libppx-deriving-ocaml-iz338:amd64 < none @un H > 177s Considering libppx-deriving-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libsexplib0-ocaml:amd64 177s Re-Instated libppx-deriving-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on libyojson-ocaml-g43y1:amd64 < none @un H > 177s Considering libyojson-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libyojson-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on libzarith-ocaml-mtsj7:amd64 < none @un H > 177s Considering libzarith-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Re-Instated libzarith-ocaml:amd64 177s Broken frama-c-base:amd64 Depends on libocamlgraph-ocaml-dev:amd64 < none | 2.1.0-3build1 @un uH > 177s Considering libocamlgraph-ocaml-dev:amd64 1 as a solution to frama-c-base:amd64 9999 177s Re-Instated libstdlib-ocaml-dev:amd64 177s Re-Instated libcompiler-libs-ocaml-dev:amd64 177s Re-Instated ocaml-interp:amd64 177s Re-Instated libncurses-dev:amd64 177s Re-Instated gcc-14-base:amd64 177s Re-Instated libisl23:amd64 177s Re-Instated libmpc3:amd64 177s Re-Instated cpp-14-x86-64-linux-gnu:amd64 177s Re-Instated cpp-14:amd64 177s Re-Instated cpp-x86-64-linux-gnu:amd64 177s Re-Instated cpp:amd64 177s Re-Instated libcc1-0:amd64 177s Re-Instated libgcc-s1:amd64 177s Re-Instated libgomp1:amd64 177s Re-Instated libitm1:amd64 177s Re-Instated libatomic1:amd64 177s Re-Instated libasan8:amd64 177s Re-Instated liblsan0:amd64 177s Re-Instated libtsan2:amd64 177s Re-Instated libubsan1:amd64 177s Re-Instated libhwasan0:amd64 177s Re-Instated libquadmath0:amd64 177s Re-Instated libgcc-14-dev:amd64 177s Re-Instated gcc-14-x86-64-linux-gnu:amd64 177s Re-Instated gcc-14:amd64 177s Re-Instated gcc-x86-64-linux-gnu:amd64 177s Re-Instated gcc:amd64 177s Re-Instated libzstd-dev:amd64 177s Re-Instated ocaml:amd64 177s Re-Instated libocamlgraph-ocaml-dev:amd64 177s Broken frama-c-base:amd64 Depends on libppx-import-ocaml:amd64 < none | 1.11.0-2build2 @un uH > 177s Considering libppx-import-ocaml:amd64 1 as a solution to frama-c-base:amd64 9999 177s Re-Instated libppx-import-ocaml:amd64 177s Investigating (0) libstdc++6:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH Ib > 177s Broken libstdc++6:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU > (= 14.2.0-7ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libstdc++6:amd64 188 177s Added gcc-14-base:amd64 to the remove list 177s Fixing libstdc++6:amd64 via keep of gcc-14-base:amd64 177s Investigating (0) libatomic1:amd64 < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU Ib > 177s Broken libatomic1:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libatomic1:amd64 44 177s Holding Back libatomic1:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) cpp-14:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken cpp-14:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to cpp-14:amd64 0 177s Holding Back cpp-14:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libitm1:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libitm1:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libitm1:amd64 0 177s Holding Back libitm1:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libasan8:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libasan8:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libasan8:amd64 0 177s Holding Back libasan8:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) cpp-14-x86-64-linux-gnu:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken cpp-14-x86-64-linux-gnu:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to cpp-14-x86-64-linux-gnu:amd64 0 177s Holding Back cpp-14-x86-64-linux-gnu:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) liblsan0:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken liblsan0:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to liblsan0:amd64 0 177s Holding Back liblsan0:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libubsan1:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libubsan1:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libubsan1:amd64 0 177s Holding Back libubsan1:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libquadmath0:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libquadmath0:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libquadmath0:amd64 0 177s Holding Back libquadmath0:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libhwasan0:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libhwasan0:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libhwasan0:amd64 0 177s Holding Back libhwasan0:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) cpp-x86-64-linux-gnu:amd64 < none -> 4:14.1.0-2ubuntu1 @un uN Ib > 177s Broken cpp-x86-64-linux-gnu:amd64 Depends on cpp-14-x86-64-linux-gnu:amd64 < none | 14.2.0-8ubuntu1 @un uH > (>= 14.1.0-4~) 177s Considering cpp-14-x86-64-linux-gnu:amd64 0 as a solution to cpp-x86-64-linux-gnu:amd64 0 177s Holding Back cpp-x86-64-linux-gnu:amd64 rather than change cpp-14-x86-64-linux-gnu:amd64 177s Investigating (0) libgcc-14-dev:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libgcc-14-dev:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libgcc-14-dev:amd64 0 177s Holding Back libgcc-14-dev:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libgomp1:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libgomp1:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libgomp1:amd64 0 177s Holding Back libgomp1:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) gcc-x86-64-linux-gnu:amd64 < none -> 4:14.1.0-2ubuntu1 @un uN Ib > 177s Broken gcc-x86-64-linux-gnu:amd64 Depends on cpp-x86-64-linux-gnu:amd64 < none | 4:14.1.0-2ubuntu1 @un uH > (= 4:14.1.0-2ubuntu1) 177s Considering cpp-x86-64-linux-gnu:amd64 0 as a solution to gcc-x86-64-linux-gnu:amd64 0 177s Holding Back gcc-x86-64-linux-gnu:amd64 rather than change cpp-x86-64-linux-gnu:amd64 177s Investigating (0) libtsan2:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libtsan2:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libtsan2:amd64 0 177s Holding Back libtsan2:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) cpp:amd64 < none -> 4:14.1.0-2ubuntu1 @un uN Ib > 177s Broken cpp:amd64 Depends on cpp-14:amd64 < none | 14.2.0-8ubuntu1 @un uH > (>= 14.1.0-4~) 177s Considering cpp-14:amd64 0 as a solution to cpp:amd64 0 177s Holding Back cpp:amd64 rather than change cpp-14:amd64 177s Investigating (0) gcc-14:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken gcc-14:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to gcc-14:amd64 0 177s Holding Back gcc-14:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) libcc1-0:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken libcc1-0:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libcc1-0:amd64 0 177s Holding Back libcc1-0:amd64 rather than change gcc-14-base:amd64 177s Investigating (0) gcc-14-x86-64-linux-gnu:amd64 < none -> 14.2.0-8ubuntu1 @un uN Ib > 177s Broken gcc-14-x86-64-linux-gnu:amd64 Depends on cpp-14-x86-64-linux-gnu:amd64 < none | 14.2.0-8ubuntu1 @un uH > (= 14.2.0-8ubuntu1) 177s Considering cpp-14-x86-64-linux-gnu:amd64 0 as a solution to gcc-14-x86-64-linux-gnu:amd64 0 177s Holding Back gcc-14-x86-64-linux-gnu:amd64 rather than change cpp-14-x86-64-linux-gnu:amd64 177s Investigating (1) frama-c-base:amd64 < none -> 20220511-manganese-5build14 @un puN Ib > 177s Broken frama-c-base:amd64 Depends on libppx-deriving-ocaml-iz338:amd64 < none @un H > 177s Considering libppx-deriving-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Investigating (1) libgcc-s1:amd64 < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU Ib > 177s Broken libgcc-s1:amd64 Depends on gcc-14-base:amd64 < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1) 177s Considering gcc-14-base:amd64 164 as a solution to libgcc-s1:amd64 5728 177s Holding Back libgcc-s1:amd64 rather than change gcc-14-base:amd64 177s Investigating (1) gcc:amd64 < none -> 4:14.1.0-2ubuntu1 @un umN Ib > 177s Broken gcc:amd64 Depends on cpp:amd64 < none | 4:14.1.0-2ubuntu1 @un uH > (= 4:14.1.0-2ubuntu1) 177s Considering cpp:amd64 0 as a solution to gcc:amd64 2 177s Holding Back gcc:amd64 rather than change cpp:amd64 177s Investigating (1) ocaml:amd64 < none -> 5.2.0-3 @un uN Ib > 177s Broken ocaml:amd64 Depends on gcc:amd64 < none | 4:14.1.0-2ubuntu1 @un umH > 177s Considering gcc:amd64 2 as a solution to ocaml:amd64 0 177s Holding Back ocaml:amd64 rather than change gcc:amd64 177s Investigating (2) frama-c-base:amd64 < none -> 20220511-manganese-5build14 @un puN Ib > 177s Broken frama-c-base:amd64 Depends on libppx-deriving-ocaml-iz338:amd64 < none @un H > 177s Considering libppx-deriving-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Broken frama-c-base:amd64 Depends on gcc:amd64 < none | 4:14.1.0-2ubuntu1 @un umH > 177s Considering gcc:amd64 2 as a solution to frama-c-base:amd64 9999 177s Investigating (2) libocamlgraph-ocaml-dev:amd64 < none -> 2.1.0-3build1 @un uN Ib > 177s Broken libocamlgraph-ocaml-dev:amd64 Depends on ocaml-5.2.0:amd64 < none @un H > 177s Considering ocaml:amd64 0 as a solution to libocamlgraph-ocaml-dev:amd64 1 177s Holding Back libocamlgraph-ocaml-dev:amd64 rather than change ocaml-5.2.0:amd64 177s Investigating (3) frama-c-base:amd64 < none -> 20220511-manganese-5build14 @un puN Ib > 177s Broken frama-c-base:amd64 Depends on libppx-deriving-ocaml-iz338:amd64 < none @un H > 177s Considering libppx-deriving-ocaml:amd64 0 as a solution to frama-c-base:amd64 9999 177s Broken frama-c-base:amd64 Depends on libocamlgraph-ocaml-dev:amd64 < none | 2.1.0-3build1 @un uH > 177s Considering libocamlgraph-ocaml-dev:amd64 1 as a solution to frama-c-base:amd64 9999 177s Broken frama-c-base:amd64 Depends on gcc:amd64 < none | 4:14.1.0-2ubuntu1 @un umH > 177s Considering gcc:amd64 2 as a solution to frama-c-base:amd64 9999 177s Done 177s Some packages could not be installed. This may mean that you have 177s requested an impossible situation or if you are using the unstable 177s distribution that some required packages have not yet been created 177s or been moved out of Incoming. 177s The following information may help to resolve the situation: 177s 177s The following packages have unmet dependencies: 177s frama-c-base : Depends: libppx-deriving-ocaml-iz338 177s Depends: libocamlgraph-ocaml-dev but it is not going to be installed 177s Depends: gcc but it is not going to be installed 177s E: Unable to correct problems, you have held broken packages. 177s autopkgtest [15:57:32]: test wp: preparing testbed 177s eva FAIL badpkg 177s blame: frama-c 177s 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. 182s Reading package lists... 182s Building dependency tree... 182s Reading state information... 182s Starting pkgProblemResolver with broken count: 1 182s Starting 2 pkgProblemResolver with broken count: 1 182s Investigating (0) autopkgtest-satdep:amd64 < none -> 0 @un puN Ib > 182s Broken autopkgtest-satdep:amd64 Depends on frama-c-base:amd64 < none | 20220511-manganese-5build14 @un uH > 182s Considering frama-c-base:amd64 1 as a solution to autopkgtest-satdep:amd64 9998 182s Re-Instated fonts-dejavu-mono:amd64 182s Re-Instated fonts-dejavu-core:amd64 182s Re-Instated fontconfig-config:amd64 182s Re-Instated libfontconfig1:amd64 182s Re-Instated libpixman-1-0:amd64 182s Re-Instated libxcb-render0:amd64 182s Re-Instated libxcb-shm0:amd64 182s Re-Instated libxrender1:amd64 182s Re-Instated libcairo2:amd64 182s Re-Instated libgdk-pixbuf2.0-common:amd64 182s Re-Instated libjpeg-turbo8:amd64 182s Re-Instated libjpeg8:amd64 182s Re-Instated libdeflate0:amd64 182s Re-Instated libjbig0:amd64 182s Re-Instated liblerc4:amd64 182s Re-Instated libsharpyuv0:amd64 182s Re-Instated libwebp7:amd64 182s Re-Instated libtiff6:amd64 182s Re-Instated libgdk-pixbuf-2.0-0:amd64 182s Re-Instated gtk-update-icon-cache:amd64 182s Re-Instated hicolor-icon-theme:amd64 182s Re-Instated humanity-icon-theme:amd64 182s Re-Instated ubuntu-mono:amd64 182s Re-Instated adwaita-icon-theme:amd64 182s Re-Instated at-spi2-common:amd64 182s Re-Instated libatk1.0-0t64:amd64 182s Re-Instated libxi6:amd64 182s Re-Instated libatspi2.0-0t64:amd64 182s Re-Instated libatk-bridge2.0-0t64:amd64 182s Re-Instated libcairo-gobject2:amd64 182s Re-Instated liblcms2-2:amd64 182s Re-Instated libcolord2:amd64 182s Re-Instated libavahi-common-data:amd64 182s Re-Instated libavahi-common3:amd64 182s Re-Instated libavahi-client3:amd64 182s Re-Instated libcups2t64:amd64 182s Re-Instated libepoxy0:amd64 182s Re-Instated libgraphite2-3:amd64 182s Re-Instated libharfbuzz0b:amd64 182s Re-Instated fontconfig:amd64 182s Re-Instated libthai-data:amd64 182s Re-Instated libdatrie1:amd64 182s Re-Instated libthai0:amd64 182s Re-Instated libpango-1.0-0:amd64 182s Re-Instated libpangoft2-1.0-0:amd64 182s Re-Instated libpangocairo-1.0-0:amd64 182s Re-Instated libwayland-client0:amd64 182s Re-Instated libwayland-cursor0:amd64 182s Re-Instated libwayland-egl1:amd64 182s Re-Instated libxcomposite1:amd64 182s Re-Instated libxfixes3:amd64 182s Re-Instated libxcursor1:amd64 182s Re-Instated libxdamage1:amd64 182s Re-Instated libxinerama1:amd64 182s Re-Instated libxrandr2:amd64 182s Re-Instated libdconf1:amd64 182s Re-Instated dconf-service:amd64 182s Re-Instated dconf-gsettings-backend:amd64 182s Re-Instated libgtk-3-common:amd64 182s Re-Instated libgtk-3-0t64:amd64 183s Re-Instated libgtksourceview-3.0-common:amd64 183s Re-Instated libgtksourceview-3.0-1:amd64 183s Re-Instated libstdlib-ocaml:amd64 183s Re-Instated ocaml-base:amd64 183s Re-Instated libcairo2-ocaml:amd64 183s Re-Instated libfindlib-ocaml:amd64 183s Re-Instated liblablgtk3-ocaml:amd64 183s Re-Instated liblablgtksourceview3-ocaml:amd64 183s Reinst Failed early because of libppx-deriving-ocaml-iz338:amd64 183s Broken autopkgtest-satdep:amd64 Depends on alt-ergo:amd64 < none @un H > (>= 2.0.0) 183s Broken autopkgtest-satdep:amd64 Depends on why3:amd64 < none | 1.7.2-2build1 @un uH > 183s Considering why3:amd64 1 as a solution to autopkgtest-satdep:amd64 9998 183s Re-Instated tex-common:amd64 183s Re-Instated why3:amd64 183s Done 183s Some packages could not be installed. This may mean that you have 183s requested an impossible situation or if you are using the unstable 183s distribution that some required packages have not yet been created 183s or been moved out of Incoming. 183s The following information may help to resolve the situation: 183s 183s The following packages have unmet dependencies: 183s autopkgtest-satdep : Depends: frama-c-base but it is not going to be installed 183s Depends: alt-ergo (>= 2.0.0) but it is not installable 183s E: Unable to correct problems, you have held broken packages. 183s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 183s autopkgtest [15:57:38]: @@@@@@@@@@@@@@@@@@@@ summary 183s eva FAIL badpkg 183s blame: frama-c 183s 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. 183s wp SKIP installation fails and skip-not-installable set 183s wp SKIP installation fails and skip-not-installable set 188s nova [W] Skipping flock for amd64 188s Creating nova instance adt-plucky-amd64-frama-c-20241109-155435-juju-7f2275-prod-proposed-migration-environment-15-925b20af-ca8c-4685-b894-a2f4e77caacd from image adt/ubuntu-plucky-amd64-server-20241108.img (UUID 8e5f101b-f604-4dd5-a1be-68c34044e0a9)...