Start: 2024-01-04 05:48:22 GMT [testing] Package: libcoq-mathcomp-abel Source: mathcomp-abel (1.2.1-1) Version: 1.2.1-1+b5 Installed-Size: 4160 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-mathcomp-abel-7xsz6 Depends: libcoq-mathcomp-algebra-ns1c5, libcoq-mathcomp-field-3ivo6, libcoq-mathcomp-fingroup-rm7l3, libcoq-mathcomp-real-closed-d6rn2, libcoq-mathcomp-solvable-iw1x2, libcoq-mathcomp-ssreflect-7sy01 Description: Abel-Galois and Abel-Ruffini theorems for Mathematical Components Homepage: https://github.com/math-comp/abel Description-md5: 3adc2407c3df0e5de782fe2f159ef52b Section: ocaml Priority: optional Filename: pool/main/m/mathcomp-abel/libcoq-mathcomp-abel_1.2.1-1+b5_amd64.deb Size: 1278804 MD5sum: 5fcdfb6fce27782b9f879333dff26598 SHA256: 862d174f9cb607a451a481dabd0a1bc8f17517afb47cca4506231845a1dac87e [sid] 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 testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-mathcomp-abel=None 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.2 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 testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-mathcomp-abel=None 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-27-amd64 #1 SMP Debian 5.10.205-2 (2023-12-31) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp21c6i9i3 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp21c6i9i3 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m2.6s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m2.6s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/proc'] 0m2.6s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/proc'] 0m2.6s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/pts'] 0m2.6s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/pts'] 0m2.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/ptmx'] 0m2.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/ptmx'] 0m2.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/console'] 0m2.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/console'] 0m2.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/shm'] 0m2.6s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/shm'] 0m2.6s DEBUG: sources.list: deb http://deb.debian.org/debian/ bookworm main 0m2.6s DEBUG: Created policy-rc.d and chmodded it. 0m2.6s DEBUG: Created resolv.conf. 0m2.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp21c6i9i3/tmp/scripts/ 0m2.6s INFO: Running scripts post_chroot_unpack 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'update'] 0m3.8s DUMP: Hit:1 http://deb.debian.org/debian bookworm InRelease Reading package lists... 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'update'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', '-yf', 'dist-upgrade'] 0m4.3s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', '-yf', 'dist-upgrade'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.8s DUMP: c39ed9ca72afa1f69a1eea88b0965329 - 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.8s INFO: Running scripts post_setup 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_dummy_users'] 0m5.6s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_dummy_users'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_forbid_home'] 0m5.6s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_forbid_home'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.7s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' dpkg-divert: warning: diverting file '/bin/sync' from an Essential package with rename is dangerous, use --no-rename '/bin/sync' -> 'true' 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_minimize'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_minimize'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_zz_backports'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_setup_zz_backports'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.7s DUMP: install ok installed adduser adduser 3.134 install ok installed apt apt 2.6.1 install ok installed base-files base-files 12.4+deb12u4 install ok installed base-passwd base-passwd 3.6.1 install ok installed bash bash 5.2.15-2+b2 install ok installed bsdutils bsdutils 1:2.38.1-5+b1 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+b1 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+deb12u3 install ok installed libc6:amd64 libc6 2.36-9+deb12u3 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+deb12u1 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+b1 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+b3 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+b1 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.19-1~deb12u1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2 install ok installed libtinfo6:amd64 libtinfo6 6.4-4 install ok installed libudev1:amd64 libudev1 252.19-1~deb12u1 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-5+b1 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+b1 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 install ok installed tzdata tzdata 2023c-5+deb12u1 install ok installed usr-is-merged usr-is-merged 35 install ok installed util-linux util-linux 2.38.1-5+b1 install ok installed util-linux-extra util-linux-extra 2.38.1-5+b1 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.7s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m5.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m6.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m6.0s INFO: Running scripts is_testable 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/is_testable_uninstallable'] 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/is_testable_uninstallable'] 0m6.0s INFO: Running scripts pre_test 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_test_exceptions'] 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_test_exceptions'] 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_test_root_password'] 0m6.1s DUMP: New password: Retype new password: passwd: password updated successfully 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_test_root_password'] 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp-abel'] 0m6.3s DUMP: Package: libcoq-mathcomp-abel Source: mathcomp-abel (1.2.1-1) Version: 1.2.1-1+b5 Installed-Size: 4160 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-mathcomp-abel-7xsz6 Depends: libcoq-mathcomp-algebra-ns1c5, libcoq-mathcomp-field-3ivo6, libcoq-mathcomp-fingroup-rm7l3, libcoq-mathcomp-real-closed-d6rn2, libcoq-mathcomp-solvable-iw1x2, libcoq-mathcomp-ssreflect-7sy01 Description-en: Abel-Galois and Abel-Ruffini theorems for Mathematical Components This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. Description-md5: 3adc2407c3df0e5de782fe2f159ef52b Homepage: https://github.com/math-comp/abel Section: ocaml Priority: optional Filename: pool/main/m/mathcomp-abel/libcoq-mathcomp-abel_1.2.1-1+b5_amd64.deb Size: 1278804 MD5sum: 5fcdfb6fce27782b9f879333dff26598 SHA256: 862d174f9cb607a451a481dabd0a1bc8f17517afb47cca4506231845a1dac87e 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp-abel'] 0m6.3s INFO: apt-cache knows about the following packages: libcoq-mathcomp-abel 0m6.3s INFO: Running scripts pre_install 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_database-server'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_database-server'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_exceptions'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_exceptions'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_extras'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_extras'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'policy'] 0m6.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm/main amd64 Packages release v=12.4,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'policy'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'policy', 'libcoq-mathcomp-abel'] 0m6.4s DUMP: libcoq-mathcomp-abel: Installed: (none) Candidate: 1.2.1-1+b5 Version table: 1.2.1-1+b5 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'policy', 'libcoq-mathcomp-abel'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', '-y', 'install', 'libcoq-mathcomp-abel'] 0m12.7s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-real-closed 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-abel libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-real-closed libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-stdlib libfindlib-ocaml libzarith-ocaml ocaml-base 0 upgraded, 13 newly installed, 0 to remove and 0 not upgraded. Need to get 68.5 MB of archives. After this operation, 322 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-bigenough amd64 1.0.1-8+b4 [26.3 kB] Get:12 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-real-closed amd64 1.1.3-1+b4 [2296 kB] Get:13 http://deb.debian.org/debian bookworm/main amd64 libcoq-mathcomp-abel amd64 1.2.1-1+b5 [1279 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.5 MB in 2s (43.7 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 ... 6100 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-bigenough. Preparing to unpack .../10-libcoq-mathcomp-bigenough_1.0.1-8+b4_amd64.deb ... Unpacking libcoq-mathcomp-bigenough (1.0.1-8+b4) ... Selecting previously unselected package libcoq-mathcomp-real-closed. Preparing to unpack .../11-libcoq-mathcomp-real-closed_1.1.3-1+b4_amd64.deb ... Unpacking libcoq-mathcomp-real-closed (1.1.3-1+b4) ... Selecting previously unselected package libcoq-mathcomp-abel. Preparing to unpack .../12-libcoq-mathcomp-abel_1.2.1-1+b5_amd64.deb ... Unpacking libcoq-mathcomp-abel (1.2.1-1+b5) ... 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-bigenough (1.0.1-8+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-real-closed (1.1.3-1+b4) ... Setting up libcoq-mathcomp-abel (1.2.1-1+b5) ... 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', '-y', 'install', 'libcoq-mathcomp-abel'] 0m12.7s INFO: Running scripts post_install 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_install_exceptions'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_install_exceptions'] 0m12.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m13.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m13.2s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp21c6i9i3 to sid 0m13.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m13.2s INFO: Running scripts pre_distupgrade 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_exceptions'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_exceptions'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m13.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m13.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m13.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m13.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'update'] 0m17.2s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [198 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [9629 kB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7085 kB] Fetched 16.9 MB in 3s (5154 kB/s) Reading package lists... 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'update'] 0m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', '-yf', 'dist-upgrade'] 0m54.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-13 gcc gcc-13 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-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-real-closed 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-13-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 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libquadmath0 libre-ocaml-dev libreadline8 libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.11 python3.11-minimal readline-common rpcsvc-proto Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: libcoq-mathcomp-abel The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-13 gcc gcc-13 gcc-13-base libasan8 libatomic1 libbinutils 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 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfindlib-ocaml-dev libgcc-13-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 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libquadmath0 libre-ocaml-dev libreadline8 libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libssl3 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libunistring5 libzarith-ocaml-dev linux-libc-dev media-types netbase ocaml ocaml-findlib ocaml-interp python3 python3-minimal python3.11 python3.11-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 grep init-system-helpers libacl1 libapt-pkg6.0 libattr1 libaudit-common libaudit1 libblkid1 libc-bin libc6 libcap-ng0 libcom-err2 libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-real-closed libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt1 libdb5.3 libdebconfclient0 libext2fs2 libffi8 libfindlib-ocaml libgcc-s1 libgcrypt20 libgmp10 libgnutls30 libgpg-error0 libhogweed6 libidn2-0 liblzma5 libmd0 libmount1 libnettle8 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, 89 newly installed, 1 to remove and 0 not upgraded. Need to get 449 MB of archives. After this operation, 1464 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 base-files amd64 13 [70.6 kB] Get:2 http://deb.debian.org/debian sid/main amd64 debianutils amd64 5.16 [88.9 kB] Get:3 http://deb.debian.org/debian sid/main amd64 bash amd64 5.2.21-2 [1492 kB] Get:4 http://deb.debian.org/debian sid/main amd64 bsdutils amd64 1:2.39.3-3 [96.8 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libc6 amd64 2.37-13 [2753 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libc-bin amd64 2.37-13 [602 kB] Get:7 http://deb.debian.org/debian sid/main amd64 gcc-13-base amd64 13.2.0-9 [41.4 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 13.2.0-9 [57.7 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libgmp10 amd64 2:6.3.0+dfsg-2 [557 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libssl3 amd64 3.1.4-2 [2058 kB] Get:11 http://deb.debian.org/debian sid/main amd64 coreutils amd64 9.4-3 [2951 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libzstd1 amd64 1.5.5+dfsg2-2 [295 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 13.2.0-9 [694 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libgpg-error0 amd64 1.47-3 [77.8 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libgcrypt20 amd64 1.10.3-2 [708 kB] Get:16 http://deb.debian.org/debian sid/main amd64 liblzma5 amd64 5.4.5-0.3 [240 kB] Get:17 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 255.2-3 [362 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 255.2-3 [124 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libxxhash0 amd64 0.8.2-2 [26.4 kB] Get:20 http://deb.debian.org/debian sid/main amd64 zlib1g amd64 1:1.3.dfsg-3 [87.5 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0 amd64 2.7.7 [946 kB] Get:22 http://deb.debian.org/debian sid/main amd64 tar amd64 1.35+dfsg-2 [814 kB] Get:23 http://deb.debian.org/debian sid/main amd64 dpkg amd64 1.22.2 [1562 kB] Get:24 http://deb.debian.org/debian sid/main amd64 dash amd64 0.5.12-6 [92.1 kB] Get:25 http://deb.debian.org/debian sid/main amd64 diffutils amd64 1:3.10-1 [375 kB] Get:26 http://deb.debian.org/debian sid/main amd64 findutils amd64 4.9.0-5 [636 kB] Get:27 http://deb.debian.org/debian sid/main amd64 grep amd64 3.11-3 [431 kB] Get:28 http://deb.debian.org/debian sid/main amd64 login amd64 1:4.13+dfsg1-3 [616 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libtinfo6 amd64 6.4+20231209-1 [341 kB] Get:30 http://deb.debian.org/debian sid/main amd64 ncurses-bin amd64 6.4+20231209-1 [430 kB] Get:31 http://deb.debian.org/debian sid/main amd64 perl-base amd64 5.36.0-10 [1602 kB] Get:32 http://deb.debian.org/debian sid/main amd64 sed amd64 4.9-2 [329 kB] Get:33 http://deb.debian.org/debian sid/main amd64 libblkid1 amd64 2.39.3-3 [159 kB] Get:34 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.42-4 [261 kB] Get:35 http://deb.debian.org/debian sid/main amd64 libselinux1 amd64 3.5-1+b1 [74.5 kB] Get:36 http://deb.debian.org/debian sid/main amd64 libmount1 amd64 2.39.3-3 [190 kB] Get:37 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:3.1.2-1 [11.2 kB] Get:38 http://deb.debian.org/debian sid/main amd64 libcap-ng0 amd64 0.8.4-1 [16.9 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:3.1.2-1 [48.2 kB] Get:40 http://deb.debian.org/debian sid/main amd64 libsmartcols1 amd64 2.39.3-3 [116 kB] Get:41 http://deb.debian.org/debian sid/main amd64 util-linux-extra amd64 2.39.3-3 [155 kB] Get:42 http://deb.debian.org/debian sid/main amd64 util-linux amd64 2.39.3-3 [1228 kB] Get:43 http://deb.debian.org/debian sid/main amd64 libnettle8 amd64 3.9.1-2 [295 kB] Get:44 http://deb.debian.org/debian sid/main amd64 libffi8 amd64 3.4.4-2 [23.5 kB] Get:45 http://deb.debian.org/debian sid/main amd64 libp11-kit0 amd64 0.25.3-4 [418 kB] Get:46 http://deb.debian.org/debian sid/main amd64 libunistring5 amd64 1.1-2 [421 kB] Get:47 http://deb.debian.org/debian sid/main amd64 libhogweed6 amd64 3.9.1-2 [327 kB] Get:48 http://deb.debian.org/debian sid/main amd64 libidn2-0 amd64 2.3.4-1+b1 [125 kB] Get:49 http://deb.debian.org/debian sid/main amd64 libtasn1-6 amd64 4.19.0-3 [48.3 kB] Get:50 http://deb.debian.org/debian sid/main amd64 libgnutls30 amd64 3.8.2-1 [1424 kB] Get:51 http://deb.debian.org/debian sid/main amd64 libdebconfclient0 amd64 0.271 [9940 B] Get:52 http://deb.debian.org/debian sid/main amd64 base-passwd amd64 3.6.3 [50.8 kB] Get:53 http://deb.debian.org/debian sid/main amd64 libcrypt1 amd64 1:4.4.36-4 [89.8 kB] Get:54 http://deb.debian.org/debian sid/main amd64 debconf all 1.5.83 [121 kB] Get:55 http://deb.debian.org/debian sid/main amd64 libpam0g amd64 1.5.2-9.1 [65.5 kB] Get:56 http://deb.debian.org/debian sid/main amd64 libsemanage-common all 3.5-1 [9908 B] Get:57 http://deb.debian.org/debian sid/main amd64 libsepol2 amd64 3.5-2 [277 kB] Get:58 http://deb.debian.org/debian sid/main amd64 libsemanage2 amd64 3.5-1+b1 [90.3 kB] Get:59 http://deb.debian.org/debian sid/main amd64 libpam-modules-bin amd64 1.5.2-9.1 [49.9 kB] Get:60 http://deb.debian.org/debian sid/main amd64 libpam-modules amd64 1.5.2-9.1 [264 kB] Get:61 http://deb.debian.org/debian sid/main amd64 passwd amd64 1:4.13+dfsg1-3 [972 kB] Get:62 http://deb.debian.org/debian sid/main amd64 adduser all 3.137 [140 kB] Get:63 http://deb.debian.org/debian sid/main amd64 debian-archive-keyring all 2023.4 [161 kB] Get:64 http://deb.debian.org/debian sid/main amd64 libseccomp2 amd64 2.5.4-2+b1 [47.1 kB] Get:65 http://deb.debian.org/debian sid/main amd64 apt amd64 2.7.7 [1362 kB] Get:66 http://deb.debian.org/debian sid/main amd64 usr-is-merged all 38 [5504 B] Get:67 http://deb.debian.org/debian sid/main amd64 init-system-helpers all 1.66 [39.0 kB] Get:68 http://deb.debian.org/debian sid/main amd64 ncurses-base all 6.4+20231209-1 [267 kB] Get:69 http://deb.debian.org/debian sid/main amd64 sysvinit-utils amd64 3.08-5 [32.1 kB] Get:70 http://deb.debian.org/debian sid/main amd64 logsave amd64 1.47.0-2+b1 [19.9 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libext2fs2 amd64 1.47.0-2+b1 [205 kB] Get:72 http://deb.debian.org/debian sid/main amd64 e2fsprogs amd64 1.47.0-2+b1 [572 kB] Get:73 http://deb.debian.org/debian sid/main amd64 mount amd64 2.39.3-3 [143 kB] Get:74 http://deb.debian.org/debian sid/main amd64 libpython3.11-minimal amd64 3.11.7-2 [816 kB] Get:75 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.5.0-2 [99.0 kB] Get:76 http://deb.debian.org/debian sid/main amd64 python3.11-minimal amd64 3.11.7-2 [2035 kB] Get:77 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.11.6-1 [26.2 kB] Get:78 http://deb.debian.org/debian sid/main amd64 media-types all 10.1.0 [26.9 kB] Get:79 http://deb.debian.org/debian sid/main amd64 netbase all 6.4 [12.8 kB] Get:80 http://deb.debian.org/debian sid/main amd64 tzdata all 2023d-1 [257 kB] Get:81 http://deb.debian.org/debian sid/main amd64 libdb5.3 amd64 5.3.28+dfsg2-4 [697 kB] Get:82 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.4+20231209-1 [135 kB] Get:83 http://deb.debian.org/debian sid/main amd64 libkrb5support0 amd64 1.20.1-5 [32.9 kB] Get:84 http://deb.debian.org/debian sid/main amd64 libcom-err2 amd64 1.47.0-2+b1 [20.1 kB] Get:85 http://deb.debian.org/debian sid/main amd64 libk5crypto3 amd64 1.20.1-5 [79.6 kB] Get:86 http://deb.debian.org/debian sid/main amd64 libkeyutils1 amd64 1.6.3-2 [8808 B] Get:87 http://deb.debian.org/debian sid/main amd64 libkrb5-3 amd64 1.20.1-5 [332 kB] Get:88 http://deb.debian.org/debian sid/main amd64 libgssapi-krb5-2 amd64 1.20.1-5 [135 kB] Get:89 http://deb.debian.org/debian sid/main amd64 libtirpc-common all 1.3.4+ds-1 [10.7 kB] Get:90 http://deb.debian.org/debian sid/main amd64 libtirpc3 amd64 1.3.4+ds-1 [82.1 kB] Get:91 http://deb.debian.org/debian sid/main amd64 libnsl2 amd64 1.3.0-3 [40.0 kB] Get:92 http://deb.debian.org/debian sid/main amd64 readline-common all 8.2-3 [69.1 kB] Get:93 http://deb.debian.org/debian sid/main amd64 libreadline8 amd64 8.2-3 [167 kB] Get:94 http://deb.debian.org/debian sid/main amd64 libsqlite3-0 amd64 3.44.2-1 [882 kB] Get:95 http://deb.debian.org/debian sid/main amd64 libuuid1 amd64 2.39.3-3 [29.7 kB] Get:96 http://deb.debian.org/debian sid/main amd64 libpython3.11-stdlib amd64 3.11.7-2 [1822 kB] Get:97 http://deb.debian.org/debian sid/main amd64 python3.11 amd64 3.11.7-2 [590 kB] Get:98 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.11.6-1 [9224 B] Get:99 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.11.6-1 [26.2 kB] Get:100 http://deb.debian.org/debian sid/main amd64 libpam-runtime all 1.5.2-9.1 [134 kB] Get:101 http://deb.debian.org/debian sid/main amd64 libacl1 amd64 2.3.1-4 [31.8 kB] Get:102 http://deb.debian.org/debian sid/main amd64 libattr1 amd64 1:2.5.1-5 [22.5 kB] Get:103 http://deb.debian.org/debian sid/main amd64 libmd0 amd64 1.1.0-1 [35.5 kB] Get:104 http://deb.debian.org/debian sid/main amd64 mawk amd64 1.3.4.20231126-1 [136 kB] Get:105 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.41.50.20231227-1 [2537 kB] Get:106 http://deb.debian.org/debian sid/main amd64 libsframe1 amd64 2.41.50.20231227-1 [74.8 kB] Get:107 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.41.50.20231227-1 [488 kB] Get:108 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.41.50.20231227-1 [142 kB] Get:109 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.41.50.20231227-1 [76.7 kB] Get:110 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.41.50.20231227-1 [776 kB] Get:111 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2 [40.8 kB] Get:112 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.41.50.20231227-1 [2243 kB] Get:113 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.41.50.20231227-1 [69.8 kB] Get:114 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.18.0+dfsg-1 [23.2 MB] Get:115 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.13-2+b1 [106 kB] Get:116 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.6-1+b2 [169 kB] Get:117 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 4.14.1-1 [401 kB] Get:118 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 4.14.1-1 [499 kB] Get:119 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 4.14.1-1 [7284 kB] Get:120 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 4.14.1-1 [32.7 MB] Get:121 http://deb.debian.org/debian sid/main amd64 libresult-ocaml amd64 1.5-4+b1 [7492 B] Get:122 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml amd64 0.16.0-3+b1 [110 kB] Get:123 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml amd64 5.2.1-4+b2 [3879 kB] Get:124 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 1.17.4-3 [3796 kB] Get:125 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 4.14.1-1 [6456 kB] Get:126 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.4+20231209-1 [104 kB] Get:127 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.37-13 [46.6 kB] Get:128 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.6.9-1 [2222 kB] Get:129 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.36-4 [119 kB] Get:130 http://deb.debian.org/debian sid/main amd64 libtirpc-dev amd64 1.3.4+ds-1 [188 kB] Get:131 http://deb.debian.org/debian sid/main amd64 libnsl-dev amd64 1.3.0-3 [66.9 kB] Get:132 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:133 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.37-13 [1902 kB] Get:134 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.4+20231209-1 [350 kB] Get:135 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.26-3 [700 kB] Get:136 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.1-1 [713 kB] Get:137 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-1 [51.5 kB] Get:138 http://deb.debian.org/debian sid/main amd64 cpp-13 amd64 13.2.0-9 [9924 kB] Get:139 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:13.2.0-2 [7032 B] Get:140 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 13.2.0-9 [43.0 kB] Get:141 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 13.2.0-9 [131 kB] Get:142 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 13.2.0-9 [26.1 kB] Get:143 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 13.2.0-9 [9280 B] Get:144 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 13.2.0-9 [2560 kB] Get:145 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 13.2.0-9 [1102 kB] Get:146 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 13.2.0-9 [2334 kB] Get:147 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 13.2.0-9 [1010 kB] Get:148 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 13.2.0-9 [1154 kB] Get:149 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 13.2.0-9 [145 kB] Get:150 http://deb.debian.org/debian sid/main amd64 libgcc-13-dev amd64 13.2.0-9 [2542 kB] Get:151 http://deb.debian.org/debian sid/main amd64 gcc-13 amd64 13.2.0-9 [19.6 MB] Get:152 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:13.2.0-2 [5224 B] Get:153 http://deb.debian.org/debian sid/main amd64 ocaml amd64 4.14.1-1 [67.1 MB] Get:154 http://deb.debian.org/debian sid/main amd64 libmenhir-ocaml-dev amd64 20230608+ds-1+b1 [568 kB] Get:155 http://deb.debian.org/debian sid/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.12.4-4+b1 [84.2 kB] Get:156 http://deb.debian.org/debian sid/main amd64 ocaml-findlib amd64 1.9.6-1+b2 [496 kB] Get:157 http://deb.debian.org/debian sid/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b1 [16.4 kB] Get:158 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml-dev amd64 0.16.0-3+b1 [245 kB] Get:159 http://deb.debian.org/debian sid/main amd64 libppxlib-ocaml-dev amd64 0.31.0-1 [15.9 MB] Get:160 http://deb.debian.org/debian sid/main amd64 libresult-ocaml-dev amd64 1.5-4+b1 [10.7 kB] Get:161 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml-dev amd64 5.2.1-4+b2 [799 kB] Get:162 http://deb.debian.org/debian sid/main amd64 libre-ocaml-dev amd64 1.11.0-1+b1 [928 kB] Get:163 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 1.17.4-3 [9352 kB] Get:164 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml-dev amd64 1.9.6-1+b2 [162 kB] Get:165 http://deb.debian.org/debian sid/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2 [329 kB] Get:166 http://deb.debian.org/debian sid/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2 [637 kB] Get:167 http://deb.debian.org/debian sid/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2 [322 kB] Get:168 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml-dev amd64 1.13-2+b1 [103 kB] Get:169 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml-dev amd64 8.18.0+dfsg-1 [44.4 MB] Get:170 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 1.19.3-2 [2575 kB] Get:171 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.6.0-1 [244 kB] Get:172 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-real-closed amd64 2.0.0-1 [2408 kB] Get:173 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-field amd64 2.1.0-1 [3041 kB] Get:174 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-solvable amd64 2.1.0-1 [4657 kB] Get:175 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-algebra amd64 2.1.0-1 [9032 kB] Get:176 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-fingroup amd64 2.1.0-1 [2020 kB] Get:177 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-bigenough amd64 1.0.1-12 [25.8 kB] Get:178 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.1.0-1 [5796 kB] Get:179 http://deb.debian.org/debian sid/main amd64 libcoq-stdlib amd64 8.18.0+dfsg-1 [23.2 MB] Get:180 http://deb.debian.org/debian sid/main amd64 coq amd64 8.18.0+dfsg-1 [81.7 MB] Get:181 http://deb.debian.org/debian sid/main amd64 gcc-12-base amd64 12.3.0-13 [41.0 kB] Get:182 http://deb.debian.org/debian sid/main amd64 libss2 amd64 1.47.0-2+b1 [24.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 449 MB in 4s (125 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 ... 8945 files and directories currently installed.) Preparing to unpack .../base-files_13_amd64.deb ... Unpacking base-files (13) over (12.4+deb12u4) ... Setting up base-files (13) ... 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 ... (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 ... 8945 files and directories currently installed.) Preparing to unpack .../debianutils_5.16_amd64.deb ... Unpacking debianutils (5.16) over (5.7-0.5~deb12u1) ... Setting up debianutils (5.16) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 8944 files and directories currently installed.) Preparing to unpack .../bash_5.2.21-2_amd64.deb ... Unpacking bash (5.2.21-2) over (5.2.15-2+b2) ... Setting up bash (5.2.21-2) ... 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 ... 8943 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.39.3-3_amd64.deb ... Unpacking bsdutils (1:2.39.3-3) over (1:2.38.1-5+b1) ... Setting up bsdutils (1:2.39.3-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 ... 8942 files and directories currently installed.) Preparing to unpack .../libc6_2.37-13_amd64.deb ... Unpacking libc6:amd64 (2.37-13) over (2.36-9+deb12u3) ... Setting up libc6:amd64 (2.37-13) ... (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 ... 8942 files and directories currently installed.) Preparing to unpack .../libc-bin_2.37-13_amd64.deb ... Unpacking libc-bin (2.37-13) over (2.36-9+deb12u3) ... Setting up libc-bin (2.37-13) ... Selecting previously unselected package gcc-13-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 ... 8942 files and directories currently installed.) Preparing to unpack .../gcc-13-base_13.2.0-9_amd64.deb ... Unpacking gcc-13-base:amd64 (13.2.0-9) ... Setting up gcc-13-base:amd64 (13.2.0-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 ... 8947 files and directories currently installed.) Preparing to unpack .../libgcc-s1_13.2.0-9_amd64.deb ... Unpacking libgcc-s1:amd64 (13.2.0-9) over (12.2.0-14) ... Setting up libgcc-s1:amd64 (13.2.0-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 ... 8947 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-2_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-2) over (2:6.2.1+dfsg1-1.1) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-2) ... Selecting previously unselected package libssl3: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 ... 8947 files and directories currently installed.) Preparing to unpack .../libssl3_3.1.4-2_amd64.deb ... Unpacking libssl3:amd64 (3.1.4-2) ... Setting up libssl3:amd64 (3.1.4-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 ... 8960 files and directories currently installed.) Preparing to unpack .../coreutils_9.4-3_amd64.deb ... Unpacking coreutils (9.4-3) over (9.1-1) ... Setting up coreutils (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 ... 8965 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.5+dfsg2-2_amd64.deb ... Unpacking libzstd1:amd64 (1.5.5+dfsg2-2) over (1.5.4+dfsg2-5) ... Setting up libzstd1:amd64 (1.5.5+dfsg2-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 ... 8965 files and directories currently installed.) Preparing to unpack .../libstdc++6_13.2.0-9_amd64.deb ... Unpacking libstdc++6:amd64 (13.2.0-9) over (12.2.0-14) ... Setting up libstdc++6:amd64 (13.2.0-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 ... 8965 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.47-3_amd64.deb ... Unpacking libgpg-error0:amd64 (1.47-3) over (1.46-1) ... Setting up libgpg-error0:amd64 (1.47-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 ... 8965 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.3-2_amd64.deb ... Unpacking libgcrypt20:amd64 (1.10.3-2) over (1.10.1-3) ... Setting up libgcrypt20:amd64 (1.10.3-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 ... 8965 files and directories currently installed.) Preparing to unpack .../liblzma5_5.4.5-0.3_amd64.deb ... Unpacking liblzma5:amd64 (5.4.5-0.3) over (5.4.1-0.2) ... Setting up liblzma5:amd64 (5.4.5-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 ... 8965 files and directories currently installed.) Preparing to unpack .../libsystemd0_255.2-3_amd64.deb ... Unpacking libsystemd0:amd64 (255.2-3) over (252.19-1~deb12u1) ... Setting up libsystemd0:amd64 (255.2-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 ... 8965 files and directories currently installed.) Preparing to unpack .../libudev1_255.2-3_amd64.deb ... Unpacking libudev1:amd64 (255.2-3) over (252.19-1~deb12u1) ... Setting up libudev1:amd64 (255.2-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 ... 8965 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2_amd64.deb ... Unpacking libxxhash0:amd64 (0.8.2-2) over (0.8.1-1) ... Setting up libxxhash0:amd64 (0.8.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 ... 8965 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg-3) over (1:1.2.13.dfsg-1) ... Setting up zlib1g:amd64 (1:1.3.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 ... 8965 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.7.7_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.7.7) over (2.6.1) ... Setting up libapt-pkg6.0:amd64 (2.7.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 ... 8965 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-2_amd64.deb ... Unpacking tar (1.35+dfsg-2) over (1.34+dfsg-1.2) ... Setting up tar (1.35+dfsg-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 ... 8966 files and directories currently installed.) Preparing to unpack .../archives/dpkg_1.22.2_amd64.deb ... Unpacking dpkg (1.22.2) over (1.21.22) ... Setting up dpkg (1.22.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 ... 8961 files and directories currently installed.) Preparing to unpack .../dash_0.5.12-6_amd64.deb ... Unpacking dash (0.5.12-6) over (0.5.12-2) ... Setting up dash (0.5.12-6) ... 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 ... 8959 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 ... 8961 files and directories currently installed.) Preparing to unpack .../findutils_4.9.0-5_amd64.deb ... Unpacking findutils (4.9.0-5) over (4.9.0-4) ... Setting up findutils (4.9.0-5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 8961 files and directories currently installed.) Preparing to unpack .../archives/grep_3.11-3_amd64.deb ... Unpacking grep (3.11-3) over (3.8-5) ... Setting up grep (3.11-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 ... 8961 files and directories currently installed.) Preparing to unpack .../login_1%3a4.13+dfsg1-3_amd64.deb ... Unpacking login (1:4.13+dfsg1-3) over (1:4.13+dfsg1-1+b1) ... Setting up login (1:4.13+dfsg1-3) ... Installing new version of config file /etc/login.defs ... 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 ... 8960 files and directories currently installed.) Preparing to unpack .../libtinfo6_6.4+20231209-1_amd64.deb ... Unpacking libtinfo6:amd64 (6.4+20231209-1) over (6.4-4) ... Setting up libtinfo6:amd64 (6.4+20231209-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 ... 8960 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.4+20231209-1_amd64.deb ... Unpacking ncurses-bin (6.4+20231209-1) over (6.4-4) ... Setting up ncurses-bin (6.4+20231209-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 ... 8960 files and directories currently installed.) Preparing to unpack .../perl-base_5.36.0-10_amd64.deb ... Unpacking perl-base (5.36.0-10) over (5.36.0-7+deb12u1) ... Setting up perl-base (5.36.0-10) ... (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 ... 8960 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 ... 8960 files and directories currently installed.) Preparing to unpack .../libblkid1_2.39.3-3_amd64.deb ... Unpacking libblkid1:amd64 (2.39.3-3) over (2.38.1-5+b1) ... Setting up libblkid1:amd64 (2.39.3-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 ... 8959 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.42-4_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.42-4) over (10.42-1) ... Setting up libpcre2-8-0:amd64 (10.42-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 ... 8959 files and directories currently installed.) Preparing to unpack .../libselinux1_3.5-1+b1_amd64.deb ... Unpacking libselinux1:amd64 (3.5-1+b1) over (3.4-1+b6) ... Setting up libselinux1:amd64 (3.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 ... 8959 files and directories currently installed.) Preparing to unpack .../libmount1_2.39.3-3_amd64.deb ... Unpacking libmount1:amd64 (2.39.3-3) over (2.38.1-5+b1) ... Setting up libmount1:amd64 (2.39.3-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 ... 8958 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a3.1.2-1_all.deb ... Unpacking libaudit-common (1:3.1.2-1) over (1:3.0.9-1) ... Setting up libaudit-common (1:3.1.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 ... 8958 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.4-1_amd64.deb ... Unpacking libcap-ng0:amd64 (0.8.4-1) over (0.8.3-1+b3) ... Setting up libcap-ng0:amd64 (0.8.4-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 ... 8957 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.1.2-1_amd64.deb ... Unpacking libaudit1:amd64 (1:3.1.2-1) over (1:3.0.9-1) ... Setting up libaudit1:amd64 (1:3.1.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 ... 8957 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.39.3-3_amd64.deb ... Unpacking libsmartcols1:amd64 (2.39.3-3) over (2.38.1-5+b1) ... Setting up libsmartcols1:amd64 (2.39.3-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 ... 8956 files and directories currently installed.) Preparing to unpack .../util-linux-extra_2.39.3-3_amd64.deb ... Unpacking util-linux-extra (2.39.3-3) over (2.38.1-5+b1) ... 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.39.3-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 ... 8960 files and directories currently installed.) Preparing to unpack .../util-linux_2.39.3-3_amd64.deb ... Unpacking util-linux (2.39.3-3) over (2.38.1-5+b1) ... Setting up util-linux (2.39.3-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 ... 8962 files and directories currently installed.) Preparing to unpack .../libnettle8_3.9.1-2_amd64.deb ... Unpacking libnettle8:amd64 (3.9.1-2) over (3.8.1-2) ... Setting up libnettle8:amd64 (3.9.1-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 ... 8962 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.4-2_amd64.deb ... Unpacking libffi8:amd64 (3.4.4-2) over (3.4.4-1) ... Setting up libffi8:amd64 (3.4.4-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 ... 8962 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.3-4_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.3-4) over (0.24.1-2) ... Setting up libp11-kit0:amd64 (0.25.3-4) ... 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 ... 8962 files and directories currently installed.) Preparing to unpack .../libunistring5_1.1-2_amd64.deb ... Unpacking libunistring5:amd64 (1.1-2) ... Setting up libunistring5:amd64 (1.1-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 ... 8968 files and directories currently installed.) Preparing to unpack .../libhogweed6_3.9.1-2_amd64.deb ... Unpacking libhogweed6:amd64 (3.9.1-2) over (3.8.1-2) ... Setting up libhogweed6:amd64 (3.9.1-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 ... 8968 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.4-1+b1_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.4-1+b1) over (2.3.3-1+b1) ... Setting up libidn2-0:amd64 (2.3.4-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 ... 8969 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.19.0-3_amd64.deb ... Unpacking libtasn1-6:amd64 (4.19.0-3) over (4.19.0-2) ... Setting up libtasn1-6:amd64 (4.19.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 ... 8969 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.8.2-1_amd64.deb ... Unpacking libgnutls30:amd64 (3.8.2-1) over (3.7.9-2+deb12u1) ... Setting up libgnutls30:amd64 (3.8.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 ... 8968 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.271_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.271) over (0.270) ... Setting up libdebconfclient0:amd64 (0.271) ... (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 ... 8968 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.3_amd64.deb ... Unpacking base-passwd (3.6.3) over (3.6.1) ... Setting up base-passwd (3.6.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 ... 8968 files and directories currently installed.) Preparing to unpack .../libcrypt1_1%3a4.4.36-4_amd64.deb ... Unpacking libcrypt1:amd64 (1:4.4.36-4) over (1:4.4.33-2) ... Setting up libcrypt1:amd64 (1:4.4.36-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 ... 8968 files and directories currently installed.) Preparing to unpack .../debconf_1.5.83_all.deb ... Unpacking debconf (1.5.83) over (1.5.82) ... Setting up debconf (1.5.83) ... (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 ... 8967 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.2-9.1_amd64.deb ... Unpacking libpam0g:amd64 (1.5.2-9.1) over (1.5.2-6+deb12u1) ... Setting up libpam0g:amd64 (1.5.2-9.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 ... 8966 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.5-1_all.deb ... Unpacking libsemanage-common (3.5-1) over (3.4-1) ... Setting up libsemanage-common (3.5-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 ... 8966 files and directories currently installed.) Preparing to unpack .../libsepol2_3.5-2_amd64.deb ... Unpacking libsepol2:amd64 (3.5-2) over (3.4-2.1) ... Setting up libsepol2:amd64 (3.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 ... 8966 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.5-1+b1_amd64.deb ... Unpacking libsemanage2:amd64 (3.5-1+b1) over (3.4-1+b5) ... Setting up libsemanage2:amd64 (3.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 ... 8966 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.2-9.1_amd64.deb ... Unpacking libpam-modules-bin (1.5.2-9.1) over (1.5.2-6+deb12u1) ... Setting up libpam-modules-bin (1.5.2-9.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 ... 8965 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.2-9.1_amd64.deb ... Unpacking libpam-modules:amd64 (1.5.2-9.1) over (1.5.2-6+deb12u1) ... Setting up libpam-modules:amd64 (1.5.2-9.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 ... 8964 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.13+dfsg1-3_amd64.deb ... Unpacking passwd (1:4.13+dfsg1-3) over (1:4.13+dfsg1-1+b1) ... Setting up passwd (1:4.13+dfsg1-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 ... 8963 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 ... 8957 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 ... 8957 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.4-2+b1_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.4-2+b1) over (2.5.4-1+b3) ... Setting up libseccomp2:amd64 (2.5.4-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 ... 8957 files and directories currently installed.) Preparing to unpack .../archives/apt_2.7.7_amd64.deb ... Unpacking apt (2.7.7) over (2.6.1) ... Setting up apt (2.7.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 ... 8953 files and directories currently installed.) Preparing to unpack .../usr-is-merged_38_all.deb ... Unpacking usr-is-merged (38) over (35) ... Setting up usr-is-merged (38) ... removed '/lib32' rmdir: removing directory, '/usr/lib32' removed '/libx32' rmdir: removing directory, '/usr/libx32' (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 ... 8953 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.66_all.deb ... Unpacking init-system-helpers (1.66) over (1.65.2) ... Setting up init-system-helpers (1.66) ... (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 ... 8953 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.4+20231209-1_all.deb ... Unpacking ncurses-base (6.4+20231209-1) over (6.4-4) ... Setting up ncurses-base (6.4+20231209-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 ... 8951 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.08-5_amd64.deb ... Unpacking sysvinit-utils (3.08-5) over (3.06-4) ... Setting up sysvinit-utils (3.08-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 ... 8951 files and directories currently installed.) Removing libcoq-mathcomp-abel (1.2.1-1+b5) ... (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 ... 8919 files and directories currently installed.) Preparing to unpack .../logsave_1.47.0-2+b1_amd64.deb ... Unpacking logsave (1.47.0-2+b1) over (1.47.0-2) ... Preparing to unpack .../libext2fs2_1.47.0-2+b1_amd64.deb ... Unpacking libext2fs2:amd64 (1.47.0-2+b1) over (1.47.0-2) ... Setting up libext2fs2:amd64 (1.47.0-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 ... 8921 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.47.0-2+b1_amd64.deb ... Unpacking e2fsprogs (1.47.0-2+b1) over (1.47.0-2) ... Preparing to unpack .../mount_2.39.3-3_amd64.deb ... Unpacking mount (2.39.3-3) over (2.38.1-5+b1) ... Selecting previously unselected package libpython3.11-minimal:amd64. Preparing to unpack .../libpython3.11-minimal_3.11.7-2_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.7-2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.5.0-2_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-2) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.7-2_amd64.deb ... Unpacking python3.11-minimal (3.11.7-2) ... Setting up libpython3.11-minimal:amd64 (3.11.7-2) ... Setting up libexpat1:amd64 (2.5.0-2) ... Setting up python3.11-minimal (3.11.7-2) ... 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 ... 9237 files and directories currently installed.) Preparing to unpack .../python3-minimal_3.11.6-1_amd64.deb ... Unpacking python3-minimal (3.11.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../archives/netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Preparing to unpack .../tzdata_2023d-1_all.deb ... Unpacking tzdata (2023d-1) over (2023c-5+deb12u1) ... Preparing to unpack .../libdb5.3_5.3.28+dfsg2-4_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28+dfsg2-4) over (5.3.28+dfsg2-1) ... Setting up libdb5.3:amd64 (5.3.28+dfsg2-4) ... Selecting previously unselected package libncursesw6: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 ... 8488 files and directories currently installed.) Preparing to unpack .../00-libncursesw6_6.4+20231209-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.4+20231209-1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../01-libkrb5support0_1.20.1-5_amd64.deb ... Unpacking libkrb5support0:amd64 (1.20.1-5) ... Preparing to unpack .../02-libcom-err2_1.47.0-2+b1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.0-2+b1) over (1.47.0-2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../03-libk5crypto3_1.20.1-5_amd64.deb ... Unpacking libk5crypto3:amd64 (1.20.1-5) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../04-libkeyutils1_1.6.3-2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-2) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../05-libkrb5-3_1.20.1-5_amd64.deb ... Unpacking libkrb5-3:amd64 (1.20.1-5) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../06-libgssapi-krb5-2_1.20.1-5_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.20.1-5) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../07-libtirpc-common_1.3.4+ds-1_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1) ... Selecting previously unselected package libtirpc3:amd64. Preparing to unpack .../08-libtirpc3_1.3.4+ds-1_amd64.deb ... Unpacking libtirpc3:amd64 (1.3.4+ds-1) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../09-libnsl2_1.3.0-3_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3) ... Selecting previously unselected package readline-common. Preparing to unpack .../10-readline-common_8.2-3_all.deb ... Unpacking readline-common (8.2-3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../11-libreadline8_8.2-3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../12-libsqlite3-0_3.44.2-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.44.2-1) ... Preparing to unpack .../13-libuuid1_2.39.3-3_amd64.deb ... Unpacking libuuid1:amd64 (2.39.3-3) over (2.38.1-5+b1) ... Setting up libuuid1:amd64 (2.39.3-3) ... Selecting previously unselected package libpython3.11-stdlib: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 ... 8587 files and directories currently installed.) Preparing to unpack .../libpython3.11-stdlib_3.11.7-2_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.7-2) ... Selecting previously unselected package python3.11. Preparing to unpack .../python3.11_3.11.7-2_amd64.deb ... Unpacking python3.11 (3.11.7-2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../libpython3-stdlib_3.11.6-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.6-1) ... Setting up python3-minimal (3.11.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 ... 8987 files and directories currently installed.) Preparing to unpack .../python3_3.11.6-1_amd64.deb ... Unpacking python3 (3.11.6-1) ... Preparing to unpack .../libpam-runtime_1.5.2-9.1_all.deb ... Unpacking libpam-runtime (1.5.2-9.1) over (1.5.2-6+deb12u1) ... Setting up libpam-runtime (1.5.2-9.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 ... 9007 files and directories currently installed.) Preparing to unpack .../libacl1_2.3.1-4_amd64.deb ... Unpacking libacl1:amd64 (2.3.1-4) over (2.3.1-3) ... Setting up libacl1:amd64 (2.3.1-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 ... 9007 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.5.1-5_amd64.deb ... Unpacking libattr1:amd64 (1:2.5.1-5) over (1:2.5.1-4) ... Setting up libattr1:amd64 (1:2.5.1-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 ... 9007 files and directories currently installed.) Preparing to unpack .../libmd0_1.1.0-1_amd64.deb ... Unpacking libmd0:amd64 (1.1.0-1) over (1.0.4-2) ... Setting up libmd0:amd64 (1.1.0-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 ... 9007 files and directories currently installed.) Preparing to unpack .../00-mawk_1.3.4.20231126-1_amd64.deb ... Unpacking mawk (1.3.4.20231126-1) over (1.3.4.20200120-3.1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../01-binutils-common_2.41.50.20231227-1_amd64.deb ... Unpacking binutils-common:amd64 (2.41.50.20231227-1) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../02-libsframe1_2.41.50.20231227-1_amd64.deb ... Unpacking libsframe1:amd64 (2.41.50.20231227-1) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../03-libbinutils_2.41.50.20231227-1_amd64.deb ... Unpacking libbinutils:amd64 (2.41.50.20231227-1) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../04-libctf-nobfd0_2.41.50.20231227-1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.41.50.20231227-1) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../05-libctf0_2.41.50.20231227-1_amd64.deb ... Unpacking libctf0:amd64 (2.41.50.20231227-1) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../06-libgprofng0_2.41.50.20231227-1_amd64.deb ... Unpacking libgprofng0:amd64 (2.41.50.20231227-1) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../07-libjansson4_2.14-2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../08-binutils-x86-64-linux-gnu_2.41.50.20231227-1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.41.50.20231227-1) ... Selecting previously unselected package binutils. Preparing to unpack .../09-binutils_2.41.50.20231227-1_amd64.deb ... Unpacking binutils (2.41.50.20231227-1) ... Preparing to unpack .../10-libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml (8.18.0+dfsg-1) over (8.16.1+dfsg-1+b2) ... Preparing to unpack .../11-libzarith-ocaml_1.13-2+b1_amd64.deb ... Unpacking libzarith-ocaml (1.13-2+b1) over (1.12-1+b1) ... Preparing to unpack .../12-libfindlib-ocaml_1.9.6-1+b2_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-1+b2) over (1.9.6-1+b1) ... Preparing to unpack .../13-ocaml-base_4.14.1-1_amd64.deb ... Unpacking ocaml-base (4.14.1-1) over (4.13.1-4) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../14-libstdlib-ocaml_4.14.1-1_amd64.deb ... Unpacking libstdlib-ocaml (4.14.1-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../15-libstdlib-ocaml-dev_4.14.1-1_amd64.deb ... Unpacking libstdlib-ocaml-dev (4.14.1-1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../16-libcompiler-libs-ocaml-dev_4.14.1-1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../17-libresult-ocaml_1.5-4+b1_amd64.deb ... Unpacking libresult-ocaml (1.5-4+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../18-libsexplib0-ocaml_0.16.0-3+b1_amd64.deb ... Unpacking libsexplib0-ocaml (0.16.0-3+b1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../19-libppx-deriving-ocaml_5.2.1-4+b2_amd64.deb ... Unpacking libppx-deriving-ocaml (5.2.1-4+b2) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../20-libelpi-ocaml_1.17.4-3_amd64.deb ... Unpacking libelpi-ocaml (1.17.4-3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../21-ocaml-interp_4.14.1-1_amd64.deb ... Unpacking ocaml-interp (4.14.1-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../22-libncurses6_6.4+20231209-1_amd64.deb ... Unpacking libncurses6:amd64 (6.4+20231209-1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../23-libc-dev-bin_2.37-13_amd64.deb ... Unpacking libc-dev-bin (2.37-13) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../24-linux-libc-dev_6.6.9-1_all.deb ... Unpacking linux-libc-dev (6.6.9-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../25-libcrypt-dev_1%3a4.4.36-4_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.36-4) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../26-libtirpc-dev_1.3.4+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.4+ds-1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../27-libnsl-dev_1.3.0-3_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-3) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../28-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 .../29-libc6-dev_2.37-13_amd64.deb ... Unpacking libc6-dev:amd64 (2.37-13) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../30-libncurses-dev_6.4+20231209-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4+20231209-1) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../31-libisl23_0.26-3_amd64.deb ... Unpacking libisl23:amd64 (0.26-3) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../32-libmpfr6_4.2.1-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../33-libmpc3_1.3.1-1_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1) ... Selecting previously unselected package cpp-13. Preparing to unpack .../34-cpp-13_13.2.0-9_amd64.deb ... Unpacking cpp-13 (13.2.0-9) ... Selecting previously unselected package cpp. Preparing to unpack .../35-cpp_4%3a13.2.0-2_amd64.deb ... Unpacking cpp (4:13.2.0-2) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../36-libcc1-0_13.2.0-9_amd64.deb ... Unpacking libcc1-0:amd64 (13.2.0-9) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../37-libgomp1_13.2.0-9_amd64.deb ... Unpacking libgomp1:amd64 (13.2.0-9) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../38-libitm1_13.2.0-9_amd64.deb ... Unpacking libitm1:amd64 (13.2.0-9) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../39-libatomic1_13.2.0-9_amd64.deb ... Unpacking libatomic1:amd64 (13.2.0-9) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../40-libasan8_13.2.0-9_amd64.deb ... Unpacking libasan8:amd64 (13.2.0-9) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../41-liblsan0_13.2.0-9_amd64.deb ... Unpacking liblsan0:amd64 (13.2.0-9) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../42-libtsan2_13.2.0-9_amd64.deb ... Unpacking libtsan2:amd64 (13.2.0-9) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../43-libubsan1_13.2.0-9_amd64.deb ... Unpacking libubsan1:amd64 (13.2.0-9) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../44-libhwasan0_13.2.0-9_amd64.deb ... Unpacking libhwasan0:amd64 (13.2.0-9) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../45-libquadmath0_13.2.0-9_amd64.deb ... Unpacking libquadmath0:amd64 (13.2.0-9) ... Selecting previously unselected package libgcc-13-dev:amd64. Preparing to unpack .../46-libgcc-13-dev_13.2.0-9_amd64.deb ... Unpacking libgcc-13-dev:amd64 (13.2.0-9) ... Selecting previously unselected package gcc-13. Preparing to unpack .../47-gcc-13_13.2.0-9_amd64.deb ... Unpacking gcc-13 (13.2.0-9) ... Selecting previously unselected package gcc. Preparing to unpack .../48-gcc_4%3a13.2.0-2_amd64.deb ... Unpacking gcc (4:13.2.0-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../49-ocaml_4.14.1-1_amd64.deb ... Unpacking ocaml (4.14.1-1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../50-libmenhir-ocaml-dev_20230608+ds-1+b1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20230608+ds-1+b1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../51-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../52-ocaml-findlib_1.9.6-1+b2_amd64.deb ... Unpacking ocaml-findlib (1.9.6-1+b2) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../53-libppx-derivers-ocaml-dev_1.2.1-4+b1_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../54-libsexplib0-ocaml-dev_0.16.0-3+b1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../55-libppxlib-ocaml-dev_0.31.0-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.31.0-1) ... Selecting previously unselected package libresult-ocaml-dev. Preparing to unpack .../56-libresult-ocaml-dev_1.5-4+b1_amd64.deb ... Unpacking libresult-ocaml-dev (1.5-4+b1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../57-libppx-deriving-ocaml-dev_5.2.1-4+b2_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (5.2.1-4+b2) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../58-libre-ocaml-dev_1.11.0-1+b1_amd64.deb ... Unpacking libre-ocaml-dev (1.11.0-1+b1) ... Selecting previously unselected package libelpi-ocaml-dev. Preparing to unpack .../59-libelpi-ocaml-dev_1.17.4-3_amd64.deb ... Unpacking libelpi-ocaml-dev (1.17.4-3) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../60-libfindlib-ocaml-dev_1.9.6-1+b2_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1+b2) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../61-libgmpxx4ldbl_2%3a6.3.0+dfsg-2_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../62-libgmp-dev_2%3a6.3.0+dfsg-2_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../63-libgmp3-dev_2%3a6.3.0+dfsg-2_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../64-libzarith-ocaml-dev_1.13-2+b1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.13-2+b1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../65-libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../66-libcoq-elpi_1.19.3-2_amd64.deb ... Unpacking libcoq-elpi (1.19.3-2) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../67-libcoq-hierarchy-builder_1.6.0-1_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.6.0-1) ... Preparing to unpack .../68-libcoq-mathcomp-real-closed_2.0.0-1_amd64.deb ... Unpacking libcoq-mathcomp-real-closed (2.0.0-1) over (1.1.3-1+b4) ... Preparing to unpack .../69-libcoq-mathcomp-field_2.1.0-1_amd64.deb ... Unpacking libcoq-mathcomp-field (2.1.0-1) over (1.15.0-1+b4) ... Preparing to unpack .../70-libcoq-mathcomp-solvable_2.1.0-1_amd64.deb ... Unpacking libcoq-mathcomp-solvable (2.1.0-1) over (1.15.0-1+b4) ... Preparing to unpack .../71-libcoq-mathcomp-algebra_2.1.0-1_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.1.0-1) over (1.15.0-1+b4) ... Preparing to unpack .../72-libcoq-mathcomp-fingroup_2.1.0-1_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (2.1.0-1) over (1.15.0-1+b4) ... Preparing to unpack .../73-libcoq-mathcomp-bigenough_1.0.1-12_amd64.deb ... Unpacking libcoq-mathcomp-bigenough (1.0.1-12) over (1.0.1-8+b4) ... Preparing to unpack .../74-libcoq-mathcomp-ssreflect_2.1.0-1_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (2.1.0-1) over (1.15.0-1+b4) ... Preparing to unpack .../75-libcoq-stdlib_8.18.0+dfsg-1_amd64.deb ... Unpacking libcoq-stdlib (8.18.0+dfsg-1) over (8.16.1+dfsg-1+b2) ... Selecting previously unselected package coq. Preparing to unpack .../76-coq_8.18.0+dfsg-1_amd64.deb ... Unpacking coq (8.18.0+dfsg-1) ... Preparing to unpack .../77-gcc-12-base_12.3.0-13_amd64.deb ... Unpacking gcc-12-base:amd64 (12.3.0-13) over (12.2.0-14) ... Preparing to unpack .../78-libss2_1.47.0-2+b1_amd64.deb ... Unpacking libss2:amd64 (1.47.0-2+b1) over (1.47.0-2) ... Setting up media-types (10.1.0) ... Setting up libkeyutils1:amd64 (1.6.3-2) ... Setting up libtirpc-common (1.3.4+ds-1) ... Setting up libsqlite3-0:amd64 (3.44.2-1) ... Setting up binutils-common:amd64 (2.41.50.20231227-1) ... Setting up linux-libc-dev (6.6.9-1) ... Setting up libctf-nobfd0:amd64 (2.41.50.20231227-1) ... Setting up libcom-err2:amd64 (1.47.0-2+b1) ... Setting up libgomp1:amd64 (13.2.0-9) ... Setting up libsframe1:amd64 (2.41.50.20231227-1) ... Setting up libjansson4:amd64 (2.14-2) ... Setting up libkrb5support0:amd64 (1.20.1-5) ... Setting up gcc-12-base:amd64 (12.3.0-13) ... Setting up tzdata (2023d-1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Jan 4 05:49:15 UTC 2024. Universal Time is now: Thu Jan 4 05:49:15 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libcoq-stdlib (8.18.0+dfsg-1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.1-1) ... Setting up libncurses6:amd64 (6.4+20231209-1) ... Setting up libquadmath0:amd64 (13.2.0-9) ... Setting up libstdlib-ocaml (4.14.1-1) ... Setting up libmpc3:amd64 (1.3.1-1) ... Setting up libatomic1:amd64 (13.2.0-9) ... Setting up libss2:amd64 (1.47.0-2+b1) ... Setting up ocaml-base (4.14.1-1) ... Setting up libncursesw6:amd64 (6.4+20231209-1) ... Setting up libk5crypto3:amd64 (1.20.1-5) ... Setting up logsave (1.47.0-2+b1) ... Setting up libubsan1:amd64 (13.2.0-9) ... Setting up libsexplib0-ocaml (0.16.0-3+b1) ... Setting up mount (2.39.3-3) ... Setting up libhwasan0:amd64 (13.2.0-9) ... Setting up libcrypt-dev:amd64 (1:4.4.36-4) ... Setting up libasan8:amd64 (13.2.0-9) ... Setting up netbase (6.4) ... Setting up mawk (1.3.4.20231126-1) ... Setting up libkrb5-3:amd64 (1.20.1-5) ... Setting up libtsan2:amd64 (13.2.0-9) ... Setting up libbinutils:amd64 (2.41.50.20231227-1) ... Setting up libisl23:amd64 (0.26-3) ... Setting up libc-dev-bin (2.37-13) ... Setting up libresult-ocaml (1.5-4+b1) ... Setting up readline-common (8.2-3) ... Setting up libcc1-0:amd64 (13.2.0-9) ... Setting up liblsan0:amd64 (13.2.0-9) ... Setting up libitm1:amd64 (13.2.0-9) ... Setting up libctf0:amd64 (2.41.50.20231227-1) ... Setting up libppx-deriving-ocaml (5.2.1-4+b2) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2) ... Setting up cpp-13 (13.2.0-9) ... Setting up libstdlib-ocaml-dev (4.14.1-1) ... Setting up libreadline8:amd64 (8.2-3) ... Setting up libfindlib-ocaml (1.9.6-1+b2) ... Installing new version of config file /etc/ocamlfind.conf ... Setting up e2fsprogs (1.47.0-2+b1) ... Setting up libzarith-ocaml (1.13-2+b1) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1) ... Setting up libgprofng0:amd64 (2.41.50.20231227-1) ... Setting up ocaml-interp (4.14.1-1) ... Setting up ocaml-findlib (1.9.6-1+b2) ... Setting up libgssapi-krb5-2:amd64 (1.20.1-5) ... Setting up libelpi-ocaml (1.17.4-3) ... Setting up libgcc-13-dev:amd64 (13.2.0-9) ... Setting up libcoq-core-ocaml (8.18.0+dfsg-1) ... Setting up cpp (4:13.2.0-2) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2) ... Setting up binutils-x86-64-linux-gnu (2.41.50.20231227-1) ... Setting up libtirpc3:amd64 (1.3.4+ds-1) ... Setting up binutils (2.41.50.20231227-1) ... Setting up libtirpc-dev:amd64 (1.3.4+ds-1) ... Setting up gcc-13 (13.2.0-9) ... Setting up libnsl2:amd64 (1.3.0-3) ... Setting up libpython3.11-stdlib:amd64 (3.11.7-2) ... Setting up gcc (4:13.2.0-2) ... Setting up libnsl-dev:amd64 (1.3.0-3) ... Setting up libc6-dev:amd64 (2.37-13) ... Setting up libpython3-stdlib:amd64 (3.11.6-1) ... Setting up python3.11 (3.11.7-2) ... Setting up libncurses-dev:amd64 (6.4+20231209-1) ... Setting up python3 (3.11.6-1) ... Setting up ocaml (4.14.1-1) ... Setting up libre-ocaml-dev (1.11.0-1+b1) ... Setting up libmenhir-ocaml-dev (20230608+ds-1+b1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Setting up libfindlib-ocaml-dev (1.9.6-1+b2) ... Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ... Setting up coq (8.18.0+dfsg-1) ... Setting up libresult-ocaml-dev (1.5-4+b1) ... Setting up libzarith-ocaml-dev (1.13-2+b1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Setting up libppxlib-ocaml-dev (0.31.0-1) ... Setting up libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Setting up libppx-deriving-ocaml-dev (5.2.1-4+b2) ... Setting up libelpi-ocaml-dev (1.17.4-3) ... Setting up libcoq-elpi (1.19.3-2) ... Setting up libcoq-hierarchy-builder (1.6.0-1) ... Setting up libcoq-mathcomp-ssreflect (2.1.0-1) ... Setting up libcoq-mathcomp-bigenough (1.0.1-12) ... Setting up libcoq-mathcomp-fingroup (2.1.0-1) ... Setting up libcoq-mathcomp-algebra (2.1.0-1) ... Setting up libcoq-mathcomp-solvable (2.1.0-1) ... Setting up libcoq-mathcomp-field (2.1.0-1) ... Setting up libcoq-mathcomp-real-closed (2.0.0-1) ... Processing triggers for libc-bin (2.37-13) ... Processing triggers for debianutils (5.16) ... 0m54.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', '-yf', 'dist-upgrade'] 0m54.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m55.1s DUMP: 0a5fbba89eb302f7e462cbe4459c151b - 0m55.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m55.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp-abel'] 0m55.3s DUMP: E: No packages found 0m55.3s DEBUG: Command failed (status=100), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp-abel'] 0m55.3s INFO: apt-cache does not know about any of the requested packages 0m55.3s INFO: Running scripts post_distupgrade 0m55.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m55.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m55.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_exceptions'] 0m55.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_exceptions'] 0m55.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m55.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m55.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m55.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m55.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_zz_backports'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_distupgrade_zz_backports'] 0m55.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m56.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m56.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m57.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m57.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m58.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 0m58.2s INFO: /bin converted to /usr/bin by /usr merge 0m58.2s INFO: /lib converted to /usr/lib by /usr merge 0m58.2s INFO: /lib/init converted to /usr/lib/init by /usr merge 0m58.2s INFO: /lib/lsb converted to /usr/lib/lsb by /usr merge 0m58.2s INFO: /lib/lsb/init-functions.d converted to /usr/lib/lsb/init-functions.d by /usr merge 0m58.2s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 0m58.2s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 0m58.2s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 0m58.2s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 0m58.2s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 0m58.2s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 0m58.2s INFO: /lib64 converted to /usr/lib64 by /usr merge 0m58.2s INFO: /sbin converted to /usr/sbin by /usr merge 0m59.2s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', '-ac', '--ignore-obsolete'] 1m3.8s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', '-ac', '--ignore-obsolete'] 1m3.8s INFO: Running scripts pre_remove 1m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m3.8s DUMP: dpkg-query: no packages found matching libcoq-mathcomp-abel 1m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_exceptions'] 1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/pre_remove_exceptions'] 1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m6.2s DUMP: install ok installed adduser adduser 3.137 install ok installed apt apt 2.7.7 install ok installed base-files base-files 13 install ok installed base-passwd base-passwd 3.6.3 install ok installed bash bash 5.2.21-2 install ok installed binutils binutils 2.41.50.20231227-1 install ok installed binutils-common:amd64 binutils-common 2.41.50.20231227-1 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.41.50.20231227-1 install ok installed bsdutils bsdutils 1:2.39.3-3 install ok installed coq coq 8.18.0+dfsg-1 install ok installed coreutils coreutils 9.4-3 install ok installed cpp cpp 4:13.2.0-2 install ok installed cpp-13 cpp-13 13.2.0-9 install ok installed dash dash 0.5.12-6 install ok installed debconf debconf 1.5.83 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.16 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.2 install ok installed e2fsprogs e2fsprogs 1.47.0-2+b1 install ok installed findutils findutils 4.9.0-5 install ok installed gcc gcc 4:13.2.0-2 install ok installed gcc-12-base:amd64 gcc-12-base 12.3.0-13 install ok installed gcc-13 gcc-13 13.2.0-9 install ok installed gcc-13-base:amd64 gcc-13-base 13.2.0-9 install ok installed gpgv gpgv 2.2.40-1.1 install ok installed grep grep 3.11-3 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.66 install ok installed libacl1:amd64 libacl1 2.3.1-4 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.7.7 install ok installed libasan8:amd64 libasan8 13.2.0-9 install ok installed libatomic1:amd64 libatomic1 13.2.0-9 install ok installed libattr1:amd64 libattr1 1:2.5.1-5 install ok installed libaudit-common libaudit-common 1:3.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-1 install ok installed libbinutils:amd64 libbinutils 2.41.50.20231227-1 install ok installed libblkid1:amd64 libblkid1 2.39.3-3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b1 install ok installed libc-bin libc-bin 2.37-13 install ok installed libc-dev-bin libc-dev-bin 2.37-13 install ok installed libc6:amd64 libc6 2.37-13 install ok installed libc6-dev:amd64 libc6-dev 2.37-13 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.4-1 install ok installed libcap2:amd64 libcap2 1:2.66-4 install ok installed libcc1-0:amd64 libcc1-0 13.2.0-9 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2+b1 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 4.14.1-1 install ok installed libcoq-core-ocaml libcoq-core-ocaml 8.18.0+dfsg-1 install ok installed libcoq-core-ocaml-dev libcoq-core-ocaml-dev 8.18.0+dfsg-1 install ok installed libcoq-elpi libcoq-elpi 1.19.3-2 install ok installed libcoq-hierarchy-builder libcoq-hierarchy-builder 1.6.0-1 install ok installed libcoq-mathcomp-algebra libcoq-mathcomp-algebra 2.1.0-1 install ok installed libcoq-mathcomp-bigenough libcoq-mathcomp-bigenough 1.0.1-12 install ok installed libcoq-mathcomp-field libcoq-mathcomp-field 2.1.0-1 install ok installed libcoq-mathcomp-fingroup libcoq-mathcomp-fingroup 2.1.0-1 install ok installed libcoq-mathcomp-real-closed libcoq-mathcomp-real-closed 2.0.0-1 install ok installed libcoq-mathcomp-solvable libcoq-mathcomp-solvable 2.1.0-1 install ok installed libcoq-mathcomp-ssreflect libcoq-mathcomp-ssreflect 2.1.0-1 install ok installed libcoq-stdlib libcoq-stdlib 8.18.0+dfsg-1 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.36-4 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-4 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.41.50.20231227-1 install ok installed libctf0:amd64 libctf0 2.41.50.20231227-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-4 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.271 install ok installed libelpi-ocaml libelpi-ocaml 1.17.4-3 install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 1.17.4-3 install ok installed libexpat1:amd64 libexpat1 2.5.0-2 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-2+b1 install ok installed libffi8:amd64 libffi8 3.4.4-2 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.6-1+b2 install ok installed libfindlib-ocaml-dev libfindlib-ocaml-dev 1.9.6-1+b2 install ok installed libgcc-13-dev:amd64 libgcc-13-dev 13.2.0-9 install ok installed libgcc-s1:amd64 libgcc-s1 13.2.0-9 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.3-2 install ok installed libgmp-dev:amd64 libgmp-dev 2:6.3.0+dfsg-2 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2 install ok installed libgmp3-dev:amd64 libgmp3-dev 2:6.3.0+dfsg-2 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.3.0+dfsg-2 install ok installed libgnutls30:amd64 libgnutls30 3.8.2-1 install ok installed libgomp1:amd64 libgomp1 13.2.0-9 install ok installed libgpg-error0:amd64 libgpg-error0 1.47-3 install ok installed libgprofng0:amd64 libgprofng0 2.41.50.20231227-1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.20.1-5 install ok installed libhogweed6:amd64 libhogweed6 3.9.1-2 install ok installed libhwasan0:amd64 libhwasan0 13.2.0-9 install ok installed libidn2-0:amd64 libidn2-0 2.3.4-1+b1 install ok installed libisl23:amd64 libisl23 0.26-3 install ok installed libitm1:amd64 libitm1 13.2.0-9 install ok installed libjansson4:amd64 libjansson4 2.14-2 install ok installed libk5crypto3:amd64 libk5crypto3 1.20.1-5 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.20.1-5 install ok installed libkrb5support0:amd64 libkrb5support0 1.20.1-5 install ok installed liblsan0:amd64 liblsan0 13.2.0-9 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1 install ok installed liblzma5:amd64 liblzma5 5.4.5-0.3 install ok installed libmd0:amd64 libmd0 1.1.0-1 install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20230608+ds-1+b1 install ok installed libmount1:amd64 libmount1 2.39.3-3 install ok installed libmpc3:amd64 libmpc3 1.3.1-1 install ok installed libmpfr6:amd64 libmpfr6 4.2.1-1 install ok installed libncurses-dev:amd64 libncurses-dev 6.4+20231209-1 install ok installed libncurses6:amd64 libncurses6 6.4+20231209-1 install ok installed libncursesw6:amd64 libncursesw6 6.4+20231209-1 install ok installed libnettle8:amd64 libnettle8 3.9.1-2 install ok installed libnsl-dev:amd64 libnsl-dev 1.3.0-3 install ok installed libnsl2:amd64 libnsl2 1.3.0-3 install ok installed libocaml-compiler-libs-ocaml-dev libocaml-compiler-libs-ocaml-dev 0.12.4-4+b1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.3-4 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-9.1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-9.1 install ok installed libpam-runtime libpam-runtime 1.5.2-9.1 install ok installed libpam0g:amd64 libpam0g 1.5.2-9.1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4 install ok installed libppx-derivers-ocaml-dev libppx-derivers-ocaml-dev 1.2.1-4+b1 install ok installed libppx-deriving-ocaml libppx-deriving-ocaml 5.2.1-4+b2 install ok installed libppx-deriving-ocaml-dev libppx-deriving-ocaml-dev 5.2.1-4+b2 install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.31.0-1 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.11.6-1 install ok installed libpython3.11-minimal:amd64 libpython3.11-minimal 3.11.7-2 install ok installed libpython3.11-stdlib:amd64 libpython3.11-stdlib 3.11.7-2 install ok installed libquadmath0:amd64 libquadmath0 13.2.0-9 install ok installed libre-ocaml-dev libre-ocaml-dev 1.11.0-1+b1 install ok installed libreadline8:amd64 libreadline8 8.2-3 install ok installed libresult-ocaml libresult-ocaml 1.5-4+b1 install ok installed libresult-ocaml-dev libresult-ocaml-dev 1.5-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.4-2+b1 install ok installed libselinux1:amd64 libselinux1 3.5-1+b1 install ok installed libsemanage-common libsemanage-common 3.5-1 install ok installed libsemanage2:amd64 libsemanage2 3.5-1+b1 install ok installed libsepol2:amd64 libsepol2 3.5-2 install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.16.0-3+b1 install ok installed libsexplib0-ocaml-dev libsexplib0-ocaml-dev 0.16.0-3+b1 install ok installed libsframe1:amd64 libsframe1 2.41.50.20231227-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.39.3-3 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.44.2-1 install ok installed libss2:amd64 libss2 1.47.0-2+b1 install ok installed libssl3:amd64 libssl3 3.1.4-2 install ok installed libstdc++6:amd64 libstdc++6 13.2.0-9 install ok installed libstdlib-ocaml libstdlib-ocaml 4.14.1-1 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 4.14.1-1 install ok installed libsystemd0:amd64 libsystemd0 255.2-3 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3 install ok installed libtinfo6:amd64 libtinfo6 6.4+20231209-1 install ok installed libtirpc-common libtirpc-common 1.3.4+ds-1 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.4+ds-1 install ok installed libtirpc3:amd64 libtirpc3 1.3.4+ds-1 install ok installed libtsan2:amd64 libtsan2 13.2.0-9 install ok installed libubsan1:amd64 libubsan1 13.2.0-9 install ok installed libudev1:amd64 libudev1 255.2-3 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libunistring5:amd64 libunistring5 1.1-2 install ok installed libuuid1:amd64 libuuid1 2.39.3-3 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2 install ok installed libzarith-ocaml libzarith-ocaml 1.13-2+b1 install ok installed libzarith-ocaml-dev libzarith-ocaml-dev 1.13-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.5+dfsg2-2 install ok installed linux-libc-dev linux-libc-dev 6.6.9-1 install ok installed login login 1:4.13+dfsg1-3 install ok installed logsave logsave 1.47.0-2+b1 install ok installed mawk mawk 1.3.4.20231126-1 install ok installed media-types media-types 10.1.0 install ok installed mount mount 2.39.3-3 install ok installed ncurses-base ncurses-base 6.4+20231209-1 install ok installed ncurses-bin ncurses-bin 6.4+20231209-1 install ok installed netbase netbase 6.4 install ok installed ocaml ocaml 4.14.1-1 install ok installed ocaml-base ocaml-base 4.14.1-1 install ok installed ocaml-findlib ocaml-findlib 1.9.6-1+b2 install ok installed ocaml-interp ocaml-interp 4.14.1-1 install ok installed passwd passwd 1:4.13+dfsg1-3 install ok installed perl-base perl-base 5.36.0-10 install ok installed python3 python3 3.11.6-1 install ok installed python3-minimal python3-minimal 3.11.6-1 install ok installed python3.11 python3.11 3.11.7-2 install ok installed python3.11-minimal python3.11-minimal 3.11.7-2 install ok installed readline-common readline-common 8.2-3 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.08-5 install ok installed tar tar 1.35+dfsg-2 install ok installed tzdata tzdata 2023d-1 install ok installed usr-is-merged usr-is-merged 38 install ok installed util-linux util-linux 2.39.3-3 install ok installed util-linux-extra util-linux-extra 2.39.3-3 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg-3 1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-13', 'gcc', 'gcc-13', '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-bigenough', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-real-closed', '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-13-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', 'libnsl-dev: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.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8:amd64', 'libresult-ocaml', 'libresult-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto'] 1m7.8s 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-13 gcc gcc-13 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-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-real-closed 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-13-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 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libquadmath0 libre-ocaml-dev libreadline8 libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.11 python3.11-minimal readline-common rpcsvc-proto 0 upgraded, 0 newly installed, 98 to remove and 0 not upgraded. After this operation, 1776 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 ... 21212 files and directories currently installed.) Removing libcoq-mathcomp-real-closed (2.0.0-1) ... Removing libcoq-mathcomp-field (2.1.0-1) ... Removing libcoq-mathcomp-solvable (2.1.0-1) ... Removing libcoq-mathcomp-algebra (2.1.0-1) ... Removing libcoq-mathcomp-fingroup (2.1.0-1) ... Removing libcoq-mathcomp-bigenough (1.0.1-12) ... Removing libcoq-mathcomp-ssreflect (2.1.0-1) ... Removing libcoq-hierarchy-builder (1.6.0-1) ... Removing libcoq-elpi (1.19.3-2) ... Removing libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Removing coq (8.18.0+dfsg-1) ... Removing libelpi-ocaml-dev (1.17.4-3) ... Removing libppx-deriving-ocaml-dev (5.2.1-4+b2) ... Removing libppxlib-ocaml-dev (0.31.0-1) ... Removing libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Removing libzarith-ocaml-dev (1.13-2+b1) ... Removing libfindlib-ocaml-dev (1.9.6-1+b2) ... Removing libcoq-core-ocaml (8.18.0+dfsg-1) ... Removing libcoq-stdlib (8.18.0+dfsg-1) ... Removing libelpi-ocaml (1.17.4-3) ... Removing python3 (3.11.6-1) ... Removing python3.11 (3.11.7-2) ... Removing python3-minimal (3.11.6-1) ... Removing python3.11-minimal (3.11.7-2) ... Removing libexpat1:amd64 (2.5.0-2) ... Removing libresult-ocaml-dev (1.5-4+b1) ... Removing ocaml-findlib (1.9.6-1+b2) ... Removing libfindlib-ocaml (1.9.6-1+b2) ... Removing libgmp3-dev:amd64 (2:6.3.0+dfsg-2) ... Removing libgmp-dev:amd64 (2:6.3.0+dfsg-2) ... Removing libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ... Removing libpython3-stdlib:amd64 (3.11.6-1) ... Removing libpython3.11-stdlib:amd64 (3.11.7-2) ... find: '/usr/lib/python3': No such file or directory Removing libmenhir-ocaml-dev (20230608+ds-1+b1) ... Removing libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Removing libppx-deriving-ocaml (5.2.1-4+b2) ... Removing libpython3.11-minimal:amd64 (3.11.7-2) ... find: '/usr/lib/python3': No such file or directory Removing libre-ocaml-dev (1.11.0-1+b1) ... Removing libreadline8:amd64 (8.2-3) ... Removing libresult-ocaml (1.5-4+b1) ... Removing libsexplib0-ocaml-dev (0.16.0-3+b1) ... Removing libsexplib0-ocaml (0.16.0-3+b1) ... Removing libsqlite3-0:amd64 (3.44.2-1) ... Removing libzarith-ocaml (1.13-2+b1) ... Removing media-types (10.1.0) ... Removing netbase (6.4) ... Removing readline-common (8.2-3) ... Removing ocaml (4.14.1-1) ... Removing gcc (4:13.2.0-2) ... Removing gcc-13 (13.2.0-9) ... Removing binutils (2.41.50.20231227-1) ... Removing binutils-x86-64-linux-gnu (2.41.50.20231227-1) ... Removing libgprofng0:amd64 (2.41.50.20231227-1) ... Removing libctf0:amd64 (2.41.50.20231227-1) ... Removing libbinutils:amd64 (2.41.50.20231227-1) ... Removing binutils-common:amd64 (2.41.50.20231227-1) ... Removing cpp (4:13.2.0-2) ... Removing cpp-13 (13.2.0-9) ... Removing libgcc-13-dev:amd64 (13.2.0-9) ... Removing libasan8:amd64 (13.2.0-9) ... Removing libatomic1:amd64 (13.2.0-9) ... Removing libncurses-dev:amd64 (6.4+20231209-1) ... Removing libc6-dev:amd64 (2.37-13) ... Removing libc-dev-bin (2.37-13) ... Removing libcc1-0:amd64 (13.2.0-9) ... Removing ocaml-interp (4.14.1-1) ... Removing libcompiler-libs-ocaml-dev (4.14.1-1) ... Removing libcrypt-dev:amd64 (1:4.4.36-4) ... Removing libctf-nobfd0:amd64 (2.41.50.20231227-1) ... Removing libgomp1:amd64 (13.2.0-9) ... Removing libnsl-dev:amd64 (1.3.0-3) ... Removing libtirpc-dev:amd64 (1.3.4+ds-1) ... Removing libhwasan0:amd64 (13.2.0-9) ... Removing libisl23:amd64 (0.26-3) ... Removing libitm1:amd64 (13.2.0-9) ... Removing libjansson4:amd64 (2.14-2) ... Removing liblsan0:amd64 (13.2.0-9) ... Removing libmpc3:amd64 (1.3.1-1) ... Removing libmpfr6:amd64 (4.2.1-1) ... Removing libncurses6:amd64 (6.4+20231209-1) ... Removing libncursesw6:amd64 (6.4+20231209-1) ... Removing libnsl2:amd64 (1.3.0-3) ... Removing libquadmath0:amd64 (13.2.0-9) ... Removing libsframe1:amd64 (2.41.50.20231227-1) ... Removing ocaml-base (4.14.1-1) ... Removing libstdlib-ocaml-dev (4.14.1-1) ... Removing libstdlib-ocaml (4.14.1-1) ... Removing libtsan2:amd64 (13.2.0-9) ... Removing libubsan1:amd64 (13.2.0-9) ... Removing linux-libc-dev (6.6.9-1) ... Removing rpcsvc-proto (1.4.3-1) ... Removing libtirpc3:amd64 (1.3.4+ds-1) ... Removing libgssapi-krb5-2:amd64 (1.20.1-5) ... Removing libkrb5-3:amd64 (1.20.1-5) ... Removing libk5crypto3:amd64 (1.20.1-5) ... Removing libkeyutils1:amd64 (1.6.3-2) ... Removing libkrb5support0:amd64 (1.20.1-5) ... Removing libtirpc-common (1.3.4+ds-1) ... Processing triggers for libc-bin (2.37-13) ... 1m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-13', 'gcc', 'gcc-13', '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-bigenough', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-real-closed', '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-13-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', 'libnsl-dev: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.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8:amd64', 'libresult-ocaml', 'libresult-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto'] 1m7.8s INFO: Running scripts post_remove 1m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_remove_exceptions'] 1m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_remove_exceptions'] 1m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-13', 'gcc', 'gcc-13', '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-bigenough', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-real-closed', '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-13-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', 'libnsl-dev: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.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8:amd64', 'libresult-ocaml', 'libresult-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto'] 1m7.9s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed (Reading database ... 5337 files and directories currently installed.) Purging configuration files for binutils-common:amd64 (2.41.50.20231227-1) ... 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 dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-13 which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-13 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-bigenough 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-real-closed 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-4) ... 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-1+b2) ... dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libgcc-13-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.20.1-5) ... 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 libnsl-dev 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.11-minimal:amd64 (3.11.7-2) ... dpkg: warning: ignoring request to remove libpython3.11-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 dpkg: warning: ignoring request to remove libreadline8 which isn't installed dpkg: warning: ignoring request to remove libresult-ocaml which isn't installed dpkg: warning: ignoring request to remove libresult-ocaml-dev which isn't installed 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) ... dpkg: warning: ignoring request to remove libtirpc-dev which isn't installed dpkg: warning: ignoring request to remove libtirpc3 which isn't installed 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 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.11.6-1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.11 which isn't installed Purging configuration files for python3.11-minimal (3.11.7-2) ... Purging configuration files for readline-common (8.2-3) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed 1m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-13', 'gcc', 'gcc-13', '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-bigenough', 'libcoq-mathcomp-field', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-real-closed', '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-13-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', 'libnsl-dev: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.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8:amd64', 'libresult-ocaml', 'libresult-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto'] 1m7.9s INFO: Running scripts post_purge 1m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_purge_exceptions'] 1m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_purge_exceptions'] 1m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg', '--purge', '--pending'] 1m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg', '--purge', '--pending'] 1m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg', '--remove', '--pending'] 1m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg', '--remove', '--pending'] 1m7.9s INFO: Running scripts post_test 1m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_test_exceptions'] 1m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'tmp/scripts/post_test_exceptions'] 1m8.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 1m8.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 1m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg-divert', '--list'] 1m8.3s DUMP: local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib 1m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'dpkg-divert', '--list'] 1m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'clean'] 1m8.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3', 'apt-get', 'clean'] 1m8.4s DEBUG: Recording chroot state 1m9.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/shm'] 1m9.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/shm'] 1m9.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/console'] 1m9.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/console'] 1m9.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/ptmx'] 1m9.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/ptmx'] 1m9.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/pts'] 1m9.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/dev/pts'] 1m9.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/proc'] 1m9.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3/proc'] 1m9.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 1m9.3s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp21c6i9i3'] 1m9.3s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp21c6i9i3 1m9.3s INFO: PASS: Upgrading between Debian distributions. 1m9.3s INFO: PASS: All tests. 1m9.3s INFO: piuparts run ends. ret=0 End: 2024-01-04 05:49:32 GMT