Start: 2024-12-20 03:36:14 GMT

[testing]
Package: libcoq-interval
Source: coq-interval (4.11.1-1)
Version: 4.11.1-1+b2
Installed-Size: 16814
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-interval-q2dz2
Depends: libcoq-bignums-igo98, libcoq-coquelicot-q5292, libcoq-flocq-yyu78, libcoq-mathcomp-ssreflect-ckbw3, libcoq-stdlib-p29e7
Description: interval arithmetic for Coq
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description-md5: 592b78874085ed93fea0d897f7ed5db2
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-interval/libcoq-interval_4.11.1-1+b2_amd64.deb
Size: 6479440
MD5sum: b90b1e5a1e9bd39f6758d3edb1fa3a36
SHA256: 0bb762303ec3a0029bf13d88b9d29f822c5ff424e09ba6bb4d28ecedf7317a46

[sid]
Package: libcoq-interval
Source: coq-interval (4.11.1-1)
Version: 4.11.1-1+b3
Installed-Size: 16893
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-interval-3bt31
Depends: libcoq-bignums-igo98, libcoq-coquelicot-711v7, libcoq-flocq-yyu78, libcoq-mathcomp-ssreflect-vk1c9, libcoq-stdlib-p29e7
Description: interval arithmetic for Coq
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description-md5: 592b78874085ed93fea0d897f7ed5db2
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-interval/libcoq-interval_4.11.1-1+b3_amd64.deb
Size: 6511508
MD5sum: 56b8bb126962908edaf6fb2a3bc46306
SHA256: b01a17f1a92c31148c1b318a260c537996de502a51dd7cf19d1a5c3de6e204a1

Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-interval=4.11.1-1+b3
0m0.0s INFO: ------------------------------------------------------------------------------
0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile.
0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ
0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong.
0m0.0s INFO: ------------------------------------------------------------------------------
0m0.0s INFO: piuparts version 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up.
0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-interval=4.11.1-1+b3
0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64
0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpxuc5g3f8
0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpxuc5g3f8
0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz']
0m0.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz']
0m0.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/proc']
0m0.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/proc']
0m0.3s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/pts']
0m0.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/pts']
0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/ptmx']
0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/ptmx']
0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/console']
0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/console']
0m0.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/shm']
0m0.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/shm']
0m0.4s DEBUG: sources.list:
  deb http://deb.debian.org/debian/ trixie main
0m0.4s DEBUG: Created policy-rc.d and chmodded it.
0m0.4s DEBUG: Created resolv.conf.
0m0.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpxuc5g3f8/tmp/scripts/
0m0.4s INFO: Running scripts post_chroot_unpack
0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated']
0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated']
0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'update']
0m2.4s DUMP: 
  Get:1 http://deb.debian.org/debian trixie InRelease [172 kB]
  Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9378 kB]
  Get:3 http://deb.debian.org/debian trixie/main Translation-en [6289 kB]
  Fetched 15.8 MB in 1s (13.1 MB/s)
  Reading package lists...
0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'update']
0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-yf', 'dist-upgrade']
0m4.0s DUMP: 
  Reading package lists...
  Building dependency tree...
  Calculating upgrade...
  The following packages will be upgraded:
    apt libapt-pkg6.0t64 libsystemd0 libudev1
  4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
  Need to get 3077 kB of archives.
  After this operation, 67.6 kB disk space will be freed.
  Get:1 http://deb.debian.org/debian trixie/main amd64 libsystemd0 amd64 257-2 [448 kB]
  Get:2 http://deb.debian.org/debian trixie/main amd64 libudev1 amd64 257-2 [147 kB]
  Get:3 http://deb.debian.org/debian trixie/main amd64 libapt-pkg6.0t64 amd64 2.9.17 [1113 kB]
  Get:4 http://deb.debian.org/debian trixie/main amd64 apt amd64 2.9.17 [1368 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 3077 kB in 0s (53.5 MB/s)
  (Reading database ... 
  (Reading database ... 5%
  (Reading database ... 10%
  (Reading database ... 15%
  (Reading database ... 20%
  (Reading database ... 25%
  (Reading database ... 30%
  (Reading database ... 35%
  (Reading database ... 40%
  (Reading database ... 45%
  (Reading database ... 50%
  (Reading database ... 55%
  (Reading database ... 60%
  (Reading database ... 65%
  (Reading database ... 70%
  (Reading database ... 75%
  (Reading database ... 80%
  (Reading database ... 85%
  (Reading database ... 90%
  (Reading database ... 95%
  (Reading database ... 100%
  (Reading database ... 5137 files and directories currently installed.)
  Preparing to unpack .../libsystemd0_257-2_amd64.deb ...
  Unpacking libsystemd0:amd64 (257-2) over (257~rc3-1) ...
  Setting up libsystemd0:amd64 (257-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 ... 5137 files and directories currently installed.)
  Preparing to unpack .../libudev1_257-2_amd64.deb ...
  Unpacking libudev1:amd64 (257-2) over (257~rc3-1) ...
  Setting up libudev1:amd64 (257-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 ... 5137 files and directories currently installed.)
  Preparing to unpack .../libapt-pkg6.0t64_2.9.17_amd64.deb ...
  Unpacking libapt-pkg6.0t64:amd64 (2.9.17) over (2.9.16) ...
  Setting up libapt-pkg6.0t64:amd64 (2.9.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 ... 5137 files and directories currently installed.)
  Preparing to unpack .../archives/apt_2.9.17_amd64.deb ...
  Unpacking apt (2.9.17) over (2.9.16) ...
  Setting up apt (2.9.17) ...
  Processing triggers for libc-bin (2.40-4) ...
0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-yf', 'dist-upgrade']
0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m4.9s DUMP: 
  2dba4f6dbc544afb15d7eea88e309f8d  -
0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m4.9s INFO: Running scripts post_setup
0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_dummy_users']
0m5.8s DUMP: 
  useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999
  useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999
  useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999
  useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999
  useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999
  useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999
  useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999
  useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999
  useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999
  useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999
  useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999
0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_dummy_users']
0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_forbid_home']
0m5.8s DUMP: 
  Disabling /home
  Adding 'local diversion of /home to /home.distrib'
0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_forbid_home']
0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_force-unsafe-io']
0m5.8s 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'
0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_force-unsafe-io']
0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_minimize']
0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_minimize']
0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_squeeze-backports']
0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_squeeze-backports']
0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_zz_backports']
0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_setup_zz_backports']
0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m5.9s DUMP: 
  install ok installed	apt	apt	2.9.17
  install ok installed	base-files	base-files	13.6
  install ok installed	base-passwd	base-passwd	3.6.5
  install ok installed	bash	bash	5.2.37-1
  install ok installed	bsdutils	bsdutils	1:2.40.2-12
  install ok installed	coreutils	coreutils	9.5-1+b1
  install ok installed	dash	dash	0.5.12-9
  install ok installed	debconf	debconf	1.5.87
  install ok installed	debian-archive-keyring	debian-archive-keyring	2023.4
  install ok installed	debianutils	debianutils	5.21
  install ok installed	diffutils	diffutils	1:3.10-1
  install ok installed	dpkg	dpkg	1.22.11
  install ok installed	e2fsprogs	e2fsprogs	1.47.2~rc1-2
  install ok installed	findutils	findutils	4.10.0-3
  install ok installed	gcc-14-base:amd64	gcc-14-base	14.2.0-8
  install ok installed	gpgv	gpgv	2.2.45-2
  install ok installed	grep	grep	3.11-4
  install ok installed	gzip	gzip	1.12-1.2
  install ok installed	hostname	hostname	3.25
  install ok installed	init-system-helpers	init-system-helpers	1.67
  install ok installed	libacl1:amd64	libacl1	2.3.2-2+b1
  install ok installed	libapt-pkg6.0t64:amd64	libapt-pkg6.0t64	2.9.17
  install ok installed	libattr1:amd64	libattr1	1:2.5.2-2
  install ok installed	libaudit-common	libaudit-common	1:4.0.2-2
  install ok installed	libaudit1:amd64	libaudit1	1:4.0.2-2
  install ok installed	libblkid1:amd64	libblkid1	2.40.2-12
  install ok installed	libbsd0:amd64	libbsd0	0.12.2-2
  install ok installed	libbz2-1.0:amd64	libbz2-1.0	1.0.8-6
  install ok installed	libc-bin	libc-bin	2.40-4
  install ok installed	libc6:amd64	libc6	2.40-4
  install ok installed	libcap-ng0:amd64	libcap-ng0	0.8.5-4
  install ok installed	libcap2:amd64	libcap2	1:2.66-5+b1
  install ok installed	libcom-err2:amd64	libcom-err2	1.47.2~rc1-2
  install ok installed	libcrypt1:amd64	libcrypt1	1:4.4.36-5
  install ok installed	libdb5.3t64:amd64	libdb5.3t64	5.3.28+dfsg2-9
  install ok installed	libdebconfclient0:amd64	libdebconfclient0	0.274
  install ok installed	libext2fs2t64:amd64	libext2fs2t64	1.47.2~rc1-2
  install ok installed	libffi8:amd64	libffi8	3.4.6-1
  install ok installed	libgcc-s1:amd64	libgcc-s1	14.2.0-8
  install ok installed	libgcrypt20:amd64	libgcrypt20	1.11.0-6
  install ok installed	libgmp10:amd64	libgmp10	2:6.3.0+dfsg-3
  install ok installed	libgnutls30t64:amd64	libgnutls30t64	3.8.8-2
  install ok installed	libgpg-error0:amd64	libgpg-error0	1.51-2
  install ok installed	libhogweed6t64:amd64	libhogweed6t64	3.10-1+b1
  install ok installed	libidn2-0:amd64	libidn2-0	2.3.7-2+b1
  install ok installed	liblz4-1:amd64	liblz4-1	1.9.4-3+b1
  install ok installed	liblzma5:amd64	liblzma5	5.6.3-1+b1
  install ok installed	libmd0:amd64	libmd0	1.1.0-2+b1
  install ok installed	libmount1:amd64	libmount1	2.40.2-12
  install ok installed	libnettle8t64:amd64	libnettle8t64	3.10-1+b1
  install ok installed	libp11-kit0:amd64	libp11-kit0	0.25.5-2+b1
  install ok installed	libpam-modules:amd64	libpam-modules	1.5.3-7+b1
  install ok installed	libpam-modules-bin	libpam-modules-bin	1.5.3-7+b1
  install ok installed	libpam-runtime	libpam-runtime	1.5.3-7
  install ok installed	libpam0g:amd64	libpam0g	1.5.3-7+b1
  install ok installed	libpcre2-8-0:amd64	libpcre2-8-0	10.44-5
  install ok installed	libseccomp2:amd64	libseccomp2	2.5.5-2
  install ok installed	libselinux1:amd64	libselinux1	3.7-3+b1
  install ok installed	libsemanage-common	libsemanage-common	3.7-2
  install ok installed	libsemanage2:amd64	libsemanage2	3.7-2+b1
  install ok installed	libsepol2:amd64	libsepol2	3.7-1
  install ok installed	libsmartcols1:amd64	libsmartcols1	2.40.2-12
  install ok installed	libss2:amd64	libss2	1.47.2~rc1-2
  install ok installed	libssl3t64:amd64	libssl3t64	3.3.2-2
  install ok installed	libstdc++6:amd64	libstdc++6	14.2.0-8
  install ok installed	libsystemd0:amd64	libsystemd0	257-2
  install ok installed	libtasn1-6:amd64	libtasn1-6	4.19.0-3+b3
  install ok installed	libtinfo6:amd64	libtinfo6	6.5-2+b1
  install ok installed	libudev1:amd64	libudev1	257-2
  install ok installed	libunistring5:amd64	libunistring5	1.3-1
  install ok installed	libuuid1:amd64	libuuid1	2.40.2-12
  install ok installed	libxxhash0:amd64	libxxhash0	0.8.2-2+b2
  install ok installed	libzstd1:amd64	libzstd1	1.5.6+dfsg-1+b1
  install ok installed	login	login	1:4.16.0-2+really2.40.2-12
  install ok installed	login.defs	login.defs	1:4.16.0-7
  install ok installed	logsave	logsave	1.47.2~rc1-2
  install ok installed	mawk	mawk	1.3.4.20240905-1
  install ok installed	mount	mount	2.40.2-12
  install ok installed	ncurses-base	ncurses-base	6.5-2
  install ok installed	ncurses-bin	ncurses-bin	6.5-2+b1
  install ok installed	openssl-provider-legacy	openssl-provider-legacy	3.3.2-2
  install ok installed	passwd	passwd	1:4.16.0-7
  install ok installed	perl-base	perl-base	5.40.0-8
  install ok installed	sed	sed	4.9-2
  install ok installed	sysvinit-utils	sysvinit-utils	3.11-1
  install ok installed	tar	tar	1.35+dfsg-3
  install ok installed	tzdata	tzdata	2024b-4
  install ok installed	usr-is-merged	usr-is-merged	39
  install ok installed	util-linux	util-linux	2.40.2-12
  install ok installed	zlib1g:amd64	zlib1g	1:1.3.dfsg+really1.3.1-1+b1
0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m5.9s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat
0m5.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m6.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m6.3s INFO: Running scripts is_testable
0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/is_testable_uninstallable']
0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/is_testable_uninstallable']
0m6.3s INFO: Running scripts pre_test
0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_test_exceptions']
0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_test_exceptions']
0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_test_root_password']
0m6.3s DUMP: 
  New password: Retype new password: passwd: password updated successfully
0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_test_root_password']
0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'show', '--no-all-versions', 'libcoq-interval']
0m6.6s DUMP: 
  Package: libcoq-interval
  Source: coq-interval (4.11.1-1)
  Version: 4.11.1-1+b2
  Installed-Size: 16814
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Architecture: amd64
  Provides: libcoq-interval-q2dz2
  Depends: libcoq-bignums-igo98, libcoq-coquelicot-q5292, libcoq-flocq-yyu78, libcoq-mathcomp-ssreflect-ckbw3, libcoq-stdlib-p29e7
  Description-en: interval arithmetic for Coq
   This package provides tactics to simplify the
   proof of inequalities on expressions of real
   numbers.
   .
   Coq is a proof assistant for higher-order logic.
  Description-md5: 592b78874085ed93fea0d897f7ed5db2
  Homepage: https://coqinterval.gitlabpages.inria.fr/
  Section: ocaml
  Priority: optional
  Filename: pool/main/c/coq-interval/libcoq-interval_4.11.1-1+b2_amd64.deb
  Size: 6479440
  MD5sum: b90b1e5a1e9bd39f6758d3edb1fa3a36
  SHA256: 0bb762303ec3a0029bf13d88b9d29f822c5ff424e09ba6bb4d28ecedf7317a46
0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'show', '--no-all-versions', 'libcoq-interval']
0m6.6s INFO: apt-cache knows about the following packages: libcoq-interval
0m6.6s INFO: Running scripts pre_install
0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_database-server']
0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_database-server']
0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_exceptions']
0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_exceptions']
0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_extras']
0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_extras']
0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture']
0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture']
0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy']
0m6.7s 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:
0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy']
0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy', 'libcoq-interval']
0m6.7s DUMP: 
  libcoq-interval:
    Installed: (none)
    Candidate: 4.11.1-1+b2
    Version table:
       4.11.1-1+b2 500
          500 http://deb.debian.org/debian trixie/main amd64 Packages
0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy', 'libcoq-interval']
0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-y', 'install', 'libcoq-interval']
0m29.4s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  The following additional 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-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils
    libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums
    libcoq-coquelicot libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi
    libcoq-flocq 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
    libgssapi-krb5-2 libhwasan0 libisl23 libitm1 libjansson4 libk5crypto3
    libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmenhir-ocaml-dev libmpc3
    libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl2
    libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
    libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
    libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0
    libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev
    libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common
    libtirpc3t64 libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev
    libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base
    ocaml-findlib ocaml-interp python3 python3-minimal python3.12
    python3.12-minimal readline-common rpcsvc-proto
  Suggested packages:
    binutils-doc gprofng-gui coqide | proofgeneral ledit | readline-editor why
    coq-doc cpp-doc gcc-14-locales cpp-14-doc gcc-multilib make manpages-dev
    autoconf automake libtool flex bison gdb gcc-doc gcc-14-multilib gcc-14-doc
    gdb-x86-64-linux-gnu libc-devtools glibc-doc gmp-doc libgmp10-doc
    libmpfr-dev krb5-doc krb5-user ncurses-doc ocaml-doc elpa-tuareg camlp4
    python3-doc python3-tk python3-venv python3.12-venv python3.12-doc
    binfmt-support readline-doc
  Recommended packages:
    manpages manpages-dev krb5-locales libgpm2 ocaml-man file ledit
    | readline-editor ca-certificates
  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-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils
    libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums
    libcoq-coquelicot libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi
    libcoq-flocq libcoq-hierarchy-builder libcoq-interval
    libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0
    libelpi-ocaml libelpi-ocaml-dev libexpat1 libfindlib-ocaml
    libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
    libgomp1 libgprofng0 libgssapi-krb5-2 libhwasan0 libisl23 libitm1
    libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0
    libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6
    libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
    libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
    libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0
    libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev
    libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common
    libtirpc3t64 libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev
    libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base
    ocaml-findlib ocaml-interp python3 python3-minimal python3.12
    python3.12-minimal readline-common rpcsvc-proto
  0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded.
  Need to get 427 MB of archives.
  After this operation, 1376 MB of additional disk space will be used.
  Get:1 http://deb.debian.org/debian trixie/main amd64 libpython3.12-minimal amd64 3.12.8-3 [817 kB]
  Get:2 http://deb.debian.org/debian trixie/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
  Get:3 http://deb.debian.org/debian trixie/main amd64 python3.12-minimal amd64 3.12.8-3 [2162 kB]
  Get:4 http://deb.debian.org/debian trixie/main amd64 python3-minimal amd64 3.12.6-1 [26.7 kB]
  Get:5 http://deb.debian.org/debian trixie/main amd64 media-types all 10.1.0 [26.9 kB]
  Get:6 http://deb.debian.org/debian trixie/main amd64 netbase all 6.4 [12.8 kB]
  Get:7 http://deb.debian.org/debian trixie/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB]
  Get:8 http://deb.debian.org/debian trixie/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB]
  Get:9 http://deb.debian.org/debian trixie/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB]
  Get:10 http://deb.debian.org/debian trixie/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B]
  Get:11 http://deb.debian.org/debian trixie/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB]
  Get:12 http://deb.debian.org/debian trixie/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB]
  Get:13 http://deb.debian.org/debian trixie/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB]
  Get:14 http://deb.debian.org/debian trixie/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB]
  Get:15 http://deb.debian.org/debian trixie/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB]
  Get:16 http://deb.debian.org/debian trixie/main amd64 readline-common all 8.2-6 [69.4 kB]
  Get:17 http://deb.debian.org/debian trixie/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
  Get:18 http://deb.debian.org/debian trixie/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB]
  Get:19 http://deb.debian.org/debian trixie/main amd64 libpython3.12-stdlib amd64 3.12.8-3 [1969 kB]
  Get:20 http://deb.debian.org/debian trixie/main amd64 python3.12 amd64 3.12.8-3 [677 kB]
  Get:21 http://deb.debian.org/debian trixie/main amd64 libpython3-stdlib amd64 3.12.6-1 [9692 B]
  Get:22 http://deb.debian.org/debian trixie/main amd64 python3 amd64 3.12.6-1 [27.8 kB]
  Get:23 http://deb.debian.org/debian trixie/main amd64 binutils-common amd64 2.43.50.20241215-1 [2630 kB]
  Get:24 http://deb.debian.org/debian trixie/main amd64 libsframe1 amd64 2.43.50.20241215-1 [77.5 kB]
  Get:25 http://deb.debian.org/debian trixie/main amd64 libbinutils amd64 2.43.50.20241215-1 [533 kB]
  Get:26 http://deb.debian.org/debian trixie/main amd64 libctf-nobfd0 amd64 2.43.50.20241215-1 [155 kB]
  Get:27 http://deb.debian.org/debian trixie/main amd64 libctf0 amd64 2.43.50.20241215-1 [88.6 kB]
  Get:28 http://deb.debian.org/debian trixie/main amd64 libgprofng0 amd64 2.43.50.20241215-1 [809 kB]
  Get:29 http://deb.debian.org/debian trixie/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB]
  Get:30 http://deb.debian.org/debian trixie/main amd64 binutils-x86-64-linux-gnu amd64 2.43.50.20241215-1 [2275 kB]
  Get:31 http://deb.debian.org/debian trixie/main amd64 binutils amd64 2.43.50.20241215-1 [68.3 kB]
  Get:32 http://deb.debian.org/debian trixie/main amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [23.5 MB]
  Get:33 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB]
  Get:34 http://deb.debian.org/debian trixie/main amd64 ocaml-base amd64 5.2.0-3 [455 kB]
  Get:35 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB]
  Get:36 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB]
  Get:37 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB]
  Get:38 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB]
  Get:39 http://deb.debian.org/debian trixie/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB]
  Get:40 http://deb.debian.org/debian trixie/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB]
  Get:41 http://deb.debian.org/debian trixie/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
  Get:42 http://deb.debian.org/debian trixie/main amd64 libc-dev-bin amd64 2.40-4 [52.0 kB]
  Get:43 http://deb.debian.org/debian trixie/main amd64 linux-libc-dev all 6.11.10-1 [2461 kB]
  Get:44 http://deb.debian.org/debian trixie/main amd64 libcrypt-dev amd64 1:4.4.36-5 [118 kB]
  Get:45 http://deb.debian.org/debian trixie/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB]
  Get:46 http://deb.debian.org/debian trixie/main amd64 libc6-dev amd64 2.40-4 [1954 kB]
  Get:47 http://deb.debian.org/debian trixie/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
  Get:48 http://deb.debian.org/debian trixie/main amd64 libisl23 amd64 0.27-1 [659 kB]
  Get:49 http://deb.debian.org/debian trixie/main amd64 libmpfr6 amd64 4.2.1-1+b2 [724 kB]
  Get:50 http://deb.debian.org/debian trixie/main amd64 libmpc3 amd64 1.3.1-1+b3 [52.2 kB]
  Get:51 http://deb.debian.org/debian trixie/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-8 [11.1 MB]
  Get:52 http://deb.debian.org/debian trixie/main amd64 cpp-14 amd64 14.2.0-8 [1276 B]
  Get:53 http://deb.debian.org/debian trixie/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B]
  Get:54 http://deb.debian.org/debian trixie/main amd64 cpp amd64 4:14.2.0-1 [1568 B]
  Get:55 http://deb.debian.org/debian trixie/main amd64 libcc1-0 amd64 14.2.0-8 [42.8 kB]
  Get:56 http://deb.debian.org/debian trixie/main amd64 libgomp1 amd64 14.2.0-8 [137 kB]
  Get:57 http://deb.debian.org/debian trixie/main amd64 libitm1 amd64 14.2.0-8 [25.9 kB]
  Get:58 http://deb.debian.org/debian trixie/main amd64 libatomic1 amd64 14.2.0-8 [9280 B]
  Get:59 http://deb.debian.org/debian trixie/main amd64 libasan8 amd64 14.2.0-8 [2729 kB]
  Get:60 http://deb.debian.org/debian trixie/main amd64 liblsan0 amd64 14.2.0-8 [1205 kB]
  Get:61 http://deb.debian.org/debian trixie/main amd64 libtsan2 amd64 14.2.0-8 [2461 kB]
  Get:62 http://deb.debian.org/debian trixie/main amd64 libubsan1 amd64 14.2.0-8 [1075 kB]
  Get:63 http://deb.debian.org/debian trixie/main amd64 libhwasan0 amd64 14.2.0-8 [1489 kB]
  Get:64 http://deb.debian.org/debian trixie/main amd64 libquadmath0 amd64 14.2.0-8 [145 kB]
  Get:65 http://deb.debian.org/debian trixie/main amd64 libgcc-14-dev amd64 14.2.0-8 [2674 kB]
  Get:66 http://deb.debian.org/debian trixie/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-8 [21.4 MB]
  Get:67 http://deb.debian.org/debian trixie/main amd64 gcc-14 amd64 14.2.0-8 [530 kB]
  Get:68 http://deb.debian.org/debian trixie/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B]
  Get:69 http://deb.debian.org/debian trixie/main amd64 gcc amd64 4:14.2.0-1 [5136 B]
  Get:70 http://deb.debian.org/debian trixie/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB]
  Get:71 http://deb.debian.org/debian trixie/main amd64 ocaml amd64 5.2.0-3 [17.4 MB]
  Get:72 http://deb.debian.org/debian trixie/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB]
  Get:73 http://deb.debian.org/debian trixie/main amd64 coq amd64 8.20.0+dfsg-1 [77.0 MB]
  Get:74 http://deb.debian.org/debian trixie/main amd64 libcoq-bignums amd64 9.0.0+coq8.20-1+b5 [1915 kB]
  Get:75 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB]
  Get:76 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml amd64 6.0.3-1 [4223 kB]
  Get:77 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml amd64 1.19.6-1 [3268 kB]
  Get:78 http://deb.debian.org/debian trixie/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [906 kB]
  Get:79 http://deb.debian.org/debian trixie/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [161 kB]
  Get:80 http://deb.debian.org/debian trixie/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b2 [19.7 kB]
  Get:81 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [359 kB]
  Get:82 http://deb.debian.org/debian trixie/main amd64 libppxlib-ocaml-dev amd64 0.33.0-2 [24.4 MB]
  Get:83 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1 [1066 kB]
  Get:84 http://deb.debian.org/debian trixie/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1290 kB]
  Get:85 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml-dev amd64 1.19.6-1 [13.6 MB]
  Get:86 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB]
  Get:87 http://deb.debian.org/debian trixie/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
  Get:88 http://deb.debian.org/debian trixie/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
  Get:89 http://deb.debian.org/debian trixie/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
  Get:90 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB]
  Get:91 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB]
  Get:92 http://deb.debian.org/debian trixie/main amd64 libcoq-elpi amd64 2.2.3-1+b2 [7595 kB]
  Get:93 http://deb.debian.org/debian trixie/main amd64 libcoq-hierarchy-builder amd64 1.7.0-2+b11 [240 kB]
  Get:94 http://deb.debian.org/debian trixie/main amd64 libcoq-mathcomp-ssreflect amd64 2.2.0-2+b9 [5869 kB]
  Get:95 http://deb.debian.org/debian trixie/main amd64 libcoq-coquelicot amd64 3.4.2-1 [3359 kB]
  Get:96 http://deb.debian.org/debian trixie/main amd64 libcoq-flocq amd64 4.2.0-1+b2 [3438 kB]
  Get:97 http://deb.debian.org/debian trixie/main amd64 libcoq-interval amd64 4.11.1-1+b2 [6479 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 427 MB in 2s (277 MB/s)
  Selecting previously unselected package libpython3.12-minimal: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 ... 5135 files and directories currently installed.)
  Preparing to unpack .../libpython3.12-minimal_3.12.8-3_amd64.deb ...
  Unpacking libpython3.12-minimal:amd64 (3.12.8-3) ...
  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.12-minimal.
  Preparing to unpack .../python3.12-minimal_3.12.8-3_amd64.deb ...
  Unpacking python3.12-minimal (3.12.8-3) ...
  Setting up libpython3.12-minimal:amd64 (3.12.8-3) ...
  Setting up libexpat1:amd64 (2.6.4-1) ...
  Setting up python3.12-minimal (3.12.8-3) ...
  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 ... 5455 files and directories currently installed.)
  Preparing to unpack .../00-python3-minimal_3.12.6-1_amd64.deb ...
  Unpacking python3-minimal (3.12.6-1) ...
  Selecting previously unselected package media-types.
  Preparing to unpack .../01-media-types_10.1.0_all.deb ...
  Unpacking media-types (10.1.0) ...
  Selecting previously unselected package netbase.
  Preparing to unpack .../02-netbase_6.4_all.deb ...
  Unpacking netbase (6.4) ...
  Selecting previously unselected package libncursesw6:amd64.
  Preparing to unpack .../03-libncursesw6_6.5-2+b1_amd64.deb ...
  Unpacking libncursesw6:amd64 (6.5-2+b1) ...
  Selecting previously unselected package libkrb5support0:amd64.
  Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ...
  Unpacking libkrb5support0:amd64 (1.21.3-3) ...
  Selecting previously unselected package libk5crypto3:amd64.
  Preparing to unpack .../05-libk5crypto3_1.21.3-3_amd64.deb ...
  Unpacking libk5crypto3:amd64 (1.21.3-3) ...
  Selecting previously unselected package libkeyutils1:amd64.
  Preparing to unpack .../06-libkeyutils1_1.6.3-4_amd64.deb ...
  Unpacking libkeyutils1:amd64 (1.6.3-4) ...
  Selecting previously unselected package libkrb5-3:amd64.
  Preparing to unpack .../07-libkrb5-3_1.21.3-3_amd64.deb ...
  Unpacking libkrb5-3:amd64 (1.21.3-3) ...
  Selecting previously unselected package libgssapi-krb5-2:amd64.
  Preparing to unpack .../08-libgssapi-krb5-2_1.21.3-3_amd64.deb ...
  Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ...
  Selecting previously unselected package libtirpc-common.
  Preparing to unpack .../09-libtirpc-common_1.3.4+ds-1.3_all.deb ...
  Unpacking libtirpc-common (1.3.4+ds-1.3) ...
  Selecting previously unselected package libtirpc3t64:amd64.
  Preparing to unpack .../10-libtirpc3t64_1.3.4+ds-1.3+b1_amd64.deb ...
  Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64'
  Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64'
  Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
  Selecting previously unselected package libnsl2:amd64.
  Preparing to unpack .../11-libnsl2_1.3.0-3+b3_amd64.deb ...
  Unpacking libnsl2:amd64 (1.3.0-3+b3) ...
  Selecting previously unselected package readline-common.
  Preparing to unpack .../12-readline-common_8.2-6_all.deb ...
  Unpacking readline-common (8.2-6) ...
  Selecting previously unselected package libreadline8t64:amd64.
  Preparing to unpack .../13-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 .../14-libsqlite3-0_3.46.1-1_amd64.deb ...
  Unpacking libsqlite3-0:amd64 (3.46.1-1) ...
  Selecting previously unselected package libpython3.12-stdlib:amd64.
  Preparing to unpack .../15-libpython3.12-stdlib_3.12.8-3_amd64.deb ...
  Unpacking libpython3.12-stdlib:amd64 (3.12.8-3) ...
  Selecting previously unselected package python3.12.
  Preparing to unpack .../16-python3.12_3.12.8-3_amd64.deb ...
  Unpacking python3.12 (3.12.8-3) ...
  Selecting previously unselected package libpython3-stdlib:amd64.
  Preparing to unpack .../17-libpython3-stdlib_3.12.6-1_amd64.deb ...
  Unpacking libpython3-stdlib:amd64 (3.12.6-1) ...
  Setting up python3-minimal (3.12.6-1) ...
  Selecting previously unselected package python3.
  (Reading database ... 
  (Reading database ... 5%
  (Reading database ... 10%
  (Reading database ... 15%
  (Reading database ... 20%
  (Reading database ... 25%
  (Reading database ... 30%
  (Reading database ... 35%
  (Reading database ... 40%
  (Reading database ... 45%
  (Reading database ... 50%
  (Reading database ... 55%
  (Reading database ... 60%
  (Reading database ... 65%
  (Reading database ... 70%
  (Reading database ... 75%
  (Reading database ... 80%
  (Reading database ... 85%
  (Reading database ... 90%
  (Reading database ... 95%
  (Reading database ... 100%
  (Reading database ... 6015 files and directories currently installed.)
  Preparing to unpack .../00-python3_3.12.6-1_amd64.deb ...
  Unpacking python3 (3.12.6-1) ...
  Selecting previously unselected package binutils-common:amd64.
  Preparing to unpack .../01-binutils-common_2.43.50.20241215-1_amd64.deb ...
  Unpacking binutils-common:amd64 (2.43.50.20241215-1) ...
  Selecting previously unselected package libsframe1:amd64.
  Preparing to unpack .../02-libsframe1_2.43.50.20241215-1_amd64.deb ...
  Unpacking libsframe1:amd64 (2.43.50.20241215-1) ...
  Selecting previously unselected package libbinutils:amd64.
  Preparing to unpack .../03-libbinutils_2.43.50.20241215-1_amd64.deb ...
  Unpacking libbinutils:amd64 (2.43.50.20241215-1) ...
  Selecting previously unselected package libctf-nobfd0:amd64.
  Preparing to unpack .../04-libctf-nobfd0_2.43.50.20241215-1_amd64.deb ...
  Unpacking libctf-nobfd0:amd64 (2.43.50.20241215-1) ...
  Selecting previously unselected package libctf0:amd64.
  Preparing to unpack .../05-libctf0_2.43.50.20241215-1_amd64.deb ...
  Unpacking libctf0:amd64 (2.43.50.20241215-1) ...
  Selecting previously unselected package libgprofng0:amd64.
  Preparing to unpack .../06-libgprofng0_2.43.50.20241215-1_amd64.deb ...
  Unpacking libgprofng0:amd64 (2.43.50.20241215-1) ...
  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.43.50.20241215-1_amd64.deb ...
  Unpacking binutils-x86-64-linux-gnu (2.43.50.20241215-1) ...
  Selecting previously unselected package binutils.
  Preparing to unpack .../09-binutils_2.43.50.20241215-1_amd64.deb ...
  Unpacking binutils (2.43.50.20241215-1) ...
  Selecting previously unselected package libcoq-stdlib.
  Preparing to unpack .../10-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ...
  Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
  Selecting previously unselected package libstdlib-ocaml.
  Preparing to unpack .../11-libstdlib-ocaml_5.2.0-3_amd64.deb ...
  Unpacking libstdlib-ocaml (5.2.0-3) ...
  Selecting previously unselected package ocaml-base.
  Preparing to unpack .../12-ocaml-base_5.2.0-3_amd64.deb ...
  Unpacking ocaml-base (5.2.0-3) ...
  Selecting previously unselected package libfindlib-ocaml.
  Preparing to unpack .../13-libfindlib-ocaml_1.9.6-3_amd64.deb ...
  Unpacking libfindlib-ocaml (1.9.6-3) ...
  Selecting previously unselected package libzarith-ocaml.
  Preparing to unpack .../14-libzarith-ocaml_1.14-1_amd64.deb ...
  Unpacking libzarith-ocaml (1.14-1) ...
  Selecting previously unselected package libcoq-core-ocaml.
  Preparing to unpack .../15-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ...
  Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
  Selecting previously unselected package libstdlib-ocaml-dev.
  Preparing to unpack .../16-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ...
  Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
  Selecting previously unselected package libcompiler-libs-ocaml-dev.
  Preparing to unpack .../17-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ...
  Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
  Selecting previously unselected package ocaml-interp.
  Preparing to unpack .../18-ocaml-interp_5.2.0-3_amd64.deb ...
  Unpacking ocaml-interp (5.2.0-3) ...
  Selecting previously unselected package libncurses6:amd64.
  Preparing to unpack .../19-libncurses6_6.5-2+b1_amd64.deb ...
  Unpacking libncurses6:amd64 (6.5-2+b1) ...
  Selecting previously unselected package libc-dev-bin.
  Preparing to unpack .../20-libc-dev-bin_2.40-4_amd64.deb ...
  Unpacking libc-dev-bin (2.40-4) ...
  Selecting previously unselected package linux-libc-dev.
  Preparing to unpack .../21-linux-libc-dev_6.11.10-1_all.deb ...
  Unpacking linux-libc-dev (6.11.10-1) ...
  Selecting previously unselected package libcrypt-dev:amd64.
  Preparing to unpack .../22-libcrypt-dev_1%3a4.4.36-5_amd64.deb ...
  Unpacking libcrypt-dev:amd64 (1:4.4.36-5) ...
  Selecting previously unselected package rpcsvc-proto.
  Preparing to unpack .../23-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 .../24-libc6-dev_2.40-4_amd64.deb ...
  Unpacking libc6-dev:amd64 (2.40-4) ...
  Selecting previously unselected package libncurses-dev:amd64.
  Preparing to unpack .../25-libncurses-dev_6.5-2+b1_amd64.deb ...
  Unpacking libncurses-dev:amd64 (6.5-2+b1) ...
  Selecting previously unselected package libisl23:amd64.
  Preparing to unpack .../26-libisl23_0.27-1_amd64.deb ...
  Unpacking libisl23:amd64 (0.27-1) ...
  Selecting previously unselected package libmpfr6:amd64.
  Preparing to unpack .../27-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 .../28-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 .../29-cpp-14-x86-64-linux-gnu_14.2.0-8_amd64.deb ...
  Unpacking cpp-14-x86-64-linux-gnu (14.2.0-8) ...
  Selecting previously unselected package cpp-14.
  Preparing to unpack .../30-cpp-14_14.2.0-8_amd64.deb ...
  Unpacking cpp-14 (14.2.0-8) ...
  Selecting previously unselected package cpp-x86-64-linux-gnu.
  Preparing to unpack .../31-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 .../32-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 .../33-libcc1-0_14.2.0-8_amd64.deb ...
  Unpacking libcc1-0:amd64 (14.2.0-8) ...
  Selecting previously unselected package libgomp1:amd64.
  Preparing to unpack .../34-libgomp1_14.2.0-8_amd64.deb ...
  Unpacking libgomp1:amd64 (14.2.0-8) ...
  Selecting previously unselected package libitm1:amd64.
  Preparing to unpack .../35-libitm1_14.2.0-8_amd64.deb ...
  Unpacking libitm1:amd64 (14.2.0-8) ...
  Selecting previously unselected package libatomic1:amd64.
  Preparing to unpack .../36-libatomic1_14.2.0-8_amd64.deb ...
  Unpacking libatomic1:amd64 (14.2.0-8) ...
  Selecting previously unselected package libasan8:amd64.
  Preparing to unpack .../37-libasan8_14.2.0-8_amd64.deb ...
  Unpacking libasan8:amd64 (14.2.0-8) ...
  Selecting previously unselected package liblsan0:amd64.
  Preparing to unpack .../38-liblsan0_14.2.0-8_amd64.deb ...
  Unpacking liblsan0:amd64 (14.2.0-8) ...
  Selecting previously unselected package libtsan2:amd64.
  Preparing to unpack .../39-libtsan2_14.2.0-8_amd64.deb ...
  Unpacking libtsan2:amd64 (14.2.0-8) ...
  Selecting previously unselected package libubsan1:amd64.
  Preparing to unpack .../40-libubsan1_14.2.0-8_amd64.deb ...
  Unpacking libubsan1:amd64 (14.2.0-8) ...
  Selecting previously unselected package libhwasan0:amd64.
  Preparing to unpack .../41-libhwasan0_14.2.0-8_amd64.deb ...
  Unpacking libhwasan0:amd64 (14.2.0-8) ...
  Selecting previously unselected package libquadmath0:amd64.
  Preparing to unpack .../42-libquadmath0_14.2.0-8_amd64.deb ...
  Unpacking libquadmath0:amd64 (14.2.0-8) ...
  Selecting previously unselected package libgcc-14-dev:amd64.
  Preparing to unpack .../43-libgcc-14-dev_14.2.0-8_amd64.deb ...
  Unpacking libgcc-14-dev:amd64 (14.2.0-8) ...
  Selecting previously unselected package gcc-14-x86-64-linux-gnu.
  Preparing to unpack .../44-gcc-14-x86-64-linux-gnu_14.2.0-8_amd64.deb ...
  Unpacking gcc-14-x86-64-linux-gnu (14.2.0-8) ...
  Selecting previously unselected package gcc-14.
  Preparing to unpack .../45-gcc-14_14.2.0-8_amd64.deb ...
  Unpacking gcc-14 (14.2.0-8) ...
  Selecting previously unselected package gcc-x86-64-linux-gnu.
  Preparing to unpack .../46-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 .../47-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 .../48-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ...
  Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
  Selecting previously unselected package ocaml.
  Preparing to unpack .../49-ocaml_5.2.0-3_amd64.deb ...
  Unpacking ocaml (5.2.0-3) ...
  Selecting previously unselected package ocaml-findlib.
  Preparing to unpack .../50-ocaml-findlib_1.9.6-3_amd64.deb ...
  Unpacking ocaml-findlib (1.9.6-3) ...
  Selecting previously unselected package coq.
  Preparing to unpack .../51-coq_8.20.0+dfsg-1_amd64.deb ...
  Unpacking coq (8.20.0+dfsg-1) ...
  Selecting previously unselected package libcoq-bignums.
  Preparing to unpack .../52-libcoq-bignums_9.0.0+coq8.20-1+b5_amd64.deb ...
  Unpacking libcoq-bignums (9.0.0+coq8.20-1+b5) ...
  Selecting previously unselected package libsexplib0-ocaml.
  Preparing to unpack .../53-libsexplib0-ocaml_0.17.0-1_amd64.deb ...
  Unpacking libsexplib0-ocaml (0.17.0-1) ...
  Selecting previously unselected package libppx-deriving-ocaml.
  Preparing to unpack .../54-libppx-deriving-ocaml_6.0.3-1_amd64.deb ...
  Unpacking libppx-deriving-ocaml (6.0.3-1) ...
  Selecting previously unselected package libelpi-ocaml.
  Preparing to unpack .../55-libelpi-ocaml_1.19.6-1_amd64.deb ...
  Unpacking libelpi-ocaml (1.19.6-1) ...
  Selecting previously unselected package libmenhir-ocaml-dev.
  Preparing to unpack .../56-libmenhir-ocaml-dev_20240715+ds-1_amd64.deb ...
  Unpacking libmenhir-ocaml-dev (20240715+ds-1) ...
  Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
  Preparing to unpack .../57-libocaml-compiler-libs-ocaml-dev_0.17.0-1_amd64.deb ...
  Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
  Selecting previously unselected package libppx-derivers-ocaml-dev.
  Preparing to unpack .../58-libppx-derivers-ocaml-dev_1.2.1-4+b2_amd64.deb ...
  Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b2) ...
  Selecting previously unselected package libsexplib0-ocaml-dev.
  Preparing to unpack .../59-libsexplib0-ocaml-dev_0.17.0-1_amd64.deb ...
  Unpacking libsexplib0-ocaml-dev (0.17.0-1) ...
  Selecting previously unselected package libppxlib-ocaml-dev.
  Preparing to unpack .../60-libppxlib-ocaml-dev_0.33.0-2_amd64.deb ...
  Unpacking libppxlib-ocaml-dev (0.33.0-2) ...
  Selecting previously unselected package libppx-deriving-ocaml-dev.
  Preparing to unpack .../61-libppx-deriving-ocaml-dev_6.0.3-1_amd64.deb ...
  Unpacking libppx-deriving-ocaml-dev (6.0.3-1) ...
  Selecting previously unselected package libre-ocaml-dev.
  Preparing to unpack .../62-libre-ocaml-dev_1.12.0+really1.11.0-1_amd64.deb ...
  Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ...
  Selecting previously unselected package libelpi-ocaml-dev.
  Preparing to unpack .../63-libelpi-ocaml-dev_1.19.6-1_amd64.deb ...
  Unpacking libelpi-ocaml-dev (1.19.6-1) ...
  Selecting previously unselected package libfindlib-ocaml-dev.
  Preparing to unpack .../64-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ...
  Unpacking libfindlib-ocaml-dev (1.9.6-3) ...
  Selecting previously unselected package libgmpxx4ldbl:amd64.
  Preparing to unpack .../65-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 .../66-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 .../67-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 .../68-libzarith-ocaml-dev_1.14-1_amd64.deb ...
  Unpacking libzarith-ocaml-dev (1.14-1) ...
  Selecting previously unselected package libcoq-core-ocaml-dev.
  Preparing to unpack .../69-libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb ...
  Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
  Selecting previously unselected package libcoq-elpi.
  Preparing to unpack .../70-libcoq-elpi_2.2.3-1+b2_amd64.deb ...
  Unpacking libcoq-elpi (2.2.3-1+b2) ...
  Selecting previously unselected package libcoq-hierarchy-builder.
  Preparing to unpack .../71-libcoq-hierarchy-builder_1.7.0-2+b11_amd64.deb ...
  Unpacking libcoq-hierarchy-builder (1.7.0-2+b11) ...
  Selecting previously unselected package libcoq-mathcomp-ssreflect.
  Preparing to unpack .../72-libcoq-mathcomp-ssreflect_2.2.0-2+b9_amd64.deb ...
  Unpacking libcoq-mathcomp-ssreflect (2.2.0-2+b9) ...
  Selecting previously unselected package libcoq-coquelicot.
  Preparing to unpack .../73-libcoq-coquelicot_3.4.2-1_amd64.deb ...
  Unpacking libcoq-coquelicot (3.4.2-1) ...
  Selecting previously unselected package libcoq-flocq.
  Preparing to unpack .../74-libcoq-flocq_4.2.0-1+b2_amd64.deb ...
  Unpacking libcoq-flocq (4.2.0-1+b2) ...
  Selecting previously unselected package libcoq-interval.
  Preparing to unpack .../75-libcoq-interval_4.11.1-1+b2_amd64.deb ...
  Unpacking libcoq-interval (4.11.1-1+b2) ...
  Setting up media-types (10.1.0) ...
  Setting up libkeyutils1:amd64 (1.6.3-4) ...
  Setting up libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
  Setting up libtirpc-common (1.3.4+ds-1.3) ...
  Setting up libsqlite3-0:amd64 (3.46.1-1) ...
  Setting up binutils-common:amd64 (2.43.50.20241215-1) ...
  Setting up linux-libc-dev (6.11.10-1) ...
  Setting up libctf-nobfd0:amd64 (2.43.50.20241215-1) ...
  Setting up libgomp1:amd64 (14.2.0-8) ...
  Setting up libsframe1:amd64 (2.43.50.20241215-1) ...
  Setting up libjansson4:amd64 (2.14-2+b3) ...
  Setting up libkrb5support0:amd64 (1.21.3-3) ...
  Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
  Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
  Setting up rpcsvc-proto (1.4.3-1) ...
  Setting up libcoq-flocq (4.2.0-1+b2) ...
  Setting up libmpfr6:amd64 (4.2.1-1+b2) ...
  Setting up libncurses6:amd64 (6.5-2+b1) ...
  Setting up libquadmath0:amd64 (14.2.0-8) ...
  Setting up libstdlib-ocaml (5.2.0-3) ...
  Setting up libmpc3:amd64 (1.3.1-1+b3) ...
  Setting up libatomic1:amd64 (14.2.0-8) ...
  Setting up ocaml-base (5.2.0-3) ...
  Setting up libncursesw6:amd64 (6.5-2+b1) ...
  Setting up libk5crypto3:amd64 (1.21.3-3) ...
  Setting up libubsan1:amd64 (14.2.0-8) ...
  Setting up libsexplib0-ocaml (0.17.0-1) ...
  Setting up libhwasan0:amd64 (14.2.0-8) ...
  Setting up libcrypt-dev:amd64 (1:4.4.36-5) ...
  Setting up libasan8:amd64 (14.2.0-8) ...
  Setting up netbase (6.4) ...
  Setting up libkrb5-3:amd64 (1.21.3-3) ...
  Setting up libtsan2:amd64 (14.2.0-8) ...
  Setting up libbinutils:amd64 (2.43.50.20241215-1) ...
  Setting up libisl23:amd64 (0.27-1) ...
  Setting up libc-dev-bin (2.40-4) ...
  Setting up readline-common (8.2-6) ...
  Setting up libcc1-0:amd64 (14.2.0-8) ...
  Setting up libcoq-bignums (9.0.0+coq8.20-1+b5) ...
  Setting up liblsan0:amd64 (14.2.0-8) ...
  Setting up libitm1:amd64 (14.2.0-8) ...
  Setting up libctf0:amd64 (2.43.50.20241215-1) ...
  Setting up libppx-deriving-ocaml (6.0.3-1) ...
  Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
  Setting up libstdlib-ocaml-dev (5.2.0-3) ...
  Setting up libfindlib-ocaml (1.9.6-3) ...
  Setting up libzarith-ocaml (1.14-1) ...
  Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
  Setting up libgprofng0:amd64 (2.43.50.20241215-1) ...
  Setting up ocaml-interp (5.2.0-3) ...
  Setting up ocaml-findlib (1.9.6-3) ...
  Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ...
  Setting up cpp-14-x86-64-linux-gnu (14.2.0-8) ...
  Setting up cpp-14 (14.2.0-8) ...
  Setting up libreadline8t64:amd64 (8.2-6) ...
  Setting up libelpi-ocaml (1.19.6-1) ...
  Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
  Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ...
  Setting up libc6-dev:amd64 (2.40-4) ...
  Setting up libgcc-14-dev:amd64 (14.2.0-8) ...
  Setting up binutils-x86-64-linux-gnu (2.43.50.20241215-1) ...
  Setting up cpp-x86-64-linux-gnu (4:14.2.0-1) ...
  Setting up libncurses-dev:amd64 (6.5-2+b1) ...
  Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
  Setting up binutils (2.43.50.20241215-1) ...
  Setting up cpp (4:14.2.0-1) ...
  Setting up libnsl2:amd64 (1.3.0-3+b3) ...
  Setting up gcc-14-x86-64-linux-gnu (14.2.0-8) ...
  Setting up libpython3.12-stdlib:amd64 (3.12.8-3) ...
  Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ...
  Setting up python3.12 (3.12.8-3) ...
  Setting up gcc-14 (14.2.0-8) ...
  Setting up libpython3-stdlib:amd64 (3.12.6-1) ...
  Setting up python3 (3.12.6-1) ...
  Setting up gcc (4:14.2.0-1) ...
  Setting up ocaml (5.2.0-3) ...
  Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ...
  Setting up libmenhir-ocaml-dev (20240715+ds-1) ...
  Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
  Setting up libfindlib-ocaml-dev (1.9.6-3) ...
  Setting up libsexplib0-ocaml-dev (0.17.0-1) ...
  Setting up coq (8.20.0+dfsg-1) ...
  Setting up libzarith-ocaml-dev (1.14-1) ...
  Setting up libppx-derivers-ocaml-dev (1.2.1-4+b2) ...
  Setting up libppxlib-ocaml-dev (0.33.0-2) ...
  Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
  Setting up libppx-deriving-ocaml-dev (6.0.3-1) ...
  Setting up libelpi-ocaml-dev (1.19.6-1) ...
  Setting up libcoq-elpi (2.2.3-1+b2) ...
  Setting up libcoq-hierarchy-builder (1.7.0-2+b11) ...
  Setting up libcoq-mathcomp-ssreflect (2.2.0-2+b9) ...
  Setting up libcoq-coquelicot (3.4.2-1) ...
  Setting up libcoq-interval (4.11.1-1+b2) ...
  Processing triggers for libc-bin (2.40-4) ...
0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-y', 'install', 'libcoq-interval']
0m29.4s INFO: Running scripts post_install
0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_install_exceptions']
0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_install_exceptions']
0m29.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m30.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m30.3s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpxuc5g3f8 to sid
0m30.3s DEBUG: sources.list:
  deb http://deb.debian.org/debian/ sid main
0m30.3s INFO: Running scripts pre_distupgrade
0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_allow_unauthenticated']
0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_allow_unauthenticated']
0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_exceptions']
0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_exceptions']
0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386']
0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386']
0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_zz_database-server']
0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_zz_database-server']
0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_zz_upgrade_early']
0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_distupgrade_zz_upgrade_early']
0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'update']
0m33.5s DUMP: 
  Get:1 http://deb.debian.org/debian sid InRelease [202 kB]
  Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.1 MB]
  Get:3 http://deb.debian.org/debian sid/main Translation-en [7359 kB]
  Fetched 17.6 MB in 2s (8152 kB/s)
  Reading package lists...
0m33.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'update']
0m33.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-yf', 'dist-upgrade']
0m42.0s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  Calculating upgrade...
  The following packages will be upgraded:
    apt cpp-14 cpp-14-x86-64-linux-gnu gcc-14 gcc-14-base
    gcc-14-x86-64-linux-gnu libapt-pkg6.0t64 libasan8 libatomic1 libcc1-0
    libcoq-coquelicot libcoq-elpi libcoq-hierarchy-builder libcoq-interval
    libcoq-mathcomp-ssreflect libelpi-ocaml libelpi-ocaml-dev libgcc-14-dev
    libgcc-s1 libgomp1 libhwasan0 libitm1 liblsan0 libpython3-stdlib
    libquadmath0 libstdc++6 libtsan2 libubsan1 linux-libc-dev python3
    python3-minimal tar
  32 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
  Need to get 101 MB of archives.
  After this operation, 44.4 MB of additional disk space will be used.
  Get:1 http://deb.debian.org/debian sid/main amd64 tar amd64 1.35+dfsg-3.1 [815 kB]
  Get:2 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 14.2.0-11 [42.9 kB]
  Get:3 http://deb.debian.org/debian sid/main amd64 gcc-14-base amd64 14.2.0-11 [48.0 kB]
  Get:4 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 14.2.0-11 [72.7 kB]
  Get:5 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 14.2.0-11 [137 kB]
  Get:6 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 14.2.0-11 [26.0 kB]
  Get:7 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 14.2.0-11 [9284 B]
  Get:8 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 14.2.0-11 [2728 kB]
  Get:9 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 14.2.0-11 [1205 kB]
  Get:10 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 14.2.0-11 [2461 kB]
  Get:11 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 14.2.0-11 [1075 kB]
  Get:12 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 14.2.0-11 [1489 kB]
  Get:13 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 14.2.0-11 [146 kB]
  Get:14 http://deb.debian.org/debian sid/main amd64 libgcc-14-dev amd64 14.2.0-11 [2673 kB]
  Get:15 http://deb.debian.org/debian sid/main amd64 gcc-14 amd64 14.2.0-11 [534 kB]
  Get:16 http://deb.debian.org/debian sid/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-11 [21.4 MB]
  Get:17 http://deb.debian.org/debian sid/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-11 [11.0 MB]
  Get:18 http://deb.debian.org/debian sid/main amd64 cpp-14 amd64 14.2.0-11 [1284 B]
  Get:19 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 14.2.0-11 [713 kB]
  Get:20 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0t64 amd64 2.9.18 [1113 kB]
  Get:21 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.18 [1370 kB]
  Get:22 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.12.7-1 [26.8 kB]
  Get:23 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.12.7-1 [27.8 kB]
  Get:24 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.12.7-1 [9712 B]
  Get:25 http://deb.debian.org/debian sid/main amd64 libcoq-interval amd64 4.11.1-1+b3 [6512 kB]
  Get:26 http://deb.debian.org/debian sid/main amd64 libcoq-coquelicot amd64 3.4.2-1+b1 [3359 kB]
  Get:27 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.3.0-1+b1 [8308 kB]
  Get:28 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.8.0-1+b1 [549 kB]
  Get:29 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 2.3.0-1 [11.8 MB]
  Get:30 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 2.0.5-1 [15.3 MB]
  Get:31 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 2.0.5-1 [3836 kB]
  Get:32 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.12.5-1 [2474 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 101 MB in 1s (173 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 ... 21823 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.35+dfsg-3) ...
  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 ... 21823 files and directories currently installed.)
  Preparing to unpack .../libcc1-0_14.2.0-11_amd64.deb ...
  Unpacking libcc1-0:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../gcc-14-base_14.2.0-11_amd64.deb ...
  Unpacking gcc-14-base:amd64 (14.2.0-11) over (14.2.0-8) ...
  Setting up gcc-14-base:amd64 (14.2.0-11) ...
  (Reading database ... 
  (Reading database ... 5%
  (Reading database ... 10%
  (Reading database ... 15%
  (Reading database ... 20%
  (Reading database ... 25%
  (Reading database ... 30%
  (Reading database ... 35%
  (Reading database ... 40%
  (Reading database ... 45%
  (Reading database ... 50%
  (Reading database ... 55%
  (Reading database ... 60%
  (Reading database ... 65%
  (Reading database ... 70%
  (Reading database ... 75%
  (Reading database ... 80%
  (Reading database ... 85%
  (Reading database ... 90%
  (Reading database ... 95%
  (Reading database ... 100%
  (Reading database ... 21823 files and directories currently installed.)
  Preparing to unpack .../libgcc-s1_14.2.0-11_amd64.deb ...
  Unpacking libgcc-s1:amd64 (14.2.0-11) over (14.2.0-8) ...
  Setting up libgcc-s1:amd64 (14.2.0-11) ...
  (Reading database ... 
  (Reading database ... 5%
  (Reading database ... 10%
  (Reading database ... 15%
  (Reading database ... 20%
  (Reading database ... 25%
  (Reading database ... 30%
  (Reading database ... 35%
  (Reading database ... 40%
  (Reading database ... 45%
  (Reading database ... 50%
  (Reading database ... 55%
  (Reading database ... 60%
  (Reading database ... 65%
  (Reading database ... 70%
  (Reading database ... 75%
  (Reading database ... 80%
  (Reading database ... 85%
  (Reading database ... 90%
  (Reading database ... 95%
  (Reading database ... 100%
  (Reading database ... 21823 files and directories currently installed.)
  Preparing to unpack .../00-libgomp1_14.2.0-11_amd64.deb ...
  Unpacking libgomp1:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../01-libitm1_14.2.0-11_amd64.deb ...
  Unpacking libitm1:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../02-libatomic1_14.2.0-11_amd64.deb ...
  Unpacking libatomic1:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../03-libasan8_14.2.0-11_amd64.deb ...
  Unpacking libasan8:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../04-liblsan0_14.2.0-11_amd64.deb ...
  Unpacking liblsan0:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../05-libtsan2_14.2.0-11_amd64.deb ...
  Unpacking libtsan2:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../06-libubsan1_14.2.0-11_amd64.deb ...
  Unpacking libubsan1:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../07-libhwasan0_14.2.0-11_amd64.deb ...
  Unpacking libhwasan0:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../08-libquadmath0_14.2.0-11_amd64.deb ...
  Unpacking libquadmath0:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../09-libgcc-14-dev_14.2.0-11_amd64.deb ...
  Unpacking libgcc-14-dev:amd64 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../10-gcc-14_14.2.0-11_amd64.deb ...
  Unpacking gcc-14 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../11-gcc-14-x86-64-linux-gnu_14.2.0-11_amd64.deb ...
  Unpacking gcc-14-x86-64-linux-gnu (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-11_amd64.deb ...
  Unpacking cpp-14-x86-64-linux-gnu (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../13-cpp-14_14.2.0-11_amd64.deb ...
  Unpacking cpp-14 (14.2.0-11) over (14.2.0-8) ...
  Preparing to unpack .../14-libstdc++6_14.2.0-11_amd64.deb ...
  Unpacking libstdc++6:amd64 (14.2.0-11) over (14.2.0-8) ...
  Setting up libstdc++6:amd64 (14.2.0-11) ...
  (Reading database ... 
  (Reading database ... 5%
  (Reading database ... 10%
  (Reading database ... 15%
  (Reading database ... 20%
  (Reading database ... 25%
  (Reading database ... 30%
  (Reading database ... 35%
  (Reading database ... 40%
  (Reading database ... 45%
  (Reading database ... 50%
  (Reading database ... 55%
  (Reading database ... 60%
  (Reading database ... 65%
  (Reading database ... 70%
  (Reading database ... 75%
  (Reading database ... 80%
  (Reading database ... 85%
  (Reading database ... 90%
  (Reading database ... 95%
  (Reading database ... 100%
  (Reading database ... 21824 files and directories currently installed.)
  Preparing to unpack .../libapt-pkg6.0t64_2.9.18_amd64.deb ...
  Unpacking libapt-pkg6.0t64:amd64 (2.9.18) over (2.9.17) ...
  Setting up libapt-pkg6.0t64:amd64 (2.9.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 ... 21824 files and directories currently installed.)
  Preparing to unpack .../archives/apt_2.9.18_amd64.deb ...
  Unpacking apt (2.9.18) over (2.9.17) ...
  Setting up apt (2.9.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 ... 21824 files and directories currently installed.)
  Preparing to unpack .../python3-minimal_3.12.7-1_amd64.deb ...
  Unpacking python3-minimal (3.12.7-1) over (3.12.6-1) ...
  Setting up python3-minimal (3.12.7-1) ...
  (Reading database ... 
  (Reading database ... 5%
  (Reading database ... 10%
  (Reading database ... 15%
  (Reading database ... 20%
  (Reading database ... 25%
  (Reading database ... 30%
  (Reading database ... 35%
  (Reading database ... 40%
  (Reading database ... 45%
  (Reading database ... 50%
  (Reading database ... 55%
  (Reading database ... 60%
  (Reading database ... 65%
  (Reading database ... 70%
  (Reading database ... 75%
  (Reading database ... 80%
  (Reading database ... 85%
  (Reading database ... 90%
  (Reading database ... 95%
  (Reading database ... 100%
  (Reading database ... 21824 files and directories currently installed.)
  Preparing to unpack .../0-python3_3.12.7-1_amd64.deb ...
  Unpacking python3 (3.12.7-1) over (3.12.6-1) ...
  Preparing to unpack .../1-libpython3-stdlib_3.12.7-1_amd64.deb ...
  Unpacking libpython3-stdlib:amd64 (3.12.7-1) over (3.12.6-1) ...
  Preparing to unpack .../2-libcoq-interval_4.11.1-1+b3_amd64.deb ...
  Unpacking libcoq-interval (4.11.1-1+b3) over (4.11.1-1+b2) ...
  Preparing to unpack .../3-libcoq-coquelicot_3.4.2-1+b1_amd64.deb ...
  Unpacking libcoq-coquelicot (3.4.2-1+b1) over (3.4.2-1) ...
  Preparing to unpack .../4-libcoq-mathcomp-ssreflect_2.3.0-1+b1_amd64.deb ...
  Unpacking libcoq-mathcomp-ssreflect (2.3.0-1+b1) over (2.2.0-2+b9) ...
  Preparing to unpack .../5-libcoq-hierarchy-builder_1.8.0-1+b1_amd64.deb ...
  Unpacking libcoq-hierarchy-builder (1.8.0-1+b1) over (1.7.0-2+b11) ...
  Preparing to unpack .../6-libcoq-elpi_2.3.0-1_amd64.deb ...
  Unpacking libcoq-elpi (2.3.0-1) over (2.2.3-1+b2) ...
  Preparing to unpack .../7-libelpi-ocaml-dev_2.0.5-1_amd64.deb ...
  Unpacking libelpi-ocaml-dev (2.0.5-1) over (1.19.6-1) ...
  Preparing to unpack .../8-libelpi-ocaml_2.0.5-1_amd64.deb ...
  Unpacking libelpi-ocaml (2.0.5-1) over (1.19.6-1) ...
  Preparing to unpack .../9-linux-libc-dev_6.12.5-1_all.deb ...
  Unpacking linux-libc-dev (6.12.5-1) over (6.11.10-1) ...
  Setting up linux-libc-dev (6.12.5-1) ...
  Setting up libgomp1:amd64 (14.2.0-11) ...
  Setting up libquadmath0:amd64 (14.2.0-11) ...
  Setting up libatomic1:amd64 (14.2.0-11) ...
  Setting up cpp-14-x86-64-linux-gnu (14.2.0-11) ...
  Setting up cpp-14 (14.2.0-11) ...
  Setting up libubsan1:amd64 (14.2.0-11) ...
  Setting up libelpi-ocaml (2.0.5-1) ...
  Setting up libhwasan0:amd64 (14.2.0-11) ...
  Setting up libasan8:amd64 (14.2.0-11) ...
  Setting up libtsan2:amd64 (14.2.0-11) ...
  Setting up libcc1-0:amd64 (14.2.0-11) ...
  Setting up liblsan0:amd64 (14.2.0-11) ...
  Setting up libitm1:amd64 (14.2.0-11) ...
  Setting up libpython3-stdlib:amd64 (3.12.7-1) ...
  Setting up python3 (3.12.7-1) ...
  Setting up libelpi-ocaml-dev (2.0.5-1) ...
  Setting up libgcc-14-dev:amd64 (14.2.0-11) ...
  Setting up libcoq-elpi (2.3.0-1) ...
  Setting up libcoq-hierarchy-builder (1.8.0-1+b1) ...
  Setting up gcc-14-x86-64-linux-gnu (14.2.0-11) ...
  Setting up libcoq-mathcomp-ssreflect (2.3.0-1+b1) ...
  Setting up gcc-14 (14.2.0-11) ...
  Setting up libcoq-coquelicot (3.4.2-1+b1) ...
  Setting up libcoq-interval (4.11.1-1+b3) ...
  Processing triggers for libc-bin (2.40-4) ...
0m42.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-yf', 'dist-upgrade']
0m42.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m43.3s DUMP: 
  2865c922f33e5c2d2db33cbad0da3ec3  -
0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'show', '--no-all-versions', 'libcoq-interval']
0m43.8s DUMP: 
  Package: libcoq-interval
  Source: coq-interval (4.11.1-1)
  Version: 4.11.1-1+b3
  Installed-Size: 16893
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Architecture: amd64
  Provides: libcoq-interval-3bt31
  Depends: libcoq-bignums-igo98, libcoq-coquelicot-711v7, libcoq-flocq-yyu78, libcoq-mathcomp-ssreflect-vk1c9, libcoq-stdlib-p29e7
  Description-en: interval arithmetic for Coq
   This package provides tactics to simplify the
   proof of inequalities on expressions of real
   numbers.
   .
   Coq is a proof assistant for higher-order logic.
  Description-md5: 592b78874085ed93fea0d897f7ed5db2
  Homepage: https://coqinterval.gitlabpages.inria.fr/
  Section: ocaml
  Priority: optional
  Filename: pool/main/c/coq-interval/libcoq-interval_4.11.1-1+b3_amd64.deb
  Size: 6511508
  MD5sum: 56b8bb126962908edaf6fb2a3bc46306
  SHA256: b01a17f1a92c31148c1b318a260c537996de502a51dd7cf19d1a5c3de6e204a1
0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'show', '--no-all-versions', 'libcoq-interval']
0m43.8s INFO: apt-cache knows about the following packages: libcoq-interval
0m43.8s INFO: Running scripts pre_install
0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_database-server']
0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_database-server']
0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_exceptions']
0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_exceptions']
0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_extras']
0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_extras']
0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture']
0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture']
0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy']
0m43.9s 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:
0m43.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy']
0m43.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy', 'libcoq-interval']
0m43.9s DUMP: 
  libcoq-interval:
    Installed: 4.11.1-1+b3
    Candidate: 4.11.1-1+b3
    Version table:
   *** 4.11.1-1+b3 500
          500 http://deb.debian.org/debian sid/main amd64 Packages
          100 /var/lib/dpkg/status
0m43.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy', 'libcoq-interval']
0m43.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-y', 'install', 'libcoq-interval']
0m44.5s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  libcoq-interval is already the newest version (4.11.1-1+b3).
  0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-y', 'install', 'libcoq-interval']
0m44.5s INFO: Running scripts post_install
0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_install_exceptions']
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_install_exceptions']
0m44.5s INFO: Running scripts post_distupgrade
0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_base_cleanup']
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_base_cleanup']
0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_exceptions']
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_exceptions']
0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_force-unsafe-io']
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_force-unsafe-io']
0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_squeeze-backports']
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_squeeze-backports']
0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_zz_backports']
0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_distupgrade_zz_backports']
0m44.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m45.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m45.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m46.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m46.5s INFO: Running scripts pre_install
0m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_database-server']
0m46.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_database-server']
0m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_exceptions']
0m46.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_exceptions']
0m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_extras']
0m46.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_extras']
0m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture']
0m46.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture']
0m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m46.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy']
0m46.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:
0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy']
0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy', 'libcoq-interval']
0m46.7s DUMP: 
  libcoq-interval:
    Installed: 4.11.1-1+b3
    Candidate: 4.11.1-1+b3
    Version table:
   *** 4.11.1-1+b3 500
          500 http://deb.debian.org/debian sid/main amd64 Packages
          100 /var/lib/dpkg/status
0m46.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-cache', 'policy', 'libcoq-interval']
0m46.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-y', 'install', 'libcoq-interval=4.11.1-1+b3']
0m47.5s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  libcoq-interval is already the newest version (4.11.1-1+b3).
  0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', '-y', 'install', 'libcoq-interval=4.11.1-1+b3']
0m47.5s INFO: Running scripts post_install
0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_install_exceptions']
0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_install_exceptions']
0m47.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m48.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
0m49.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', '-ac', '--ignore-obsolete']
0m54.9s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', '-ac', '--ignore-obsolete']
0m54.9s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate']
0m54.9s DUMP: 
  0.15.6
0m54.9s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate']
0m54.9s INFO: Running adequate version 0.15.6 now.
0m54.9s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'libcoq-interval']
0m55.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'libcoq-interval']
0m55.1s INFO: Running scripts pre_remove
0m55.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_40_find_missing_md5sums']
0m55.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_40_find_missing_md5sums']
0m55.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles']
0m55.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles']
0m55.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_40_find_unowned_lib_links']
0m57.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_40_find_unowned_lib_links']
0m57.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_50_find_bad_permissions']
0m57.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_50_find_bad_permissions']
0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_50_find_missing_copyright']
0m57.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_50_find_missing_copyright']
0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_exceptions']
0m57.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/pre_remove_exceptions']
0m57.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m57.5s DUMP: 
  install ok installed	apt	apt	2.9.18
  install ok installed	base-files	base-files	13.6
  install ok installed	base-passwd	base-passwd	3.6.5
  install ok installed	bash	bash	5.2.37-1
  install ok installed	binutils	binutils	2.43.50.20241215-1
  install ok installed	binutils-common:amd64	binutils-common	2.43.50.20241215-1
  install ok installed	binutils-x86-64-linux-gnu	binutils-x86-64-linux-gnu	2.43.50.20241215-1
  install ok installed	bsdutils	bsdutils	1:2.40.2-12
  install ok installed	coq	coq	8.20.0+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-11
  install ok installed	cpp-14-x86-64-linux-gnu	cpp-14-x86-64-linux-gnu	14.2.0-11
  install ok installed	cpp-x86-64-linux-gnu	cpp-x86-64-linux-gnu	4:14.2.0-1
  install ok installed	dash	dash	0.5.12-9
  install ok installed	debconf	debconf	1.5.87
  install ok installed	debian-archive-keyring	debian-archive-keyring	2023.4
  install ok installed	debianutils	debianutils	5.21
  install ok installed	diffutils	diffutils	1:3.10-1
  install ok installed	dpkg	dpkg	1.22.11
  install ok installed	e2fsprogs	e2fsprogs	1.47.2~rc1-2
  install ok installed	findutils	findutils	4.10.0-3
  install ok installed	gcc	gcc	4:14.2.0-1
  install ok installed	gcc-14	gcc-14	14.2.0-11
  install ok installed	gcc-14-base:amd64	gcc-14-base	14.2.0-11
  install ok installed	gcc-14-x86-64-linux-gnu	gcc-14-x86-64-linux-gnu	14.2.0-11
  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.45-2
  install ok installed	grep	grep	3.11-4
  install ok installed	gzip	gzip	1.12-1.2
  install ok installed	hostname	hostname	3.25
  install ok installed	init-system-helpers	init-system-helpers	1.67
  install ok installed	libacl1:amd64	libacl1	2.3.2-2+b1
  install ok installed	libapt-pkg6.0t64:amd64	libapt-pkg6.0t64	2.9.18
  install ok installed	libasan8:amd64	libasan8	14.2.0-11
  install ok installed	libatomic1:amd64	libatomic1	14.2.0-11
  install ok installed	libattr1:amd64	libattr1	1:2.5.2-2
  install ok installed	libaudit-common	libaudit-common	1:4.0.2-2
  install ok installed	libaudit1:amd64	libaudit1	1:4.0.2-2
  install ok installed	libbinutils:amd64	libbinutils	2.43.50.20241215-1
  install ok installed	libblkid1:amd64	libblkid1	2.40.2-12
  install ok installed	libbsd0:amd64	libbsd0	0.12.2-2
  install ok installed	libbz2-1.0:amd64	libbz2-1.0	1.0.8-6
  install ok installed	libc-bin	libc-bin	2.40-4
  install ok installed	libc-dev-bin	libc-dev-bin	2.40-4
  install ok installed	libc6:amd64	libc6	2.40-4
  install ok installed	libc6-dev:amd64	libc6-dev	2.40-4
  install ok installed	libcap-ng0:amd64	libcap-ng0	0.8.5-4
  install ok installed	libcap2:amd64	libcap2	1:2.66-5+b1
  install ok installed	libcc1-0:amd64	libcc1-0	14.2.0-11
  install ok installed	libcom-err2:amd64	libcom-err2	1.47.2~rc1-2
  install ok installed	libcompiler-libs-ocaml-dev	libcompiler-libs-ocaml-dev	5.2.0-3
  install ok installed	libcoq-bignums	libcoq-bignums	9.0.0+coq8.20-1+b5
  install ok installed	libcoq-coquelicot	libcoq-coquelicot	3.4.2-1+b1
  install ok installed	libcoq-core-ocaml	libcoq-core-ocaml	8.20.0+dfsg-1
  install ok installed	libcoq-core-ocaml-dev	libcoq-core-ocaml-dev	8.20.0+dfsg-1
  install ok installed	libcoq-elpi	libcoq-elpi	2.3.0-1
  install ok installed	libcoq-flocq	libcoq-flocq	4.2.0-1+b2
  install ok installed	libcoq-hierarchy-builder	libcoq-hierarchy-builder	1.8.0-1+b1
  install ok installed	libcoq-interval	libcoq-interval	4.11.1-1+b3
  install ok installed	libcoq-mathcomp-ssreflect	libcoq-mathcomp-ssreflect	2.3.0-1+b1
  install ok installed	libcoq-stdlib	libcoq-stdlib	8.20.0+dfsg-1
  install ok installed	libcrypt-dev:amd64	libcrypt-dev	1:4.4.36-5
  install ok installed	libcrypt1:amd64	libcrypt1	1:4.4.36-5
  install ok installed	libctf-nobfd0:amd64	libctf-nobfd0	2.43.50.20241215-1
  install ok installed	libctf0:amd64	libctf0	2.43.50.20241215-1
  install ok installed	libdb5.3t64:amd64	libdb5.3t64	5.3.28+dfsg2-9
  install ok installed	libdebconfclient0:amd64	libdebconfclient0	0.274
  install ok installed	libelpi-ocaml	libelpi-ocaml	2.0.5-1
  install ok installed	libelpi-ocaml-dev	libelpi-ocaml-dev	2.0.5-1
  install ok installed	libexpat1:amd64	libexpat1	2.6.4-1
  install ok installed	libext2fs2t64:amd64	libext2fs2t64	1.47.2~rc1-2
  install ok installed	libffi8:amd64	libffi8	3.4.6-1
  install ok installed	libfindlib-ocaml	libfindlib-ocaml	1.9.6-3
  install ok installed	libfindlib-ocaml-dev	libfindlib-ocaml-dev	1.9.6-3
  install ok installed	libgcc-14-dev:amd64	libgcc-14-dev	14.2.0-11
  install ok installed	libgcc-s1:amd64	libgcc-s1	14.2.0-11
  install ok installed	libgcrypt20:amd64	libgcrypt20	1.11.0-6
  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	libgnutls30t64:amd64	libgnutls30t64	3.8.8-2
  install ok installed	libgomp1:amd64	libgomp1	14.2.0-11
  install ok installed	libgpg-error0:amd64	libgpg-error0	1.51-2
  install ok installed	libgprofng0:amd64	libgprofng0	2.43.50.20241215-1
  install ok installed	libgssapi-krb5-2:amd64	libgssapi-krb5-2	1.21.3-3
  install ok installed	libhogweed6t64:amd64	libhogweed6t64	3.10-1+b1
  install ok installed	libhwasan0:amd64	libhwasan0	14.2.0-11
  install ok installed	libidn2-0:amd64	libidn2-0	2.3.7-2+b1
  install ok installed	libisl23:amd64	libisl23	0.27-1
  install ok installed	libitm1:amd64	libitm1	14.2.0-11
  install ok installed	libjansson4:amd64	libjansson4	2.14-2+b3
  install ok installed	libk5crypto3:amd64	libk5crypto3	1.21.3-3
  install ok installed	libkeyutils1:amd64	libkeyutils1	1.6.3-4
  install ok installed	libkrb5-3:amd64	libkrb5-3	1.21.3-3
  install ok installed	libkrb5support0:amd64	libkrb5support0	1.21.3-3
  install ok installed	liblsan0:amd64	liblsan0	14.2.0-11
  install ok installed	liblz4-1:amd64	liblz4-1	1.9.4-3+b1
  install ok installed	liblzma5:amd64	liblzma5	5.6.3-1+b1
  install ok installed	libmd0:amd64	libmd0	1.1.0-2+b1
  install ok installed	libmenhir-ocaml-dev	libmenhir-ocaml-dev	20240715+ds-1
  install ok installed	libmount1:amd64	libmount1	2.40.2-12
  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-2+b1
  install ok installed	libncurses6:amd64	libncurses6	6.5-2+b1
  install ok installed	libncursesw6:amd64	libncursesw6	6.5-2+b1
  install ok installed	libnettle8t64:amd64	libnettle8t64	3.10-1+b1
  install ok installed	libnsl2:amd64	libnsl2	1.3.0-3+b3
  install ok installed	libocaml-compiler-libs-ocaml-dev	libocaml-compiler-libs-ocaml-dev	0.17.0-1
  install ok installed	libp11-kit0:amd64	libp11-kit0	0.25.5-2+b1
  install ok installed	libpam-modules:amd64	libpam-modules	1.5.3-7+b1
  install ok installed	libpam-modules-bin	libpam-modules-bin	1.5.3-7+b1
  install ok installed	libpam-runtime	libpam-runtime	1.5.3-7
  install ok installed	libpam0g:amd64	libpam0g	1.5.3-7+b1
  install ok installed	libpcre2-8-0:amd64	libpcre2-8-0	10.44-5
  install ok installed	libppx-derivers-ocaml-dev	libppx-derivers-ocaml-dev	1.2.1-4+b2
  install ok installed	libppx-deriving-ocaml	libppx-deriving-ocaml	6.0.3-1
  install ok installed	libppx-deriving-ocaml-dev	libppx-deriving-ocaml-dev	6.0.3-1
  install ok installed	libppxlib-ocaml-dev	libppxlib-ocaml-dev	0.33.0-2
  install ok installed	libpython3-stdlib:amd64	libpython3-stdlib	3.12.7-1
  install ok installed	libpython3.12-minimal:amd64	libpython3.12-minimal	3.12.8-3
  install ok installed	libpython3.12-stdlib:amd64	libpython3.12-stdlib	3.12.8-3
  install ok installed	libquadmath0:amd64	libquadmath0	14.2.0-11
  install ok installed	libre-ocaml-dev	libre-ocaml-dev	1.12.0+really1.11.0-1
  install ok installed	libreadline8t64:amd64	libreadline8t64	8.2-6
  install ok installed	libseccomp2:amd64	libseccomp2	2.5.5-2
  install ok installed	libselinux1:amd64	libselinux1	3.7-3+b1
  install ok installed	libsemanage-common	libsemanage-common	3.7-2
  install ok installed	libsemanage2:amd64	libsemanage2	3.7-2+b1
  install ok installed	libsepol2:amd64	libsepol2	3.7-1
  install ok installed	libsexplib0-ocaml	libsexplib0-ocaml	0.17.0-1
  install ok installed	libsexplib0-ocaml-dev	libsexplib0-ocaml-dev	0.17.0-1
  install ok installed	libsframe1:amd64	libsframe1	2.43.50.20241215-1
  install ok installed	libsmartcols1:amd64	libsmartcols1	2.40.2-12
  install ok installed	libsqlite3-0:amd64	libsqlite3-0	3.46.1-1
  install ok installed	libss2:amd64	libss2	1.47.2~rc1-2
  install ok installed	libssl3t64:amd64	libssl3t64	3.3.2-2
  install ok installed	libstdc++6:amd64	libstdc++6	14.2.0-11
  install ok installed	libstdlib-ocaml	libstdlib-ocaml	5.2.0-3
  install ok installed	libstdlib-ocaml-dev	libstdlib-ocaml-dev	5.2.0-3
  install ok installed	libsystemd0:amd64	libsystemd0	257-2
  install ok installed	libtasn1-6:amd64	libtasn1-6	4.19.0-3+b3
  install ok installed	libtinfo6:amd64	libtinfo6	6.5-2+b1
  install ok installed	libtirpc-common	libtirpc-common	1.3.4+ds-1.3
  install ok installed	libtirpc3t64:amd64	libtirpc3t64	1.3.4+ds-1.3+b1
  install ok installed	libtsan2:amd64	libtsan2	14.2.0-11
  install ok installed	libubsan1:amd64	libubsan1	14.2.0-11
  install ok installed	libudev1:amd64	libudev1	257-2
  install ok installed	libunistring5:amd64	libunistring5	1.3-1
  install ok installed	libuuid1:amd64	libuuid1	2.40.2-12
  install ok installed	libxxhash0:amd64	libxxhash0	0.8.2-2+b2
  install ok installed	libzarith-ocaml	libzarith-ocaml	1.14-1
  install ok installed	libzarith-ocaml-dev	libzarith-ocaml-dev	1.14-1
  install ok installed	libzstd-dev:amd64	libzstd-dev	1.5.6+dfsg-1+b1
  install ok installed	libzstd1:amd64	libzstd1	1.5.6+dfsg-1+b1
  install ok installed	linux-libc-dev	linux-libc-dev	6.12.5-1
  install ok installed	login	login	1:4.16.0-2+really2.40.2-12
  install ok installed	login.defs	login.defs	1:4.16.0-7
  install ok installed	logsave	logsave	1.47.2~rc1-2
  install ok installed	mawk	mawk	1.3.4.20240905-1
  install ok installed	media-types	media-types	10.1.0
  install ok installed	mount	mount	2.40.2-12
  install ok installed	ncurses-base	ncurses-base	6.5-2
  install ok installed	ncurses-bin	ncurses-bin	6.5-2+b1
  install ok installed	netbase	netbase	6.4
  install ok installed	ocaml	ocaml	5.2.0-3
  install ok installed	ocaml-base	ocaml-base	5.2.0-3
  install ok installed	ocaml-findlib	ocaml-findlib	1.9.6-3
  install ok installed	ocaml-interp	ocaml-interp	5.2.0-3
  install ok installed	openssl-provider-legacy	openssl-provider-legacy	3.3.2-2
  install ok installed	passwd	passwd	1:4.16.0-7
  install ok installed	perl-base	perl-base	5.40.0-8
  install ok installed	python3	python3	3.12.7-1
  install ok installed	python3-minimal	python3-minimal	3.12.7-1
  install ok installed	python3.12	python3.12	3.12.8-3
  install ok installed	python3.12-minimal	python3.12-minimal	3.12.8-3
  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	sysvinit-utils	sysvinit-utils	3.11-1
  install ok installed	tar	tar	1.35+dfsg-3.1
  install ok installed	tzdata	tzdata	2024b-4
  install ok installed	usr-is-merged	usr-is-merged	39
  install ok installed	util-linux	util-linux	2.40.2-12
  install ok installed	zlib1g:amd64	zlib1g	1:1.3.dfsg+really1.3.1-1+b1
0m57.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m57.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-bignums', 'libcoq-coquelicot', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-flocq', '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', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-interval']
0m59.5s 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-bignums
    libcoq-coquelicot libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi
    libcoq-flocq libcoq-hierarchy-builder libcoq-interval
    libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0
    libelpi-ocaml libelpi-ocaml-dev libexpat1 libfindlib-ocaml
    libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
    libgomp1 libgprofng0 libgssapi-krb5-2 libhwasan0 libisl23 libitm1
    libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0
    libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6
    libnsl2 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev
    libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev
    libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libquadmath0
    libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev
    libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common
    libtirpc3t64 libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev
    libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base
    ocaml-findlib ocaml-interp python3 python3-minimal python3.12
    python3.12-minimal readline-common rpcsvc-proto
  0 upgraded, 0 newly installed, 97 to remove and 0 not upgraded.
  After this operation, 1421 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 ... 21860 files and directories currently installed.)
  Removing libcoq-interval (4.11.1-1+b3) ...
  Removing libcoq-coquelicot (3.4.2-1+b1) ...
  Removing libcoq-mathcomp-ssreflect (2.3.0-1+b1) ...
  Removing libcoq-hierarchy-builder (1.8.0-1+b1) ...
  Removing libcoq-elpi (2.3.0-1) ...
  Removing libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
  Removing coq (8.20.0+dfsg-1) ...
  Removing libelpi-ocaml-dev (2.0.5-1) ...
  Removing libppx-deriving-ocaml-dev (6.0.3-1) ...
  Removing libppxlib-ocaml-dev (0.33.0-2) ...
  Removing libppx-derivers-ocaml-dev (1.2.1-4+b2) ...
  Removing libzarith-ocaml-dev (1.14-1) ...
  Removing libfindlib-ocaml-dev (1.9.6-3) ...
  Removing libcoq-bignums (9.0.0+coq8.20-1+b5) ...
  Removing libcoq-core-ocaml (8.20.0+dfsg-1) ...
  Removing libcoq-flocq (4.2.0-1+b2) ...
  Removing libcoq-stdlib (8.20.0+dfsg-1) ...
  Removing libelpi-ocaml (2.0.5-1) ...
  Removing python3 (3.12.7-1) ...
  Removing python3.12 (3.12.8-3) ...
  Removing python3-minimal (3.12.7-1) ...
  Removing python3.12-minimal (3.12.8-3) ...
  Removing libexpat1:amd64 (2.6.4-1) ...
  Removing ocaml-findlib (1.9.6-3) ...
  Removing libfindlib-ocaml (1.9.6-3) ...
  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 libpython3-stdlib:amd64 (3.12.7-1) ...
  Removing libpython3.12-stdlib:amd64 (3.12.8-3) ...
  find: '/usr/lib/python3': No such file or directory
  Removing libnsl2:amd64 (1.3.0-3+b3) ...
  Removing libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
  Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64'
  Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64'
  Removing libgssapi-krb5-2:amd64 (1.21.3-3) ...
  Removing libkrb5-3:amd64 (1.21.3-3) ...
  Removing libk5crypto3:amd64 (1.21.3-3) ...
  Removing libkeyutils1:amd64 (1.6.3-4) ...
  Removing libkrb5support0:amd64 (1.21.3-3) ...
  Removing libmenhir-ocaml-dev (20240715+ds-1) ...
  Removing libocaml-compiler-libs-ocaml-dev (0.17.0-1) ...
  Removing libppx-deriving-ocaml (6.0.3-1) ...
  Removing libpython3.12-minimal:amd64 (3.12.8-3) ...
  find: '/usr/lib/python3': No such file or directory
  Removing libre-ocaml-dev (1.12.0+really1.11.0-1) ...
  Removing libreadline8t64:amd64 (8.2-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) ...
  Removing libsexplib0-ocaml (0.17.0-1) ...
  Removing libsqlite3-0:amd64 (3.46.1-1) ...
  Removing libzarith-ocaml (1.14-1) ...
  Removing libtirpc-common (1.3.4+ds-1.3) ...
  Removing media-types (10.1.0) ...
  Removing netbase (6.4) ...
  Removing readline-common (8.2-6) ...
  Removing ocaml (5.2.0-3) ...
  Removing gcc (4:14.2.0-1) ...
  Removing gcc-14 (14.2.0-11) ...
  Removing binutils (2.43.50.20241215-1) ...
  Removing gcc-x86-64-linux-gnu (4:14.2.0-1) ...
  Removing gcc-14-x86-64-linux-gnu (14.2.0-11) ...
  Removing binutils-x86-64-linux-gnu (2.43.50.20241215-1) ...
  Removing libgprofng0:amd64 (2.43.50.20241215-1) ...
  Removing libctf0:amd64 (2.43.50.20241215-1) ...
  Removing libbinutils:amd64 (2.43.50.20241215-1) ...
  Removing binutils-common:amd64 (2.43.50.20241215-1) ...
  Removing cpp (4:14.2.0-1) ...
  Removing cpp-14 (14.2.0-11) ...
  Removing cpp-x86-64-linux-gnu (4:14.2.0-1) ...
  Removing cpp-14-x86-64-linux-gnu (14.2.0-11) ...
  Removing libgcc-14-dev:amd64 (14.2.0-11) ...
  Removing libasan8:amd64 (14.2.0-11) ...
  Removing libatomic1:amd64 (14.2.0-11) ...
  Removing libncurses-dev:amd64 (6.5-2+b1) ...
  Removing libc6-dev:amd64 (2.40-4) ...
  Removing libc-dev-bin (2.40-4) ...
  Removing libcc1-0:amd64 (14.2.0-11) ...
  Removing ocaml-interp (5.2.0-3) ...
  Removing libcompiler-libs-ocaml-dev (5.2.0-3) ...
  Removing libcrypt-dev:amd64 (1:4.4.36-5) ...
  Removing libctf-nobfd0:amd64 (2.43.50.20241215-1) ...
  Removing libgomp1:amd64 (14.2.0-11) ...
  Removing libhwasan0:amd64 (14.2.0-11) ...
  Removing libisl23:amd64 (0.27-1) ...
  Removing libitm1:amd64 (14.2.0-11) ...
  Removing libjansson4:amd64 (2.14-2+b3) ...
  Removing liblsan0:amd64 (14.2.0-11) ...
  Removing libmpc3:amd64 (1.3.1-1+b3) ...
  Removing libmpfr6:amd64 (4.2.1-1+b2) ...
  Removing libncurses6:amd64 (6.5-2+b1) ...
  Removing libncursesw6:amd64 (6.5-2+b1) ...
  Removing libquadmath0:amd64 (14.2.0-11) ...
  Removing libsframe1:amd64 (2.43.50.20241215-1) ...
  Removing ocaml-base (5.2.0-3) ...
  Removing libstdlib-ocaml-dev (5.2.0-3) ...
  Removing libstdlib-ocaml (5.2.0-3) ...
  Removing libtsan2:amd64 (14.2.0-11) ...
  Removing libubsan1:amd64 (14.2.0-11) ...
  Removing libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
  Removing linux-libc-dev (6.12.5-1) ...
  Removing rpcsvc-proto (1.4.3-1) ...
  Processing triggers for libc-bin (2.40-4) ...
0m59.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-bignums', 'libcoq-coquelicot', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-flocq', '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', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-interval']
0m59.5s INFO: Running scripts post_remove
0m59.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_remove_exceptions']
0m59.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_remove_exceptions']
0m59.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', '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-bignums', 'libcoq-coquelicot', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-flocq', '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', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto']
0m59.7s DUMP: 
  dpkg: warning: ignoring request to remove binutils which isn't installed
  (Reading database ... 5145 files and directories currently installed.)
  Purging configuration files for binutils-common:amd64 (2.43.50.20241215-1) ...
  dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed
  dpkg: warning: ignoring request to remove coq which isn't installed
  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-bignums which isn't installed
  dpkg: warning: ignoring request to remove libcoq-coquelicot 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-flocq 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.36-5) ...
  dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed
  dpkg: warning: ignoring request to remove libctf0 which isn't installed
  dpkg: warning: ignoring request to remove libelpi-ocaml which isn't installed
  dpkg: warning: ignoring request to remove libelpi-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libexpat1 which isn't installed
  Purging configuration files for libfindlib-ocaml (1.9.6-3) ...
  dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libgcc-14-dev which isn't installed
  dpkg: warning: ignoring request to remove libgmp-dev which isn't installed
  dpkg: warning: ignoring request to remove libgmp3-dev which isn't installed
  dpkg: warning: ignoring request to remove libgmpxx4ldbl which isn't installed
  dpkg: warning: ignoring request to remove libgomp1 which isn't installed
  dpkg: warning: ignoring request to remove libgprofng0 which isn't installed
  Purging configuration files for libgssapi-krb5-2:amd64 (1.21.3-3) ...
  dpkg: warning: ignoring request to remove libhwasan0 which isn't installed
  dpkg: warning: ignoring request to remove libisl23 which isn't installed
  dpkg: warning: ignoring request to remove libitm1 which isn't installed
  dpkg: warning: ignoring request to remove libjansson4 which isn't installed
  dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed
  dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed
  dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed
  dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed
  dpkg: warning: ignoring request to remove liblsan0 which isn't installed
  dpkg: warning: ignoring request to remove libmenhir-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libmpc3 which isn't installed
  dpkg: warning: ignoring request to remove libmpfr6 which isn't installed
  dpkg: warning: ignoring request to remove libncurses-dev which isn't installed
  dpkg: warning: ignoring request to remove libncurses6 which isn't installed
  dpkg: warning: ignoring request to remove libncursesw6 which isn't installed
  dpkg: warning: ignoring request to remove libnsl2 which isn't installed
  dpkg: warning: ignoring request to remove libocaml-compiler-libs-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libppx-derivers-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libppx-deriving-ocaml which isn't installed
  dpkg: warning: ignoring request to remove libppx-deriving-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libppxlib-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed
  Purging configuration files for libpython3.12-minimal:amd64 (3.12.8-3) ...
  dpkg: warning: ignoring request to remove libpython3.12-stdlib which isn't installed
  dpkg: warning: ignoring request to remove libquadmath0 which isn't installed
  dpkg: warning: ignoring request to remove libre-ocaml-dev which isn't installed
  Purging configuration files for libreadline8t64:amd64 (8.2-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
  Purging configuration files for libtirpc-common (1.3.4+ds-1.3) ...
  Purging configuration files for libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
  dpkg: warning: ignoring request to remove libtsan2 which isn't installed
  dpkg: warning: ignoring request to remove libubsan1 which isn't installed
  dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed
  dpkg: warning: ignoring request to remove libzarith-ocaml-dev which isn't installed
  dpkg: warning: ignoring request to remove libzstd-dev which isn't installed
  dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed
  Purging configuration files for media-types (10.1.0) ...
  Purging configuration files for netbase (6.4) ...
  dpkg: warning: ignoring request to remove ocaml which isn't installed
  dpkg: warning: ignoring request to remove ocaml-base which isn't installed
  dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed
  dpkg: warning: ignoring request to remove ocaml-interp which isn't installed
  Purging configuration files for python3 (3.12.7-1) ...
  dpkg: warning: ignoring request to remove python3-minimal which isn't installed
  dpkg: warning: ignoring request to remove python3.12 which isn't installed
  Purging configuration files for python3.12-minimal (3.12.8-3) ...
  Purging configuration files for readline-common (8.2-6) ...
  dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed
0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', '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-bignums', 'libcoq-coquelicot', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-flocq', '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', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc3t64:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'rpcsvc-proto']
0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg', '--purge', 'libcoq-interval']
0m59.7s DUMP: 
  dpkg: warning: ignoring request to remove libcoq-interval which isn't installed
0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg', '--purge', 'libcoq-interval']
0m59.7s INFO: Running scripts post_purge
0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_purge_exceptions']
0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_purge_exceptions']
0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg', '--purge', '--pending']
0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg', '--purge', '--pending']
0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg', '--remove', '--pending']
0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg', '--remove', '--pending']
0m59.7s INFO: Running scripts post_test
0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_test_exceptions']
0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'tmp/scripts/post_test_exceptions']
0m59.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
1m0.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
1m0.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg-divert', '--list']
1m0.2s DUMP: 
  diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64
  local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged
  diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64
  local diversion of /home to /home.distrib
  diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6
  diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64
  diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64
  diversion of /libx32 to /.libx32.usr-is-merged by base-files
  local diversion of /usr/bin/sync to /usr/bin/sync.distrib
  diversion of /lib32 to /.lib32.usr-is-merged by base-files
  diversion of /libo32 to /.libo32.usr-is-merged by base-files
1m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'dpkg-divert', '--list']
1m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'clean']
1m0.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8', 'apt-get', 'clean']
1m0.3s DEBUG: Recording chroot state
1m1.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/shm']
1m1.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/shm']
1m1.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/console']
1m1.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/console']
1m1.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/ptmx']
1m1.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/ptmx']
1m1.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/pts']
1m1.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/dev/pts']
1m1.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/proc']
1m1.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8/proc']
1m1.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
1m1.3s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpxuc5g3f8']
1m1.3s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpxuc5g3f8
1m1.3s INFO: PASS: Upgrading between Debian distributions.
1m1.3s INFO: PASS: All tests.
1m1.3s INFO: piuparts run ends.

ret=0
End: 2024-12-20 03:37:15 GMT