Start: 2024-10-13 21:05:02 GMT Package: frama-c-base Source: frama-c (20220511-manganese-5) Version: 20220511-manganese-5+b12 Installed-Size: 175782 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libc6 (>= 2.38), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgmp10 (>= 2:6.3.0+dfsg), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libzstd1 (>= 1.5.5), libcairo2-ocaml-7q5f6, libfindlib-ocaml-0ne56, liblablgtk3-ocaml-hnx11, liblablgtksourceview3-ocaml-51fc1, libppx-deriving-ocaml-o06b9, libstdlib-ocaml-7l663, libyojson-ocaml-g43y1, libzarith-ocaml-mtsj7, perl:any, libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3 Recommends: alt-ergo, why3 Description: Platform dedicated to the analysis of source code written in C Homepage: https://frama-c.com Description-md5: 2e7860054dd191ec0787bab2062c3031 Tag: devel::testing-qa, interface::graphical, interface::x11, role::program, uitoolkit::gtk, uitoolkit::ncurses, x11::application Section: devel Priority: optional Filename: pool/main/f/frama-c/frama-c-base_20220511-manganese-5+b12_amd64.deb Size: 60283164 MD5sum: 18e1c48eb4be3796b4e20b82150535e5 SHA256: cf467716df4510fd7de1ec6c04547aca7e5fc7c97c3212fe3df3bfc813faac30 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-recommends --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d trixie --no-upgrade-test --apt frama-c-base=20220511-manganese-5+b12 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-recommends --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d trixie --no-upgrade-test --apt frama-c-base=20220511-manganese-5+b12 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpp1zrivb4 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpp1zrivb4 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.3s DEBUG: Created policy-rc.d and chmodded it. 0m0.3s DEBUG: Created resolv.conf. 0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpp1zrivb4/tmp/scripts/ 0m0.3s INFO: Running scripts post_chroot_unpack 0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'update'] 0m1.7s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [169 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9328 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6222 kB] Fetched 15.7 MB in 1s (15.6 MB/s) Reading package lists... 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'update'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', '-yf', 'dist-upgrade'] 0m2.9s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: bsdutils gcc-14-base libblkid1 libgcc-s1 libmount1 libsmartcols1 libstdc++6 libuuid1 login mount util-linux 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 2932 kB of archives. After this operation, 8192 B of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 bsdutils amd64 1:2.40.2-9 [105 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libuuid1 amd64 2.40.2-9 [35.6 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 libblkid1 amd64 2.40.2-9 [168 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 libmount1 amd64 2.40.2-9 [199 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 libsmartcols1 amd64 2.40.2-9 [139 kB] Get:6 http://deb.debian.org/debian trixie/main amd64 util-linux amd64 2.40.2-9 [1216 kB] Get:7 http://deb.debian.org/debian trixie/main amd64 mount amd64 2.40.2-9 [154 kB] Get:8 http://deb.debian.org/debian trixie/main amd64 login amd64 1:4.16.0-2+really2.40.2-9 [81.4 kB] Get:9 http://deb.debian.org/debian trixie/main amd64 gcc-14-base amd64 14.2.0-6 [46.7 kB] Get:10 http://deb.debian.org/debian trixie/main amd64 libstdc++6 amd64 14.2.0-6 [715 kB] Get:11 http://deb.debian.org/debian trixie/main amd64 libgcc-s1 amd64 14.2.0-6 [72.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 2932 kB in 0s (31.5 MB/s) (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 ... 5141 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.40.2-9_amd64.deb ... Unpacking bsdutils (1:2.40.2-9) over (1:2.40.2-8) ... Setting up bsdutils (1:2.40.2-9) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../libuuid1_2.40.2-9_amd64.deb ... Unpacking libuuid1:amd64 (2.40.2-9) over (2.40.2-8) ... Setting up libuuid1:amd64 (2.40.2-9) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../libblkid1_2.40.2-9_amd64.deb ... Unpacking libblkid1:amd64 (2.40.2-9) over (2.40.2-8) ... Setting up libblkid1:amd64 (2.40.2-9) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../libmount1_2.40.2-9_amd64.deb ... Unpacking libmount1:amd64 (2.40.2-9) over (2.40.2-8) ... Setting up libmount1:amd64 (2.40.2-9) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.40.2-9_amd64.deb ... Unpacking libsmartcols1:amd64 (2.40.2-9) over (2.40.2-8) ... Setting up libsmartcols1:amd64 (2.40.2-9) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../util-linux_2.40.2-9_amd64.deb ... Unpacking util-linux (2.40.2-9) over (2.40.2-8) ... Setting up util-linux (2.40.2-9) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../mount_2.40.2-9_amd64.deb ... Unpacking mount (2.40.2-9) over (2.40.2-8) ... Preparing to unpack .../login_1%3a4.16.0-2+really2.40.2-9_amd64.deb ... Unpacking login (1:4.16.0-2+really2.40.2-9) over (1:4.16.0-2+really2.40.2-8) ... Preparing to unpack .../gcc-14-base_14.2.0-6_amd64.deb ... Unpacking gcc-14-base:amd64 (14.2.0-6) over (14.2.0-3) ... Setting up gcc-14-base:amd64 (14.2.0-6) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../libstdc++6_14.2.0-6_amd64.deb ... Unpacking libstdc++6:amd64 (14.2.0-6) over (14.2.0-3) ... Setting up libstdc++6:amd64 (14.2.0-6) ... (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 ... 5141 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14.2.0-6_amd64.deb ... Unpacking libgcc-s1:amd64 (14.2.0-6) over (14.2.0-3) ... Setting up libgcc-s1:amd64 (14.2.0-6) ... Setting up mount (2.40.2-9) ... Setting up login (1:4.16.0-2+really2.40.2-9) ... Processing triggers for libc-bin (2.40-3) ... 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', '-yf', 'dist-upgrade'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.1s DUMP: c7d1631d020eaaeb81ef646e7e1173e0 - 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.1s INFO: Running scripts post_setup 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_dummy_users'] 0m3.7s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_dummy_users'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_forbid_home'] 0m3.7s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_forbid_home'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.7s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_minimize'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_minimize'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'clean'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'clean'] 0m3.7s DEBUG: Recording chroot state 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.0s DUMP: install ok installed apt apt 2.9.8 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.4 install ok installed bash bash 5.2.32-1+b1 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed coreutils coreutils 9.4-3.1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-6 install ok installed gpgv gpgv 2.2.43-8+b1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.23+nmu2 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.8 install ok installed libattr1:amd64 libattr1 1:2.5.2-1 install ok installed libaudit-common libaudit-common 1:3.1.2-4 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-4+b1 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-7 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libss2:amd64 libss2 1.47.1-1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-6 install ok installed libsystemd0:amd64 libsystemd0 256.6-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libudev1:amd64 libudev1 256.6-1 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-1 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl-base perl-base 5.38.2-5 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.10-2 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-4 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-divert', '--list'] 0m4.1s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-divert', '--list'] 0m4.1s INFO: Running scripts is_testable 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/is_testable_uninstallable'] 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/is_testable_uninstallable'] 0m4.1s INFO: apt-cache does not know about any of the requested packages 0m4.1s INFO: Running scripts pre_test 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_test_exceptions'] 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_test_exceptions'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_test_root_password'] 0m4.1s DUMP: New password: Retype new password: passwd: password updated successfully 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_test_root_password'] 0m4.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m4.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m4.6s DEBUG: No broken symlinks as far as we can find. 0m4.6s INFO: Running scripts pre_install 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_exceptions'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_exceptions'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_extras'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_extras'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m4.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m5.0s DEBUG: No broken symlinks as far as we can find. 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-cache', 'policy'] 0m5.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-cache', 'policy'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-cache', 'policy', 'frama-c-base'] 0m5.4s DUMP: frama-c-base: Installed: (none) Candidate: 20220511-manganese-5+b12 Version table: 20220511-manganese-5+b12 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-cache', 'policy', 'frama-c-base'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', '-y', 'install', 'frama-c-base=20220511-manganese-5+b12'] 0m31.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: adduser adwaita-icon-theme at-spi2-common at-spi2-core binutils binutils-common binutils-x86-64-linux-gnu ca-certificates cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu cvc4 dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service dmsetup file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme krb5-locales ledit libantlr3c-3.4-0 libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcamlp-streams-ocaml libcc1-0 libcln6 libcloudproviders0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2t64 libcvc4-7 libcvc4parser7 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libepoxy0 libexpat1 libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfreetype6 libfribidi0 libgcc-14-dev libgdbm-compat4t64 libgdbm6t64 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libglib2.0-0t64 libglib2.0-data libgomp1 libgpm2 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-bin libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libicu72 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmagic-mgc libmagic1t64 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl2 libnss-systemd libocamlgraph-ocaml-dev libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.38t64 libpixman-1-0 libpng16-16t64 libppx-deriving-ocaml libppx-import-ocaml libproc2-0 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0 libreadline8t64 librsvg2-2 librsvg2-common libsexplib0-ocaml libsframe1 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libthai-data libthai0 libtiff6 libtirpc-common libtirpc3t64 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 libxtst6 libyojson-ocaml libzarith-ocaml libzstd-dev linux-libc-dev linux-sysctl-defaults manpages manpages-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp ocaml-man openssl perl perl-modules-5.38 procps psmisc python3 python3-minimal python3.12 python3.12-minimal readline-common rpcsvc-proto sensible-utils shared-mime-info systemd systemd-cryptsetup systemd-sysv systemd-timesyncd tex-common ucf why3 x11-common xdg-user-dirs xkb-data Suggested packages: liblocale-gettext-perl cron quota adwaita-icon-theme-legacy binutils-doc gprofng-gui cpp-doc gcc-14-locales cpp-14-doc gcc-multilib make autoconf automake libtool flex bison gdb gcc-doc gcc-14-multilib gcc-14-doc gdb-x86-64-linux-gnu libc-devtools glibc-doc pi colord cups-common gdbm-l10n low-memory-monitor gpm krb5-doc krb5-user gvfs liblcms2-utils ncurses-doc libtss2-rc0t64 librsvg2-bin libarchive13t64 libbpf1 libdw1t64 libelf1t64 libfido2-1 libip4tc2 libpwquality1 libqrencode4 man-browser ocaml-doc elpa-tuareg camlp4 perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl libtap-harness-archive-perl python3-doc python3-tk python3-venv python3.12-venv python3.12-doc binfmt-support readline-doc systemd-container systemd-homed systemd-userdbd systemd-boot systemd-resolved systemd-repart libtss2-tcti-device0 polkitd debhelper why3-examples Recommended packages: alt-ergo The following NEW packages will be installed: adduser adwaita-icon-theme at-spi2-common at-spi2-core binutils binutils-common binutils-x86-64-linux-gnu ca-certificates cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu cvc4 dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service dmsetup file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme krb5-locales ledit libantlr3c-3.4-0 libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcamlp-streams-ocaml libcc1-0 libcln6 libcloudproviders0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2t64 libcvc4-7 libcvc4parser7 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libepoxy0 libexpat1 libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfreetype6 libfribidi0 libgcc-14-dev libgdbm-compat4t64 libgdbm6t64 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libglib2.0-0t64 libglib2.0-data libgomp1 libgpm2 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-bin libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libicu72 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmagic-mgc libmagic1t64 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl2 libnss-systemd libocamlgraph-ocaml-dev libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.38t64 libpixman-1-0 libpng16-16t64 libppx-deriving-ocaml libppx-import-ocaml libproc2-0 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0 libreadline8t64 librsvg2-2 librsvg2-common libsexplib0-ocaml libsframe1 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libthai-data libthai0 libtiff6 libtirpc-common libtirpc3t64 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 libxtst6 libyojson-ocaml libzarith-ocaml libzstd-dev linux-libc-dev linux-sysctl-defaults manpages manpages-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp ocaml-man openssl perl perl-modules-5.38 procps psmisc python3 python3-minimal python3.12 python3.12-minimal readline-common rpcsvc-proto sensible-utils shared-mime-info systemd systemd-cryptsetup systemd-sysv systemd-timesyncd tex-common ucf why3 x11-common xdg-user-dirs xkb-data 0 upgraded, 218 newly installed, 0 to remove and 0 not upgraded. Need to get 306 MB of archives. After this operation, 1061 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 libapparmor1 amd64 3.1.7-1+b1 [42.0 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libsystemd-shared amd64 256.6-1 [2061 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 systemd amd64 256.6-1 [3488 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 systemd-sysv amd64 256.6-1 [58.2 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 libdbus-1-3 amd64 1.14.10-4+b1 [203 kB] Get:6 http://deb.debian.org/debian trixie/main amd64 dbus-bin amd64 1.14.10-4+b1 [106 kB] Get:7 http://deb.debian.org/debian trixie/main amd64 dbus-session-bus-common all 1.14.10-4 [79.0 kB] Get:8 http://deb.debian.org/debian trixie/main amd64 libexpat1 amd64 2.6.3-1 [105 kB] Get:9 http://deb.debian.org/debian trixie/main amd64 dbus-daemon amd64 1.14.10-4+b1 [185 kB] Get:10 http://deb.debian.org/debian trixie/main amd64 adduser all 3.137 [140 kB] Get:11 http://deb.debian.org/debian trixie/main amd64 dbus-system-bus-common all 1.14.10-4 [80.1 kB] Get:12 http://deb.debian.org/debian trixie/main amd64 dbus amd64 1.14.10-4+b1 [98.6 kB] Get:13 http://deb.debian.org/debian trixie/main amd64 perl-modules-5.38 all 5.38.2-5 [2905 kB] Get:14 http://deb.debian.org/debian trixie/main amd64 libgdbm6t64 amd64 1.24-2 [75.2 kB] Get:15 http://deb.debian.org/debian trixie/main amd64 libgdbm-compat4t64 amd64 1.24-2 [50.3 kB] Get:16 http://deb.debian.org/debian trixie/main amd64 libperl5.38t64 amd64 5.38.2-5 [4275 kB] Get:17 http://deb.debian.org/debian trixie/main amd64 perl amd64 5.38.2-5 [236 kB] Get:18 http://deb.debian.org/debian trixie/main amd64 libpython3.12-minimal amd64 3.12.6-1 [814 kB] Get:19 http://deb.debian.org/debian trixie/main amd64 python3.12-minimal amd64 3.12.6-1 [2168 kB] Get:20 http://deb.debian.org/debian trixie/main amd64 python3-minimal amd64 3.12.6-1 [26.7 kB] Get:21 http://deb.debian.org/debian trixie/main amd64 media-types all 10.1.0 [26.9 kB] Get:22 http://deb.debian.org/debian trixie/main amd64 netbase all 6.4 [12.8 kB] Get:23 http://deb.debian.org/debian trixie/main amd64 libncursesw6 amd64 6.5-2 [135 kB] Get:24 http://deb.debian.org/debian trixie/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB] Get:25 http://deb.debian.org/debian trixie/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB] Get:26 http://deb.debian.org/debian trixie/main amd64 libkeyutils1 amd64 1.6.3-3 [8952 B] Get:27 http://deb.debian.org/debian trixie/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB] Get:28 http://deb.debian.org/debian trixie/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB] Get:29 http://deb.debian.org/debian trixie/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get:30 http://deb.debian.org/debian trixie/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3 [82.7 kB] Get:31 http://deb.debian.org/debian trixie/main amd64 libnsl2 amd64 1.3.0-3+b2 [40.3 kB] Get:32 http://deb.debian.org/debian trixie/main amd64 readline-common all 8.2-5 [69.3 kB] Get:33 http://deb.debian.org/debian trixie/main amd64 libreadline8t64 amd64 8.2-5 [169 kB] Get:34 http://deb.debian.org/debian trixie/main amd64 libsqlite3-0 amd64 3.46.0-1 [902 kB] Get:35 http://deb.debian.org/debian trixie/main amd64 libpython3.12-stdlib amd64 3.12.6-1 [1963 kB] Get:36 http://deb.debian.org/debian trixie/main amd64 python3.12 amd64 3.12.6-1 [669 kB] Get:37 http://deb.debian.org/debian trixie/main amd64 libpython3-stdlib amd64 3.12.6-1 [9692 B] Get:38 http://deb.debian.org/debian trixie/main amd64 python3 amd64 3.12.6-1 [27.8 kB] Get:39 http://deb.debian.org/debian trixie/main amd64 libproc2-0 amd64 2:4.0.4-6 [64.8 kB] Get:40 http://deb.debian.org/debian trixie/main amd64 procps amd64 2:4.0.4-6 [879 kB] Get:41 http://deb.debian.org/debian trixie/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get:42 http://deb.debian.org/debian trixie/main amd64 openssl amd64 3.3.2-1 [1381 kB] Get:43 http://deb.debian.org/debian trixie/main amd64 ca-certificates all 20240203 [158 kB] Get:44 http://deb.debian.org/debian trixie/main amd64 libmagic-mgc amd64 1:5.45-3 [314 kB] Get:45 http://deb.debian.org/debian trixie/main amd64 libmagic1t64 amd64 1:5.45-3 [105 kB] Get:46 http://deb.debian.org/debian trixie/main amd64 file amd64 1:5.45-3 [42.9 kB] Get:47 http://deb.debian.org/debian trixie/main amd64 krb5-locales all 1.21.3-3 [101 kB] Get:48 http://deb.debian.org/debian trixie/main amd64 libnss-systemd amd64 256.6-1 [203 kB] Get:49 http://deb.debian.org/debian trixie/main amd64 libpam-systemd amd64 256.6-1 [278 kB] Get:50 http://deb.debian.org/debian trixie/main amd64 manpages all 6.8-2 [1389 kB] Get:51 http://deb.debian.org/debian trixie/main amd64 systemd-timesyncd amd64 256.6-1 [85.4 kB] Get:52 http://deb.debian.org/debian trixie/main amd64 ucf all 3.0043+nmu1 [55.2 kB] Get:53 http://deb.debian.org/debian trixie/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [311 kB] Get:54 http://deb.debian.org/debian trixie/main amd64 libatomic1 amd64 14.2.0-6 [9284 B] Get:55 http://deb.debian.org/debian trixie/main amd64 libglib2.0-0t64 amd64 2.82.1-1 [1499 kB] Get:56 http://deb.debian.org/debian trixie/main amd64 libicu72 amd64 72.1-5 [9396 kB] Get:57 http://deb.debian.org/debian trixie/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.1 [699 kB] Get:58 http://deb.debian.org/debian trixie/main amd64 shared-mime-info amd64 2.4-5+b1 [759 kB] Get:59 http://deb.debian.org/debian trixie/main amd64 libjpeg62-turbo amd64 1:2.1.5-3 [167 kB] Get:60 http://deb.debian.org/debian trixie/main amd64 libpng16-16t64 amd64 1.6.44-2 [280 kB] Get:61 http://deb.debian.org/debian trixie/main amd64 libdeflate0 amd64 1.22-1 [47.3 kB] Get:62 http://deb.debian.org/debian trixie/main amd64 libjbig0 amd64 2.1-6.1+b1 [32.0 kB] Get:63 http://deb.debian.org/debian trixie/main amd64 liblerc4 amd64 4.0.0+ds-4+b1 [171 kB] Get:64 http://deb.debian.org/debian trixie/main amd64 libsharpyuv0 amd64 1.4.0-0.1 [113 kB] Get:65 http://deb.debian.org/debian trixie/main amd64 libwebp7 amd64 1.4.0-0.1 [311 kB] Get:66 http://deb.debian.org/debian trixie/main amd64 libtiff6 amd64 4.5.1+git230720-5 [324 kB] Get:67 http://deb.debian.org/debian trixie/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-1 [139 kB] Get:68 http://deb.debian.org/debian trixie/main amd64 gtk-update-icon-cache amd64 4.16.3+ds-1 [49.7 kB] Get:69 http://deb.debian.org/debian trixie/main amd64 hicolor-icon-theme all 0.18-1 [12.0 kB] Get:70 http://deb.debian.org/debian trixie/main amd64 adwaita-icon-theme all 47.0-2 [463 kB] Get:71 http://deb.debian.org/debian trixie/main amd64 at-spi2-common all 2.54.0-1 [170 kB] Get:72 http://deb.debian.org/debian trixie/main amd64 libxau6 amd64 1:1.0.9-1+b1 [18.1 kB] Get:73 http://deb.debian.org/debian trixie/main amd64 libxdmcp6 amd64 1:1.1.2-3+b1 [24.3 kB] Get:74 http://deb.debian.org/debian trixie/main amd64 libxcb1 amd64 1.17.0-2 [144 kB] Get:75 http://deb.debian.org/debian trixie/main amd64 libx11-data all 2:1.8.7-1 [328 kB] Get:76 http://deb.debian.org/debian trixie/main amd64 libx11-6 amd64 2:1.8.7-1+b1 [799 kB] Get:77 http://deb.debian.org/debian trixie/main amd64 libxext6 amd64 2:1.3.4-1+b2 [50.5 kB] Get:78 http://deb.debian.org/debian trixie/main amd64 libxi6 amd64 2:1.8.2-1 [78.9 kB] Get:79 http://deb.debian.org/debian trixie/main amd64 libatspi2.0-0t64 amd64 2.54.0-1 [76.4 kB] Get:80 http://deb.debian.org/debian trixie/main amd64 x11-common all 1:7.7+23.1 [216 kB] Get:81 http://deb.debian.org/debian trixie/main amd64 libxtst6 amd64 2:1.2.3-1.1+b1 [25.9 kB] Get:82 http://deb.debian.org/debian trixie/main amd64 dbus-user-session amd64 1.14.10-4+b1 [79.1 kB] Get:83 http://deb.debian.org/debian trixie/main amd64 libdconf1 amd64 0.40.0-4+b2 [41.9 kB] Get:84 http://deb.debian.org/debian trixie/main amd64 dconf-service amd64 0.40.0-4+b2 [32.4 kB] Get:85 http://deb.debian.org/debian trixie/main amd64 dconf-gsettings-backend amd64 0.40.0-4+b2 [28.7 kB] Get:86 http://deb.debian.org/debian trixie/main amd64 gsettings-desktop-schemas all 47.1-1 [689 kB] Get:87 http://deb.debian.org/debian trixie/main amd64 at-spi2-core amd64 2.54.0-1 [61.2 kB] Get:88 http://deb.debian.org/debian trixie/main amd64 binutils-common amd64 2.43.1-5 [2631 kB] Get:89 http://deb.debian.org/debian trixie/main amd64 libsframe1 amd64 2.43.1-5 [77.1 kB] Get:90 http://deb.debian.org/debian trixie/main amd64 libbinutils amd64 2.43.1-5 [529 kB] Get:91 http://deb.debian.org/debian trixie/main amd64 libctf-nobfd0 amd64 2.43.1-5 [154 kB] Get:92 http://deb.debian.org/debian trixie/main amd64 libctf0 amd64 2.43.1-5 [88.4 kB] Get:93 http://deb.debian.org/debian trixie/main amd64 libgprofng0 amd64 2.43.1-5 [797 kB] Get:94 http://deb.debian.org/debian trixie/main amd64 libjansson4 amd64 2.14-2+b2 [39.9 kB] Get:95 http://deb.debian.org/debian trixie/main amd64 binutils-x86-64-linux-gnu amd64 2.43.1-5 [2257 kB] Get:96 http://deb.debian.org/debian trixie/main amd64 binutils amd64 2.43.1-5 [67.8 kB] Get:97 http://deb.debian.org/debian trixie/main amd64 libisl23 amd64 0.27-1 [659 kB] Get:98 http://deb.debian.org/debian trixie/main amd64 libmpfr6 amd64 4.2.1-1+b1 [714 kB] Get:99 http://deb.debian.org/debian trixie/main amd64 libmpc3 amd64 1.3.1-1+b2 [52.1 kB] Get:100 http://deb.debian.org/debian trixie/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-6 [11.1 MB] Get:101 http://deb.debian.org/debian trixie/main amd64 cpp-14 amd64 14.2.0-6 [1276 B] Get:102 http://deb.debian.org/debian trixie/main amd64 cpp-x86-64-linux-gnu amd64 4:14.1.0-2 [4784 B] Get:103 http://deb.debian.org/debian trixie/main amd64 cpp amd64 4:14.1.0-2 [1568 B] Get:104 http://deb.debian.org/debian trixie/main amd64 libcln6 amd64 1.3.7-1 [496 kB] Get:105 http://deb.debian.org/debian trixie/main amd64 libcvc4-7 amd64 1.8-3+b3 [5992 kB] Get:106 http://deb.debian.org/debian trixie/main amd64 libantlr3c-3.4-0 amd64 3.4+dfsg-4+b1 [50.3 kB] Get:107 http://deb.debian.org/debian trixie/main amd64 libcvc4parser7 amd64 1.8-3+b3 [366 kB] Get:108 http://deb.debian.org/debian trixie/main amd64 cvc4 amd64 1.8-3+b3 [82.4 kB] Get:109 http://deb.debian.org/debian trixie/main amd64 libdevmapper1.02.1 amd64 2:1.02.196-1+b1 [134 kB] Get:110 http://deb.debian.org/debian trixie/main amd64 dmsetup amd64 2:1.02.196-1+b1 [82.6 kB] Get:111 http://deb.debian.org/debian trixie/main amd64 libbrotli1 amd64 1.1.0-2+b4 [300 kB] Get:112 http://deb.debian.org/debian trixie/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB] Get:113 http://deb.debian.org/debian trixie/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB] Get:114 http://deb.debian.org/debian trixie/main amd64 fonts-dejavu-core all 2.37-8 [840 kB] Get:115 http://deb.debian.org/debian trixie/main amd64 fontconfig-config amd64 2.15.0-1.1 [317 kB] Get:116 http://deb.debian.org/debian trixie/main amd64 libfontconfig1 amd64 2.15.0-1.1 [388 kB] Get:117 http://deb.debian.org/debian trixie/main amd64 fontconfig amd64 2.15.0-1.1 [463 kB] Get:118 http://deb.debian.org/debian trixie/main amd64 libpixman-1-0 amd64 0.42.2-1+b1 [556 kB] Get:119 http://deb.debian.org/debian trixie/main amd64 libxcb-render0 amd64 1.17.0-2 [115 kB] Get:120 http://deb.debian.org/debian trixie/main amd64 libxcb-shm0 amd64 1.17.0-2 [105 kB] Get:121 http://deb.debian.org/debian trixie/main amd64 libxrender1 amd64 1:0.9.10-1.1+b1 [27.9 kB] Get:122 http://deb.debian.org/debian trixie/main amd64 libcairo2 amd64 1.18.2-2 [535 kB] Get:123 http://deb.debian.org/debian trixie/main amd64 libatk1.0-0t64 amd64 2.54.0-1 [51.2 kB] Get:124 http://deb.debian.org/debian trixie/main amd64 libatk-bridge2.0-0t64 amd64 2.54.0-1 [67.6 kB] Get:125 http://deb.debian.org/debian trixie/main amd64 libcairo-gobject2 amd64 1.18.2-2 [130 kB] Get:126 http://deb.debian.org/debian trixie/main amd64 libcloudproviders0 amd64 0.3.6-1 [28.9 kB] Get:127 http://deb.debian.org/debian trixie/main amd64 liblcms2-2 amd64 2.14-2+b1 [154 kB] Get:128 http://deb.debian.org/debian trixie/main amd64 libcolord2 amd64 1.4.7-1+b1 [139 kB] Get:129 http://deb.debian.org/debian trixie/main amd64 libavahi-common-data amd64 0.8-13+b2 [112 kB] Get:130 http://deb.debian.org/debian trixie/main amd64 libavahi-common3 amd64 0.8-13+b2 [43.3 kB] Get:131 http://deb.debian.org/debian trixie/main amd64 libavahi-client3 amd64 0.8-13+b2 [47.0 kB] Get:132 http://deb.debian.org/debian trixie/main amd64 libcups2t64 amd64 2.4.10-2 [251 kB] Get:133 http://deb.debian.org/debian trixie/main amd64 libepoxy0 amd64 1.5.10-2 [193 kB] Get:134 http://deb.debian.org/debian trixie/main amd64 libfribidi0 amd64 1.0.15-1 [71.8 kB] Get:135 http://deb.debian.org/debian trixie/main amd64 libgraphite2-3 amd64 1.3.14-2 [74.9 kB] Get:136 http://deb.debian.org/debian trixie/main amd64 libharfbuzz0b amd64 9.0.0-1 [474 kB] Get:137 http://deb.debian.org/debian trixie/main amd64 libthai-data all 0.1.29-2 [168 kB] Get:138 http://deb.debian.org/debian trixie/main amd64 libdatrie1 amd64 0.2.13-3 [37.7 kB] Get:139 http://deb.debian.org/debian trixie/main amd64 libthai0 amd64 0.1.29-2 [49.1 kB] Get:140 http://deb.debian.org/debian trixie/main amd64 libpango-1.0-0 amd64 1.54.0+ds-2 [223 kB] Get:141 http://deb.debian.org/debian trixie/main amd64 libpangoft2-1.0-0 amd64 1.54.0+ds-2 [54.4 kB] Get:142 http://deb.debian.org/debian trixie/main amd64 libpangocairo-1.0-0 amd64 1.54.0+ds-2 [35.2 kB] Get:143 http://deb.debian.org/debian trixie/main amd64 libwayland-client0 amd64 1.23.0-1 [26.4 kB] Get:144 http://deb.debian.org/debian trixie/main amd64 libwayland-cursor0 amd64 1.23.0-1 [11.3 kB] Get:145 http://deb.debian.org/debian trixie/main amd64 libwayland-egl1 amd64 1.23.0-1 [5392 B] Get:146 http://deb.debian.org/debian trixie/main amd64 libxcomposite1 amd64 1:0.4.5-1+b1 [14.9 kB] Get:147 http://deb.debian.org/debian trixie/main amd64 libxfixes3 amd64 1:6.0.0-2+b1 [20.3 kB] Get:148 http://deb.debian.org/debian trixie/main amd64 libxcursor1 amd64 1:1.2.2-1 [37.1 kB] Get:149 http://deb.debian.org/debian trixie/main amd64 libxdamage1 amd64 1:1.1.6-1+b1 [15.5 kB] Get:150 http://deb.debian.org/debian trixie/main amd64 libxinerama1 amd64 2:1.1.4-3+b1 [16.0 kB] Get:151 http://deb.debian.org/debian trixie/main amd64 xkb-data all 2.42-1 [790 kB] Get:152 http://deb.debian.org/debian trixie/main amd64 libxkbcommon0 amd64 1.6.0-1+b1 [109 kB] Get:153 http://deb.debian.org/debian trixie/main amd64 libxrandr2 amd64 2:1.5.4-1 [36.1 kB] Get:154 http://deb.debian.org/debian trixie/main amd64 libgtk-3-common all 3.24.43-4 [4657 kB] Get:155 http://deb.debian.org/debian trixie/main amd64 libgtk-3-0t64 amd64 3.24.43-4 [2754 kB] Get:156 http://deb.debian.org/debian trixie/main amd64 libgtksourceview-3.0-common all 3.24.11-3 [276 kB] Get:157 http://deb.debian.org/debian trixie/main amd64 libgtksourceview-3.0-1 amd64 3.24.11-3 [223 kB] Get:158 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get:159 http://deb.debian.org/debian trixie/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get:160 http://deb.debian.org/debian trixie/main amd64 libcairo2-ocaml amd64 0.6.4+dfsg-4+b1 [27.9 kB] Get:161 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get:162 http://deb.debian.org/debian trixie/main amd64 liblablgtk3-ocaml amd64 3.1.5-1+b1 [3444 kB] Get:163 http://deb.debian.org/debian trixie/main amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1+b1 [337 kB] Get:164 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB] Get:165 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml amd64 6.0.3-1 [4223 kB] Get:166 http://deb.debian.org/debian trixie/main amd64 libyojson-ocaml amd64 2.2.2-1 [523 kB] Get:167 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB] Get:168 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] Get:169 http://deb.debian.org/debian trixie/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB] Get:170 http://deb.debian.org/debian trixie/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB] Get:171 http://deb.debian.org/debian trixie/main amd64 libncurses6 amd64 6.5-2 [104 kB] Get:172 http://deb.debian.org/debian trixie/main amd64 libc-dev-bin amd64 2.40-3 [51.8 kB] Get:173 http://deb.debian.org/debian trixie/main amd64 linux-libc-dev all 6.10.11-1 [2399 kB] Get:174 http://deb.debian.org/debian trixie/main amd64 libcrypt-dev amd64 1:4.4.36-5 [118 kB] Get:175 http://deb.debian.org/debian trixie/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:176 http://deb.debian.org/debian trixie/main amd64 libc6-dev amd64 2.40-3 [1956 kB] Get:177 http://deb.debian.org/debian trixie/main amd64 libncurses-dev amd64 6.5-2 [349 kB] Get:178 http://deb.debian.org/debian trixie/main amd64 libcc1-0 amd64 14.2.0-6 [42.8 kB] Get:179 http://deb.debian.org/debian trixie/main amd64 libgomp1 amd64 14.2.0-6 [137 kB] Get:180 http://deb.debian.org/debian trixie/main amd64 libitm1 amd64 14.2.0-6 [25.9 kB] Get:181 http://deb.debian.org/debian trixie/main amd64 libasan8 amd64 14.2.0-6 [2729 kB] Get:182 http://deb.debian.org/debian trixie/main amd64 liblsan0 amd64 14.2.0-6 [1205 kB] Get:183 http://deb.debian.org/debian trixie/main amd64 libtsan2 amd64 14.2.0-6 [2461 kB] Get:184 http://deb.debian.org/debian trixie/main amd64 libubsan1 amd64 14.2.0-6 [1075 kB] Get:185 http://deb.debian.org/debian trixie/main amd64 libhwasan0 amd64 14.2.0-6 [1489 kB] Get:186 http://deb.debian.org/debian trixie/main amd64 libquadmath0 amd64 14.2.0-6 [145 kB] Get:187 http://deb.debian.org/debian trixie/main amd64 libgcc-14-dev amd64 14.2.0-6 [2672 kB] Get:188 http://deb.debian.org/debian trixie/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-6 [21.4 MB] Get:189 http://deb.debian.org/debian trixie/main amd64 gcc-14 amd64 14.2.0-6 [525 kB] Get:190 http://deb.debian.org/debian trixie/main amd64 gcc-x86-64-linux-gnu amd64 4:14.1.0-2 [1436 B] Get:191 http://deb.debian.org/debian trixie/main amd64 gcc amd64 4:14.1.0-2 [5136 B] Get:192 http://deb.debian.org/debian trixie/main amd64 libzstd-dev amd64 1.5.6+dfsg-1 [368 kB] Get:193 http://deb.debian.org/debian trixie/main amd64 ocaml amd64 5.2.0-3 [17.4 MB] Get:194 http://deb.debian.org/debian trixie/main amd64 libocamlgraph-ocaml-dev amd64 2.1.0-3+b1 [6797 kB] Get:195 http://deb.debian.org/debian trixie/main amd64 libppx-import-ocaml amd64 1.11.0-2+b3 [64.3 kB] Get:196 http://deb.debian.org/debian trixie/main amd64 frama-c-base amd64 20220511-manganese-5+b12 [60.3 MB] Get:197 http://deb.debian.org/debian trixie/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+b2 [43.7 kB] Get:198 http://deb.debian.org/debian trixie/main amd64 ledit amd64 2.04-8+b5 [57.2 kB] Get:199 http://deb.debian.org/debian trixie/main amd64 libjson-c5 amd64 0.18+ds-1 [46.0 kB] Get:200 http://deb.debian.org/debian trixie/main amd64 libcryptsetup12 amd64 2:2.7.5-1 [253 kB] Get:201 http://deb.debian.org/debian trixie/main amd64 libdav1d7 amd64 1.4.3-1 [551 kB] Get:202 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB] Get:203 http://deb.debian.org/debian trixie/main amd64 libgdk-pixbuf2.0-bin amd64 2.42.12+dfsg-1 [18.4 kB] Get:204 http://deb.debian.org/debian trixie/main amd64 libglib2.0-data all 2.82.1-1 [1277 kB] Get:205 http://deb.debian.org/debian trixie/main amd64 libgpm2 amd64 1.20.7-11 [14.0 kB] Get:206 http://deb.debian.org/debian trixie/main amd64 libgtk-3-bin amd64 3.24.43-4 [85.5 kB] Get:207 http://deb.debian.org/debian trixie/main amd64 libkmod2 amd64 33+20240816-2 [63.1 kB] Get:208 http://deb.debian.org/debian trixie/main amd64 librsvg2-2 amd64 2.59.1+dfsg-1 [1860 kB] Get:209 http://deb.debian.org/debian trixie/main amd64 librsvg2-common amd64 2.59.1+dfsg-1 [147 kB] Get:210 http://deb.debian.org/debian trixie/main amd64 linux-sysctl-defaults all 4.10.1 [4904 B] Get:211 http://deb.debian.org/debian trixie/main amd64 manpages-dev all 6.8-2 [2041 kB] Get:212 http://deb.debian.org/debian trixie/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB] Get:213 http://deb.debian.org/debian trixie/main amd64 ocaml-man all 5.2.0-3 [838 kB] Get:214 http://deb.debian.org/debian trixie/main amd64 psmisc amd64 23.7-1 [266 kB] Get:215 http://deb.debian.org/debian trixie/main amd64 systemd-cryptsetup amd64 256.6-1 [163 kB] Get:216 http://deb.debian.org/debian trixie/main amd64 tex-common all 6.18 [32.5 kB] Get:217 http://deb.debian.org/debian trixie/main amd64 why3 amd64 1.7.2-2+b1 [11.0 MB] Get:218 http://deb.debian.org/debian trixie/main amd64 xdg-user-dirs amd64 0.18-1 [54.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 306 MB in 8s (38.9 MB/s) Selecting previously unselected package libapparmor1:amd64. (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 ... 5145 files and directories currently installed.) Preparing to unpack .../libapparmor1_3.1.7-1+b1_amd64.deb ... Unpacking libapparmor1:amd64 (3.1.7-1+b1) ... Selecting previously unselected package libsystemd-shared:amd64. Preparing to unpack .../libsystemd-shared_256.6-1_amd64.deb ... Unpacking libsystemd-shared:amd64 (256.6-1) ... Selecting previously unselected package systemd. Preparing to unpack .../systemd_256.6-1_amd64.deb ... Unpacking systemd (256.6-1) ... Setting up libapparmor1:amd64 (3.1.7-1+b1) ... Setting up libsystemd-shared:amd64 (256.6-1) ... Setting up systemd (256.6-1) ... Created symlink '/etc/systemd/system/getty.target.wants/getty@tty1.service' → '/usr/lib/systemd/system/getty@.service'. Created symlink '/etc/systemd/system/multi-user.target.wants/remote-fs.target' → '/usr/lib/systemd/system/remote-fs.target'. Created symlink '/etc/systemd/system/sysinit.target.wants/systemd-pstore.service' → '/usr/lib/systemd/system/systemd-pstore.service'. Initializing machine ID from random generator. Creating group 'systemd-journal' with GID 999. Creating group 'systemd-network' with GID 998. Creating user 'systemd-network' (systemd Network Management) with UID 998 and GID 998. [ESC][0;1;39m/usr/lib/tmpfiles.d/legacy.conf:13: Duplicate line for path "/run/lock", ignoring.[ESC][0m [ESC][0;1;31m"/home" already exists and is not a directory.[ESC][0m Selecting previously unselected package systemd-sysv. (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 ... 6108 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_256.6-1_amd64.deb ... Unpacking systemd-sysv (256.6-1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../1-libdbus-1-3_1.14.10-4+b1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.14.10-4+b1) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../2-dbus-bin_1.14.10-4+b1_amd64.deb ... Unpacking dbus-bin (1.14.10-4+b1) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../3-dbus-session-bus-common_1.14.10-4_all.deb ... Unpacking dbus-session-bus-common (1.14.10-4) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../4-libexpat1_2.6.3-1_amd64.deb ... Unpacking libexpat1:amd64 (2.6.3-1) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../5-dbus-daemon_1.14.10-4+b1_amd64.deb ... Unpacking dbus-daemon (1.14.10-4+b1) ... Selecting previously unselected package adduser. Preparing to unpack .../6-adduser_3.137_all.deb ... Unpacking adduser (3.137) ... Setting up adduser (3.137) ... Selecting previously unselected package dbus-system-bus-common. (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 ... 6254 files and directories currently installed.) Preparing to unpack .../0-dbus-system-bus-common_1.14.10-4_all.deb ... Unpacking dbus-system-bus-common (1.14.10-4) ... Selecting previously unselected package dbus. Preparing to unpack .../1-dbus_1.14.10-4+b1_amd64.deb ... Unpacking dbus (1.14.10-4+b1) ... Selecting previously unselected package perl-modules-5.38. Preparing to unpack .../2-perl-modules-5.38_5.38.2-5_all.deb ... Unpacking perl-modules-5.38 (5.38.2-5) ... Selecting previously unselected package libgdbm6t64:amd64. Preparing to unpack .../3-libgdbm6t64_1.24-2_amd64.deb ... Unpacking libgdbm6t64:amd64 (1.24-2) ... Selecting previously unselected package libgdbm-compat4t64:amd64. Preparing to unpack .../4-libgdbm-compat4t64_1.24-2_amd64.deb ... Unpacking libgdbm-compat4t64:amd64 (1.24-2) ... Selecting previously unselected package libperl5.38t64:amd64. Preparing to unpack .../5-libperl5.38t64_5.38.2-5_amd64.deb ... Unpacking libperl5.38t64:amd64 (5.38.2-5) ... Selecting previously unselected package perl. Preparing to unpack .../6-perl_5.38.2-5_amd64.deb ... Unpacking perl (5.38.2-5) ... Selecting previously unselected package libpython3.12-minimal:amd64. Preparing to unpack .../7-libpython3.12-minimal_3.12.6-1_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.6-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../8-python3.12-minimal_3.12.6-1_amd64.deb ... Unpacking python3.12-minimal (3.12.6-1) ... Setting up libpython3.12-minimal:amd64 (3.12.6-1) ... Setting up libexpat1:amd64 (2.6.3-1) ... Setting up python3.12-minimal (3.12.6-1) ... Selecting previously unselected package python3-minimal. (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 ... 8612 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_amd64.deb ... Unpacking python3-minimal (3.12.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../03-libncursesw6_6.5-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-3) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../05-libk5crypto3_1.21.3-3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-3) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../06-libkeyutils1_1.6.3-3_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-3) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../07-libkrb5-3_1.21.3-3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../08-libgssapi-krb5-2_1.21.3-3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../09-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:amd64. Preparing to unpack .../10-libtirpc3t64_1.3.4+ds-1.3_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../11-libnsl2_1.3.0-3+b2_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3+b2) ... Selecting previously unselected package readline-common. Preparing to unpack .../12-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../13-libreadline8t64_8.2-5_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.2-5) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../14-libsqlite3-0_3.46.0-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.0-1) ... Selecting previously unselected package libpython3.12-stdlib:amd64. Preparing to unpack .../15-libpython3.12-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.6-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../16-python3.12_3.12.6-1_amd64.deb ... Unpacking python3.12 (3.12.6-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../17-libpython3-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3-minimal (3.12.6-1) ... Selecting previously unselected package python3. (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 ... 9169 files and directories currently installed.) Preparing to unpack .../000-python3_3.12.6-1_amd64.deb ... Unpacking python3 (3.12.6-1) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-6_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-6) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-6_amd64.deb ... Unpacking procps (2:4.0.4-6) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../003-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package openssl. Preparing to unpack .../004-openssl_3.3.2-1_amd64.deb ... Unpacking openssl (3.3.2-1) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../005-ca-certificates_20240203_all.deb ... Unpacking ca-certificates (20240203) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../006-libmagic-mgc_1%3a5.45-3_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../007-libmagic1t64_1%3a5.45-3_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../008-file_1%3a5.45-3_amd64.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package krb5-locales. Preparing to unpack .../009-krb5-locales_1.21.3-3_all.deb ... Unpacking krb5-locales (1.21.3-3) ... Selecting previously unselected package libnss-systemd:amd64. Preparing to unpack .../010-libnss-systemd_256.6-1_amd64.deb ... Unpacking libnss-systemd:amd64 (256.6-1) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../011-libpam-systemd_256.6-1_amd64.deb ... Unpacking libpam-systemd:amd64 (256.6-1) ... Selecting previously unselected package manpages. Preparing to unpack .../012-manpages_6.8-2_all.deb ... Unpacking manpages (6.8-2) ... Selecting previously unselected package systemd-timesyncd. Preparing to unpack .../013-systemd-timesyncd_256.6-1_amd64.deb ... Unpacking systemd-timesyncd (256.6-1) ... Selecting previously unselected package ucf. Preparing to unpack .../014-ucf_3.0043+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0043+nmu1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../015-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../016-libatomic1_14.2.0-6_amd64.deb ... Unpacking libatomic1:amd64 (14.2.0-6) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../017-libglib2.0-0t64_2.82.1-1_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.82.1-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../018-libicu72_72.1-5_amd64.deb ... Unpacking libicu72:amd64 (72.1-5) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../019-libxml2_2.12.7+dfsg+really2.9.14-0.1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../020-shared-mime-info_2.4-5+b1_amd64.deb ... Unpacking shared-mime-info (2.4-5+b1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../021-libjpeg62-turbo_1%3a2.1.5-3_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-3) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../022-libpng16-16t64_1.6.44-2_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.44-2) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../023-libdeflate0_1.22-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.22-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../024-libjbig0_2.1-6.1+b1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1+b1) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../025-liblerc4_4.0.0+ds-4+b1_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-4+b1) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../026-libsharpyuv0_1.4.0-0.1_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.4.0-0.1) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../027-libwebp7_1.4.0-0.1_amd64.deb ... Unpacking libwebp7:amd64 (1.4.0-0.1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../028-libtiff6_4.5.1+git230720-5_amd64.deb ... Unpacking libtiff6:amd64 (4.5.1+git230720-5) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../029-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../030-gtk-update-icon-cache_4.16.3+ds-1_amd64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 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. Unpacking gtk-update-icon-cache (4.16.3+ds-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../031-hicolor-icon-theme_0.18-1_all.deb ... Unpacking hicolor-icon-theme (0.18-1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../032-adwaita-icon-theme_47.0-2_all.deb ... Unpacking adwaita-icon-theme (47.0-2) ... Selecting previously unselected package at-spi2-common. Preparing to unpack .../033-at-spi2-common_2.54.0-1_all.deb ... Unpacking at-spi2-common (2.54.0-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../034-libxau6_1%3a1.0.9-1+b1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1+b1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../035-libxdmcp6_1%3a1.1.2-3+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../036-libxcb1_1.17.0-2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../037-libx11-data_2%3a1.8.7-1_all.deb ... Unpacking libx11-data (2:1.8.7-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../038-libx11-6_2%3a1.8.7-1+b1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.7-1+b1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../039-libxext6_2%3a1.3.4-1+b2_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../040-libxi6_2%3a1.8.2-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8.2-1) ... Selecting previously unselected package libatspi2.0-0t64:amd64. Preparing to unpack .../041-libatspi2.0-0t64_2.54.0-1_amd64.deb ... Unpacking libatspi2.0-0t64:amd64 (2.54.0-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../042-x11-common_1%3a7.7+23.1_all.deb ... Unpacking x11-common (1:7.7+23.1) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../043-libxtst6_2%3a1.2.3-1.1+b1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1.1+b1) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../044-dbus-user-session_1.14.10-4+b1_amd64.deb ... Unpacking dbus-user-session (1.14.10-4+b1) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../045-libdconf1_0.40.0-4+b2_amd64.deb ... Unpacking libdconf1:amd64 (0.40.0-4+b2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../046-dconf-service_0.40.0-4+b2_amd64.deb ... Unpacking dconf-service (0.40.0-4+b2) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../047-dconf-gsettings-backend_0.40.0-4+b2_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.40.0-4+b2) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../048-gsettings-desktop-schemas_47.1-1_all.deb ... Unpacking gsettings-desktop-schemas (47.1-1) ... Selecting previously unselected package at-spi2-core. Preparing to unpack .../049-at-spi2-core_2.54.0-1_amd64.deb ... Unpacking at-spi2-core (2.54.0-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../050-binutils-common_2.43.1-5_amd64.deb ... Unpacking binutils-common:amd64 (2.43.1-5) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../051-libsframe1_2.43.1-5_amd64.deb ... Unpacking libsframe1:amd64 (2.43.1-5) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../052-libbinutils_2.43.1-5_amd64.deb ... Unpacking libbinutils:amd64 (2.43.1-5) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../053-libctf-nobfd0_2.43.1-5_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.43.1-5) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../054-libctf0_2.43.1-5_amd64.deb ... Unpacking libctf0:amd64 (2.43.1-5) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../055-libgprofng0_2.43.1-5_amd64.deb ... Unpacking libgprofng0:amd64 (2.43.1-5) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../056-libjansson4_2.14-2+b2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../057-binutils-x86-64-linux-gnu_2.43.1-5_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.43.1-5) ... Selecting previously unselected package binutils. Preparing to unpack .../058-binutils_2.43.1-5_amd64.deb ... Unpacking binutils (2.43.1-5) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../059-libisl23_0.27-1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../060-libmpfr6_4.2.1-1+b1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1+b1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../061-libmpc3_1.3.1-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1+b2) ... Selecting previously unselected package cpp-14-x86-64-linux-gnu. Preparing to unpack .../062-cpp-14-x86-64-linux-gnu_14.2.0-6_amd64.deb ... Unpacking cpp-14-x86-64-linux-gnu (14.2.0-6) ... Selecting previously unselected package cpp-14. Preparing to unpack .../063-cpp-14_14.2.0-6_amd64.deb ... Unpacking cpp-14 (14.2.0-6) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../064-cpp-x86-64-linux-gnu_4%3a14.1.0-2_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.1.0-2) ... Selecting previously unselected package cpp. Preparing to unpack .../065-cpp_4%3a14.1.0-2_amd64.deb ... Unpacking cpp (4:14.1.0-2) ... Selecting previously unselected package libcln6:amd64. Preparing to unpack .../066-libcln6_1.3.7-1_amd64.deb ... Unpacking libcln6:amd64 (1.3.7-1) ... Selecting previously unselected package libcvc4-7:amd64. Preparing to unpack .../067-libcvc4-7_1.8-3+b3_amd64.deb ... Unpacking libcvc4-7:amd64 (1.8-3+b3) ... Selecting previously unselected package libantlr3c-3.4-0:amd64. Preparing to unpack .../068-libantlr3c-3.4-0_3.4+dfsg-4+b1_amd64.deb ... Unpacking libantlr3c-3.4-0:amd64 (3.4+dfsg-4+b1) ... Selecting previously unselected package libcvc4parser7:amd64. Preparing to unpack .../069-libcvc4parser7_1.8-3+b3_amd64.deb ... Unpacking libcvc4parser7:amd64 (1.8-3+b3) ... Selecting previously unselected package cvc4. Preparing to unpack .../070-cvc4_1.8-3+b3_amd64.deb ... Unpacking cvc4 (1.8-3+b3) ... Selecting previously unselected package libdevmapper1.02.1:amd64. Preparing to unpack .../071-libdevmapper1.02.1_2%3a1.02.196-1+b1_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.196-1+b1) ... Selecting previously unselected package dmsetup. Preparing to unpack .../072-dmsetup_2%3a1.02.196-1+b1_amd64.deb ... Unpacking dmsetup (2:1.02.196-1+b1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../073-libbrotli1_1.1.0-2+b4_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b4) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../074-libfreetype6_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../075-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../076-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../077-fontconfig-config_2.15.0-1.1_amd64.deb ... Unpacking fontconfig-config (2.15.0-1.1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../078-libfontconfig1_2.15.0-1.1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-1.1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../079-fontconfig_2.15.0-1.1_amd64.deb ... Unpacking fontconfig (2.15.0-1.1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../080-libpixman-1-0_0.42.2-1+b1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.42.2-1+b1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../081-libxcb-render0_1.17.0-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../082-libxcb-shm0_1.17.0-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../083-libxrender1_1%3a0.9.10-1.1+b1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1.1+b1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../084-libcairo2_1.18.2-2_amd64.deb ... Unpacking libcairo2:amd64 (1.18.2-2) ... Selecting previously unselected package libatk1.0-0t64:amd64. Preparing to unpack .../085-libatk1.0-0t64_2.54.0-1_amd64.deb ... Unpacking libatk1.0-0t64:amd64 (2.54.0-1) ... Selecting previously unselected package libatk-bridge2.0-0t64:amd64. Preparing to unpack .../086-libatk-bridge2.0-0t64_2.54.0-1_amd64.deb ... Unpacking libatk-bridge2.0-0t64:amd64 (2.54.0-1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../087-libcairo-gobject2_1.18.2-2_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.18.2-2) ... Selecting previously unselected package libcloudproviders0:amd64. Preparing to unpack .../088-libcloudproviders0_0.3.6-1_amd64.deb ... Unpacking libcloudproviders0:amd64 (0.3.6-1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../089-liblcms2-2_2.14-2+b1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.14-2+b1) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../090-libcolord2_1.4.7-1+b1_amd64.deb ... Unpacking libcolord2:amd64 (1.4.7-1+b1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../091-libavahi-common-data_0.8-13+b2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-13+b2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../092-libavahi-common3_0.8-13+b2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-13+b2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../093-libavahi-client3_0.8-13+b2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-13+b2) ... Selecting previously unselected package libcups2t64:amd64. Preparing to unpack .../094-libcups2t64_2.4.10-2_amd64.deb ... Unpacking libcups2t64:amd64 (2.4.10-2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../095-libepoxy0_1.5.10-2_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.10-2) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../096-libfribidi0_1.0.15-1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.15-1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../097-libgraphite2-3_1.3.14-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../098-libharfbuzz0b_9.0.0-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (9.0.0-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../099-libthai-data_0.1.29-2_all.deb ... Unpacking libthai-data (0.1.29-2) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../100-libdatrie1_0.2.13-3_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-3) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../101-libthai0_0.1.29-2_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-2) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../102-libpango-1.0-0_1.54.0+ds-2_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.54.0+ds-2) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../103-libpangoft2-1.0-0_1.54.0+ds-2_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.54.0+ds-2) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../104-libpangocairo-1.0-0_1.54.0+ds-2_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.54.0+ds-2) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../105-libwayland-client0_1.23.0-1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.23.0-1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../106-libwayland-cursor0_1.23.0-1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.23.0-1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../107-libwayland-egl1_1.23.0-1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.23.0-1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../108-libxcomposite1_1%3a0.4.5-1+b1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1+b1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../109-libxfixes3_1%3a6.0.0-2+b1_amd64.deb ... Unpacking libxfixes3:amd64 (1:6.0.0-2+b1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../110-libxcursor1_1%3a1.2.2-1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.2-1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../111-libxdamage1_1%3a1.1.6-1+b1_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.6-1+b1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../112-libxinerama1_2%3a1.1.4-3+b1_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-3+b1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../113-xkb-data_2.42-1_all.deb ... Unpacking xkb-data (2.42-1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../114-libxkbcommon0_1.6.0-1+b1_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.6.0-1+b1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../115-libxrandr2_2%3a1.5.4-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.4-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../116-libgtk-3-common_3.24.43-4_all.deb ... Unpacking libgtk-3-common (3.24.43-4) ... Selecting previously unselected package libgtk-3-0t64:amd64. Preparing to unpack .../117-libgtk-3-0t64_3.24.43-4_amd64.deb ... Unpacking libgtk-3-0t64:amd64 (3.24.43-4) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../118-libgtksourceview-3.0-common_3.24.11-3_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-3) ... Selecting previously unselected package libgtksourceview-3.0-1:amd64. Preparing to unpack .../119-libgtksourceview-3.0-1_3.24.11-3_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-3) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../120-libstdlib-ocaml_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../121-ocaml-base_5.2.0-3_amd64.deb ... Unpacking ocaml-base (5.2.0-3) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../122-libcairo2-ocaml_0.6.4+dfsg-4+b1_amd64.deb ... Unpacking libcairo2-ocaml (0.6.4+dfsg-4+b1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../123-libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../124-liblablgtk3-ocaml_3.1.5-1+b1_amd64.deb ... Unpacking liblablgtk3-ocaml (3.1.5-1+b1) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../125-liblablgtksourceview3-ocaml_3.1.5-1+b1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml (3.1.5-1+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../126-libsexplib0-ocaml_0.17.0-1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../127-libppx-deriving-ocaml_6.0.3-1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.0.3-1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../128-libyojson-ocaml_2.2.2-1_amd64.deb ... Unpacking libyojson-ocaml (2.2.2-1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../129-libzarith-ocaml_1.14-1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../130-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../131-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../132-ocaml-interp_5.2.0-3_amd64.deb ... Unpacking ocaml-interp (5.2.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../133-libncurses6_6.5-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../134-libc-dev-bin_2.40-3_amd64.deb ... Unpacking libc-dev-bin (2.40-3) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../135-linux-libc-dev_6.10.11-1_all.deb ... Unpacking linux-libc-dev (6.10.11-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../136-libcrypt-dev_1%3a4.4.36-5_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.36-5) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../137-rpcsvc-proto_1.4.3-1_amd64.deb ... Unpacking rpcsvc-proto (1.4.3-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../138-libc6-dev_2.40-3_amd64.deb ... Unpacking libc6-dev:amd64 (2.40-3) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../139-libncurses-dev_6.5-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../140-libcc1-0_14.2.0-6_amd64.deb ... Unpacking libcc1-0:amd64 (14.2.0-6) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../141-libgomp1_14.2.0-6_amd64.deb ... Unpacking libgomp1:amd64 (14.2.0-6) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../142-libitm1_14.2.0-6_amd64.deb ... Unpacking libitm1:amd64 (14.2.0-6) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../143-libasan8_14.2.0-6_amd64.deb ... Unpacking libasan8:amd64 (14.2.0-6) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../144-liblsan0_14.2.0-6_amd64.deb ... Unpacking liblsan0:amd64 (14.2.0-6) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../145-libtsan2_14.2.0-6_amd64.deb ... Unpacking libtsan2:amd64 (14.2.0-6) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../146-libubsan1_14.2.0-6_amd64.deb ... Unpacking libubsan1:amd64 (14.2.0-6) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../147-libhwasan0_14.2.0-6_amd64.deb ... Unpacking libhwasan0:amd64 (14.2.0-6) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../148-libquadmath0_14.2.0-6_amd64.deb ... Unpacking libquadmath0:amd64 (14.2.0-6) ... Selecting previously unselected package libgcc-14-dev:amd64. Preparing to unpack .../149-libgcc-14-dev_14.2.0-6_amd64.deb ... Unpacking libgcc-14-dev:amd64 (14.2.0-6) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu. Preparing to unpack .../150-gcc-14-x86-64-linux-gnu_14.2.0-6_amd64.deb ... Unpacking gcc-14-x86-64-linux-gnu (14.2.0-6) ... Selecting previously unselected package gcc-14. Preparing to unpack .../151-gcc-14_14.2.0-6_amd64.deb ... Unpacking gcc-14 (14.2.0-6) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../152-gcc-x86-64-linux-gnu_4%3a14.1.0-2_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.1.0-2) ... Selecting previously unselected package gcc. Preparing to unpack .../153-gcc_4%3a14.1.0-2_amd64.deb ... Unpacking gcc (4:14.1.0-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../154-libzstd-dev_1.5.6+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../155-ocaml_5.2.0-3_amd64.deb ... Unpacking ocaml (5.2.0-3) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../156-libocamlgraph-ocaml-dev_2.1.0-3+b1_amd64.deb ... Unpacking libocamlgraph-ocaml-dev (2.1.0-3+b1) ... Selecting previously unselected package libppx-import-ocaml. Preparing to unpack .../157-libppx-import-ocaml_1.11.0-2+b3_amd64.deb ... Unpacking libppx-import-ocaml (1.11.0-2+b3) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../158-frama-c-base_20220511-manganese-5+b12_amd64.deb ... Unpacking frama-c-base (20220511-manganese-5+b12) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../159-libcamlp-streams-ocaml_5.0.1-3+b2_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b2) ... Selecting previously unselected package ledit. Preparing to unpack .../160-ledit_2.04-8+b5_amd64.deb ... Unpacking ledit (2.04-8+b5) ... Selecting previously unselected package libjson-c5:amd64. Preparing to unpack .../161-libjson-c5_0.18+ds-1_amd64.deb ... Unpacking libjson-c5:amd64 (0.18+ds-1) ... Selecting previously unselected package libcryptsetup12:amd64. Preparing to unpack .../162-libcryptsetup12_2%3a2.7.5-1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.7.5-1) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../163-libdav1d7_1.4.3-1_amd64.deb ... Unpacking libdav1d7:amd64 (1.4.3-1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../164-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-3) ... Selecting previously unselected package libgdk-pixbuf2.0-bin. Preparing to unpack .../165-libgdk-pixbuf2.0-bin_2.42.12+dfsg-1_amd64.deb ... Unpacking libgdk-pixbuf2.0-bin (2.42.12+dfsg-1) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../166-libglib2.0-data_2.82.1-1_all.deb ... Unpacking libglib2.0-data (2.82.1-1) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../167-libgpm2_1.20.7-11_amd64.deb ... Unpacking libgpm2:amd64 (1.20.7-11) ... Selecting previously unselected package libgtk-3-bin. Preparing to unpack .../168-libgtk-3-bin_3.24.43-4_amd64.deb ... Unpacking libgtk-3-bin (3.24.43-4) ... Selecting previously unselected package libkmod2:amd64. Preparing to unpack .../169-libkmod2_33+20240816-2_amd64.deb ... Unpacking libkmod2:amd64 (33+20240816-2) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../170-librsvg2-2_2.59.1+dfsg-1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.59.1+dfsg-1) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../171-librsvg2-common_2.59.1+dfsg-1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.59.1+dfsg-1) ... Selecting previously unselected package linux-sysctl-defaults. Preparing to unpack .../172-linux-sysctl-defaults_4.10.1_all.deb ... Unpacking linux-sysctl-defaults (4.10.1) ... Selecting previously unselected package manpages-dev. Preparing to unpack .../173-manpages-dev_6.8-2_all.deb ... Unpacking manpages-dev (6.8-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../174-ocaml-findlib_1.9.6-3_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Selecting previously unselected package ocaml-man. Preparing to unpack .../175-ocaml-man_5.2.0-3_all.deb ... Unpacking ocaml-man (5.2.0-3) ... Selecting previously unselected package psmisc. Preparing to unpack .../176-psmisc_23.7-1_amd64.deb ... Unpacking psmisc (23.7-1) ... Selecting previously unselected package systemd-cryptsetup. Preparing to unpack .../177-systemd-cryptsetup_256.6-1_amd64.deb ... Unpacking systemd-cryptsetup (256.6-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../178-tex-common_6.18_all.deb ... Unpacking tex-common (6.18) ... Selecting previously unselected package why3. Preparing to unpack .../179-why3_1.7.2-2+b1_amd64.deb ... Unpacking why3 (1.7.2-2+b1) ... Selecting previously unselected package xdg-user-dirs. Preparing to unpack .../180-xdg-user-dirs_0.18-1_amd64.deb ... Unpacking xdg-user-dirs (0.18-1) ... Setting up media-types (10.1.0) ... Setting up libgraphite2-3:amd64 (1.3.14-2) ... Setting up liblcms2-2:amd64 (2.14-2+b1) ... Setting up libpixman-1-0:amd64 (0.42.2-1+b1) ... Setting up libsharpyuv0:amd64 (1.4.0-0.1) ... Setting up libcln6:amd64 (1.3.7-1) ... Setting up systemd-sysv (256.6-1) ... Setting up libxau6:amd64 (1:1.0.9-1+b1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3+b1) ... Setting up libkeyutils1:amd64 (1.6.3-3) ... Setting up libxcb1:amd64 (1.17.0-2) ... Setting up libgpm2:amd64 (1.20.7-11) ... Setting up libicu72:amd64 (72.1-5) ... Setting up liblerc4:amd64 (4.0.0+ds-4+b1) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-1) ... Setting up libantlr3c-3.4-0:amd64 (3.4+dfsg-4+b1) ... Setting up libgdbm6t64:amd64 (1.24-2) ... Setting up hicolor-icon-theme (0.18-1) ... Setting up libdatrie1:amd64 (0.2.13-3) ... Setting up libgdbm-compat4t64:amd64 (1.24-2) ... Setting up xdg-user-dirs (0.18-1) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up psmisc (23.7-1) ... Setting up libxcb-render0:amd64 (1.17.0-2) ... Setting up manpages (6.8-2) ... Setting up libtirpc-common (1.3.4+ds-1.3) ... Setting up libbrotli1:amd64 (1.1.0-2+b4) ... Setting up libsqlite3-0:amd64 (3.46.0-1) ... Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... Setting up libmagic1t64:amd64 (1:5.45-3) ... Setting up binutils-common:amd64 (2.43.1-5) ... Setting up x11-common (1:7.7+23.1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libdeflate0:amd64 (1.22-1) ... Setting up linux-libc-dev (6.10.11-1) ... Setting up libctf-nobfd0:amd64 (2.43.1-5) ... Setting up libnss-systemd:amd64 (256.6-1) ... Setting up xkb-data (2.42-1) ... Setting up krb5-locales (1.21.3-3) ... Setting up libxcb-shm0:amd64 (1.17.0-2) ... Setting up file (1:5.45-3) ... Setting up libgomp1:amd64 (14.2.0-6) ... Setting up libjbig0:amd64 (2.1-6.1+b1) ... Setting up libsframe1:amd64 (2.43.1-5) ... Setting up libjansson4:amd64 (2.14-2+b2) ... Setting up libkrb5support0:amd64 (1.21.3-3) ... Setting up libglib2.0-data (2.82.1-1) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up linux-sysctl-defaults (4.10.1) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-3) ... Setting up libx11-data (2:1.8.7-1) ... Setting up libepoxy0:amd64 (1.5.10-2) ... Setting up libmpfr6:amd64 (4.2.1-1+b1) ... Setting up libavahi-common-data:amd64 (0.8-13+b2) ... Setting up libncurses6:amd64 (6.5-2) ... Setting up libdbus-1-3:amd64 (1.14.10-4+b1) ... Setting up libfribidi0:amd64 (1.0.15-1) ... Setting up perl-modules-5.38 (5.38.2-5) ... Setting up libquadmath0:amd64 (14.2.0-6) ... Setting up libproc2-0:amd64 (2:4.0.4-6) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:amd64 (1.6.44-2) ... Setting up libmpc3:amd64 (1.3.1-1+b2) ... Setting up systemd-timesyncd (256.6-1) ... Creating group 'systemd-timesync' with GID 997. Creating user 'systemd-timesync' (systemd Time Synchronization) with UID 997 and GID 997. Created symlink '/etc/systemd/system/dbus-org.freedesktop.timesync1.service' → '/usr/lib/systemd/system/systemd-timesyncd.service'. Created symlink '/etc/systemd/system/sysinit.target.wants/systemd-timesyncd.service' → '/usr/lib/systemd/system/systemd-timesyncd.service'. Setting up libatomic1:amd64 (14.2.0-6) ... Setting up ocaml-base (5.2.0-3) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up libncursesw6:amd64 (6.5-2) ... Setting up libk5crypto3:amd64 (1.21.3-3) ... Setting up libwebp7:amd64 (1.4.0-0.1) ... Setting up libubsan1:amd64 (14.2.0-6) ... Setting up libsexplib0-ocaml (0.17.0-1) ... Setting up libdav1d7:amd64 (1.4.3-1) ... Setting up sensible-utils (0.0.24) ... Setting up libhwasan0:amd64 (14.2.0-6) ... Setting up at-spi2-common (2.54.0-1) ... Setting up libcrypt-dev:amd64 (1:4.4.36-5) ... Setting up libtiff6:amd64 (4.5.1+git230720-5) ... Setting up dbus-session-bus-common (1.14.10-4) ... Setting up libasan8:amd64 (14.2.0-6) ... Setting up libcvc4-7:amd64 (1.8-3+b3) ... Setting up procps (2:4.0.4-6) ... Setting up libgtksourceview-3.0-common (3.24.11-3) ... Setting up libx11-6:amd64 (2:1.8.7-1+b1) ... Setting up libthai-data (0.1.29-2) ... Setting up netbase (6.4) ... Setting up libkrb5-3:amd64 (1.21.3-3) ... Setting up libwayland-egl1:amd64 (1.23.0-1) ... Setting up libperl5.38t64:amd64 (5.38.2-5) ... Setting up libtsan2:amd64 (14.2.0-6) ... Setting up libbinutils:amd64 (2.43.1-5) ... Setting up dbus-system-bus-common (1.14.10-4) ... Setting up libisl23:amd64 (0.27-1) ... Setting up libc-dev-bin (2.40-3) ... Setting up openssl (3.3.2-1) ... Setting up ocaml-man (5.2.0-3) ... Setting up libxcomposite1:amd64 (1:0.4.5-1+b1) ... Setting up libjson-c5:amd64 (0.18+ds-1) ... Setting up readline-common (8.2-5) ... Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.1) ... Setting up libcc1-0:amd64 (14.2.0-6) ... Setting up dbus-bin (1.14.10-4+b1) ... Setting up liblsan0:amd64 (14.2.0-6) ... Setting up libitm1:amd64 (14.2.0-6) ... Setting up libkmod2:amd64 (33+20240816-2) ... Setting up libxkbcommon0:amd64 (1.6.0-1+b1) ... Setting up libppx-import-ocaml (1.11.0-2+b3) ... Setting up libwayland-client0:amd64 (1.23.0-1) ... Setting up libctf0:amd64 (2.43.1-5) ... Setting up manpages-dev (6.8-2) ... Setting up libppx-deriving-ocaml (6.0.3-1) ... Setting up libxdamage1:amd64 (1:1.1.6-1+b1) ... Setting up libxrender1:amd64 (1:0.9.10-1.1+b1) ... Setting up libstdlib-ocaml-dev (5.2.0-3) ... Setting up libyojson-ocaml (2.2.2-1) ... Setting up libcamlp-streams-ocaml (5.0.1-3+b2) ... Setting up fontconfig-config (2.15.0-1.1) ... Setting up libavahi-common3:amd64 (0.8-13+b2) ... Setting up libfindlib-ocaml (1.9.6-3) ... Setting up libxext6:amd64 (2:1.3.4-1+b2) ... Setting up dbus-daemon (1.14.10-4+b1) ... Setting up libzarith-ocaml (1.14-1) ... Setting up ledit (2.04-8+b5) ... update-alternatives: using /usr/bin/ledit to provide /usr/bin/readline-editor (readline-editor) in auto mode Setting up libthai0:amd64 (0.1.29-2) ... Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... Setting up ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... 146 added, 0 removed; done. Setting up perl (5.38.2-5) ... Setting up libglib2.0-0t64:amd64 (2.82.1-1) ... Setting up libgprofng0:amd64 (2.43.1-5) ... Setting up ocaml-interp (5.2.0-3) ... Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... Setting up libxfixes3:amd64 (1:6.0.0-2+b1) ... Setting up libcvc4parser7:amd64 (1.8-3+b3) ... Setting up dbus (1.14.10-4+b1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up shared-mime-info (2.4-5+b1) ... Setting up libxinerama1:amd64 (2:1.1.4-3+b1) ... Setting up ocaml-findlib (1.9.6-3) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ... Setting up libxrandr2:amd64 (2:1.5.4-1) ... Setting up cpp-14-x86-64-linux-gnu (14.2.0-6) ... Setting up ucf (3.0043+nmu1) ... Setting up cpp-14 (14.2.0-6) ... Setting up libreadline8t64:amd64 (8.2-5) ... Setting up libwayland-cursor0:amd64 (1.23.0-1) ... Setting up libpam-systemd:amd64 (256.6-1) ... Setting up libc6-dev:amd64 (2.40-3) ... Setting up libharfbuzz0b:amd64 (9.0.0-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... Setting up cvc4 (1.8-3+b3) ... Setting up libfontconfig1:amd64 (2.15.0-1.1) ... Setting up libgcc-14-dev:amd64 (14.2.0-6) ... Setting up libavahi-client3:amd64 (0.8-13+b2) ... Setting up binutils-x86-64-linux-gnu (2.43.1-5) ... Setting up cpp-x86-64-linux-gnu (4:14.1.0-2) ... Setting up gtk-update-icon-cache (4.16.3+ds-1) ... Setting up fontconfig (2.15.0-1.1) ... Regenerating fonts cache... done. Setting up libncurses-dev:amd64 (6.5-2) ... Setting up libatk1.0-0t64:amd64 (2.54.0-1) ... Setting up libxi6:amd64 (2:1.8.2-1) ... Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Setting up libxtst6:amd64 (2:1.2.3-1.1+b1) ... Setting up libxcursor1:amd64 (1:1.2.2-1) ... Setting up libpango-1.0-0:amd64 (1.54.0+ds-2) ... Setting up libcloudproviders0:amd64 (0.3.6-1) ... Setting up binutils (2.43.1-5) ... Setting up libcairo2:amd64 (1.18.2-2) ... Setting up libcolord2:amd64 (1.4.7-1+b1) ... Setting up libdconf1:amd64 (0.40.0-4+b2) ... Setting up tex-common (6.18) ... update-language: texlive-base not installed and configured, doing nothing! Setting up dbus-user-session (1.14.10-4+b1) ... Setting up adwaita-icon-theme (47.0-2) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libatspi2.0-0t64:amd64 (2.54.0-1) ... Setting up libgdk-pixbuf2.0-bin (2.42.12+dfsg-1) ... Setting up cpp (4:14.1.0-2) ... Setting up libnsl2:amd64 (1.3.0-3+b2) ... Setting up libcairo-gobject2:amd64 (1.18.2-2) ... Setting up gcc-14-x86-64-linux-gnu (14.2.0-6) ... Setting up libpangoft2-1.0-0:amd64 (1.54.0+ds-2) ... Setting up libcups2t64:amd64 (2.4.10-2) ... Setting up libpangocairo-1.0-0:amd64 (1.54.0+ds-2) ... Setting up libatk-bridge2.0-0t64:amd64 (2.54.0-1) ... Setting up libpython3.12-stdlib:amd64 (3.12.6-1) ... Setting up gcc-x86-64-linux-gnu (4:14.1.0-2) ... Setting up python3.12 (3.12.6-1) ... Setting up libcairo2-ocaml (0.6.4+dfsg-4+b1) ... Setting up dconf-service (0.40.0-4+b2) ... Setting up gcc-14 (14.2.0-6) ... Setting up librsvg2-2:amd64 (2.59.1+dfsg-1) ... Setting up librsvg2-common:amd64 (2.59.1+dfsg-1) ... Setting up libpython3-stdlib:amd64 (3.12.6-1) ... Setting up dconf-gsettings-backend:amd64 (0.40.0-4+b2) ... Setting up python3 (3.12.6-1) ... Setting up gcc (4:14.1.0-2) ... Setting up libgtk-3-common (3.24.43-4) ... Setting up gsettings-desktop-schemas (47.1-1) ... Setting up ocaml (5.2.0-3) ... Setting up libgtk-3-0t64:amd64 (3.24.43-4) ... Setting up liblablgtk3-ocaml (3.1.5-1+b1) ... Setting up libfindlib-ocaml-dev (1.9.6-3) ... Setting up at-spi2-core (2.54.0-1) ... Setting up libocamlgraph-ocaml-dev (2.1.0-3+b1) ... Setting up libgtk-3-bin (3.24.43-4) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-3) ... Setting up liblablgtksourceview3-ocaml (3.1.5-1+b1) ... Setting up why3 (1.7.2-2+b1) ... Setting up frama-c-base (20220511-manganese-5+b12) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.196-1+b1) ... Setting up dmsetup (2:1.02.196-1+b1) ... Setting up libcryptsetup12:amd64 (2:2.7.5-1) ... Setting up systemd-cryptsetup (256.6-1) ... Processing triggers for libc-bin (2.40-3) ... Processing triggers for systemd (256.6-1) ... Processing triggers for ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. Processing triggers for libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... 0m31.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', '-y', 'install', 'frama-c-base=20220511-manganese-5+b12'] 0m31.3s INFO: Running scripts post_install 0m31.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_install_exceptions'] 0m31.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_install_exceptions'] 0m31.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m32.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m33.4s ERROR: WARN: Broken symlinks: /etc/vconsole.conf -> default/keyboard /etc/default/locale -> ../locale.conf 0m34.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', '-ac', '--ignore-obsolete'] 0m36.5s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', '-ac', '--ignore-obsolete'] 0m36.5s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m36.5s DUMP: 0.15.6 0m36.5s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m36.5s INFO: Running adequate version 0.15.6 now. 0m36.5s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'frama-c-base'] 0m36.7s DUMP: frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/benchmark_database.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/build_callgraph.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/frama_c_results.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/function_finder.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/git_utils.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/results_display.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/source_filter.py 0m36.7s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'frama-c-base'] 0m36.7s ERROR: WARN: Inadequate results from running adequate! frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/benchmark_database.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/build_callgraph.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/frama_c_results.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/function_finder.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/git_utils.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/results_display.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/source_filter.py 0m36.7s ERROR: WARN: Running adequate resulted in inadequate tags found: py-file-not-bytecompiled 0m36.7s INFO: Running scripts pre_remove 0m36.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m36.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m36.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m36.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m36.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m41.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m41.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m41.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m41.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m41.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m41.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_exceptions'] 0m41.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/pre_remove_exceptions'] 0m41.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m41.3s DUMP: install ok installed adduser adduser 3.137 install ok installed adwaita-icon-theme adwaita-icon-theme 47.0-2 install ok installed apt apt 2.9.8 install ok installed at-spi2-common at-spi2-common 2.54.0-1 install ok installed at-spi2-core at-spi2-core 2.54.0-1 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.4 install ok installed bash bash 5.2.32-1+b1 install ok installed binutils binutils 2.43.1-5 install ok installed binutils-common:amd64 binutils-common 2.43.1-5 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.43.1-5 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed ca-certificates ca-certificates 20240203 install ok installed coreutils coreutils 9.4-3.1 install ok installed cpp cpp 4:14.1.0-2 install ok installed cpp-14 cpp-14 14.2.0-6 install ok installed cpp-14-x86-64-linux-gnu cpp-14-x86-64-linux-gnu 14.2.0-6 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:14.1.0-2 install ok installed cvc4 cvc4 1.8-3+b3 install ok installed dash dash 0.5.12-9 install ok installed dbus dbus 1.14.10-4+b1 install ok installed dbus-bin dbus-bin 1.14.10-4+b1 install ok installed dbus-daemon dbus-daemon 1.14.10-4+b1 install ok installed dbus-session-bus-common dbus-session-bus-common 1.14.10-4 install ok installed dbus-system-bus-common dbus-system-bus-common 1.14.10-4 install ok installed dbus-user-session dbus-user-session 1.14.10-4+b1 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.40.0-4+b2 install ok installed dconf-service dconf-service 0.40.0-4+b2 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dmsetup dmsetup 2:1.02.196-1+b1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1 install ok installed file file 1:5.45-3 install ok installed findutils findutils 4.10.0-3 install ok installed fontconfig fontconfig 2.15.0-1.1 install ok installed fontconfig-config fontconfig-config 2.15.0-1.1 install ok installed fonts-dejavu-core fonts-dejavu-core 2.37-8 install ok installed fonts-dejavu-mono fonts-dejavu-mono 2.37-8 install ok installed frama-c-base frama-c-base 20220511-manganese-5+b12 install ok installed gcc gcc 4:14.1.0-2 install ok installed gcc-14 gcc-14 14.2.0-6 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-6 install ok installed gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu 14.2.0-6 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:14.1.0-2 install ok installed gpgv gpgv 2.2.43-8+b1 install ok installed grep grep 3.11-4 install ok installed gsettings-desktop-schemas gsettings-desktop-schemas 47.1-1 install ok installed gtk-update-icon-cache gtk-update-icon-cache 4.16.3+ds-1 install ok installed gzip gzip 1.12-1.1 install ok installed hicolor-icon-theme hicolor-icon-theme 0.18-1 install ok installed hostname hostname 3.23+nmu2 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed krb5-locales krb5-locales 1.21.3-3 install ok installed ledit ledit 2.04-8+b5 install ok installed libacl1:amd64 libacl1 2.3.2-2 install ok installed libantlr3c-3.4-0:amd64 libantlr3c-3.4-0 3.4+dfsg-4+b1 install ok installed libapparmor1:amd64 libapparmor1 3.1.7-1+b1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.8 install ok installed libasan8:amd64 libasan8 14.2.0-6 install ok installed libatk-bridge2.0-0t64:amd64 libatk-bridge2.0-0t64 2.54.0-1 install ok installed libatk1.0-0t64:amd64 libatk1.0-0t64 2.54.0-1 install ok installed libatomic1:amd64 libatomic1 14.2.0-6 install ok installed libatspi2.0-0t64:amd64 libatspi2.0-0t64 2.54.0-1 install ok installed libattr1:amd64 libattr1 1:2.5.2-1 install ok installed libaudit-common libaudit-common 1:3.1.2-4 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-4+b1 install ok installed libavahi-client3:amd64 libavahi-client3 0.8-13+b2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.8-13+b2 install ok installed libavahi-common3:amd64 libavahi-common3 0.8-13+b2 install ok installed libbinutils:amd64 libbinutils 2.43.1-5 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 install ok installed libbrotli1:amd64 libbrotli1 1.1.0-2+b4 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc-dev-bin libc-dev-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libc6-dev:amd64 libc6-dev 2.40-3 install ok installed libcairo-gobject2:amd64 libcairo-gobject2 1.18.2-2 install ok installed libcairo2:amd64 libcairo2 1.18.2-2 install ok installed libcairo2-ocaml libcairo2-ocaml 0.6.4+dfsg-4+b1 install ok installed libcamlp-streams-ocaml libcamlp-streams-ocaml 5.0.1-3+b2 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcc1-0:amd64 libcc1-0 14.2.0-6 install ok installed libcln6:amd64 libcln6 1.3.7-1 install ok installed libcloudproviders0:amd64 libcloudproviders0 0.3.6-1 install ok installed libcolord2:amd64 libcolord2 1.4.7-1+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.2.0-3 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.36-5 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libcryptsetup12:amd64 libcryptsetup12 2:2.7.5-1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.43.1-5 install ok installed libctf0:amd64 libctf0 2.43.1-5 install ok installed libcups2t64:amd64 libcups2t64 2.4.10-2 install ok installed libcvc4-7:amd64 libcvc4-7 1.8-3+b3 install ok installed libcvc4parser7:amd64 libcvc4parser7 1.8-3+b3 install ok installed libdatrie1:amd64 libdatrie1 0.2.13-3 install ok installed libdav1d7:amd64 libdav1d7 1.4.3-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-7 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.14.10-4+b1 install ok installed libdconf1:amd64 libdconf1 0.40.0-4+b2 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272 install ok installed libdeflate0:amd64 libdeflate0 1.22-1 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.196-1+b1 install ok installed libepoxy0:amd64 libepoxy0 1.5.10-2 install ok installed libexpat1:amd64 libexpat1 2.6.3-1 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.6-3 install ok installed libfindlib-ocaml-dev libfindlib-ocaml-dev 1.9.6-3 install ok installed libfontconfig1:amd64 libfontconfig1 2.15.0-1.1 install ok installed libfreetype6:amd64 libfreetype6 2.13.3+dfsg-1 install ok installed libfribidi0:amd64 libfribidi0 1.0.15-1 install ok installed libgcc-14-dev:amd64 libgcc-14-dev 14.2.0-6 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgdbm-compat4t64:amd64 libgdbm-compat4t64 1.24-2 install ok installed libgdbm6t64:amd64 libgdbm6t64 1.24-2 install ok installed libgdk-pixbuf-2.0-0:amd64 libgdk-pixbuf-2.0-0 2.42.12+dfsg-1 install ok installed libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-bin 2.42.12+dfsg-1 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.42.12+dfsg-1 install ok installed libglib2.0-0t64:amd64 libglib2.0-0t64 2.82.1-1 install ok installed libglib2.0-data libglib2.0-data 2.82.1-1 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgomp1:amd64 libgomp1 14.2.0-6 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libgpm2:amd64 libgpm2 1.20.7-11 install ok installed libgprofng0:amd64 libgprofng0 2.43.1-5 install ok installed libgraphite2-3:amd64 libgraphite2-3 1.3.14-2 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.21.3-3 install ok installed libgtk-3-0t64:amd64 libgtk-3-0t64 3.24.43-4 install ok installed libgtk-3-bin libgtk-3-bin 3.24.43-4 install ok installed libgtk-3-common libgtk-3-common 3.24.43-4 install ok installed libgtksourceview-3.0-1:amd64 libgtksourceview-3.0-1 3.24.11-3 install ok installed libgtksourceview-3.0-common libgtksourceview-3.0-common 3.24.11-3 install ok installed libharfbuzz0b:amd64 libharfbuzz0b 9.0.0-1 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libhwasan0:amd64 libhwasan0 14.2.0-6 install ok installed libicu72:amd64 libicu72 72.1-5 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed libisl23:amd64 libisl23 0.27-1 install ok installed libitm1:amd64 libitm1 14.2.0-6 install ok installed libjansson4:amd64 libjansson4 2.14-2+b2 install ok installed libjbig0:amd64 libjbig0 2.1-6.1+b1 install ok installed libjpeg62-turbo:amd64 libjpeg62-turbo 1:2.1.5-3 install ok installed libjson-c5:amd64 libjson-c5 0.18+ds-1 install ok installed libk5crypto3:amd64 libk5crypto3 1.21.3-3 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-3 install ok installed libkmod2:amd64 libkmod2 33+20240816-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.21.3-3 install ok installed libkrb5support0:amd64 libkrb5support0 1.21.3-3 install ok installed liblablgtk3-ocaml liblablgtk3-ocaml 3.1.5-1+b1 install ok installed liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml 3.1.5-1+b1 install ok installed liblcms2-2:amd64 liblcms2-2 2.14-2+b1 install ok installed liblerc4:amd64 liblerc4 4.0.0+ds-4+b1 install ok installed liblsan0:amd64 liblsan0 14.2.0-6 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.2-2 install ok installed libmagic-mgc libmagic-mgc 1:5.45-3 install ok installed libmagic1t64:amd64 libmagic1t64 1:5.45-3 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libmpc3:amd64 libmpc3 1.3.1-1+b2 install ok installed libmpfr6:amd64 libmpfr6 4.2.1-1+b1 install ok installed libncurses-dev:amd64 libncurses-dev 6.5-2 install ok installed libncurses6:amd64 libncurses6 6.5-2 install ok installed libncursesw6:amd64 libncursesw6 6.5-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libnsl2:amd64 libnsl2 1.3.0-3+b2 install ok installed libnss-systemd:amd64 libnss-systemd 256.6-1 install ok installed libocamlgraph-ocaml-dev libocamlgraph-ocaml-dev 2.1.0-3+b1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam-systemd:amd64 libpam-systemd 256.6-1 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.54.0+ds-2 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.54.0+ds-2 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.54.0+ds-2 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libperl5.38t64:amd64 libperl5.38t64 5.38.2-5 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.42.2-1+b1 install ok installed libpng16-16t64:amd64 libpng16-16t64 1.6.44-2 install ok installed libppx-deriving-ocaml libppx-deriving-ocaml 6.0.3-1 install ok installed libppx-import-ocaml libppx-import-ocaml 1.11.0-2+b3 install ok installed libproc2-0:amd64 libproc2-0 2:4.0.4-6 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.12.6-1 install ok installed libpython3.12-minimal:amd64 libpython3.12-minimal 3.12.6-1 install ok installed libpython3.12-stdlib:amd64 libpython3.12-stdlib 3.12.6-1 install ok installed libquadmath0:amd64 libquadmath0 14.2.0-6 install ok installed libreadline8t64:amd64 libreadline8t64 8.2-5 install ok installed librsvg2-2:amd64 librsvg2-2 2.59.1+dfsg-1 install ok installed librsvg2-common:amd64 librsvg2-common 2.59.1+dfsg-1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.17.0-1 install ok installed libsframe1:amd64 libsframe1 2.43.1-5 install ok installed libsharpyuv0:amd64 libsharpyuv0 1.4.0-0.1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.0-1 install ok installed libss2:amd64 libss2 1.47.1-1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-6 install ok installed libstdlib-ocaml libstdlib-ocaml 5.2.0-3 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 5.2.0-3 install ok installed libsystemd-shared:amd64 libsystemd-shared 256.6-1 install ok installed libsystemd0:amd64 libsystemd0 256.6-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libthai-data libthai-data 0.1.29-2 install ok installed libthai0:amd64 libthai0 0.1.29-2 install ok installed libtiff6:amd64 libtiff6 4.5.1+git230720-5 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libtirpc-common libtirpc-common 1.3.4+ds-1.3 install ok installed libtirpc3t64:amd64 libtirpc3t64 1.3.4+ds-1.3 install ok installed libtsan2:amd64 libtsan2 14.2.0-6 install ok installed libubsan1:amd64 libubsan1 14.2.0-6 install ok installed libudev1:amd64 libudev1 256.6-1 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libwayland-client0:amd64 libwayland-client0 1.23.0-1 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.23.0-1 install ok installed libwayland-egl1:amd64 libwayland-egl1 1.23.0-1 install ok installed libwebp7:amd64 libwebp7 1.4.0-0.1 install ok installed libx11-6:amd64 libx11-6 2:1.8.7-1+b1 install ok installed libx11-data libx11-data 2:1.8.7-1 install ok installed libxau6:amd64 libxau6 1:1.0.9-1+b1 install ok installed libxcb-render0:amd64 libxcb-render0 1.17.0-2 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.17.0-2 install ok installed libxcb1:amd64 libxcb1 1.17.0-2 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.5-1+b1 install ok installed libxcursor1:amd64 libxcursor1 1:1.2.2-1 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.6-1+b1 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.2-3+b1 install ok installed libxext6:amd64 libxext6 2:1.3.4-1+b2 install ok installed libxfixes3:amd64 libxfixes3 1:6.0.0-2+b1 install ok installed libxi6:amd64 libxi6 2:1.8.2-1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.4-3+b1 install ok installed libxkbcommon0:amd64 libxkbcommon0 1.6.0-1+b1 install ok installed libxml2:amd64 libxml2 2.12.7+dfsg+really2.9.14-0.1 install ok installed libxrandr2:amd64 libxrandr2 2:1.5.4-1 install ok installed libxrender1:amd64 libxrender1 1:0.9.10-1.1+b1 install ok installed libxtst6:amd64 libxtst6 2:1.2.3-1.1+b1 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libyojson-ocaml libyojson-ocaml 2.2.2-1 install ok installed libzarith-ocaml libzarith-ocaml 1.14-1 install ok installed libzstd-dev:amd64 libzstd-dev 1.5.6+dfsg-1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed linux-libc-dev linux-libc-dev 6.10.11-1 install ok installed linux-sysctl-defaults linux-sysctl-defaults 4.10.1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1 install ok installed manpages manpages 6.8-2 install ok installed manpages-dev manpages-dev 6.8-2 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed media-types media-types 10.1.0 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed netbase netbase 6.4 install ok installed ocaml ocaml 5.2.0-3 install ok installed ocaml-base ocaml-base 5.2.0-3 install ok installed ocaml-findlib ocaml-findlib 1.9.6-3 install ok installed ocaml-interp ocaml-interp 5.2.0-3 install ok installed ocaml-man ocaml-man 5.2.0-3 install ok installed openssl openssl 3.3.2-1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-1 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl perl 5.38.2-5 install ok installed perl-base perl-base 5.38.2-5 install ok installed perl-modules-5.38 perl-modules-5.38 5.38.2-5 install ok installed procps procps 2:4.0.4-6 install ok installed psmisc psmisc 23.7-1 install ok installed python3 python3 3.12.6-1 install ok installed python3-minimal python3-minimal 3.12.6-1 install ok installed python3.12 python3.12 3.12.6-1 install ok installed python3.12-minimal python3.12-minimal 3.12.6-1 install ok installed readline-common readline-common 8.2-5 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-2 install ok installed sensible-utils sensible-utils 0.0.24 install ok installed shared-mime-info shared-mime-info 2.4-5+b1 install ok installed systemd systemd 256.6-1 install ok installed systemd-cryptsetup systemd-cryptsetup 256.6-1 install ok installed systemd-sysv systemd-sysv 256.6-1 install ok installed systemd-timesyncd systemd-timesyncd 256.6-1 install ok installed sysvinit-utils sysvinit-utils 3.10-2 install ok installed tar tar 1.35+dfsg-3 install ok installed tex-common tex-common 6.18 install ok installed tzdata tzdata 2024a-4 install ok installed ucf ucf 3.0043+nmu1 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed why3 why3 1.7.2-2+b1 install ok installed x11-common x11-common 1:7.7+23.1 install ok installed xdg-user-dirs xdg-user-dirs 0.18-1 install ok installed xkb-data xkb-data 2.42-1 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 0m41.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m41.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'remove', 'adduser', 'adwaita-icon-theme', 'at-spi2-common', 'at-spi2-core', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'ca-certificates', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'cvc4', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'file', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'fonts-dejavu-mono', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'ledit', 'libantlr3c-3.4-0:amd64', 'libapparmor1:amd64', 'libasan8:amd64', 'libatk-bridge2.0-0t64:amd64', 'libatk1.0-0t64:amd64', 'libatomic1:amd64', 'libatspi2.0-0t64:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcamlp-streams-ocaml', 'libcc1-0:amd64', 'libcln6:amd64', 'libcloudproviders0:amd64', 'libcolord2:amd64', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2t64:amd64', 'libcvc4-7:amd64', 'libcvc4parser7:amd64', 'libdatrie1:amd64', 'libdav1d7:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-14-dev:amd64', 'libgdbm-compat4t64:amd64', 'libgdbm6t64:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-bin', 'libgdk-pixbuf2.0-common', 'libglib2.0-0t64:amd64', 'libglib2.0-data', 'libgomp1:amd64', 'libgpm2:amd64', 'libgprofng0:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0t64:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libhwasan0:amd64', 'libicu72:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkmod2:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblerc4:amd64', 'liblsan0:amd64', 'libmagic-mgc', 'libmagic1t64:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libnss-systemd:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.38t64:amd64', 'libpixman-1-0:amd64', 'libpng16-16t64:amd64', 'libppx-deriving-ocaml', 'libppx-import-ocaml', 'libproc2-0:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8t64:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsexplib0-ocaml', 'libsframe1:amd64', 'libsharpyuv0:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libsystemd-shared:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff6:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp7:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxtst6:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'linux-sysctl-defaults', 'manpages', 'manpages-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'ocaml-man', 'openssl', 'perl', 'perl-modules-5.38', 'procps', 'psmisc', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-cryptsetup', 'systemd-sysv', 'systemd-timesyncd', 'tex-common', 'ucf', 'why3', 'x11-common', 'xdg-user-dirs', 'xkb-data', 'frama-c-base'] 0m43.6s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: adduser adwaita-icon-theme at-spi2-common at-spi2-core binutils binutils-common binutils-x86-64-linux-gnu ca-certificates cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu cvc4 dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service dmsetup file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme krb5-locales ledit libantlr3c-3.4-0 libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcamlp-streams-ocaml libcc1-0 libcln6 libcloudproviders0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2t64 libcvc4-7 libcvc4parser7 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libepoxy0 libexpat1 libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfreetype6 libfribidi0 libgcc-14-dev libgdbm-compat4t64 libgdbm6t64 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libglib2.0-0t64 libglib2.0-data libgomp1 libgpm2 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-bin libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libicu72 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmagic-mgc libmagic1t64 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl2 libnss-systemd libocamlgraph-ocaml-dev libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.38t64 libpixman-1-0 libpng16-16t64 libppx-deriving-ocaml libppx-import-ocaml libproc2-0 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0 libreadline8t64 librsvg2-2 librsvg2-common libsexplib0-ocaml libsframe1 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libthai-data libthai0 libtiff6 libtirpc-common libtirpc3t64 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 libxtst6 libyojson-ocaml libzarith-ocaml libzstd-dev linux-libc-dev linux-sysctl-defaults manpages manpages-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp ocaml-man openssl perl perl-modules-5.38 procps psmisc python3 python3-minimal python3.12 python3.12-minimal readline-common rpcsvc-proto sensible-utils shared-mime-info systemd systemd-cryptsetup systemd-sysv systemd-timesyncd tex-common ucf why3 x11-common xdg-user-dirs xkb-data 0 upgraded, 0 newly installed, 218 to remove and 0 not upgraded. After this operation, 1061 MB disk space will be freed. (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 ... 26443 files and directories currently installed.) Removing why3 (1.7.2-2+b1) ... Removing frama-c-base (20220511-manganese-5+b12) ... Removing liblablgtksourceview3-ocaml (3.1.5-1+b1) ... Removing libgtk-3-bin (3.24.43-4) ... Removing at-spi2-core (2.54.0-1) ... Removing gsettings-desktop-schemas (47.1-1) ... Removing libgtksourceview-3.0-1:amd64 (3.24.11-3) ... Removing libocamlgraph-ocaml-dev (2.1.0-3+b1) ... Removing libfindlib-ocaml-dev (1.9.6-3) ... Removing ocaml (5.2.0-3) ... Removing gcc (4:14.1.0-2) ... Removing gcc-14 (14.2.0-6) ... Removing binutils (2.43.1-5) ... Removing gcc-x86-64-linux-gnu (4:14.1.0-2) ... Removing gcc-14-x86-64-linux-gnu (14.2.0-6) ... Removing binutils-x86-64-linux-gnu (2.43.1-5) ... Removing libgprofng0:amd64 (2.43.1-5) ... Removing libctf0:amd64 (2.43.1-5) ... Removing libbinutils:amd64 (2.43.1-5) ... Removing binutils-common:amd64 (2.43.1-5) ... Removing ca-certificates (20240203) ... Removing dangling symlinks from /etc/ssl/certs... done. Removing cpp (4:14.1.0-2) ... Removing cpp-14 (14.2.0-6) ... Removing cpp-x86-64-linux-gnu (4:14.1.0-2) ... Removing cpp-14-x86-64-linux-gnu (14.2.0-6) ... Removing cvc4 (1.8-3+b3) ... Removing systemd-cryptsetup (256.6-1) ... Removing libcryptsetup12:amd64 (2:2.7.5-1) ... Removing file (1:5.45-3) ... Removing librsvg2-common:amd64 (2.59.1+dfsg-1) ... Removing librsvg2-2:amd64 (2.59.1+dfsg-1) ... Removing liblablgtk3-ocaml (3.1.5-1+b1) ... Removing libcairo2-ocaml (0.6.4+dfsg-4+b1) ... Removing krb5-locales (1.21.3-3) ... Removing ledit (2.04-8+b5) ... Removing libcvc4parser7:amd64 (1.8-3+b3) ... Removing libantlr3c-3.4-0:amd64 (3.4+dfsg-4+b1) ... Removing systemd-timesyncd (256.6-1) ... Removing libgcc-14-dev:amd64 (14.2.0-6) ... Removing libasan8:amd64 (14.2.0-6) ... Removing libgdk-pixbuf2.0-bin (2.42.12+dfsg-1) ... Removing libncurses-dev:amd64 (6.5-2) ... Removing libc6-dev:amd64 (2.40-3) ... Removing libc-dev-bin (2.40-3) ... Removing libcamlp-streams-ocaml (5.0.1-3+b2) ... Removing libcc1-0:amd64 (14.2.0-6) ... Removing libcvc4-7:amd64 (1.8-3+b3) ... Removing libcln6:amd64 (1.3.7-1) ... Removing ocaml-interp (5.2.0-3) ... Removing libcompiler-libs-ocaml-dev (5.2.0-3) ... Removing libcrypt-dev:amd64 (1:4.4.36-5) ... Removing libctf-nobfd0:amd64 (2.43.1-5) ... Removing libdav1d7:amd64 (1.4.3-1) ... Removing python3 (3.12.6-1) ... Removing python3-minimal (3.12.6-1) ... Removing python3.12 (3.12.6-1) ... Removing python3.12-minimal (3.12.6-1) ... Removing ocaml-findlib (1.9.6-3) ... Removing libfindlib-ocaml (1.9.6-3) ... Removing perl (5.38.2-5) ... Removing libperl5.38t64:amd64 (5.38.2-5) ... Removing libgdbm-compat4t64:amd64 (1.24-2) ... Removing libgdbm6t64:amd64 (1.24-2) ... Removing libglib2.0-data (2.82.1-1) ... Removing libgomp1:amd64 (14.2.0-6) ... Removing libgpm2:amd64 (1.20.7-11) ... Removing libpython3-stdlib:amd64 (3.12.6-1) ... Removing libpython3.12-stdlib:amd64 (3.12.6-1) ... find: '/usr/lib/python3': No such file or directory Removing libnsl2:amd64 (1.3.0-3+b2) ... Removing libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Removing libgtksourceview-3.0-common (3.24.11-3) ... Removing libhwasan0:amd64 (14.2.0-6) ... Removing libisl23:amd64 (0.27-1) ... Removing libitm1:amd64 (14.2.0-6) ... Removing libjansson4:amd64 (2.14-2+b2) ... Removing libjson-c5:amd64 (0.18+ds-1) ... Removing libkmod2:amd64 (33+20240816-2) ... Removing liblsan0:amd64 (14.2.0-6) ... Removing libmagic1t64:amd64 (1:5.45-3) ... Removing libmagic-mgc (1:5.45-3) ... Removing libmpc3:amd64 (1.3.1-1+b2) ... Removing libmpfr6:amd64 (4.2.1-1+b1) ... Removing libncurses6:amd64 (6.5-2) ... Removing libnss-systemd:amd64 (256.6-1) ... Removing libppx-deriving-ocaml (6.0.3-1) ... Removing libppx-import-ocaml (1.11.0-2+b3) ... Removing libpython3.12-minimal:amd64 (3.12.6-1) ... find: '/usr/lib/python3': No such file or directory Removing libquadmath0:amd64 (14.2.0-6) ... Removing libreadline8t64:amd64 (8.2-5) ... Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Removing libsexplib0-ocaml (0.17.0-1) ... Removing libsframe1:amd64 (2.43.1-5) ... Removing libsqlite3-0:amd64 (3.46.0-1) ... Removing libyojson-ocaml (2.2.2-1) ... Removing libzarith-ocaml (1.14-1) ... Removing ocaml-base (5.2.0-3) ... Removing libstdlib-ocaml-dev (5.2.0-3) ... Removing libstdlib-ocaml (5.2.0-3) ... Removing libtirpc-common (1.3.4+ds-1.3) ... Removing libtsan2:amd64 (14.2.0-6) ... Removing libubsan1:amd64 (14.2.0-6) ... Removing libxtst6:amd64 (2:1.2.3-1.1+b1) ... Removing libzstd-dev:amd64 (1.5.6+dfsg-1) ... Removing linux-libc-dev (6.10.11-1) ... Removing linux-sysctl-defaults (4.10.1) ... Removing manpages-dev (6.8-2) ... Removing manpages (6.8-2) ... Removing media-types (10.1.0) ... Removing netbase (6.4) ... Removing ocaml-man (5.2.0-3) ... Removing openssl (3.3.2-1) ... Removing perl-modules-5.38 (5.38.2-5) ... Removing psmisc (23.7-1) ... Removing readline-common (8.2-5) ... Removing rpcsvc-proto (1.4.3-1) ... Removing tex-common (6.18) ... Removing ucf (3.0043+nmu1) ... Removing sensible-utils (0.0.24) ... Removing x11-common (1:7.7+23.1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Removing xdg-user-dirs (0.18-1) ... Removing libgtk-3-0t64:amd64 (3.24.43-4) ... Removing libgtk-3-common (3.24.43-4) ... Removing dconf-gsettings-backend:amd64 (0.40.0-4+b2) ... Removing dconf-service (0.40.0-4+b2) ... Removing dbus-user-session (1.14.10-4+b1) ... Removing libpam-systemd:amd64 (256.6-1) ... Removing dbus (1.14.10-4+b1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Removing dbus-system-bus-common (1.14.10-4) ... Removing adduser (3.137) ... Removing adwaita-icon-theme (47.0-2) ... Removing libatk-bridge2.0-0t64:amd64 (2.54.0-1) ... Removing libatk1.0-0t64:amd64 (2.54.0-1) ... Removing at-spi2-common (2.54.0-1) ... Removing dbus-daemon (1.14.10-4+b1) ... Removing dbus-bin (1.14.10-4+b1) ... Removing dbus-session-bus-common (1.14.10-4) ... Removing libpangocairo-1.0-0:amd64 (1.54.0+ds-2) ... Removing libpangoft2-1.0-0:amd64 (1.54.0+ds-2) ... Removing libpango-1.0-0:amd64 (1.54.0+ds-2) ... Removing fontconfig (2.15.0-1.1) ... Removing libcairo-gobject2:amd64 (1.18.2-2) ... Removing libcairo2:amd64 (1.18.2-2) ... Removing libfontconfig1:amd64 (2.15.0-1.1) ... Removing fontconfig-config (2.15.0-1.1) ... Removing fonts-dejavu-core (2.37-8) ... Removing fonts-dejavu-mono (2.37-8) ... Removing gtk-update-icon-cache (4.16.3+ds-1) ... Removing hicolor-icon-theme (0.18-1) ... Removing systemd-sysv (256.6-1) ... Removing systemd (256.6-1) ... Removing libsystemd-shared:amd64 (256.6-1) ... Removing libapparmor1:amd64 (3.1.7-1+b1) ... Removing libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... Removing shared-mime-info (2.4-5+b1) ... Removing libcloudproviders0:amd64 (0.3.6-1) ... Removing libatspi2.0-0t64:amd64 (2.54.0-1) ... Removing libcups2t64:amd64 (2.4.10-2) ... Removing libavahi-client3:amd64 (0.8-13+b2) ... Removing libavahi-common3:amd64 (0.8-13+b2) ... Removing libavahi-common-data:amd64 (0.8-13+b2) ... Removing libharfbuzz0b:amd64 (9.0.0-1) ... Removing libfreetype6:amd64 (2.13.3+dfsg-1) ... Removing libbrotli1:amd64 (1.1.0-2+b4) ... Removing libcolord2:amd64 (1.4.7-1+b1) ... Removing libthai0:amd64 (0.1.29-2) ... Removing libdatrie1:amd64 (0.2.13-3) ... Removing libdbus-1-3:amd64 (1.14.10-4+b1) ... Removing libdconf1:amd64 (0.40.0-4+b2) ... Removing libtiff6:amd64 (4.5.1+git230720-5) ... Removing libdeflate0:amd64 (1.22-1) ... Removing libepoxy0:amd64 (1.5.10-2) ... Removing libexpat1:amd64 (2.6.3-1) ... Removing libfribidi0:amd64 (1.0.15-1) ... Removing libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... Removing libgraphite2-3:amd64 (1.3.14-2) ... Removing libgssapi-krb5-2:amd64 (1.21.3-3) ... Removing libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.1) ... Removing libicu72:amd64 (72.1-5) ... Removing libjbig0:amd64 (2.1-6.1+b1) ... Removing libjpeg62-turbo:amd64 (1:2.1.5-3) ... Removing libkrb5-3:amd64 (1.21.3-3) ... Removing libk5crypto3:amd64 (1.21.3-3) ... Removing libkeyutils1:amd64 (1.6.3-3) ... Removing libkrb5support0:amd64 (1.21.3-3) ... Removing liblcms2-2:amd64 (2.14-2+b1) ... Removing liblerc4:amd64 (4.0.0+ds-4+b1) ... Removing procps (2:4.0.4-6) ... Removing libncursesw6:amd64 (6.5-2) ... Removing libpixman-1-0:amd64 (0.42.2-1+b1) ... Removing libpng16-16t64:amd64 (1.6.44-2) ... Removing libproc2-0:amd64 (2:4.0.4-6) ... Removing libwebp7:amd64 (1.4.0-0.1) ... Removing libsharpyuv0:amd64 (1.4.0-0.1) ... Removing libthai-data (0.1.29-2) ... Removing libwayland-cursor0:amd64 (1.23.0-1) ... Removing libwayland-client0:amd64 (1.23.0-1) ... Removing libwayland-egl1:amd64 (1.23.0-1) ... Removing libxrandr2:amd64 (2:1.5.4-1) ... Removing libxcb-shm0:amd64 (1.17.0-2) ... Removing libxcb-render0:amd64 (1.17.0-2) ... Removing libxcomposite1:amd64 (1:0.4.5-1+b1) ... Removing libxcursor1:amd64 (1:1.2.2-1) ... Removing libxdamage1:amd64 (1:1.1.6-1+b1) ... Removing libxinerama1:amd64 (2:1.1.4-3+b1) ... Removing libxfixes3:amd64 (1:6.0.0-2+b1) ... Removing libxi6:amd64 (2:1.8.2-1) ... Removing libxkbcommon0:amd64 (1.6.0-1+b1) ... Removing xkb-data (2.42-1) ... Removing libglib2.0-0t64:amd64 (2.82.1-1) ... Removing libatomic1:amd64 (14.2.0-6) ... Removing libxrender1:amd64 (1:0.9.10-1.1+b1) ... Removing libxext6:amd64 (2:1.3.4-1+b2) ... Removing libx11-6:amd64 (2:1.8.7-1+b1) ... Removing libx11-data (2:1.8.7-1) ... Removing libxcb1:amd64 (1.17.0-2) ... Removing libxau6:amd64 (1:1.0.9-1+b1) ... Removing libxdmcp6:amd64 (1:1.1.2-3+b1) ... Removing dmsetup (2:1.02.196-1+b1) ... Removing libdevmapper1.02.1:amd64 (2:1.02.196-1+b1) ... Processing triggers for libc-bin (2.40-3) ... 0m43.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'remove', 'adduser', 'adwaita-icon-theme', 'at-spi2-common', 'at-spi2-core', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'ca-certificates', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'cvc4', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'file', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'fonts-dejavu-mono', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'ledit', 'libantlr3c-3.4-0:amd64', 'libapparmor1:amd64', 'libasan8:amd64', 'libatk-bridge2.0-0t64:amd64', 'libatk1.0-0t64:amd64', 'libatomic1:amd64', 'libatspi2.0-0t64:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcamlp-streams-ocaml', 'libcc1-0:amd64', 'libcln6:amd64', 'libcloudproviders0:amd64', 'libcolord2:amd64', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2t64:amd64', 'libcvc4-7:amd64', 'libcvc4parser7:amd64', 'libdatrie1:amd64', 'libdav1d7:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-14-dev:amd64', 'libgdbm-compat4t64:amd64', 'libgdbm6t64:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-bin', 'libgdk-pixbuf2.0-common', 'libglib2.0-0t64:amd64', 'libglib2.0-data', 'libgomp1:amd64', 'libgpm2:amd64', 'libgprofng0:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0t64:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libhwasan0:amd64', 'libicu72:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkmod2:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblerc4:amd64', 'liblsan0:amd64', 'libmagic-mgc', 'libmagic1t64:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libnss-systemd:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.38t64:amd64', 'libpixman-1-0:amd64', 'libpng16-16t64:amd64', 'libppx-deriving-ocaml', 'libppx-import-ocaml', 'libproc2-0:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8t64:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsexplib0-ocaml', 'libsframe1:amd64', 'libsharpyuv0:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libsystemd-shared:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff6:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp7:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxtst6:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'linux-sysctl-defaults', 'manpages', 'manpages-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'ocaml-man', 'openssl', 'perl', 'perl-modules-5.38', 'procps', 'psmisc', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-cryptsetup', 'systemd-sysv', 'systemd-timesyncd', 'tex-common', 'ucf', 'why3', 'x11-common', 'xdg-user-dirs', 'xkb-data', 'frama-c-base'] 0m43.6s INFO: Running scripts post_remove 0m43.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_remove_exceptions'] 0m43.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_remove_exceptions'] 0m43.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--purge', 'adduser', 'adwaita-icon-theme', 'at-spi2-common', 'at-spi2-core', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'ca-certificates', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'cvc4', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'file', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'fonts-dejavu-mono', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'ledit', 'libantlr3c-3.4-0:amd64', 'libapparmor1:amd64', 'libasan8:amd64', 'libatk-bridge2.0-0t64:amd64', 'libatk1.0-0t64:amd64', 'libatomic1:amd64', 'libatspi2.0-0t64:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcamlp-streams-ocaml', 'libcc1-0:amd64', 'libcln6:amd64', 'libcloudproviders0:amd64', 'libcolord2:amd64', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2t64:amd64', 'libcvc4-7:amd64', 'libcvc4parser7:amd64', 'libdatrie1:amd64', 'libdav1d7:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-14-dev:amd64', 'libgdbm-compat4t64:amd64', 'libgdbm6t64:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-bin', 'libgdk-pixbuf2.0-common', 'libglib2.0-0t64:amd64', 'libglib2.0-data', 'libgomp1:amd64', 'libgpm2:amd64', 'libgprofng0:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0t64:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libhwasan0:amd64', 'libicu72:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkmod2:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblerc4:amd64', 'liblsan0:amd64', 'libmagic-mgc', 'libmagic1t64:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libnss-systemd:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.38t64:amd64', 'libpixman-1-0:amd64', 'libpng16-16t64:amd64', 'libppx-deriving-ocaml', 'libppx-import-ocaml', 'libproc2-0:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8t64:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsexplib0-ocaml', 'libsframe1:amd64', 'libsharpyuv0:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libsystemd-shared:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff6:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp7:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxtst6:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'linux-sysctl-defaults', 'manpages', 'manpages-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'ocaml-man', 'openssl', 'perl', 'perl-modules-5.38', 'procps', 'psmisc', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-cryptsetup', 'systemd-sysv', 'systemd-timesyncd', 'tex-common', 'ucf', 'why3', 'x11-common', 'xdg-user-dirs', 'xkb-data'] 0m44.1s DUMP: (Reading database ... 5255 files and directories currently installed.) Purging configuration files for adduser (3.137) ... Purging configuration files for adwaita-icon-theme (47.0-2) ... dpkg: warning: ignoring request to remove at-spi2-common which isn't installed Purging configuration files for at-spi2-core (2.54.0-1) ... dpkg: warning: ignoring request to remove binutils which isn't installed Purging configuration files for binutils-common:amd64 (2.43.1-5) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed Purging configuration files for ca-certificates (20240203) ... Removing dangling symlinks from /etc/ssl/certs... done. Purging configuration files for cpp (4:14.1.0-2) ... dpkg: warning: ignoring request to remove cpp-14 which isn't installed dpkg: warning: ignoring request to remove cpp-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cvc4 which isn't installed Purging configuration files for dbus (1.14.10-4+b1) ... rmdir: failed to remove '/var/run/dbus': Directory not empty rmdir: failed to remove '/var/lib/dbus': Directory not empty dpkg: warning: while removing dbus, directory '/var/lib/dbus' not empty so not removed dpkg: warning: ignoring request to remove dbus-bin which isn't installed Purging configuration files for dbus-daemon (1.14.10-4+b1) ... dpkg: warning: ignoring request to remove dbus-session-bus-common which isn't installed dpkg: warning: ignoring request to remove dbus-system-bus-common which isn't installed Purging configuration files for dbus-user-session (1.14.10-4+b1) ... dpkg: warning: ignoring request to remove dconf-gsettings-backend which isn't installed dpkg: warning: ignoring request to remove dconf-service which isn't installed dpkg: warning: ignoring request to remove dmsetup which isn't installed dpkg: warning: ignoring request to remove file which isn't installed Purging configuration files for fontconfig (2.15.0-1.1) ... Purging configuration files for fontconfig-config (2.15.0-1.1) ... dpkg: warning: while removing fontconfig-config, directory '/etc/fonts/conf.d' not empty so not removed Purging configuration files for fonts-dejavu-core (2.37-8) ... Purging configuration files for fonts-dejavu-mono (2.37-8) ... dpkg: warning: while removing fonts-dejavu-mono, directory '/etc/fonts' not empty so not removed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-14 which isn't installed dpkg: warning: ignoring request to remove gcc-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gsettings-desktop-schemas which isn't installed dpkg: warning: ignoring request to remove gtk-update-icon-cache which isn't installed dpkg: warning: ignoring request to remove hicolor-icon-theme which isn't installed dpkg: warning: ignoring request to remove krb5-locales which isn't installed dpkg: warning: ignoring request to remove ledit which isn't installed dpkg: warning: ignoring request to remove libantlr3c-3.4-0 which isn't installed dpkg: warning: ignoring request to remove libapparmor1 which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libatk-bridge2.0-0t64 which isn't installed dpkg: warning: ignoring request to remove libatk1.0-0t64 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libatspi2.0-0t64 which isn't installed dpkg: warning: ignoring request to remove libavahi-client3 which isn't installed dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed dpkg: warning: ignoring request to remove libavahi-common3 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libbrotli1 which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcairo-gobject2 which isn't installed dpkg: warning: ignoring request to remove libcairo2 which isn't installed dpkg: warning: ignoring request to remove libcairo2-ocaml which isn't installed dpkg: warning: ignoring request to remove libcamlp-streams-ocaml which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcln6 which isn't installed dpkg: warning: ignoring request to remove libcloudproviders0 which isn't installed dpkg: warning: ignoring request to remove libcolord2 which isn't installed dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.36-5) ... dpkg: warning: ignoring request to remove libcryptsetup12 which isn't installed dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libcups2t64 which isn't installed dpkg: warning: ignoring request to remove libcvc4-7 which isn't installed dpkg: warning: ignoring request to remove libcvc4parser7 which isn't installed dpkg: warning: ignoring request to remove libdatrie1 which isn't installed dpkg: warning: ignoring request to remove libdav1d7 which isn't installed dpkg: warning: ignoring request to remove libdbus-1-3 which isn't installed dpkg: warning: ignoring request to remove libdconf1 which isn't installed dpkg: warning: ignoring request to remove libdeflate0 which isn't installed dpkg: warning: ignoring request to remove libdevmapper1.02.1 which isn't installed dpkg: warning: ignoring request to remove libepoxy0 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.6-3) ... dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libfontconfig1 which isn't installed dpkg: warning: ignoring request to remove libfreetype6 which isn't installed dpkg: warning: ignoring request to remove libfribidi0 which isn't installed dpkg: warning: ignoring request to remove libgcc-14-dev which isn't installed dpkg: warning: ignoring request to remove libgdbm-compat4t64 which isn't installed dpkg: warning: ignoring request to remove libgdbm6t64 which isn't installed Purging configuration files for libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-1) ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-bin which isn't installed dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed Purging configuration files for libglib2.0-0t64:amd64 (2.82.1-1) ... dpkg: warning: ignoring request to remove libglib2.0-data which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgpm2 which isn't installed dpkg: warning: ignoring request to remove libgprofng0 which isn't installed dpkg: warning: ignoring request to remove libgraphite2-3 which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.21.3-3) ... Purging configuration files for libgtk-3-0t64:amd64 (3.24.43-4) ... dpkg: warning: ignoring request to remove libgtk-3-bin which isn't installed Purging configuration files for libgtk-3-common (3.24.43-4) ... dpkg: warning: ignoring request to remove libgtksourceview-3.0-1 which isn't installed dpkg: warning: ignoring request to remove libgtksourceview-3.0-common which isn't installed dpkg: warning: ignoring request to remove libharfbuzz0b which isn't installed dpkg: warning: ignoring request to remove libhwasan0 which isn't installed dpkg: warning: ignoring request to remove libicu72 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libjbig0 which isn't installed dpkg: warning: ignoring request to remove libjpeg62-turbo which isn't installed dpkg: warning: ignoring request to remove libjson-c5 which isn't installed dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkmod2 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove liblablgtk3-ocaml which isn't installed dpkg: warning: ignoring request to remove liblablgtksourceview3-ocaml which isn't installed dpkg: warning: ignoring request to remove liblcms2-2 which isn't installed dpkg: warning: ignoring request to remove liblerc4 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmagic-mgc which isn't installed Purging configuration files for libmagic1t64:amd64 (1:5.45-3) ... dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed Purging configuration files for libnss-systemd:amd64 (256.6-1) ... dpkg: warning: ignoring request to remove libocamlgraph-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libpam-systemd which isn't installed dpkg: warning: ignoring request to remove libpango-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpangocairo-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpangoft2-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libperl5.38t64 which isn't installed dpkg: warning: ignoring request to remove libpixman-1-0 which isn't installed dpkg: warning: ignoring request to remove libpng16-16t64 which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml which isn't installed dpkg: warning: ignoring request to remove libppx-import-ocaml which isn't installed dpkg: warning: ignoring request to remove libproc2-0 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.12-minimal:amd64 (3.12.6-1) ... dpkg: warning: ignoring request to remove libpython3.12-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed Purging configuration files for libreadline8t64:amd64 (8.2-5) ... dpkg: warning: ignoring request to remove librsvg2-2 which isn't installed dpkg: warning: ignoring request to remove librsvg2-common which isn't installed dpkg: warning: ignoring request to remove libsexplib0-ocaml which isn't installed dpkg: warning: ignoring request to remove libsframe1 which isn't installed dpkg: warning: ignoring request to remove libsharpyuv0 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsystemd-shared which isn't installed dpkg: warning: ignoring request to remove libthai-data which isn't installed dpkg: warning: ignoring request to remove libthai0 which isn't installed dpkg: warning: ignoring request to remove libtiff6 which isn't installed Purging configuration files for libtirpc-common (1.3.4+ds-1.3) ... Purging configuration files for libtirpc3t64:amd64 (1.3.4+ds-1.3) ... dpkg: warning: ignoring request to remove libtsan2 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libwayland-client0 which isn't installed dpkg: warning: ignoring request to remove libwayland-cursor0 which isn't installed dpkg: warning: ignoring request to remove libwayland-egl1 which isn't installed dpkg: warning: ignoring request to remove libwebp7 which isn't installed dpkg: warning: ignoring request to remove libx11-6 which isn't installed dpkg: warning: ignoring request to remove libx11-data which isn't installed dpkg: warning: ignoring request to remove libxau6 which isn't installed dpkg: warning: ignoring request to remove libxcb-render0 which isn't installed dpkg: warning: ignoring request to remove libxcb-shm0 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxcomposite1 which isn't installed dpkg: warning: ignoring request to remove libxcursor1 which isn't installed dpkg: warning: ignoring request to remove libxdamage1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libxext6 which isn't installed dpkg: warning: ignoring request to remove libxfixes3 which isn't installed dpkg: warning: ignoring request to remove libxi6 which isn't installed dpkg: warning: ignoring request to remove libxinerama1 which isn't installed dpkg: warning: ignoring request to remove libxkbcommon0 which isn't installed dpkg: warning: ignoring request to remove libxml2 which isn't installed dpkg: warning: ignoring request to remove libxrandr2 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove libxtst6 which isn't installed dpkg: warning: ignoring request to remove libyojson-ocaml which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove libzstd-dev which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed dpkg: warning: ignoring request to remove linux-sysctl-defaults which isn't installed dpkg: warning: ignoring request to remove manpages which isn't installed dpkg: warning: ignoring request to remove manpages-dev which isn't installed Purging configuration files for media-types (10.1.0) ... Purging configuration files for netbase (6.4) ... dpkg: warning: ignoring request to remove ocaml which isn't installed dpkg: warning: ignoring request to remove ocaml-base which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed dpkg: warning: ignoring request to remove ocaml-man which isn't installed Purging configuration files for openssl (3.3.2-1) ... Purging configuration files for perl (5.38.2-5) ... dpkg: warning: ignoring request to remove perl-modules-5.38 which isn't installed Purging configuration files for procps (2:4.0.4-6) ... dpkg: warning: ignoring request to remove psmisc which isn't installed Purging configuration files for python3 (3.12.6-1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.12 which isn't installed Purging configuration files for python3.12-minimal (3.12.6-1) ... Purging configuration files for readline-common (8.2-5) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed dpkg: warning: ignoring request to remove sensible-utils which isn't installed Purging configuration files for shared-mime-info (2.4-5+b1) ... Purging configuration files for systemd (256.6-1) ... dpkg: warning: ignoring request to remove systemd-cryptsetup which isn't installed dpkg: warning: ignoring request to remove systemd-sysv which isn't installed Purging configuration files for systemd-timesyncd (256.6-1) ... Purging configuration files for tex-common (6.18) ... Purging configuration files for ucf (3.0043+nmu1) ... Purging configuration files for why3 (1.7.2-2+b1) ... Purging configuration files for x11-common (1:7.7+23.1) ... Purging configuration files for xdg-user-dirs (0.18-1) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed 0m44.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--purge', 'adduser', 'adwaita-icon-theme', 'at-spi2-common', 'at-spi2-core', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'ca-certificates', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'cvc4', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'file', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'fonts-dejavu-mono', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'ledit', 'libantlr3c-3.4-0:amd64', 'libapparmor1:amd64', 'libasan8:amd64', 'libatk-bridge2.0-0t64:amd64', 'libatk1.0-0t64:amd64', 'libatomic1:amd64', 'libatspi2.0-0t64:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcamlp-streams-ocaml', 'libcc1-0:amd64', 'libcln6:amd64', 'libcloudproviders0:amd64', 'libcolord2:amd64', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2t64:amd64', 'libcvc4-7:amd64', 'libcvc4parser7:amd64', 'libdatrie1:amd64', 'libdav1d7:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-14-dev:amd64', 'libgdbm-compat4t64:amd64', 'libgdbm6t64:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-bin', 'libgdk-pixbuf2.0-common', 'libglib2.0-0t64:amd64', 'libglib2.0-data', 'libgomp1:amd64', 'libgpm2:amd64', 'libgprofng0:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0t64:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libhwasan0:amd64', 'libicu72:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkmod2:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblerc4:amd64', 'liblsan0:amd64', 'libmagic-mgc', 'libmagic1t64:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libnss-systemd:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.38t64:amd64', 'libpixman-1-0:amd64', 'libpng16-16t64:amd64', 'libppx-deriving-ocaml', 'libppx-import-ocaml', 'libproc2-0:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8t64:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsexplib0-ocaml', 'libsframe1:amd64', 'libsharpyuv0:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libsystemd-shared:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff6:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp7:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxtst6:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'linux-sysctl-defaults', 'manpages', 'manpages-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'ocaml-man', 'openssl', 'perl', 'perl-modules-5.38', 'procps', 'psmisc', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-cryptsetup', 'systemd-sysv', 'systemd-timesyncd', 'tex-common', 'ucf', 'why3', 'x11-common', 'xdg-user-dirs', 'xkb-data'] 0m44.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--purge', 'frama-c-base'] 0m44.1s DUMP: dpkg: warning: ignoring request to remove frama-c-base which isn't installed 0m44.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--purge', 'frama-c-base'] 0m44.1s INFO: Running scripts post_purge 0m44.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_purge_exceptions'] 0m44.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_purge_exceptions'] 0m44.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--purge', '--pending'] 0m44.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--purge', '--pending'] 0m44.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--remove', '--pending'] 0m44.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg', '--remove', '--pending'] 0m44.1s INFO: Running scripts post_test 0m44.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_test_exceptions'] 0m44.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'tmp/scripts/post_test_exceptions'] 0m44.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m44.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m44.6s ERROR: WARN: Broken symlinks: /etc/vconsole.conf -> default/keyboard /etc/fonts/conf.d/70-no-bitmaps-except-emoji.conf -> /usr/share/fontconfig/conf.avail/70-no-bitmaps-except-emoji.conf /etc/default/locale -> ../locale.conf 0m44.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-divert', '--list'] 0m44.6s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m44.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'dpkg-divert', '--list'] 0m44.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'clean'] 0m44.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4', 'apt-get', 'clean'] 0m44.7s DEBUG: Recording chroot state 0m44.9s INFO: Warning: Package purging left files on system: /etc/default/locale -> ../locale.conf not owned /etc/fonts/ owned by: fontconfig-config, fonts-dejavu-core, fonts-dejavu-mono /etc/fonts/conf.d/ owned by: fontconfig-config, fonts-dejavu-core, fonts-dejavu-mono /etc/fonts/conf.d/70-no-bitmaps-except-emoji.conf -> /usr/share/fontconfig/conf.avail/70-no-bitmaps-except-emoji.conf not owned /etc/vconsole.conf -> default/keyboard not owned /root/.ssh/ not owned /var/cache/private/ not owned /var/lib/private/ not owned /var/lib/systemd/coredump/ not owned /var/lib/systemd/ephemeral-trees/ not owned /var/lib/systemd/network/ not owned /var/lib/systemd/pstore/ not owned /var/log/private/ not owned 0m44.9s INFO: PASS: Installation and purging test. 0m45.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/shm'] 0m45.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/shm'] 0m45.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/console'] 0m45.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/console'] 0m45.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/ptmx'] 0m45.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/ptmx'] 0m45.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/pts'] 0m45.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/dev/pts'] 0m45.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/proc'] 0m45.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4/proc'] 0m45.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m45.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpp1zrivb4'] 0m45.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpp1zrivb4 0m45.4s INFO: PASS: All tests. 0m45.4s INFO: piuparts run ends. ret=0 End: 2024-10-13 21:05:47 GMT