0s autopkgtest [15:13:11]: starting date and time: 2024-11-13 15:13:11+0000 0s autopkgtest [15:13:11]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky 0s autopkgtest [15:13:11]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.eekocq2f/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_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\n" >> /etc/environment' --apt-pocket=proposed=src:python3-defaults,src:python3-stdlib-extensions --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=python3-defaults/3.12.7-1 python3-stdlib-extensions/3.12.7-1' -- lxd -r lxd-armhf-10.145.243.201 lxd-armhf-10.145.243.201:autopkgtest/ubuntu/plucky/armhf 53s autopkgtest [15:14:04]: testbed dpkg architecture: armhf 55s autopkgtest [15:14:06]: testbed apt version: 2.9.8 55s autopkgtest [15:14:06]: @@@@@@@@@@@@@@@@@@@@ test bed setup 63s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 63s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 63s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [105 kB] 63s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [16.5 kB] 63s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [962 kB] 63s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [104 kB] 63s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [645 kB] 64s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [16.9 kB] 64s Fetched 1931 kB in 1s (2121 kB/s) 64s Reading package lists... 81s tee: /proc/self/fd/2: Permission denied 103s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 103s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 103s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 103s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 104s Reading package lists... 104s Reading package lists... 105s Building dependency tree... 105s Reading state information... 105s Calculating upgrade... 106s The following packages were automatically installed and are no longer required: 106s libperl5.38t64 perl-modules-5.38 python3-netifaces 106s Use 'apt autoremove' to remove them. 106s The following NEW packages will be installed: 106s libperl5.40 perl-modules-5.40 python3.13-gdbm systemd-cryptsetup 106s The following packages will be upgraded: 106s apport apport-core-dump-handler base-files base-passwd bash-completion 106s dhcpcd-base distro-info-data dpkg dpkg-dev fwupd gcc-14-base info 106s install-info iproute2 libarchive13t64 libatomic1 libattr1 106s libblockdev-crypto3 libblockdev-fs3 libblockdev-loop3 libblockdev-mdraid3 106s libblockdev-nvme3 libblockdev-part3 libblockdev-swap3 libblockdev-utils3 106s libblockdev3 libbpf1 libbsd0 libbytesize-common libbytesize1 libdb5.3t64 106s libdpkg-perl libdrm-common libdrm2 libdw1t64 libedit2 libelf1t64 libevdev2 106s libfastjson4 libflashrom1 libftdi1-2 libfwupd2 libgcc-s1 libgnutls30t64 106s libgpgme11t64 libinih1 libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common 106s libkeyutils1 libldap-common libldap2 liblocale-gettext-perl libmaxminddb0 106s libmnl0 libnetfilter-conntrack3 libnetplan1 libnghttp2-14 libnspr4 106s libnss-systemd libnvme1t64 libpam-systemd libpipeline1 libplymouth5 106s libpng16-16t64 libpopt0 libpython3-stdlib libpython3.12-minimal 106s libpython3.12-stdlib libsgutils2-1.46-2 libssh2-1t64 libstdc++6 106s libsystemd-shared libsystemd0 libtext-charwidth-perl libtext-iconv-perl 106s libtraceevent1 libtraceevent1-plugin libudev1 libudisks2-0 liburcu8t64 106s libutempter0 libuv1t64 libx11-6 libx11-data libxau6 libxmlb2 mawk 106s motd-news-config nano netplan-generator netplan.io openssh-client 106s openssh-server openssh-sftp-server pci.ids perl perl-base plymouth 106s plymouth-theme-ubuntu-text python3 python3-apport python3-certifi 106s python3-cffi-backend python3-configobj python3-gdbm python3-gi python3-idna 106s python3-jaraco.functools python3-json-pointer python3-jsonpatch 106s python3-lazr.restfulclient python3-lazr.uri python3-minimal 106s python3-more-itertools python3-netplan python3-oauthlib 106s python3-problem-report python3-typeguard python3-urllib3 python3-wadllib 106s python3-zipp python3.12 python3.12-gdbm python3.12-minimal sg3-utils 106s sg3-utils-udev ssh-import-id systemd systemd-resolved systemd-sysv 106s systemd-timesyncd tzdata udev udisks2 ufw usbutils vim-common vim-tiny xxd 106s 140 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. 106s Need to get 45.4 MB of archives. 106s After this operation, 43.1 MB of additional disk space will be used. 106s Get:1 http://ftpmaster.internal/ubuntu plucky/main armhf motd-news-config all 13.5ubuntu3 [5190 B] 106s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf base-files armhf 13.5ubuntu3 [75.1 kB] 106s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf dpkg armhf 1.22.11ubuntu3 [1247 kB] 107s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf perl-modules-5.40 all 5.40.0-7 [3214 kB] 107s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf libperl5.40 armhf 5.40.0-7 [4139 kB] 107s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf perl armhf 5.40.0-7 [263 kB] 107s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf perl-base armhf 5.40.0-7 [1674 kB] 107s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf liblocale-gettext-perl armhf 1.07-7build1 [15.0 kB] 107s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libtext-iconv-perl armhf 1.7-8build4 [12.8 kB] 107s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf libtext-charwidth-perl armhf 0.04-11build4 [9128 B] 107s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf libdb5.3t64 armhf 5.3.28+dfsg2-9 [655 kB] 107s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf base-passwd armhf 3.6.5 [53.2 kB] 107s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3-minimal armhf 3.12.7-1 [27.4 kB] 107s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3 armhf 3.12.7-1 [24.0 kB] 107s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf tzdata all 2024b-1ubuntu2 [274 kB] 107s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf python3.12 armhf 3.12.7-3 [661 kB] 107s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libpython3.12-stdlib armhf 3.12.7-3 [1934 kB] 107s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf python3.12-minimal armhf 3.12.7-3 [2012 kB] 107s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf libpython3.12-minimal armhf 3.12.7-3 [822 kB] 107s Get:20 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libpython3-stdlib armhf 3.12.7-1 [10.0 kB] 107s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf libnss-systemd armhf 256.5-2ubuntu4 [155 kB] 107s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf systemd-timesyncd armhf 256.5-2ubuntu4 [40.7 kB] 107s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf systemd-resolved armhf 256.5-2ubuntu4 [309 kB] 107s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf libsystemd-shared armhf 256.5-2ubuntu4 [2129 kB] 107s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf libsystemd0 armhf 256.5-2ubuntu4 [428 kB] 107s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf systemd-sysv armhf 256.5-2ubuntu4 [11.9 kB] 107s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf libpam-systemd armhf 256.5-2ubuntu4 [226 kB] 107s Get:28 http://ftpmaster.internal/ubuntu plucky/main armhf systemd armhf 256.5-2ubuntu4 [3442 kB] 108s Get:29 http://ftpmaster.internal/ubuntu plucky/main armhf udev armhf 256.5-2ubuntu4 [1949 kB] 108s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf libudev1 armhf 256.5-2ubuntu4 [188 kB] 108s Get:31 http://ftpmaster.internal/ubuntu plucky/main armhf python3-problem-report all 2.30.0-0ubuntu5 [25.0 kB] 108s Get:32 http://ftpmaster.internal/ubuntu plucky/main armhf python3-apport all 2.30.0-0ubuntu5 [93.2 kB] 108s Get:33 http://ftpmaster.internal/ubuntu plucky/main armhf python3-gi armhf 3.50.0-3 [227 kB] 108s Get:34 http://ftpmaster.internal/ubuntu plucky/main armhf apport-core-dump-handler all 2.30.0-0ubuntu5 [17.9 kB] 108s Get:35 http://ftpmaster.internal/ubuntu plucky/main armhf apport all 2.30.0-0ubuntu5 [83.0 kB] 108s Get:36 http://ftpmaster.internal/ubuntu plucky/main armhf libbsd0 armhf 0.12.2-2 [36.8 kB] 108s Get:37 http://ftpmaster.internal/ubuntu plucky/main armhf libedit2 armhf 3.1-20240808-1 [79.0 kB] 108s Get:38 http://ftpmaster.internal/ubuntu plucky/main armhf openssh-sftp-server armhf 1:9.7p1-7ubuntu5 [35.4 kB] 108s Get:39 http://ftpmaster.internal/ubuntu plucky/main armhf openssh-server armhf 1:9.7p1-7ubuntu5 [505 kB] 108s Get:40 http://ftpmaster.internal/ubuntu plucky/main armhf openssh-client armhf 1:9.7p1-7ubuntu5 [889 kB] 108s Get:41 http://ftpmaster.internal/ubuntu plucky/main armhf libatomic1 armhf 14.2.0-8ubuntu1 [7846 B] 108s Get:42 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-base armhf 14.2.0-8ubuntu1 [51.5 kB] 108s Get:43 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++6 armhf 14.2.0-8ubuntu1 [711 kB] 108s Get:44 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-s1 armhf 14.2.0-8ubuntu1 [40.8 kB] 108s Get:45 http://ftpmaster.internal/ubuntu plucky/main armhf libattr1 armhf 1:2.5.2-2 [10.5 kB] 108s Get:46 http://ftpmaster.internal/ubuntu plucky/main armhf libgnutls30t64 armhf 3.8.8-2ubuntu1 [955 kB] 108s Get:47 http://ftpmaster.internal/ubuntu plucky/main armhf install-info armhf 7.1.1-1 [61.4 kB] 108s Get:48 http://ftpmaster.internal/ubuntu plucky/main armhf mawk armhf 1.3.4.20240905-1 [116 kB] 108s Get:49 http://ftpmaster.internal/ubuntu plucky/main armhf dhcpcd-base armhf 1:10.1.0-2 [188 kB] 108s Get:50 http://ftpmaster.internal/ubuntu plucky/main armhf distro-info-data all 0.63 [6588 B] 108s Get:51 http://ftpmaster.internal/ubuntu plucky/main armhf libdw1t64 armhf 0.192-4 [243 kB] 108s Get:52 http://ftpmaster.internal/ubuntu plucky/main armhf libelf1t64 armhf 0.192-4 [50.2 kB] 108s Get:53 http://ftpmaster.internal/ubuntu plucky/main armhf libbpf1 armhf 1:1.5.0-1 [158 kB] 108s Get:54 http://ftpmaster.internal/ubuntu plucky/main armhf libmnl0 armhf 1.0.5-3 [10.7 kB] 108s Get:55 http://ftpmaster.internal/ubuntu plucky/main armhf iproute2 armhf 6.10.0-2ubuntu1 [1082 kB] 108s Get:56 http://ftpmaster.internal/ubuntu plucky/main armhf libfastjson4 armhf 1.2304.0-2 [20.2 kB] 108s Get:57 http://ftpmaster.internal/ubuntu plucky/main armhf libjson-c5 armhf 0.18+ds-1 [33.2 kB] 108s Get:58 http://ftpmaster.internal/ubuntu plucky/main armhf libkeyutils1 armhf 1.6.3-4ubuntu2 [8712 B] 108s Get:59 http://ftpmaster.internal/ubuntu plucky/main armhf netplan-generator armhf 1.1.1-1 [60.4 kB] 108s Get:60 http://ftpmaster.internal/ubuntu plucky/main armhf python3-cffi-backend armhf 1.17.1-2 [68.7 kB] 108s Get:61 http://ftpmaster.internal/ubuntu plucky/main armhf python3-netplan armhf 1.1.1-1 [24.1 kB] 108s Get:62 http://ftpmaster.internal/ubuntu plucky/main armhf netplan.io armhf 1.1.1-1 [66.4 kB] 108s Get:63 http://ftpmaster.internal/ubuntu plucky/main armhf libnetplan1 armhf 1.1.1-1 [122 kB] 108s Get:64 http://ftpmaster.internal/ubuntu plucky/main armhf libpopt0 armhf 1.19+dfsg-2 [25.4 kB] 108s Get:65 http://ftpmaster.internal/ubuntu plucky/main armhf vim-tiny armhf 2:9.1.0777-1ubuntu1 [693 kB] 108s Get:66 http://ftpmaster.internal/ubuntu plucky/main armhf vim-common all 2:9.1.0777-1ubuntu1 [394 kB] 108s Get:67 http://ftpmaster.internal/ubuntu plucky/main armhf xxd armhf 2:9.1.0777-1ubuntu1 [66.8 kB] 108s Get:68 http://ftpmaster.internal/ubuntu plucky/main armhf bash-completion all 1:2.14.0-2 [210 kB] 108s Get:69 http://ftpmaster.internal/ubuntu plucky/main armhf info armhf 7.1.1-1 [126 kB] 108s Get:70 http://ftpmaster.internal/ubuntu plucky/main armhf libdrm-common all 2.4.123-1 [8436 B] 108s Get:71 http://ftpmaster.internal/ubuntu plucky/main armhf libdrm2 armhf 2.4.123-1 [36.5 kB] 108s Get:72 http://ftpmaster.internal/ubuntu plucky/main armhf libevdev2 armhf 1.13.3+dfsg-1 [29.7 kB] 108s Get:73 http://ftpmaster.internal/ubuntu plucky/main armhf libmaxminddb0 armhf 1.11.0-1 [16.8 kB] 108s Get:74 http://ftpmaster.internal/ubuntu plucky/main armhf libnetfilter-conntrack3 armhf 1.1.0-1 [38.4 kB] 108s Get:75 http://ftpmaster.internal/ubuntu plucky/main armhf libnghttp2-14 armhf 1.64.0-1 [68.9 kB] 108s Get:76 http://ftpmaster.internal/ubuntu plucky/main armhf libpipeline1 armhf 1.5.8-1 [26.9 kB] 108s Get:77 http://ftpmaster.internal/ubuntu plucky/main armhf libpng16-16t64 armhf 1.6.44-2 [168 kB] 108s Get:78 http://ftpmaster.internal/ubuntu plucky/main armhf libplymouth5 armhf 24.004.60-1ubuntu11 [140 kB] 108s Get:79 http://ftpmaster.internal/ubuntu plucky/main armhf libtraceevent1-plugin armhf 1:1.8.3-1ubuntu1 [18.1 kB] 108s Get:80 http://ftpmaster.internal/ubuntu plucky/main armhf libtraceevent1 armhf 1:1.8.3-1ubuntu1 [52.1 kB] 108s Get:81 http://ftpmaster.internal/ubuntu plucky/main armhf liburcu8t64 armhf 0.14.1-1 [56.6 kB] 108s Get:82 http://ftpmaster.internal/ubuntu plucky/main armhf libuv1t64 armhf 1.48.0-7 [83.3 kB] 108s Get:83 http://ftpmaster.internal/ubuntu plucky/main armhf libx11-data all 2:1.8.10-2 [116 kB] 108s Get:84 http://ftpmaster.internal/ubuntu plucky/main armhf libx11-6 armhf 2:1.8.10-2 [587 kB] 108s Get:85 http://ftpmaster.internal/ubuntu plucky/main armhf libxau6 armhf 1:1.0.11-1 [6558 B] 108s Get:86 http://ftpmaster.internal/ubuntu plucky/main armhf nano armhf 8.2-1 [276 kB] 108s Get:87 http://ftpmaster.internal/ubuntu plucky/main armhf pci.ids all 0.0~2024.10.24-1 [279 kB] 108s Get:88 http://ftpmaster.internal/ubuntu plucky/main armhf plymouth-theme-ubuntu-text armhf 24.004.60-1ubuntu11 [9920 B] 108s Get:89 http://ftpmaster.internal/ubuntu plucky/main armhf plymouth armhf 24.004.60-1ubuntu11 [142 kB] 108s Get:90 http://ftpmaster.internal/ubuntu plucky/main armhf python3.12-gdbm armhf 3.12.7-3 [28.7 kB] 108s Get:91 http://ftpmaster.internal/ubuntu plucky/main armhf python3.13-gdbm armhf 3.13.0-2 [29.5 kB] 108s Get:92 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3-gdbm armhf 3.12.7-1 [8642 B] 108s Get:93 http://ftpmaster.internal/ubuntu plucky/main armhf ufw all 0.36.2-8 [170 kB] 108s Get:94 http://ftpmaster.internal/ubuntu plucky/main armhf usbutils armhf 1:018-1 [76.1 kB] 108s Get:95 http://ftpmaster.internal/ubuntu plucky/main armhf dpkg-dev all 1.22.11ubuntu3 [1088 kB] 108s Get:96 http://ftpmaster.internal/ubuntu plucky/main armhf libdpkg-perl all 1.22.11ubuntu3 [279 kB] 108s Get:97 http://ftpmaster.internal/ubuntu plucky/main armhf libarchive13t64 armhf 3.7.4-1.1 [331 kB] 109s Get:98 http://ftpmaster.internal/ubuntu plucky/main armhf libftdi1-2 armhf 1.5-7 [25.7 kB] 109s Get:99 http://ftpmaster.internal/ubuntu plucky/main armhf libflashrom1 armhf 1.4.0-3ubuntu1 [141 kB] 109s Get:100 http://ftpmaster.internal/ubuntu plucky/main armhf libjson-glib-1.0-common all 1.10.0+ds-3 [5586 B] 109s Get:101 http://ftpmaster.internal/ubuntu plucky/main armhf libjson-glib-1.0-0 armhf 1.10.0+ds-3 [61.7 kB] 109s Get:102 http://ftpmaster.internal/ubuntu plucky/main armhf libfwupd2 armhf 1.9.26-2 [125 kB] 109s Get:103 http://ftpmaster.internal/ubuntu plucky/main armhf libxmlb2 armhf 0.3.21-1 [57.7 kB] 109s Get:104 http://ftpmaster.internal/ubuntu plucky/main armhf fwupd armhf 1.9.26-2 [4404 kB] 109s Get:105 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-utils3 armhf 3.2.1-1 [17.4 kB] 109s Get:106 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-crypto3 armhf 3.2.1-1 [22.4 kB] 109s Get:107 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-fs3 armhf 3.2.1-1 [34.3 kB] 109s Get:108 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-loop3 armhf 3.2.1-1 [6552 B] 109s Get:109 http://ftpmaster.internal/ubuntu plucky/main armhf libbytesize1 armhf 2.11-1ubuntu1 [12.0 kB] 109s Get:110 http://ftpmaster.internal/ubuntu plucky/main armhf libbytesize-common all 2.11-1ubuntu1 [3584 B] 109s Get:111 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-mdraid3 armhf 3.2.1-1 [13.4 kB] 109s Get:112 http://ftpmaster.internal/ubuntu plucky/main armhf libnvme1t64 armhf 1.11-1 [73.8 kB] 109s Get:113 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-nvme3 armhf 3.2.1-1 [17.6 kB] 109s Get:114 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-part3 armhf 3.2.1-1 [16.5 kB] 110s Get:115 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev-swap3 armhf 3.2.1-1 [8952 B] 110s Get:116 http://ftpmaster.internal/ubuntu plucky/main armhf libblockdev3 armhf 3.2.1-1 [44.2 kB] 110s Get:117 http://ftpmaster.internal/ubuntu plucky/main armhf libgpgme11t64 armhf 1.23.2-5ubuntu4 [123 kB] 110s Get:118 http://ftpmaster.internal/ubuntu plucky/main armhf libinih1 armhf 58-1ubuntu1 [6750 B] 110s Get:119 http://ftpmaster.internal/ubuntu plucky/main armhf libldap-common all 2.6.8+dfsg-1~exp4ubuntu3 [32.3 kB] 110s Get:120 http://ftpmaster.internal/ubuntu plucky/main armhf libldap2 armhf 2.6.8+dfsg-1~exp4ubuntu3 [173 kB] 110s Get:121 http://ftpmaster.internal/ubuntu plucky/main armhf libnspr4 armhf 2:4.35-1.1ubuntu2 [94.1 kB] 110s Get:122 http://ftpmaster.internal/ubuntu plucky/main armhf libsgutils2-1.46-2 armhf 1.46-3ubuntu5 [82.5 kB] 110s Get:123 http://ftpmaster.internal/ubuntu plucky/main armhf libssh2-1t64 armhf 1.11.1-1 [116 kB] 110s Get:124 http://ftpmaster.internal/ubuntu plucky/main armhf udisks2 armhf 2.10.1-11ubuntu1 [278 kB] 110s Get:125 http://ftpmaster.internal/ubuntu plucky/main armhf libudisks2-0 armhf 2.10.1-11ubuntu1 [142 kB] 110s Get:126 http://ftpmaster.internal/ubuntu plucky/main armhf libutempter0 armhf 1.2.1-4 [9062 B] 110s Get:127 http://ftpmaster.internal/ubuntu plucky/main armhf python3-certifi all 2024.8.30+dfsg-1 [9742 B] 110s Get:128 http://ftpmaster.internal/ubuntu plucky/main armhf python3-configobj all 5.0.9-1 [33.9 kB] 110s Get:129 http://ftpmaster.internal/ubuntu plucky/main armhf python3-idna all 3.8-2 [47.0 kB] 110s Get:130 http://ftpmaster.internal/ubuntu plucky/main armhf python3-more-itertools all 10.5.0-1 [56.2 kB] 110s Get:131 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jaraco.functools all 4.1.0-1 [11.8 kB] 110s Get:132 http://ftpmaster.internal/ubuntu plucky/main armhf python3-json-pointer all 2.4-2 [8396 B] 110s Get:133 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jsonpatch all 1.32-4 [12.2 kB] 110s Get:134 http://ftpmaster.internal/ubuntu plucky/main armhf python3-lazr.uri all 1.0.6-4 [13.6 kB] 110s Get:135 http://ftpmaster.internal/ubuntu plucky/main armhf python3-wadllib all 2.0.0-1 [36.7 kB] 110s Get:136 http://ftpmaster.internal/ubuntu plucky/main armhf python3-oauthlib all 3.2.2-2 [89.8 kB] 110s Get:137 http://ftpmaster.internal/ubuntu plucky/main armhf python3-lazr.restfulclient all 0.14.6-2 [50.9 kB] 110s Get:138 http://ftpmaster.internal/ubuntu plucky/main armhf python3-typeguard all 4.4.1-1 [29.0 kB] 110s Get:139 http://ftpmaster.internal/ubuntu plucky/main armhf python3-urllib3 all 2.0.7-2ubuntu0.1 [93.1 kB] 110s Get:140 http://ftpmaster.internal/ubuntu plucky/main armhf python3-zipp all 3.21.0-1 [10.2 kB] 110s Get:141 http://ftpmaster.internal/ubuntu plucky/main armhf sg3-utils armhf 1.46-3ubuntu5 [816 kB] 110s Get:142 http://ftpmaster.internal/ubuntu plucky/main armhf sg3-utils-udev all 1.46-3ubuntu5 [5916 B] 110s Get:143 http://ftpmaster.internal/ubuntu plucky/main armhf systemd-cryptsetup armhf 256.5-2ubuntu4 [122 kB] 110s Get:144 http://ftpmaster.internal/ubuntu plucky/main armhf ssh-import-id all 5.11-0ubuntu3 [10.1 kB] 110s Preconfiguring packages ... 110s Fetched 45.4 MB in 4s (12.0 MB/s) 111s (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 ... 59386 files and directories currently installed.) 111s Preparing to unpack .../motd-news-config_13.5ubuntu3_all.deb ... 111s Unpacking motd-news-config (13.5ubuntu3) over (13.3ubuntu6) ... 111s Preparing to unpack .../base-files_13.5ubuntu3_armhf.deb ... 111s Unpacking base-files (13.5ubuntu3) over (13.3ubuntu6) ... 111s Setting up base-files (13.5ubuntu3) ... 111s Installing new version of config file /etc/issue ... 111s Installing new version of config file /etc/issue.net ... 111s Installing new version of config file /etc/lsb-release ... 111s motd-news.service is a disabled or a static unit not running, not starting it. 111s (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 ... 59386 files and directories currently installed.) 111s Preparing to unpack .../dpkg_1.22.11ubuntu3_armhf.deb ... 111s Unpacking dpkg (1.22.11ubuntu3) over (1.22.11ubuntu1) ... 112s Setting up dpkg (1.22.11ubuntu3) ... 112s (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 ... 59386 files and directories currently installed.) 112s Preparing to unpack .../perl_5.40.0-7_armhf.deb ... 112s Unpacking perl (5.40.0-7) over (5.38.2-5) ... 112s Selecting previously unselected package perl-modules-5.40. 112s Preparing to unpack .../perl-modules-5.40_5.40.0-7_all.deb ... 112s Unpacking perl-modules-5.40 (5.40.0-7) ... 112s Selecting previously unselected package libperl5.40:armhf. 112s Preparing to unpack .../libperl5.40_5.40.0-7_armhf.deb ... 112s Unpacking libperl5.40:armhf (5.40.0-7) ... 113s Preparing to unpack .../perl-base_5.40.0-7_armhf.deb ... 113s Unpacking perl-base (5.40.0-7) over (5.38.2-5) ... 113s Setting up perl-base (5.40.0-7) ... 113s (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 ... 61464 files and directories currently installed.) 113s Preparing to unpack .../liblocale-gettext-perl_1.07-7build1_armhf.deb ... 113s Unpacking liblocale-gettext-perl (1.07-7build1) over (1.07-7) ... 113s Preparing to unpack .../libtext-iconv-perl_1.7-8build4_armhf.deb ... 113s Unpacking libtext-iconv-perl:armhf (1.7-8build4) over (1.7-8build3) ... 113s Preparing to unpack .../libtext-charwidth-perl_0.04-11build4_armhf.deb ... 113s Unpacking libtext-charwidth-perl:armhf (0.04-11build4) over (0.04-11build3) ... 113s Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-9_armhf.deb ... 113s Unpacking libdb5.3t64:armhf (5.3.28+dfsg2-9) over (5.3.28+dfsg2-7) ... 113s Setting up libdb5.3t64:armhf (5.3.28+dfsg2-9) ... 113s (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 ... 61464 files and directories currently installed.) 113s Preparing to unpack .../base-passwd_3.6.5_armhf.deb ... 113s Unpacking base-passwd (3.6.5) over (3.6.4) ... 113s Setting up base-passwd (3.6.5) ... 113s (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 ... 61465 files and directories currently installed.) 113s Preparing to unpack .../python3-minimal_3.12.7-1_armhf.deb ... 113s Unpacking python3-minimal (3.12.7-1) over (3.12.6-0ubuntu1) ... 113s Setting up python3-minimal (3.12.7-1) ... 113s (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 ... 61465 files and directories currently installed.) 113s Preparing to unpack .../00-python3_3.12.7-1_armhf.deb ... 114s Unpacking python3 (3.12.7-1) over (3.12.6-0ubuntu1) ... 114s Preparing to unpack .../01-tzdata_2024b-1ubuntu2_all.deb ... 114s Unpacking tzdata (2024b-1ubuntu2) over (2024a-4ubuntu1) ... 114s Preparing to unpack .../02-python3.12_3.12.7-3_armhf.deb ... 114s Unpacking python3.12 (3.12.7-3) over (3.12.7-1) ... 114s Preparing to unpack .../03-libpython3.12-stdlib_3.12.7-3_armhf.deb ... 114s Unpacking libpython3.12-stdlib:armhf (3.12.7-3) over (3.12.7-1) ... 114s Preparing to unpack .../04-python3.12-minimal_3.12.7-3_armhf.deb ... 114s Unpacking python3.12-minimal (3.12.7-3) over (3.12.7-1) ... 114s Preparing to unpack .../05-libpython3.12-minimal_3.12.7-3_armhf.deb ... 114s Unpacking libpython3.12-minimal:armhf (3.12.7-3) over (3.12.7-1) ... 114s Preparing to unpack .../06-libpython3-stdlib_3.12.7-1_armhf.deb ... 114s Unpacking libpython3-stdlib:armhf (3.12.7-1) over (3.12.6-0ubuntu1) ... 114s Preparing to unpack .../07-libnss-systemd_256.5-2ubuntu4_armhf.deb ... 114s Unpacking libnss-systemd:armhf (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 114s Preparing to unpack .../08-systemd-timesyncd_256.5-2ubuntu4_armhf.deb ... 114s Unpacking systemd-timesyncd (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 114s Preparing to unpack .../09-systemd-resolved_256.5-2ubuntu4_armhf.deb ... 114s Unpacking systemd-resolved (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 114s Preparing to unpack .../10-libsystemd-shared_256.5-2ubuntu4_armhf.deb ... 114s Unpacking libsystemd-shared:armhf (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Preparing to unpack .../11-libsystemd0_256.5-2ubuntu4_armhf.deb ... 115s Unpacking libsystemd0:armhf (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Setting up libsystemd0:armhf (256.5-2ubuntu4) ... 115s (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 ... 61464 files and directories currently installed.) 115s Preparing to unpack .../systemd-sysv_256.5-2ubuntu4_armhf.deb ... 115s Unpacking systemd-sysv (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Preparing to unpack .../libpam-systemd_256.5-2ubuntu4_armhf.deb ... 115s Unpacking libpam-systemd:armhf (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Preparing to unpack .../systemd_256.5-2ubuntu4_armhf.deb ... 115s Unpacking systemd (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Preparing to unpack .../udev_256.5-2ubuntu4_armhf.deb ... 115s Unpacking udev (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Preparing to unpack .../libudev1_256.5-2ubuntu4_armhf.deb ... 115s Unpacking libudev1:armhf (256.5-2ubuntu4) over (256.5-2ubuntu3) ... 115s Setting up libudev1:armhf (256.5-2ubuntu4) ... 115s (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 ... 61464 files and directories currently installed.) 115s Preparing to unpack .../0-python3-problem-report_2.30.0-0ubuntu5_all.deb ... 115s Unpacking python3-problem-report (2.30.0-0ubuntu5) over (2.30.0-0ubuntu4) ... 115s Preparing to unpack .../1-python3-apport_2.30.0-0ubuntu5_all.deb ... 116s Unpacking python3-apport (2.30.0-0ubuntu5) over (2.30.0-0ubuntu4) ... 116s Preparing to unpack .../2-python3-gi_3.50.0-3_armhf.deb ... 116s Unpacking python3-gi (3.50.0-3) over (3.48.2-1) ... 116s Preparing to unpack .../3-apport-core-dump-handler_2.30.0-0ubuntu5_all.deb ... 116s Unpacking apport-core-dump-handler (2.30.0-0ubuntu5) over (2.30.0-0ubuntu4) ... 116s Preparing to unpack .../4-apport_2.30.0-0ubuntu5_all.deb ... 116s Unpacking apport (2.30.0-0ubuntu5) over (2.30.0-0ubuntu4) ... 116s Preparing to unpack .../5-libbsd0_0.12.2-2_armhf.deb ... 116s Unpacking libbsd0:armhf (0.12.2-2) over (0.12.2-1) ... 116s Setting up libbsd0:armhf (0.12.2-2) ... 116s (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 ... 61456 files and directories currently installed.) 116s Preparing to unpack .../0-libedit2_3.1-20240808-1_armhf.deb ... 116s Unpacking libedit2:armhf (3.1-20240808-1) over (3.1-20240517-1) ... 116s Preparing to unpack .../1-openssh-sftp-server_1%3a9.7p1-7ubuntu5_armhf.deb ... 116s Unpacking openssh-sftp-server (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 116s Preparing to unpack .../2-openssh-server_1%3a9.7p1-7ubuntu5_armhf.deb ... 116s Unpacking openssh-server (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 116s Preparing to unpack .../3-openssh-client_1%3a9.7p1-7ubuntu5_armhf.deb ... 116s Unpacking openssh-client (1:9.7p1-7ubuntu5) over (1:9.7p1-7ubuntu4) ... 116s Preparing to unpack .../4-libatomic1_14.2.0-8ubuntu1_armhf.deb ... 116s Unpacking libatomic1:armhf (14.2.0-8ubuntu1) over (14.2.0-4ubuntu2) ... 116s Preparing to unpack .../5-gcc-14-base_14.2.0-8ubuntu1_armhf.deb ... 116s Unpacking gcc-14-base:armhf (14.2.0-8ubuntu1) over (14.2.0-4ubuntu2) ... 116s Setting up gcc-14-base:armhf (14.2.0-8ubuntu1) ... 116s (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 ... 61456 files and directories currently installed.) 116s Preparing to unpack .../libstdc++6_14.2.0-8ubuntu1_armhf.deb ... 116s Unpacking libstdc++6:armhf (14.2.0-8ubuntu1) over (14.2.0-4ubuntu2) ... 116s Setting up libstdc++6:armhf (14.2.0-8ubuntu1) ... 116s (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 ... 61456 files and directories currently installed.) 116s Preparing to unpack .../libgcc-s1_14.2.0-8ubuntu1_armhf.deb ... 116s Unpacking libgcc-s1:armhf (14.2.0-8ubuntu1) over (14.2.0-4ubuntu2) ... 116s Setting up libgcc-s1:armhf (14.2.0-8ubuntu1) ... 117s (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 ... 61456 files and directories currently installed.) 117s Preparing to unpack .../libattr1_1%3a2.5.2-2_armhf.deb ... 117s Unpacking libattr1:armhf (1:2.5.2-2) over (1:2.5.2-1build2) ... 117s Setting up libattr1:armhf (1:2.5.2-2) ... 117s (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 ... 61456 files and directories currently installed.) 117s Preparing to unpack .../libgnutls30t64_3.8.8-2ubuntu1_armhf.deb ... 117s Unpacking libgnutls30t64:armhf (3.8.8-2ubuntu1) over (3.8.6-2ubuntu1) ... 117s Setting up libgnutls30t64:armhf (3.8.8-2ubuntu1) ... 117s (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 ... 61456 files and directories currently installed.) 117s Preparing to unpack .../install-info_7.1.1-1_armhf.deb ... 117s Unpacking install-info (7.1.1-1) over (7.1-3build2) ... 117s Setting up install-info (7.1.1-1) ... 117s (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 ... 61456 files and directories currently installed.) 117s Preparing to unpack .../00-mawk_1.3.4.20240905-1_armhf.deb ... 117s Unpacking mawk (1.3.4.20240905-1) over (1.3.4.20240622-2) ... 117s Preparing to unpack .../01-dhcpcd-base_1%3a10.1.0-2_armhf.deb ... 117s Unpacking dhcpcd-base (1:10.1.0-2) over (1:10.0.8-3) ... 117s Preparing to unpack .../02-distro-info-data_0.63_all.deb ... 117s Unpacking distro-info-data (0.63) over (0.62) ... 117s Preparing to unpack .../03-libdw1t64_0.192-4_armhf.deb ... 117s Unpacking libdw1t64:armhf (0.192-4) over (0.191-2) ... 117s Preparing to unpack .../04-libelf1t64_0.192-4_armhf.deb ... 117s Unpacking libelf1t64:armhf (0.192-4) over (0.191-2) ... 117s Preparing to unpack .../05-libbpf1_1%3a1.5.0-1_armhf.deb ... 117s Unpacking libbpf1:armhf (1:1.5.0-1) over (1:1.4.5-1) ... 117s Preparing to unpack .../06-libmnl0_1.0.5-3_armhf.deb ... 117s Unpacking libmnl0:armhf (1.0.5-3) over (1.0.5-2build1) ... 117s Preparing to unpack .../07-iproute2_6.10.0-2ubuntu1_armhf.deb ... 117s Unpacking iproute2 (6.10.0-2ubuntu1) over (6.10.0-2) ... 117s Preparing to unpack .../08-libfastjson4_1.2304.0-2_armhf.deb ... 117s Unpacking libfastjson4:armhf (1.2304.0-2) over (1.2304.0-1build1) ... 117s Preparing to unpack .../09-libjson-c5_0.18+ds-1_armhf.deb ... 117s Unpacking libjson-c5:armhf (0.18+ds-1) over (0.17-1build1) ... 117s Preparing to unpack .../10-libkeyutils1_1.6.3-4ubuntu2_armhf.deb ... 117s Unpacking libkeyutils1:armhf (1.6.3-4ubuntu2) over (1.6.3-3build1) ... 118s Preparing to unpack .../11-netplan-generator_1.1.1-1_armhf.deb ... 118s Adding 'diversion of /lib/systemd/system-generators/netplan to /lib/systemd/system-generators/netplan.usr-is-merged by netplan-generator' 118s Unpacking netplan-generator (1.1.1-1) over (1.1-1) ... 118s Preparing to unpack .../12-python3-cffi-backend_1.17.1-2_armhf.deb ... 118s Unpacking python3-cffi-backend:armhf (1.17.1-2) over (1.17.1-1) ... 118s Preparing to unpack .../13-python3-netplan_1.1.1-1_armhf.deb ... 118s Unpacking python3-netplan (1.1.1-1) over (1.1-1) ... 118s Preparing to unpack .../14-netplan.io_1.1.1-1_armhf.deb ... 118s Unpacking netplan.io (1.1.1-1) over (1.1-1) ... 118s Preparing to unpack .../15-libnetplan1_1.1.1-1_armhf.deb ... 118s Unpacking libnetplan1:armhf (1.1.1-1) over (1.1-1) ... 118s Preparing to unpack .../16-libpopt0_1.19+dfsg-2_armhf.deb ... 118s Unpacking libpopt0:armhf (1.19+dfsg-2) over (1.19+dfsg-1build1) ... 118s Preparing to unpack .../17-vim-tiny_2%3a9.1.0777-1ubuntu1_armhf.deb ... 118s Unpacking vim-tiny (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 118s Preparing to unpack .../18-vim-common_2%3a9.1.0777-1ubuntu1_all.deb ... 118s Unpacking vim-common (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 118s Preparing to unpack .../19-xxd_2%3a9.1.0777-1ubuntu1_armhf.deb ... 118s Unpacking xxd (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 118s Preparing to unpack .../20-bash-completion_1%3a2.14.0-2_all.deb ... 118s Unpacking bash-completion (1:2.14.0-2) over (1:2.14.0-1) ... 118s Preparing to unpack .../21-info_7.1.1-1_armhf.deb ... 118s Unpacking info (7.1.1-1) over (7.1-3build2) ... 118s Preparing to unpack .../22-libdrm-common_2.4.123-1_all.deb ... 118s Unpacking libdrm-common (2.4.123-1) over (2.4.122-1) ... 118s Preparing to unpack .../23-libdrm2_2.4.123-1_armhf.deb ... 118s Unpacking libdrm2:armhf (2.4.123-1) over (2.4.122-1) ... 118s Preparing to unpack .../24-libevdev2_1.13.3+dfsg-1_armhf.deb ... 118s Unpacking libevdev2:armhf (1.13.3+dfsg-1) over (1.13.2+dfsg-1) ... 118s Preparing to unpack .../25-libmaxminddb0_1.11.0-1_armhf.deb ... 118s Unpacking libmaxminddb0:armhf (1.11.0-1) over (1.10.0-1) ... 118s Preparing to unpack .../26-libnetfilter-conntrack3_1.1.0-1_armhf.deb ... 118s Unpacking libnetfilter-conntrack3:armhf (1.1.0-1) over (1.0.9-6build1) ... 118s Preparing to unpack .../27-libnghttp2-14_1.64.0-1_armhf.deb ... 118s Unpacking libnghttp2-14:armhf (1.64.0-1) over (1.62.1-2) ... 118s Preparing to unpack .../28-libpipeline1_1.5.8-1_armhf.deb ... 118s Unpacking libpipeline1:armhf (1.5.8-1) over (1.5.7-2) ... 118s Preparing to unpack .../29-libpng16-16t64_1.6.44-2_armhf.deb ... 118s Unpacking libpng16-16t64:armhf (1.6.44-2) over (1.6.44-1) ... 118s Preparing to unpack .../30-libplymouth5_24.004.60-1ubuntu11_armhf.deb ... 118s Unpacking libplymouth5:armhf (24.004.60-1ubuntu11) over (24.004.60-1ubuntu10) ... 118s Preparing to unpack .../31-libtraceevent1-plugin_1%3a1.8.3-1ubuntu1_armhf.deb ... 118s Unpacking libtraceevent1-plugin:armhf (1:1.8.3-1ubuntu1) over (1:1.8.2-1ubuntu3) ... 118s Preparing to unpack .../32-libtraceevent1_1%3a1.8.3-1ubuntu1_armhf.deb ... 118s Unpacking libtraceevent1:armhf (1:1.8.3-1ubuntu1) over (1:1.8.2-1ubuntu3) ... 118s Preparing to unpack .../33-liburcu8t64_0.14.1-1_armhf.deb ... 118s Unpacking liburcu8t64:armhf (0.14.1-1) over (0.14.0-4) ... 119s Preparing to unpack .../34-libuv1t64_1.48.0-7_armhf.deb ... 119s Unpacking libuv1t64:armhf (1.48.0-7) over (1.48.0-5) ... 119s Preparing to unpack .../35-libx11-data_2%3a1.8.10-2_all.deb ... 119s Unpacking libx11-data (2:1.8.10-2) over (2:1.8.7-1build1) ... 119s Preparing to unpack .../36-libx11-6_2%3a1.8.10-2_armhf.deb ... 119s Unpacking libx11-6:armhf (2:1.8.10-2) over (2:1.8.7-1build1) ... 119s Preparing to unpack .../37-libxau6_1%3a1.0.11-1_armhf.deb ... 119s Unpacking libxau6:armhf (1:1.0.11-1) over (1:1.0.9-1build6) ... 119s Preparing to unpack .../38-nano_8.2-1_armhf.deb ... 119s Unpacking nano (8.2-1) over (8.1-1) ... 119s Preparing to unpack .../39-pci.ids_0.0~2024.10.24-1_all.deb ... 119s Unpacking pci.ids (0.0~2024.10.24-1) over (0.0~2024.09.12-1) ... 119s Preparing to unpack .../40-plymouth-theme-ubuntu-text_24.004.60-1ubuntu11_armhf.deb ... 119s Unpacking plymouth-theme-ubuntu-text (24.004.60-1ubuntu11) over (24.004.60-1ubuntu10) ... 119s Preparing to unpack .../41-plymouth_24.004.60-1ubuntu11_armhf.deb ... 119s Unpacking plymouth (24.004.60-1ubuntu11) over (24.004.60-1ubuntu10) ... 119s Preparing to unpack .../42-python3.12-gdbm_3.12.7-3_armhf.deb ... 119s Unpacking python3.12-gdbm (3.12.7-3) over (3.12.7-1) ... 119s Selecting previously unselected package python3.13-gdbm. 119s Preparing to unpack .../43-python3.13-gdbm_3.13.0-2_armhf.deb ... 119s Unpacking python3.13-gdbm (3.13.0-2) ... 119s Preparing to unpack .../44-python3-gdbm_3.12.7-1_armhf.deb ... 119s Unpacking python3-gdbm:armhf (3.12.7-1) over (3.12.6-1ubuntu1) ... 119s Preparing to unpack .../45-ufw_0.36.2-8_all.deb ... 119s Unpacking ufw (0.36.2-8) over (0.36.2-6) ... 119s Preparing to unpack .../46-usbutils_1%3a018-1_armhf.deb ... 119s Unpacking usbutils (1:018-1) over (1:017-3build1) ... 119s Preparing to unpack .../47-dpkg-dev_1.22.11ubuntu3_all.deb ... 119s Unpacking dpkg-dev (1.22.11ubuntu3) over (1.22.11ubuntu1) ... 119s Preparing to unpack .../48-libdpkg-perl_1.22.11ubuntu3_all.deb ... 119s Unpacking libdpkg-perl (1.22.11ubuntu3) over (1.22.11ubuntu1) ... 121s Preparing to unpack .../49-libarchive13t64_3.7.4-1.1_armhf.deb ... 121s Unpacking libarchive13t64:armhf (3.7.4-1.1) over (3.7.4-1) ... 121s Preparing to unpack .../50-libftdi1-2_1.5-7_armhf.deb ... 121s Unpacking libftdi1-2:armhf (1.5-7) over (1.5-6build5) ... 121s Preparing to unpack .../51-libflashrom1_1.4.0-3ubuntu1_armhf.deb ... 121s Unpacking libflashrom1:armhf (1.4.0-3ubuntu1) over (1.3.0-2.1ubuntu2) ... 121s Preparing to unpack .../52-libjson-glib-1.0-common_1.10.0+ds-3_all.deb ... 121s Unpacking libjson-glib-1.0-common (1.10.0+ds-3) over (1.8.0-2build2) ... 121s Preparing to unpack .../53-libjson-glib-1.0-0_1.10.0+ds-3_armhf.deb ... 121s Unpacking libjson-glib-1.0-0:armhf (1.10.0+ds-3) over (1.8.0-2build2) ... 121s Preparing to unpack .../54-libfwupd2_1.9.26-2_armhf.deb ... 121s Unpacking libfwupd2:armhf (1.9.26-2) over (1.9.24-1) ... 121s Preparing to unpack .../55-libxmlb2_0.3.21-1_armhf.deb ... 121s Unpacking libxmlb2:armhf (0.3.21-1) over (0.3.19-1) ... 121s Preparing to unpack .../56-fwupd_1.9.26-2_armhf.deb ... 121s Unpacking fwupd (1.9.26-2) over (1.9.24-1) ... 121s Preparing to unpack .../57-libblockdev-utils3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-utils3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../58-libblockdev-crypto3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-crypto3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../59-libblockdev-fs3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-fs3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../60-libblockdev-loop3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-loop3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../61-libbytesize1_2.11-1ubuntu1_armhf.deb ... 121s Unpacking libbytesize1:armhf (2.11-1ubuntu1) over (2.10-1ubuntu2) ... 121s Preparing to unpack .../62-libbytesize-common_2.11-1ubuntu1_all.deb ... 121s Unpacking libbytesize-common (2.11-1ubuntu1) over (2.10-1ubuntu2) ... 121s Preparing to unpack .../63-libblockdev-mdraid3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-mdraid3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../64-libnvme1t64_1.11-1_armhf.deb ... 121s Unpacking libnvme1t64 (1.11-1) over (1.10-1) ... 121s Preparing to unpack .../65-libblockdev-nvme3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-nvme3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../66-libblockdev-part3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-part3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../67-libblockdev-swap3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev-swap3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../68-libblockdev3_3.2.1-1_armhf.deb ... 121s Unpacking libblockdev3:armhf (3.2.1-1) over (3.1.1-2) ... 121s Preparing to unpack .../69-libgpgme11t64_1.23.2-5ubuntu4_armhf.deb ... 121s Unpacking libgpgme11t64:armhf (1.23.2-5ubuntu4) over (1.18.0-4.1ubuntu4) ... 121s Preparing to unpack .../70-libinih1_58-1ubuntu1_armhf.deb ... 121s Unpacking libinih1:armhf (58-1ubuntu1) over (55-1ubuntu2) ... 121s Preparing to unpack .../71-libldap-common_2.6.8+dfsg-1~exp4ubuntu3_all.deb ... 121s Unpacking libldap-common (2.6.8+dfsg-1~exp4ubuntu3) over (2.6.8+dfsg-1~exp4ubuntu1) ... 121s Preparing to unpack .../72-libldap2_2.6.8+dfsg-1~exp4ubuntu3_armhf.deb ... 121s Unpacking libldap2:armhf (2.6.8+dfsg-1~exp4ubuntu3) over (2.6.8+dfsg-1~exp4ubuntu1) ... 121s Preparing to unpack .../73-libnspr4_2%3a4.35-1.1ubuntu2_armhf.deb ... 121s Unpacking libnspr4:armhf (2:4.35-1.1ubuntu2) over (2:4.35-1.1ubuntu1) ... 121s Preparing to unpack .../74-libsgutils2-1.46-2_1.46-3ubuntu5_armhf.deb ... 121s Unpacking libsgutils2-1.46-2:armhf (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 121s Preparing to unpack .../75-libssh2-1t64_1.11.1-1_armhf.deb ... 121s Unpacking libssh2-1t64:armhf (1.11.1-1) over (1.11.0-7) ... 121s Preparing to unpack .../76-udisks2_2.10.1-11ubuntu1_armhf.deb ... 121s Unpacking udisks2 (2.10.1-11ubuntu1) over (2.10.1-9ubuntu2) ... 121s Preparing to unpack .../77-libudisks2-0_2.10.1-11ubuntu1_armhf.deb ... 121s Unpacking libudisks2-0:armhf (2.10.1-11ubuntu1) over (2.10.1-9ubuntu2) ... 121s Preparing to unpack .../78-libutempter0_1.2.1-4_armhf.deb ... 121s Unpacking libutempter0:armhf (1.2.1-4) over (1.2.1-3build1) ... 121s Preparing to unpack .../79-python3-certifi_2024.8.30+dfsg-1_all.deb ... 121s Unpacking python3-certifi (2024.8.30+dfsg-1) over (2024.6.2-1) ... 121s Preparing to unpack .../80-python3-configobj_5.0.9-1_all.deb ... 121s Unpacking python3-configobj (5.0.9-1) over (5.0.8-3) ... 121s Preparing to unpack .../81-python3-idna_3.8-2_all.deb ... 121s Unpacking python3-idna (3.8-2) over (3.6-2.1) ... 121s Preparing to unpack .../82-python3-more-itertools_10.5.0-1_all.deb ... 121s Unpacking python3-more-itertools (10.5.0-1) over (10.3.0-1) ... 121s Preparing to unpack .../83-python3-jaraco.functools_4.1.0-1_all.deb ... 121s Unpacking python3-jaraco.functools (4.1.0-1) over (4.0.2-1) ... 121s Preparing to unpack .../84-python3-json-pointer_2.4-2_all.deb ... 121s Unpacking python3-json-pointer (2.4-2) over (2.0-0ubuntu1) ... 121s Preparing to unpack .../85-python3-jsonpatch_1.32-4_all.deb ... 122s Unpacking python3-jsonpatch (1.32-4) over (1.32-3) ... 122s Preparing to unpack .../86-python3-lazr.uri_1.0.6-4_all.deb ... 122s Unpacking python3-lazr.uri (1.0.6-4) over (1.0.6-3) ... 122s Preparing to unpack .../87-python3-wadllib_2.0.0-1_all.deb ... 122s Unpacking python3-wadllib (2.0.0-1) over (1.3.6-5) ... 122s Preparing to unpack .../88-python3-oauthlib_3.2.2-2_all.deb ... 122s Unpacking python3-oauthlib (3.2.2-2) over (3.2.2-1) ... 122s Preparing to unpack .../89-python3-lazr.restfulclient_0.14.6-2_all.deb ... 122s Unpacking python3-lazr.restfulclient (0.14.6-2) over (0.14.6-1) ... 122s Preparing to unpack .../90-python3-typeguard_4.4.1-1_all.deb ... 122s Unpacking python3-typeguard (4.4.1-1) over (4.3.0-1) ... 122s Preparing to unpack .../91-python3-urllib3_2.0.7-2ubuntu0.1_all.deb ... 122s Unpacking python3-urllib3 (2.0.7-2ubuntu0.1) over (2.0.7-2) ... 122s Preparing to unpack .../92-python3-zipp_3.21.0-1_all.deb ... 122s Unpacking python3-zipp (3.21.0-1) over (3.20.0-1) ... 122s Preparing to unpack .../93-sg3-utils_1.46-3ubuntu5_armhf.deb ... 122s Unpacking sg3-utils (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 123s Preparing to unpack .../94-sg3-utils-udev_1.46-3ubuntu5_all.deb ... 123s Unpacking sg3-utils-udev (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 123s Selecting previously unselected package systemd-cryptsetup. 123s Preparing to unpack .../95-systemd-cryptsetup_256.5-2ubuntu4_armhf.deb ... 123s Unpacking systemd-cryptsetup (256.5-2ubuntu4) ... 123s Preparing to unpack .../96-ssh-import-id_5.11-0ubuntu3_all.deb ... 123s Unpacking ssh-import-id (5.11-0ubuntu3) over (5.11-0ubuntu2) ... 123s Setting up libpipeline1:armhf (1.5.8-1) ... 123s Setting up motd-news-config (13.5ubuntu3) ... 123s Setting up libtext-iconv-perl:armhf (1.7-8build4) ... 123s Setting up libtext-charwidth-perl:armhf (0.04-11build4) ... 123s Setting up liburcu8t64:armhf (0.14.1-1) ... 123s Setting up libxau6:armhf (1:1.0.11-1) ... 123s Setting up libkeyutils1:armhf (1.6.3-4ubuntu2) ... 123s Setting up pci.ids (0.0~2024.10.24-1) ... 123s Setting up distro-info-data (0.63) ... 123s Setting up libfastjson4:armhf (1.2304.0-2) ... 123s Setting up libinih1:armhf (58-1ubuntu1) ... 123s Setting up libmaxminddb0:armhf (1.11.0-1) ... 123s Setting up python3.12-gdbm (3.12.7-3) ... 123s Setting up libxmlb2:armhf (0.3.21-1) ... 123s Setting up libedit2:armhf (3.1-20240808-1) ... 123s Setting up libuv1t64:armhf (1.48.0-7) ... 123s Setting up libpython3.12-minimal:armhf (3.12.7-3) ... 123s Setting up libnghttp2-14:armhf (1.64.0-1) ... 123s Setting up libsgutils2-1.46-2:armhf (1.46-3ubuntu5) ... 123s Setting up libnetplan1:armhf (1.1.1-1) ... 123s Setting up libldap-common (2.6.8+dfsg-1~exp4ubuntu3) ... 123s Setting up usbutils (1:018-1) ... 123s Setting up xxd (2:9.1.0777-1ubuntu1) ... 123s Setting up libelf1t64:armhf (0.192-4) ... 123s Setting up libdw1t64:armhf (0.192-4) ... 123s Setting up tzdata (2024b-1ubuntu2) ... 123s 123s Current default time zone: 'Etc/UTC' 123s Local time is now: Wed Nov 13 15:15:14 UTC 2024. 123s Universal Time is now: Wed Nov 13 15:15:14 UTC 2024. 123s Run 'dpkg-reconfigure tzdata' if you wish to change it. 123s 123s Setting up libftdi1-2:armhf (1.5-7) ... 123s Setting up libflashrom1:armhf (1.4.0-3ubuntu1) ... 123s Setting up vim-common (2:9.1.0777-1ubuntu1) ... 123s Installing new version of config file /etc/vim/vimrc ... 123s Setting up libx11-data (2:1.8.10-2) ... 123s Setting up libnspr4:armhf (2:4.35-1.1ubuntu2) ... 123s Setting up bash-completion (1:2.14.0-2) ... 123s Setting up libbytesize-common (2.11-1ubuntu1) ... 123s Setting up libblockdev-utils3:armhf (3.2.1-1) ... 123s Setting up libpng16-16t64:armhf (1.6.44-2) ... 123s Setting up libmnl0:armhf (1.0.5-3) ... 123s Setting up libatomic1:armhf (14.2.0-8ubuntu1) ... 123s Setting up libsystemd-shared:armhf (256.5-2ubuntu4) ... 123s Setting up dhcpcd-base (1:10.1.0-2) ... 123s Setting up libutempter0:armhf (1.2.1-4) ... 123s Setting up nano (8.2-1) ... 123s Setting up libblockdev-fs3:armhf (3.2.1-1) ... 123s Setting up perl-modules-5.40 (5.40.0-7) ... 123s Setting up libnetfilter-conntrack3:armhf (1.1.0-1) ... 123s Setting up libtraceevent1:armhf (1:1.8.3-1ubuntu1) ... 123s Setting up libx11-6:armhf (2:1.8.10-2) ... 123s Setting up libjson-glib-1.0-common (1.10.0+ds-3) ... 123s Setting up mawk (1.3.4.20240905-1) ... 123s Setting up libbytesize1:armhf (2.11-1ubuntu1) ... 123s Setting up libgpgme11t64:armhf (1.23.2-5ubuntu4) ... 123s Setting up libssh2-1t64:armhf (1.11.1-1) ... 123s Setting up libdrm-common (2.4.123-1) ... 123s Setting up libarchive13t64:armhf (3.7.4-1.1) ... 123s Setting up libjson-c5:armhf (0.18+ds-1) ... 123s Setting up libevdev2:armhf (1.13.3+dfsg-1) ... 123s Setting up libldap2:armhf (2.6.8+dfsg-1~exp4ubuntu3) ... 123s Setting up info (7.1.1-1) ... 123s Setting up liblocale-gettext-perl (1.07-7build1) ... 123s Setting up libbpf1:armhf (1:1.5.0-1) ... 123s Setting up libudisks2-0:armhf (2.10.1-11ubuntu1) ... 123s Setting up python3.13-gdbm (3.13.0-2) ... 123s Setting up libpopt0:armhf (1.19+dfsg-2) ... 123s Setting up sg3-utils (1.46-3ubuntu5) ... 123s Setting up python3.12-minimal (3.12.7-3) ... 124s Setting up libpython3.12-stdlib:armhf (3.12.7-3) ... 124s Setting up libblockdev-mdraid3:armhf (3.2.1-1) ... 124s Setting up libblockdev-crypto3:armhf (3.2.1-1) ... 124s Setting up libblockdev-swap3:armhf (3.2.1-1) ... 124s Setting up iproute2 (6.10.0-2ubuntu1) ... 124s Setting up openssh-client (1:9.7p1-7ubuntu5) ... 124s Setting up python3.12 (3.12.7-3) ... 125s Setting up libblockdev-loop3:armhf (3.2.1-1) ... 125s Setting up systemd (256.5-2ubuntu4) ... 125s /usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring. 125s Created symlink '/run/systemd/system/tmp.mount' → '/dev/null'. 125s /usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring. 126s Setting up vim-tiny (2:9.1.0777-1ubuntu1) ... 126s Setting up libblockdev3:armhf (3.2.1-1) ... 126s Installing new version of config file /etc/libblockdev/3/conf.d/00-default.cfg ... 126s Setting up libjson-glib-1.0-0:armhf (1.10.0+ds-3) ... 126s Setting up libblockdev-part3:armhf (3.2.1-1) ... 126s Setting up sg3-utils-udev (1.46-3ubuntu5) ... 126s update-initramfs: deferring update (trigger activated) 126s Setting up libperl5.40:armhf (5.40.0-7) ... 126s Setting up perl (5.40.0-7) ... 126s Setting up systemd-cryptsetup (256.5-2ubuntu4) ... 126s Setting up libnvme1t64 (1.11-1) ... 126s Setting up systemd-timesyncd (256.5-2ubuntu4) ... 127s systemd-time-wait-sync.service is a disabled or a static unit not running, not starting it. 127s Setting up udev (256.5-2ubuntu4) ... 127s Setting up libdpkg-perl (1.22.11ubuntu3) ... 127s Setting up libblockdev-nvme3:armhf (3.2.1-1) ... 127s Setting up libdrm2:armhf (2.4.123-1) ... 127s Setting up libtraceevent1-plugin:armhf (1:1.8.3-1ubuntu1) ... 127s Setting up libplymouth5:armhf (24.004.60-1ubuntu11) ... 127s Setting up netplan-generator (1.1.1-1) ... 127s Removing 'diversion of /lib/systemd/system-generators/netplan to /lib/systemd/system-generators/netplan.usr-is-merged by netplan-generator' 127s Setting up libpython3-stdlib:armhf (3.12.7-1) ... 127s Setting up systemd-resolved (256.5-2ubuntu4) ... 128s Setting up openssh-sftp-server (1:9.7p1-7ubuntu5) ... 128s Setting up udisks2 (2.10.1-11ubuntu1) ... 128s vda: Failed to write 'change' to '/sys/devices/pci0000:00/0000:00:01.3/0000:04:00.0/virtio2/block/vda/uevent': Permission denied 128s vda1: Failed to write 'change' to '/sys/devices/pci0000:00/0000:00:01.3/0000:04:00.0/virtio2/block/vda/vda1/uevent': Permission denied 128s vda15: Failed to write 'change' to '/sys/devices/pci0000:00/0000:00:01.3/0000:04:00.0/virtio2/block/vda/vda15/uevent': Permission denied 128s vda2: Failed to write 'change' to '/sys/devices/pci0000:00/0000:00:01.3/0000:04:00.0/virtio2/block/vda/vda2/uevent': Permission denied 128s loop0: Failed to write 'change' to '/sys/devices/virtual/block/loop0/uevent': Permission denied 128s loop1: Failed to write 'change' to '/sys/devices/virtual/block/loop1/uevent': Permission denied 128s loop2: Failed to write 'change' to '/sys/devices/virtual/block/loop2/uevent': Permission denied 128s loop3: Failed to write 'change' to '/sys/devices/virtual/block/loop3/uevent': Permission denied 128s loop4: Failed to write 'change' to '/sys/devices/virtual/block/loop4/uevent': Permission denied 128s loop5: Failed to write 'change' to '/sys/devices/virtual/block/loop5/uevent': Permission denied 128s loop6: Failed to write 'change' to '/sys/devices/virtual/block/loop6/uevent': Permission denied 128s loop7: Failed to write 'change' to '/sys/devices/virtual/block/loop7/uevent': Permission denied 128s loop8: Failed to write 'change' to '/sys/devices/virtual/block/loop8/uevent': Permission denied 128s Setting up systemd-sysv (256.5-2ubuntu4) ... 128s Setting up openssh-server (1:9.7p1-7ubuntu5) ... 130s Setting up plymouth (24.004.60-1ubuntu11) ... 130s update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults 130s update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults 130s Setting up libfwupd2:armhf (1.9.26-2) ... 130s Setting up libnss-systemd:armhf (256.5-2ubuntu4) ... 130s Setting up python3 (3.12.7-1) ... 130s Setting up python3-zipp (3.21.0-1) ... 130s Setting up dpkg-dev (1.22.11ubuntu3) ... 130s Setting up plymouth-theme-ubuntu-text (24.004.60-1ubuntu11) ... 131s update-initramfs: deferring update (trigger activated) 131s Setting up python3-oauthlib (3.2.2-2) ... 131s Setting up python3-configobj (5.0.9-1) ... 131s Setting up python3-certifi (2024.8.30+dfsg-1) ... 131s Setting up python3-gi (3.50.0-3) ... 131s Setting up python3-idna (3.8-2) ... 131s Setting up python3-urllib3 (2.0.7-2ubuntu0.1) ... 132s Setting up python3-json-pointer (2.4-2) ... 132s Setting up libpam-systemd:armhf (256.5-2ubuntu4) ... 132s Setting up fwupd (1.9.26-2) ... 132s fwupd-offline-update.service is a disabled or a static unit not running, not starting it. 132s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 132s fwupd.service is a disabled or a static unit not running, not starting it. 132s Setting up python3-cffi-backend:armhf (1.17.1-2) ... 132s Setting up python3-more-itertools (10.5.0-1) ... 133s Setting up python3-jaraco.functools (4.1.0-1) ... 133s Setting up python3-gdbm:armhf (3.12.7-1) ... 133s Setting up python3-problem-report (2.30.0-0ubuntu5) ... 133s Setting up ssh-import-id (5.11-0ubuntu3) ... 133s Setting up python3-jsonpatch (1.32-4) ... 133s Setting up python3-typeguard (4.4.1-1) ... 133s Setting up ufw (0.36.2-8) ... 134s Setting up python3-lazr.uri (1.0.6-4) ... 134s Setting up python3-apport (2.30.0-0ubuntu5) ... 134s Setting up python3-wadllib (2.0.0-1) ... 135s Setting up python3-netplan (1.1.1-1) ... 135s Setting up python3-lazr.restfulclient (0.14.6-2) ... 135s Setting up netplan.io (1.1.1-1) ... 135s Setting up apport-core-dump-handler (2.30.0-0ubuntu5) ... 135s Setting up apport (2.30.0-0ubuntu5) ... 135s Installing new version of config file /etc/apport/crashdb.conf ... 136s apport-autoreport.service is a disabled or a static unit not running, not starting it. 136s Processing triggers for dbus (1.14.10-4ubuntu5) ... 136s Processing triggers for shared-mime-info (2.4-5) ... 137s Processing triggers for install-info (7.1.1-1) ... 137s Processing triggers for initramfs-tools (0.142ubuntu34) ... 137s Processing triggers for libc-bin (2.40-1ubuntu3) ... 137s Processing triggers for rsyslog (8.2406.0-1ubuntu2) ... 137s Processing triggers for man-db (2.12.1-3) ... 139s Reading package lists... 139s Building dependency tree... 139s Reading state information... 140s The following packages will be REMOVED: 140s libperl5.38t64* perl-modules-5.38* python3-netifaces* 140s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 140s After this operation, 41.7 MB disk space will be freed. 140s (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 ... 61506 files and directories currently installed.) 140s Removing libperl5.38t64:armhf (5.38.2-5) ... 140s Removing perl-modules-5.38 (5.38.2-5) ... 140s Removing python3-netifaces:armhf (0.11.0-2build3) ... 140s Processing triggers for man-db (2.12.1-3) ... 141s Processing triggers for libc-bin (2.40-1ubuntu3) ... 143s autopkgtest [15:15:34]: rebooting testbed after setup commands that affected boot 211s autopkgtest [15:16:42]: testbed running kernel: Linux 6.8.0-47-generic #47~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Oct 2 16:39:14 UTC 2 238s autopkgtest [15:17:09]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c 249s Get:1 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (dsc) [2447 B] 249s Get:2 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (tar) [8074 kB] 249s Get:3 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (diff) [17.2 kB] 249s gpgv: Signature made Fri Sep 6 13:44:00 2024 UTC 249s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 249s gpgv: Can't check signature: No public key 249s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build14.dsc: no acceptable signature found 250s autopkgtest [15:17:21]: testing package frama-c version 20220511-manganese-5build14 252s autopkgtest [15:17:23]: build not needed 258s autopkgtest [15:17:29]: test eva: preparing testbed 270s Reading package lists... 270s Building dependency tree... 270s Reading state information... 270s Starting pkgProblemResolver with broken count: 0 272s Starting 2 pkgProblemResolver with broken count: 0 272s Done 272s The following additional packages will be installed: 272s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-arm-linux-gnueabihf 272s cpp-arm-linux-gnueabihf dconf-gsettings-backend dconf-service fontconfig 272s fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc 272s gcc-14 gcc-14-arm-linux-gnueabihf gcc-arm-linux-gnueabihf 272s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme libasan8 272s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 272s libavahi-common-data libavahi-common3 libc-dev-bin libc6-dev 272s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 272s libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libdatrie1 libdconf1 272s libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6 272s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 272s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 272s libgtksourceview-3.0-common libharfbuzz0b libisl23 libjbig0 libjpeg-turbo8 272s libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 272s libmpc3 libncurses-dev libocamlgraph-ocaml-dev libpango-1.0-0 272s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml 272s libppx-import-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml 272s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 272s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 272s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 272s libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml 272s libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-interp rpcsvc-proto 272s ubuntu-mono 272s Suggested packages: 272s adwaita-icon-theme-legacy cpp-doc gcc-14-locales cpp-14-doc gcc-multilib 272s manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-14-doc 272s gdb-arm-linux-gnueabihf libc-devtools glibc-doc colord cups-common gvfs 272s liblcms2-utils ncurses-doc ocaml-doc elpa-tuareg 272s Recommended packages: 272s librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev 272s libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man ledit 272s | readline-editor 272s The following NEW packages will be installed: 272s adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-14 272s cpp-14-arm-linux-gnueabihf cpp-arm-linux-gnueabihf dconf-gsettings-backend 272s dconf-service fontconfig fontconfig-config fonts-dejavu-core 272s fonts-dejavu-mono frama-c-base gcc gcc-14 gcc-14-arm-linux-gnueabihf 272s gcc-arm-linux-gnueabihf gtk-update-icon-cache hicolor-icon-theme 272s humanity-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 272s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 272s libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 272s libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libdatrie1 272s libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6 272s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 272s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 272s libgtksourceview-3.0-common libharfbuzz0b libisl23 libjbig0 libjpeg-turbo8 272s libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 272s libmpc3 libncurses-dev libocamlgraph-ocaml-dev libpango-1.0-0 272s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml 272s libppx-import-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml 272s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 272s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 272s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 272s libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml 272s libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-interp rpcsvc-proto 272s ubuntu-mono 272s 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. 272s Need to get 149 MB/149 MB of archives. 272s After this operation, 381 MB of additional disk space will be used. 272s Get:1 /tmp/autopkgtest.KQsDVH/1-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [708 B] 272s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 272s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf libjpeg-turbo8 armhf 2.1.5-2ubuntu2 [125 kB] 272s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf libjpeg8 armhf 8c-2ubuntu11 [2148 B] 272s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf libdeflate0 armhf 1.22-1 [38.9 kB] 272s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf libjbig0 armhf 2.1-6.1ubuntu2 [24.9 kB] 272s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf liblerc4 armhf 4.0.0+ds-4ubuntu2 [151 kB] 272s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libsharpyuv0 armhf 1.4.0-0.1 [16.3 kB] 272s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libwebp7 armhf 1.4.0-0.1 [184 kB] 272s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf libtiff6 armhf 4.5.1+git230720-4ubuntu4 [179 kB] 272s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.12+dfsg-1 [135 kB] 272s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf gtk-update-icon-cache armhf 4.16.5+ds-1 [50.6 kB] 272s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf hicolor-icon-theme all 0.18-1 [13.5 kB] 272s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf humanity-icon-theme all 0.6.16 [1282 kB] 272s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf ubuntu-mono all 24.04-0ubuntu1 [151 kB] 272s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf adwaita-icon-theme all 47.0-2 [525 kB] 272s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf at-spi2-common all 2.54.0-1 [8774 B] 272s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf libisl23 armhf 0.27-1 [546 kB] 272s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf libmpc3 armhf 1.3.1-1build2 [47.1 kB] 272s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14-arm-linux-gnueabihf armhf 14.2.0-8ubuntu1 [9219 kB] 273s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14 armhf 14.2.0-8ubuntu1 [1032 B] 273s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [5464 B] 273s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf cpp armhf 4:14.1.0-2ubuntu1 [22.4 kB] 273s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf libdconf1 armhf 0.40.0-4build2 [38.4 kB] 273s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf dconf-service armhf 0.40.0-4build2 [27.4 kB] 274s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf dconf-gsettings-backend armhf 0.40.0-4build2 [23.6 kB] 274s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf libfreetype6 armhf 2.13.3+dfsg-1 [330 kB] 274s Get:28 http://ftpmaster.internal/ubuntu plucky/main armhf fonts-dejavu-mono all 2.37-8 [502 kB] 274s Get:29 http://ftpmaster.internal/ubuntu plucky/main armhf fonts-dejavu-core all 2.37-8 [835 kB] 274s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf fontconfig-config armhf 2.15.0-1.1ubuntu2 [37.4 kB] 274s Get:31 http://ftpmaster.internal/ubuntu plucky/main armhf libfontconfig1 armhf 2.15.0-1.1ubuntu2 [113 kB] 274s Get:32 http://ftpmaster.internal/ubuntu plucky/main armhf fontconfig armhf 2.15.0-1.1ubuntu2 [189 kB] 274s Get:33 http://ftpmaster.internal/ubuntu plucky/main armhf libpixman-1-0 armhf 0.44.0-3 [183 kB] 274s Get:34 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-render0 armhf 1.17.0-2 [15.3 kB] 274s Get:35 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-shm0 armhf 1.17.0-2 [5774 B] 274s Get:36 http://ftpmaster.internal/ubuntu plucky/main armhf libxrender1 armhf 1:0.9.10-1.1build1 [16.0 kB] 274s Get:37 http://ftpmaster.internal/ubuntu plucky/main armhf libcairo2 armhf 1.18.2-2 [484 kB] 274s Get:38 http://ftpmaster.internal/ubuntu plucky/main armhf libatk1.0-0t64 armhf 2.54.0-1 [48.0 kB] 274s Get:39 http://ftpmaster.internal/ubuntu plucky/main armhf libxi6 armhf 2:1.8.2-1 [26.5 kB] 274s Get:40 http://ftpmaster.internal/ubuntu plucky/main armhf libatspi2.0-0t64 armhf 2.54.0-1 [70.8 kB] 274s Get:41 http://ftpmaster.internal/ubuntu plucky/main armhf libatk-bridge2.0-0t64 armhf 2.54.0-1 [59.6 kB] 274s Get:42 http://ftpmaster.internal/ubuntu plucky/main armhf libcairo-gobject2 armhf 1.18.2-2 [126 kB] 274s Get:43 http://ftpmaster.internal/ubuntu plucky/main armhf liblcms2-2 armhf 2.16-2 [137 kB] 274s Get:44 http://ftpmaster.internal/ubuntu plucky/main armhf libcolord2 armhf 1.4.7-1build2 [133 kB] 274s Get:45 http://ftpmaster.internal/ubuntu plucky/main armhf libavahi-common-data armhf 0.8-13ubuntu6 [29.7 kB] 274s Get:46 http://ftpmaster.internal/ubuntu plucky/main armhf libavahi-common3 armhf 0.8-13ubuntu6 [20.2 kB] 274s Get:47 http://ftpmaster.internal/ubuntu plucky/main armhf libavahi-client3 armhf 0.8-13ubuntu6 [24.2 kB] 274s Get:48 http://ftpmaster.internal/ubuntu plucky/main armhf libcups2t64 armhf 2.4.10-1ubuntu2 [239 kB] 274s Get:49 http://ftpmaster.internal/ubuntu plucky/main armhf libepoxy0 armhf 1.5.10-2 [192 kB] 274s Get:50 http://ftpmaster.internal/ubuntu plucky/main armhf libgraphite2-3 armhf 1.3.14-2ubuntu1 [64.8 kB] 274s Get:51 http://ftpmaster.internal/ubuntu plucky/main armhf libharfbuzz0b armhf 10.0.1-1 [463 kB] 274s Get:52 http://ftpmaster.internal/ubuntu plucky/main armhf libthai-data all 0.1.29-2build1 [158 kB] 274s Get:53 http://ftpmaster.internal/ubuntu plucky/main armhf libdatrie1 armhf 0.2.13-3build1 [15.7 kB] 274s Get:54 http://ftpmaster.internal/ubuntu plucky/main armhf libthai0 armhf 0.1.29-2build1 [15.2 kB] 274s Get:55 http://ftpmaster.internal/ubuntu plucky/main armhf libpango-1.0-0 armhf 1.54.0+ds-3 [212 kB] 274s Get:56 http://ftpmaster.internal/ubuntu plucky/main armhf libpangoft2-1.0-0 armhf 1.54.0+ds-3 [42.9 kB] 274s Get:57 http://ftpmaster.internal/ubuntu plucky/main armhf libpangocairo-1.0-0 armhf 1.54.0+ds-3 [24.8 kB] 274s Get:58 http://ftpmaster.internal/ubuntu plucky/main armhf libwayland-client0 armhf 1.23.0-1 [22.7 kB] 274s Get:59 http://ftpmaster.internal/ubuntu plucky/main armhf libwayland-cursor0 armhf 1.23.0-1 [9672 B] 274s Get:60 http://ftpmaster.internal/ubuntu plucky/main armhf libwayland-egl1 armhf 1.23.0-1 [5352 B] 274s Get:61 http://ftpmaster.internal/ubuntu plucky/main armhf libxcomposite1 armhf 1:0.4.6-1 [6060 B] 274s Get:62 http://ftpmaster.internal/ubuntu plucky/main armhf libxfixes3 armhf 1:6.0.0-2build1 [9038 B] 274s Get:63 http://ftpmaster.internal/ubuntu plucky/main armhf libxcursor1 armhf 1:1.2.2-1 [17.6 kB] 274s Get:64 http://ftpmaster.internal/ubuntu plucky/main armhf libxdamage1 armhf 1:1.1.6-1build1 [5462 B] 274s Get:65 http://ftpmaster.internal/ubuntu plucky/main armhf libxinerama1 armhf 2:1.1.4-3build1 [5866 B] 274s Get:66 http://ftpmaster.internal/ubuntu plucky/main armhf libxrandr2 armhf 2:1.5.4-1 [15.8 kB] 274s Get:67 http://ftpmaster.internal/ubuntu plucky/main armhf libgtk-3-common all 3.24.43-3ubuntu2 [1202 kB] 274s Get:68 http://ftpmaster.internal/ubuntu plucky/main armhf libgtk-3-0t64 armhf 3.24.43-3ubuntu2 [2608 kB] 274s Get:69 http://ftpmaster.internal/ubuntu plucky/universe armhf libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 274s Get:70 http://ftpmaster.internal/ubuntu plucky/universe armhf libgtksourceview-3.0-1 armhf 3.24.11-3 [207 kB] 274s Get:71 http://ftpmaster.internal/ubuntu plucky/universe armhf libstdlib-ocaml armhf 5.2.0-3 [278 kB] 274s Get:72 http://ftpmaster.internal/ubuntu plucky/universe armhf ocaml-base armhf 5.2.0-3 [245 kB] 274s Get:73 http://ftpmaster.internal/ubuntu plucky/universe armhf libcairo2-ocaml armhf 0.6.4+dfsg-4build1 [26.1 kB] 274s Get:74 http://ftpmaster.internal/ubuntu plucky/universe armhf libfindlib-ocaml armhf 1.9.6-3build1 [129 kB] 274s Get:75 http://ftpmaster.internal/ubuntu plucky/universe armhf liblablgtk3-ocaml armhf 3.1.5-1build1 [2808 kB] 275s Get:76 http://ftpmaster.internal/ubuntu plucky/universe armhf liblablgtksourceview3-ocaml armhf 3.1.5-1build1 [248 kB] 275s Get:77 http://ftpmaster.internal/ubuntu plucky/universe armhf libsexplib0-ocaml armhf 0.17.0-1 [91.7 kB] 275s Get:78 http://ftpmaster.internal/ubuntu plucky/universe armhf libppx-deriving-ocaml armhf 6.0.2-2build2 [996 kB] 275s Get:79 http://ftpmaster.internal/ubuntu plucky/universe armhf libyojson-ocaml armhf 2.2.2-1 [393 kB] 275s Get:80 http://ftpmaster.internal/ubuntu plucky/universe armhf libzarith-ocaml armhf 1.14-1 [83.3 kB] 275s Get:81 http://ftpmaster.internal/ubuntu plucky/universe armhf libstdlib-ocaml-dev armhf 5.2.0-3 [10.1 MB] 275s Get:82 http://ftpmaster.internal/ubuntu plucky/universe armhf libcompiler-libs-ocaml-dev armhf 5.2.0-3 [31.9 MB] 276s Get:83 http://ftpmaster.internal/ubuntu plucky/universe armhf ocaml-interp armhf 5.2.0-3 [8077 kB] 276s Get:84 http://ftpmaster.internal/ubuntu plucky/main armhf libc-dev-bin armhf 2.40-1ubuntu3 [19.2 kB] 276s Get:85 http://ftpmaster.internal/ubuntu plucky/main armhf linux-libc-dev armhf 6.11.0-8.8 [1628 kB] 276s Get:86 http://ftpmaster.internal/ubuntu plucky/main armhf libcrypt-dev armhf 1:4.4.36-4build1 [120 kB] 276s Get:87 http://ftpmaster.internal/ubuntu plucky/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 276s Get:88 http://ftpmaster.internal/ubuntu plucky/main armhf libc6-dev armhf 2.40-1ubuntu3 [1370 kB] 276s Get:89 http://ftpmaster.internal/ubuntu plucky/main armhf libncurses-dev armhf 6.5-2 [501 kB] 276s Get:90 http://ftpmaster.internal/ubuntu plucky/main armhf libcc1-0 armhf 14.2.0-8ubuntu1 [43.3 kB] 276s Get:91 http://ftpmaster.internal/ubuntu plucky/main armhf libgomp1 armhf 14.2.0-8ubuntu1 [125 kB] 276s Get:92 http://ftpmaster.internal/ubuntu plucky/main armhf libasan8 armhf 14.2.0-8ubuntu1 [2901 kB] 276s Get:93 http://ftpmaster.internal/ubuntu plucky/main armhf libubsan1 armhf 14.2.0-8ubuntu1 [1150 kB] 276s Get:94 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-14-dev armhf 14.2.0-8ubuntu1 [897 kB] 276s Get:95 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-arm-linux-gnueabihf armhf 14.2.0-8ubuntu1 [18.0 MB] 277s Get:96 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14 armhf 14.2.0-8ubuntu1 [498 kB] 277s Get:97 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [1222 B] 277s Get:98 http://ftpmaster.internal/ubuntu plucky/main armhf gcc armhf 4:14.1.0-2ubuntu1 [5002 B] 277s Get:99 http://ftpmaster.internal/ubuntu plucky/main armhf libzstd-dev armhf 1.5.6+dfsg-1 [331 kB] 277s Get:100 http://ftpmaster.internal/ubuntu plucky/universe armhf ocaml armhf 5.2.0-3 [1041 kB] 277s Get:101 http://ftpmaster.internal/ubuntu plucky/universe armhf libocamlgraph-ocaml-dev armhf 2.1.0-3build1 [6165 kB] 277s Get:102 http://ftpmaster.internal/ubuntu plucky/universe armhf libppx-import-ocaml armhf 1.11.0-2build2 [43.8 kB] 277s Get:103 http://ftpmaster.internal/ubuntu plucky/universe armhf frama-c-base armhf 20220511-manganese-5build14 [36.8 MB] 281s Fetched 149 MB in 9s (16.7 MB/s) 281s Selecting previously unselected package libgdk-pixbuf2.0-common. 281s (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 ... 59566 files and directories currently installed.) 281s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 281s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 281s Selecting previously unselected package libjpeg-turbo8:armhf. 281s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu2_armhf.deb ... 281s Unpacking libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 281s Selecting previously unselected package libjpeg8:armhf. 281s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_armhf.deb ... 281s Unpacking libjpeg8:armhf (8c-2ubuntu11) ... 281s Selecting previously unselected package libdeflate0:armhf. 281s Preparing to unpack .../003-libdeflate0_1.22-1_armhf.deb ... 281s Unpacking libdeflate0:armhf (1.22-1) ... 281s Selecting previously unselected package libjbig0:armhf. 281s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu2_armhf.deb ... 281s Unpacking libjbig0:armhf (2.1-6.1ubuntu2) ... 281s Selecting previously unselected package liblerc4:armhf. 281s Preparing to unpack .../005-liblerc4_4.0.0+ds-4ubuntu2_armhf.deb ... 281s Unpacking liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 281s Selecting previously unselected package libsharpyuv0:armhf. 281s Preparing to unpack .../006-libsharpyuv0_1.4.0-0.1_armhf.deb ... 281s Unpacking libsharpyuv0:armhf (1.4.0-0.1) ... 281s Selecting previously unselected package libwebp7:armhf. 281s Preparing to unpack .../007-libwebp7_1.4.0-0.1_armhf.deb ... 281s Unpacking libwebp7:armhf (1.4.0-0.1) ... 281s Selecting previously unselected package libtiff6:armhf. 281s Preparing to unpack .../008-libtiff6_4.5.1+git230720-4ubuntu4_armhf.deb ... 281s Unpacking libtiff6:armhf (4.5.1+git230720-4ubuntu4) ... 281s Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf. 281s Preparing to unpack .../009-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_armhf.deb ... 281s Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 281s Selecting previously unselected package gtk-update-icon-cache. 281s Preparing to unpack .../010-gtk-update-icon-cache_4.16.5+ds-1_armhf.deb ... 281s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 281s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 281s Unpacking gtk-update-icon-cache (4.16.5+ds-1) ... 281s Selecting previously unselected package hicolor-icon-theme. 281s Preparing to unpack .../011-hicolor-icon-theme_0.18-1_all.deb ... 281s Unpacking hicolor-icon-theme (0.18-1) ... 281s Selecting previously unselected package humanity-icon-theme. 281s Preparing to unpack .../012-humanity-icon-theme_0.6.16_all.deb ... 281s Unpacking humanity-icon-theme (0.6.16) ... 282s Selecting previously unselected package ubuntu-mono. 282s Preparing to unpack .../013-ubuntu-mono_24.04-0ubuntu1_all.deb ... 282s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 283s Selecting previously unselected package adwaita-icon-theme. 283s Preparing to unpack .../014-adwaita-icon-theme_47.0-2_all.deb ... 283s Unpacking adwaita-icon-theme (47.0-2) ... 283s Selecting previously unselected package at-spi2-common. 283s Preparing to unpack .../015-at-spi2-common_2.54.0-1_all.deb ... 283s Unpacking at-spi2-common (2.54.0-1) ... 283s Selecting previously unselected package libisl23:armhf. 283s Preparing to unpack .../016-libisl23_0.27-1_armhf.deb ... 283s Unpacking libisl23:armhf (0.27-1) ... 283s Selecting previously unselected package libmpc3:armhf. 283s Preparing to unpack .../017-libmpc3_1.3.1-1build2_armhf.deb ... 283s Unpacking libmpc3:armhf (1.3.1-1build2) ... 283s Selecting previously unselected package cpp-14-arm-linux-gnueabihf. 283s Preparing to unpack .../018-cpp-14-arm-linux-gnueabihf_14.2.0-8ubuntu1_armhf.deb ... 283s Unpacking cpp-14-arm-linux-gnueabihf (14.2.0-8ubuntu1) ... 283s Selecting previously unselected package cpp-14. 283s Preparing to unpack .../019-cpp-14_14.2.0-8ubuntu1_armhf.deb ... 283s Unpacking cpp-14 (14.2.0-8ubuntu1) ... 283s Selecting previously unselected package cpp-arm-linux-gnueabihf. 283s Preparing to unpack .../020-cpp-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 283s Unpacking cpp-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 283s Selecting previously unselected package cpp. 283s Preparing to unpack .../021-cpp_4%3a14.1.0-2ubuntu1_armhf.deb ... 283s Unpacking cpp (4:14.1.0-2ubuntu1) ... 283s Selecting previously unselected package libdconf1:armhf. 283s Preparing to unpack .../022-libdconf1_0.40.0-4build2_armhf.deb ... 283s Unpacking libdconf1:armhf (0.40.0-4build2) ... 283s Selecting previously unselected package dconf-service. 283s Preparing to unpack .../023-dconf-service_0.40.0-4build2_armhf.deb ... 283s Unpacking dconf-service (0.40.0-4build2) ... 283s Selecting previously unselected package dconf-gsettings-backend:armhf. 283s Preparing to unpack .../024-dconf-gsettings-backend_0.40.0-4build2_armhf.deb ... 283s Unpacking dconf-gsettings-backend:armhf (0.40.0-4build2) ... 283s Selecting previously unselected package libfreetype6:armhf. 283s Preparing to unpack .../025-libfreetype6_2.13.3+dfsg-1_armhf.deb ... 283s Unpacking libfreetype6:armhf (2.13.3+dfsg-1) ... 283s Selecting previously unselected package fonts-dejavu-mono. 283s Preparing to unpack .../026-fonts-dejavu-mono_2.37-8_all.deb ... 283s Unpacking fonts-dejavu-mono (2.37-8) ... 283s Selecting previously unselected package fonts-dejavu-core. 283s Preparing to unpack .../027-fonts-dejavu-core_2.37-8_all.deb ... 283s Unpacking fonts-dejavu-core (2.37-8) ... 283s Selecting previously unselected package fontconfig-config. 283s Preparing to unpack .../028-fontconfig-config_2.15.0-1.1ubuntu2_armhf.deb ... 284s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 284s Selecting previously unselected package libfontconfig1:armhf. 284s Preparing to unpack .../029-libfontconfig1_2.15.0-1.1ubuntu2_armhf.deb ... 284s Unpacking libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 284s Selecting previously unselected package fontconfig. 284s Preparing to unpack .../030-fontconfig_2.15.0-1.1ubuntu2_armhf.deb ... 284s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 284s Selecting previously unselected package libpixman-1-0:armhf. 284s Preparing to unpack .../031-libpixman-1-0_0.44.0-3_armhf.deb ... 284s Unpacking libpixman-1-0:armhf (0.44.0-3) ... 284s Selecting previously unselected package libxcb-render0:armhf. 284s Preparing to unpack .../032-libxcb-render0_1.17.0-2_armhf.deb ... 284s Unpacking libxcb-render0:armhf (1.17.0-2) ... 284s Selecting previously unselected package libxcb-shm0:armhf. 284s Preparing to unpack .../033-libxcb-shm0_1.17.0-2_armhf.deb ... 284s Unpacking libxcb-shm0:armhf (1.17.0-2) ... 284s Selecting previously unselected package libxrender1:armhf. 284s Preparing to unpack .../034-libxrender1_1%3a0.9.10-1.1build1_armhf.deb ... 284s Unpacking libxrender1:armhf (1:0.9.10-1.1build1) ... 284s Selecting previously unselected package libcairo2:armhf. 284s Preparing to unpack .../035-libcairo2_1.18.2-2_armhf.deb ... 284s Unpacking libcairo2:armhf (1.18.2-2) ... 284s Selecting previously unselected package libatk1.0-0t64:armhf. 284s Preparing to unpack .../036-libatk1.0-0t64_2.54.0-1_armhf.deb ... 284s Unpacking libatk1.0-0t64:armhf (2.54.0-1) ... 284s Selecting previously unselected package libxi6:armhf. 284s Preparing to unpack .../037-libxi6_2%3a1.8.2-1_armhf.deb ... 284s Unpacking libxi6:armhf (2:1.8.2-1) ... 284s Selecting previously unselected package libatspi2.0-0t64:armhf. 284s Preparing to unpack .../038-libatspi2.0-0t64_2.54.0-1_armhf.deb ... 284s Unpacking libatspi2.0-0t64:armhf (2.54.0-1) ... 284s Selecting previously unselected package libatk-bridge2.0-0t64:armhf. 284s Preparing to unpack .../039-libatk-bridge2.0-0t64_2.54.0-1_armhf.deb ... 284s Unpacking libatk-bridge2.0-0t64:armhf (2.54.0-1) ... 284s Selecting previously unselected package libcairo-gobject2:armhf. 284s Preparing to unpack .../040-libcairo-gobject2_1.18.2-2_armhf.deb ... 284s Unpacking libcairo-gobject2:armhf (1.18.2-2) ... 284s Selecting previously unselected package liblcms2-2:armhf. 284s Preparing to unpack .../041-liblcms2-2_2.16-2_armhf.deb ... 284s Unpacking liblcms2-2:armhf (2.16-2) ... 284s Selecting previously unselected package libcolord2:armhf. 284s Preparing to unpack .../042-libcolord2_1.4.7-1build2_armhf.deb ... 284s Unpacking libcolord2:armhf (1.4.7-1build2) ... 284s Selecting previously unselected package libavahi-common-data:armhf. 284s Preparing to unpack .../043-libavahi-common-data_0.8-13ubuntu6_armhf.deb ... 284s Unpacking libavahi-common-data:armhf (0.8-13ubuntu6) ... 284s Selecting previously unselected package libavahi-common3:armhf. 284s Preparing to unpack .../044-libavahi-common3_0.8-13ubuntu6_armhf.deb ... 284s Unpacking libavahi-common3:armhf (0.8-13ubuntu6) ... 284s Selecting previously unselected package libavahi-client3:armhf. 284s Preparing to unpack .../045-libavahi-client3_0.8-13ubuntu6_armhf.deb ... 284s Unpacking libavahi-client3:armhf (0.8-13ubuntu6) ... 284s Selecting previously unselected package libcups2t64:armhf. 284s Preparing to unpack .../046-libcups2t64_2.4.10-1ubuntu2_armhf.deb ... 284s Unpacking libcups2t64:armhf (2.4.10-1ubuntu2) ... 284s Selecting previously unselected package libepoxy0:armhf. 284s Preparing to unpack .../047-libepoxy0_1.5.10-2_armhf.deb ... 284s Unpacking libepoxy0:armhf (1.5.10-2) ... 284s Selecting previously unselected package libgraphite2-3:armhf. 284s Preparing to unpack .../048-libgraphite2-3_1.3.14-2ubuntu1_armhf.deb ... 284s Unpacking libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 284s Selecting previously unselected package libharfbuzz0b:armhf. 284s Preparing to unpack .../049-libharfbuzz0b_10.0.1-1_armhf.deb ... 284s Unpacking libharfbuzz0b:armhf (10.0.1-1) ... 284s Selecting previously unselected package libthai-data. 285s Preparing to unpack .../050-libthai-data_0.1.29-2build1_all.deb ... 285s Unpacking libthai-data (0.1.29-2build1) ... 285s Selecting previously unselected package libdatrie1:armhf. 285s Preparing to unpack .../051-libdatrie1_0.2.13-3build1_armhf.deb ... 285s Unpacking libdatrie1:armhf (0.2.13-3build1) ... 285s Selecting previously unselected package libthai0:armhf. 285s Preparing to unpack .../052-libthai0_0.1.29-2build1_armhf.deb ... 285s Unpacking libthai0:armhf (0.1.29-2build1) ... 285s Selecting previously unselected package libpango-1.0-0:armhf. 285s Preparing to unpack .../053-libpango-1.0-0_1.54.0+ds-3_armhf.deb ... 285s Unpacking libpango-1.0-0:armhf (1.54.0+ds-3) ... 285s Selecting previously unselected package libpangoft2-1.0-0:armhf. 285s Preparing to unpack .../054-libpangoft2-1.0-0_1.54.0+ds-3_armhf.deb ... 285s Unpacking libpangoft2-1.0-0:armhf (1.54.0+ds-3) ... 285s Selecting previously unselected package libpangocairo-1.0-0:armhf. 285s Preparing to unpack .../055-libpangocairo-1.0-0_1.54.0+ds-3_armhf.deb ... 285s Unpacking libpangocairo-1.0-0:armhf (1.54.0+ds-3) ... 285s Selecting previously unselected package libwayland-client0:armhf. 285s Preparing to unpack .../056-libwayland-client0_1.23.0-1_armhf.deb ... 285s Unpacking libwayland-client0:armhf (1.23.0-1) ... 285s Selecting previously unselected package libwayland-cursor0:armhf. 285s Preparing to unpack .../057-libwayland-cursor0_1.23.0-1_armhf.deb ... 285s Unpacking libwayland-cursor0:armhf (1.23.0-1) ... 285s Selecting previously unselected package libwayland-egl1:armhf. 285s Preparing to unpack .../058-libwayland-egl1_1.23.0-1_armhf.deb ... 285s Unpacking libwayland-egl1:armhf (1.23.0-1) ... 285s Selecting previously unselected package libxcomposite1:armhf. 285s Preparing to unpack .../059-libxcomposite1_1%3a0.4.6-1_armhf.deb ... 285s Unpacking libxcomposite1:armhf (1:0.4.6-1) ... 285s Selecting previously unselected package libxfixes3:armhf. 285s Preparing to unpack .../060-libxfixes3_1%3a6.0.0-2build1_armhf.deb ... 285s Unpacking libxfixes3:armhf (1:6.0.0-2build1) ... 285s Selecting previously unselected package libxcursor1:armhf. 285s Preparing to unpack .../061-libxcursor1_1%3a1.2.2-1_armhf.deb ... 285s Unpacking libxcursor1:armhf (1:1.2.2-1) ... 285s Selecting previously unselected package libxdamage1:armhf. 285s Preparing to unpack .../062-libxdamage1_1%3a1.1.6-1build1_armhf.deb ... 285s Unpacking libxdamage1:armhf (1:1.1.6-1build1) ... 285s Selecting previously unselected package libxinerama1:armhf. 285s Preparing to unpack .../063-libxinerama1_2%3a1.1.4-3build1_armhf.deb ... 285s Unpacking libxinerama1:armhf (2:1.1.4-3build1) ... 285s Selecting previously unselected package libxrandr2:armhf. 285s Preparing to unpack .../064-libxrandr2_2%3a1.5.4-1_armhf.deb ... 285s Unpacking libxrandr2:armhf (2:1.5.4-1) ... 285s Selecting previously unselected package libgtk-3-common. 285s Preparing to unpack .../065-libgtk-3-common_3.24.43-3ubuntu2_all.deb ... 285s Unpacking libgtk-3-common (3.24.43-3ubuntu2) ... 285s Selecting previously unselected package libgtk-3-0t64:armhf. 285s Preparing to unpack .../066-libgtk-3-0t64_3.24.43-3ubuntu2_armhf.deb ... 285s Unpacking libgtk-3-0t64:armhf (3.24.43-3ubuntu2) ... 285s Selecting previously unselected package libgtksourceview-3.0-common. 285s Preparing to unpack .../067-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 285s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 285s Selecting previously unselected package libgtksourceview-3.0-1:armhf. 285s Preparing to unpack .../068-libgtksourceview-3.0-1_3.24.11-3_armhf.deb ... 285s Unpacking libgtksourceview-3.0-1:armhf (3.24.11-3) ... 285s Selecting previously unselected package libstdlib-ocaml. 285s Preparing to unpack .../069-libstdlib-ocaml_5.2.0-3_armhf.deb ... 285s Unpacking libstdlib-ocaml (5.2.0-3) ... 285s Selecting previously unselected package ocaml-base. 285s Preparing to unpack .../070-ocaml-base_5.2.0-3_armhf.deb ... 285s Unpacking ocaml-base (5.2.0-3) ... 285s Selecting previously unselected package libcairo2-ocaml. 285s Preparing to unpack .../071-libcairo2-ocaml_0.6.4+dfsg-4build1_armhf.deb ... 285s Unpacking libcairo2-ocaml (0.6.4+dfsg-4build1) ... 285s Selecting previously unselected package libfindlib-ocaml. 285s Preparing to unpack .../072-libfindlib-ocaml_1.9.6-3build1_armhf.deb ... 285s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 286s Selecting previously unselected package liblablgtk3-ocaml. 286s Preparing to unpack .../073-liblablgtk3-ocaml_3.1.5-1build1_armhf.deb ... 286s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 286s Selecting previously unselected package liblablgtksourceview3-ocaml. 286s Preparing to unpack .../074-liblablgtksourceview3-ocaml_3.1.5-1build1_armhf.deb ... 286s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 286s Selecting previously unselected package libsexplib0-ocaml. 286s Preparing to unpack .../075-libsexplib0-ocaml_0.17.0-1_armhf.deb ... 286s Unpacking libsexplib0-ocaml (0.17.0-1) ... 286s Selecting previously unselected package libppx-deriving-ocaml. 286s Preparing to unpack .../076-libppx-deriving-ocaml_6.0.2-2build2_armhf.deb ... 286s Unpacking libppx-deriving-ocaml (6.0.2-2build2) ... 286s Selecting previously unselected package libyojson-ocaml. 286s Preparing to unpack .../077-libyojson-ocaml_2.2.2-1_armhf.deb ... 286s Unpacking libyojson-ocaml (2.2.2-1) ... 286s Selecting previously unselected package libzarith-ocaml. 286s Preparing to unpack .../078-libzarith-ocaml_1.14-1_armhf.deb ... 286s Unpacking libzarith-ocaml (1.14-1) ... 286s Selecting previously unselected package libstdlib-ocaml-dev. 286s Preparing to unpack .../079-libstdlib-ocaml-dev_5.2.0-3_armhf.deb ... 286s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 286s Selecting previously unselected package libcompiler-libs-ocaml-dev. 286s Preparing to unpack .../080-libcompiler-libs-ocaml-dev_5.2.0-3_armhf.deb ... 286s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 286s Selecting previously unselected package ocaml-interp. 286s Preparing to unpack .../081-ocaml-interp_5.2.0-3_armhf.deb ... 286s Unpacking ocaml-interp (5.2.0-3) ... 287s Selecting previously unselected package libc-dev-bin. 287s Preparing to unpack .../082-libc-dev-bin_2.40-1ubuntu3_armhf.deb ... 287s Unpacking libc-dev-bin (2.40-1ubuntu3) ... 287s Selecting previously unselected package linux-libc-dev:armhf. 287s Preparing to unpack .../083-linux-libc-dev_6.11.0-8.8_armhf.deb ... 287s Unpacking linux-libc-dev:armhf (6.11.0-8.8) ... 287s Selecting previously unselected package libcrypt-dev:armhf. 287s Preparing to unpack .../084-libcrypt-dev_1%3a4.4.36-4build1_armhf.deb ... 287s Unpacking libcrypt-dev:armhf (1:4.4.36-4build1) ... 287s Selecting previously unselected package rpcsvc-proto. 287s Preparing to unpack .../085-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 287s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 287s Selecting previously unselected package libc6-dev:armhf. 287s Preparing to unpack .../086-libc6-dev_2.40-1ubuntu3_armhf.deb ... 287s Unpacking libc6-dev:armhf (2.40-1ubuntu3) ... 287s Selecting previously unselected package libncurses-dev:armhf. 287s Preparing to unpack .../087-libncurses-dev_6.5-2_armhf.deb ... 287s Unpacking libncurses-dev:armhf (6.5-2) ... 287s Selecting previously unselected package libcc1-0:armhf. 287s Preparing to unpack .../088-libcc1-0_14.2.0-8ubuntu1_armhf.deb ... 287s Unpacking libcc1-0:armhf (14.2.0-8ubuntu1) ... 287s Selecting previously unselected package libgomp1:armhf. 287s Preparing to unpack .../089-libgomp1_14.2.0-8ubuntu1_armhf.deb ... 287s Unpacking libgomp1:armhf (14.2.0-8ubuntu1) ... 287s Selecting previously unselected package libasan8:armhf. 287s Preparing to unpack .../090-libasan8_14.2.0-8ubuntu1_armhf.deb ... 287s Unpacking libasan8:armhf (14.2.0-8ubuntu1) ... 287s Selecting previously unselected package libubsan1:armhf. 287s Preparing to unpack .../091-libubsan1_14.2.0-8ubuntu1_armhf.deb ... 287s Unpacking libubsan1:armhf (14.2.0-8ubuntu1) ... 287s Selecting previously unselected package libgcc-14-dev:armhf. 287s Preparing to unpack .../092-libgcc-14-dev_14.2.0-8ubuntu1_armhf.deb ... 287s Unpacking libgcc-14-dev:armhf (14.2.0-8ubuntu1) ... 287s Selecting previously unselected package gcc-14-arm-linux-gnueabihf. 287s Preparing to unpack .../093-gcc-14-arm-linux-gnueabihf_14.2.0-8ubuntu1_armhf.deb ... 287s Unpacking gcc-14-arm-linux-gnueabihf (14.2.0-8ubuntu1) ... 288s Selecting previously unselected package gcc-14. 288s Preparing to unpack .../094-gcc-14_14.2.0-8ubuntu1_armhf.deb ... 288s Unpacking gcc-14 (14.2.0-8ubuntu1) ... 288s Selecting previously unselected package gcc-arm-linux-gnueabihf. 288s Preparing to unpack .../095-gcc-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 288s Unpacking gcc-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 288s Selecting previously unselected package gcc. 288s Preparing to unpack .../096-gcc_4%3a14.1.0-2ubuntu1_armhf.deb ... 288s Unpacking gcc (4:14.1.0-2ubuntu1) ... 288s Selecting previously unselected package libzstd-dev:armhf. 288s Preparing to unpack .../097-libzstd-dev_1.5.6+dfsg-1_armhf.deb ... 288s Unpacking libzstd-dev:armhf (1.5.6+dfsg-1) ... 288s Selecting previously unselected package ocaml. 288s Preparing to unpack .../098-ocaml_5.2.0-3_armhf.deb ... 288s Unpacking ocaml (5.2.0-3) ... 288s Selecting previously unselected package libocamlgraph-ocaml-dev. 288s Preparing to unpack .../099-libocamlgraph-ocaml-dev_2.1.0-3build1_armhf.deb ... 288s Unpacking libocamlgraph-ocaml-dev (2.1.0-3build1) ... 288s Selecting previously unselected package libppx-import-ocaml. 288s Preparing to unpack .../100-libppx-import-ocaml_1.11.0-2build2_armhf.deb ... 288s Unpacking libppx-import-ocaml (1.11.0-2build2) ... 288s Selecting previously unselected package frama-c-base. 288s Preparing to unpack .../101-frama-c-base_20220511-manganese-5build14_armhf.deb ... 288s Unpacking frama-c-base (20220511-manganese-5build14) ... 289s Selecting previously unselected package autopkgtest-satdep. 289s Preparing to unpack .../102-1-autopkgtest-satdep.deb ... 289s Unpacking autopkgtest-satdep (0) ... 289s Setting up libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 289s Setting up liblcms2-2:armhf (2.16-2) ... 289s Setting up libpixman-1-0:armhf (0.44.0-3) ... 289s Setting up libsharpyuv0:armhf (1.4.0-0.1) ... 289s Setting up libxdamage1:armhf (1:1.1.6-1build1) ... 289s Setting up liblerc4:armhf (4.0.0+ds-4ubuntu2) ... 289s Setting up libzstd-dev:armhf (1.5.6+dfsg-1) ... 289s Setting up hicolor-icon-theme (0.18-1) ... 289s Setting up libxi6:armhf (2:1.8.2-1) ... 289s Setting up libxrender1:armhf (1:0.9.10-1.1build1) ... 289s Setting up libdatrie1:armhf (0.2.13-3build1) ... 289s Setting up libxcb-render0:armhf (1.17.0-2) ... 289s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 289s Setting up libdeflate0:armhf (1.22-1) ... 289s Setting up linux-libc-dev:armhf (6.11.0-8.8) ... 289s Setting up libxcb-shm0:armhf (1.17.0-2) ... 289s Setting up libgomp1:armhf (14.2.0-8ubuntu1) ... 289s Setting up libjbig0:armhf (2.1-6.1ubuntu2) ... 289s Setting up libcolord2:armhf (1.4.7-1build2) ... 289s Setting up libdconf1:armhf (0.40.0-4build2) ... 289s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 289s Setting up libfreetype6:armhf (2.13.3+dfsg-1) ... 289s Setting up libepoxy0:armhf (1.5.10-2) ... 289s Setting up libxfixes3:armhf (1:6.0.0-2build1) ... 289s Setting up libavahi-common-data:armhf (0.8-13ubuntu6) ... 289s Setting up libatspi2.0-0t64:armhf (2.54.0-1) ... 289s Setting up libxinerama1:armhf (2:1.1.4-3build1) ... 289s Setting up libstdlib-ocaml (5.2.0-3) ... 289s Setting up fonts-dejavu-mono (2.37-8) ... 289s Setting up libmpc3:armhf (1.3.1-1build2) ... 289s Setting up libxrandr2:armhf (2:1.5.4-1) ... 289s Setting up ocaml-base (5.2.0-3) ... 289s Setting up fonts-dejavu-core (2.37-8) ... 289s Setting up libjpeg-turbo8:armhf (2.1.5-2ubuntu2) ... 289s Setting up libwebp7:armhf (1.4.0-0.1) ... 289s Setting up libubsan1:armhf (14.2.0-8ubuntu1) ... 289s Setting up libsexplib0-ocaml (0.17.0-1) ... 289s Setting up at-spi2-common (2.54.0-1) ... 289s Setting up libcrypt-dev:armhf (1:4.4.36-4build1) ... 289s Setting up libasan8:armhf (14.2.0-8ubuntu1) ... 289s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 289s Setting up libharfbuzz0b:armhf (10.0.1-1) ... 289s Setting up libthai-data (0.1.29-2build1) ... 289s Setting up libwayland-egl1:armhf (1.23.0-1) ... 289s Setting up libgcc-14-dev:armhf (14.2.0-8ubuntu1) ... 289s Setting up libisl23:armhf (0.27-1) ... 289s Setting up libc-dev-bin (2.40-1ubuntu3) ... 289s Setting up libxcomposite1:armhf (1:0.4.6-1) ... 289s Setting up libcc1-0:armhf (14.2.0-8ubuntu1) ... 289s Setting up cpp-14-arm-linux-gnueabihf (14.2.0-8ubuntu1) ... 289s Setting up libppx-import-ocaml (1.11.0-2build2) ... 289s Setting up libwayland-client0:armhf (1.23.0-1) ... 289s Setting up libjpeg8:armhf (8c-2ubuntu11) ... 289s Setting up libppx-deriving-ocaml (6.0.2-2build2) ... 289s Setting up libatk1.0-0t64:armhf (2.54.0-1) ... 289s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 289s Setting up libyojson-ocaml (2.2.2-1) ... 289s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 290s Setting up libxcursor1:armhf (1:1.2.2-1) ... 290s Setting up libavahi-common3:armhf (0.8-13ubuntu6) ... 290s Setting up libfindlib-ocaml (1.9.6-3build1) ... 290s Setting up gcc-14-arm-linux-gnueabihf (14.2.0-8ubuntu1) ... 290s Setting up dconf-service (0.40.0-4build2) ... 290s Setting up libzarith-ocaml (1.14-1) ... 290s Setting up libthai0:armhf (0.1.29-2build1) ... 290s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 290s Setting up ocaml-interp (5.2.0-3) ... 290s Setting up cpp-14 (14.2.0-8ubuntu1) ... 290s Setting up libtiff6:armhf (4.5.1+git230720-4ubuntu4) ... 290s Setting up libwayland-cursor0:armhf (1.23.0-1) ... 290s Setting up libc6-dev:armhf (2.40-1ubuntu3) ... 290s Setting up libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1) ... 290s Setting up libfontconfig1:armhf (2.15.0-1.1ubuntu2) ... 290s Setting up libavahi-client3:armhf (0.8-13ubuntu6) ... 290s Setting up cpp-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 290s Setting up gcc-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 290s Setting up libatk-bridge2.0-0t64:armhf (2.54.0-1) ... 290s Setting up gtk-update-icon-cache (4.16.5+ds-1) ... 290s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 292s Regenerating fonts cache... done. 292s Setting up libncurses-dev:armhf (6.5-2) ... 292s Setting up dconf-gsettings-backend:armhf (0.40.0-4build2) ... 292s Setting up libpango-1.0-0:armhf (1.54.0+ds-3) ... 292s Setting up libcairo2:armhf (1.18.2-2) ... 292s Setting up gcc-14 (14.2.0-8ubuntu1) ... 292s Setting up cpp (4:14.1.0-2ubuntu1) ... 292s Setting up libcairo-gobject2:armhf (1.18.2-2) ... 292s Setting up libpangoft2-1.0-0:armhf (1.54.0+ds-3) ... 292s Setting up libcups2t64:armhf (2.4.10-1ubuntu2) ... 292s Setting up libgtk-3-common (3.24.43-3ubuntu2) ... 292s Setting up libpangocairo-1.0-0:armhf (1.54.0+ds-3) ... 292s Setting up libcairo2-ocaml (0.6.4+dfsg-4build1) ... 292s Setting up gcc (4:14.1.0-2ubuntu1) ... 292s Setting up ocaml (5.2.0-3) ... 292s Setting up libocamlgraph-ocaml-dev (2.1.0-3build1) ... 292s Setting up adwaita-icon-theme (47.0-2) ... 292s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 292s Setting up humanity-icon-theme (0.6.16) ... 292s Setting up ubuntu-mono (24.04-0ubuntu1) ... 292s Processing triggers for man-db (2.12.1-3) ... 293s Processing triggers for libglib2.0-0t64:armhf (2.82.1-0ubuntu1) ... 293s Setting up libgtk-3-0t64:armhf (3.24.43-3ubuntu2) ... 293s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 293s Processing triggers for libc-bin (2.40-1ubuntu3) ... 293s Setting up libgtksourceview-3.0-1:armhf (3.24.11-3) ... 293s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 293s Setting up frama-c-base (20220511-manganese-5build14) ... 293s Setting up autopkgtest-satdep (0) ... 293s Processing triggers for libc-bin (2.40-1ubuntu3) ... 314s (Reading database ... 77805 files and directories currently installed.) 314s Removing autopkgtest-satdep (0) ... 319s autopkgtest [15:18:30]: test eva: [----------------------- 324s autopkgtest [15:18:35]: test eva: -----------------------] 328s eva PASS 328s autopkgtest [15:18:39]: test eva: - - - - - - - - - - results - - - - - - - - - - 332s autopkgtest [15:18:43]: test wp: preparing testbed 341s Reading package lists... 342s Building dependency tree... 342s Reading state information... 342s Starting pkgProblemResolver with broken count: 1 342s Starting 2 pkgProblemResolver with broken count: 1 342s Investigating (0) autopkgtest-satdep:armhf < none -> 0 @un puN Ib > 342s Broken autopkgtest-satdep:armhf Depends on alt-ergo:armhf < none @un mH > (>= 2.0.0) 342s Broken autopkgtest-satdep:armhf Depends on why3:armhf < none | 1.7.2-2build1 @un umH > 342s Considering why3:armhf 2 as a solution to autopkgtest-satdep:armhf 9998 342s Re-Instated libnum-ocaml:armhf 342s Re-Instated libzip-ocaml:armhf 342s Re-Instated tex-common:armhf 342s Re-Instated why3:armhf 342s Done 342s Some packages could not be installed. This may mean that you have 342s requested an impossible situation or if you are using the unstable 342s distribution that some required packages have not yet been created 342s or been moved out of Incoming. 342s The following information may help to resolve the situation: 342s 342s The following packages have unmet dependencies: 343s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 343s E: Unable to correct problems, you have held broken packages. 343s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 350s Reading package lists... 350s Building dependency tree... 350s Reading state information... 350s Starting pkgProblemResolver with broken count: 1 350s Starting 2 pkgProblemResolver with broken count: 1 350s Investigating (0) autopkgtest-satdep:armhf < none -> 0 @un puN Ib > 350s Broken autopkgtest-satdep:armhf Depends on alt-ergo:armhf < none @un mH > (>= 2.0.0) 350s Broken autopkgtest-satdep:armhf Depends on why3:armhf < none | 1.7.2-2build1 @un umH > 350s Considering why3:armhf 2 as a solution to autopkgtest-satdep:armhf 9998 350s Re-Instated libnum-ocaml:armhf 350s Re-Instated libzip-ocaml:armhf 350s Re-Instated tex-common:armhf 350s Re-Instated why3:armhf 350s Done 350s Some packages could not be installed. This may mean that you have 350s requested an impossible situation or if you are using the unstable 350s distribution that some required packages have not yet been created 350s or been moved out of Incoming. 350s The following information may help to resolve the situation: 350s 350s The following packages have unmet dependencies: 351s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 351s E: Unable to correct problems, you have held broken packages. 351s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 356s wp SKIP installation fails and skip-not-installable set 356s autopkgtest [15:19:07]: @@@@@@@@@@@@@@@@@@@@ summary 356s eva PASS 356s wp SKIP installation fails and skip-not-installable set