Start: 2025-03-18 23:38:55 GMT
[stable]
Package: libcoq-deriving
Source: coq-deriving (0.1.0-2)
Version: 0.1.0-2+b1
Installed-Size: 1722
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-deriving-mxln6
Depends: libcoq-mathcomp-ssreflect-7sy01, libcoq-stdlib-ewsr6
Description: deriving MathComp classes from inductive types
Homepage: https://github.com/arthuraa/deriving/
Description-md5: f86da8bb7413c10ca613baec6bbded43
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.1.0-2+b1_amd64.deb
Size: 423128
MD5sum: 22812ca10a6fae1ff6c650823837a0b0
SHA256: 7e1c718ed170f2785ffb804f6c236bdb34a813e0d932ed5b2802999a3f1c8d8b
[testing]
Package: libcoq-deriving
Source: coq-deriving (0.2.1-1)
Version: 0.2.1-1+b5
Installed-Size: 1838
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-deriving-zggz3
Depends: libcoq-mathcomp-ssreflect-g5g60, libcoq-stdlib-tgae0
Description: deriving MathComp classes from inductive types
Homepage: https://github.com/arthuraa/deriving/
Description-md5: f86da8bb7413c10ca613baec6bbded43
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.2.1-1+b5_amd64.deb
Size: 493984
MD5sum: 50b6a9d19393c3e9b1010a1de8c023eb
SHA256: 27f44a3b5b4ec21fe6fd532d04b4cbdccdd7e67a3db6111f4e7ec37a185a33ef
[sid]
Package: libcoq-deriving
Source: coq-deriving (0.2.1-1)
Version: 0.2.1-1+b6
Installed-Size: 1838
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-deriving-t1ac3
Depends: libcoq-mathcomp-ssreflect-5fp29, libcoq-stdlib-tgae0
Description: deriving MathComp classes from inductive types
Homepage: https://github.com/arthuraa/deriving/
Description-md5: f86da8bb7413c10ca613baec6bbded43
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.2.1-1+b6_amd64.deb
Size: 494364
MD5sum: 72a5fb7677a8e99ab02eb800bde06a9f
SHA256: 5b8aba65e80f9297591d24074a688820ee8846bf50eb9ff291761eb061721a62
Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz -d stable -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat --apt libcoq-deriving=0.2.1-1+b6
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.5.2~202503162239~1.5.1-10-g345d5865 starting up.
0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz -d stable -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat --apt libcoq-deriving=0.2.1-1+b6
0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-34-amd64 #1 SMP Debian 5.10.234-1 (2025-02-24) x86_64
0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpfguast9h
0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpfguast9h
0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpfguast9h', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz']
0m0.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpfguast9h', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz']
0m0.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpfguast9h/proc']
0m0.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpfguast9h/proc']
0m0.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/pts']
0m0.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/pts']
0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/ptmx']
0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/ptmx']
0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/8', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/console']
0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/8', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/console']
0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/shm']
0m0.6s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/shm']
0m0.6s DEBUG: sources.list:
deb http://deb.debian.org/debian/ bookworm main
0m0.6s DEBUG: Created policy-rc.d and chmodded it.
0m0.6s DEBUG: Created resolv.conf.
0m0.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpfguast9h/tmp/scripts/
0m0.6s INFO: Running scripts post_chroot_unpack
0m0.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated']
0m0.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated']
0m0.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'update']
0m3.1s DUMP:
Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
Get:2 http://deb.debian.org/debian bookworm/main amd64 Packages [8792 kB]
Get:3 http://deb.debian.org/debian bookworm/main Translation-en [6109 kB]
Fetched 15.1 MB in 2s (9453 kB/s)
Reading package lists...
0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'update']
0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-yf', 'dist-upgrade']
0m5.9s DUMP:
Reading package lists...
Building dependency tree...
Calculating upgrade...
The following packages will be upgraded:
base-files libc-bin libc6 libgnutls30 libsystemd0 libtasn1-6 libudev1 tzdata
8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Need to get 5630 kB of archives.
After this operation, 4096 B of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 base-files amd64 12.4+deb12u10 [70.9 kB]
Get:2 http://deb.debian.org/debian bookworm/main amd64 libc6 amd64 2.36-9+deb12u10 [2757 kB]
Get:3 http://deb.debian.org/debian bookworm/main amd64 libc-bin amd64 2.36-9+deb12u10 [608 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 libtasn1-6 amd64 4.19.0-2+deb12u1 [48.6 kB]
Get:5 http://deb.debian.org/debian bookworm/main amd64 libgnutls30 amd64 3.7.9-2+deb12u4 [1405 kB]
Get:6 http://deb.debian.org/debian bookworm/main amd64 libsystemd0 amd64 252.36-1~deb12u1 [332 kB]
Get:7 http://deb.debian.org/debian bookworm/main amd64 libudev1 amd64 252.36-1~deb12u1 [109 kB]
Get:8 http://deb.debian.org/debian bookworm/main amd64 tzdata all 2025a-0+deb12u1 [299 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 5630 kB in 0s (61.9 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 ... 6089 files and directories currently installed.)
Preparing to unpack .../base-files_12.4+deb12u10_amd64.deb ...
Unpacking base-files (12.4+deb12u10) over (12.4+deb12u9) ...
Setting up base-files (12.4+deb12u10) ...
Installing new version of config file /etc/debian_version ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../libc6_2.36-9+deb12u10_amd64.deb ...
Unpacking libc6:amd64 (2.36-9+deb12u10) over (2.36-9+deb12u9) ...
Setting up libc6:amd64 (2.36-9+deb12u10) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../libc-bin_2.36-9+deb12u10_amd64.deb ...
Unpacking libc-bin (2.36-9+deb12u10) over (2.36-9+deb12u9) ...
Setting up libc-bin (2.36-9+deb12u10) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../libtasn1-6_4.19.0-2+deb12u1_amd64.deb ...
Unpacking libtasn1-6:amd64 (4.19.0-2+deb12u1) over (4.19.0-2) ...
Setting up libtasn1-6:amd64 (4.19.0-2+deb12u1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../libgnutls30_3.7.9-2+deb12u4_amd64.deb ...
Unpacking libgnutls30:amd64 (3.7.9-2+deb12u4) over (3.7.9-2+deb12u3) ...
Setting up libgnutls30:amd64 (3.7.9-2+deb12u4) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../libsystemd0_252.36-1~deb12u1_amd64.deb ...
Unpacking libsystemd0:amd64 (252.36-1~deb12u1) over (252.33-1~deb12u1) ...
Setting up libsystemd0:amd64 (252.36-1~deb12u1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../libudev1_252.36-1~deb12u1_amd64.deb ...
Unpacking libudev1:amd64 (252.36-1~deb12u1) over (252.33-1~deb12u1) ...
Setting up libudev1:amd64 (252.36-1~deb12u1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6089 files and directories currently installed.)
Preparing to unpack .../tzdata_2025a-0+deb12u1_all.deb ...
Unpacking tzdata (2025a-0+deb12u1) over (2024b-0+deb12u1) ...
Setting up tzdata (2025a-0+deb12u1) ...
Current default time zone: 'Etc/UTC'
Local time is now: Tue Mar 18 23:39:01 UTC 2025.
Universal Time is now: Tue Mar 18 23:39:01 UTC 2025.
Run 'dpkg-reconfigure tzdata' if you wish to change it.
Processing triggers for libc-bin (2.36-9+deb12u10) ...
0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-yf', 'dist-upgrade']
0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m6.9s DUMP:
3b6124cc38d42e60354965f1a19282fe -
0m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m6.9s INFO: Running scripts post_setup
0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_dummy_users']
0m8.2s 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
0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_dummy_users']
0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_forbid_home']
0m8.3s DUMP:
Disabling /home
Adding 'local diversion of /home to /home.distrib'
0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_forbid_home']
0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_force-unsafe-io']
0m8.3s DUMP:
Enabling dpkg --force-unsafe-io.
Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib'
Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged'
'/bin/sync' -> 'true'
0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_force-unsafe-io']
0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_minimize']
0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_minimize']
0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_squeeze-backports']
0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_squeeze-backports']
0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_zz_backports']
0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_setup_zz_backports']
0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m8.3s 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+deb12u10
install ok installed base-passwd base-passwd 3.6.1
install ok installed bash bash 5.2.15-2+b7
install ok installed bsdutils bsdutils 1:2.38.1-5+deb12u3
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+deb12u3
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+deb12u10
install ok installed libc6:amd64 libc6 2.36-9+deb12u10
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+deb12u4
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+deb12u3
install ok installed libnettle8:amd64 libnettle8 3.8.1-2
install ok installed libp11-kit0:amd64 libp11-kit0 0.24.1-2
install ok installed libpam-modules:amd64 libpam-modules 1.5.2-6+deb12u1
install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-6+deb12u1
install ok installed libpam-runtime libpam-runtime 1.5.2-6+deb12u1
install ok installed libpam0g:amd64 libpam0g 1.5.2-6+deb12u1
install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-1
install ok installed libseccomp2:amd64 libseccomp2 2.5.4-1+deb12u1
install ok installed libselinux1:amd64 libselinux1 3.4-1+b6
install ok installed libsemanage-common libsemanage-common 3.4-1
install ok installed libsemanage2:amd64 libsemanage2 3.4-1+b5
install ok installed libsepol2:amd64 libsepol2 3.4-2.1
install ok installed libsmartcols1:amd64 libsmartcols1 2.38.1-5+deb12u3
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.36-1~deb12u1
install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2+deb12u1
install ok installed libtinfo6:amd64 libtinfo6 6.4-4
install ok installed libudev1:amd64 libudev1 252.36-1~deb12u1
install ok installed libunistring2:amd64 libunistring2 1.0-2
install ok installed libuuid1:amd64 libuuid1 2.38.1-5+deb12u3
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+deb12u3
install ok installed ncurses-base ncurses-base 6.4-4
install ok installed ncurses-bin ncurses-bin 6.4-4
install ok installed passwd passwd 1:4.13+dfsg1-1+b1
install ok installed perl-base perl-base 5.36.0-7+deb12u1
install ok installed sed sed 4.9-1
install ok installed sysvinit-utils sysvinit-utils 3.06-4
install ok installed tar tar 1.34+dfsg-1.2+deb12u1
install ok installed tzdata tzdata 2025a-0+deb12u1
install ok installed usr-is-merged usr-is-merged 37~deb12u1
install ok installed util-linux util-linux 2.38.1-5+deb12u3
install ok installed util-linux-extra util-linux-extra 2.38.1-5+deb12u3
install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1
0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m8.3s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat
0m8.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
0m8.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
0m8.8s INFO: Running scripts is_testable
0m8.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/is_testable_uninstallable']
0m8.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/is_testable_uninstallable']
0m8.8s INFO: Running scripts pre_test
0m8.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_test_exceptions']
0m8.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_test_exceptions']
0m8.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_test_root_password']
0m8.9s DUMP:
New password: Retype new password: passwd: password updated successfully
0m8.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_test_root_password']
0m8.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-deriving']
0m9.2s DUMP:
Package: libcoq-deriving
Source: coq-deriving (0.1.0-2)
Version: 0.1.0-2+b1
Installed-Size: 1722
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-deriving-mxln6
Depends: libcoq-mathcomp-ssreflect-7sy01, libcoq-stdlib-ewsr6
Description-en: deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
.
MathComp is a mathematical library for Coq.
.
Coq is a proof assistant for higher-order logic.
Description-md5: f86da8bb7413c10ca613baec6bbded43
Homepage: https://github.com/arthuraa/deriving/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.1.0-2+b1_amd64.deb
Size: 423128
MD5sum: 22812ca10a6fae1ff6c650823837a0b0
SHA256: 7e1c718ed170f2785ffb804f6c236bdb34a813e0d932ed5b2802999a3f1c8d8b
0m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-deriving']
0m9.2s INFO: apt-cache knows about the following packages: libcoq-deriving
0m9.2s INFO: Running scripts pre_install
0m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
0m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
0m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
0m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
0m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
0m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
0m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
0m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
0m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
0m9.3s DUMP:
Package files:
100 /var/lib/dpkg/status
release a=now
500 http://deb.debian.org/debian bookworm/main amd64 Packages
release v=12.10,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64
origin deb.debian.org
Pinned packages:
0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
0m9.3s DUMP:
libcoq-deriving:
Installed: (none)
Candidate: 0.1.0-2+b1
Version table:
0.1.0-2+b1 500
500 http://deb.debian.org/debian bookworm/main amd64 Packages
0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving']
0m14.3s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
libcoq-core-ocaml 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-deriving libcoq-mathcomp-ssreflect libcoq-stdlib
libfindlib-ocaml libzarith-ocaml ocaml-base
0 upgraded, 7 newly installed, 0 to remove and 0 not upgraded.
Need to get 49.6 MB of archives.
After this operation, 249 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-deriving amd64 0.1.0-2+b1 [423 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 49.6 MB in 0s (144 MB/s)
Selecting previously unselected package ocaml-base.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6093 files and directories currently installed.)
Preparing to unpack .../0-ocaml-base_4.13.1-4_amd64.deb ...
Unpacking ocaml-base (4.13.1-4) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../1-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 .../2-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 .../3-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 .../4-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 .../5-libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb ...
Unpacking libcoq-mathcomp-ssreflect (1.15.0-1+b4) ...
Selecting previously unselected package libcoq-deriving.
Preparing to unpack .../6-libcoq-deriving_0.1.0-2+b1_amd64.deb ...
Unpacking libcoq-deriving (0.1.0-2+b1) ...
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-deriving (0.1.0-2+b1) ...
0m14.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving']
0m14.3s INFO: Running scripts post_install
0m14.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
0m14.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
0m14.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
0m14.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
0m14.8s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpfguast9h to testing
0m14.8s DEBUG: sources.list:
deb http://deb.debian.org/debian/ trixie main
0m14.8s INFO: Running scripts pre_distupgrade
0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_allow_unauthenticated']
0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_allow_unauthenticated']
0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_exceptions']
0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_exceptions']
0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386']
0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386']
0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_database-server']
0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_database-server']
0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_upgrade_early']
0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_upgrade_early']
0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'update']
0m17.8s DUMP:
Get:1 http://deb.debian.org/debian trixie InRelease [175 kB]
Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9547 kB]
Get:3 http://deb.debian.org/debian trixie/main Translation-en [6404 kB]
Fetched 16.1 MB in 2s (7794 kB/s)
Reading package lists...
0m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'update']
0m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-yf', 'dist-upgrade']
0m47.2s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
The following packages will be REMOVED:
libdb5.3 libext2fs2 libhogweed6 libnettle8
The following NEW packages will be installed:
binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14
cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-base
gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libapt-pkg7.0 libasan8
libatomic1 libbinutils libbsd0 libc-dev-bin libc6-dev libcc1-0
libcompiler-libs-ocaml-dev libcoq-core-ocaml-dev libcoq-elpi
libcoq-hierarchy-builder libcrypt-dev libctf-nobfd0 libctf0 libdb5.3t64
libelpi-ocaml libelpi-ocaml-dev libexpat1 libext2fs2t64 libfindlib-ocaml-dev
libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libgprofng0
libhogweed6t64 libhwasan0 libisl23 libitm1 libjansson4 liblsan0
libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6
libnettle8t64 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0
libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev
libsframe1 libsqlite3-0 libssl3t64 libstdlib-ocaml libstdlib-ocaml-dev
libtsan2 libubsan1 libunistring5 libzarith-ocaml-dev libzstd-dev
linux-libc-dev login.defs media-types netbase ocaml ocaml-findlib
ocaml-interp openssl-provider-legacy python3 python3-minimal python3.13
python3.13-minimal readline-common rpcsvc-proto sqv
The following packages will be upgraded:
adduser apt base-files base-passwd bash bsdutils coreutils dash debconf
debian-archive-keyring debianutils diffutils dpkg e2fsprogs findutils
gcc-12-base gpgv grep gzip hostname init-system-helpers libacl1 libattr1
libaudit-common libaudit1 libblkid1 libbz2-1.0 libc-bin libc6 libcap-ng0
libcap2 libcom-err2 libcoq-core-ocaml libcoq-deriving
libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt1 libdebconfclient0 libffi8
libfindlib-ocaml libgcc-s1 libgcrypt20 libgmp10 libgpg-error0 libidn2-0
liblz4-1 liblzma5 libmd0 libmount1 libp11-kit0 libpam-modules
libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libseccomp2
libselinux1 libsemanage-common libsemanage2 libsepol2 libsmartcols1 libss2
libstdc++6 libsystemd0 libtasn1-6 libtinfo6 libudev1 libuuid1 libxxhash0
libzarith-ocaml libzstd1 login logsave mawk mount ncurses-base ncurses-bin
ocaml-base passwd perl-base sed sysvinit-utils tar tzdata usr-is-merged
util-linux util-linux-extra zlib1g
88 upgraded, 91 newly installed, 4 to remove and 0 not upgraded.
Need to get 444 MB of archives.
After this operation, 1106 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian trixie/main amd64 base-files amd64 13.7 [73.0 kB]
Get:2 http://deb.debian.org/debian trixie/main amd64 libc6 amd64 2.41-4 [2843 kB]
Get:3 http://deb.debian.org/debian trixie/main amd64 libc-bin amd64 2.41-4 [635 kB]
Get:4 http://deb.debian.org/debian trixie/main amd64 gcc-14-base amd64 14.2.0-17 [49.1 kB]
Get:5 http://deb.debian.org/debian trixie/main amd64 libgcc-s1 amd64 14.2.0-17 [72.7 kB]
Get:6 http://deb.debian.org/debian trixie/main amd64 debianutils amd64 5.21 [92.1 kB]
Get:7 http://deb.debian.org/debian trixie/main amd64 bash amd64 5.2.37-1.1+b1 [1500 kB]
Get:8 http://deb.debian.org/debian trixie/main amd64 libcap2 amd64 1:2.66-5+b1 [27.8 kB]
Get:9 http://deb.debian.org/debian trixie/main amd64 libsystemd0 amd64 257.4-3 [451 kB]
Get:10 http://deb.debian.org/debian trixie/main amd64 bsdutils amd64 1:2.40.4-5 [106 kB]
Get:11 http://deb.debian.org/debian trixie/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3 [560 kB]
Get:12 http://deb.debian.org/debian trixie/main amd64 libzstd1 amd64 1.5.6+dfsg-2 [300 kB]
Get:13 http://deb.debian.org/debian trixie/main amd64 libssl3t64 amd64 3.4.1-1 [2304 kB]
Get:14 http://deb.debian.org/debian trixie/main amd64 openssl-provider-legacy amd64 3.4.1-1 [302 kB]
Get:15 http://deb.debian.org/debian trixie/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.1-1+b1 [88.9 kB]
Get:16 http://deb.debian.org/debian trixie/main amd64 coreutils amd64 9.5-1+b1 [2922 kB]
Get:17 http://deb.debian.org/debian trixie/main amd64 dash amd64 0.5.12-12 [98.5 kB]
Get:18 http://deb.debian.org/debian trixie/main amd64 diffutils amd64 1:3.10-2 [384 kB]
Get:19 http://deb.debian.org/debian trixie/main amd64 tar amd64 1.35+dfsg-3.1 [815 kB]
Get:20 http://deb.debian.org/debian trixie/main amd64 dpkg amd64 1.22.18 [1545 kB]
Get:21 http://deb.debian.org/debian trixie/main amd64 findutils amd64 4.10.0-3 [700 kB]
Get:22 http://deb.debian.org/debian trixie/main amd64 grep amd64 3.11-4 [431 kB]
Get:23 http://deb.debian.org/debian trixie/main amd64 gzip amd64 1.13-1 [138 kB]
Get:24 http://deb.debian.org/debian trixie/main amd64 hostname amd64 3.25 [11.0 kB]
Get:25 http://deb.debian.org/debian trixie/main amd64 login.defs all 1:4.17.3-1 [186 kB]
Get:26 http://deb.debian.org/debian trixie/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-9 [704 kB]
Get:27 http://deb.debian.org/debian trixie/main amd64 libaudit-common all 1:4.0.2-2 [12.7 kB]
Get:28 http://deb.debian.org/debian trixie/main amd64 libcap-ng0 amd64 0.8.5-4+b1 [17.6 kB]
Get:29 http://deb.debian.org/debian trixie/main amd64 libaudit1 amd64 1:4.0.2-2+b2 [55.1 kB]
Get:30 http://deb.debian.org/debian trixie/main amd64 libcrypt1 amd64 1:4.4.38-1 [90.1 kB]
Get:31 http://deb.debian.org/debian trixie/main amd64 perl-base amd64 5.40.1-2 [1665 kB]
Get:32 http://deb.debian.org/debian trixie/main amd64 debconf all 1.5.91 [121 kB]
Get:33 http://deb.debian.org/debian trixie/main amd64 libpam0g amd64 1.7.0-3 [69.7 kB]
Get:34 http://deb.debian.org/debian trixie/main amd64 libpcre2-8-0 amd64 10.45-1 [298 kB]
Get:35 http://deb.debian.org/debian trixie/main amd64 libselinux1 amd64 3.8-4 [84.8 kB]
Get:36 http://deb.debian.org/debian trixie/main amd64 libpam-modules-bin amd64 1.7.0-3 [48.9 kB]
Get:37 http://deb.debian.org/debian trixie/main amd64 libpam-modules amd64 1.7.0-3 [177 kB]
Get:38 http://deb.debian.org/debian trixie/main amd64 libpam-runtime all 1.7.0-3 [248 kB]
Get:39 http://deb.debian.org/debian trixie/main amd64 login amd64 1:4.16.0-2+really2.40.4-5 [88.7 kB]
Get:40 http://deb.debian.org/debian trixie/main amd64 libtinfo6 amd64 6.5+20250216-2 [348 kB]
Get:41 http://deb.debian.org/debian trixie/main amd64 ncurses-bin amd64 6.5+20250216-2 [438 kB]
Get:42 http://deb.debian.org/debian trixie/main amd64 sed amd64 4.9-2 [329 kB]
Get:43 http://deb.debian.org/debian trixie/main amd64 libblkid1 amd64 2.40.4-5 [169 kB]
Get:44 http://deb.debian.org/debian trixie/main amd64 libmount1 amd64 2.40.4-5 [200 kB]
Get:45 http://deb.debian.org/debian trixie/main amd64 libsmartcols1 amd64 2.40.4-5 [140 kB]
Get:46 http://deb.debian.org/debian trixie/main amd64 libuuid1 amd64 2.40.4-5 [36.5 kB]
Get:47 http://deb.debian.org/debian trixie/main amd64 util-linux amd64 2.40.4-5 [1205 kB]
Get:48 http://deb.debian.org/debian trixie/main amd64 util-linux-extra amd64 2.40.4-5 [276 kB]
Get:49 http://deb.debian.org/debian trixie/main amd64 libnettle8t64 amd64 3.10.1-1 [305 kB]
Get:50 http://deb.debian.org/debian trixie/main amd64 libhogweed6t64 amd64 3.10.1-1 [335 kB]
Get:51 http://deb.debian.org/debian trixie/main amd64 sqv amd64 1.2.1-6+b1 [623 kB]
Get:52 http://deb.debian.org/debian trixie/main amd64 libstdc++6 amd64 14.2.0-17 [713 kB]
Get:53 http://deb.debian.org/debian trixie/main amd64 libbz2-1.0 amd64 1.0.8-6 [37.9 kB]
Get:54 http://deb.debian.org/debian trixie/main amd64 libxxhash0 amd64 0.8.3-2 [27.1 kB]
Get:55 http://deb.debian.org/debian trixie/main amd64 liblz4-1 amd64 1.10.0-4 [63.9 kB]
Get:56 http://deb.debian.org/debian trixie/main amd64 liblzma5 amd64 5.6.4-1 [280 kB]
Get:57 http://deb.debian.org/debian trixie/main amd64 libudev1 amd64 257.4-3 [149 kB]
Get:58 http://deb.debian.org/debian trixie/main amd64 libapt-pkg7.0 amd64 2.9.33 [1109 kB]
Get:59 http://deb.debian.org/debian trixie/main amd64 libdebconfclient0 amd64 0.277 [10.4 kB]
Get:60 http://deb.debian.org/debian trixie/main amd64 base-passwd amd64 3.6.6 [53.1 kB]
Get:61 http://deb.debian.org/debian trixie/main amd64 libmd0 amd64 1.1.0-2+b1 [36.3 kB]
Get:62 http://deb.debian.org/debian trixie/main amd64 libbsd0 amd64 0.12.2-2 [131 kB]
Get:63 http://deb.debian.org/debian trixie/main amd64 libacl1 amd64 2.3.2-2+b1 [32.9 kB]
Get:64 http://deb.debian.org/debian trixie/main amd64 libattr1 amd64 1:2.5.2-3 [22.9 kB]
Get:65 http://deb.debian.org/debian trixie/main amd64 libsemanage-common all 3.8-1 [7720 B]
Get:66 http://deb.debian.org/debian trixie/main amd64 libsepol2 amd64 3.8-1 [296 kB]
Get:67 http://deb.debian.org/debian trixie/main amd64 libsemanage2 amd64 3.8-1+b1 [94.7 kB]
Get:68 http://deb.debian.org/debian trixie/main amd64 passwd amd64 1:4.17.3-1 [1227 kB]
Get:69 http://deb.debian.org/debian trixie/main amd64 adduser all 3.145 [109 kB]
Get:70 http://deb.debian.org/debian trixie/main amd64 debian-archive-keyring all 2023.4 [161 kB]
Get:71 http://deb.debian.org/debian trixie/main amd64 libseccomp2 amd64 2.5.5-2+b1 [48.1 kB]
Get:72 http://deb.debian.org/debian trixie/main amd64 apt amd64 2.9.33 [1447 kB]
Get:73 http://deb.debian.org/debian trixie/main amd64 init-system-helpers all 1.68 [38.7 kB]
Get:74 http://deb.debian.org/debian trixie/main amd64 ncurses-base all 6.5+20250216-2 [273 kB]
Get:75 http://deb.debian.org/debian trixie/main amd64 sysvinit-utils amd64 3.14-4 [34.1 kB]
Get:76 http://deb.debian.org/debian trixie/main amd64 logsave amd64 1.47.2-1 [23.9 kB]
Get:77 http://deb.debian.org/debian trixie/main amd64 libext2fs2t64 amd64 1.47.2-1 [212 kB]
Get:78 http://deb.debian.org/debian trixie/main amd64 e2fsprogs amd64 1.47.2-1 [590 kB]
Get:79 http://deb.debian.org/debian trixie/main amd64 mount amd64 2.40.4-5 [156 kB]
Get:80 http://deb.debian.org/debian trixie/main amd64 libpython3.13-minimal amd64 3.13.2-1 [859 kB]
Get:81 http://deb.debian.org/debian trixie/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
Get:82 http://deb.debian.org/debian trixie/main amd64 python3.13-minimal amd64 3.13.2-1 [2205 kB]
Get:83 http://deb.debian.org/debian trixie/main amd64 python3-minimal amd64 3.13.2-2 [27.1 kB]
Get:84 http://deb.debian.org/debian trixie/main amd64 media-types all 13.0.0 [29.3 kB]
Get:85 http://deb.debian.org/debian trixie/main amd64 netbase all 6.5 [12.4 kB]
Get:86 http://deb.debian.org/debian trixie/main amd64 tzdata all 2025a-2 [259 kB]
Get:87 http://deb.debian.org/debian trixie/main amd64 libffi8 amd64 3.4.7-1 [23.9 kB]
Get:88 http://deb.debian.org/debian trixie/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB]
Get:89 http://deb.debian.org/debian trixie/main amd64 readline-common all 8.2-6 [69.4 kB]
Get:90 http://deb.debian.org/debian trixie/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
Get:91 http://deb.debian.org/debian trixie/main amd64 libsqlite3-0 amd64 3.46.1-2 [913 kB]
Get:92 http://deb.debian.org/debian trixie/main amd64 libpython3.13-stdlib amd64 3.13.2-1 [1979 kB]
Get:93 http://deb.debian.org/debian trixie/main amd64 python3.13 amd64 3.13.2-1 [745 kB]
Get:94 http://deb.debian.org/debian trixie/main amd64 libpython3-stdlib amd64 3.13.2-2 [10.1 kB]
Get:95 http://deb.debian.org/debian trixie/main amd64 python3 amd64 3.13.2-2 [28.1 kB]
Get:96 http://deb.debian.org/debian trixie/main amd64 libgpg-error0 amd64 1.51-3 [82.2 kB]
Get:97 http://deb.debian.org/debian trixie/main amd64 libgcrypt20 amd64 1.11.0-7 [843 kB]
Get:98 http://deb.debian.org/debian trixie/main amd64 gpgv amd64 2.2.46-1+b1 [219 kB]
Get:99 http://deb.debian.org/debian trixie/main amd64 libunistring5 amd64 1.3-1 [476 kB]
Get:100 http://deb.debian.org/debian trixie/main amd64 libidn2-0 amd64 2.3.8-1 [109 kB]
Get:101 http://deb.debian.org/debian trixie/main amd64 libp11-kit0 amd64 0.25.5-3 [425 kB]
Get:102 http://deb.debian.org/debian trixie/main amd64 libtasn1-6 amd64 4.20.0-2 [49.9 kB]
Get:103 http://deb.debian.org/debian trixie/main amd64 usr-is-merged all 39+nmu2 [5936 B]
Get:104 http://deb.debian.org/debian trixie/main amd64 mawk amd64 1.3.4.20250131-1 [141 kB]
Get:105 http://deb.debian.org/debian trixie/main amd64 libsframe1 amd64 2.44-3 [78.4 kB]
Get:106 http://deb.debian.org/debian trixie/main amd64 binutils-common amd64 2.44-3 [2509 kB]
Get:107 http://deb.debian.org/debian trixie/main amd64 libbinutils amd64 2.44-3 [534 kB]
Get:108 http://deb.debian.org/debian trixie/main amd64 libgprofng0 amd64 2.44-3 [808 kB]
Get:109 http://deb.debian.org/debian trixie/main amd64 libctf-nobfd0 amd64 2.44-3 [156 kB]
Get:110 http://deb.debian.org/debian trixie/main amd64 libctf0 amd64 2.44-3 [88.6 kB]
Get:111 http://deb.debian.org/debian trixie/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB]
Get:112 http://deb.debian.org/debian trixie/main amd64 binutils-x86-64-linux-gnu amd64 2.44-3 [1014 kB]
Get:113 http://deb.debian.org/debian trixie/main amd64 binutils amd64 2.44-3 [265 kB]
Get:114 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1 [26.0 MB]
Get:115 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml amd64 1.14-1+b1 [117 kB]
Get:116 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml amd64 1.9.8-1 [214 kB]
Get:117 http://deb.debian.org/debian trixie/main amd64 ocaml-base amd64 5.3.0-2 [495 kB]
Get:118 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml amd64 5.3.0-2 [605 kB]
Get:119 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml-dev amd64 5.3.0-2 [7886 kB]
Get:120 http://deb.debian.org/debian trixie/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-2 [48.2 MB]
Get:121 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml amd64 0.17.0-1+b1 [129 kB]
Get:122 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml amd64 6.0.3-1+b3 [4170 kB]
Get:123 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml amd64 2.0.7-1 [3889 kB]
Get:124 http://deb.debian.org/debian trixie/main amd64 ocaml-interp amd64 5.3.0-2 [7106 kB]
Get:125 http://deb.debian.org/debian trixie/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB]
Get:126 http://deb.debian.org/debian trixie/main amd64 libc-dev-bin amd64 2.41-4 [58.4 kB]
Get:127 http://deb.debian.org/debian trixie/main amd64 linux-libc-dev all 6.12.17-1 [2526 kB]
Get:128 http://deb.debian.org/debian trixie/main amd64 libcrypt-dev amd64 1:4.4.38-1 [119 kB]
Get:129 http://deb.debian.org/debian trixie/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB]
Get:130 http://deb.debian.org/debian trixie/main amd64 libc6-dev amd64 2.41-4 [1989 kB]
Get:131 http://deb.debian.org/debian trixie/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB]
Get:132 http://deb.debian.org/debian trixie/main amd64 libisl23 amd64 0.27-1 [659 kB]
Get:133 http://deb.debian.org/debian trixie/main amd64 libmpfr6 amd64 4.2.1-1+b2 [724 kB]
Get:134 http://deb.debian.org/debian trixie/main amd64 libmpc3 amd64 1.3.1-1+b3 [52.2 kB]
Get:135 http://deb.debian.org/debian trixie/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17 [11.0 MB]
Get:136 http://deb.debian.org/debian trixie/main amd64 cpp-14 amd64 14.2.0-17 [1280 B]
Get:137 http://deb.debian.org/debian trixie/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B]
Get:138 http://deb.debian.org/debian trixie/main amd64 cpp amd64 4:14.2.0-1 [1568 B]
Get:139 http://deb.debian.org/debian trixie/main amd64 libcc1-0 amd64 14.2.0-17 [42.8 kB]
Get:140 http://deb.debian.org/debian trixie/main amd64 libgomp1 amd64 14.2.0-17 [137 kB]
Get:141 http://deb.debian.org/debian trixie/main amd64 libitm1 amd64 14.2.0-17 [25.9 kB]
Get:142 http://deb.debian.org/debian trixie/main amd64 libatomic1 amd64 14.2.0-17 [9316 B]
Get:143 http://deb.debian.org/debian trixie/main amd64 libasan8 amd64 14.2.0-17 [2730 kB]
Get:144 http://deb.debian.org/debian trixie/main amd64 liblsan0 amd64 14.2.0-17 [1205 kB]
Get:145 http://deb.debian.org/debian trixie/main amd64 libtsan2 amd64 14.2.0-17 [2460 kB]
Get:146 http://deb.debian.org/debian trixie/main amd64 libubsan1 amd64 14.2.0-17 [1075 kB]
Get:147 http://deb.debian.org/debian trixie/main amd64 libhwasan0 amd64 14.2.0-17 [1489 kB]
Get:148 http://deb.debian.org/debian trixie/main amd64 libquadmath0 amd64 14.2.0-17 [145 kB]
Get:149 http://deb.debian.org/debian trixie/main amd64 libgcc-14-dev amd64 14.2.0-17 [2673 kB]
Get:150 http://deb.debian.org/debian trixie/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17 [21.4 MB]
Get:151 http://deb.debian.org/debian trixie/main amd64 gcc-14 amd64 14.2.0-17 [537 kB]
Get:152 http://deb.debian.org/debian trixie/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B]
Get:153 http://deb.debian.org/debian trixie/main amd64 gcc amd64 4:14.2.0-1 [5136 B]
Get:154 http://deb.debian.org/debian trixie/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [365 kB]
Get:155 http://deb.debian.org/debian trixie/main amd64 ocaml amd64 5.3.0-2 [18.0 MB]
Get:156 http://deb.debian.org/debian trixie/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1+b1 [887 kB]
Get:157 http://deb.debian.org/debian trixie/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1+b1 [171 kB]
Get:158 http://deb.debian.org/debian trixie/main amd64 ocaml-findlib amd64 1.9.8-1 [584 kB]
Get:159 http://deb.debian.org/debian trixie/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b3 [20.0 kB]
Get:160 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+b1 [354 kB]
Get:161 http://deb.debian.org/debian trixie/main amd64 libppxlib-ocaml-dev amd64 0.35.0-1 [22.0 MB]
Get:162 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1+b3 [1055 kB]
Get:163 http://deb.debian.org/debian trixie/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1+b1 [1288 kB]
Get:164 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml-dev amd64 2.0.7-1 [15.3 MB]
Get:165 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1 [179 kB]
Get:166 http://deb.debian.org/debian trixie/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
Get:167 http://deb.debian.org/debian trixie/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
Get:168 http://deb.debian.org/debian trixie/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
Get:169 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml-dev amd64 1.14-1+b1 [143 kB]
Get:170 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1 [68.7 MB]
Get:171 http://deb.debian.org/debian trixie/main amd64 libcoq-elpi amd64 2.4.0-1 [12.6 MB]
Get:172 http://deb.debian.org/debian trixie/main amd64 libcoq-hierarchy-builder amd64 1.8.1-1 [550 kB]
Get:173 http://deb.debian.org/debian trixie/main amd64 libcoq-deriving amd64 0.2.1-1+b5 [494 kB]
Get:174 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-ssreflect amd64 2.3.0-1+b5 [8255 kB]
Get:175 http://deb.debian.org/debian trixie/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1 [23.5 MB]
Get:176 http://deb.debian.org/debian trixie/main amd64 coq amd64 8.20.1+dfsg-1 [70.2 MB]
Get:177 http://deb.debian.org/debian trixie/main amd64 gcc-12-base amd64 12.4.0-4 [43.6 kB]
Get:178 http://deb.debian.org/debian trixie/main amd64 libcom-err2 amd64 1.47.2-1 [24.0 kB]
Get:179 http://deb.debian.org/debian trixie/main amd64 libss2 amd64 1.47.2-1 [28.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 444 MB in 2s (251 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 ... 8684 files and directories currently installed.)
Preparing to unpack .../base-files_13.7_amd64.deb ...
Unpacking base-files (13.7) over (12.4+deb12u10) ...
Setting up base-files (13.7) ...
Installing new version of config file /etc/debian_version ...
Installing new version of config file /etc/issue ...
Installing new version of config file /etc/issue.net ...
Updating /etc/profile to current default.
Updating /root/.profile to current default.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8695 files and directories currently installed.)
Preparing to unpack .../libc6_2.41-4_amd64.deb ...
Unpacking libc6:amd64 (2.41-4) over (2.36-9+deb12u10) ...
Setting up libc6:amd64 (2.41-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 ... 8697 files and directories currently installed.)
Preparing to unpack .../libc-bin_2.41-4_amd64.deb ...
Unpacking libc-bin (2.41-4) over (2.36-9+deb12u10) ...
Setting up libc-bin (2.41-4) ...
Selecting previously unselected package gcc-14-base:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8697 files and directories currently installed.)
Preparing to unpack .../gcc-14-base_14.2.0-17_amd64.deb ...
Unpacking gcc-14-base:amd64 (14.2.0-17) ...
Setting up gcc-14-base:amd64 (14.2.0-17) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8702 files and directories currently installed.)
Preparing to unpack .../libgcc-s1_14.2.0-17_amd64.deb ...
Unpacking libgcc-s1:amd64 (14.2.0-17) over (12.2.0-14) ...
Setting up libgcc-s1:amd64 (14.2.0-17) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8702 files and directories currently installed.)
Preparing to unpack .../debianutils_5.21_amd64.deb ...
Unpacking debianutils (5.21) over (5.7-0.5~deb12u1) ...
Setting up debianutils (5.21) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8701 files and directories currently installed.)
Preparing to unpack .../bash_5.2.37-1.1+b1_amd64.deb ...
Unpacking bash (5.2.37-1.1+b1) over (5.2.15-2+b7) ...
Setting up bash (5.2.37-1.1+b1) ...
Installing new version of config file /etc/bash.bashrc ...
update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8701 files and directories currently installed.)
Preparing to unpack .../libcap2_1%3a2.66-5+b1_amd64.deb ...
Unpacking libcap2:amd64 (1:2.66-5+b1) over (1:2.66-4) ...
Setting up libcap2:amd64 (1:2.66-5+b1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8702 files and directories currently installed.)
Preparing to unpack .../libsystemd0_257.4-3_amd64.deb ...
Unpacking libsystemd0:amd64 (257.4-3) over (252.36-1~deb12u1) ...
Setting up libsystemd0:amd64 (257.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 ... 8702 files and directories currently installed.)
Preparing to unpack .../bsdutils_1%3a2.40.4-5_amd64.deb ...
Unpacking bsdutils (1:2.40.4-5) over (1:2.38.1-5+deb12u3) ...
Setting up bsdutils (1:2.40.4-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 ... 8703 files and directories currently installed.)
Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3) over (2:6.2.1+dfsg1-1.1) ...
Setting up libgmp10:amd64 (2:6.3.0+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 ... 8703 files and directories currently installed.)
Preparing to unpack .../libzstd1_1.5.6+dfsg-2_amd64.deb ...
Unpacking libzstd1:amd64 (1.5.6+dfsg-2) over (1.5.4+dfsg2-5) ...
Setting up libzstd1:amd64 (1.5.6+dfsg-2) ...
Selecting previously unselected package libssl3t64:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8703 files and directories currently installed.)
Preparing to unpack .../libssl3t64_3.4.1-1_amd64.deb ...
Unpacking libssl3t64:amd64 (3.4.1-1) ...
Selecting previously unselected package openssl-provider-legacy.
Preparing to unpack .../openssl-provider-legacy_3.4.1-1_amd64.deb ...
Unpacking openssl-provider-legacy (3.4.1-1) ...
Setting up openssl-provider-legacy (3.4.1-1) ...
Setting up libssl3t64:amd64 (3.4.1-1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8722 files and directories currently installed.)
Preparing to unpack .../zlib1g_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b1) over (1:1.2.13.dfsg-1) ...
Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8723 files and directories currently installed.)
Preparing to unpack .../coreutils_9.5-1+b1_amd64.deb ...
Unpacking coreutils (9.5-1+b1) over (9.1-1) ...
Setting up coreutils (9.5-1+b1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8729 files and directories currently installed.)
Preparing to unpack .../dash_0.5.12-12_amd64.deb ...
Unpacking dash (0.5.12-12) over (0.5.12-2) ...
Setting up dash (0.5.12-12) ...
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 ... 8726 files and directories currently installed.)
Preparing to unpack .../diffutils_1%3a3.10-2_amd64.deb ...
Unpacking diffutils (1:3.10-2) over (1:3.8-4) ...
Setting up diffutils (1:3.10-2) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8728 files and directories currently installed.)
Preparing to unpack .../tar_1.35+dfsg-3.1_amd64.deb ...
Unpacking tar (1.35+dfsg-3.1) over (1.34+dfsg-1.2+deb12u1) ...
Setting up tar (1.35+dfsg-3.1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8729 files and directories currently installed.)
Preparing to unpack .../dpkg_1.22.18_amd64.deb ...
Unpacking dpkg (1.22.18) over (1.21.22) ...
Setting up dpkg (1.22.18) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8714 files and directories currently installed.)
Preparing to unpack .../findutils_4.10.0-3_amd64.deb ...
Unpacking findutils (4.10.0-3) over (4.9.0-4) ...
Setting up findutils (4.10.0-3) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8712 files and directories currently installed.)
Preparing to unpack .../archives/grep_3.11-4_amd64.deb ...
Unpacking grep (3.11-4) over (3.8-5) ...
Setting up grep (3.11-4) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8712 files and directories currently installed.)
Preparing to unpack .../archives/gzip_1.13-1_amd64.deb ...
Unpacking gzip (1.13-1) over (1.12-1) ...
Setting up gzip (1.13-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 ... 8712 files and directories currently installed.)
Preparing to unpack .../hostname_3.25_amd64.deb ...
Unpacking hostname (3.25) over (3.23+nmu1) ...
Setting up hostname (3.25) ...
Selecting previously unselected package login.defs.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8712 files and directories currently installed.)
Preparing to unpack .../login.defs_1%3a4.17.3-1_all.deb ...
Unpacking login.defs (1:4.17.3-1) ...
Replacing files in old package login (1:4.13+dfsg1-1+b1) ...
Setting up login.defs (1:4.17.3-1) ...
Installing new version of config file /etc/login.defs ...
dpkg: libdb5.3:amd64: dependency problems, but removing anyway as you requested:
libpam-modules:amd64 depends on libdb5.3.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8717 files and directories currently installed.)
Removing libdb5.3:amd64 (5.3.28+dfsg2-1) ...
Selecting previously unselected package libdb5.3t64:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8711 files and directories currently installed.)
Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-9_amd64.deb ...
Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-9) ...
Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-9) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8717 files and directories currently installed.)
Preparing to unpack .../libaudit-common_1%3a4.0.2-2_all.deb ...
Unpacking libaudit-common (1:4.0.2-2) over (1:3.0.9-1) ...
Setting up libaudit-common (1:4.0.2-2) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8717 files and directories currently installed.)
Preparing to unpack .../libcap-ng0_0.8.5-4+b1_amd64.deb ...
Unpacking libcap-ng0:amd64 (0.8.5-4+b1) over (0.8.3-1+b3) ...
Setting up libcap-ng0:amd64 (0.8.5-4+b1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8717 files and directories currently installed.)
Preparing to unpack .../libaudit1_1%3a4.0.2-2+b2_amd64.deb ...
Unpacking libaudit1:amd64 (1:4.0.2-2+b2) over (1:3.0.9-1) ...
Setting up libaudit1:amd64 (1:4.0.2-2+b2) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8718 files and directories currently installed.)
Preparing to unpack .../libcrypt1_1%3a4.4.38-1_amd64.deb ...
Unpacking libcrypt1:amd64 (1:4.4.38-1) over (1:4.4.33-2) ...
Setting up libcrypt1:amd64 (1:4.4.38-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 ... 8718 files and directories currently installed.)
Preparing to unpack .../perl-base_5.40.1-2_amd64.deb ...
Unpacking perl-base (5.40.1-2) over (5.36.0-7+deb12u1) ...
Setting up perl-base (5.40.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 ... 8723 files and directories currently installed.)
Preparing to unpack .../debconf_1.5.91_all.deb ...
Unpacking debconf (1.5.91) over (1.5.82) ...
Setting up debconf (1.5.91) ...
Installing new version of config file /etc/debconf.conf ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8722 files and directories currently installed.)
Preparing to unpack .../libpam0g_1.7.0-3_amd64.deb ...
Unpacking libpam0g:amd64 (1.7.0-3) over (1.5.2-6+deb12u1) ...
Setting up libpam0g:amd64 (1.7.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 ... 8721 files and directories currently installed.)
Preparing to unpack .../libpcre2-8-0_10.45-1_amd64.deb ...
Unpacking libpcre2-8-0:amd64 (10.45-1) over (10.42-1) ...
Setting up libpcre2-8-0:amd64 (10.45-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 ... 8721 files and directories currently installed.)
Preparing to unpack .../libselinux1_3.8-4_amd64.deb ...
Unpacking libselinux1:amd64 (3.8-4) over (3.4-1+b6) ...
Setting up libselinux1:amd64 (3.8-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 ... 8721 files and directories currently installed.)
Preparing to unpack .../libpam-modules-bin_1.7.0-3_amd64.deb ...
Unpacking libpam-modules-bin (1.7.0-3) over (1.5.2-6+deb12u1) ...
Setting up libpam-modules-bin (1.7.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 ... 8712 files and directories currently installed.)
Preparing to unpack .../libpam-modules_1.7.0-3_amd64.deb ...
Unpacking libpam-modules:amd64 (1.7.0-3) over (1.5.2-6+deb12u1) ...
dpkg: warning: unable to delete old directory '/lib/x86_64-linux-gnu/security': Directory not empty
Setting up libpam-modules:amd64 (1.7.0-3) ...
Installing new version of config file /etc/security/access.conf ...
Installing new version of config file /etc/security/namespace.init ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8661 files and directories currently installed.)
Preparing to unpack .../libpam-runtime_1.7.0-3_all.deb ...
Unpacking libpam-runtime (1.7.0-3) over (1.5.2-6+deb12u1) ...
Setting up libpam-runtime (1.7.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 ... 8721 files and directories currently installed.)
Preparing to unpack .../login_1%3a4.16.0-2+really2.40.4-5_amd64.deb ...
Unpacking login (1:4.16.0-2+really2.40.4-5) over (1:4.13+dfsg1-1+b1) ...
Setting up login (1:4.16.0-2+really2.40.4-5) ...
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 ... 8614 files and directories currently installed.)
Preparing to unpack .../libtinfo6_6.5+20250216-2_amd64.deb ...
Unpacking libtinfo6:amd64 (6.5+20250216-2) over (6.4-4) ...
Setting up libtinfo6:amd64 (6.5+20250216-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 ... 8614 files and directories currently installed.)
Preparing to unpack .../ncurses-bin_6.5+20250216-2_amd64.deb ...
Unpacking ncurses-bin (6.5+20250216-2) over (6.4-4) ...
Setting up ncurses-bin (6.5+20250216-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 ... 8614 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 ... 8614 files and directories currently installed.)
Preparing to unpack .../libblkid1_2.40.4-5_amd64.deb ...
Unpacking libblkid1:amd64 (2.40.4-5) over (2.38.1-5+deb12u3) ...
Setting up libblkid1:amd64 (2.40.4-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 ... 8615 files and directories currently installed.)
Preparing to unpack .../libmount1_2.40.4-5_amd64.deb ...
Unpacking libmount1:amd64 (2.40.4-5) over (2.38.1-5+deb12u3) ...
Setting up libmount1:amd64 (2.40.4-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 ... 8616 files and directories currently installed.)
Preparing to unpack .../libsmartcols1_2.40.4-5_amd64.deb ...
Unpacking libsmartcols1:amd64 (2.40.4-5) over (2.38.1-5+deb12u3) ...
Setting up libsmartcols1:amd64 (2.40.4-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 ... 8617 files and directories currently installed.)
Preparing to unpack .../libuuid1_2.40.4-5_amd64.deb ...
Unpacking libuuid1:amd64 (2.40.4-5) over (2.38.1-5+deb12u3) ...
Setting up libuuid1:amd64 (2.40.4-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 ... 8618 files and directories currently installed.)
Preparing to unpack .../util-linux_2.40.4-5_amd64.deb ...
Unpacking util-linux (2.40.4-5) over (2.38.1-5+deb12u3) ...
Setting up util-linux (2.40.4-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 ... 8584 files and directories currently installed.)
Preparing to unpack .../util-linux-extra_2.40.4-5_amd64.deb ...
Adding 'diversion of /sbin/ctrlaltdel to /sbin/ctrlaltdel.usr-is-merged by util-linux-extra'
Adding 'diversion of /sbin/fsck.cramfs to /sbin/fsck.cramfs.usr-is-merged by util-linux-extra'
Adding 'diversion of /sbin/fsck.minix to /sbin/fsck.minix.usr-is-merged by util-linux-extra'
Adding 'diversion of /sbin/mkfs.bfs to /sbin/mkfs.bfs.usr-is-merged by util-linux-extra'
Adding 'diversion of /sbin/mkfs.cramfs to /sbin/mkfs.cramfs.usr-is-merged by util-linux-extra'
Adding 'diversion of /sbin/mkfs.minix to /sbin/mkfs.minix.usr-is-merged by util-linux-extra'
Unpacking util-linux-extra (2.40.4-5) over (2.38.1-5+deb12u3) ...
dpkg: warning: unable to delete old directory '/usr/lib/udev/rules.d': Directory not empty
dpkg: warning: unable to delete old directory '/usr/lib/udev': Directory not empty
dpkg: warning: unable to delete old directory '/etc/init.d': Directory not empty
Setting up util-linux-extra (2.40.4-5) ...
dpkg: libnettle8:amd64: dependency problems, but removing anyway as you requested:
libhogweed6:amd64 depends on libnettle8.
libgnutls30:amd64 depends on libnettle8 (>= 3.7~).
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8629 files and directories currently installed.)
Removing libnettle8:amd64 (3.8.1-2) ...
Selecting previously unselected package libnettle8t64:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8621 files and directories currently installed.)
Preparing to unpack .../libnettle8t64_3.10.1-1_amd64.deb ...
Unpacking libnettle8t64:amd64 (3.10.1-1) ...
Setting up libnettle8t64:amd64 (3.10.1-1) ...
dpkg: libhogweed6:amd64: dependency problems, but removing anyway as you requested:
libgnutls30:amd64 depends on libhogweed6 (>= 3.6).
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8630 files and directories currently installed.)
Removing libhogweed6:amd64 (3.8.1-2) ...
Selecting previously unselected package libhogweed6t64:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8624 files and directories currently installed.)
Preparing to unpack .../libhogweed6t64_3.10.1-1_amd64.deb ...
Unpacking libhogweed6t64:amd64 (3.10.1-1) ...
Setting up libhogweed6t64:amd64 (3.10.1-1) ...
Selecting previously unselected package sqv.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8631 files and directories currently installed.)
Preparing to unpack .../sqv_1.2.1-6+b1_amd64.deb ...
Unpacking sqv (1.2.1-6+b1) ...
Setting up sqv (1.2.1-6+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 ... 8645 files and directories currently installed.)
Preparing to unpack .../libstdc++6_14.2.0-17_amd64.deb ...
Unpacking libstdc++6:amd64 (14.2.0-17) over (12.2.0-14) ...
Setting up libstdc++6:amd64 (14.2.0-17) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8645 files and directories currently installed.)
Preparing to unpack .../libbz2-1.0_1.0.8-6_amd64.deb ...
Unpacking libbz2-1.0:amd64 (1.0.8-6) over (1.0.8-5+b1) ...
Setting up libbz2-1.0:amd64 (1.0.8-6) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8644 files and directories currently installed.)
Preparing to unpack .../libxxhash0_0.8.3-2_amd64.deb ...
Unpacking libxxhash0:amd64 (0.8.3-2) over (0.8.1-1) ...
Setting up libxxhash0:amd64 (0.8.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 ... 8644 files and directories currently installed.)
Preparing to unpack .../liblz4-1_1.10.0-4_amd64.deb ...
Unpacking liblz4-1:amd64 (1.10.0-4) over (1.9.4-1) ...
Setting up liblz4-1:amd64 (1.10.0-4) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8644 files and directories currently installed.)
Preparing to unpack .../liblzma5_5.6.4-1_amd64.deb ...
Unpacking liblzma5:amd64 (5.6.4-1) over (5.4.1-0.2) ...
Setting up liblzma5:amd64 (5.6.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 ... 8644 files and directories currently installed.)
Preparing to unpack .../libudev1_257.4-3_amd64.deb ...
Unpacking libudev1:amd64 (257.4-3) over (252.36-1~deb12u1) ...
Setting up libudev1:amd64 (257.4-3) ...
Selecting previously unselected package libapt-pkg7.0: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 ... 8644 files and directories currently installed.)
Preparing to unpack .../libapt-pkg7.0_2.9.33_amd64.deb ...
Unpacking libapt-pkg7.0:amd64 (2.9.33) ...
Setting up libapt-pkg7.0:amd64 (2.9.33) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8693 files and directories currently installed.)
Preparing to unpack .../libdebconfclient0_0.277_amd64.deb ...
Unpacking libdebconfclient0:amd64 (0.277) over (0.270) ...
Setting up libdebconfclient0:amd64 (0.277) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8693 files and directories currently installed.)
Preparing to unpack .../base-passwd_3.6.6_amd64.deb ...
Unpacking base-passwd (3.6.6) over (3.6.1) ...
Setting up base-passwd (3.6.6) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8694 files and directories currently installed.)
Preparing to unpack .../libmd0_1.1.0-2+b1_amd64.deb ...
Unpacking libmd0:amd64 (1.1.0-2+b1) over (1.0.4-2) ...
Setting up libmd0:amd64 (1.1.0-2+b1) ...
Selecting previously unselected package libbsd0:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8695 files and directories currently installed.)
Preparing to unpack .../libbsd0_0.12.2-2_amd64.deb ...
Unpacking libbsd0:amd64 (0.12.2-2) ...
Setting up libbsd0:amd64 (0.12.2-2) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8702 files and directories currently installed.)
Preparing to unpack .../libacl1_2.3.2-2+b1_amd64.deb ...
Unpacking libacl1:amd64 (2.3.2-2+b1) over (2.3.1-3) ...
Setting up libacl1:amd64 (2.3.2-2+b1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8703 files and directories currently installed.)
Preparing to unpack .../libattr1_1%3a2.5.2-3_amd64.deb ...
Unpacking libattr1:amd64 (1:2.5.2-3) over (1:2.5.1-4) ...
Setting up libattr1:amd64 (1:2.5.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 ... 8703 files and directories currently installed.)
Preparing to unpack .../libsemanage-common_3.8-1_all.deb ...
Unpacking libsemanage-common (3.8-1) over (3.4-1) ...
Setting up libsemanage-common (3.8-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 ... 8702 files and directories currently installed.)
Preparing to unpack .../libsepol2_3.8-1_amd64.deb ...
Unpacking libsepol2:amd64 (3.8-1) over (3.4-2.1) ...
Setting up libsepol2:amd64 (3.8-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 ... 8702 files and directories currently installed.)
Preparing to unpack .../libsemanage2_3.8-1+b1_amd64.deb ...
Unpacking libsemanage2:amd64 (3.8-1+b1) over (3.4-1+b5) ...
Setting up libsemanage2:amd64 (3.8-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 ... 8702 files and directories currently installed.)
Preparing to unpack .../passwd_1%3a4.17.3-1_amd64.deb ...
Unpacking passwd (1:4.17.3-1) over (1:4.13+dfsg1-1+b1) ...
Setting up passwd (1:4.17.3-1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8727 files and directories currently installed.)
Preparing to unpack .../archives/adduser_3.145_all.deb ...
Unpacking adduser (3.145) over (3.134) ...
Setting up adduser (3.145) ...
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 ... 8703 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 ... 8703 files and directories currently installed.)
Preparing to unpack .../libseccomp2_2.5.5-2+b1_amd64.deb ...
Unpacking libseccomp2:amd64 (2.5.5-2+b1) over (2.5.4-1+deb12u1) ...
Setting up libseccomp2:amd64 (2.5.5-2+b1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8704 files and directories currently installed.)
Preparing to unpack .../archives/apt_2.9.33_amd64.deb ...
Unpacking apt (2.9.33) over (2.6.1) ...
Setting up apt (2.9.33) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8696 files and directories currently installed.)
Preparing to unpack .../init-system-helpers_1.68_all.deb ...
Unpacking init-system-helpers (1.68) over (1.65.2) ...
Setting up init-system-helpers (1.68) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8696 files and directories currently installed.)
Preparing to unpack .../ncurses-base_6.5+20250216-2_all.deb ...
Unpacking ncurses-base (6.5+20250216-2) over (6.4-4) ...
Setting up ncurses-base (6.5+20250216-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 ... 8694 files and directories currently installed.)
Preparing to unpack .../sysvinit-utils_3.14-4_amd64.deb ...
Unpacking sysvinit-utils (3.14-4) over (3.06-4) ...
dpkg: warning: unable to delete old directory '/lib/lsb/init-functions.d': Directory not empty
dpkg: warning: unable to delete old directory '/lib/lsb': Directory not empty
dpkg: warning: unable to delete old directory '/lib/init': Directory not empty
Setting up sysvinit-utils (3.14-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 ... 8694 files and directories currently installed.)
Preparing to unpack .../logsave_1.47.2-1_amd64.deb ...
Unpacking logsave (1.47.2-1) over (1.47.0-2) ...
dpkg: libext2fs2:amd64: dependency problems, but removing anyway as you requested:
e2fsprogs depends on libext2fs2 (= 1.47.0-2).
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8694 files and directories currently installed.)
Removing libext2fs2:amd64 (1.47.0-2) ...
Selecting previously unselected package libext2fs2t64:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8687 files and directories currently installed.)
Preparing to unpack .../libext2fs2t64_1.47.2-1_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64'
Unpacking libext2fs2t64:amd64 (1.47.2-1) ...
Setting up libext2fs2t64:amd64 (1.47.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 ... 8703 files and directories currently installed.)
Preparing to unpack .../e2fsprogs_1.47.2-1_amd64.deb ...
Unpacking e2fsprogs (1.47.2-1) over (1.47.0-2) ...
dpkg: warning: unable to delete old directory '/lib/udev/rules.d': Directory not empty
dpkg: warning: unable to delete old directory '/lib/udev': Directory not empty
dpkg: warning: unable to delete old directory '/lib/systemd/system': Directory not empty
dpkg: warning: unable to delete old directory '/lib/systemd': Directory not empty
Preparing to unpack .../mount_2.40.4-5_amd64.deb ...
Unpacking mount (2.40.4-5) over (2.38.1-5+deb12u3) ...
Selecting previously unselected package libpython3.13-minimal:amd64.
Preparing to unpack .../libpython3.13-minimal_3.13.2-1_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.2-1) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.4-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.2-1_amd64.deb ...
Unpacking python3.13-minimal (3.13.2-1) ...
Setting up libpython3.13-minimal:amd64 (3.13.2-1) ...
Setting up libexpat1:amd64 (2.6.4-1) ...
Setting up python3.13-minimal (3.13.2-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9036 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.13.2-2_amd64.deb ...
Unpacking python3-minimal (3.13.2-2) ...
Selecting previously unselected package media-types.
Preparing to unpack .../media-types_13.0.0_all.deb ...
Unpacking media-types (13.0.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../archives/netbase_6.5_all.deb ...
Unpacking netbase (6.5) ...
Preparing to unpack .../tzdata_2025a-2_all.deb ...
Unpacking tzdata (2025a-2) over (2025a-0+deb12u1) ...
Preparing to unpack .../libffi8_3.4.7-1_amd64.deb ...
Unpacking libffi8:amd64 (3.4.7-1) over (3.4.4-1) ...
Setting up libffi8:amd64 (3.4.7-1) ...
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 ... 8274 files and directories currently installed.)
Preparing to unpack .../0-libncursesw6_6.5+20250216-2_amd64.deb ...
Unpacking libncursesw6:amd64 (6.5+20250216-2) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../1-readline-common_8.2-6_all.deb ...
Unpacking readline-common (8.2-6) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../2-libreadline8t64_8.2-6_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.2-6) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../3-libsqlite3-0_3.46.1-2_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.46.1-2) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../4-libpython3.13-stdlib_3.13.2-1_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.2-1) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../5-python3.13_3.13.2-1_amd64.deb ...
Unpacking python3.13 (3.13.2-1) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../6-libpython3-stdlib_3.13.2-2_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.2-2) ...
Setting up python3-minimal (3.13.2-2) ...
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 ... 8747 files and directories currently installed.)
Preparing to unpack .../python3_3.13.2-2_amd64.deb ...
Unpacking python3 (3.13.2-2) ...
Preparing to unpack .../libgpg-error0_1.51-3_amd64.deb ...
Unpacking libgpg-error0:amd64 (1.51-3) over (1.46-1) ...
Setting up libgpg-error0:amd64 (1.51-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 ... 8768 files and directories currently installed.)
Preparing to unpack .../libgcrypt20_1.11.0-7_amd64.deb ...
Unpacking libgcrypt20:amd64 (1.11.0-7) over (1.10.1-3) ...
Setting up libgcrypt20:amd64 (1.11.0-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 ... 8768 files and directories currently installed.)
Preparing to unpack .../gpgv_2.2.46-1+b1_amd64.deb ...
Unpacking gpgv (2.2.46-1+b1) over (2.2.40-1.1) ...
Setting up gpgv (2.2.46-1+b1) ...
Selecting previously unselected package libunistring5:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8769 files and directories currently installed.)
Preparing to unpack .../libunistring5_1.3-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.3-1) ...
Preparing to unpack .../libidn2-0_2.3.8-1_amd64.deb ...
Unpacking libidn2-0:amd64 (2.3.8-1) over (2.3.3-1+b1) ...
Setting up libunistring5:amd64 (1.3-1) ...
Setting up libidn2-0:amd64 (2.3.8-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 ... 8775 files and directories currently installed.)
Preparing to unpack .../libp11-kit0_0.25.5-3_amd64.deb ...
Unpacking libp11-kit0:amd64 (0.25.5-3) over (0.24.1-2) ...
Setting up libp11-kit0:amd64 (0.25.5-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 ... 8775 files and directories currently installed.)
Preparing to unpack .../libtasn1-6_4.20.0-2_amd64.deb ...
Unpacking libtasn1-6:amd64 (4.20.0-2) over (4.19.0-2+deb12u1) ...
Setting up libtasn1-6:amd64 (4.20.0-2) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8775 files and directories currently installed.)
Preparing to unpack .../usr-is-merged_39+nmu2_all.deb ...
Unpacking usr-is-merged (39+nmu2) over (37~deb12u1) ...
Setting up usr-is-merged (39+nmu2) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 8776 files and directories currently installed.)
Preparing to unpack .../00-mawk_1.3.4.20250131-1_amd64.deb ...
Unpacking mawk (1.3.4.20250131-1) over (1.3.4.20200120-3.1) ...
Selecting previously unselected package libsframe1:amd64.
Preparing to unpack .../01-libsframe1_2.44-3_amd64.deb ...
Unpacking libsframe1:amd64 (2.44-3) ...
Selecting previously unselected package binutils-common:amd64.
Preparing to unpack .../02-binutils-common_2.44-3_amd64.deb ...
Unpacking binutils-common:amd64 (2.44-3) ...
Selecting previously unselected package libbinutils:amd64.
Preparing to unpack .../03-libbinutils_2.44-3_amd64.deb ...
Unpacking libbinutils:amd64 (2.44-3) ...
Selecting previously unselected package libgprofng0:amd64.
Preparing to unpack .../04-libgprofng0_2.44-3_amd64.deb ...
Unpacking libgprofng0:amd64 (2.44-3) ...
Selecting previously unselected package libctf-nobfd0:amd64.
Preparing to unpack .../05-libctf-nobfd0_2.44-3_amd64.deb ...
Unpacking libctf-nobfd0:amd64 (2.44-3) ...
Selecting previously unselected package libctf0:amd64.
Preparing to unpack .../06-libctf0_2.44-3_amd64.deb ...
Unpacking libctf0:amd64 (2.44-3) ...
Selecting previously unselected package libjansson4:amd64.
Preparing to unpack .../07-libjansson4_2.14-2+b3_amd64.deb ...
Unpacking libjansson4:amd64 (2.14-2+b3) ...
Selecting previously unselected package binutils-x86-64-linux-gnu.
Preparing to unpack .../08-binutils-x86-64-linux-gnu_2.44-3_amd64.deb ...
Unpacking binutils-x86-64-linux-gnu (2.44-3) ...
Selecting previously unselected package binutils.
Preparing to unpack .../09-binutils_2.44-3_amd64.deb ...
Unpacking binutils (2.44-3) ...
Preparing to unpack .../10-libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.1+dfsg-1) over (8.16.1+dfsg-1+b2) ...
Preparing to unpack .../11-libzarith-ocaml_1.14-1+b1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1+b1) over (1.12-1+b1) ...
Preparing to unpack .../12-libfindlib-ocaml_1.9.8-1_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.8-1) over (1.9.6-1+b1) ...
Preparing to unpack .../13-ocaml-base_5.3.0-2_amd64.deb ...
Unpacking ocaml-base (5.3.0-2) over (4.13.1-4) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../14-libstdlib-ocaml_5.3.0-2_amd64.deb ...
Unpacking libstdlib-ocaml (5.3.0-2) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../15-libstdlib-ocaml-dev_5.3.0-2_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.3.0-2) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../16-libcompiler-libs-ocaml-dev_5.3.0-2_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../17-libsexplib0-ocaml_0.17.0-1+b1_amd64.deb ...
Unpacking libsexplib0-ocaml (0.17.0-1+b1) ...
Selecting previously unselected package libppx-deriving-ocaml.
Preparing to unpack .../18-libppx-deriving-ocaml_6.0.3-1+b3_amd64.deb ...
Unpacking libppx-deriving-ocaml (6.0.3-1+b3) ...
Selecting previously unselected package libelpi-ocaml.
Preparing to unpack .../19-libelpi-ocaml_2.0.7-1_amd64.deb ...
Unpacking libelpi-ocaml (2.0.7-1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../20-ocaml-interp_5.3.0-2_amd64.deb ...
Unpacking ocaml-interp (5.3.0-2) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../21-libncurses6_6.5+20250216-2_amd64.deb ...
Unpacking libncurses6:amd64 (6.5+20250216-2) ...
Selecting previously unselected package libc-dev-bin.
Preparing to unpack .../22-libc-dev-bin_2.41-4_amd64.deb ...
Unpacking libc-dev-bin (2.41-4) ...
Selecting previously unselected package linux-libc-dev.
Preparing to unpack .../23-linux-libc-dev_6.12.17-1_all.deb ...
Unpacking linux-libc-dev (6.12.17-1) ...
Selecting previously unselected package libcrypt-dev:amd64.
Preparing to unpack .../24-libcrypt-dev_1%3a4.4.38-1_amd64.deb ...
Unpacking libcrypt-dev:amd64 (1:4.4.38-1) ...
Selecting previously unselected package rpcsvc-proto.
Preparing to unpack .../25-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 .../26-libc6-dev_2.41-4_amd64.deb ...
Unpacking libc6-dev:amd64 (2.41-4) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../27-libncurses-dev_6.5+20250216-2_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5+20250216-2) ...
Selecting previously unselected package libisl23:amd64.
Preparing to unpack .../28-libisl23_0.27-1_amd64.deb ...
Unpacking libisl23:amd64 (0.27-1) ...
Selecting previously unselected package libmpfr6:amd64.
Preparing to unpack .../29-libmpfr6_4.2.1-1+b2_amd64.deb ...
Unpacking libmpfr6:amd64 (4.2.1-1+b2) ...
Selecting previously unselected package libmpc3:amd64.
Preparing to unpack .../30-libmpc3_1.3.1-1+b3_amd64.deb ...
Unpacking libmpc3:amd64 (1.3.1-1+b3) ...
Selecting previously unselected package cpp-14-x86-64-linux-gnu.
Preparing to unpack .../31-cpp-14-x86-64-linux-gnu_14.2.0-17_amd64.deb ...
Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17) ...
Selecting previously unselected package cpp-14.
Preparing to unpack .../32-cpp-14_14.2.0-17_amd64.deb ...
Unpacking cpp-14 (14.2.0-17) ...
Selecting previously unselected package cpp-x86-64-linux-gnu.
Preparing to unpack .../33-cpp-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ...
Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1) ...
Selecting previously unselected package cpp.
Preparing to unpack .../34-cpp_4%3a14.2.0-1_amd64.deb ...
Unpacking cpp (4:14.2.0-1) ...
Selecting previously unselected package libcc1-0:amd64.
Preparing to unpack .../35-libcc1-0_14.2.0-17_amd64.deb ...
Unpacking libcc1-0:amd64 (14.2.0-17) ...
Selecting previously unselected package libgomp1:amd64.
Preparing to unpack .../36-libgomp1_14.2.0-17_amd64.deb ...
Unpacking libgomp1:amd64 (14.2.0-17) ...
Selecting previously unselected package libitm1:amd64.
Preparing to unpack .../37-libitm1_14.2.0-17_amd64.deb ...
Unpacking libitm1:amd64 (14.2.0-17) ...
Selecting previously unselected package libatomic1:amd64.
Preparing to unpack .../38-libatomic1_14.2.0-17_amd64.deb ...
Unpacking libatomic1:amd64 (14.2.0-17) ...
Selecting previously unselected package libasan8:amd64.
Preparing to unpack .../39-libasan8_14.2.0-17_amd64.deb ...
Unpacking libasan8:amd64 (14.2.0-17) ...
Selecting previously unselected package liblsan0:amd64.
Preparing to unpack .../40-liblsan0_14.2.0-17_amd64.deb ...
Unpacking liblsan0:amd64 (14.2.0-17) ...
Selecting previously unselected package libtsan2:amd64.
Preparing to unpack .../41-libtsan2_14.2.0-17_amd64.deb ...
Unpacking libtsan2:amd64 (14.2.0-17) ...
Selecting previously unselected package libubsan1:amd64.
Preparing to unpack .../42-libubsan1_14.2.0-17_amd64.deb ...
Unpacking libubsan1:amd64 (14.2.0-17) ...
Selecting previously unselected package libhwasan0:amd64.
Preparing to unpack .../43-libhwasan0_14.2.0-17_amd64.deb ...
Unpacking libhwasan0:amd64 (14.2.0-17) ...
Selecting previously unselected package libquadmath0:amd64.
Preparing to unpack .../44-libquadmath0_14.2.0-17_amd64.deb ...
Unpacking libquadmath0:amd64 (14.2.0-17) ...
Selecting previously unselected package libgcc-14-dev:amd64.
Preparing to unpack .../45-libgcc-14-dev_14.2.0-17_amd64.deb ...
Unpacking libgcc-14-dev:amd64 (14.2.0-17) ...
Selecting previously unselected package gcc-14-x86-64-linux-gnu.
Preparing to unpack .../46-gcc-14-x86-64-linux-gnu_14.2.0-17_amd64.deb ...
Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17) ...
Selecting previously unselected package gcc-14.
Preparing to unpack .../47-gcc-14_14.2.0-17_amd64.deb ...
Unpacking gcc-14 (14.2.0-17) ...
Selecting previously unselected package gcc-x86-64-linux-gnu.
Preparing to unpack .../48-gcc-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ...
Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1) ...
Selecting previously unselected package gcc.
Preparing to unpack .../49-gcc_4%3a14.2.0-1_amd64.deb ...
Unpacking gcc (4:14.2.0-1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../50-libzstd-dev_1.5.6+dfsg-2_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../51-ocaml_5.3.0-2_amd64.deb ...
Unpacking ocaml (5.3.0-2) ...
Selecting previously unselected package libmenhir-ocaml-dev.
Preparing to unpack .../52-libmenhir-ocaml-dev_20240715+ds-1+b1_amd64.deb ...
Unpacking libmenhir-ocaml-dev (20240715+ds-1+b1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack .../53-libocaml-compiler-libs-ocaml-dev_0.17.0-1+b1_amd64.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1+b1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../54-ocaml-findlib_1.9.8-1_amd64.deb ...
Unpacking ocaml-findlib (1.9.8-1) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../55-libppx-derivers-ocaml-dev_1.2.1-4+b3_amd64.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b3) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../56-libsexplib0-ocaml-dev_0.17.0-1+b1_amd64.deb ...
Unpacking libsexplib0-ocaml-dev (0.17.0-1+b1) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../57-libppxlib-ocaml-dev_0.35.0-1_amd64.deb ...
Unpacking libppxlib-ocaml-dev (0.35.0-1) ...
Selecting previously unselected package libppx-deriving-ocaml-dev.
Preparing to unpack .../58-libppx-deriving-ocaml-dev_6.0.3-1+b3_amd64.deb ...
Unpacking libppx-deriving-ocaml-dev (6.0.3-1+b3) ...
Selecting previously unselected package libre-ocaml-dev.
Preparing to unpack .../59-libre-ocaml-dev_1.12.0+really1.11.0-1+b1_amd64.deb ...
Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ...
Selecting previously unselected package libelpi-ocaml-dev.
Preparing to unpack .../60-libelpi-ocaml-dev_2.0.7-1_amd64.deb ...
Unpacking libelpi-ocaml-dev (2.0.7-1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../61-libfindlib-ocaml-dev_1.9.8-1_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.8-1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../62-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../63-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../64-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../65-libzarith-ocaml-dev_1.14-1+b1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1+b1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../66-libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1) ...
Selecting previously unselected package libcoq-elpi.
Preparing to unpack .../67-libcoq-elpi_2.4.0-1_amd64.deb ...
Unpacking libcoq-elpi (2.4.0-1) ...
Selecting previously unselected package libcoq-hierarchy-builder.
Preparing to unpack .../68-libcoq-hierarchy-builder_1.8.1-1_amd64.deb ...
Unpacking libcoq-hierarchy-builder (1.8.1-1) ...
Preparing to unpack .../69-libcoq-deriving_0.2.1-1+b5_amd64.deb ...
Unpacking libcoq-deriving (0.2.1-1+b5) over (0.1.0-2+b1) ...
Preparing to unpack .../70-libcoq-mathcomp-ssreflect_2.3.0-1+b5_amd64.deb ...
Unpacking libcoq-mathcomp-ssreflect (2.3.0-1+b5) over (1.15.0-1+b4) ...
Preparing to unpack .../71-libcoq-stdlib_8.20.1+dfsg-1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.1+dfsg-1) over (8.16.1+dfsg-1+b2) ...
Selecting previously unselected package coq.
Preparing to unpack .../72-coq_8.20.1+dfsg-1_amd64.deb ...
Unpacking coq (8.20.1+dfsg-1) ...
Preparing to unpack .../73-gcc-12-base_12.4.0-4_amd64.deb ...
Unpacking gcc-12-base:amd64 (12.4.0-4) over (12.2.0-14) ...
Preparing to unpack .../74-libcom-err2_1.47.2-1_amd64.deb ...
Unpacking libcom-err2:amd64 (1.47.2-1) over (1.47.0-2) ...
Preparing to unpack .../75-libss2_1.47.2-1_amd64.deb ...
Unpacking libss2:amd64 (1.47.2-1) over (1.47.0-2) ...
dpkg: warning: unable to delete old directory '/lib/x86_64-linux-gnu': Directory not empty
Setting up media-types (13.0.0) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Setting up libsqlite3-0:amd64 (3.46.1-2) ...
Setting up binutils-common:amd64 (2.44-3) ...
Setting up linux-libc-dev (6.12.17-1) ...
Setting up libctf-nobfd0:amd64 (2.44-3) ...
Setting up libcom-err2:amd64 (1.47.2-1) ...
Setting up libgomp1:amd64 (14.2.0-17) ...
Setting up libsframe1:amd64 (2.44-3) ...
Setting up libjansson4:amd64 (2.14-2+b3) ...
Setting up gcc-12-base:amd64 (12.4.0-4) ...
Setting up tzdata (2025a-2) ...
Current default time zone: 'Etc/UTC'
Local time is now: Tue Mar 18 23:39:41 UTC 2025.
Universal Time is now: Tue Mar 18 23:39:41 UTC 2025.
Run 'dpkg-reconfigure tzdata' if you wish to change it.
Setting up libcoq-stdlib (8.20.1+dfsg-1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Setting up rpcsvc-proto (1.4.3-1) ...
Setting up libmpfr6:amd64 (4.2.1-1+b2) ...
Setting up libncurses6:amd64 (6.5+20250216-2) ...
Setting up libquadmath0:amd64 (14.2.0-17) ...
Setting up libstdlib-ocaml (5.3.0-2) ...
Setting up libmpc3:amd64 (1.3.1-1+b3) ...
Setting up libatomic1:amd64 (14.2.0-17) ...
Setting up libss2:amd64 (1.47.2-1) ...
Setting up ocaml-base (5.3.0-2) ...
Setting up libncursesw6:amd64 (6.5+20250216-2) ...
Setting up logsave (1.47.2-1) ...
Setting up libubsan1:amd64 (14.2.0-17) ...
Setting up libsexplib0-ocaml (0.17.0-1+b1) ...
Setting up mount (2.40.4-5) ...
Setting up libhwasan0:amd64 (14.2.0-17) ...
Setting up libcrypt-dev:amd64 (1:4.4.38-1) ...
Setting up libasan8:amd64 (14.2.0-17) ...
Setting up netbase (6.5) ...
Setting up mawk (1.3.4.20250131-1) ...
Setting up libtsan2:amd64 (14.2.0-17) ...
Setting up libbinutils:amd64 (2.44-3) ...
Setting up libisl23:amd64 (0.27-1) ...
Setting up libc-dev-bin (2.41-4) ...
Setting up readline-common (8.2-6) ...
Setting up libcc1-0:amd64 (14.2.0-17) ...
Setting up liblsan0:amd64 (14.2.0-17) ...
Setting up libitm1:amd64 (14.2.0-17) ...
Setting up libctf0:amd64 (2.44-3) ...
Setting up libppx-deriving-ocaml (6.0.3-1+b3) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libstdlib-ocaml-dev (5.3.0-2) ...
Setting up libfindlib-ocaml (1.9.8-1) ...
Installing new version of config file /etc/ocamlfind.conf ...
Setting up e2fsprogs (1.47.2-1) ...
Installing new version of config file /etc/cron.d/e2scrub_all ...
Installing new version of config file /etc/mke2fs.conf ...
Setting up libzarith-ocaml (1.14-1+b1) ...
Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ...
Setting up libgprofng0:amd64 (2.44-3) ...
Setting up ocaml-interp (5.3.0-2) ...
Setting up ocaml-findlib (1.9.8-1) ...
Setting up cpp-14-x86-64-linux-gnu (14.2.0-17) ...
Setting up cpp-14 (14.2.0-17) ...
Setting up libreadline8t64:amd64 (8.2-6) ...
Setting up libelpi-ocaml (2.0.7-1) ...
Setting up libcoq-core-ocaml (8.20.1+dfsg-1) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libc6-dev:amd64 (2.41-4) ...
Setting up libgcc-14-dev:amd64 (14.2.0-17) ...
Setting up libpython3.13-stdlib:amd64 (3.13.2-1) ...
Setting up libpython3-stdlib:amd64 (3.13.2-2) ...
Setting up binutils-x86-64-linux-gnu (2.44-3) ...
Setting up cpp-x86-64-linux-gnu (4:14.2.0-1) ...
Setting up libncurses-dev:amd64 (6.5+20250216-2) ...
Setting up python3.13 (3.13.2-1) ...
Setting up python3 (3.13.2-2) ...
Setting up binutils (2.44-3) ...
Setting up cpp (4:14.2.0-1) ...
Setting up gcc-14-x86-64-linux-gnu (14.2.0-17) ...
Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ...
Setting up gcc-14 (14.2.0-17) ...
Setting up gcc (4:14.2.0-1) ...
Setting up ocaml (5.3.0-2) ...
Setting up libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ...
Setting up libmenhir-ocaml-dev (20240715+ds-1+b1) ...
Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1+b1) ...
Setting up libfindlib-ocaml-dev (1.9.8-1) ...
Setting up libsexplib0-ocaml-dev (0.17.0-1+b1) ...
Setting up coq (8.20.1+dfsg-1) ...
Setting up libzarith-ocaml-dev (1.14-1+b1) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-4+b3) ...
Setting up libppxlib-ocaml-dev (0.35.0-1) ...
Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1) ...
Setting up libppx-deriving-ocaml-dev (6.0.3-1+b3) ...
Setting up libelpi-ocaml-dev (2.0.7-1) ...
Setting up libcoq-elpi (2.4.0-1) ...
Setting up libcoq-hierarchy-builder (1.8.1-1) ...
Setting up libcoq-mathcomp-ssreflect (2.3.0-1+b5) ...
Setting up libcoq-deriving (0.2.1-1+b5) ...
Processing triggers for debianutils (5.21) ...
Processing triggers for libc-bin (2.41-4) ...
0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-yf', 'dist-upgrade']
0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m48.3s DUMP:
ce422cd92c9397c932e65d83a27a4abd -
0m48.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m48.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-deriving']
0m48.5s DUMP:
Package: libcoq-deriving
Source: coq-deriving (0.2.1-1)
Version: 0.2.1-1+b5
Installed-Size: 1838
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-deriving-zggz3
Depends: libcoq-mathcomp-ssreflect-g5g60, libcoq-stdlib-tgae0
Description-en: deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
.
MathComp is a mathematical library for Coq.
.
Coq is a proof assistant for higher-order logic.
Description-md5: f86da8bb7413c10ca613baec6bbded43
Homepage: https://github.com/arthuraa/deriving/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.2.1-1+b5_amd64.deb
Size: 493984
MD5sum: 50b6a9d19393c3e9b1010a1de8c023eb
SHA256: 27f44a3b5b4ec21fe6fd532d04b4cbdccdd7e67a3db6111f4e7ec37a185a33ef
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-deriving']
0m48.5s INFO: apt-cache knows about the following packages: libcoq-deriving
0m48.5s INFO: Running scripts pre_install
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
0m48.5s DUMP:
Package files:
100 /var/lib/dpkg/status
release a=now
500 http://deb.debian.org/debian trixie/main amd64 Packages
release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64
origin deb.debian.org
Pinned packages:
0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
0m48.6s DUMP:
libcoq-deriving:
Installed: 0.2.1-1+b5
Candidate: 0.2.1-1+b5
Version table:
*** 0.2.1-1+b5 500
500 http://deb.debian.org/debian trixie/main amd64 Packages
100 /var/lib/dpkg/status
0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving']
0m49.0s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
libcoq-deriving is already the newest version (0.2.1-1+b5).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving']
0m49.0s INFO: Running scripts post_install
0m49.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
0m49.0s INFO: Running scripts post_distupgrade
0m49.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_base_cleanup']
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_base_cleanup']
0m49.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_exceptions']
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_exceptions']
0m49.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_force-unsafe-io']
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_force-unsafe-io']
0m49.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_squeeze-backports']
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_squeeze-backports']
0m49.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_zz_backports']
0m49.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_zz_backports']
0m49.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
0m50.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
0m50.1s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpfguast9h to sid
0m50.1s DEBUG: sources.list:
deb http://deb.debian.org/debian/ sid main
0m50.1s INFO: Running scripts pre_distupgrade
0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_allow_unauthenticated']
0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_allow_unauthenticated']
0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_exceptions']
0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_exceptions']
0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386']
0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386']
0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_database-server']
0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_database-server']
0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_upgrade_early']
0m50.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_distupgrade_zz_upgrade_early']
0m50.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'update']
0m53.3s DUMP:
Get:1 http://deb.debian.org/debian sid InRelease [205 kB]
Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.1 MB]
Get:3 http://deb.debian.org/debian sid/main Translation-en [7381 kB]
Fetched 17.7 MB in 2s (8573 kB/s)
Reading package lists...
0m53.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'update']
0m53.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-yf', 'dist-upgrade']
1m4.2s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
The following packages will be upgraded:
cpp-14 cpp-14-x86-64-linux-gnu diffutils e2fsprogs gcc-12-base gcc-14
gcc-14-base gcc-14-x86-64-linux-gnu gpgv libasan8 libatomic1 libc-bin
libc-dev-bin libc6 libc6-dev libcap2 libcc1-0 libcom-err2 libcoq-deriving
libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-ssreflect libexpat1
libext2fs2t64 libgcc-14-dev libgcc-s1 libgomp1 libhwasan0 libidn2-0 libitm1
liblsan0 libpython3.13-minimal libpython3.13-stdlib libquadmath0 libselinux1
libsemanage-common libsemanage2 libsepol2 libss2 libstdc++6 libtsan2
libubsan1 libzstd-dev libzstd1 linux-libc-dev login.defs logsave passwd
python3.13 python3.13-minimal
50 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Need to get 85.6 MB of archives.
After this operation, 854 kB disk space will be freed.
Get:1 http://deb.debian.org/debian sid/main amd64 diffutils amd64 1:3.10-3 [385 kB]
Get:2 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.41-6 [1988 kB]
Get:3 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.41-6 [57.0 kB]
Get:4 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.12.19-1 [2534 kB]
Get:5 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 14.2.0-19 [42.8 kB]
Get:6 http://deb.debian.org/debian sid/main amd64 gcc-14-base amd64 14.2.0-19 [49.4 kB]
Get:7 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 14.2.0-19 [72.8 kB]
Get:8 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 14.2.0-19 [137 kB]
Get:9 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 14.2.0-19 [26.0 kB]
Get:10 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 14.2.0-19 [9308 B]
Get:11 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 14.2.0-19 [2725 kB]
Get:12 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 14.2.0-19 [1204 kB]
Get:13 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 14.2.0-19 [2460 kB]
Get:14 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 14.2.0-19 [1074 kB]
Get:15 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 14.2.0-19 [1488 kB]
Get:16 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 14.2.0-19 [145 kB]
Get:17 http://deb.debian.org/debian sid/main amd64 libgcc-14-dev amd64 14.2.0-19 [2672 kB]
Get:18 http://deb.debian.org/debian sid/main amd64 gcc-14 amd64 14.2.0-19 [540 kB]
Get:19 http://deb.debian.org/debian sid/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-19 [21.4 MB]
Get:20 http://deb.debian.org/debian sid/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-19 [11.0 MB]
Get:21 http://deb.debian.org/debian sid/main amd64 cpp-14 amd64 14.2.0-19 [1280 B]
Get:22 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 14.2.0-19 [714 kB]
Get:23 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.7+dfsg-1 [371 kB]
Get:24 http://deb.debian.org/debian sid/main amd64 libzstd1 amd64 1.5.7+dfsg-1 [304 kB]
Get:25 http://deb.debian.org/debian sid/main amd64 libc6 amd64 2.41-6 [2843 kB]
Get:26 http://deb.debian.org/debian sid/main amd64 libc-bin amd64 2.41-6 [635 kB]
Get:27 http://deb.debian.org/debian sid/main amd64 logsave amd64 1.47.2-1+b1 [24.2 kB]
Get:28 http://deb.debian.org/debian sid/main amd64 libext2fs2t64 amd64 1.47.2-1+b1 [212 kB]
Get:29 http://deb.debian.org/debian sid/main amd64 e2fsprogs amd64 1.47.2-1+b1 [590 kB]
Get:30 http://deb.debian.org/debian sid/main amd64 python3.13 amd64 3.13.2-2 [746 kB]
Get:31 http://deb.debian.org/debian sid/main amd64 libpython3.13-stdlib amd64 3.13.2-2 [1952 kB]
Get:32 http://deb.debian.org/debian sid/main amd64 python3.13-minimal amd64 3.13.2-2 [2210 kB]
Get:33 http://deb.debian.org/debian sid/main amd64 libpython3.13-minimal amd64 3.13.2-2 [859 kB]
Get:34 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.7.0-1 [107 kB]
Get:35 http://deb.debian.org/debian sid/main amd64 login.defs all 1:4.17.3-2 [186 kB]
Get:36 http://deb.debian.org/debian sid/main amd64 libselinux1 amd64 3.8.1-1 [84.7 kB]
Get:37 http://deb.debian.org/debian sid/main amd64 libsemanage-common all 3.8.1-1 [7812 B]
Get:38 http://deb.debian.org/debian sid/main amd64 libsepol2 amd64 3.8.1-1 [296 kB]
Get:39 http://deb.debian.org/debian sid/main amd64 libsemanage2 amd64 3.8.1-1 [95.3 kB]
Get:40 http://deb.debian.org/debian sid/main amd64 passwd amd64 1:4.17.3-2 [1228 kB]
Get:41 http://deb.debian.org/debian sid/main amd64 libcap2 amd64 1:2.75-2 [27.7 kB]
Get:42 http://deb.debian.org/debian sid/main amd64 gcc-12-base amd64 12.4.0-5 [43.9 kB]
Get:43 http://deb.debian.org/debian sid/main amd64 gpgv amd64 2.2.46-5 [221 kB]
Get:44 http://deb.debian.org/debian sid/main amd64 libcom-err2 amd64 1.47.2-1+b1 [24.3 kB]
Get:45 http://deb.debian.org/debian sid/main amd64 libcoq-deriving amd64 0.2.1-1+b6 [494 kB]
Get:46 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.3.0-1+b6 [8255 kB]
Get:47 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.8.1-1+b1 [551 kB]
Get:48 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 2.5.0-1 [12.3 MB]
Get:49 http://deb.debian.org/debian sid/main amd64 libidn2-0 amd64 2.3.8-2 [109 kB]
Get:50 http://deb.debian.org/debian sid/main amd64 libss2 amd64 1.47.2-1+b1 [29.0 kB]
Preconfiguring packages ...
Fetched 85.6 MB in 1s (138 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 ... 21614 files and directories currently installed.)
Preparing to unpack .../diffutils_1%3a3.10-3_amd64.deb ...
Unpacking diffutils (1:3.10-3) over (1:3.10-2) ...
Setting up diffutils (1:3.10-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 ... 21614 files and directories currently installed.)
Preparing to unpack .../libc6-dev_2.41-6_amd64.deb ...
Unpacking libc6-dev:amd64 (2.41-6) over (2.41-4) ...
Preparing to unpack .../libc-dev-bin_2.41-6_amd64.deb ...
Unpacking libc-dev-bin (2.41-6) over (2.41-4) ...
Preparing to unpack .../linux-libc-dev_6.12.19-1_all.deb ...
Unpacking linux-libc-dev (6.12.19-1) over (6.12.17-1) ...
Preparing to unpack .../libcc1-0_14.2.0-19_amd64.deb ...
Unpacking libcc1-0:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../gcc-14-base_14.2.0-19_amd64.deb ...
Unpacking gcc-14-base:amd64 (14.2.0-19) over (14.2.0-17) ...
Setting up gcc-14-base:amd64 (14.2.0-19) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21614 files and directories currently installed.)
Preparing to unpack .../libgcc-s1_14.2.0-19_amd64.deb ...
Unpacking libgcc-s1:amd64 (14.2.0-19) over (14.2.0-17) ...
Setting up libgcc-s1:amd64 (14.2.0-19) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21614 files and directories currently installed.)
Preparing to unpack .../00-libgomp1_14.2.0-19_amd64.deb ...
Unpacking libgomp1:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../01-libitm1_14.2.0-19_amd64.deb ...
Unpacking libitm1:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../02-libatomic1_14.2.0-19_amd64.deb ...
Unpacking libatomic1:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../03-libasan8_14.2.0-19_amd64.deb ...
Unpacking libasan8:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../04-liblsan0_14.2.0-19_amd64.deb ...
Unpacking liblsan0:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../05-libtsan2_14.2.0-19_amd64.deb ...
Unpacking libtsan2:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../06-libubsan1_14.2.0-19_amd64.deb ...
Unpacking libubsan1:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../07-libhwasan0_14.2.0-19_amd64.deb ...
Unpacking libhwasan0:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../08-libquadmath0_14.2.0-19_amd64.deb ...
Unpacking libquadmath0:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../09-libgcc-14-dev_14.2.0-19_amd64.deb ...
Unpacking libgcc-14-dev:amd64 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../10-gcc-14_14.2.0-19_amd64.deb ...
Unpacking gcc-14 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../11-gcc-14-x86-64-linux-gnu_14.2.0-19_amd64.deb ...
Unpacking gcc-14-x86-64-linux-gnu (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-19_amd64.deb ...
Unpacking cpp-14-x86-64-linux-gnu (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../13-cpp-14_14.2.0-19_amd64.deb ...
Unpacking cpp-14 (14.2.0-19) over (14.2.0-17) ...
Preparing to unpack .../14-libstdc++6_14.2.0-19_amd64.deb ...
Unpacking libstdc++6:amd64 (14.2.0-19) over (14.2.0-17) ...
Setting up libstdc++6:amd64 (14.2.0-19) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21614 files and directories currently installed.)
Preparing to unpack .../libzstd-dev_1.5.7+dfsg-1_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1) over (1.5.6+dfsg-2) ...
Preparing to unpack .../libzstd1_1.5.7+dfsg-1_amd64.deb ...
Unpacking libzstd1:amd64 (1.5.7+dfsg-1) over (1.5.6+dfsg-2) ...
Setting up libzstd1:amd64 (1.5.7+dfsg-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 ... 21614 files and directories currently installed.)
Preparing to unpack .../libc6_2.41-6_amd64.deb ...
Unpacking libc6:amd64 (2.41-6) over (2.41-4) ...
Setting up libc6:amd64 (2.41-6) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21614 files and directories currently installed.)
Preparing to unpack .../libc-bin_2.41-6_amd64.deb ...
Unpacking libc-bin (2.41-6) over (2.41-4) ...
Setting up libc-bin (2.41-6) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21614 files and directories currently installed.)
Preparing to unpack .../logsave_1.47.2-1+b1_amd64.deb ...
Unpacking logsave (1.47.2-1+b1) over (1.47.2-1) ...
Preparing to unpack .../libext2fs2t64_1.47.2-1+b1_amd64.deb ...
Leaving 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64'
Leaving 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64'
Leaving 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64'
Leaving 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64'
Unpacking libext2fs2t64:amd64 (1.47.2-1+b1) over (1.47.2-1) ...
Setting up libext2fs2t64:amd64 (1.47.2-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 ... 21616 files and directories currently installed.)
Preparing to unpack .../0-e2fsprogs_1.47.2-1+b1_amd64.deb ...
Unpacking e2fsprogs (1.47.2-1+b1) over (1.47.2-1) ...
Preparing to unpack .../1-python3.13_3.13.2-2_amd64.deb ...
Unpacking python3.13 (3.13.2-2) over (3.13.2-1) ...
Preparing to unpack .../2-libpython3.13-stdlib_3.13.2-2_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.2-2) over (3.13.2-1) ...
Preparing to unpack .../3-python3.13-minimal_3.13.2-2_amd64.deb ...
Unpacking python3.13-minimal (3.13.2-2) over (3.13.2-1) ...
Preparing to unpack .../4-libpython3.13-minimal_3.13.2-2_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.2-2) over (3.13.2-1) ...
Preparing to unpack .../5-libexpat1_2.7.0-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.7.0-1) over (2.6.4-1) ...
Preparing to unpack .../6-login.defs_1%3a4.17.3-2_all.deb ...
Unpacking login.defs (1:4.17.3-2) over (1:4.17.3-1) ...
Setting up login.defs (1:4.17.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 ... 21617 files and directories currently installed.)
Preparing to unpack .../libselinux1_3.8.1-1_amd64.deb ...
Unpacking libselinux1:amd64 (3.8.1-1) over (3.8-4) ...
Setting up libselinux1:amd64 (3.8.1-1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21617 files and directories currently installed.)
Preparing to unpack .../libsemanage-common_3.8.1-1_all.deb ...
Unpacking libsemanage-common (3.8.1-1) over (3.8-1) ...
Setting up libsemanage-common (3.8.1-1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21617 files and directories currently installed.)
Preparing to unpack .../libsepol2_3.8.1-1_amd64.deb ...
Unpacking libsepol2:amd64 (3.8.1-1) over (3.8-1) ...
Setting up libsepol2:amd64 (3.8.1-1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21617 files and directories currently installed.)
Preparing to unpack .../libsemanage2_3.8.1-1_amd64.deb ...
Unpacking libsemanage2:amd64 (3.8.1-1) over (3.8-1+b1) ...
Setting up libsemanage2:amd64 (3.8.1-1) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21616 files and directories currently installed.)
Preparing to unpack .../passwd_1%3a4.17.3-2_amd64.deb ...
Unpacking passwd (1:4.17.3-2) over (1:4.17.3-1) ...
Setting up passwd (1:4.17.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 ... 21616 files and directories currently installed.)
Preparing to unpack .../libcap2_1%3a2.75-2_amd64.deb ...
Unpacking libcap2:amd64 (1:2.75-2) over (1:2.66-5+b1) ...
Setting up libcap2:amd64 (1:2.75-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 ... 21615 files and directories currently installed.)
Preparing to unpack .../0-gcc-12-base_12.4.0-5_amd64.deb ...
Unpacking gcc-12-base:amd64 (12.4.0-5) over (12.4.0-4) ...
Preparing to unpack .../1-gpgv_2.2.46-5_amd64.deb ...
Unpacking gpgv (2.2.46-5) over (2.2.46-1+b1) ...
Preparing to unpack .../2-libcom-err2_1.47.2-1+b1_amd64.deb ...
Unpacking libcom-err2:amd64 (1.47.2-1+b1) over (1.47.2-1) ...
Preparing to unpack .../3-libcoq-deriving_0.2.1-1+b6_amd64.deb ...
Unpacking libcoq-deriving (0.2.1-1+b6) over (0.2.1-1+b5) ...
Preparing to unpack .../4-libcoq-mathcomp-ssreflect_2.3.0-1+b6_amd64.deb ...
Unpacking libcoq-mathcomp-ssreflect (2.3.0-1+b6) over (2.3.0-1+b5) ...
Preparing to unpack .../5-libcoq-hierarchy-builder_1.8.1-1+b1_amd64.deb ...
Unpacking libcoq-hierarchy-builder (1.8.1-1+b1) over (1.8.1-1) ...
Preparing to unpack .../6-libcoq-elpi_2.5.0-1_amd64.deb ...
Unpacking libcoq-elpi (2.5.0-1) over (2.4.0-1) ...
Preparing to unpack .../7-libidn2-0_2.3.8-2_amd64.deb ...
Unpacking libidn2-0:amd64 (2.3.8-2) over (2.3.8-1) ...
Preparing to unpack .../8-libss2_1.47.2-1+b1_amd64.deb ...
Unpacking libss2:amd64 (1.47.2-1+b1) over (1.47.2-1) ...
Setting up libexpat1:amd64 (2.7.0-1) ...
Setting up libcoq-elpi (2.5.0-1) ...
Setting up libzstd-dev:amd64 (1.5.7+dfsg-1) ...
Setting up linux-libc-dev (6.12.19-1) ...
Setting up libidn2-0:amd64 (2.3.8-2) ...
Setting up libcom-err2:amd64 (1.47.2-1+b1) ...
Setting up libgomp1:amd64 (14.2.0-19) ...
Setting up gcc-12-base:amd64 (12.4.0-5) ...
Setting up libpython3.13-minimal:amd64 (3.13.2-2) ...
Setting up libquadmath0:amd64 (14.2.0-19) ...
Setting up libcoq-hierarchy-builder (1.8.1-1+b1) ...
Setting up libatomic1:amd64 (14.2.0-19) ...
Setting up libss2:amd64 (1.47.2-1+b1) ...
Setting up cpp-14-x86-64-linux-gnu (14.2.0-19) ...
Setting up logsave (1.47.2-1+b1) ...
Setting up cpp-14 (14.2.0-19) ...
Setting up libubsan1:amd64 (14.2.0-19) ...
Setting up libhwasan0:amd64 (14.2.0-19) ...
Setting up gpgv (2.2.46-5) ...
Setting up libasan8:amd64 (14.2.0-19) ...
Setting up python3.13-minimal (3.13.2-2) ...
Setting up libtsan2:amd64 (14.2.0-19) ...
Setting up libc-dev-bin (2.41-6) ...
Setting up libpython3.13-stdlib:amd64 (3.13.2-2) ...
Setting up libcc1-0:amd64 (14.2.0-19) ...
Setting up liblsan0:amd64 (14.2.0-19) ...
Setting up libitm1:amd64 (14.2.0-19) ...
Setting up python3.13 (3.13.2-2) ...
Setting up libcoq-mathcomp-ssreflect (2.3.0-1+b6) ...
Setting up e2fsprogs (1.47.2-1+b1) ...
Setting up libc6-dev:amd64 (2.41-6) ...
Setting up libgcc-14-dev:amd64 (14.2.0-19) ...
Setting up libcoq-deriving (0.2.1-1+b6) ...
Setting up gcc-14-x86-64-linux-gnu (14.2.0-19) ...
Setting up gcc-14 (14.2.0-19) ...
Processing triggers for libc-bin (2.41-6) ...
1m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-yf', 'dist-upgrade']
1m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'sh', '-c', 'apt-cache dumpavail | md5sum']
1m5.0s DUMP:
cbbf38a1969ebc795190c7c5c425fcc7 -
1m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'sh', '-c', 'apt-cache dumpavail | md5sum']
1m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-deriving']
1m5.3s DUMP:
Package: libcoq-deriving
Source: coq-deriving (0.2.1-1)
Version: 0.2.1-1+b6
Installed-Size: 1838
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-deriving-t1ac3
Depends: libcoq-mathcomp-ssreflect-5fp29, libcoq-stdlib-tgae0
Description-en: deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
.
MathComp is a mathematical library for Coq.
.
Coq is a proof assistant for higher-order logic.
Description-md5: f86da8bb7413c10ca613baec6bbded43
Homepage: https://github.com/arthuraa/deriving/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.2.1-1+b6_amd64.deb
Size: 494364
MD5sum: 72a5fb7677a8e99ab02eb800bde06a9f
SHA256: 5b8aba65e80f9297591d24074a688820ee8846bf50eb9ff291761eb061721a62
1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-deriving']
1m5.3s INFO: apt-cache knows about the following packages: libcoq-deriving
1m5.3s INFO: Running scripts pre_install
1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
1m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
1m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
1m5.4s DUMP:
Package files:
100 /var/lib/dpkg/status
release a=now
500 http://deb.debian.org/debian sid/main amd64 Packages
release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64
origin deb.debian.org
Pinned packages:
1m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
1m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
1m5.4s DUMP:
libcoq-deriving:
Installed: 0.2.1-1+b6
Candidate: 0.2.1-1+b6
Version table:
*** 0.2.1-1+b6 500
500 http://deb.debian.org/debian sid/main amd64 Packages
100 /var/lib/dpkg/status
1m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
1m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving']
1m6.1s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
libcoq-deriving is already the newest version (0.2.1-1+b6).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving']
1m6.1s INFO: Running scripts post_install
1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
1m6.1s INFO: Running scripts post_distupgrade
1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_base_cleanup']
1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_base_cleanup']
1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_exceptions']
1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_exceptions']
1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_force-unsafe-io']
1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_force-unsafe-io']
1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_squeeze-backports']
1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_squeeze-backports']
1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_zz_backports']
1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_distupgrade_zz_backports']
1m6.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m7.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m7.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m9.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m9.5s INFO: Running scripts pre_install
1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
1m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_database-server']
1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
1m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_exceptions']
1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
1m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_extras']
1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
1m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture']
1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
1m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_install_foreign_architecture_i386']
1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
1m9.6s DUMP:
Package files:
100 /var/lib/dpkg/status
release a=now
500 http://deb.debian.org/debian sid/main amd64 Packages
release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64
origin deb.debian.org
Pinned packages:
1m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy']
1m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
1m9.6s DUMP:
libcoq-deriving:
Installed: 0.2.1-1+b6
Candidate: 0.2.1-1+b6
Version table:
*** 0.2.1-1+b6 500
500 http://deb.debian.org/debian sid/main amd64 Packages
100 /var/lib/dpkg/status
1m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-cache', 'policy', 'libcoq-deriving']
1m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving=0.2.1-1+b6']
1m10.1s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
libcoq-deriving is already the newest version (0.2.1-1+b6).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
1m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', '-y', 'install', 'libcoq-deriving=0.2.1-1+b6']
1m10.1s INFO: Running scripts post_install
1m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
1m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_install_exceptions']
1m10.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m11.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m12.5s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpfguast9h', '-ac', '--ignore-obsolete']
1m16.7s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpfguast9h', '-ac', '--ignore-obsolete']
1m16.7s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate']
1m16.8s DUMP:
0.15.6
1m16.8s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate']
1m16.8s INFO: Running adequate version 0.15.6 now.
1m16.8s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'libcoq-deriving']
1m16.9s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'libcoq-deriving']
1m16.9s INFO: Running scripts pre_remove
1m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_40_find_missing_md5sums']
1m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_40_find_missing_md5sums']
1m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles']
1m17.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles']
1m17.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_40_find_unowned_lib_links']
1m19.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_40_find_unowned_lib_links']
1m19.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_50_find_bad_permissions']
1m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_50_find_bad_permissions']
1m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_50_find_missing_copyright']
1m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_50_find_missing_copyright']
1m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_exceptions']
1m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/pre_remove_exceptions']
1m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
1m19.9s DUMP:
install ok installed adduser adduser 3.145
install ok installed apt apt 2.9.33
install ok installed base-files base-files 13.7
install ok installed base-passwd base-passwd 3.6.6
install ok installed bash bash 5.2.37-1.1+b1
install ok installed binutils binutils 2.44-3
install ok installed binutils-common:amd64 binutils-common 2.44-3
install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.44-3
install ok installed bsdutils bsdutils 1:2.40.4-5
install ok installed coq coq 8.20.1+dfsg-1
install ok installed coreutils coreutils 9.5-1+b1
install ok installed cpp cpp 4:14.2.0-1
install ok installed cpp-14 cpp-14 14.2.0-19
install ok installed cpp-14-x86-64-linux-gnu cpp-14-x86-64-linux-gnu 14.2.0-19
install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:14.2.0-1
install ok installed dash dash 0.5.12-12
install ok installed debconf debconf 1.5.91
install ok installed debian-archive-keyring debian-archive-keyring 2023.4
install ok installed debianutils debianutils 5.21
install ok installed diffutils diffutils 1:3.10-3
install ok installed dpkg dpkg 1.22.18
install ok installed e2fsprogs e2fsprogs 1.47.2-1+b1
install ok installed findutils findutils 4.10.0-3
install ok installed gcc gcc 4:14.2.0-1
install ok installed gcc-12-base:amd64 gcc-12-base 12.4.0-5
install ok installed gcc-14 gcc-14 14.2.0-19
install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-19
install ok installed gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu 14.2.0-19
install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:14.2.0-1
install ok installed gpgv gpgv 2.2.46-5
install ok installed grep grep 3.11-4
install ok installed gzip gzip 1.13-1
install ok installed hostname hostname 3.25
install ok installed init-system-helpers init-system-helpers 1.68
install ok installed libacl1:amd64 libacl1 2.3.2-2+b1
install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.6.1
install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 2.9.33
install ok installed libasan8:amd64 libasan8 14.2.0-19
install ok installed libatomic1:amd64 libatomic1 14.2.0-19
install ok installed libattr1:amd64 libattr1 1:2.5.2-3
install ok installed libaudit-common libaudit-common 1:4.0.2-2
install ok installed libaudit1:amd64 libaudit1 1:4.0.2-2+b2
install ok installed libbinutils:amd64 libbinutils 2.44-3
install ok installed libblkid1:amd64 libblkid1 2.40.4-5
install ok installed libbsd0:amd64 libbsd0 0.12.2-2
install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6
install ok installed libc-bin libc-bin 2.41-6
install ok installed libc-dev-bin libc-dev-bin 2.41-6
install ok installed libc6:amd64 libc6 2.41-6
install ok installed libc6-dev:amd64 libc6-dev 2.41-6
install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b1
install ok installed libcap2:amd64 libcap2 1:2.75-2
install ok installed libcc1-0:amd64 libcc1-0 14.2.0-19
install ok installed libcom-err2:amd64 libcom-err2 1.47.2-1+b1
install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.3.0-2
install ok installed libcoq-core-ocaml libcoq-core-ocaml 8.20.1+dfsg-1
install ok installed libcoq-core-ocaml-dev libcoq-core-ocaml-dev 8.20.1+dfsg-1
install ok installed libcoq-deriving libcoq-deriving 0.2.1-1+b6
install ok installed libcoq-elpi libcoq-elpi 2.5.0-1
install ok installed libcoq-hierarchy-builder libcoq-hierarchy-builder 1.8.1-1+b1
install ok installed libcoq-mathcomp-ssreflect libcoq-mathcomp-ssreflect 2.3.0-1+b6
install ok installed libcoq-stdlib libcoq-stdlib 8.20.1+dfsg-1
install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.38-1
install ok installed libcrypt1:amd64 libcrypt1 1:4.4.38-1
install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.44-3
install ok installed libctf0:amd64 libctf0 2.44-3
install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9
install ok installed libdebconfclient0:amd64 libdebconfclient0 0.277
install ok installed libelpi-ocaml libelpi-ocaml 2.0.7-1
install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 2.0.7-1
install ok installed libexpat1:amd64 libexpat1 2.7.0-1
install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.2-1+b1
install ok installed libffi8:amd64 libffi8 3.4.7-1
install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.8-1
install ok installed libfindlib-ocaml-dev libfindlib-ocaml-dev 1.9.8-1
install ok installed libgcc-14-dev:amd64 libgcc-14-dev 14.2.0-19
install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-19
install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-7
install ok installed libgmp-dev:amd64 libgmp-dev 2:6.3.0+dfsg-3
install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-3
install ok installed libgmp3-dev:amd64 libgmp3-dev 2:6.3.0+dfsg-3
install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.3.0+dfsg-3
install ok installed libgnutls30:amd64 libgnutls30 3.7.9-2+deb12u4
install ok installed libgomp1:amd64 libgomp1 14.2.0-19
install ok installed libgpg-error0:amd64 libgpg-error0 1.51-3
install ok installed libgprofng0:amd64 libgprofng0 2.44-3
install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.1-1
install ok installed libhwasan0:amd64 libhwasan0 14.2.0-19
install ok installed libidn2-0:amd64 libidn2-0 2.3.8-2
install ok installed libisl23:amd64 libisl23 0.27-1
install ok installed libitm1:amd64 libitm1 14.2.0-19
install ok installed libjansson4:amd64 libjansson4 2.14-2+b3
install ok installed liblsan0:amd64 liblsan0 14.2.0-19
install ok installed liblz4-1:amd64 liblz4-1 1.10.0-4
install ok installed liblzma5:amd64 liblzma5 5.6.4-1
install ok installed libmd0:amd64 libmd0 1.1.0-2+b1
install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20240715+ds-1+b1
install ok installed libmount1:amd64 libmount1 2.40.4-5
install ok installed libmpc3:amd64 libmpc3 1.3.1-1+b3
install ok installed libmpfr6:amd64 libmpfr6 4.2.1-1+b2
install ok installed libncurses-dev:amd64 libncurses-dev 6.5+20250216-2
install ok installed libncurses6:amd64 libncurses6 6.5+20250216-2
install ok installed libncursesw6:amd64 libncursesw6 6.5+20250216-2
install ok installed libnettle8t64:amd64 libnettle8t64 3.10.1-1
install ok installed libocaml-compiler-libs-ocaml-dev libocaml-compiler-libs-ocaml-dev 0.17.0-1+b1
install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-3
install ok installed libpam-modules:amd64 libpam-modules 1.7.0-3
install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-3
install ok installed libpam-runtime libpam-runtime 1.7.0-3
install ok installed libpam0g:amd64 libpam0g 1.7.0-3
install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.45-1
install ok installed libppx-derivers-ocaml-dev libppx-derivers-ocaml-dev 1.2.1-4+b3
install ok installed libppx-deriving-ocaml libppx-deriving-ocaml 6.0.3-1+b3
install ok installed libppx-deriving-ocaml-dev libppx-deriving-ocaml-dev 6.0.3-1+b3
install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.35.0-1
install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.13.2-2
install ok installed libpython3.13-minimal:amd64 libpython3.13-minimal 3.13.2-2
install ok installed libpython3.13-stdlib:amd64 libpython3.13-stdlib 3.13.2-2
install ok installed libquadmath0:amd64 libquadmath0 14.2.0-19
install ok installed libre-ocaml-dev libre-ocaml-dev 1.12.0+really1.11.0-1+b1
install ok installed libreadline8t64:amd64 libreadline8t64 8.2-6
install ok installed libseccomp2:amd64 libseccomp2 2.5.5-2+b1
install ok installed libselinux1:amd64 libselinux1 3.8.1-1
install ok installed libsemanage-common libsemanage-common 3.8.1-1
install ok installed libsemanage2:amd64 libsemanage2 3.8.1-1
install ok installed libsepol2:amd64 libsepol2 3.8.1-1
install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.17.0-1+b1
install ok installed libsexplib0-ocaml-dev libsexplib0-ocaml-dev 0.17.0-1+b1
install ok installed libsframe1:amd64 libsframe1 2.44-3
install ok installed libsmartcols1:amd64 libsmartcols1 2.40.4-5
install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-2
install ok installed libss2:amd64 libss2 1.47.2-1+b1
install ok installed libssl3t64:amd64 libssl3t64 3.4.1-1
install ok installed libstdc++6:amd64 libstdc++6 14.2.0-19
install ok installed libstdlib-ocaml libstdlib-ocaml 5.3.0-2
install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 5.3.0-2
install ok installed libsystemd0:amd64 libsystemd0 257.4-3
install ok installed libtasn1-6:amd64 libtasn1-6 4.20.0-2
install ok installed libtinfo6:amd64 libtinfo6 6.5+20250216-2
install ok installed libtsan2:amd64 libtsan2 14.2.0-19
install ok installed libubsan1:amd64 libubsan1 14.2.0-19
install ok installed libudev1:amd64 libudev1 257.4-3
install ok installed libunistring2:amd64 libunistring2 1.0-2
install ok installed libunistring5:amd64 libunistring5 1.3-1
install ok installed libuuid1:amd64 libuuid1 2.40.4-5
install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2
install ok installed libzarith-ocaml libzarith-ocaml 1.14-1+b1
install ok installed libzarith-ocaml-dev libzarith-ocaml-dev 1.14-1+b1
install ok installed libzstd-dev:amd64 libzstd-dev 1.5.7+dfsg-1
install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-1
install ok installed linux-libc-dev linux-libc-dev 6.12.19-1
install ok installed login login 1:4.16.0-2+really2.40.4-5
install ok installed login.defs login.defs 1:4.17.3-2
install ok installed logsave logsave 1.47.2-1+b1
install ok installed mawk mawk 1.3.4.20250131-1
install ok installed media-types media-types 13.0.0
install ok installed mount mount 2.40.4-5
install ok installed ncurses-base ncurses-base 6.5+20250216-2
install ok installed ncurses-bin ncurses-bin 6.5+20250216-2
install ok installed netbase netbase 6.5
install ok installed ocaml ocaml 5.3.0-2
install ok installed ocaml-base ocaml-base 5.3.0-2
install ok installed ocaml-findlib ocaml-findlib 1.9.8-1
install ok installed ocaml-interp ocaml-interp 5.3.0-2
install ok installed openssl-provider-legacy openssl-provider-legacy 3.4.1-1
install ok installed passwd passwd 1:4.17.3-2
install ok installed perl-base perl-base 5.40.1-2
install ok installed python3 python3 3.13.2-2
install ok installed python3-minimal python3-minimal 3.13.2-2
install ok installed python3.13 python3.13 3.13.2-2
install ok installed python3.13-minimal python3.13-minimal 3.13.2-2
install ok installed readline-common readline-common 8.2-6
install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1
install ok installed sed sed 4.9-2
install ok installed sqv sqv 1.2.1-6+b1
install ok installed sysvinit-utils sysvinit-utils 3.14-4
install ok installed tar tar 1.35+dfsg-3.1
install ok installed tzdata tzdata 2025a-2
install ok installed usr-is-merged usr-is-merged 39+nmu2
install ok installed util-linux util-linux 2.40.4-5
install ok installed util-linux-extra util-linux-extra 2.40.4-5
install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1
1m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
1m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-deriving']
1m21.6s DUMP:
Reading package lists...
Building dependency tree...
Reading state information...
The following packages will be REMOVED:
binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14
cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14
gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils
libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml
libcoq-core-ocaml-dev libcoq-deriving libcoq-elpi libcoq-hierarchy-builder
libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0
libelpi-ocaml libelpi-ocaml-dev libexpat1 libfindlib-ocaml
libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 liblsan0
libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6
libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0
libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev
libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2
libubsan1 libzarith-ocaml libzarith-ocaml-dev libzstd-dev linux-libc-dev
media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3
python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto
0 upgraded, 0 newly installed, 86 to remove and 0 not upgraded.
After this operation, 1335 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 ... 21654 files and directories currently installed.)
Removing libcoq-deriving (0.2.1-1+b6) ...
Removing libcoq-mathcomp-ssreflect (2.3.0-1+b6) ...
Removing libcoq-hierarchy-builder (1.8.1-1+b1) ...
Removing libcoq-elpi (2.5.0-1) ...
Removing libcoq-core-ocaml-dev (8.20.1+dfsg-1) ...
Removing coq (8.20.1+dfsg-1) ...
Removing libelpi-ocaml-dev (2.0.7-1) ...
Removing libppx-deriving-ocaml-dev (6.0.3-1+b3) ...
Removing libppxlib-ocaml-dev (0.35.0-1) ...
Removing libppx-derivers-ocaml-dev (1.2.1-4+b3) ...
Removing libzarith-ocaml-dev (1.14-1+b1) ...
Removing libfindlib-ocaml-dev (1.9.8-1) ...
Removing libcoq-core-ocaml (8.20.1+dfsg-1) ...
Removing libcoq-stdlib (8.20.1+dfsg-1) ...
Removing libelpi-ocaml (2.0.7-1) ...
Removing python3 (3.13.2-2) ...
Removing python3-minimal (3.13.2-2) ...
Removing python3.13 (3.13.2-2) ...
Removing python3.13-minimal (3.13.2-2) ...
Removing libexpat1:amd64 (2.7.0-1) ...
Removing ocaml-findlib (1.9.8-1) ...
Removing libfindlib-ocaml (1.9.8-1) ...
Removing libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
Removing libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Removing libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Removing libmenhir-ocaml-dev (20240715+ds-1+b1) ...
Removing libpython3-stdlib:amd64 (3.13.2-2) ...
Removing libpython3.13-stdlib:amd64 (3.13.2-2) ...
find: '/usr/lib/python3': No such file or directory
Removing libocaml-compiler-libs-ocaml-dev (0.17.0-1+b1) ...
Removing libppx-deriving-ocaml (6.0.3-1+b3) ...
Removing libpython3.13-minimal:amd64 (3.13.2-2) ...
find: '/usr/lib/python3': No such file or directory
Removing libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ...
Removing libreadline8t64:amd64 (8.2-6) ...
Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Removing libsexplib0-ocaml-dev (0.17.0-1+b1) ...
Removing libsexplib0-ocaml (0.17.0-1+b1) ...
Removing libsqlite3-0:amd64 (3.46.1-2) ...
Removing libzarith-ocaml (1.14-1+b1) ...
Removing media-types (13.0.0) ...
Removing netbase (6.5) ...
Removing readline-common (8.2-6) ...
Removing ocaml (5.3.0-2) ...
Removing gcc (4:14.2.0-1) ...
Removing gcc-14 (14.2.0-19) ...
Removing binutils (2.44-3) ...
Removing libgprofng0:amd64 (2.44-3) ...
Removing gcc-x86-64-linux-gnu (4:14.2.0-1) ...
Removing gcc-14-x86-64-linux-gnu (14.2.0-19) ...
Removing binutils-x86-64-linux-gnu (2.44-3) ...
Removing libctf0:amd64 (2.44-3) ...
Removing libbinutils:amd64 (2.44-3) ...
Removing binutils-common:amd64 (2.44-3) ...
Removing cpp (4:14.2.0-1) ...
Removing cpp-14 (14.2.0-19) ...
Removing cpp-x86-64-linux-gnu (4:14.2.0-1) ...
Removing cpp-14-x86-64-linux-gnu (14.2.0-19) ...
Removing libgcc-14-dev:amd64 (14.2.0-19) ...
Removing libasan8:amd64 (14.2.0-19) ...
Removing libatomic1:amd64 (14.2.0-19) ...
Removing libncurses-dev:amd64 (6.5+20250216-2) ...
Removing libc6-dev:amd64 (2.41-6) ...
Removing libc-dev-bin (2.41-6) ...
Removing libcc1-0:amd64 (14.2.0-19) ...
Removing ocaml-interp (5.3.0-2) ...
Removing libcompiler-libs-ocaml-dev (5.3.0-2) ...
Removing libcrypt-dev:amd64 (1:4.4.38-1) ...
Removing libctf-nobfd0:amd64 (2.44-3) ...
Removing libgomp1:amd64 (14.2.0-19) ...
Removing libhwasan0:amd64 (14.2.0-19) ...
Removing libisl23:amd64 (0.27-1) ...
Removing libitm1:amd64 (14.2.0-19) ...
Removing libjansson4:amd64 (2.14-2+b3) ...
Removing liblsan0:amd64 (14.2.0-19) ...
Removing libmpc3:amd64 (1.3.1-1+b3) ...
Removing libmpfr6:amd64 (4.2.1-1+b2) ...
Removing libncurses6:amd64 (6.5+20250216-2) ...
Removing libncursesw6:amd64 (6.5+20250216-2) ...
Removing libquadmath0:amd64 (14.2.0-19) ...
Removing libsframe1:amd64 (2.44-3) ...
Removing ocaml-base (5.3.0-2) ...
Removing libstdlib-ocaml-dev (5.3.0-2) ...
Removing libstdlib-ocaml (5.3.0-2) ...
Removing libtsan2:amd64 (14.2.0-19) ...
Removing libubsan1:amd64 (14.2.0-19) ...
Removing libzstd-dev:amd64 (1.5.7+dfsg-1) ...
Removing linux-libc-dev (6.12.19-1) ...
Removing rpcsvc-proto (1.4.3-1) ...
Processing triggers for libc-bin (2.41-6) ...
1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-deriving']
1m21.6s INFO: Running scripts post_remove
1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_remove_exceptions']
1m21.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_remove_exceptions']
1m21.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto']
1m21.8s DUMP:
(Reading database ... 5335 files and directories currently installed.)
Purging configuration files for binutils (2.44-3) ...
Purging configuration files for binutils-common:amd64 (2.44-3) ...
dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed
dpkg: warning: ignoring request to remove coq which isn't installed
Purging configuration files for cpp (4:14.2.0-1) ...
dpkg: warning: ignoring request to remove cpp-14 which isn't installed
dpkg: warning: ignoring request to remove cpp-14-x86-64-linux-gnu which isn't installed
dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which isn't installed
dpkg: warning: ignoring request to remove gcc which isn't installed
dpkg: warning: ignoring request to remove gcc-14 which isn't installed
dpkg: warning: ignoring request to remove gcc-14-x86-64-linux-gnu which isn't installed
dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which isn't installed
dpkg: warning: ignoring request to remove libasan8 which isn't installed
dpkg: warning: ignoring request to remove libatomic1 which isn't installed
dpkg: warning: ignoring request to remove libbinutils which isn't installed
dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed
dpkg: warning: ignoring request to remove libc6-dev which isn't installed
dpkg: warning: ignoring request to remove libcc1-0 which isn't installed
dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which isn't installed
dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed
dpkg: warning: ignoring request to remove libcoq-core-ocaml-dev which isn't installed
dpkg: warning: ignoring request to remove libcoq-elpi which isn't installed
dpkg: warning: ignoring request to remove libcoq-hierarchy-builder which isn't installed
dpkg: warning: ignoring request to remove libcoq-mathcomp-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.38-1) ...
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.8-1) ...
dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed
dpkg: warning: ignoring request to remove libgcc-14-dev which isn't installed
dpkg: warning: ignoring request to remove libgmp-dev which isn't installed
dpkg: warning: ignoring request to remove libgmp3-dev which isn't installed
dpkg: warning: ignoring request to remove libgmpxx4ldbl which isn't installed
dpkg: warning: ignoring request to remove libgomp1 which isn't installed
dpkg: warning: ignoring request to remove libgprofng0 which isn't installed
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 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 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.13-minimal:amd64 (3.13.2-2) ...
dpkg: warning: ignoring request to remove libpython3.13-stdlib which isn't installed
dpkg: warning: ignoring request to remove libquadmath0 which isn't installed
dpkg: warning: ignoring request to remove libre-ocaml-dev which isn't installed
Purging configuration files for libreadline8t64:amd64 (8.2-6) ...
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
dpkg: warning: ignoring request to remove libtsan2 which isn't installed
dpkg: warning: ignoring request to remove libubsan1 which isn't installed
dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed
dpkg: warning: ignoring request to remove libzarith-ocaml-dev which isn't installed
dpkg: warning: ignoring request to remove libzstd-dev which isn't installed
dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed
Purging configuration files for media-types (13.0.0) ...
Purging configuration files for netbase (6.5) ...
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.13.2-2) ...
dpkg: warning: ignoring request to remove python3-minimal which isn't installed
dpkg: warning: ignoring request to remove python3.13 which isn't installed
Purging configuration files for python3.13-minimal (3.13.2-2) ...
Purging configuration files for readline-common (8.2-6) ...
dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed
1m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto']
1m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--purge', 'libcoq-deriving']
1m21.8s DUMP:
dpkg: warning: ignoring request to remove libcoq-deriving which isn't installed
1m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--purge', 'libcoq-deriving']
1m21.8s INFO: Running scripts post_purge
1m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_purge_exceptions']
1m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_purge_exceptions']
1m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--purge', '--pending']
1m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--purge', '--pending']
1m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--remove', '--pending']
1m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg', '--remove', '--pending']
1m21.8s INFO: Running scripts post_test
1m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_test_exceptions']
1m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'tmp/scripts/post_test_exceptions']
1m21.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m22.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m22.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg-divert', '--list']
1m22.3s DUMP:
diversion of /sbin/mkfs.bfs to /sbin/mkfs.bfs.usr-is-merged by util-linux-extra
diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64
local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged
diversion of /sbin/mkfs.minix to /sbin/mkfs.minix.usr-is-merged by util-linux-extra
diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64
diversion of /sbin/mkfs.cramfs to /sbin/mkfs.cramfs.usr-is-merged by util-linux-extra
local diversion of /home to /home.distrib
diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6
diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64
diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64
diversion of /libx32 to /.libx32.usr-is-merged by base-files
local diversion of /usr/bin/sync to /usr/bin/sync.distrib
diversion of /sbin/ctrlaltdel to /sbin/ctrlaltdel.usr-is-merged by util-linux-extra
diversion of /sbin/fsck.minix to /sbin/fsck.minix.usr-is-merged by util-linux-extra
diversion of /lib32 to /.lib32.usr-is-merged by base-files
diversion of /libo32 to /.libo32.usr-is-merged by base-files
diversion of /sbin/fsck.cramfs to /sbin/fsck.cramfs.usr-is-merged by util-linux-extra
1m22.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'dpkg-divert', '--list']
1m22.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'clean']
1m22.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpfguast9h', 'apt-get', 'clean']
1m22.4s DEBUG: Recording chroot state
1m23.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/shm']
1m23.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/shm']
1m23.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/console']
1m23.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/console']
1m23.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/ptmx']
1m23.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/ptmx']
1m23.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/pts']
1m23.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/dev/pts']
1m23.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/proc']
1m23.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpfguast9h/proc']
1m23.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m24.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpfguast9h']
1m24.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpfguast9h
1m24.0s INFO: PASS: Upgrading between Debian distributions.
1m24.0s INFO: PASS: All tests.
1m24.0s INFO: piuparts run ends.
ret=0
End: 2025-03-18 23:40:20 GMT