Start: 2024-10-13 16:24:06 GMT [stable] Package: libcoq-mathcomp Source: ssreflect (1.15.0-1) Version: 1.15.0-1+b4 Installed-Size: 81937 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: libssreflect-coq Provides: libmathcomp-coq, libssreflect-coq, ssreflect Depends: libcoq-mathcomp-algebra (= 1.15.0-1+b4), libcoq-mathcomp-character (= 1.15.0-1+b4), libcoq-mathcomp-field (= 1.15.0-1+b4), libcoq-mathcomp-fingroup (= 1.15.0-1+b4), libcoq-mathcomp-solvable (= 1.15.0-1+b4), libcoq-mathcomp-ssreflect (= 1.15.0-1+b4) Breaks: libssreflect-coq (<= 1.15.0-1+b4) Description: Mathematical Components library for Coq (all) Homepage: https://math-comp.github.io/math-comp/ Description-md5: bd26831f634ff58fc6c73937049fe58a Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_1.15.0-1+b4_amd64.deb Size: 3157880 MD5sum: 77a2fc1ba63dd7e4bfd8caabe8e729b6 SHA256: 36eff64c48fc78d58c0a5c8ada400f4cc2b06a3236d8430aa7e93dc144f15fa4 [testing] Package: libcoq-mathcomp Source: ssreflect (2.2.0-2) Version: 2.2.0-2+b6 Installed-Size: 97507 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: libssreflect-coq Provides: libmathcomp-coq, libssreflect-coq, ssreflect Depends: libcoq-mathcomp-algebra (= 2.2.0-2+b6), libcoq-mathcomp-character (= 2.2.0-2+b6), libcoq-mathcomp-field (= 2.2.0-2+b6), libcoq-mathcomp-fingroup (= 2.2.0-2+b6), libcoq-mathcomp-solvable (= 2.2.0-2+b6), libcoq-mathcomp-ssreflect (= 2.2.0-2+b6) Breaks: libssreflect-coq (<= 2.2.0-2+b6) Description: Mathematical Components library for Coq (all) Homepage: https://math-comp.github.io/math-comp/ Description-md5: bd26831f634ff58fc6c73937049fe58a Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_2.2.0-2+b6_amd64.deb Size: 2861952 MD5sum: 4220b9bd34b9191d54a31729d095a3f7 SHA256: d6f2baffbc26ff7dffe5d824e5412e3a90c578ca10beef40d599a905b675d670 [sid] Package: libcoq-mathcomp Source: ssreflect (2.2.0-2) Version: 2.2.0-2+b7 Installed-Size: 97507 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: libssreflect-coq Provides: libmathcomp-coq, libssreflect-coq, ssreflect Depends: libcoq-mathcomp-algebra (= 2.2.0-2+b7), libcoq-mathcomp-character (= 2.2.0-2+b7), libcoq-mathcomp-field (= 2.2.0-2+b7), libcoq-mathcomp-fingroup (= 2.2.0-2+b7), libcoq-mathcomp-solvable (= 2.2.0-2+b7), libcoq-mathcomp-ssreflect (= 2.2.0-2+b7) Breaks: libssreflect-coq (<= 2.2.0-2+b7) Description: Mathematical Components library for Coq (all) Homepage: https://math-comp.github.io/math-comp/ Description-md5: bd26831f634ff58fc6c73937049fe58a Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_2.2.0-2+b7_amd64.deb Size: 2862032 MD5sum: 58c863ab8f29d99768e256d2aa50a263 SHA256: 20ae7ef83991ca2e81a441afba889142cceb790afcbda193f7b678c2b0c8f938 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 testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat --apt libcoq-mathcomp=2.2.0-2+b7 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 testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat --apt libcoq-mathcomp=2.2.0-2+b7 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/tmpbwzsspfy 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpbwzsspfy 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/proc'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/proc'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/pts'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/pts'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/ptmx'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/ptmx'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/8', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/console'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/8', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/console'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/shm'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/shm'] 0m0.3s DEBUG: sources.list: deb http://deb.debian.org/debian/ bookworm main 0m0.3s DEBUG: Created policy-rc.d and chmodded it. 0m0.3s DEBUG: Created resolv.conf. 0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpbwzsspfy/tmp/scripts/ 0m0.4s INFO: Running scripts post_chroot_unpack 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'update'] 0m1.5s DUMP: Hit:1 http://deb.debian.org/debian bookworm InRelease Reading package lists... 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'update'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-yf', 'dist-upgrade'] 0m1.9s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-yf', 'dist-upgrade'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.1s DUMP: 14b5c1b94e8a6c425b0bba0e4df4ee12 - 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.1s INFO: Running scripts post_setup 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_dummy_users'] 0m3.0s 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.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_dummy_users'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_forbid_home'] 0m3.1s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_forbid_home'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.1s 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.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_minimize'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_minimize'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_zz_backports'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_setup_zz_backports'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.1s 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+deb12u7 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+deb12u1 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+deb12u1 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+deb12u8 install ok installed libc6:amd64 libc6 2.36-9+deb12u8 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+deb12u1 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+deb12u1 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.30-1~deb12u2 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.30-1~deb12u2 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-5+deb12u1 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+deb12u1 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+deb12u1 install ok installed util-linux-extra util-linux-extra 2.38.1-5+deb12u1 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.1s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat 0m3.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 0m3.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 0m3.7s INFO: Running scripts is_testable 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/is_testable_uninstallable'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/is_testable_uninstallable'] 0m3.7s INFO: Running scripts pre_test 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_test_exceptions'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_test_exceptions'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_test_root_password'] 0m3.7s DUMP: New password: Retype new password: passwd: password updated successfully 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_test_root_password'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp'] 0m3.9s DUMP: Package: libcoq-mathcomp Source: ssreflect (1.15.0-1) Version: 1.15.0-1+b4 Installed-Size: 81937 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: libssreflect-coq Provides: libmathcomp-coq, libssreflect-coq, ssreflect Depends: libcoq-mathcomp-algebra (= 1.15.0-1+b4), libcoq-mathcomp-character (= 1.15.0-1+b4), libcoq-mathcomp-field (= 1.15.0-1+b4), libcoq-mathcomp-fingroup (= 1.15.0-1+b4), libcoq-mathcomp-solvable (= 1.15.0-1+b4), libcoq-mathcomp-ssreflect (= 1.15.0-1+b4) Breaks: libssreflect-coq (<= 1.15.0-1+b4) Description-en: Mathematical Components library for Coq (all) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the full Mathematical Components library. Description-md5: bd26831f634ff58fc6c73937049fe58a Homepage: https://math-comp.github.io/math-comp/ Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_1.15.0-1+b4_amd64.deb Size: 3157880 MD5sum: 77a2fc1ba63dd7e4bfd8caabe8e729b6 SHA256: 36eff64c48fc78d58c0a5c8ada400f4cc2b06a3236d8430aa7e93dc144f15fa4 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp'] 0m3.9s INFO: apt-cache knows about the following packages: libcoq-mathcomp 0m3.9s INFO: Running scripts pre_install 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 0m4.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm/main amd64 Packages release v=12.7,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m4.2s DUMP: libcoq-mathcomp: Installed: (none) Candidate: 1.15.0-1+b4 Version table: 1.15.0-1+b4 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp'] 0m11.3s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-stdlib libfindlib-ocaml libzarith-ocaml ocaml-base Suggested packages: ocaml-findlib Recommended packages: coq The following NEW packages will be installed: libcoq-core-ocaml libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-stdlib libfindlib-ocaml libzarith-ocaml ocaml-base 0 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 72.0 MB of archives. After this operation, 407 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 ocaml-base amd64 4.13.1-4 [668 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 libfindlib-ocaml amd64 1.9.6-1+b1 [169 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 libzarith-ocaml amd64 1.12-1+b1 [56.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 libcoq-core-ocaml amd64 8.16.1+dfsg-1+b2 [22.6 MB] Get:5 http://deb.debian.org/debian bookworm/main amd64 libcoq-stdlib amd64 8.16.1+dfsg-1+b2 [21.5 MB] Get:6 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-ssreflect amd64 1.15.0-1+b4 [4208 kB] Get:7 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-fingroup amd64 1.15.0-1+b4 [1920 kB] Get:8 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-algebra amd64 1.15.0-1+b4 [6502 kB] Get:9 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-solvable amd64 1.15.0-1+b4 [4536 kB] Get:10 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-field amd64 1.15.0-1+b4 [2765 kB] Get:11 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-character amd64 1.15.0-1+b4 [3960 kB] Get:12 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp amd64 1.15.0-1+b4 [3158 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 72.0 MB in 1s (86.2 MB/s) Selecting previously unselected package ocaml-base. (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-ocaml-base_4.13.1-4_amd64.deb ... Unpacking ocaml-base (4.13.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../01-libfindlib-ocaml_1.9.6-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../02-libzarith-ocaml_1.12-1+b1_amd64.deb ... Unpacking libzarith-ocaml (1.12-1+b1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../03-libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb ... Unpacking libcoq-core-ocaml (8.16.1+dfsg-1+b2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../04-libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb ... Unpacking libcoq-stdlib (8.16.1+dfsg-1+b2) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../05-libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (1.15.0-1+b4) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../06-libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (1.15.0-1+b4) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../07-libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-algebra (1.15.0-1+b4) ... Selecting previously unselected package libcoq-mathcomp-solvable. Preparing to unpack .../08-libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-solvable (1.15.0-1+b4) ... Selecting previously unselected package libcoq-mathcomp-field. Preparing to unpack .../09-libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-field (1.15.0-1+b4) ... Selecting previously unselected package libcoq-mathcomp-character. Preparing to unpack .../10-libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-character (1.15.0-1+b4) ... Selecting previously unselected package libcoq-mathcomp. Preparing to unpack .../11-libcoq-mathcomp_1.15.0-1+b4_amd64.deb ... Unpacking libcoq-mathcomp (1.15.0-1+b4) ... Setting up libcoq-stdlib (8.16.1+dfsg-1+b2) ... Setting up ocaml-base (4.13.1-4) ... Setting up libfindlib-ocaml (1.9.6-1+b1) ... Setting up libzarith-ocaml (1.12-1+b1) ... Setting up libcoq-core-ocaml (8.16.1+dfsg-1+b2) ... Setting up libcoq-mathcomp-ssreflect (1.15.0-1+b4) ... Setting up libcoq-mathcomp-fingroup (1.15.0-1+b4) ... Setting up libcoq-mathcomp-algebra (1.15.0-1+b4) ... Setting up libcoq-mathcomp-solvable (1.15.0-1+b4) ... Setting up libcoq-mathcomp-field (1.15.0-1+b4) ... Setting up libcoq-mathcomp-character (1.15.0-1+b4) ... Setting up libcoq-mathcomp (1.15.0-1+b4) ... 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp'] 0m11.3s INFO: Running scripts post_install 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 0m11.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 0m11.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 0m11.8s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpbwzsspfy to testing 0m11.8s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m11.8s INFO: Running scripts pre_distupgrade 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_exceptions'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_exceptions'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'update'] 0m15.3s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [169 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9330 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6224 kB] Fetched 15.7 MB in 3s (5780 kB/s) Reading package lists... 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'update'] 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-yf', 'dist-upgrade'] 0m48.1s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be REMOVED: libapt-pkg6.0 libdb5.3 libext2fs2 libgnutls30 libhogweed6 libnettle8 The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-base gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libapt-pkg6.0t64 libasan8 libatomic1 libbinutils libbsd0 libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcrypt-dev libctf-nobfd0 libctf0 libdb5.3t64 libelpi-ocaml libelpi-ocaml-dev libexpat1 libext2fs2t64 libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnutls30t64 libgomp1 libgprofng0 libgssapi-krb5-2 libhogweed6t64 libhwasan0 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnettle8t64 libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0 libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libssl3t64 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc3t64 libtsan2 libubsan1 libunistring5 libzarith-ocaml-dev libzstd-dev linux-libc-dev login.defs media-types netbase ocaml ocaml-findlib ocaml-interp openssl-provider-legacy python3 python3-minimal python3.12 python3.12-minimal readline-common rpcsvc-proto The following packages will be upgraded: adduser apt base-files base-passwd bash bsdutils coreutils dash debconf debian-archive-keyring debianutils diffutils dpkg e2fsprogs findutils gcc-12-base gpgv grep gzip hostname init-system-helpers libacl1 libattr1 libaudit-common libaudit1 libblkid1 libbz2-1.0 libc-bin libc6 libcap-ng0 libcap2 libcom-err2 libcoq-core-ocaml libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt1 libdebconfclient0 libffi8 libfindlib-ocaml libgcc-s1 libgcrypt20 libgmp10 libgpg-error0 libidn2-0 liblz4-1 liblzma5 libmd0 libmount1 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsmartcols1 libss2 libstdc++6 libsystemd0 libtasn1-6 libtinfo6 libudev1 libuuid1 libxxhash0 libzarith-ocaml libzstd1 login logsave mawk mount ncurses-base ncurses-bin ocaml-base passwd perl-base sed sysvinit-utils tar tzdata usr-is-merged util-linux util-linux-extra zlib1g 93 upgraded, 99 newly installed, 6 to remove and 0 not upgraded. Need to get 476 MB of archives. After this operation, 1171 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 base-files amd64 13.5 [72.8 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libc6 amd64 2.40-3 [2807 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 libc-bin amd64 2.40-3 [627 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 gcc-14-base amd64 14.2.0-6 [46.7 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 libgcc-s1 amd64 14.2.0-6 [72.8 kB] Get:6 http://deb.debian.org/debian trixie/main amd64 debianutils amd64 5.20 [89.5 kB] Get:7 http://deb.debian.org/debian trixie/main amd64 bash amd64 5.2.32-1+b1 [1500 kB] Get:8 http://deb.debian.org/debian trixie/main amd64 libcap2 amd64 1:2.66-5 [27.4 kB] Get:9 http://deb.debian.org/debian trixie/main amd64 libsystemd0 amd64 256.6-1 [381 kB] Get:10 http://deb.debian.org/debian trixie/main amd64 bsdutils amd64 1:2.40.2-9 [105 kB] Get:11 http://deb.debian.org/debian trixie/main amd64 libgmp10 amd64 2:6.3.0+dfsg-2+b1 [559 kB] Get:12 http://deb.debian.org/debian trixie/main amd64 libzstd1 amd64 1.5.6+dfsg-1 [303 kB] Get:13 http://deb.debian.org/debian trixie/main amd64 libssl3t64 amd64 3.3.2-1 [2271 kB] Get:14 http://deb.debian.org/debian trixie/main amd64 openssl-provider-legacy amd64 3.3.2-1 [298 kB] Get:15 http://deb.debian.org/debian trixie/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.1-1 [87.9 kB] Get:16 http://deb.debian.org/debian trixie/main amd64 coreutils amd64 9.4-3.1 [2950 kB] Get:17 http://deb.debian.org/debian trixie/main amd64 dash amd64 0.5.12-9 [93.2 kB] Get:18 http://deb.debian.org/debian trixie/main amd64 diffutils amd64 1:3.10-1 [375 kB] Get:19 http://deb.debian.org/debian trixie/main amd64 libgpg-error0 amd64 1.50-4 [81.6 kB] Get:20 http://deb.debian.org/debian trixie/main amd64 libgcrypt20 amd64 1.11.0-6 [843 kB] Get:21 http://deb.debian.org/debian trixie/main amd64 libstdc++6 amd64 14.2.0-6 [715 kB] Get:22 http://deb.debian.org/debian trixie/main amd64 libnettle8t64 amd64 3.10-1 [303 kB] Get:23 http://deb.debian.org/debian trixie/main amd64 libhogweed6t64 amd64 3.10-1 [334 kB] Get:24 http://deb.debian.org/debian trixie/main amd64 libp11-kit0 amd64 0.25.5-2 [424 kB] Get:25 http://deb.debian.org/debian trixie/main amd64 libunistring5 amd64 1.2-1 [425 kB] Get:26 http://deb.debian.org/debian trixie/main amd64 libgnutls30t64 amd64 3.8.6-2 [1444 kB] Get:27 http://deb.debian.org/debian trixie/main amd64 libffi8 amd64 3.4.6-1 [23.6 kB] Get:28 http://deb.debian.org/debian trixie/main amd64 libidn2-0 amd64 2.3.7-2 [128 kB] Get:29 http://deb.debian.org/debian trixie/main amd64 libtasn1-6 amd64 4.19.0-3+b2 [48.9 kB] Get:30 http://deb.debian.org/debian trixie/main amd64 libbz2-1.0 amd64 1.0.8-6 [37.9 kB] Get:31 http://deb.debian.org/debian trixie/main amd64 libxxhash0 amd64 0.8.2-2+b1 [26.6 kB] Get:32 http://deb.debian.org/debian trixie/main amd64 liblz4-1 amd64 1.9.4-3 [59.4 kB] Get:33 http://deb.debian.org/debian trixie/main amd64 liblzma5 amd64 5.6.2-2 [254 kB] Get:34 http://deb.debian.org/debian trixie/main amd64 libudev1 amd64 256.6-1 [145 kB] Get:35 http://deb.debian.org/debian trixie/main amd64 libapt-pkg6.0t64 amd64 2.9.8 [1045 kB] Get:36 http://deb.debian.org/debian trixie/main amd64 apt amd64 2.9.8 [1410 kB] Get:37 http://deb.debian.org/debian trixie/main amd64 tar amd64 1.35+dfsg-3 [813 kB] Get:38 http://deb.debian.org/debian trixie/main amd64 dpkg amd64 1.22.11 [1531 kB] Get:39 http://deb.debian.org/debian trixie/main amd64 findutils amd64 4.10.0-3 [700 kB] Get:40 http://deb.debian.org/debian trixie/main amd64 grep amd64 3.11-4 [431 kB] Get:41 http://deb.debian.org/debian trixie/main amd64 gzip amd64 1.12-1.1 [133 kB] Get:42 http://deb.debian.org/debian trixie/main amd64 hostname amd64 3.23+nmu2 [10.6 kB] Get:43 http://deb.debian.org/debian trixie/main amd64 login.defs all 1:4.16.0-4 [185 kB] Get:44 http://deb.debian.org/debian trixie/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-7 [697 kB] Get:45 http://deb.debian.org/debian trixie/main amd64 libaudit-common all 1:3.1.2-4 [11.5 kB] Get:46 http://deb.debian.org/debian trixie/main amd64 libcap-ng0 amd64 0.8.5-2 [17.2 kB] Get:47 http://deb.debian.org/debian trixie/main amd64 libaudit1 amd64 1:3.1.2-4+b1 [49.0 kB] Get:48 http://deb.debian.org/debian trixie/main amd64 libcrypt1 amd64 1:4.4.36-5 [89.8 kB] Get:49 http://deb.debian.org/debian trixie/main amd64 perl-base amd64 5.38.2-5 [1643 kB] Get:50 http://deb.debian.org/debian trixie/main amd64 debconf all 1.5.87 [119 kB] Get:51 http://deb.debian.org/debian trixie/main amd64 libpam0g amd64 1.5.3-7 [67.7 kB] Get:52 http://deb.debian.org/debian trixie/main amd64 libpcre2-8-0 amd64 10.42-4+b1 [262 kB] Get:53 http://deb.debian.org/debian trixie/main amd64 libselinux1 amd64 3.7-3 [76.9 kB] Get:54 http://deb.debian.org/debian trixie/main amd64 libpam-modules-bin amd64 1.5.3-7 [54.4 kB] Get:55 http://deb.debian.org/debian trixie/main amd64 libpam-modules amd64 1.5.3-7 [265 kB] Get:56 http://deb.debian.org/debian trixie/main amd64 libpam-runtime all 1.5.3-7 [140 kB] Get:57 http://deb.debian.org/debian trixie/main amd64 login amd64 1:4.16.0-2+really2.40.2-9 [81.4 kB] Get:58 http://deb.debian.org/debian trixie/main amd64 libtinfo6 amd64 6.5-2 [344 kB] Get:59 http://deb.debian.org/debian trixie/main amd64 ncurses-bin amd64 6.5-2 [433 kB] Get:60 http://deb.debian.org/debian trixie/main amd64 sed amd64 4.9-2 [329 kB] Get:61 http://deb.debian.org/debian trixie/main amd64 libblkid1 amd64 2.40.2-9 [168 kB] Get:62 http://deb.debian.org/debian trixie/main amd64 libmount1 amd64 2.40.2-9 [199 kB] Get:63 http://deb.debian.org/debian trixie/main amd64 libsmartcols1 amd64 2.40.2-9 [139 kB] Get:64 http://deb.debian.org/debian trixie/main amd64 libuuid1 amd64 2.40.2-9 [35.6 kB] Get:65 http://deb.debian.org/debian trixie/main amd64 util-linux amd64 2.40.2-9 [1216 kB] Get:66 http://deb.debian.org/debian trixie/main amd64 util-linux-extra amd64 2.40.2-9 [265 kB] Get:67 http://deb.debian.org/debian trixie/main amd64 libdebconfclient0 amd64 0.272 [10.0 kB] Get:68 http://deb.debian.org/debian trixie/main amd64 base-passwd amd64 3.6.4 [50.9 kB] Get:69 http://deb.debian.org/debian trixie/main amd64 libmd0 amd64 1.1.0-2 [35.8 kB] Get:70 http://deb.debian.org/debian trixie/main amd64 libbsd0 amd64 0.12.2-2 [131 kB] Get:71 http://deb.debian.org/debian trixie/main amd64 libacl1 amd64 2.3.2-2 [32.4 kB] Get:72 http://deb.debian.org/debian trixie/main amd64 libattr1 amd64 1:2.5.2-1 [22.5 kB] Get:73 http://deb.debian.org/debian trixie/main amd64 libsemanage-common all 3.7-2 [7108 B] Get:74 http://deb.debian.org/debian trixie/main amd64 libsepol2 amd64 3.7-1 [293 kB] Get:75 http://deb.debian.org/debian trixie/main amd64 libsemanage2 amd64 3.7-2 [91.3 kB] Get:76 http://deb.debian.org/debian trixie/main amd64 passwd amd64 1:4.16.0-4 [1232 kB] Get:77 http://deb.debian.org/debian trixie/main amd64 adduser all 3.137 [140 kB] Get:78 http://deb.debian.org/debian trixie/main amd64 gpgv amd64 2.2.43-8+b1 [218 kB] Get:79 http://deb.debian.org/debian trixie/main amd64 debian-archive-keyring all 2023.4 [161 kB] Get:80 http://deb.debian.org/debian trixie/main amd64 libseccomp2 amd64 2.5.5-1+b1 [47.3 kB] Get:81 http://deb.debian.org/debian trixie/main amd64 usr-is-merged all 39 [5572 B] Get:82 http://deb.debian.org/debian trixie/main amd64 init-system-helpers all 1.67 [38.7 kB] Get:83 http://deb.debian.org/debian trixie/main amd64 ncurses-base all 6.5-2 [270 kB] Get:84 http://deb.debian.org/debian trixie/main amd64 sysvinit-utils amd64 3.10-2 [32.7 kB] Get:85 http://deb.debian.org/debian trixie/main amd64 logsave amd64 1.47.1-1 [22.7 kB] Get:86 http://deb.debian.org/debian trixie/main amd64 libext2fs2t64 amd64 1.47.1-1 [210 kB] Get:87 http://deb.debian.org/debian trixie/main amd64 e2fsprogs amd64 1.47.1-1 [583 kB] Get:88 http://deb.debian.org/debian trixie/main amd64 mount amd64 2.40.2-9 [154 kB] Get:89 http://deb.debian.org/debian trixie/main amd64 libpython3.12-minimal amd64 3.12.6-1 [814 kB] Get:90 http://deb.debian.org/debian trixie/main amd64 libexpat1 amd64 2.6.3-1 [105 kB] Get:91 http://deb.debian.org/debian trixie/main amd64 python3.12-minimal amd64 3.12.6-1 [2168 kB] Get:92 http://deb.debian.org/debian trixie/main amd64 python3-minimal amd64 3.12.6-1 [26.7 kB] Get:93 http://deb.debian.org/debian trixie/main amd64 media-types all 10.1.0 [26.9 kB] Get:94 http://deb.debian.org/debian trixie/main amd64 netbase all 6.4 [12.8 kB] Get:95 http://deb.debian.org/debian trixie/main amd64 tzdata all 2024a-4 [255 kB] Get:96 http://deb.debian.org/debian trixie/main amd64 libncursesw6 amd64 6.5-2 [135 kB] Get:97 http://deb.debian.org/debian trixie/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB] Get:98 http://deb.debian.org/debian trixie/main amd64 libcom-err2 amd64 1.47.1-1 [22.9 kB] Get:99 http://deb.debian.org/debian trixie/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB] Get:100 http://deb.debian.org/debian trixie/main amd64 libkeyutils1 amd64 1.6.3-3 [8952 B] Get:101 http://deb.debian.org/debian trixie/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB] Get:102 http://deb.debian.org/debian trixie/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB] Get:103 http://deb.debian.org/debian trixie/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get:104 http://deb.debian.org/debian trixie/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3 [82.7 kB] Get:105 http://deb.debian.org/debian trixie/main amd64 libnsl2 amd64 1.3.0-3+b2 [40.3 kB] Get:106 http://deb.debian.org/debian trixie/main amd64 readline-common all 8.2-5 [69.3 kB] Get:107 http://deb.debian.org/debian trixie/main amd64 libreadline8t64 amd64 8.2-5 [169 kB] Get:108 http://deb.debian.org/debian trixie/main amd64 libsqlite3-0 amd64 3.46.0-1 [902 kB] Get:109 http://deb.debian.org/debian trixie/main amd64 libpython3.12-stdlib amd64 3.12.6-1 [1963 kB] Get:110 http://deb.debian.org/debian trixie/main amd64 python3.12 amd64 3.12.6-1 [669 kB] Get:111 http://deb.debian.org/debian trixie/main amd64 libpython3-stdlib amd64 3.12.6-1 [9692 B] Get:112 http://deb.debian.org/debian trixie/main amd64 python3 amd64 3.12.6-1 [27.8 kB] Get:113 http://deb.debian.org/debian trixie/main amd64 mawk amd64 1.3.4.20240905-1 [138 kB] Get:114 http://deb.debian.org/debian trixie/main amd64 binutils-common amd64 2.43.1-5 [2631 kB] Get:115 http://deb.debian.org/debian trixie/main amd64 libsframe1 amd64 2.43.1-5 [77.1 kB] Get:116 http://deb.debian.org/debian trixie/main amd64 libbinutils amd64 2.43.1-5 [529 kB] Get:117 http://deb.debian.org/debian trixie/main amd64 libctf-nobfd0 amd64 2.43.1-5 [154 kB] Get:118 http://deb.debian.org/debian trixie/main amd64 libctf0 amd64 2.43.1-5 [88.4 kB] Get:119 http://deb.debian.org/debian trixie/main amd64 libgprofng0 amd64 2.43.1-5 [797 kB] Get:120 http://deb.debian.org/debian trixie/main amd64 libjansson4 amd64 2.14-2+b2 [39.9 kB] Get:121 http://deb.debian.org/debian trixie/main amd64 binutils-x86-64-linux-gnu amd64 2.43.1-5 [2257 kB] Get:122 http://deb.debian.org/debian trixie/main amd64 binutils amd64 2.43.1-5 [67.8 kB] Get:123 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml amd64 8.19.1+dfsg-3+b2 [25.1 MB] Get:124 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB] Get:125 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get:126 http://deb.debian.org/debian trixie/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get:127 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get:128 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] Get:129 http://deb.debian.org/debian trixie/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB] Get:130 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB] Get:131 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml amd64 6.0.2-2+b3 [4223 kB] Get:132 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml amd64 1.18.2-5+b4 [3136 kB] Get:133 http://deb.debian.org/debian trixie/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB] Get:134 http://deb.debian.org/debian trixie/main amd64 libncurses6 amd64 6.5-2 [104 kB] Get:135 http://deb.debian.org/debian trixie/main amd64 libc-dev-bin amd64 2.40-3 [51.8 kB] Get:136 http://deb.debian.org/debian trixie/main amd64 linux-libc-dev all 6.10.11-1 [2399 kB] Get:137 http://deb.debian.org/debian trixie/main amd64 libcrypt-dev amd64 1:4.4.36-5 [118 kB] Get:138 http://deb.debian.org/debian trixie/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:139 http://deb.debian.org/debian trixie/main amd64 libc6-dev amd64 2.40-3 [1956 kB] Get:140 http://deb.debian.org/debian trixie/main amd64 libncurses-dev amd64 6.5-2 [349 kB] Get:141 http://deb.debian.org/debian trixie/main amd64 libisl23 amd64 0.27-1 [659 kB] Get:142 http://deb.debian.org/debian trixie/main amd64 libmpfr6 amd64 4.2.1-1+b1 [714 kB] Get:143 http://deb.debian.org/debian trixie/main amd64 libmpc3 amd64 1.3.1-1+b2 [52.1 kB] Get:144 http://deb.debian.org/debian trixie/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-6 [11.1 MB] Get:145 http://deb.debian.org/debian trixie/main amd64 cpp-14 amd64 14.2.0-6 [1276 B] Get:146 http://deb.debian.org/debian trixie/main amd64 cpp-x86-64-linux-gnu amd64 4:14.1.0-2 [4784 B] Get:147 http://deb.debian.org/debian trixie/main amd64 cpp amd64 4:14.1.0-2 [1568 B] Get:148 http://deb.debian.org/debian trixie/main amd64 libcc1-0 amd64 14.2.0-6 [42.8 kB] Get:149 http://deb.debian.org/debian trixie/main amd64 libgomp1 amd64 14.2.0-6 [137 kB] Get:150 http://deb.debian.org/debian trixie/main amd64 libitm1 amd64 14.2.0-6 [25.9 kB] Get:151 http://deb.debian.org/debian trixie/main amd64 libatomic1 amd64 14.2.0-6 [9284 B] Get:152 http://deb.debian.org/debian trixie/main amd64 libasan8 amd64 14.2.0-6 [2729 kB] Get:153 http://deb.debian.org/debian trixie/main amd64 liblsan0 amd64 14.2.0-6 [1205 kB] Get:154 http://deb.debian.org/debian trixie/main amd64 libtsan2 amd64 14.2.0-6 [2461 kB] Get:155 http://deb.debian.org/debian trixie/main amd64 libubsan1 amd64 14.2.0-6 [1075 kB] Get:156 http://deb.debian.org/debian trixie/main amd64 libhwasan0 amd64 14.2.0-6 [1489 kB] Get:157 http://deb.debian.org/debian trixie/main amd64 libquadmath0 amd64 14.2.0-6 [145 kB] Get:158 http://deb.debian.org/debian trixie/main amd64 libgcc-14-dev amd64 14.2.0-6 [2672 kB] Get:159 http://deb.debian.org/debian trixie/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-6 [21.4 MB] Get:160 http://deb.debian.org/debian trixie/main amd64 gcc-14 amd64 14.2.0-6 [525 kB] Get:161 http://deb.debian.org/debian trixie/main amd64 gcc-x86-64-linux-gnu amd64 4:14.1.0-2 [1436 B] Get:162 http://deb.debian.org/debian trixie/main amd64 gcc amd64 4:14.1.0-2 [5136 B] Get:163 http://deb.debian.org/debian trixie/main amd64 libzstd-dev amd64 1.5.6+dfsg-1 [368 kB] Get:164 http://deb.debian.org/debian trixie/main amd64 ocaml amd64 5.2.0-3 [17.4 MB] Get:165 http://deb.debian.org/debian trixie/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [906 kB] Get:166 http://deb.debian.org/debian trixie/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [161 kB] Get:167 http://deb.debian.org/debian trixie/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB] Get:168 http://deb.debian.org/debian trixie/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b2 [19.7 kB] Get:169 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [359 kB] Get:170 http://deb.debian.org/debian trixie/main amd64 libppxlib-ocaml-dev amd64 0.33.0-1+b1 [24.4 MB] Get:171 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml-dev amd64 6.0.2-2+b3 [1066 kB] Get:172 http://deb.debian.org/debian trixie/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1290 kB] Get:173 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml-dev amd64 1.18.2-5+b4 [13.3 MB] Get:174 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB] Get:175 http://deb.debian.org/debian trixie/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2+b1 [329 kB] Get:176 http://deb.debian.org/debian trixie/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2+b1 [640 kB] Get:177 http://deb.debian.org/debian trixie/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2+b1 [322 kB] Get:178 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB] Get:179 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml-dev amd64 8.19.1+dfsg-3+b2 [67.2 MB] Get:180 http://deb.debian.org/debian trixie/main amd64 libcoq-elpi amd64 2.1.0-1+b8 [2853 kB] Get:181 http://deb.debian.org/debian trixie/main amd64 libcoq-hierarchy-builder amd64 1.7.0-2+b7 [264 kB] Get:182 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-ssreflect amd64 2.2.0-2+b6 [6077 kB] Get:183 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-character amd64 2.2.0-2+b6 [4187 kB] Get:184 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-field amd64 2.2.0-2+b6 [3249 kB] Get:185 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-solvable amd64 2.2.0-2+b6 [4726 kB] Get:186 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-algebra amd64 2.2.0-2+b6 [10.0 MB] Get:187 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp amd64 2.2.0-2+b6 [2862 kB] Get:188 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-fingroup amd64 2.2.0-2+b6 [2162 kB] Get:189 http://deb.debian.org/debian trixie/main amd64 libcoq-stdlib amd64 8.19.1+dfsg-3+b2 [23.7 MB] Get:190 http://deb.debian.org/debian trixie/main amd64 coq amd64 8.19.1+dfsg-3+b2 [86.6 MB] Get:191 http://deb.debian.org/debian trixie/main amd64 gcc-12-base amd64 12.4.0-2 [42.9 kB] Get:192 http://deb.debian.org/debian trixie/main amd64 libss2 amd64 1.47.1-1 [27.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 476 MB in 3s (184 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 ... 9412 files and directories currently installed.) Preparing to unpack .../base-files_13.5_amd64.deb ... Unpacking base-files (13.5) over (12.4+deb12u7) ... Setting up base-files (13.5) ... 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. (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 ... 9423 files and directories currently installed.) Preparing to unpack .../libc6_2.40-3_amd64.deb ... Unpacking libc6:amd64 (2.40-3) over (2.36-9+deb12u8) ... Setting up libc6:amd64 (2.40-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 ... 9425 files and directories currently installed.) Preparing to unpack .../libc-bin_2.40-3_amd64.deb ... Unpacking libc-bin (2.40-3) over (2.36-9+deb12u8) ... Setting up libc-bin (2.40-3) ... Selecting previously unselected package gcc-14-base: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 ... 9425 files and directories currently installed.) Preparing to unpack .../gcc-14-base_14.2.0-6_amd64.deb ... Unpacking gcc-14-base:amd64 (14.2.0-6) ... Setting up gcc-14-base:amd64 (14.2.0-6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9430 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14.2.0-6_amd64.deb ... Unpacking libgcc-s1:amd64 (14.2.0-6) over (12.2.0-14) ... Setting up libgcc-s1:amd64 (14.2.0-6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9430 files and directories currently installed.) Preparing to unpack .../debianutils_5.20_amd64.deb ... Unpacking debianutils (5.20) over (5.7-0.5~deb12u1) ... Setting up debianutils (5.20) ... (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 ... 9429 files and directories currently installed.) Preparing to unpack .../bash_5.2.32-1+b1_amd64.deb ... Unpacking bash (5.2.32-1+b1) over (5.2.15-2+b7) ... Setting up bash (5.2.32-1+b1) ... 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 ... 9429 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.66-5_amd64.deb ... Unpacking libcap2:amd64 (1:2.66-5) over (1:2.66-4) ... Setting up libcap2:amd64 (1:2.66-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 ... 9429 files and directories currently installed.) Preparing to unpack .../libsystemd0_256.6-1_amd64.deb ... Unpacking libsystemd0:amd64 (256.6-1) over (252.30-1~deb12u2) ... Setting up libsystemd0:amd64 (256.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 ... 9429 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.40.2-9_amd64.deb ... Unpacking bsdutils (1:2.40.2-9) over (1:2.38.1-5+deb12u1) ... Setting up bsdutils (1:2.40.2-9) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9430 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-2+b1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-2+b1) over (2:6.2.1+dfsg1-1.1) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-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 ... 9431 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.6+dfsg-1_amd64.deb ... Unpacking libzstd1:amd64 (1.5.6+dfsg-1) over (1.5.4+dfsg2-5) ... Setting up libzstd1:amd64 (1.5.6+dfsg-1) ... 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 ... 9431 files and directories currently installed.) Preparing to unpack .../libssl3t64_3.3.2-1_amd64.deb ... Unpacking libssl3t64:amd64 (3.3.2-1) ... Selecting previously unselected package openssl-provider-legacy. Preparing to unpack .../openssl-provider-legacy_3.3.2-1_amd64.deb ... Unpacking openssl-provider-legacy (3.3.2-1) ... Setting up openssl-provider-legacy (3.3.2-1) ... Setting up libssl3t64:amd64 (3.3.2-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 ... 9450 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg+really1.3.1-1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1) over (1:1.2.13.dfsg-1) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.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 ... 9450 files and directories currently installed.) Preparing to unpack .../coreutils_9.4-3.1_amd64.deb ... Unpacking coreutils (9.4-3.1) over (9.1-1) ... Setting up coreutils (9.4-3.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 ... 9455 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 ... 9452 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 ... 9454 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.50-4_amd64.deb ... Unpacking libgpg-error0:amd64 (1.50-4) over (1.46-1) ... Setting up libgpg-error0:amd64 (1.50-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 ... 9454 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 ... 9454 files and directories currently installed.) Preparing to unpack .../libstdc++6_14.2.0-6_amd64.deb ... Unpacking libstdc++6:amd64 (14.2.0-6) over (12.2.0-14) ... Setting up libstdc++6:amd64 (14.2.0-6) ... 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 ... 9454 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 ... 9446 files and directories currently installed.) Preparing to unpack .../libnettle8t64_3.10-1_amd64.deb ... Unpacking libnettle8t64:amd64 (3.10-1) ... Setting up libnettle8t64:amd64 (3.10-1) ... 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 ... 9455 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 ... 9449 files and directories currently installed.) Preparing to unpack .../libhogweed6t64_3.10-1_amd64.deb ... Unpacking libhogweed6t64:amd64 (3.10-1) ... Setting up libhogweed6t64:amd64 (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 ... 9456 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.5-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.5-2) over (0.24.1-2) ... Setting up libp11-kit0:amd64 (0.25.5-2) ... 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 ... 9456 files and directories currently installed.) Preparing to unpack .../libunistring5_1.2-1_amd64.deb ... Unpacking libunistring5:amd64 (1.2-1) ... Setting up libunistring5:amd64 (1.2-1) ... 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 ... 9462 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 ... 9433 files and directories currently installed.) Preparing to unpack .../libgnutls30t64_3.8.6-2_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.6-2) ... Setting up libgnutls30t64:amd64 (3.8.6-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 ... 9462 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 ... 9462 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.7-2_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.7-2) over (2.3.3-1+b1) ... Setting up libidn2-0:amd64 (2.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 ... 9462 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.19.0-3+b2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.19.0-3+b2) over (4.19.0-2) ... Setting up libtasn1-6:amd64 (4.19.0-3+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 ... 9463 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 ... 9462 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2+b1_amd64.deb ... Unpacking libxxhash0:amd64 (0.8.2-2+b1) over (0.8.1-1) ... Setting up libxxhash0:amd64 (0.8.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 ... 9463 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.4-3_amd64.deb ... Unpacking liblz4-1:amd64 (1.9.4-3) over (1.9.4-1) ... Setting up liblz4-1:amd64 (1.9.4-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 ... 9463 files and directories currently installed.) Preparing to unpack .../liblzma5_5.6.2-2_amd64.deb ... Unpacking liblzma5:amd64 (5.6.2-2) over (5.4.1-0.2) ... Setting up liblzma5:amd64 (5.6.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 ... 9463 files and directories currently installed.) Preparing to unpack .../libudev1_256.6-1_amd64.deb ... Unpacking libudev1:amd64 (256.6-1) over (252.30-1~deb12u2) ... Setting up libudev1:amd64 (256.6-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 ... 9463 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 ... 9414 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.8_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.8) ... Setting up libapt-pkg6.0t64:amd64 (2.9.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 ... 9464 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.8_amd64.deb ... Unpacking apt (2.9.8) over (2.6.1) ... Setting up apt (2.9.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 ... 9460 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 ... 9461 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 ... 9448 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 ... 9446 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 ... 9446 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 ... 9446 files and directories currently installed.) Preparing to unpack .../hostname_3.23+nmu2_amd64.deb ... Unpacking hostname (3.23+nmu2) over (3.23+nmu1) ... Setting up hostname (3.23+nmu2) ... 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 ... 9446 files and directories currently installed.) Preparing to unpack .../login.defs_1%3a4.16.0-4_all.deb ... Unpacking login.defs (1:4.16.0-4) ... Replacing files in old package login (1:4.13+dfsg1-1+b1) ... Setting up login.defs (1:4.16.0-4) ... 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 ... 9451 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 ... 9445 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-7_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-7) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-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 ... 9451 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a3.1.2-4_all.deb ... Unpacking libaudit-common (1:3.1.2-4) over (1:3.0.9-1) ... Setting up libaudit-common (1:3.1.2-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 ... 9451 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.5-2_amd64.deb ... Unpacking libcap-ng0:amd64 (0.8.5-2) over (0.8.3-1+b3) ... Setting up libcap-ng0:amd64 (0.8.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 ... 9450 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.1.2-4+b1_amd64.deb ... Unpacking libaudit1:amd64 (1:3.1.2-4+b1) over (1:3.0.9-1) ... Setting up libaudit1:amd64 (1:3.1.2-4+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 ... 9451 files and directories currently installed.) 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 ... 9451 files and directories currently installed.) Preparing to unpack .../perl-base_5.38.2-5_amd64.deb ... Unpacking perl-base (5.38.2-5) over (5.36.0-7+deb12u1) ... Setting up perl-base (5.38.2-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 ... 9455 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 ... 9454 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.3-7_amd64.deb ... Unpacking libpam0g:amd64 (1.5.3-7) over (1.5.2-6+deb12u1) ... Setting up libpam0g:amd64 (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 ... 9453 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.42-4+b1_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.42-4+b1) over (10.42-1) ... Setting up libpcre2-8-0:amd64 (10.42-4+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 ... 9454 files and directories currently installed.) Preparing to unpack .../libselinux1_3.7-3_amd64.deb ... Unpacking libselinux1:amd64 (3.7-3) over (3.4-1+b6) ... Setting up libselinux1:amd64 (3.7-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 ... 9454 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.3-7_amd64.deb ... Unpacking libpam-modules-bin (1.5.3-7) over (1.5.2-6+deb12u1) ... Setting up libpam-modules-bin (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 ... 9453 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.3-7_amd64.deb ... Unpacking libpam-modules:amd64 (1.5.3-7) 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) ... 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 ... 9453 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 ... 9452 files and directories currently installed.) Preparing to unpack .../login_1%3a4.16.0-2+really2.40.2-9_amd64.deb ... Unpacking login (1:4.16.0-2+really2.40.2-9) over (1:4.13+dfsg1-1+b1) ... Setting up login (1:4.16.0-2+really2.40.2-9) ... 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 ... 9340 files and directories currently installed.) Preparing to unpack .../libtinfo6_6.5-2_amd64.deb ... Unpacking libtinfo6:amd64 (6.5-2) over (6.4-4) ... Setting up libtinfo6:amd64 (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 ... 9340 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.5-2_amd64.deb ... Unpacking ncurses-bin (6.5-2) over (6.4-4) ... Setting up ncurses-bin (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 ... 9340 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 ... 9340 files and directories currently installed.) Preparing to unpack .../libblkid1_2.40.2-9_amd64.deb ... Unpacking libblkid1:amd64 (2.40.2-9) over (2.38.1-5+deb12u1) ... Setting up libblkid1:amd64 (2.40.2-9) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9341 files and directories currently installed.) Preparing to unpack .../libmount1_2.40.2-9_amd64.deb ... Unpacking libmount1:amd64 (2.40.2-9) over (2.38.1-5+deb12u1) ... Setting up libmount1:amd64 (2.40.2-9) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9342 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.40.2-9_amd64.deb ... Unpacking libsmartcols1:amd64 (2.40.2-9) over (2.38.1-5+deb12u1) ... Setting up libsmartcols1:amd64 (2.40.2-9) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9343 files and directories currently installed.) Preparing to unpack .../libuuid1_2.40.2-9_amd64.deb ... Unpacking libuuid1:amd64 (2.40.2-9) over (2.38.1-5+deb12u1) ... Setting up libuuid1:amd64 (2.40.2-9) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9344 files and directories currently installed.) Preparing to unpack .../util-linux_2.40.2-9_amd64.deb ... Unpacking util-linux (2.40.2-9) over (2.38.1-5+deb12u1) ... Setting up util-linux (2.40.2-9) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9317 files and directories currently installed.) Preparing to unpack .../util-linux-extra_2.40.2-9_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-9) over (2.38.1-5+deb12u1) ... 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-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 ... 9356 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.272_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.272) over (0.270) ... Setting up libdebconfclient0:amd64 (0.272) ... (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 ... 9356 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.4_amd64.deb ... Unpacking base-passwd (3.6.4) over (3.6.1) ... Setting up base-passwd (3.6.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 ... 9356 files and directories currently installed.) Preparing to unpack .../libmd0_1.1.0-2_amd64.deb ... Unpacking libmd0:amd64 (1.1.0-2) over (1.0.4-2) ... Setting up libmd0:amd64 (1.1.0-2) ... 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 ... 9356 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 ... 9363 files and directories currently installed.) Preparing to unpack .../libacl1_2.3.2-2_amd64.deb ... Unpacking libacl1:amd64 (2.3.2-2) over (2.3.1-3) ... Setting up libacl1:amd64 (2.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 ... 9363 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.5.2-1_amd64.deb ... Unpacking libattr1:amd64 (1:2.5.2-1) over (1:2.5.1-4) ... Setting up libattr1:amd64 (1:2.5.2-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 ... 9363 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 ... 9362 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 ... 9362 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.7-2_amd64.deb ... Unpacking libsemanage2:amd64 (3.7-2) over (3.4-1+b5) ... Setting up libsemanage2:amd64 (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 ... 9361 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.16.0-4_amd64.deb ... Unpacking passwd (1:4.16.0-4) over (1:4.13+dfsg1-1+b1) ... Setting up passwd (1:4.16.0-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 ... 9389 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 ... 9383 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.43-8+b1_amd64.deb ... Unpacking gpgv (2.2.43-8+b1) over (2.2.40-1.1) ... Setting up gpgv (2.2.43-8+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 ... 9384 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 ... 9384 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.5-1+b1_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.5-1+b1) over (2.5.4-1+deb12u1) ... Setting up libseccomp2:amd64 (2.5.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 ... 9385 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 ... 9385 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 ... 9385 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 ... 9383 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.10-2_amd64.deb ... Unpacking sysvinit-utils (3.10-2) 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.10-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 ... 9383 files and directories currently installed.) Preparing to unpack .../logsave_1.47.1-1_amd64.deb ... Unpacking logsave (1.47.1-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 ... 9383 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 ... 9376 files and directories currently installed.) Preparing to unpack .../libext2fs2t64_1.47.1-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.1-1) ... Setting up libext2fs2t64:amd64 (1.47.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 ... 9392 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.47.1-1_amd64.deb ... Unpacking e2fsprogs (1.47.1-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 .../mount_2.40.2-9_amd64.deb ... Unpacking mount (2.40.2-9) over (2.38.1-5+deb12u1) ... Selecting previously unselected package libpython3.12-minimal:amd64. Preparing to unpack .../libpython3.12-minimal_3.12.6-1_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.6-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.6.3-1_amd64.deb ... Unpacking libexpat1:amd64 (2.6.3-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../python3.12-minimal_3.12.6-1_amd64.deb ... Unpacking python3.12-minimal (3.12.6-1) ... Setting up libpython3.12-minimal:amd64 (3.12.6-1) ... Setting up libexpat1:amd64 (2.6.3-1) ... Setting up python3.12-minimal (3.12.6-1) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9711 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_amd64.deb ... Unpacking python3-minimal (3.12.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Preparing to unpack .../03-tzdata_2024a-4_all.deb ... Unpacking tzdata (2024a-4) over (2024a-0+deb12u1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../04-libncursesw6_6.5-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../05-libkrb5support0_1.21.3-3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-3) ... Preparing to unpack .../06-libcom-err2_1.47.1-1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.1-1) over (1.47.0-2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../07-libk5crypto3_1.21.3-3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-3) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../08-libkeyutils1_1.6.3-3_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-3) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../09-libkrb5-3_1.21.3-3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../10-libgssapi-krb5-2_1.21.3-3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../11-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:amd64. Preparing to unpack .../12-libtirpc3t64_1.3.4+ds-1.3_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../13-libnsl2_1.3.0-3+b2_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3+b2) ... Selecting previously unselected package readline-common. Preparing to unpack .../14-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../15-libreadline8t64_8.2-5_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.2-5) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../16-libsqlite3-0_3.46.0-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.0-1) ... Selecting previously unselected package libpython3.12-stdlib:amd64. Preparing to unpack .../17-libpython3.12-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.6-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../18-python3.12_3.12.6-1_amd64.deb ... Unpacking python3.12 (3.12.6-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../19-libpython3-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3-minimal (3.12.6-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9484 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.6-1_amd64.deb ... Unpacking python3 (3.12.6-1) ... Preparing to unpack .../01-mawk_1.3.4.20240905-1_amd64.deb ... Unpacking mawk (1.3.4.20240905-1) over (1.3.4.20200120-3.1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../02-binutils-common_2.43.1-5_amd64.deb ... Unpacking binutils-common:amd64 (2.43.1-5) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../03-libsframe1_2.43.1-5_amd64.deb ... Unpacking libsframe1:amd64 (2.43.1-5) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../04-libbinutils_2.43.1-5_amd64.deb ... Unpacking libbinutils:amd64 (2.43.1-5) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../05-libctf-nobfd0_2.43.1-5_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.43.1-5) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../06-libctf0_2.43.1-5_amd64.deb ... Unpacking libctf0:amd64 (2.43.1-5) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../07-libgprofng0_2.43.1-5_amd64.deb ... Unpacking libgprofng0:amd64 (2.43.1-5) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../08-libjansson4_2.14-2+b2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../09-binutils-x86-64-linux-gnu_2.43.1-5_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.43.1-5) ... Selecting previously unselected package binutils. Preparing to unpack .../10-binutils_2.43.1-5_amd64.deb ... Unpacking binutils (2.43.1-5) ... Preparing to unpack .../11-libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core-ocaml (8.19.1+dfsg-3+b2) over (8.16.1+dfsg-1+b2) ... Preparing to unpack .../12-libzarith-ocaml_1.14-1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1) over (1.12-1+b1) ... Preparing to unpack .../13-libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) over (1.9.6-1+b1) ... Preparing to unpack .../14-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 .../15-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 .../16-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../17-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../18-libsexplib0-ocaml_0.17.0-1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../19-libppx-deriving-ocaml_6.0.2-2+b3_amd64.deb ... Unpacking libppx-deriving-ocaml (6.0.2-2+b3) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../20-libelpi-ocaml_1.18.2-5+b4_amd64.deb ... Unpacking libelpi-ocaml (1.18.2-5+b4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../21-ocaml-interp_5.2.0-3_amd64.deb ... Unpacking ocaml-interp (5.2.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../22-libncurses6_6.5-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../23-libc-dev-bin_2.40-3_amd64.deb ... Unpacking libc-dev-bin (2.40-3) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../24-linux-libc-dev_6.10.11-1_all.deb ... Unpacking linux-libc-dev (6.10.11-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../25-libcrypt-dev_1%3a4.4.36-5_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.36-5) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../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.40-3_amd64.deb ... Unpacking libc6-dev:amd64 (2.40-3) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../28-libncurses-dev_6.5-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../29-libisl23_0.27-1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../30-libmpfr6_4.2.1-1+b1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1+b1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../31-libmpc3_1.3.1-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1+b2) ... Selecting previously unselected package cpp-14-x86-64-linux-gnu. Preparing to unpack .../32-cpp-14-x86-64-linux-gnu_14.2.0-6_amd64.deb ... Unpacking cpp-14-x86-64-linux-gnu (14.2.0-6) ... Selecting previously unselected package cpp-14. Preparing to unpack .../33-cpp-14_14.2.0-6_amd64.deb ... Unpacking cpp-14 (14.2.0-6) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../34-cpp-x86-64-linux-gnu_4%3a14.1.0-2_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.1.0-2) ... Selecting previously unselected package cpp. Preparing to unpack .../35-cpp_4%3a14.1.0-2_amd64.deb ... Unpacking cpp (4:14.1.0-2) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../36-libcc1-0_14.2.0-6_amd64.deb ... Unpacking libcc1-0:amd64 (14.2.0-6) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../37-libgomp1_14.2.0-6_amd64.deb ... Unpacking libgomp1:amd64 (14.2.0-6) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../38-libitm1_14.2.0-6_amd64.deb ... Unpacking libitm1:amd64 (14.2.0-6) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../39-libatomic1_14.2.0-6_amd64.deb ... Unpacking libatomic1:amd64 (14.2.0-6) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../40-libasan8_14.2.0-6_amd64.deb ... Unpacking libasan8:amd64 (14.2.0-6) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../41-liblsan0_14.2.0-6_amd64.deb ... Unpacking liblsan0:amd64 (14.2.0-6) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../42-libtsan2_14.2.0-6_amd64.deb ... Unpacking libtsan2:amd64 (14.2.0-6) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../43-libubsan1_14.2.0-6_amd64.deb ... Unpacking libubsan1:amd64 (14.2.0-6) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../44-libhwasan0_14.2.0-6_amd64.deb ... Unpacking libhwasan0:amd64 (14.2.0-6) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../45-libquadmath0_14.2.0-6_amd64.deb ... Unpacking libquadmath0:amd64 (14.2.0-6) ... Selecting previously unselected package libgcc-14-dev:amd64. Preparing to unpack .../46-libgcc-14-dev_14.2.0-6_amd64.deb ... Unpacking libgcc-14-dev:amd64 (14.2.0-6) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu. Preparing to unpack .../47-gcc-14-x86-64-linux-gnu_14.2.0-6_amd64.deb ... Unpacking gcc-14-x86-64-linux-gnu (14.2.0-6) ... Selecting previously unselected package gcc-14. Preparing to unpack .../48-gcc-14_14.2.0-6_amd64.deb ... Unpacking gcc-14 (14.2.0-6) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../49-gcc-x86-64-linux-gnu_4%3a14.1.0-2_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.1.0-2) ... Selecting previously unselected package gcc. Preparing to unpack .../50-gcc_4%3a14.1.0-2_amd64.deb ... Unpacking gcc (4:14.1.0-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../51-libzstd-dev_1.5.6+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../52-ocaml_5.2.0-3_amd64.deb ... Unpacking ocaml (5.2.0-3) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../53-libmenhir-ocaml-dev_20240715+ds-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20240715+ds-1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../54-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 ocaml-findlib. Preparing to unpack .../55-ocaml-findlib_1.9.6-3_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../56-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 .../57-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 .../58-libppxlib-ocaml-dev_0.33.0-1+b1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.33.0-1+b1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../59-libppx-deriving-ocaml-dev_6.0.2-2+b3_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.0.2-2+b3) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../60-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 libelpi-ocaml-dev. Preparing to unpack .../61-libelpi-ocaml-dev_1.18.2-5+b4_amd64.deb ... Unpacking libelpi-ocaml-dev (1.18.2-5+b4) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../62-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-3) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../63-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../64-libgmp-dev_2%3a6.3.0+dfsg-2+b1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../65-libgmp3-dev_2%3a6.3.0+dfsg-2+b1_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../66-libzarith-ocaml-dev_1.14-1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../67-libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.19.1+dfsg-3+b2) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../68-libcoq-elpi_2.1.0-1+b8_amd64.deb ... Unpacking libcoq-elpi (2.1.0-1+b8) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../69-libcoq-hierarchy-builder_1.7.0-2+b7_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.7.0-2+b7) ... Preparing to unpack .../70-libcoq-mathcomp-ssreflect_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../71-libcoq-mathcomp-character_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp-character (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../72-libcoq-mathcomp-field_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp-field (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../73-libcoq-mathcomp-solvable_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp-solvable (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../74-libcoq-mathcomp-algebra_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../75-libcoq-mathcomp_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../76-libcoq-mathcomp-fingroup_2.2.0-2+b6_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (2.2.0-2+b6) over (1.15.0-1+b4) ... Preparing to unpack .../77-libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-stdlib (8.19.1+dfsg-3+b2) over (8.16.1+dfsg-1+b2) ... Selecting previously unselected package coq. Preparing to unpack .../78-coq_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking coq (8.19.1+dfsg-3+b2) ... Preparing to unpack .../79-gcc-12-base_12.4.0-2_amd64.deb ... Unpacking gcc-12-base:amd64 (12.4.0-2) over (12.2.0-14) ... Preparing to unpack .../80-libss2_1.47.1-1_amd64.deb ... Unpacking libss2:amd64 (1.47.1-1) over (1.47.0-2) ... dpkg: warning: unable to delete old directory '/lib/x86_64-linux-gnu': Directory not empty Setting up media-types (10.1.0) ... Setting up libkeyutils1:amd64 (1.6.3-3) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-1) ... Setting up libtirpc-common (1.3.4+ds-1.3) ... Setting up libsqlite3-0:amd64 (3.46.0-1) ... Setting up binutils-common:amd64 (2.43.1-5) ... Setting up linux-libc-dev (6.10.11-1) ... Setting up libctf-nobfd0:amd64 (2.43.1-5) ... Setting up libcom-err2:amd64 (1.47.1-1) ... Setting up libgomp1:amd64 (14.2.0-6) ... Setting up libsframe1:amd64 (2.43.1-5) ... Setting up libjansson4:amd64 (2.14-2+b2) ... Setting up libkrb5support0:amd64 (1.21.3-3) ... Setting up gcc-12-base:amd64 (12.4.0-2) ... Setting up tzdata (2024a-4) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Oct 13 16:24:53 UTC 2024. Universal Time is now: Sun Oct 13 16:24:53 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libcoq-stdlib (8.19.1+dfsg-3+b2) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.1-1+b1) ... Setting up libncurses6:amd64 (6.5-2) ... Setting up libquadmath0:amd64 (14.2.0-6) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up libmpc3:amd64 (1.3.1-1+b2) ... Setting up libatomic1:amd64 (14.2.0-6) ... Setting up libss2:amd64 (1.47.1-1) ... Setting up ocaml-base (5.2.0-3) ... Setting up libncursesw6:amd64 (6.5-2) ... Setting up libk5crypto3:amd64 (1.21.3-3) ... Setting up logsave (1.47.1-1) ... Setting up libubsan1:amd64 (14.2.0-6) ... Setting up libsexplib0-ocaml (0.17.0-1) ... Setting up mount (2.40.2-9) ... Setting up libhwasan0:amd64 (14.2.0-6) ... Setting up libcrypt-dev:amd64 (1:4.4.36-5) ... Setting up libasan8:amd64 (14.2.0-6) ... Setting up netbase (6.4) ... Setting up mawk (1.3.4.20240905-1) ... Setting up libkrb5-3:amd64 (1.21.3-3) ... Setting up libtsan2:amd64 (14.2.0-6) ... Setting up libbinutils:amd64 (2.43.1-5) ... Setting up libisl23:amd64 (0.27-1) ... Setting up libc-dev-bin (2.40-3) ... Setting up readline-common (8.2-5) ... Setting up libcc1-0:amd64 (14.2.0-6) ... Setting up liblsan0:amd64 (14.2.0-6) ... Setting up libitm1:amd64 (14.2.0-6) ... Setting up libctf0:amd64 (2.43.1-5) ... Setting up libppx-deriving-ocaml (6.0.2-2+b3) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ... Setting up libstdlib-ocaml-dev (5.2.0-3) ... Setting up libfindlib-ocaml (1.9.6-3) ... Installing new version of config file /etc/ocamlfind.conf ... Setting up e2fsprogs (1.47.1-1) ... Installing new version of config file /etc/cron.d/e2scrub_all ... Installing new version of config file /etc/mke2fs.conf ... Setting up libzarith-ocaml (1.14-1) ... Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... Setting up libgprofng0:amd64 (2.43.1-5) ... Setting up ocaml-interp (5.2.0-3) ... Setting up ocaml-findlib (1.9.6-3) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ... Setting up cpp-14-x86-64-linux-gnu (14.2.0-6) ... Setting up cpp-14 (14.2.0-6) ... Setting up libreadline8t64:amd64 (8.2-5) ... Setting up libelpi-ocaml (1.18.2-5+b4) ... Setting up libcoq-core-ocaml (8.19.1+dfsg-3+b2) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b1) ... Setting up libc6-dev:amd64 (2.40-3) ... Setting up libgcc-14-dev:amd64 (14.2.0-6) ... Setting up binutils-x86-64-linux-gnu (2.43.1-5) ... Setting up cpp-x86-64-linux-gnu (4:14.1.0-2) ... Setting up libncurses-dev:amd64 (6.5-2) ... Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Setting up binutils (2.43.1-5) ... Setting up cpp (4:14.1.0-2) ... Setting up libnsl2:amd64 (1.3.0-3+b2) ... Setting up gcc-14-x86-64-linux-gnu (14.2.0-6) ... Setting up libpython3.12-stdlib:amd64 (3.12.6-1) ... Setting up gcc-x86-64-linux-gnu (4:14.1.0-2) ... Setting up python3.12 (3.12.6-1) ... Setting up gcc-14 (14.2.0-6) ... Setting up libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3 (3.12.6-1) ... Setting up gcc (4:14.1.0-2) ... Setting up ocaml (5.2.0-3) ... Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... Setting up libmenhir-ocaml-dev (20240715+ds-1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Setting up libfindlib-ocaml-dev (1.9.6-3) ... Setting up libsexplib0-ocaml-dev (0.17.0-1) ... Setting up coq (8.19.1+dfsg-3+b2) ... Setting up libzarith-ocaml-dev (1.14-1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Setting up libppxlib-ocaml-dev (0.33.0-1+b1) ... Setting up libcoq-core-ocaml-dev (8.19.1+dfsg-3+b2) ... Setting up libppx-deriving-ocaml-dev (6.0.2-2+b3) ... Setting up libelpi-ocaml-dev (1.18.2-5+b4) ... Setting up libcoq-elpi (2.1.0-1+b8) ... Setting up libcoq-hierarchy-builder (1.7.0-2+b7) ... Setting up libcoq-mathcomp-ssreflect (2.2.0-2+b6) ... Setting up libcoq-mathcomp-fingroup (2.2.0-2+b6) ... Setting up libcoq-mathcomp-algebra (2.2.0-2+b6) ... Setting up libcoq-mathcomp-solvable (2.2.0-2+b6) ... Setting up libcoq-mathcomp-field (2.2.0-2+b6) ... Setting up libcoq-mathcomp-character (2.2.0-2+b6) ... Setting up libcoq-mathcomp (2.2.0-2+b6) ... Processing triggers for libc-bin (2.40-3) ... Processing triggers for debianutils (5.20) ... 0m48.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-yf', 'dist-upgrade'] 0m48.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m49.1s DUMP: 3c733c7090645a0d4dc381eba65af50b - 0m49.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m49.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp'] 0m49.4s DUMP: Package: libcoq-mathcomp Source: ssreflect (2.2.0-2) Version: 2.2.0-2+b6 Installed-Size: 97507 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: libssreflect-coq Provides: libmathcomp-coq, libssreflect-coq, ssreflect Depends: libcoq-mathcomp-algebra (= 2.2.0-2+b6), libcoq-mathcomp-character (= 2.2.0-2+b6), libcoq-mathcomp-field (= 2.2.0-2+b6), libcoq-mathcomp-fingroup (= 2.2.0-2+b6), libcoq-mathcomp-solvable (= 2.2.0-2+b6), libcoq-mathcomp-ssreflect (= 2.2.0-2+b6) Breaks: libssreflect-coq (<= 2.2.0-2+b6) Description-en: Mathematical Components library for Coq (all) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the full Mathematical Components library. Description-md5: bd26831f634ff58fc6c73937049fe58a Homepage: https://math-comp.github.io/math-comp/ Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_2.2.0-2+b6_amd64.deb Size: 2861952 MD5sum: 4220b9bd34b9191d54a31729d095a3f7 SHA256: d6f2baffbc26ff7dffe5d824e5412e3a90c578ca10beef40d599a905b675d670 0m49.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp'] 0m49.4s INFO: apt-cache knows about the following packages: libcoq-mathcomp 0m49.4s INFO: Running scripts pre_install 0m49.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 0m49.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 0m49.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 0m49.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 0m49.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 0m49.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 0m49.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 0m49.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 0m49.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m49.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m49.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 0m49.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m49.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 0m49.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m49.5s DUMP: libcoq-mathcomp: Installed: 2.2.0-2+b6 Candidate: 2.2.0-2+b6 Version table: *** 2.2.0-2+b6 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 100 /var/lib/dpkg/status 0m49.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m49.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp'] 0m50.0s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-mathcomp is already the newest version (2.2.0-2+b6). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp'] 0m50.0s INFO: Running scripts post_install 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 0m50.0s INFO: Running scripts post_distupgrade 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_exceptions'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_exceptions'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_zz_backports'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_zz_backports'] 0m50.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 0m51.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 0m51.1s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpbwzsspfy to sid 0m51.1s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m51.1s INFO: Running scripts pre_distupgrade 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_exceptions'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_exceptions'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'update'] 0m54.5s 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 [7336 kB] Fetched 17.6 MB in 3s (6623 kB/s) Reading package lists... 0m54.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'update'] 0m54.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-yf', 'dist-upgrade'] 1m3.8s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: cpp cpp-x86-64-linux-gnu gcc gcc-x86-64-linux-gnu gpgv hostname libattr1 libaudit-common libaudit1 libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libdb5.3t64 libelpi-ocaml libelpi-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libpython3.12-minimal libpython3.12-stdlib libsqlite3-0 libsystemd0 libudev1 linux-libc-dev python3.12 python3.12-minimal tzdata 32 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 68.9 MB of archives. After this operation, 148 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 hostname amd64 3.25 [11.0 kB] Get:2 http://deb.debian.org/debian sid/main amd64 python3.12 amd64 3.12.7-1 [671 kB] Get:3 http://deb.debian.org/debian sid/main amd64 python3.12-minimal amd64 3.12.7-1 [2162 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libpython3.12-stdlib amd64 3.12.7-1 [1965 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libpython3.12-minimal amd64 3.12.7-1 [814 kB] Get:6 http://deb.debian.org/debian sid/main amd64 tzdata all 2024b-3 [255 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-8 [699 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB] Get:9 http://deb.debian.org/debian sid/main amd64 gpgv amd64 2.2.44-1 [218 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libattr1 amd64 1:2.5.2-2 [22.7 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:4.0.1-1 [12.3 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:4.0.1-1 [54.5 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 256.7-1 [382 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 256.7-1 [145 kB] Get:15 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B] Get:16 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:14.2.0-1 [5136 B] Get:17 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:14.2.0-1 [1568 B] Get:18 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B] Get:19 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.2.0-2+b7 [6079 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-character amd64 2.2.0-2+b7 [4188 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-field amd64 2.2.0-2+b7 [3247 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-solvable amd64 2.2.0-2+b7 [4727 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-algebra amd64 2.2.0-2+b7 [10.0 MB] Get:24 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp amd64 2.2.0-2+b7 [2862 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-fingroup amd64 2.2.0-2+b7 [2162 kB] Get:26 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.7.0-2+b8 [264 kB] Get:27 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 1.18.2-5+b5 [13.3 MB] Get:28 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1 [1066 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 1.18.2-5+b5 [3135 kB] Get:30 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml amd64 6.0.3-1 [4223 kB] Get:31 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 2.1.0-1+b9 [2852 kB] Get:32 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.11.2-1 [2424 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.9 MB in 0s (168 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 ... 21905 files and directories currently installed.) Preparing to unpack .../hostname_3.25_amd64.deb ... Unpacking hostname (3.25) over (3.23+nmu2) ... Setting up hostname (3.25) ... (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 ... 21905 files and directories currently installed.) Preparing to unpack .../0-python3.12_3.12.7-1_amd64.deb ... Unpacking python3.12 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../1-python3.12-minimal_3.12.7-1_amd64.deb ... Unpacking python3.12-minimal (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../2-libpython3.12-stdlib_3.12.7-1_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../3-libpython3.12-minimal_3.12.7-1_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../4-tzdata_2024b-3_all.deb ... Unpacking tzdata (2024b-3) over (2024a-4) ... Preparing to unpack .../5-libdb5.3t64_5.3.28+dfsg2-8_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-8) over (5.3.28+dfsg2-7) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-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 ... 21893 files and directories currently installed.) Preparing to unpack .../libsqlite3-0_3.46.1-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-1) over (3.46.0-1) ... Preparing to unpack .../gpgv_2.2.44-1_amd64.deb ... Unpacking gpgv (2.2.44-1) over (2.2.43-8+b1) ... Setting up gpgv (2.2.44-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 ... 21892 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.2-1) ... 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 ... 21892 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.0.1-1_all.deb ... Unpacking libaudit-common (1:4.0.1-1) over (1:3.1.2-4) ... Setting up libaudit-common (1:4.0.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 ... 21892 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.0.1-1_amd64.deb ... Unpacking libaudit1:amd64 (1:4.0.1-1) over (1:3.1.2-4+b1) ... Setting up libaudit1:amd64 (1:4.0.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 ... 21891 files and directories currently installed.) Preparing to unpack .../libsystemd0_256.7-1_amd64.deb ... Unpacking libsystemd0:amd64 (256.7-1) over (256.6-1) ... Setting up libsystemd0:amd64 (256.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 ... 21891 files and directories currently installed.) Preparing to unpack .../libudev1_256.7-1_amd64.deb ... Unpacking libudev1:amd64 (256.7-1) over (256.6-1) ... Setting up libudev1:amd64 (256.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 ... 21891 files and directories currently installed.) Preparing to unpack .../00-gcc-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1) over (4:14.1.0-2) ... Preparing to unpack .../01-gcc_4%3a14.2.0-1_amd64.deb ... Unpacking gcc (4:14.2.0-1) over (4:14.1.0-2) ... Preparing to unpack .../02-cpp_4%3a14.2.0-1_amd64.deb ... Unpacking cpp (4:14.2.0-1) over (4:14.1.0-2) ... Preparing to unpack .../03-cpp-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1) over (4:14.1.0-2) ... Preparing to unpack .../04-libcoq-mathcomp-ssreflect_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../05-libcoq-mathcomp-character_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp-character (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../06-libcoq-mathcomp-field_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp-field (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../07-libcoq-mathcomp-solvable_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp-solvable (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../08-libcoq-mathcomp-algebra_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../09-libcoq-mathcomp_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../10-libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (2.2.0-2+b7) over (2.2.0-2+b6) ... Preparing to unpack .../11-libcoq-hierarchy-builder_1.7.0-2+b8_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.7.0-2+b8) over (1.7.0-2+b7) ... Preparing to unpack .../12-libelpi-ocaml-dev_1.18.2-5+b5_amd64.deb ... Unpacking libelpi-ocaml-dev (1.18.2-5+b5) over (1.18.2-5+b4) ... Preparing to unpack .../13-libppx-deriving-ocaml-dev_6.0.3-1_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.0.3-1) over (6.0.2-2+b3) ... Preparing to unpack .../14-libelpi-ocaml_1.18.2-5+b5_amd64.deb ... Unpacking libelpi-ocaml (1.18.2-5+b5) over (1.18.2-5+b4) ... Preparing to unpack .../15-libppx-deriving-ocaml_6.0.3-1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.0.3-1) over (6.0.2-2+b3) ... Preparing to unpack .../16-libcoq-elpi_2.1.0-1+b9_amd64.deb ... Unpacking libcoq-elpi (2.1.0-1+b9) over (2.1.0-1+b8) ... Preparing to unpack .../17-linux-libc-dev_6.11.2-1_all.deb ... Unpacking linux-libc-dev (6.11.2-1) over (6.10.11-1) ... Setting up cpp-x86-64-linux-gnu (4:14.2.0-1) ... Setting up libppx-deriving-ocaml (6.0.3-1) ... Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ... Setting up libsqlite3-0:amd64 (3.46.1-1) ... Setting up libpython3.12-minimal:amd64 (3.12.7-1) ... Setting up linux-libc-dev (6.11.2-1) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Oct 13 16:25:08 UTC 2024. Universal Time is now: Sun Oct 13 16:25:08 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libelpi-ocaml (1.18.2-5+b5) ... Setting up cpp (4:14.2.0-1) ... Setting up libppx-deriving-ocaml-dev (6.0.3-1) ... Setting up python3.12-minimal (3.12.7-1) ... Setting up libpython3.12-stdlib:amd64 (3.12.7-1) ... Setting up python3.12 (3.12.7-1) ... Setting up libelpi-ocaml-dev (1.18.2-5+b5) ... Setting up gcc (4:14.2.0-1) ... Setting up libcoq-elpi (2.1.0-1+b9) ... Setting up libcoq-hierarchy-builder (1.7.0-2+b8) ... Setting up libcoq-mathcomp-ssreflect (2.2.0-2+b7) ... Setting up libcoq-mathcomp-fingroup (2.2.0-2+b7) ... Setting up libcoq-mathcomp-algebra (2.2.0-2+b7) ... Setting up libcoq-mathcomp-solvable (2.2.0-2+b7) ... Setting up libcoq-mathcomp-field (2.2.0-2+b7) ... Setting up libcoq-mathcomp-character (2.2.0-2+b7) ... Setting up libcoq-mathcomp (2.2.0-2+b7) ... Processing triggers for libc-bin (2.40-3) ... 1m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-yf', 'dist-upgrade'] 1m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m4.3s DUMP: 337a0dd4b516b95e789dc4839d638516 - 1m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp'] 1m4.5s DUMP: Package: libcoq-mathcomp Source: ssreflect (2.2.0-2) Version: 2.2.0-2+b7 Installed-Size: 97507 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: libssreflect-coq Provides: libmathcomp-coq, libssreflect-coq, ssreflect Depends: libcoq-mathcomp-algebra (= 2.2.0-2+b7), libcoq-mathcomp-character (= 2.2.0-2+b7), libcoq-mathcomp-field (= 2.2.0-2+b7), libcoq-mathcomp-fingroup (= 2.2.0-2+b7), libcoq-mathcomp-solvable (= 2.2.0-2+b7), libcoq-mathcomp-ssreflect (= 2.2.0-2+b7) Breaks: libssreflect-coq (<= 2.2.0-2+b7) Description-en: Mathematical Components library for Coq (all) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the full Mathematical Components library. Description-md5: bd26831f634ff58fc6c73937049fe58a Homepage: https://math-comp.github.io/math-comp/ Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_2.2.0-2+b7_amd64.deb Size: 2862032 MD5sum: 58c863ab8f29d99768e256d2aa50a263 SHA256: 20ae7ef83991ca2e81a441afba889142cceb790afcbda193f7b678c2b0c8f938 1m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp'] 1m4.5s INFO: apt-cache knows about the following packages: libcoq-mathcomp 1m4.5s INFO: Running scripts pre_install 1m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 1m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 1m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 1m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 1m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 1m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 1m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 1m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 1m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 1m4.6s 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: 1m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 1m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 1m4.6s DUMP: libcoq-mathcomp: Installed: 2.2.0-2+b7 Candidate: 2.2.0-2+b7 Version table: *** 2.2.0-2+b7 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 1m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 1m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp'] 1m5.1s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-mathcomp is already the newest version (2.2.0-2+b7). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp'] 1m5.1s INFO: Running scripts post_install 1m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 1m5.1s INFO: Running scripts post_distupgrade 1m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_exceptions'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_exceptions'] 1m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_zz_backports'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_distupgrade_zz_backports'] 1m5.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m6.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m6.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m6.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m6.9s INFO: Running scripts pre_install 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_database-server'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_exceptions'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_extras'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 1m7.0s 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: 1m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy'] 1m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 1m7.0s DUMP: libcoq-mathcomp: Installed: 2.2.0-2+b7 Candidate: 2.2.0-2+b7 Version table: *** 2.2.0-2+b7 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 1m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-cache', 'policy', 'libcoq-mathcomp'] 1m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp=2.2.0-2+b7'] 1m7.7s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-mathcomp is already the newest version (2.2.0-2+b7). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', '-y', 'install', 'libcoq-mathcomp=2.2.0-2+b7'] 1m7.7s INFO: Running scripts post_install 1m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 1m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_install_exceptions'] 1m7.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m8.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m10.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', '-ac', '--ignore-obsolete'] 1m15.0s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', '-ac', '--ignore-obsolete'] 1m15.0s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m15.0s DUMP: 0.15.6 1m15.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m15.0s INFO: Running adequate version 0.15.6 now. 1m15.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'libcoq-mathcomp'] 1m15.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'libcoq-mathcomp'] 1m15.1s INFO: Running scripts pre_remove 1m15.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m15.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m15.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m17.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m17.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m17.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m17.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_exceptions'] 1m17.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/pre_remove_exceptions'] 1m17.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m17.4s DUMP: install ok installed adduser adduser 3.137 install ok installed apt apt 2.9.8 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.4 install ok installed bash bash 5.2.32-1+b1 install ok installed binutils binutils 2.43.1-5 install ok installed binutils-common:amd64 binutils-common 2.43.1-5 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.43.1-5 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed coq coq 8.19.1+dfsg-3+b2 install ok installed coreutils coreutils 9.4-3.1 install ok installed cpp cpp 4:14.2.0-1 install ok installed cpp-14 cpp-14 14.2.0-6 install ok installed cpp-14-x86-64-linux-gnu cpp-14-x86-64-linux-gnu 14.2.0-6 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:14.2.0-1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc gcc 4:14.2.0-1 install ok installed gcc-12-base:amd64 gcc-12-base 12.4.0-2 install ok installed gcc-14 gcc-14 14.2.0-6 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-6 install ok installed gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu 14.2.0-6 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:14.2.0-1 install ok installed gpgv gpgv 2.2.44-1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.8 install ok installed libasan8:amd64 libasan8 14.2.0-6 install ok installed libatomic1:amd64 libatomic1 14.2.0-6 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:4.0.1-1 install ok installed libaudit1:amd64 libaudit1 1:4.0.1-1 install ok installed libbinutils:amd64 libbinutils 2.43.1-5 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc-dev-bin libc-dev-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libc6-dev:amd64 libc6-dev 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcc1-0:amd64 libcc1-0 14.2.0-6 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.2.0-3 install ok installed libcoq-core-ocaml libcoq-core-ocaml 8.19.1+dfsg-3+b2 install ok installed libcoq-core-ocaml-dev libcoq-core-ocaml-dev 8.19.1+dfsg-3+b2 install ok installed libcoq-elpi libcoq-elpi 2.1.0-1+b9 install ok installed libcoq-hierarchy-builder libcoq-hierarchy-builder 1.7.0-2+b8 install ok installed libcoq-mathcomp libcoq-mathcomp 2.2.0-2+b7 install ok installed libcoq-mathcomp-algebra libcoq-mathcomp-algebra 2.2.0-2+b7 install ok installed libcoq-mathcomp-character libcoq-mathcomp-character 2.2.0-2+b7 install ok installed libcoq-mathcomp-field libcoq-mathcomp-field 2.2.0-2+b7 install ok installed libcoq-mathcomp-fingroup libcoq-mathcomp-fingroup 2.2.0-2+b7 install ok installed libcoq-mathcomp-solvable libcoq-mathcomp-solvable 2.2.0-2+b7 install ok installed libcoq-mathcomp-ssreflect libcoq-mathcomp-ssreflect 2.2.0-2+b7 install ok installed libcoq-stdlib libcoq-stdlib 8.19.1+dfsg-3+b2 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.36-5 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.43.1-5 install ok installed libctf0:amd64 libctf0 2.43.1-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-8 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272 install ok installed libelpi-ocaml libelpi-ocaml 1.18.2-5+b5 install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 1.18.2-5+b5 install ok installed libexpat1:amd64 libexpat1 2.6.3-1 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.6-3 install ok installed libfindlib-ocaml-dev libfindlib-ocaml-dev 1.9.6-3 install ok installed libgcc-14-dev:amd64 libgcc-14-dev 14.2.0-6 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp-dev:amd64 libgmp-dev 2:6.3.0+dfsg-2+b1 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgmp3-dev:amd64 libgmp3-dev 2:6.3.0+dfsg-2+b1 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgomp1:amd64 libgomp1 14.2.0-6 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libgprofng0:amd64 libgprofng0 2.43.1-5 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.21.3-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libhwasan0:amd64 libhwasan0 14.2.0-6 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed libisl23:amd64 libisl23 0.27-1 install ok installed libitm1:amd64 libitm1 14.2.0-6 install ok installed libjansson4:amd64 libjansson4 2.14-2+b2 install ok installed libk5crypto3:amd64 libk5crypto3 1.21.3-3 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-3 install ok installed libkrb5-3:amd64 libkrb5-3 1.21.3-3 install ok installed libkrb5support0:amd64 libkrb5support0 1.21.3-3 install ok installed liblsan0:amd64 liblsan0 14.2.0-6 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20240715+ds-1 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libmpc3:amd64 libmpc3 1.3.1-1+b2 install ok installed libmpfr6:amd64 libmpfr6 4.2.1-1+b1 install ok installed libncurses-dev:amd64 libncurses-dev 6.5-2 install ok installed libncurses6:amd64 libncurses6 6.5-2 install ok installed libncursesw6:amd64 libncursesw6 6.5-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libnsl2:amd64 libnsl2 1.3.0-3+b2 install ok installed libocaml-compiler-libs-ocaml-dev libocaml-compiler-libs-ocaml-dev 0.17.0-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libppx-derivers-ocaml-dev libppx-derivers-ocaml-dev 1.2.1-4+b2 install ok installed libppx-deriving-ocaml libppx-deriving-ocaml 6.0.3-1 install ok installed libppx-deriving-ocaml-dev libppx-deriving-ocaml-dev 6.0.3-1 install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.33.0-1+b1 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.12.6-1 install ok installed libpython3.12-minimal:amd64 libpython3.12-minimal 3.12.7-1 install ok installed libpython3.12-stdlib:amd64 libpython3.12-stdlib 3.12.7-1 install ok installed libquadmath0:amd64 libquadmath0 14.2.0-6 install ok installed libre-ocaml-dev libre-ocaml-dev 1.12.0+really1.11.0-1 install ok installed libreadline8t64:amd64 libreadline8t64 8.2-5 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.17.0-1 install ok installed libsexplib0-ocaml-dev libsexplib0-ocaml-dev 0.17.0-1 install ok installed libsframe1:amd64 libsframe1 2.43.1-5 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-1 install ok installed libss2:amd64 libss2 1.47.1-1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-6 install ok installed libstdlib-ocaml libstdlib-ocaml 5.2.0-3 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 5.2.0-3 install ok installed libsystemd0:amd64 libsystemd0 256.7-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libtirpc-common libtirpc-common 1.3.4+ds-1.3 install ok installed libtirpc3t64:amd64 libtirpc3t64 1.3.4+ds-1.3 install ok installed libtsan2:amd64 libtsan2 14.2.0-6 install ok installed libubsan1:amd64 libubsan1 14.2.0-6 install ok installed libudev1:amd64 libudev1 256.7-1 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzarith-ocaml libzarith-ocaml 1.14-1 install ok installed libzarith-ocaml-dev libzarith-ocaml-dev 1.14-1 install ok installed libzstd-dev:amd64 libzstd-dev 1.5.6+dfsg-1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed linux-libc-dev linux-libc-dev 6.11.2-1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed media-types media-types 10.1.0 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed netbase netbase 6.4 install ok installed ocaml ocaml 5.2.0-3 install ok installed ocaml-base ocaml-base 5.2.0-3 install ok installed ocaml-findlib ocaml-findlib 1.9.6-3 install ok installed ocaml-interp ocaml-interp 5.2.0-3 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-1 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl-base perl-base 5.38.2-5 install ok installed python3 python3 3.12.6-1 install ok installed python3-minimal python3-minimal 3.12.6-1 install ok installed python3.12 python3.12 3.12.7-1 install ok installed python3.12-minimal python3.12-minimal 3.12.7-1 install ok installed readline-common readline-common 8.2-5 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.10-2 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed util-linux-extra util-linux-extra 2.40.2-9 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 1m17.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m17.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-character', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-mathcomp'] 1m19.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfindlib-ocaml libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libgprofng0 libgssapi-krb5-2 libhwasan0 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0 libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc3t64 libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.12 python3.12-minimal readline-common rpcsvc-proto 0 upgraded, 0 newly installed, 99 to remove and 0 not upgraded. After this operation, 1565 MB disk space will be freed. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 21902 files and directories currently installed.) Removing libcoq-mathcomp (2.2.0-2+b7) ... Removing libcoq-mathcomp-character (2.2.0-2+b7) ... Removing libcoq-mathcomp-field (2.2.0-2+b7) ... Removing libcoq-mathcomp-solvable (2.2.0-2+b7) ... Removing libcoq-mathcomp-algebra (2.2.0-2+b7) ... Removing libcoq-mathcomp-fingroup (2.2.0-2+b7) ... Removing libcoq-mathcomp-ssreflect (2.2.0-2+b7) ... Removing libcoq-hierarchy-builder (1.7.0-2+b8) ... Removing libcoq-elpi (2.1.0-1+b9) ... Removing libcoq-core-ocaml-dev (8.19.1+dfsg-3+b2) ... Removing coq (8.19.1+dfsg-3+b2) ... Removing libelpi-ocaml-dev (1.18.2-5+b5) ... Removing libppx-deriving-ocaml-dev (6.0.3-1) ... Removing libppxlib-ocaml-dev (0.33.0-1+b1) ... Removing libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Removing libzarith-ocaml-dev (1.14-1) ... Removing libfindlib-ocaml-dev (1.9.6-3) ... Removing libcoq-core-ocaml (8.19.1+dfsg-3+b2) ... Removing libcoq-stdlib (8.19.1+dfsg-3+b2) ... Removing libelpi-ocaml (1.18.2-5+b5) ... Removing python3 (3.12.6-1) ... Removing python3.12 (3.12.7-1) ... Removing python3-minimal (3.12.6-1) ... Removing python3.12-minimal (3.12.7-1) ... Removing libexpat1:amd64 (2.6.3-1) ... Removing ocaml-findlib (1.9.6-3) ... Removing libfindlib-ocaml (1.9.6-3) ... Removing libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b1) ... Removing libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ... Removing libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ... Removing libpython3-stdlib:amd64 (3.12.6-1) ... Removing libpython3.12-stdlib:amd64 (3.12.7-1) ... find: '/usr/lib/python3': No such file or directory Removing libnsl2:amd64 (1.3.0-3+b2) ... Removing libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Removing libgssapi-krb5-2:amd64 (1.21.3-3) ... Removing libkrb5-3:amd64 (1.21.3-3) ... Removing libk5crypto3:amd64 (1.21.3-3) ... Removing libkeyutils1:amd64 (1.6.3-3) ... Removing libkrb5support0:amd64 (1.21.3-3) ... Removing libmenhir-ocaml-dev (20240715+ds-1) ... Removing libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Removing libppx-deriving-ocaml (6.0.3-1) ... Removing libpython3.12-minimal:amd64 (3.12.7-1) ... find: '/usr/lib/python3': No such file or directory Removing libre-ocaml-dev (1.12.0+really1.11.0-1) ... Removing libreadline8t64:amd64 (8.2-5) ... Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Removing libsexplib0-ocaml-dev (0.17.0-1) ... Removing libsexplib0-ocaml (0.17.0-1) ... Removing libsqlite3-0:amd64 (3.46.1-1) ... Removing libzarith-ocaml (1.14-1) ... Removing libtirpc-common (1.3.4+ds-1.3) ... Removing media-types (10.1.0) ... Removing netbase (6.4) ... Removing readline-common (8.2-5) ... Removing ocaml (5.2.0-3) ... Removing gcc (4:14.2.0-1) ... Removing gcc-14 (14.2.0-6) ... Removing binutils (2.43.1-5) ... Removing gcc-x86-64-linux-gnu (4:14.2.0-1) ... Removing gcc-14-x86-64-linux-gnu (14.2.0-6) ... Removing binutils-x86-64-linux-gnu (2.43.1-5) ... Removing libgprofng0:amd64 (2.43.1-5) ... Removing libctf0:amd64 (2.43.1-5) ... Removing libbinutils:amd64 (2.43.1-5) ... Removing binutils-common:amd64 (2.43.1-5) ... Removing cpp (4:14.2.0-1) ... Removing cpp-14 (14.2.0-6) ... Removing cpp-x86-64-linux-gnu (4:14.2.0-1) ... Removing cpp-14-x86-64-linux-gnu (14.2.0-6) ... Removing libgcc-14-dev:amd64 (14.2.0-6) ... Removing libasan8:amd64 (14.2.0-6) ... Removing libatomic1:amd64 (14.2.0-6) ... Removing libncurses-dev:amd64 (6.5-2) ... Removing libc6-dev:amd64 (2.40-3) ... Removing libc-dev-bin (2.40-3) ... Removing libcc1-0:amd64 (14.2.0-6) ... Removing ocaml-interp (5.2.0-3) ... Removing libcompiler-libs-ocaml-dev (5.2.0-3) ... Removing libcrypt-dev:amd64 (1:4.4.36-5) ... Removing libctf-nobfd0:amd64 (2.43.1-5) ... Removing libgomp1:amd64 (14.2.0-6) ... Removing libhwasan0:amd64 (14.2.0-6) ... Removing libisl23:amd64 (0.27-1) ... Removing libitm1:amd64 (14.2.0-6) ... Removing libjansson4:amd64 (2.14-2+b2) ... Removing liblsan0:amd64 (14.2.0-6) ... Removing libmpc3:amd64 (1.3.1-1+b2) ... Removing libmpfr6:amd64 (4.2.1-1+b1) ... Removing libncurses6:amd64 (6.5-2) ... Removing libncursesw6:amd64 (6.5-2) ... Removing libquadmath0:amd64 (14.2.0-6) ... Removing libsframe1:amd64 (2.43.1-5) ... Removing ocaml-base (5.2.0-3) ... Removing libstdlib-ocaml-dev (5.2.0-3) ... Removing libstdlib-ocaml (5.2.0-3) ... Removing libtsan2:amd64 (14.2.0-6) ... Removing libubsan1:amd64 (14.2.0-6) ... Removing libzstd-dev:amd64 (1.5.6+dfsg-1) ... Removing linux-libc-dev (6.11.2-1) ... Removing rpcsvc-proto (1.4.3-1) ... Processing triggers for libc-bin (2.40-3) ... 1m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-character', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-mathcomp'] 1m19.3s INFO: Running scripts post_remove 1m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_remove_exceptions'] 1m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_remove_exceptions'] 1m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-character', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto'] 1m19.4s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed (Reading database ... 5285 files and directories currently installed.) Purging configuration files for binutils-common:amd64 (2.43.1-5) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove coq which isn't installed Purging configuration files for cpp (4:14.2.0-1) ... dpkg: warning: ignoring request to remove cpp-14 which isn't installed dpkg: warning: ignoring request to remove cpp-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-14 which isn't installed dpkg: warning: ignoring request to remove gcc-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcoq-elpi which isn't installed dpkg: warning: ignoring request to remove libcoq-hierarchy-builder which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-algebra which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-character which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-field which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-fingroup which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-solvable which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-ssreflect which isn't installed dpkg: warning: ignoring request to remove libcoq-stdlib which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.36-5) ... dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libelpi-ocaml which isn't installed dpkg: warning: ignoring request to remove libelpi-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.6-3) ... dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libgcc-14-dev which isn't installed dpkg: warning: ignoring request to remove libgmp-dev which isn't installed dpkg: warning: ignoring request to remove libgmp3-dev which isn't installed dpkg: warning: ignoring request to remove libgmpxx4ldbl which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgprofng0 which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.21.3-3) ... dpkg: warning: ignoring request to remove libhwasan0 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmenhir-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed dpkg: warning: ignoring request to remove libocaml-compiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-derivers-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppxlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.12-minimal:amd64 (3.12.7-1) ... dpkg: warning: ignoring request to remove libpython3.12-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libre-ocaml-dev which isn't installed Purging configuration files for libreadline8t64:amd64 (8.2-5) ... dpkg: warning: ignoring request to remove libsexplib0-ocaml which isn't installed dpkg: warning: ignoring request to remove libsexplib0-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsframe1 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml-dev which isn't installed Purging configuration files for libtirpc-common (1.3.4+ds-1.3) ... Purging configuration files for libtirpc3t64:amd64 (1.3.4+ds-1.3) ... dpkg: warning: ignoring request to remove libtsan2 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libzstd-dev which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Purging configuration files for media-types (10.1.0) ... Purging configuration files for netbase (6.4) ... dpkg: warning: ignoring request to remove ocaml which isn't installed dpkg: warning: ignoring request to remove ocaml-base which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed Purging configuration files for python3 (3.12.6-1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.12 which isn't installed Purging configuration files for python3.12-minimal (3.12.7-1) ... Purging configuration files for readline-common (8.2-5) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed 1m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-character', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto'] 1m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--purge', 'libcoq-mathcomp'] 1m19.4s DUMP: dpkg: warning: ignoring request to remove libcoq-mathcomp which isn't installed 1m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--purge', 'libcoq-mathcomp'] 1m19.4s INFO: Running scripts post_purge 1m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_purge_exceptions'] 1m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_purge_exceptions'] 1m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--purge', '--pending'] 1m19.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--purge', '--pending'] 1m19.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--remove', '--pending'] 1m19.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg', '--remove', '--pending'] 1m19.5s INFO: Running scripts post_test 1m19.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_test_exceptions'] 1m19.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'tmp/scripts/post_test_exceptions'] 1m19.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m19.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg-divert', '--list'] 1m19.9s DUMP: diversion of /sbin/mkfs.bfs to /sbin/mkfs.bfs.usr-is-merged by util-linux-extra diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /sbin/mkfs.minix to /sbin/mkfs.minix.usr-is-merged by util-linux-extra 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 diversion of /sbin/mkfs.cramfs to /sbin/mkfs.cramfs.usr-is-merged by util-linux-extra local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /sbin/ctrlaltdel to /sbin/ctrlaltdel.usr-is-merged by util-linux-extra diversion of /sbin/fsck.minix to /sbin/fsck.minix.usr-is-merged by util-linux-extra diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files diversion of /sbin/fsck.cramfs to /sbin/fsck.cramfs.usr-is-merged by util-linux-extra 1m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'dpkg-divert', '--list'] 1m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'clean'] 1m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy', 'apt-get', 'clean'] 1m20.0s DEBUG: Recording chroot state 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/shm'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/shm'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/console'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/console'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/ptmx'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/ptmx'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/pts'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/dev/pts'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/proc'] 1m21.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy/proc'] 1m21.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m21.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpbwzsspfy'] 1m21.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpbwzsspfy 1m21.1s INFO: PASS: Upgrading between Debian distributions. 1m21.1s INFO: PASS: All tests. 1m21.1s INFO: piuparts run ends. ret=0 End: 2024-10-13 16:25:28 GMT