Start: 2024-12-01 22:39:51 GMT [stable] Package: hol-light Source: hol-light (20230128-1) Version: 20230128-1+b1 Installed-Size: 43544 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-u46f8, libcamlp-streams-ocaml-dev-jh7j5, ocaml-4.13.1 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python Description: HOL Light theorem prover Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5 Section: math Priority: optional Filename: pool/main/h/hol-light/hol-light_20230128-1+b1_amd64.deb Size: 5768384 MD5sum: 1f032920c2e22b5e55960fd0c06fb05b SHA256: 9e908b3bf1e689769deee58f85df1cfc89b95aef00dcca087d65c89cd9020dfe [sid] Package: hol-light Version: 20231021-2 Installed-Size: 45473 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-zvv96, libcamlp-streams-ocaml-dev-yu0z3, libcompiler-libs-ocaml-dev-rcwc4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python Description: HOL Light theorem prover Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5 Section: math Priority: optional Filename: pool/main/h/hol-light/hol-light_20231021-2_amd64.deb Size: 5909584 MD5sum: 2c116f1e8f32ce038558a7e70c2a24a8 SHA256: 780baa606cf694ad02709f61f106a365680ec6d4c23876d69c391b68ceef2d7f Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --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/bookworm-merged-usr_amd64.tar.gz -d stable -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable2sid/reference-chroot-metadata.dat --apt hol-light=20231021-2 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 --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/bookworm-merged-usr_amd64.tar.gz -d stable -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable2sid/reference-chroot-metadata.dat --apt hol-light=20231021-2 0m0.0s INFO: Running on: Linux piu-slave-conova-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/tmpq04awkea 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpq04awkea 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpq04awkea', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m0.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpq04awkea', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpq04awkea/proc'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpq04awkea/proc'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/pts'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/7', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/7', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ bookworm main 0m0.5s DEBUG: Created policy-rc.d and chmodded it. 0m0.5s DEBUG: Created resolv.conf. 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpq04awkea/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', 'update'] 0m1.7s DUMP: Hit:1 http://deb.debian.org/debian bookworm InRelease Reading package lists... 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', 'update'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-yf', 'dist-upgrade'] 0m2.3s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-yf', 'dist-upgrade'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.7s DUMP: 9667be4591f2cce307f0cd9e8fe66190 - 0m2.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.7s INFO: Running scripts post_setup 0m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_dummy_users'] 0m3.6s 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.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_dummy_users'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', '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/tmpq04awkea', 'tmp/scripts/post_setup_forbid_home'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', '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/tmpq04awkea', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_minimize'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_minimize'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.7s DUMP: install ok installed adduser adduser 3.134 install ok installed apt apt 2.6.1 install ok installed base-files base-files 12.4+deb12u8 install ok installed base-passwd base-passwd 3.6.1 install ok installed bash bash 5.2.15-2+b7 install ok installed bsdutils bsdutils 1:2.38.1-5+deb12u2 install ok installed coreutils coreutils 9.1-1 install ok installed dash dash 0.5.12-2 install ok installed debconf debconf 1.5.82 install ok installed debian-archive-keyring debian-archive-keyring 2023.3+deb12u1 install ok installed debianutils debianutils 5.7-0.5~deb12u1 install ok installed diffutils diffutils 1:3.8-4 install ok installed dpkg dpkg 1.21.22 install ok installed e2fsprogs e2fsprogs 1.47.0-2 install ok installed findutils findutils 4.9.0-4 install ok installed gcc-12-base:amd64 gcc-12-base 12.2.0-14 install ok installed gpgv gpgv 2.2.40-1.1 install ok installed grep grep 3.8-5 install ok installed gzip gzip 1.12-1 install ok installed hostname hostname 3.23+nmu1 install ok installed init-system-helpers init-system-helpers 1.65.2 install ok installed libacl1:amd64 libacl1 2.3.1-3 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.6.1 install ok installed libattr1:amd64 libattr1 1:2.5.1-4 install ok installed libaudit-common libaudit-common 1:3.0.9-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.9-1 install ok installed libblkid1:amd64 libblkid1 2.38.1-5+deb12u2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b1 install ok installed libc-bin libc-bin 2.36-9+deb12u9 install ok installed libc6:amd64 libc6 2.36-9+deb12u9 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.3-1+b3 install ok installed libcap2:amd64 libcap2 1:2.66-4 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.33-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.270 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-2 install ok installed libffi8:amd64 libffi8 3.4.4-1 install ok installed libgcc-s1:amd64 libgcc-s1 12.2.0-14 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.1-3 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg1-1.1 install ok installed libgnutls30:amd64 libgnutls30 3.7.9-2+deb12u3 install ok installed libgpg-error0:amd64 libgpg-error0 1.46-1 install ok installed libhogweed6:amd64 libhogweed6 3.8.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.3.3-1+b1 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1 install ok installed liblzma5:amd64 liblzma5 5.4.1-0.2 install ok installed libmd0:amd64 libmd0 1.0.4-2 install ok installed libmount1:amd64 libmount1 2.38.1-5+deb12u2 install ok installed libnettle8:amd64 libnettle8 3.8.1-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-6+deb12u1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-6+deb12u1 install ok installed libpam-runtime libpam-runtime 1.5.2-6+deb12u1 install ok installed libpam0g:amd64 libpam0g 1.5.2-6+deb12u1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-1 install ok installed libseccomp2:amd64 libseccomp2 2.5.4-1+deb12u1 install ok installed libselinux1:amd64 libselinux1 3.4-1+b6 install ok installed libsemanage-common libsemanage-common 3.4-1 install ok installed libsemanage2:amd64 libsemanage2 3.4-1+b5 install ok installed libsepol2:amd64 libsepol2 3.4-2.1 install ok installed libsmartcols1:amd64 libsmartcols1 2.38.1-5+deb12u2 install ok installed libss2:amd64 libss2 1.47.0-2 install ok installed libstdc++6:amd64 libstdc++6 12.2.0-14 install ok installed libsystemd0:amd64 libsystemd0 252.31-1~deb12u1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2 install ok installed libtinfo6:amd64 libtinfo6 6.4-4 install ok installed libudev1:amd64 libudev1 252.31-1~deb12u1 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-5+deb12u2 install ok installed libxxhash0:amd64 libxxhash0 0.8.1-1 install ok installed libzstd1:amd64 libzstd1 1.5.4+dfsg2-5 install ok installed login login 1:4.13+dfsg1-1+b1 install ok installed logsave logsave 1.47.0-2 install ok installed mawk mawk 1.3.4.20200120-3.1 install ok installed mount mount 2.38.1-5+deb12u2 install ok installed ncurses-base ncurses-base 6.4-4 install ok installed ncurses-bin ncurses-bin 6.4-4 install ok installed passwd passwd 1:4.13+dfsg1-1+b1 install ok installed perl-base perl-base 5.36.0-7+deb12u1 install ok installed sed sed 4.9-1 install ok installed sysvinit-utils sysvinit-utils 3.06-4 install ok installed tar tar 1.34+dfsg-1.2+deb12u1 install ok installed tzdata tzdata 2024a-0+deb12u1 install ok installed usr-is-merged usr-is-merged 37~deb12u1 install ok installed util-linux util-linux 2.38.1-5+deb12u2 install ok installed util-linux-extra util-linux-extra 2.38.1-5+deb12u2 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.7s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/stable2sid/reference-chroot-metadata.dat 0m3.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpq04awkea'] 0m4.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpq04awkea'] 0m4.2s INFO: Running scripts is_testable 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s INFO: Running scripts pre_test 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_test_root_password'] 0m4.3s DUMP: New password: Retype new password: passwd: password updated successfully 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_test_root_password'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'show', '--no-all-versions', 'hol-light'] 0m4.5s DUMP: Package: hol-light Source: hol-light (20230128-1) Version: 20230128-1+b1 Installed-Size: 43544 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-u46f8, libcamlp-streams-ocaml-dev-jh7j5, ocaml-4.13.1 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python Description-en: HOL Light theorem prover HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aimed at the formalization of Tom Hales' proof of the Kepler conjecture. Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5 Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Section: math Priority: optional Filename: pool/main/h/hol-light/hol-light_20230128-1+b1_amd64.deb Size: 5768384 MD5sum: 1f032920c2e22b5e55960fd0c06fb05b SHA256: 9e908b3bf1e689769deee58f85df1cfc89b95aef00dcca087d65c89cd9020dfe 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'show', '--no-all-versions', 'hol-light'] 0m4.5s INFO: apt-cache knows about the following packages: hol-light 0m4.5s INFO: Running scripts pre_install 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy'] 0m4.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm/main amd64 Packages release v=12.8,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy', 'hol-light'] 0m4.7s DUMP: hol-light: Installed: (none) Candidate: 20230128-1+b1 Version table: 20230128-1+b1 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy', 'hol-light'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-y', 'install', 'hol-light'] 0m19.8s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libquadmath0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto Suggested packages: binutils-doc ocaml-findlib cpp-doc gcc-12-locales cpp-12-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-12-multilib gcc-12-doc readline-editor prover9 coinor-csdp pari-gp maxima dmtcp libocamlgraph-ocaml-dev python glibc-doc krb5-doc krb5-user ncurses-doc ocaml-doc elpa-tuareg Recommended packages: manpages manpages-dev libc-devtools ocaml-findlib krb5-locales libgpm2 ocaml-man file ledit | readline-editor The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 gcc gcc-12 hol-light libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libquadmath0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto 0 upgraded, 52 newly installed, 0 to remove and 0 not upgraded. Need to get 174 MB of archives. After this operation, 747 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 binutils-common amd64 2.40-2 [2487 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 libbinutils amd64 2.40-2 [572 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 libctf-nobfd0 amd64 2.40-2 [153 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 libctf0 amd64 2.40-2 [89.8 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 libgprofng0 amd64 2.40-2 [812 kB] Get:6 http://deb.debian.org/debian bookworm/main amd64 libjansson4 amd64 2.14-2 [40.8 kB] Get:7 http://deb.debian.org/debian bookworm/main amd64 binutils-x86-64-linux-gnu amd64 2.40-2 [2246 kB] Get:8 http://deb.debian.org/debian bookworm/main amd64 binutils amd64 2.40-2 [65.0 kB] Get:9 http://deb.debian.org/debian bookworm/main amd64 ocaml-base amd64 4.13.1-4 [668 kB] Get:10 http://deb.debian.org/debian bookworm/main amd64 ocaml-interp amd64 4.13.1-4 [6158 kB] Get:11 http://deb.debian.org/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:12 http://deb.debian.org/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:13 http://deb.debian.org/debian bookworm/main amd64 libc-dev-bin amd64 2.36-9+deb12u9 [46.7 kB] Get:14 http://deb.debian.org/debian bookworm/main amd64 linux-libc-dev amd64 6.1.115-1 [2066 kB] Get:15 http://deb.debian.org/debian bookworm/main amd64 libcrypt-dev amd64 1:4.4.33-2 [118 kB] Get:16 http://deb.debian.org/debian bookworm/main amd64 libkrb5support0 amd64 1.20.1-2+deb12u2 [32.6 kB] Get:17 http://deb.debian.org/debian bookworm/main amd64 libk5crypto3 amd64 1.20.1-2+deb12u2 [78.7 kB] Get:18 http://deb.debian.org/debian bookworm/main amd64 libkeyutils1 amd64 1.6.3-2 [8808 B] Get:19 http://deb.debian.org/debian bookworm/main amd64 libssl3 amd64 3.0.15-1~deb12u1 [2025 kB] Get:20 http://deb.debian.org/debian bookworm/main amd64 libkrb5-3 amd64 1.20.1-2+deb12u2 [332 kB] Get:21 http://deb.debian.org/debian bookworm/main amd64 libgssapi-krb5-2 amd64 1.20.1-2+deb12u2 [135 kB] Get:22 http://deb.debian.org/debian bookworm/main amd64 libtirpc-common all 1.3.3+ds-1 [14.0 kB] Get:23 http://deb.debian.org/debian bookworm/main amd64 libtirpc3 amd64 1.3.3+ds-1 [85.2 kB] Get:24 http://deb.debian.org/debian bookworm/main amd64 libnsl2 amd64 1.3.0-2 [39.5 kB] Get:25 http://deb.debian.org/debian bookworm/main amd64 libtirpc-dev amd64 1.3.3+ds-1 [191 kB] Get:26 http://deb.debian.org/debian bookworm/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:27 http://deb.debian.org/debian bookworm/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:28 http://deb.debian.org/debian bookworm/main amd64 libc6-dev amd64 2.36-9+deb12u9 [1904 kB] Get:29 http://deb.debian.org/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:30 http://deb.debian.org/debian bookworm/main amd64 libisl23 amd64 0.25-1.1 [683 kB] Get:31 http://deb.debian.org/debian bookworm/main amd64 libmpfr6 amd64 4.2.0-1 [701 kB] Get:32 http://deb.debian.org/debian bookworm/main amd64 libmpc3 amd64 1.3.1-1 [51.5 kB] Get:33 http://deb.debian.org/debian bookworm/main amd64 cpp-12 amd64 12.2.0-14 [9764 kB] Get:34 http://deb.debian.org/debian bookworm/main amd64 cpp amd64 4:12.2.0-3 [6836 B] Get:35 http://deb.debian.org/debian bookworm/main amd64 libcc1-0 amd64 12.2.0-14 [41.7 kB] Get:36 http://deb.debian.org/debian bookworm/main amd64 libgomp1 amd64 12.2.0-14 [116 kB] Get:37 http://deb.debian.org/debian bookworm/main amd64 libitm1 amd64 12.2.0-14 [26.1 kB] Get:38 http://deb.debian.org/debian bookworm/main amd64 libatomic1 amd64 12.2.0-14 [9328 B] Get:39 http://deb.debian.org/debian bookworm/main amd64 libasan8 amd64 12.2.0-14 [2195 kB] Get:40 http://deb.debian.org/debian bookworm/main amd64 liblsan0 amd64 12.2.0-14 [969 kB] Get:41 http://deb.debian.org/debian bookworm/main amd64 libtsan2 amd64 12.2.0-14 [2196 kB] Get:42 http://deb.debian.org/debian bookworm/main amd64 libubsan1 amd64 12.2.0-14 [883 kB] Get:43 http://deb.debian.org/debian bookworm/main amd64 libquadmath0 amd64 12.2.0-14 [144 kB] Get:44 http://deb.debian.org/debian bookworm/main amd64 libgcc-12-dev amd64 12.2.0-14 [2437 kB] Get:45 http://deb.debian.org/debian bookworm/main amd64 gcc-12 amd64 12.2.0-14 [19.3 MB] Get:46 http://deb.debian.org/debian bookworm/main amd64 gcc amd64 4:12.2.0-3 [5216 B] Get:47 http://deb.debian.org/debian bookworm/main amd64 ocaml amd64 4.13.1-4 [72.1 MB] Get:48 http://deb.debian.org/debian bookworm/main amd64 ocaml-compiler-libs amd64 4.13.1-4 [31.0 MB] Get:49 http://deb.debian.org/debian bookworm/main amd64 camlp5 amd64 8.00.04-1+b1 [4668 kB] Get:50 http://deb.debian.org/debian bookworm/main amd64 libcamlp-streams-ocaml amd64 5.0.1-1 [7304 B] Get:51 http://deb.debian.org/debian bookworm/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-1 [21.4 kB] Get:52 http://deb.debian.org/debian bookworm/main amd64 hol-light amd64 20230128-1+b1 [5768 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 174 MB in 2s (108 MB/s) Selecting previously unselected package binutils-common: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 ... 6093 files and directories currently installed.) Preparing to unpack .../00-binutils-common_2.40-2_amd64.deb ... Unpacking binutils-common:amd64 (2.40-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../01-libbinutils_2.40-2_amd64.deb ... Unpacking libbinutils:amd64 (2.40-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../02-libctf-nobfd0_2.40-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.40-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../03-libctf0_2.40-2_amd64.deb ... Unpacking libctf0:amd64 (2.40-2) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../04-libgprofng0_2.40-2_amd64.deb ... Unpacking libgprofng0:amd64 (2.40-2) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../05-libjansson4_2.14-2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.40-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.40-2) ... Selecting previously unselected package binutils. Preparing to unpack .../07-binutils_2.40-2_amd64.deb ... Unpacking binutils (2.40-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../08-ocaml-base_4.13.1-4_amd64.deb ... Unpacking ocaml-base (4.13.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../09-ocaml-interp_4.13.1-4_amd64.deb ... Unpacking ocaml-interp (4.13.1-4) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../10-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../11-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../12-libc-dev-bin_2.36-9+deb12u9_amd64.deb ... Unpacking libc-dev-bin (2.36-9+deb12u9) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../13-linux-libc-dev_6.1.115-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (6.1.115-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../14-libcrypt-dev_1%3a4.4.33-2_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.33-2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../15-libkrb5support0_1.20.1-2+deb12u2_amd64.deb ... Unpacking libkrb5support0:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../16-libk5crypto3_1.20.1-2+deb12u2_amd64.deb ... Unpacking libk5crypto3:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../17-libkeyutils1_1.6.3-2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-2) ... Selecting previously unselected package libssl3:amd64. Preparing to unpack .../18-libssl3_3.0.15-1~deb12u1_amd64.deb ... Unpacking libssl3:amd64 (3.0.15-1~deb12u1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../19-libkrb5-3_1.20.1-2+deb12u2_amd64.deb ... Unpacking libkrb5-3:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../20-libgssapi-krb5-2_1.20.1-2+deb12u2_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../21-libtirpc-common_1.3.3+ds-1_all.deb ... Unpacking libtirpc-common (1.3.3+ds-1) ... Selecting previously unselected package libtirpc3:amd64. Preparing to unpack .../22-libtirpc3_1.3.3+ds-1_amd64.deb ... Unpacking libtirpc3:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../23-libnsl2_1.3.0-2_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-2) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../24-libtirpc-dev_1.3.3+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../25-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../26-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 .../27-libc6-dev_2.36-9+deb12u9_amd64.deb ... Unpacking libc6-dev:amd64 (2.36-9+deb12u9) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../28-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../29-libisl23_0.25-1.1_amd64.deb ... Unpacking libisl23:amd64 (0.25-1.1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../30-libmpfr6_4.2.0-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.0-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../31-libmpc3_1.3.1-1_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1) ... Selecting previously unselected package cpp-12. Preparing to unpack .../32-cpp-12_12.2.0-14_amd64.deb ... Unpacking cpp-12 (12.2.0-14) ... Selecting previously unselected package cpp. Preparing to unpack .../33-cpp_4%3a12.2.0-3_amd64.deb ... Unpacking cpp (4:12.2.0-3) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../34-libcc1-0_12.2.0-14_amd64.deb ... Unpacking libcc1-0:amd64 (12.2.0-14) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../35-libgomp1_12.2.0-14_amd64.deb ... Unpacking libgomp1:amd64 (12.2.0-14) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../36-libitm1_12.2.0-14_amd64.deb ... Unpacking libitm1:amd64 (12.2.0-14) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../37-libatomic1_12.2.0-14_amd64.deb ... Unpacking libatomic1:amd64 (12.2.0-14) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../38-libasan8_12.2.0-14_amd64.deb ... Unpacking libasan8:amd64 (12.2.0-14) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../39-liblsan0_12.2.0-14_amd64.deb ... Unpacking liblsan0:amd64 (12.2.0-14) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../40-libtsan2_12.2.0-14_amd64.deb ... Unpacking libtsan2:amd64 (12.2.0-14) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../41-libubsan1_12.2.0-14_amd64.deb ... Unpacking libubsan1:amd64 (12.2.0-14) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../42-libquadmath0_12.2.0-14_amd64.deb ... Unpacking libquadmath0:amd64 (12.2.0-14) ... Selecting previously unselected package libgcc-12-dev:amd64. Preparing to unpack .../43-libgcc-12-dev_12.2.0-14_amd64.deb ... Unpacking libgcc-12-dev:amd64 (12.2.0-14) ... Selecting previously unselected package gcc-12. Preparing to unpack .../44-gcc-12_12.2.0-14_amd64.deb ... Unpacking gcc-12 (12.2.0-14) ... Selecting previously unselected package gcc. Preparing to unpack .../45-gcc_4%3a12.2.0-3_amd64.deb ... Unpacking gcc (4:12.2.0-3) ... Selecting previously unselected package ocaml. Preparing to unpack .../46-ocaml_4.13.1-4_amd64.deb ... Unpacking ocaml (4.13.1-4) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../47-ocaml-compiler-libs_4.13.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.13.1-4) ... Selecting previously unselected package camlp5. Preparing to unpack .../48-camlp5_8.00.04-1+b1_amd64.deb ... Unpacking camlp5 (8.00.04-1+b1) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../49-libcamlp-streams-ocaml_5.0.1-1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../50-libcamlp-streams-ocaml-dev_5.0.1-1_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-1) ... Selecting previously unselected package hol-light. Preparing to unpack .../51-hol-light_20230128-1+b1_amd64.deb ... Unpacking hol-light (20230128-1+b1) ... Setting up libkeyutils1:amd64 (1.6.3-2) ... Setting up libtirpc-common (1.3.3+ds-1) ... Setting up binutils-common:amd64 (2.40-2) ... Setting up libssl3:amd64 (3.0.15-1~deb12u1) ... Setting up linux-libc-dev:amd64 (6.1.115-1) ... Setting up libctf-nobfd0:amd64 (2.40-2) ... Setting up libgomp1:amd64 (12.2.0-14) ... Setting up libjansson4:amd64 (2.14-2) ... Setting up libkrb5support0:amd64 (1.20.1-2+deb12u2) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.0-1) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libquadmath0:amd64 (12.2.0-14) ... Setting up libmpc3:amd64 (1.3.1-1) ... Setting up libatomic1:amd64 (12.2.0-14) ... Setting up ocaml-base (4.13.1-4) ... Setting up libncursesw6:amd64 (6.4-4) ... Setting up libk5crypto3:amd64 (1.20.1-2+deb12u2) ... Setting up libubsan1:amd64 (12.2.0-14) ... Setting up libcrypt-dev:amd64 (1:4.4.33-2) ... Setting up libasan8:amd64 (12.2.0-14) ... Setting up libkrb5-3:amd64 (1.20.1-2+deb12u2) ... Setting up libtsan2:amd64 (12.2.0-14) ... Setting up libbinutils:amd64 (2.40-2) ... Setting up libisl23:amd64 (0.25-1.1) ... Setting up libc-dev-bin (2.36-9+deb12u9) ... Setting up libcc1-0:amd64 (12.2.0-14) ... Setting up liblsan0:amd64 (12.2.0-14) ... Setting up libitm1:amd64 (12.2.0-14) ... Setting up libctf0:amd64 (2.40-2) ... Setting up cpp-12 (12.2.0-14) ... Setting up libcamlp-streams-ocaml (5.0.1-1) ... Setting up libgprofng0:amd64 (2.40-2) ... Setting up libgcc-12-dev:amd64 (12.2.0-14) ... Setting up libgssapi-krb5-2:amd64 (1.20.1-2+deb12u2) ... Setting up cpp (4:12.2.0-3) ... Setting up binutils-x86-64-linux-gnu (2.40-2) ... Setting up libtirpc3:amd64 (1.3.3+ds-1) ... Setting up binutils (2.40-2) ... Setting up libtirpc-dev:amd64 (1.3.3+ds-1) ... Setting up gcc-12 (12.2.0-14) ... Setting up libnsl2:amd64 (1.3.0-2) ... Setting up gcc (4:12.2.0-3) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up libc6-dev:amd64 (2.36-9+deb12u9) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up ocaml-interp (4.13.1-4) ... Setting up ocaml (4.13.1-4) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-1) ... Setting up ocaml-compiler-libs (4.13.1-4) ... Setting up camlp5 (8.00.04-1+b1) ... Setting up hol-light (20230128-1+b1) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-y', 'install', 'hol-light'] 0m19.8s INFO: Running scripts post_install 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_install_exceptions'] 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/post_install_exceptions'] 0m19.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpq04awkea'] 0m20.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpq04awkea'] 0m20.7s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpq04awkea to sid 0m20.7s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m20.7s INFO: Running scripts pre_distupgrade 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_exceptions'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_exceptions'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', 'update'] 0m25.2s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [202 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.0 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7342 kB] Fetched 17.6 MB in 3s (5204 kB/s) Reading package lists... 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', 'update'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-yf', 'dist-upgrade'] 1m3.4s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-12 gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libastring-ocaml libastring-ocaml-dev libatomic1 libbinutils libbos-ocaml libbos-ocaml-dev libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcrypt-dev libctf-nobfd0 libctf0 libev-dev libev4t64 libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfpath-ocaml libfpath-ocaml-dev libgcc-12-dev libgcc-14-dev libgen-ocaml libgen-ocaml-dev libgomp1 libgprofng0 libgraphics-ocaml libgraphics-ocaml-dev libgssapi-krb5-2 libhwasan0 libisl23 libitm1 libjansson4 libjs-of-ocaml libjs-of-ocaml-dev libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblogs-ocaml liblogs-ocaml-dev liblsan0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libppx-derivers-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3t64 libtsan2 libtyxml-ocaml libtyxml-ocaml-dev libubsan1 libuutf-ocaml libuutf-ocaml-dev libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libyojson-ocaml libyojson-ocaml-dev libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: hol-light libapt-pkg6.0 libdb5.3 libext2fs2 libgnutls30 libhogweed6 libnettle8 libssl3 libtirpc3 The following NEW packages will be installed: cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc-14 gcc-14-base gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libapt-pkg6.0t64 libastring-ocaml libastring-ocaml-dev libbos-ocaml libbos-ocaml-dev libbsd0 libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libdb5.3t64 libev-dev libev4t64 libext2fs2t64 libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfpath-ocaml libfpath-ocaml-dev libgcc-14-dev libgen-ocaml libgen-ocaml-dev libgnutls30t64 libgraphics-ocaml libgraphics-ocaml-dev libhogweed6t64 libhwasan0 libjs-of-ocaml libjs-of-ocaml-dev liblogs-ocaml liblogs-ocaml-dev liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmenhir-ocaml-dev libnettle8t64 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libppx-derivers-ocaml-dev libppxlib-ocaml-dev libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libssl3t64 libstdlib-ocaml libstdlib-ocaml-dev libtirpc3t64 libtyxml-ocaml libtyxml-ocaml-dev libunistring5 libuutf-ocaml libuutf-ocaml-dev libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libyojson-ocaml libyojson-ocaml-dev libzstd-dev login.defs openssl-provider-legacy The following packages will be upgraded: adduser apt base-files base-passwd bash binutils binutils-common binutils-x86-64-linux-gnu bsdutils camlp5 coreutils cpp cpp-12 dash debconf debian-archive-keyring debianutils diffutils dpkg e2fsprogs findutils gcc gcc-12 gcc-12-base gpgv grep gzip hostname init-system-helpers libacl1 libasan8 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcap-ng0 libcap2 libcc1-0 libcom-err2 libcrypt-dev libcrypt1 libctf-nobfd0 libctf0 libdebconfclient0 libffi8 libgcc-12-dev libgcc-s1 libgcrypt20 libgmp10 libgomp1 libgpg-error0 libgprofng0 libgssapi-krb5-2 libidn2-0 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 liblz4-1 liblzma5 libmd0 libmount1 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libquadmath0 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsmartcols1 libss2 libstdc++6 libsystemd0 libtasn1-6 libtinfo6 libtirpc-common libtirpc-dev libtsan2 libubsan1 libudev1 libuuid1 libxxhash0 libzstd1 linux-libc-dev login logsave mawk mount ncurses-base ncurses-bin ocaml ocaml-base ocaml-compiler-libs ocaml-interp passwd perl-base sed sysvinit-utils tar tzdata usr-is-merged util-linux util-linux-extra zlib1g 129 upgraded, 79 newly installed, 9 to remove and 0 not upgraded. Need to get 304 MB of archives. After this operation, 145 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 base-files amd64 13.6 [72.8 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libnsl-dev amd64 1.3.0-3+b3 [67.5 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.36-5 [118 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.40-4 [1954 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.40-4 [52.0 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libtirpc-dev amd64 1.3.4+ds-1.3+b1 [190 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libzstd1 amd64 1.5.6+dfsg-1+b1 [300 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libc6 amd64 2.40-4 [2804 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libc-bin amd64 2.40-4 [626 kB] Get:16 http://deb.debian.org/debian sid/main amd64 libssl3t64 amd64 3.3.2-2 [2271 kB] Get:17 http://deb.debian.org/debian sid/main amd64 openssl-provider-legacy amd64 3.3.2-2 [298 kB] Get:18 http://deb.debian.org/debian sid/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.1-1+b1 [88.9 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libcom-err2 amd64 1.47.2~rc1-1 [23.6 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B] Get:21 http://deb.debian.org/debian sid/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libcrypt1 amd64 1:4.4.36-5 [89.8 kB] Get:23 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.11.10-1 [2461 kB] Get:24 http://deb.debian.org/debian sid/main amd64 gcc-14-base amd64 14.2.0-8 [47.2 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 14.2.0-8 [72.7 kB] Get:26 http://deb.debian.org/debian sid/main amd64 debianutils amd64 5.21 [92.1 kB] Get:27 http://deb.debian.org/debian sid/main amd64 bash amd64 5.2.32-1+b2 [1500 kB] Get:28 http://deb.debian.org/debian sid/main amd64 libcap2 amd64 1:2.66-5+b1 [27.8 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 257~rc3-1 [448 kB] Get:30 http://deb.debian.org/debian sid/main amd64 bsdutils amd64 1:2.40.2-11 [105 kB] Get:31 http://deb.debian.org/debian sid/main amd64 libgmp10 amd64 2:6.3.0+dfsg-2+b2 [560 kB] Get:32 http://deb.debian.org/debian sid/main amd64 coreutils amd64 9.5-1+b1 [2922 kB] Get:33 http://deb.debian.org/debian sid/main amd64 dash amd64 0.5.12-9 [93.2 kB] Get:34 http://deb.debian.org/debian sid/main amd64 diffutils amd64 1:3.10-1 [375 kB] Get:35 http://deb.debian.org/debian sid/main amd64 libgpg-error0 amd64 1.51-2 [82.1 kB] Get:36 http://deb.debian.org/debian sid/main amd64 libgcrypt20 amd64 1.11.0-6 [843 kB] Get:37 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 14.2.0-8 [714 kB] Get:38 http://deb.debian.org/debian sid/main amd64 libnettle8t64 amd64 3.10-1+b1 [305 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libhogweed6t64 amd64 3.10-1+b1 [335 kB] Get:40 http://deb.debian.org/debian sid/main amd64 libp11-kit0 amd64 0.25.5-2+b1 [429 kB] Get:41 http://deb.debian.org/debian sid/main amd64 libunistring5 amd64 1.2-1+b1 [429 kB] Get:42 http://deb.debian.org/debian sid/main amd64 libgnutls30t64 amd64 3.8.8-2 [1454 kB] Get:43 http://deb.debian.org/debian sid/main amd64 libffi8 amd64 3.4.6-1 [23.6 kB] Get:44 http://deb.debian.org/debian sid/main amd64 libidn2-0 amd64 2.3.7-2+b1 [129 kB] Get:45 http://deb.debian.org/debian sid/main amd64 libtasn1-6 amd64 4.19.0-3+b3 [49.5 kB] Get:46 http://deb.debian.org/debian sid/main amd64 libbz2-1.0 amd64 1.0.8-6 [37.9 kB] Get:47 http://deb.debian.org/debian sid/main amd64 libxxhash0 amd64 0.8.2-2+b2 [26.6 kB] Get:48 http://deb.debian.org/debian sid/main amd64 liblz4-1 amd64 1.9.4-3+b1 [60.3 kB] Get:49 http://deb.debian.org/debian sid/main amd64 liblzma5 amd64 5.6.3-1+b1 [272 kB] Get:50 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 257~rc3-1 [147 kB] Get:51 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0t64 amd64 2.9.16 [1113 kB] Get:52 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.16 [1397 kB] Get:53 http://deb.debian.org/debian sid/main amd64 tar amd64 1.35+dfsg-3 [813 kB] Get:54 http://deb.debian.org/debian sid/main amd64 dpkg amd64 1.22.11 [1531 kB] Get:55 http://deb.debian.org/debian sid/main amd64 findutils amd64 4.10.0-3 [700 kB] Get:56 http://deb.debian.org/debian sid/main amd64 grep amd64 3.11-4 [431 kB] Get:57 http://deb.debian.org/debian sid/main amd64 gzip amd64 1.12-1.1 [133 kB] Get:58 http://deb.debian.org/debian sid/main amd64 hostname amd64 3.25 [11.0 kB] Get:59 http://deb.debian.org/debian sid/main amd64 login.defs all 1:4.16.0-5 [185 kB] Get:60 http://deb.debian.org/debian sid/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-9 [704 kB] Get:61 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:4.0.2-2 [12.7 kB] Get:62 http://deb.debian.org/debian sid/main amd64 libcap-ng0 amd64 0.8.5-4 [17.3 kB] Get:63 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:4.0.2-2 [54.9 kB] Get:64 http://deb.debian.org/debian sid/main amd64 perl-base amd64 5.40.0-8 [1675 kB] Get:65 http://deb.debian.org/debian sid/main amd64 debconf all 1.5.87 [119 kB] Get:66 http://deb.debian.org/debian sid/main amd64 libpam0g amd64 1.5.3-7+b1 [68.3 kB] Get:67 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.44-4 [275 kB] Get:68 http://deb.debian.org/debian sid/main amd64 libselinux1 amd64 3.7-3+b1 [77.0 kB] Get:69 http://deb.debian.org/debian sid/main amd64 libpam-modules-bin amd64 1.5.3-7+b1 [54.1 kB] Get:70 http://deb.debian.org/debian sid/main amd64 libpam-modules amd64 1.5.3-7+b1 [267 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libpam-runtime all 1.5.3-7 [140 kB] Get:72 http://deb.debian.org/debian sid/main amd64 login amd64 1:4.16.0-2+really2.40.2-11 [81.5 kB] Get:73 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB] Get:74 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB] Get:75 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB] Get:76 http://deb.debian.org/debian sid/main amd64 libtinfo6 amd64 6.5-2+b1 [344 kB] Get:77 http://deb.debian.org/debian sid/main amd64 ncurses-bin amd64 6.5-2+b1 [434 kB] Get:78 http://deb.debian.org/debian sid/main amd64 sed amd64 4.9-2 [329 kB] Get:79 http://deb.debian.org/debian sid/main amd64 libblkid1 amd64 2.40.2-11 [168 kB] Get:80 http://deb.debian.org/debian sid/main amd64 libmount1 amd64 2.40.2-11 [199 kB] Get:81 http://deb.debian.org/debian sid/main amd64 libsmartcols1 amd64 2.40.2-11 [139 kB] Get:82 http://deb.debian.org/debian sid/main amd64 libuuid1 amd64 2.40.2-11 [35.9 kB] Get:83 http://deb.debian.org/debian sid/main amd64 util-linux amd64 2.40.2-11 [1213 kB] Get:84 http://deb.debian.org/debian sid/main amd64 util-linux-extra amd64 2.40.2-11 [265 kB] Get:85 http://deb.debian.org/debian sid/main amd64 libdebconfclient0 amd64 0.274 [10.1 kB] Get:86 http://deb.debian.org/debian sid/main amd64 base-passwd amd64 3.6.5 [53.1 kB] Get:87 http://deb.debian.org/debian sid/main amd64 libmd0 amd64 1.1.0-2+b1 [36.3 kB] Get:88 http://deb.debian.org/debian sid/main amd64 libbsd0 amd64 0.12.2-2 [131 kB] Get:89 http://deb.debian.org/debian sid/main amd64 libacl1 amd64 2.3.2-2+b1 [32.9 kB] Get:90 http://deb.debian.org/debian sid/main amd64 libattr1 amd64 1:2.5.2-2 [22.7 kB] Get:91 http://deb.debian.org/debian sid/main amd64 libsemanage-common all 3.7-2 [7108 B] Get:92 http://deb.debian.org/debian sid/main amd64 libsepol2 amd64 3.7-1 [293 kB] Get:93 http://deb.debian.org/debian sid/main amd64 libsemanage2 amd64 3.7-2+b1 [91.2 kB] Get:94 http://deb.debian.org/debian sid/main amd64 passwd amd64 1:4.16.0-5 [1232 kB] Get:95 http://deb.debian.org/debian sid/main amd64 adduser all 3.137 [140 kB] Get:96 http://deb.debian.org/debian sid/main amd64 gpgv amd64 2.2.45-2 [219 kB] Get:97 http://deb.debian.org/debian sid/main amd64 debian-archive-keyring all 2023.4 [161 kB] Get:98 http://deb.debian.org/debian sid/main amd64 libseccomp2 amd64 2.5.5-2 [47.8 kB] Get:99 http://deb.debian.org/debian sid/main amd64 usr-is-merged all 39 [5572 B] Get:100 http://deb.debian.org/debian sid/main amd64 init-system-helpers all 1.67 [38.7 kB] Get:101 http://deb.debian.org/debian sid/main amd64 ncurses-base all 6.5-2 [270 kB] Get:102 http://deb.debian.org/debian sid/main amd64 sysvinit-utils amd64 3.11-1 [33.1 kB] Get:103 http://deb.debian.org/debian sid/main amd64 logsave amd64 1.47.2~rc1-1 [23.5 kB] Get:104 http://deb.debian.org/debian sid/main amd64 libext2fs2t64 amd64 1.47.2~rc1-1 [211 kB] Get:105 http://deb.debian.org/debian sid/main amd64 e2fsprogs amd64 1.47.2~rc1-1 [589 kB] Get:106 http://deb.debian.org/debian sid/main amd64 mount amd64 2.40.2-11 [155 kB] Get:107 http://deb.debian.org/debian sid/main amd64 mawk amd64 1.3.4.20240905-1 [138 kB] Get:108 http://deb.debian.org/debian sid/main amd64 tzdata all 2024b-3 [255 kB] Get:109 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.43.50.20241126-3 [807 kB] Get:110 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.43.50.20241126-3 [88.4 kB] Get:111 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.43.50.20241126-3 [155 kB] Get:112 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.43.50.20241126-3 [2238 kB] Get:113 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.43.50.20241126-3 [532 kB] Get:114 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.43.50.20241126-3 [68.1 kB] Get:115 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.43.50.20241126-3 [2628 kB] Get:116 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB] Get:117 http://deb.debian.org/debian sid/main amd64 libsframe1 amd64 2.43.50.20241126-3 [77.3 kB] Get:118 http://deb.debian.org/debian sid/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-3+b2 [127 kB] Get:119 http://deb.debian.org/debian sid/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+b2 [43.7 kB] Get:120 http://deb.debian.org/debian sid/main amd64 camlp5 amd64 8.03.00-1+b5 [7667 kB] Get:121 http://deb.debian.org/debian sid/main amd64 ocaml-compiler-libs all 5.2.0-3 [201 kB] Get:122 http://deb.debian.org/debian sid/main amd64 ocaml amd64 5.2.0-3 [17.4 MB] Get:123 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB] Get:124 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get:125 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get:126 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] Get:127 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.27-1 [659 kB] Get:128 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.1-1+b2 [724 kB] Get:129 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-1+b3 [52.2 kB] Get:130 http://deb.debian.org/debian sid/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-8 [11.1 MB] Get:131 http://deb.debian.org/debian sid/main amd64 cpp-14 amd64 14.2.0-8 [1276 B] Get:132 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:14.2.0-1 [5136 B] Get:133 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:14.2.0-1 [1568 B] Get:134 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B] Get:135 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 14.2.0-8 [42.8 kB] Get:136 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 14.2.0-8 [137 kB] Get:137 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 14.2.0-8 [25.9 kB] Get:138 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 14.2.0-8 [9280 B] Get:139 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 14.2.0-8 [2729 kB] Get:140 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 14.2.0-8 [1205 kB] Get:141 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 14.2.0-8 [1075 kB] Get:142 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 14.2.0-8 [145 kB] Get:143 http://deb.debian.org/debian sid/main amd64 gcc-12 amd64 12.4.0-2 [19.6 MB] Get:144 http://deb.debian.org/debian sid/main amd64 cpp-12 amd64 12.4.0-2 [9862 kB] Get:145 http://deb.debian.org/debian sid/main amd64 libgcc-12-dev amd64 12.4.0-2 [2431 kB] Get:146 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 14.2.0-8 [2461 kB] Get:147 http://deb.debian.org/debian sid/main amd64 gcc-12-base amd64 12.4.0-2 [42.9 kB] Get:148 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 14.2.0-8 [1489 kB] Get:149 http://deb.debian.org/debian sid/main amd64 libgcc-14-dev amd64 14.2.0-8 [2674 kB] Get:150 http://deb.debian.org/debian sid/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-8 [21.4 MB] Get:151 http://deb.debian.org/debian sid/main amd64 gcc-14 amd64 14.2.0-8 [530 kB] Get:152 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B] Get:153 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB] Get:154 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB] Get:155 http://deb.debian.org/debian sid/main amd64 libastring-ocaml amd64 0.8.5-2+b2 [191 kB] Get:156 http://deb.debian.org/debian sid/main amd64 libastring-ocaml-dev amd64 0.8.5-2+b2 [165 kB] Get:157 http://deb.debian.org/debian sid/main amd64 libfmt-ocaml amd64 0.9.0-3+b3 [132 kB] Get:158 http://deb.debian.org/debian sid/main amd64 libfpath-ocaml amd64 0.7.3-3+b2 [96.9 kB] Get:159 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get:160 http://deb.debian.org/debian sid/main amd64 libgen-ocaml amd64 1.1-1+b2 [225 kB] Get:161 http://deb.debian.org/debian sid/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get:162 http://deb.debian.org/debian sid/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get:163 http://deb.debian.org/debian sid/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get:164 http://deb.debian.org/debian sid/main amd64 libx11-data all 2:1.8.10-2 [337 kB] Get:165 http://deb.debian.org/debian sid/main amd64 libx11-6 amd64 2:1.8.10-2 [813 kB] Get:166 http://deb.debian.org/debian sid/main amd64 libgraphics-ocaml amd64 5.1.2-3+b2 [51.4 kB] Get:167 http://deb.debian.org/debian sid/main amd64 libocplib-endian-ocaml amd64 1.2-4+b1 [97.2 kB] Get:168 http://deb.debian.org/debian sid/main amd64 libreact-ocaml amd64 1.2.2-1+b2 [197 kB] Get:169 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB] Get:170 http://deb.debian.org/debian sid/main amd64 libev4t64 amd64 1:4.33-2.1+b1 [42.4 kB] Get:171 http://deb.debian.org/debian sid/main amd64 liblwt-ocaml amd64 5.7.0-1+b8 [974 kB] Get:172 http://deb.debian.org/debian sid/main amd64 liblwt-log-ocaml amd64 1.1.2-4+b8 [89.1 kB] Get:173 http://deb.debian.org/debian sid/main amd64 libreactivedata-ocaml amd64 0.3-4+b2 [88.9 kB] Get:174 http://deb.debian.org/debian sid/main amd64 libsedlex-ocaml amd64 3.2-1+b6 [263 kB] Get:175 http://deb.debian.org/debian sid/main amd64 libuutf-ocaml amd64 1.0.3-1+b3 [76.8 kB] Get:176 http://deb.debian.org/debian sid/main amd64 libtyxml-ocaml amd64 4.6.0-1+b3 [507 kB] Get:177 http://deb.debian.org/debian sid/main amd64 libyojson-ocaml amd64 2.2.2-1 [523 kB] Get:178 http://deb.debian.org/debian sid/main amd64 libjs-of-ocaml amd64 5.8.2-2+b5 [6562 kB] Get:179 http://deb.debian.org/debian sid/main amd64 liblogs-ocaml amd64 0.7.0-3+b14 [85.4 kB] Get:180 http://deb.debian.org/debian sid/main amd64 librresult-ocaml amd64 0.7.0-2+b2 [28.8 kB] Get:181 http://deb.debian.org/debian sid/main amd64 libbos-ocaml amd64 0.2.1-2+b14 [314 kB] Get:182 http://deb.debian.org/debian sid/main amd64 libcmdliner-ocaml-dev amd64 1.3.0-2+b1 [540 kB] Get:183 http://deb.debian.org/debian sid/main amd64 libfmt-ocaml-dev amd64 0.9.0-3+b3 [126 kB] Get:184 http://deb.debian.org/debian sid/main amd64 libfpath-ocaml-dev amd64 0.7.3-3+b2 [93.8 kB] Get:185 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB] Get:186 http://deb.debian.org/debian sid/main amd64 libgen-ocaml-dev amd64 1.1-1+b2 [615 kB] Get:187 http://deb.debian.org/debian sid/main amd64 libgraphics-ocaml-dev amd64 5.1.2-3+b2 [126 kB] Get:188 http://deb.debian.org/debian sid/main amd64 libev-dev amd64 1:4.33-2.1+b1 [135 kB] Get:189 http://deb.debian.org/debian sid/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [161 kB] Get:190 http://deb.debian.org/debian sid/main amd64 libocplib-endian-ocaml-dev amd64 1.2-4+b1 [270 kB] Get:191 http://deb.debian.org/debian sid/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b2 [19.7 kB] Get:192 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [359 kB] Get:193 http://deb.debian.org/debian sid/main amd64 libppxlib-ocaml-dev amd64 0.33.0-2 [24.4 MB] Get:194 http://deb.debian.org/debian sid/main amd64 libreact-ocaml-dev amd64 1.2.2-1+b2 [165 kB] Get:195 http://deb.debian.org/debian sid/main amd64 liblwt-ocaml-dev amd64 5.7.0-1+b8 [6576 kB] Get:196 http://deb.debian.org/debian sid/main amd64 liblwt-log-ocaml-dev amd64 1.1.2-4+b8 [255 kB] Get:197 http://deb.debian.org/debian sid/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [906 kB] Get:198 http://deb.debian.org/debian sid/main amd64 libreactivedata-ocaml-dev amd64 0.3-4+b2 [220 kB] Get:199 http://deb.debian.org/debian sid/main amd64 libsedlex-ocaml-dev amd64 3.2-1+b6 [4678 kB] Get:200 http://deb.debian.org/debian sid/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1290 kB] Get:201 http://deb.debian.org/debian sid/main amd64 libuutf-ocaml-dev amd64 1.0.3-1+b3 [591 kB] Get:202 http://deb.debian.org/debian sid/main amd64 libtyxml-ocaml-dev amd64 4.6.0-1+b3 [2698 kB] Get:203 http://deb.debian.org/debian sid/main amd64 libyojson-ocaml-dev amd64 2.2.2-1 [1539 kB] Get:204 http://deb.debian.org/debian sid/main amd64 libjs-of-ocaml-dev amd64 5.8.2-2+b5 [26.6 MB] Get:205 http://deb.debian.org/debian sid/main amd64 liblogs-ocaml-dev amd64 0.7.0-3+b14 [104 kB] Get:206 http://deb.debian.org/debian sid/main amd64 librresult-ocaml-dev amd64 0.7.0-2+b2 [40.1 kB] Get:207 http://deb.debian.org/debian sid/main amd64 libbos-ocaml-dev amd64 0.2.1-2+b14 [299 kB] Get:208 http://deb.debian.org/debian sid/main amd64 libss2 amd64 1.47.2~rc1-1 [28.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 304 MB in 5s (65.0 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 ... 12759 files and directories currently installed.) Preparing to unpack .../base-files_13.6_amd64.deb ... Unpacking base-files (13.6) over (12.4+deb12u8) ... Setting up base-files (13.6) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Updating /etc/profile to current default. Updating /root/.profile to current default. (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 ... 12770 files and directories currently installed.) Preparing to unpack .../0-libnsl-dev_1.3.0-3+b3_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-3+b3) over (1.3.0-2) ... Preparing to unpack .../1-libcrypt-dev_1%3a4.4.36-5_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.36-5) over (1:4.4.33-2) ... Preparing to unpack .../2-libc6-dev_2.40-4_amd64.deb ... Unpacking libc6-dev:amd64 (2.40-4) over (2.36-9+deb12u9) ... Preparing to unpack .../3-libc-dev-bin_2.40-4_amd64.deb ... Unpacking libc-dev-bin (2.40-4) over (2.36-9+deb12u9) ... Preparing to unpack .../4-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) over (1.3.3+ds-1) ... Preparing to unpack .../5-libtirpc-dev_1.3.4+ds-1.3+b1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.4+ds-1.3+b1) over (1.3.3+ds-1) ... dpkg: libtirpc3:amd64: dependency problems, but removing anyway as you requested: libnsl2:amd64 depends on libtirpc3 (>= 1.0.2). (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 ... 12778 files and directories currently installed.) Removing libtirpc3:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libtirpc3t64: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 ... 12771 files and directories currently installed.) Preparing to unpack .../0-libtirpc3t64_1.3.4+ds-1.3+b1_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+b1) ... Preparing to unpack .../1-libgssapi-krb5-2_1.21.3-3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) over (1.20.1-2+deb12u2) ... Preparing to unpack .../2-libkrb5-3_1.21.3-3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-3) over (1.20.1-2+deb12u2) ... Preparing to unpack .../3-libk5crypto3_1.21.3-3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-3) over (1.20.1-2+deb12u2) ... Preparing to unpack .../4-libkrb5support0_1.21.3-3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-3) over (1.20.1-2+deb12u2) ... Preparing to unpack .../5-libzstd1_1.5.6+dfsg-1+b1_amd64.deb ... Unpacking libzstd1:amd64 (1.5.6+dfsg-1+b1) over (1.5.4+dfsg2-5) ... Setting up libzstd1:amd64 (1.5.6+dfsg-1+b1) ... (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 ... 12786 files and directories currently installed.) Removing libssl3:amd64 (3.0.15-1~deb12u1) ... (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 ... 12774 files and directories currently installed.) Preparing to unpack .../libc6_2.40-4_amd64.deb ... Unpacking libc6:amd64 (2.40-4) over (2.36-9+deb12u9) ... Setting up libc6:amd64 (2.40-4) ... (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 ... 12776 files and directories currently installed.) Preparing to unpack .../libc-bin_2.40-4_amd64.deb ... Unpacking libc-bin (2.40-4) over (2.36-9+deb12u9) ... Setting up libc-bin (2.40-4) ... Selecting previously unselected package libssl3t64: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 ... 12776 files and directories currently installed.) Preparing to unpack .../libssl3t64_3.3.2-2_amd64.deb ... Unpacking libssl3t64:amd64 (3.3.2-2) ... Selecting previously unselected package openssl-provider-legacy. Preparing to unpack .../openssl-provider-legacy_3.3.2-2_amd64.deb ... Unpacking openssl-provider-legacy (3.3.2-2) ... Setting up openssl-provider-legacy (3.3.2-2) ... Setting up libssl3t64:amd64 (3.3.2-2) ... (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 ... 12795 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b1) over (1:1.2.13.dfsg-1) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... (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 ... 12796 files and directories currently installed.) Preparing to unpack .../libcom-err2_1.47.2~rc1-1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.2~rc1-1) over (1.47.0-2) ... Preparing to unpack .../libkeyutils1_1.6.3-4_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-4) over (1.6.3-2) ... Preparing to unpack .../libnsl2_1.3.0-3+b3_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3+b3) over (1.3.0-2) ... Preparing to unpack .../libcrypt1_1%3a4.4.36-5_amd64.deb ... Unpacking libcrypt1:amd64 (1:4.4.36-5) over (1:4.4.33-2) ... Setting up libcrypt1:amd64 (1:4.4.36-5) ... (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 ... 12797 files and directories currently installed.) Preparing to unpack .../linux-libc-dev_6.11.10-1_all.deb ... Unpacking linux-libc-dev (6.11.10-1) over (6.1.115-1) ... Selecting previously unselected package gcc-14-base:amd64. Preparing to unpack .../gcc-14-base_14.2.0-8_amd64.deb ... Unpacking gcc-14-base:amd64 (14.2.0-8) ... Setting up gcc-14-base:amd64 (14.2.0-8) ... (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 ... 14494 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14.2.0-8_amd64.deb ... Unpacking libgcc-s1:amd64 (14.2.0-8) over (12.2.0-14) ... Setting up libgcc-s1:amd64 (14.2.0-8) ... (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 ... 14494 files and directories currently installed.) Preparing to unpack .../debianutils_5.21_amd64.deb ... Unpacking debianutils (5.21) over (5.7-0.5~deb12u1) ... Setting up debianutils (5.21) ... (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 ... 14493 files and directories currently installed.) Preparing to unpack .../bash_5.2.32-1+b2_amd64.deb ... Unpacking bash (5.2.32-1+b2) over (5.2.15-2+b7) ... Setting up bash (5.2.32-1+b2) ... Installing new version of config file /etc/bash.bashrc ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (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 ... 14493 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.66-5+b1_amd64.deb ... Unpacking libcap2:amd64 (1:2.66-5+b1) over (1:2.66-4) ... Setting up libcap2:amd64 (1:2.66-5+b1) ... (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 ... 14494 files and directories currently installed.) Preparing to unpack .../libsystemd0_257~rc3-1_amd64.deb ... Unpacking libsystemd0:amd64 (257~rc3-1) over (252.31-1~deb12u1) ... Setting up libsystemd0:amd64 (257~rc3-1) ... (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 ... 14494 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.40.2-11_amd64.deb ... Unpacking bsdutils (1:2.40.2-11) over (1:2.38.1-5+deb12u2) ... Setting up bsdutils (1:2.40.2-11) ... (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 ... 14495 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-2+b2_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-2+b2) over (2:6.2.1+dfsg1-1.1) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-2+b2) ... (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 ... 14496 files and directories currently installed.) Preparing to unpack .../coreutils_9.5-1+b1_amd64.deb ... Unpacking coreutils (9.5-1+b1) over (9.1-1) ... Setting up coreutils (9.5-1+b1) ... (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 ... 14502 files and directories currently installed.) Preparing to unpack .../dash_0.5.12-9_amd64.deb ... Unpacking dash (0.5.12-9) over (0.5.12-2) ... Setting up dash (0.5.12-9) ... Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' (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 ... 14499 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.10-1_amd64.deb ... Unpacking diffutils (1:3.10-1) over (1:3.8-4) ... Setting up diffutils (1:3.10-1) ... (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 ... 14501 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.51-2_amd64.deb ... Unpacking libgpg-error0:amd64 (1.51-2) over (1.46-1) ... Setting up libgpg-error0:amd64 (1.51-2) ... (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 ... 14501 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.11.0-6_amd64.deb ... Unpacking libgcrypt20:amd64 (1.11.0-6) over (1.10.1-3) ... Setting up libgcrypt20:amd64 (1.11.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 ... 14501 files and directories currently installed.) Preparing to unpack .../libstdc++6_14.2.0-8_amd64.deb ... Unpacking libstdc++6:amd64 (14.2.0-8) over (12.2.0-14) ... Setting up libstdc++6:amd64 (14.2.0-8) ... dpkg: libnettle8:amd64: dependency problems, but removing anyway as you requested: libhogweed6:amd64 depends on libnettle8. libgnutls30:amd64 depends on libnettle8 (>= 3.7~). (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 ... 14501 files and directories currently installed.) Removing libnettle8:amd64 (3.8.1-2) ... Selecting previously unselected package libnettle8t64: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 ... 14493 files and directories currently installed.) Preparing to unpack .../libnettle8t64_3.10-1+b1_amd64.deb ... Unpacking libnettle8t64:amd64 (3.10-1+b1) ... Setting up libnettle8t64:amd64 (3.10-1+b1) ... dpkg: libhogweed6:amd64: dependency problems, but removing anyway as you requested: libgnutls30:amd64 depends on libhogweed6 (>= 3.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 ... 14503 files and directories currently installed.) Removing libhogweed6:amd64 (3.8.1-2) ... Selecting previously unselected package libhogweed6t64: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 ... 14497 files and directories currently installed.) Preparing to unpack .../libhogweed6t64_3.10-1+b1_amd64.deb ... Unpacking libhogweed6t64:amd64 (3.10-1+b1) ... Setting up libhogweed6t64:amd64 (3.10-1+b1) ... (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 ... 14505 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.5-2+b1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.5-2+b1) over (0.24.1-2) ... Setting up libp11-kit0:amd64 (0.25.5-2+b1) ... Selecting previously unselected package libunistring5: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 ... 14506 files and directories currently installed.) Preparing to unpack .../libunistring5_1.2-1+b1_amd64.deb ... Unpacking libunistring5:amd64 (1.2-1+b1) ... Setting up libunistring5:amd64 (1.2-1+b1) ... dpkg: libgnutls30:amd64: dependency problems, but removing anyway as you requested: apt depends on libgnutls30 (>= 3.7.5). (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 ... 14513 files and directories currently installed.) Removing libgnutls30:amd64 (3.7.9-2+deb12u3) ... Selecting previously unselected package libgnutls30t64: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 ... 14484 files and directories currently installed.) Preparing to unpack .../libgnutls30t64_3.8.8-2_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.8-2) ... Setting up libgnutls30t64:amd64 (3.8.8-2) ... (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 ... 14513 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.6-1_amd64.deb ... Unpacking libffi8:amd64 (3.4.6-1) over (3.4.4-1) ... Setting up libffi8:amd64 (3.4.6-1) ... (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 ... 14513 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.7-2+b1_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.7-2+b1) over (2.3.3-1+b1) ... Setting up libidn2-0:amd64 (2.3.7-2+b1) ... (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 ... 14514 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.19.0-3+b3_amd64.deb ... Unpacking libtasn1-6:amd64 (4.19.0-3+b3) over (4.19.0-2) ... Setting up libtasn1-6:amd64 (4.19.0-3+b3) ... (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 ... 14515 files and directories currently installed.) Preparing to unpack .../libbz2-1.0_1.0.8-6_amd64.deb ... Unpacking libbz2-1.0:amd64 (1.0.8-6) over (1.0.8-5+b1) ... Setting up libbz2-1.0:amd64 (1.0.8-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 ... 14514 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2+b2_amd64.deb ... Unpacking libxxhash0:amd64 (0.8.2-2+b2) over (0.8.1-1) ... Setting up libxxhash0:amd64 (0.8.2-2+b2) ... (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 ... 14515 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.4-3+b1_amd64.deb ... Unpacking liblz4-1:amd64 (1.9.4-3+b1) over (1.9.4-1) ... Setting up liblz4-1:amd64 (1.9.4-3+b1) ... (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 ... 14516 files and directories currently installed.) Preparing to unpack .../liblzma5_5.6.3-1+b1_amd64.deb ... Unpacking liblzma5:amd64 (5.6.3-1+b1) over (5.4.1-0.2) ... Setting up liblzma5:amd64 (5.6.3-1+b1) ... (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 ... 14517 files and directories currently installed.) Preparing to unpack .../libudev1_257~rc3-1_amd64.deb ... Unpacking libudev1:amd64 (257~rc3-1) over (252.31-1~deb12u1) ... Setting up libudev1:amd64 (257~rc3-1) ... dpkg: libapt-pkg6.0:amd64: dependency problems, but removing anyway as you requested: apt depends on libapt-pkg6.0 (>= 2.6.1). (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 ... 14517 files and directories currently installed.) Removing libapt-pkg6.0:amd64 (2.6.1) ... Selecting previously unselected package libapt-pkg6.0t64: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 ... 14468 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.16_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.16) ... Setting up libapt-pkg6.0t64:amd64 (2.9.16) ... (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 ... 14518 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.16_amd64.deb ... Unpacking apt (2.9.16) over (2.6.1) ... Setting up apt (2.9.16) ... (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 ... 14511 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-3_amd64.deb ... Unpacking tar (1.35+dfsg-3) over (1.34+dfsg-1.2+deb12u1) ... Setting up tar (1.35+dfsg-3) ... (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 ... 14512 files and directories currently installed.) Preparing to unpack .../dpkg_1.22.11_amd64.deb ... Unpacking dpkg (1.22.11) over (1.21.22) ... Setting up dpkg (1.22.11) ... (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 ... 14499 files and directories currently installed.) Preparing to unpack .../findutils_4.10.0-3_amd64.deb ... Unpacking findutils (4.10.0-3) over (4.9.0-4) ... Setting up findutils (4.10.0-3) ... (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 ... 14497 files and directories currently installed.) Preparing to unpack .../archives/grep_3.11-4_amd64.deb ... Unpacking grep (3.11-4) over (3.8-5) ... Setting up grep (3.11-4) ... (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 ... 14497 files and directories currently installed.) Preparing to unpack .../gzip_1.12-1.1_amd64.deb ... Unpacking gzip (1.12-1.1) over (1.12-1) ... dpkg: warning: old file '/bin/uncompress' is the same as several new files! (both '/usr/bin/gunzip' and '/usr/bin/uncompress') dpkg: warning: old file '/bin/gunzip' is the same as several new files! (both '/usr/bin/gunzip' and '/usr/bin/uncompress') Setting up gzip (1.12-1.1) ... (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 ... 14497 files and directories currently installed.) Preparing to unpack .../hostname_3.25_amd64.deb ... Unpacking hostname (3.25) over (3.23+nmu1) ... Setting up hostname (3.25) ... Selecting previously unselected package login.defs. (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 ... 14497 files and directories currently installed.) Preparing to unpack .../login.defs_1%3a4.16.0-5_all.deb ... Unpacking login.defs (1:4.16.0-5) ... Replacing files in old package login (1:4.13+dfsg1-1+b1) ... Setting up login.defs (1:4.16.0-5) ... Installing new version of config file /etc/login.defs ... dpkg: libdb5.3:amd64: dependency problems, but removing anyway as you requested: libpam-modules:amd64 depends on libdb5.3. (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 ... 14502 files and directories currently installed.) Removing libdb5.3:amd64 (5.3.28+dfsg2-1) ... Selecting previously unselected package libdb5.3t64: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 ... 14496 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-9_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-9) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-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 ... 14502 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.0.2-2_all.deb ... Unpacking libaudit-common (1:4.0.2-2) over (1:3.0.9-1) ... Setting up libaudit-common (1:4.0.2-2) ... (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 ... 14502 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.5-4_amd64.deb ... Unpacking libcap-ng0:amd64 (0.8.5-4) over (0.8.3-1+b3) ... Setting up libcap-ng0:amd64 (0.8.5-4) ... (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 ... 14501 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.0.2-2_amd64.deb ... Unpacking libaudit1:amd64 (1:4.0.2-2) over (1:3.0.9-1) ... Setting up libaudit1:amd64 (1:4.0.2-2) ... (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 ... 14501 files and directories currently installed.) Preparing to unpack .../perl-base_5.40.0-8_amd64.deb ... Unpacking perl-base (5.40.0-8) over (5.36.0-7+deb12u1) ... Setting up perl-base (5.40.0-8) ... (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 ... 14506 files and directories currently installed.) Preparing to unpack .../debconf_1.5.87_all.deb ... Unpacking debconf (1.5.87) over (1.5.82) ... Setting up debconf (1.5.87) ... Installing new version of config file /etc/debconf.conf ... (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 ... 14505 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.3-7+b1_amd64.deb ... Unpacking libpam0g:amd64 (1.5.3-7+b1) over (1.5.2-6+deb12u1) ... Setting up libpam0g:amd64 (1.5.3-7+b1) ... (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 ... 14505 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.44-4_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.44-4) over (10.42-1) ... Setting up libpcre2-8-0:amd64 (10.44-4) ... (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 ... 14505 files and directories currently installed.) Preparing to unpack .../libselinux1_3.7-3+b1_amd64.deb ... Unpacking libselinux1:amd64 (3.7-3+b1) over (3.4-1+b6) ... Setting up libselinux1:amd64 (3.7-3+b1) ... (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 ... 14506 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.3-7+b1_amd64.deb ... Unpacking libpam-modules-bin (1.5.3-7+b1) over (1.5.2-6+deb12u1) ... Setting up libpam-modules-bin (1.5.3-7+b1) ... (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 ... 14506 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.3-7+b1_amd64.deb ... Unpacking libpam-modules:amd64 (1.5.3-7+b1) over (1.5.2-6+deb12u1) ... dpkg: warning: unable to delete old directory '/lib/x86_64-linux-gnu/security': Directory not empty Setting up libpam-modules:amd64 (1.5.3-7+b1) ... Installing new version of config file /etc/security/namespace.init ... (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 ... 14507 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.5.3-7_all.deb ... Unpacking libpam-runtime (1.5.3-7) over (1.5.2-6+deb12u1) ... Setting up libpam-runtime (1.5.3-7) ... (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 ... 14506 files and directories currently installed.) Preparing to unpack .../login_1%3a4.16.0-2+really2.40.2-11_amd64.deb ... Unpacking login (1:4.16.0-2+really2.40.2-11) over (1:4.13+dfsg1-1+b1) ... Setting up login (1:4.16.0-2+really2.40.2-11) ... Installing new version of config file /etc/pam.d/login ... (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 ... 14394 files and directories currently installed.) Preparing to unpack .../libncurses-dev_6.5-2+b1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2+b1) over (6.4-4) ... Preparing to unpack .../libncurses6_6.5-2+b1_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2+b1) over (6.4-4) ... Preparing to unpack .../libncursesw6_6.5-2+b1_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2+b1) over (6.4-4) ... Preparing to unpack .../libtinfo6_6.5-2+b1_amd64.deb ... Unpacking libtinfo6:amd64 (6.5-2+b1) over (6.4-4) ... Setting up libtinfo6:amd64 (6.5-2+b1) ... (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 ... 14387 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.5-2+b1_amd64.deb ... Unpacking ncurses-bin (6.5-2+b1) over (6.4-4) ... Setting up ncurses-bin (6.5-2+b1) ... (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 ... 14388 files and directories currently installed.) Preparing to unpack .../archives/sed_4.9-2_amd64.deb ... Unpacking sed (4.9-2) over (4.9-1) ... Setting up sed (4.9-2) ... (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 ... 14388 files and directories currently installed.) Preparing to unpack .../libblkid1_2.40.2-11_amd64.deb ... Unpacking libblkid1:amd64 (2.40.2-11) over (2.38.1-5+deb12u2) ... Setting up libblkid1:amd64 (2.40.2-11) ... (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 ... 14389 files and directories currently installed.) Preparing to unpack .../libmount1_2.40.2-11_amd64.deb ... Unpacking libmount1:amd64 (2.40.2-11) over (2.38.1-5+deb12u2) ... Setting up libmount1:amd64 (2.40.2-11) ... (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 ... 14390 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.40.2-11_amd64.deb ... Unpacking libsmartcols1:amd64 (2.40.2-11) over (2.38.1-5+deb12u2) ... Setting up libsmartcols1:amd64 (2.40.2-11) ... (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 ... 14391 files and directories currently installed.) Preparing to unpack .../libuuid1_2.40.2-11_amd64.deb ... Unpacking libuuid1:amd64 (2.40.2-11) over (2.38.1-5+deb12u2) ... Setting up libuuid1:amd64 (2.40.2-11) ... (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 ... 14392 files and directories currently installed.) Preparing to unpack .../util-linux_2.40.2-11_amd64.deb ... Unpacking util-linux (2.40.2-11) over (2.38.1-5+deb12u2) ... Setting up util-linux (2.40.2-11) ... (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 ... 14362 files and directories currently installed.) Preparing to unpack .../util-linux-extra_2.40.2-11_amd64.deb ... Adding 'diversion of /sbin/ctrlaltdel to /sbin/ctrlaltdel.usr-is-merged by util-linux-extra' Adding 'diversion of /sbin/fsck.cramfs to /sbin/fsck.cramfs.usr-is-merged by util-linux-extra' Adding 'diversion of /sbin/fsck.minix to /sbin/fsck.minix.usr-is-merged by util-linux-extra' Adding 'diversion of /sbin/mkfs.bfs to /sbin/mkfs.bfs.usr-is-merged by util-linux-extra' Adding 'diversion of /sbin/mkfs.cramfs to /sbin/mkfs.cramfs.usr-is-merged by util-linux-extra' Adding 'diversion of /sbin/mkfs.minix to /sbin/mkfs.minix.usr-is-merged by util-linux-extra' Unpacking util-linux-extra (2.40.2-11) over (2.38.1-5+deb12u2) ... dpkg: warning: unable to delete old directory '/usr/lib/udev/rules.d': Directory not empty dpkg: warning: unable to delete old directory '/usr/lib/udev': Directory not empty dpkg: warning: unable to delete old directory '/etc/init.d': Directory not empty Setting up util-linux-extra (2.40.2-11) ... (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 ... 14401 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.274_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.274) over (0.270) ... Setting up libdebconfclient0:amd64 (0.274) ... (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 ... 14401 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.5_amd64.deb ... Unpacking base-passwd (3.6.5) over (3.6.1) ... Setting up base-passwd (3.6.5) ... (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 ... 14404 files and directories currently installed.) Preparing to unpack .../libmd0_1.1.0-2+b1_amd64.deb ... Unpacking libmd0:amd64 (1.1.0-2+b1) over (1.0.4-2) ... Setting up libmd0:amd64 (1.1.0-2+b1) ... Selecting previously unselected package libbsd0: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 ... 14405 files and directories currently installed.) Preparing to unpack .../libbsd0_0.12.2-2_amd64.deb ... Unpacking libbsd0:amd64 (0.12.2-2) ... Setting up libbsd0:amd64 (0.12.2-2) ... (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 ... 14412 files and directories currently installed.) Preparing to unpack .../libacl1_2.3.2-2+b1_amd64.deb ... Unpacking libacl1:amd64 (2.3.2-2+b1) over (2.3.1-3) ... Setting up libacl1:amd64 (2.3.2-2+b1) ... (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 ... 14413 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.5.2-2_amd64.deb ... Unpacking libattr1:amd64 (1:2.5.2-2) over (1:2.5.1-4) ... Setting up libattr1:amd64 (1:2.5.2-2) ... (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 ... 14413 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.7-2_all.deb ... Unpacking libsemanage-common (3.7-2) over (3.4-1) ... Setting up libsemanage-common (3.7-2) ... (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 ... 14412 files and directories currently installed.) Preparing to unpack .../libsepol2_3.7-1_amd64.deb ... Unpacking libsepol2:amd64 (3.7-1) over (3.4-2.1) ... Setting up libsepol2:amd64 (3.7-1) ... (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 ... 14412 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.7-2+b1_amd64.deb ... Unpacking libsemanage2:amd64 (3.7-2+b1) over (3.4-1+b5) ... Setting up libsemanage2:amd64 (3.7-2+b1) ... (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 ... 14412 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.16.0-5_amd64.deb ... Unpacking passwd (1:4.16.0-5) over (1:4.13+dfsg1-1+b1) ... Setting up passwd (1:4.16.0-5) ... (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 ... 14440 files and directories currently installed.) Preparing to unpack .../archives/adduser_3.137_all.deb ... Unpacking adduser (3.137) over (3.134) ... Setting up adduser (3.137) ... Installing new version of config file /etc/adduser.conf ... (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 ... 14434 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.45-2_amd64.deb ... Unpacking gpgv (2.2.45-2) over (2.2.40-1.1) ... Setting up gpgv (2.2.45-2) ... (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 ... 14434 files and directories currently installed.) Preparing to unpack .../debian-archive-keyring_2023.4_all.deb ... Unpacking debian-archive-keyring (2023.4) over (2023.3+deb12u1) ... Setting up debian-archive-keyring (2023.4) ... (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 ... 14434 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.5-2_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.5-2) over (2.5.4-1+deb12u1) ... Setting up libseccomp2:amd64 (2.5.5-2) ... (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 ... 14434 files and directories currently installed.) Preparing to unpack .../usr-is-merged_39_all.deb ... Unpacking usr-is-merged (39) over (37~deb12u1) ... Setting up usr-is-merged (39) ... (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 ... 14434 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.67_all.deb ... Unpacking init-system-helpers (1.67) over (1.65.2) ... Setting up init-system-helpers (1.67) ... (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 ... 14434 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.5-2_all.deb ... Unpacking ncurses-base (6.5-2) over (6.4-4) ... Setting up ncurses-base (6.5-2) ... (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 ... 14432 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.11-1_amd64.deb ... Unpacking sysvinit-utils (3.11-1) over (3.06-4) ... dpkg: warning: unable to delete old directory '/lib/lsb/init-functions.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/lsb': Directory not empty dpkg: warning: unable to delete old directory '/lib/init': Directory not empty Setting up sysvinit-utils (3.11-1) ... (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 ... 14432 files and directories currently installed.) Removing hol-light (20230128-1+b1) ... (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 ... 12724 files and directories currently installed.) Preparing to unpack .../logsave_1.47.2~rc1-1_amd64.deb ... Unpacking logsave (1.47.2~rc1-1) over (1.47.0-2) ... dpkg: libext2fs2:amd64: dependency problems, but removing anyway as you requested: e2fsprogs depends on libext2fs2 (= 1.47.0-2). (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 ... 12724 files and directories currently installed.) Removing libext2fs2:amd64 (1.47.0-2) ... Selecting previously unselected package libext2fs2t64: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 ... 12717 files and directories currently installed.) Preparing to unpack .../libext2fs2t64_1.47.2~rc1-1_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64' Adding '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' Adding 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64' Adding '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' Unpacking libext2fs2t64:amd64 (1.47.2~rc1-1) ... Setting up libcom-err2:amd64 (1.47.2~rc1-1) ... Setting up libext2fs2t64:amd64 (1.47.2~rc1-1) ... (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 ... 12733 files and directories currently installed.) Preparing to unpack .../000-e2fsprogs_1.47.2~rc1-1_amd64.deb ... Unpacking e2fsprogs (1.47.2~rc1-1) over (1.47.0-2) ... dpkg: warning: unable to delete old directory '/lib/udev/rules.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/udev': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd': Directory not empty Preparing to unpack .../001-mount_2.40.2-11_amd64.deb ... Unpacking mount (2.40.2-11) over (2.38.1-5+deb12u2) ... Preparing to unpack .../002-mawk_1.3.4.20240905-1_amd64.deb ... Unpacking mawk (1.3.4.20240905-1) over (1.3.4.20200120-3.1) ... Preparing to unpack .../003-tzdata_2024b-3_all.deb ... Unpacking tzdata (2024b-3) over (2024a-0+deb12u1) ... Preparing to unpack .../004-libgprofng0_2.43.50.20241126-3_amd64.deb ... Unpacking libgprofng0:amd64 (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../005-libctf0_2.43.50.20241126-3_amd64.deb ... Unpacking libctf0:amd64 (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../006-libctf-nobfd0_2.43.50.20241126-3_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../007-binutils-x86-64-linux-gnu_2.43.50.20241126-3_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../008-libbinutils_2.43.50.20241126-3_amd64.deb ... Unpacking libbinutils:amd64 (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../009-binutils_2.43.50.20241126-3_amd64.deb ... Unpacking binutils (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../010-binutils-common_2.43.50.20241126-3_amd64.deb ... Unpacking binutils-common:amd64 (2.43.50.20241126-3) over (2.40-2) ... Preparing to unpack .../011-libjansson4_2.14-2+b3_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b3) over (2.14-2) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../012-libsframe1_2.43.50.20241126-3_amd64.deb ... Unpacking libsframe1:amd64 (2.43.50.20241126-3) ... Preparing to unpack .../013-libcamlp-streams-ocaml-dev_5.0.1-3+b2_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b2) over (5.0.1-1) ... Preparing to unpack .../014-libcamlp-streams-ocaml_5.0.1-3+b2_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b2) over (5.0.1-1) ... Preparing to unpack .../015-camlp5_8.03.00-1+b5_amd64.deb ... Unpacking camlp5 (8.03.00-1+b5) over (8.00.04-1+b1) ... Preparing to unpack .../016-ocaml-compiler-libs_5.2.0-3_all.deb ... Unpacking ocaml-compiler-libs (5.2.0-3) over (4.13.1-4) ... Preparing to unpack .../017-ocaml_5.2.0-3_amd64.deb ... Unpacking ocaml (5.2.0-3) over (4.13.1-4) ... Preparing to unpack .../018-ocaml-interp_5.2.0-3_amd64.deb ... Unpacking ocaml-interp (5.2.0-3) over (4.13.1-4) ... Preparing to unpack .../019-ocaml-base_5.2.0-3_amd64.deb ... Unpacking ocaml-base (5.2.0-3) over (4.13.1-4) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../020-libstdlib-ocaml_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../021-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-3) ... Preparing to unpack .../022-libisl23_0.27-1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1) over (0.25-1.1) ... Preparing to unpack .../023-libmpfr6_4.2.1-1+b2_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1+b2) over (4.2.0-1) ... Preparing to unpack .../024-libmpc3_1.3.1-1+b3_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1+b3) over (1.3.1-1) ... Selecting previously unselected package cpp-14-x86-64-linux-gnu. Preparing to unpack .../025-cpp-14-x86-64-linux-gnu_14.2.0-8_amd64.deb ... Unpacking cpp-14-x86-64-linux-gnu (14.2.0-8) ... Selecting previously unselected package cpp-14. Preparing to unpack .../026-cpp-14_14.2.0-8_amd64.deb ... Unpacking cpp-14 (14.2.0-8) ... Preparing to unpack .../027-gcc_4%3a14.2.0-1_amd64.deb ... Unpacking gcc (4:14.2.0-1) over (4:12.2.0-3) ... Preparing to unpack .../028-cpp_4%3a14.2.0-1_amd64.deb ... Unpacking cpp (4:14.2.0-1) over (4:12.2.0-3) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../029-cpp-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1) ... Preparing to unpack .../030-libcc1-0_14.2.0-8_amd64.deb ... Unpacking libcc1-0:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../031-libgomp1_14.2.0-8_amd64.deb ... Unpacking libgomp1:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../032-libitm1_14.2.0-8_amd64.deb ... Unpacking libitm1:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../033-libatomic1_14.2.0-8_amd64.deb ... Unpacking libatomic1:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../034-libasan8_14.2.0-8_amd64.deb ... Unpacking libasan8:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../035-liblsan0_14.2.0-8_amd64.deb ... Unpacking liblsan0:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../036-libubsan1_14.2.0-8_amd64.deb ... Unpacking libubsan1:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../037-libquadmath0_14.2.0-8_amd64.deb ... Unpacking libquadmath0:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../038-gcc-12_12.4.0-2_amd64.deb ... Unpacking gcc-12 (12.4.0-2) over (12.2.0-14) ... Preparing to unpack .../039-cpp-12_12.4.0-2_amd64.deb ... Unpacking cpp-12 (12.4.0-2) over (12.2.0-14) ... Preparing to unpack .../040-libgcc-12-dev_12.4.0-2_amd64.deb ... Unpacking libgcc-12-dev:amd64 (12.4.0-2) over (12.2.0-14) ... Preparing to unpack .../041-libtsan2_14.2.0-8_amd64.deb ... Unpacking libtsan2:amd64 (14.2.0-8) over (12.2.0-14) ... Preparing to unpack .../042-gcc-12-base_12.4.0-2_amd64.deb ... Unpacking gcc-12-base:amd64 (12.4.0-2) over (12.2.0-14) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../043-libhwasan0_14.2.0-8_amd64.deb ... Unpacking libhwasan0:amd64 (14.2.0-8) ... Selecting previously unselected package libgcc-14-dev:amd64. Preparing to unpack .../044-libgcc-14-dev_14.2.0-8_amd64.deb ... Unpacking libgcc-14-dev:amd64 (14.2.0-8) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu. Preparing to unpack .../045-gcc-14-x86-64-linux-gnu_14.2.0-8_amd64.deb ... Unpacking gcc-14-x86-64-linux-gnu (14.2.0-8) ... Selecting previously unselected package gcc-14. Preparing to unpack .../046-gcc-14_14.2.0-8_amd64.deb ... Unpacking gcc-14 (14.2.0-8) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../047-gcc-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../048-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../049-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../050-libastring-ocaml_0.8.5-2+b2_amd64.deb ... Unpacking libastring-ocaml (0.8.5-2+b2) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../051-libastring-ocaml-dev_0.8.5-2+b2_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+b2) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../052-libfmt-ocaml_0.9.0-3+b3_amd64.deb ... Unpacking libfmt-ocaml (0.9.0-3+b3) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../053-libfpath-ocaml_0.7.3-3+b2_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-3+b2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../054-libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../055-libgen-ocaml_1.1-1+b2_amd64.deb ... Unpacking libgen-ocaml (1.1-1+b2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../056-libxau6_1%3a1.0.11-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../057-libxdmcp6_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../058-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../059-libx11-data_2%3a1.8.10-2_all.deb ... Unpacking libx11-data (2:1.8.10-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../060-libx11-6_2%3a1.8.10-2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.10-2) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../061-libgraphics-ocaml_5.1.2-3+b2_amd64.deb ... Unpacking libgraphics-ocaml (5.1.2-3+b2) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../062-libocplib-endian-ocaml_1.2-4+b1_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-4+b1) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../063-libreact-ocaml_1.2.2-1+b2_amd64.deb ... Unpacking libreact-ocaml (1.2.2-1+b2) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../064-libsexplib0-ocaml_0.17.0-1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1) ... Selecting previously unselected package libev4t64:amd64. Preparing to unpack .../065-libev4t64_1%3a4.33-2.1+b1_amd64.deb ... Unpacking libev4t64:amd64 (1:4.33-2.1+b1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../066-liblwt-ocaml_5.7.0-1+b8_amd64.deb ... Unpacking liblwt-ocaml (5.7.0-1+b8) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../067-liblwt-log-ocaml_1.1.2-4+b8_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b8) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../068-libreactivedata-ocaml_0.3-4+b2_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+b2) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../069-libsedlex-ocaml_3.2-1+b6_amd64.deb ... Unpacking libsedlex-ocaml (3.2-1+b6) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../070-libuutf-ocaml_1.0.3-1+b3_amd64.deb ... Unpacking libuutf-ocaml (1.0.3-1+b3) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../071-libtyxml-ocaml_4.6.0-1+b3_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1+b3) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../072-libyojson-ocaml_2.2.2-1_amd64.deb ... Unpacking libyojson-ocaml (2.2.2-1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../073-libjs-of-ocaml_5.8.2-2+b5_amd64.deb ... Unpacking libjs-of-ocaml (5.8.2-2+b5) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../074-liblogs-ocaml_0.7.0-3+b14_amd64.deb ... Unpacking liblogs-ocaml (0.7.0-3+b14) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../075-librresult-ocaml_0.7.0-2+b2_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+b2) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../076-libbos-ocaml_0.2.1-2+b14_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+b14) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../077-libcmdliner-ocaml-dev_1.3.0-2+b1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.3.0-2+b1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../078-libfmt-ocaml-dev_0.9.0-3+b3_amd64.deb ... Unpacking libfmt-ocaml-dev (0.9.0-3+b3) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../079-libfpath-ocaml-dev_0.7.3-3+b2_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+b2) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../080-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-3) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../081-libgen-ocaml-dev_1.1-1+b2_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+b2) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../082-libgraphics-ocaml-dev_5.1.2-3+b2_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+b2) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../083-libev-dev_1%3a4.33-2.1+b1_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-2.1+b1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../084-libocaml-compiler-libs-ocaml-dev_0.17.0-1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../085-libocplib-endian-ocaml-dev_1.2-4+b1_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-4+b1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../086-libppx-derivers-ocaml-dev_1.2.1-4+b2_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../087-libsexplib0-ocaml-dev_0.17.0-1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../088-libppxlib-ocaml-dev_0.33.0-2_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.33.0-2) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../089-libreact-ocaml-dev_1.2.2-1+b2_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+b2) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../090-liblwt-ocaml-dev_5.7.0-1+b8_amd64.deb ... Unpacking liblwt-ocaml-dev (5.7.0-1+b8) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../091-liblwt-log-ocaml-dev_1.1.2-4+b8_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b8) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../092-libmenhir-ocaml-dev_20240715+ds-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20240715+ds-1) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../093-libreactivedata-ocaml-dev_0.3-4+b2_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+b2) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../094-libsedlex-ocaml-dev_3.2-1+b6_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.2-1+b6) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../095-libre-ocaml-dev_1.12.0+really1.11.0-1_amd64.deb ... Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../096-libuutf-ocaml-dev_1.0.3-1+b3_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.3-1+b3) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../097-libtyxml-ocaml-dev_4.6.0-1+b3_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1+b3) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../098-libyojson-ocaml-dev_2.2.2-1_amd64.deb ... Unpacking libyojson-ocaml-dev (2.2.2-1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../099-libjs-of-ocaml-dev_5.8.2-2+b5_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.8.2-2+b5) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../100-liblogs-ocaml-dev_0.7.0-3+b14_amd64.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+b14) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../101-librresult-ocaml-dev_0.7.0-2+b2_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+b2) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../102-libbos-ocaml-dev_0.2.1-2+b14_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b14) ... Preparing to unpack .../103-libss2_1.47.2~rc1-1_amd64.deb ... Unpacking libss2:amd64 (1.47.2~rc1-1) over (1.47.0-2) ... dpkg: warning: unable to delete old directory '/lib/x86_64-linux-gnu': Directory not empty Setting up libev4t64:amd64 (1:4.33-2.1+b1) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up libkeyutils1:amd64 (1.6.3-4) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ... Setting up libtirpc-common (1.3.4+ds-1.3) ... Setting up binutils-common:amd64 (2.43.50.20241126-3) ... Installing new version of config file /etc/gprofng.rc ... Setting up linux-libc-dev (6.11.10-1) ... Setting up libctf-nobfd0:amd64 (2.43.50.20241126-3) ... Setting up libgomp1:amd64 (14.2.0-8) ... Setting up libsframe1:amd64 (2.43.50.20241126-3) ... Setting up libjansson4:amd64 (2.14-2+b3) ... Setting up libkrb5support0:amd64 (1.21.3-3) ... Setting up gcc-12-base:amd64 (12.4.0-2) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Dec 1 22:40:54 UTC 2024. Universal Time is now: Sun Dec 1 22:40:54 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libx11-data (2:1.8.10-2) ... Setting up libmpfr6:amd64 (4.2.1-1+b2) ... Setting up libncurses6:amd64 (6.5-2+b1) ... Setting up libquadmath0:amd64 (14.2.0-8) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up libmpc3:amd64 (1.3.1-1+b3) ... Setting up libatomic1:amd64 (14.2.0-8) ... Setting up libss2:amd64 (1.47.2~rc1-1) ... Setting up ocaml-base (5.2.0-3) ... Setting up libncursesw6:amd64 (6.5-2+b1) ... Setting up libk5crypto3:amd64 (1.21.3-3) ... Setting up logsave (1.47.2~rc1-1) ... Setting up libubsan1:amd64 (14.2.0-8) ... Setting up libsexplib0-ocaml (0.17.0-1) ... Setting up mount (2.40.2-11) ... Setting up libhwasan0:amd64 (14.2.0-8) ... Setting up libcrypt-dev:amd64 (1:4.4.36-5) ... Setting up libasan8:amd64 (14.2.0-8) ... Setting up libfmt-ocaml (0.9.0-3+b3) ... Setting up libx11-6:amd64 (2:1.8.10-2) ... Setting up libreact-ocaml (1.2.2-1+b2) ... Setting up mawk (1.3.4.20240905-1) ... Setting up libkrb5-3:amd64 (1.21.3-3) ... Setting up libev-dev:amd64 (1:4.33-2.1+b1) ... Setting up libtsan2:amd64 (14.2.0-8) ... Setting up libbinutils:amd64 (2.43.50.20241126-3) ... Setting up libisl23:amd64 (0.27-1) ... Setting up libc-dev-bin (2.40-4) ... Setting up libcc1-0:amd64 (14.2.0-8) ... Setting up liblsan0:amd64 (14.2.0-8) ... Setting up libitm1:amd64 (14.2.0-8) ... Setting up libctf0:amd64 (2.43.50.20241126-3) ... Setting up libastring-ocaml (0.8.5-2+b2) ... Setting up cpp-12 (12.4.0-2) ... Setting up libgen-ocaml (1.1-1+b2) ... 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 libfpath-ocaml (0.7.3-3+b2) ... Setting up librresult-ocaml (0.7.0-2+b2) ... Setting up libuutf-ocaml (1.0.3-1+b3) ... Setting up libfindlib-ocaml (1.9.6-3) ... Setting up e2fsprogs (1.47.2~rc1-1) ... Installing new version of config file /etc/cron.d/e2scrub_all ... Installing new version of config file /etc/mke2fs.conf ... Setting up libocplib-endian-ocaml (1.2-4+b1) ... Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... Setting up libsedlex-ocaml (3.2-1+b6) ... Setting up libgprofng0:amd64 (2.43.50.20241126-3) ... Setting up libreactivedata-ocaml (0.3-4+b2) ... Setting up ocaml-interp (5.2.0-3) ... Setting up libgcc-12-dev:amd64 (12.4.0-2) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ... Setting up cpp-14-x86-64-linux-gnu (14.2.0-8) ... Setting up libgraphics-ocaml (5.1.2-3+b2) ... Setting up cpp-14 (14.2.0-8) ... Setting up libtyxml-ocaml (4.6.0-1+b3) ... Setting up libc6-dev:amd64 (2.40-4) ... Setting up libgcc-14-dev:amd64 (14.2.0-8) ... Setting up binutils-x86-64-linux-gnu (2.43.50.20241126-3) ... Setting up cpp-x86-64-linux-gnu (4:14.2.0-1) ... Setting up libncurses-dev:amd64 (6.5-2+b1) ... Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ... Setting up ocaml-compiler-libs (5.2.0-3) ... Setting up liblwt-ocaml (5.7.0-1+b8) ... Setting up binutils (2.43.50.20241126-3) ... Setting up liblwt-log-ocaml (1.1.2-4+b8) ... Setting up libtirpc-dev:amd64 (1.3.4+ds-1.3+b1) ... Setting up gcc-12 (12.4.0-2) ... Setting up cpp (4:14.2.0-1) ... Setting up libnsl2:amd64 (1.3.0-3+b3) ... Setting up gcc-14-x86-64-linux-gnu (14.2.0-8) ... Setting up libjs-of-ocaml (5.8.2-2+b5) ... Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ... Setting up gcc-14 (14.2.0-8) ... Setting up liblogs-ocaml (0.7.0-3+b14) ... Setting up libnsl-dev:amd64 (1.3.0-3+b3) ... Setting up libbos-ocaml (0.2.1-2+b14) ... Setting up gcc (4:14.2.0-1) ... Setting up ocaml (5.2.0-3) ... Setting up libgen-ocaml-dev (1.1-1+b2) ... Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... Setting up libmenhir-ocaml-dev (20240715+ds-1) ... Setting up libreact-ocaml-dev (1.2.2-1+b2) ... Setting up librresult-ocaml-dev (0.7.0-2+b2) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Setting up libyojson-ocaml-dev (2.2.2-1) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b2) ... Setting up libfindlib-ocaml-dev (1.9.6-3) ... Setting up libsexplib0-ocaml-dev (0.17.0-1) ... Setting up libcmdliner-ocaml-dev (1.3.0-2+b1) ... Setting up libocplib-endian-ocaml-dev (1.2-4+b1) ... Setting up libastring-ocaml-dev (0.8.5-2+b2) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Setting up libreactivedata-ocaml-dev (0.3-4+b2) ... Setting up libgraphics-ocaml-dev (5.1.2-3+b2) ... Setting up libuutf-ocaml-dev (1.0.3-1+b3) ... Setting up libppxlib-ocaml-dev (0.33.0-2) ... Setting up libfmt-ocaml-dev (0.9.0-3+b3) ... Setting up libtyxml-ocaml-dev (4.6.0-1+b3) ... Setting up libfpath-ocaml-dev (0.7.3-3+b2) ... Setting up libsedlex-ocaml-dev (3.2-1+b6) ... Setting up liblwt-ocaml-dev (5.7.0-1+b8) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b8) ... Setting up libjs-of-ocaml-dev (5.8.2-2+b5) ... Setting up liblogs-ocaml-dev (0.7.0-3+b14) ... Setting up libbos-ocaml-dev (0.2.1-2+b14) ... Setting up camlp5 (8.03.00-1+b5) ... Processing triggers for libc-bin (2.40-4) ... Processing triggers for debianutils (5.21) ... 1m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-yf', 'dist-upgrade'] 1m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m4.9s DUMP: 1ff1b07091dc584997d4d92c2c084bd4 - 1m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'show', '--no-all-versions', 'hol-light'] 1m5.2s DUMP: Package: hol-light Version: 20231021-2 Installed-Size: 45473 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-zvv96, libcamlp-streams-ocaml-dev-yu0z3, libcompiler-libs-ocaml-dev-rcwc4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python Description-en: HOL Light theorem prover HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aimed at the formalization of Tom Hales' proof of the Kepler conjecture. Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5 Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Section: math Priority: optional Filename: pool/main/h/hol-light/hol-light_20231021-2_amd64.deb Size: 5909584 MD5sum: 2c116f1e8f32ce038558a7e70c2a24a8 SHA256: 780baa606cf694ad02709f61f106a365680ec6d4c23876d69c391b68ceef2d7f 1m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'show', '--no-all-versions', 'hol-light'] 1m5.2s INFO: apt-cache knows about the following packages: hol-light 1m5.2s INFO: Running scripts pre_install 1m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_database-server'] 1m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_database-server'] 1m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_exceptions'] 1m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_exceptions'] 1m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_extras'] 1m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_extras'] 1m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture'] 1m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture'] 1m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy'] 1m5.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy'] 1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy', 'hol-light'] 1m5.4s DUMP: hol-light: Installed: (none) Candidate: 20231021-2 Version table: 20231021-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 20230128-1+b1 -1 100 /var/lib/dpkg/status 1m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-cache', 'policy', 'hol-light'] 1m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-y', 'install', 'hol-light'] 1m5.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: hol-light : Depends: camlp5-zvv96 but it is not installable Depends: libcamlp-streams-ocaml-dev-yu0z3 but it is not installable Depends: libcompiler-libs-ocaml-dev-rcwc4 but it is not installable Depends: libstdlib-ocaml-dev-ep7y0 but it is not installable Depends: ocaml-4.14.1 but it is not installable E: Unable to correct problems, you have held broken packages. 1m5.9s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmpq04awkea', 'apt-get', '-y', 'install', 'hol-light'] Reading package lists... Building dependency tree... Reading state information... Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: hol-light : Depends: camlp5-zvv96 but it is not installable Depends: libcamlp-streams-ocaml-dev-yu0z3 but it is not installable Depends: libcompiler-libs-ocaml-dev-rcwc4 but it is not installable Depends: libstdlib-ocaml-dev-ep7y0 but it is not installable Depends: ocaml-4.14.1 but it is not installable E: Unable to correct problems, you have held broken packages. 1m7.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/shm'] 1m7.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/shm'] 1m7.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/console'] 1m7.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/console'] 1m7.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/ptmx'] 1m7.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/ptmx'] 1m7.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/pts'] 1m7.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/dev/pts'] 1m7.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/proc'] 1m7.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpq04awkea/proc'] 1m7.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpq04awkea'] 1m7.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpq04awkea'] 1m7.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpq04awkea 1m7.6s ERROR: piuparts run ends. ret=1 End: 2024-12-01 22:40:59 GMT