Start: 2024-12-19 23:24:29 GMT

Package: libcoq-extructures
Source: coq-extructures (0.5.0-1)
Version: 0.5.0-1+b1
Installed-Size: 2691
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-extructures-037f1
Depends: libcoq-deriving-q9oj3, libcoq-mathcomp-ssreflect-vk1c9, libcoq-stdlib-p29e7
Description: data structures with extensional reasoning for Coq
Homepage: https://github.com/arthuraa/extructures/
Description-md5: 0c8bbd733f0477a3e66701a1b6d2b4c2
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-extructures/libcoq-extructures_0.5.0-1+b1_amd64.deb
Size: 748164
MD5sum: 5dc024613ee1a80061be7e37483c5f0c
SHA256: 08503d5092a6fdc24f6eb2002b9685bc304dc1ab3f3acfe63208c99fcc7987ff

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 --scriptsdir /etc/piuparts/scripts-no-usr-share-doc --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt libcoq-extructures=0.5.0-1+b1
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 --scriptsdir /etc/piuparts/scripts-no-usr-share-doc --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt libcoq-extructures=0.5.0-1+b1
0m0.0s INFO: Running on: Linux piu-slave-ubc-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/tmpcngkzl6k
0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpcngkzl6k
0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz']
0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz']
0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/proc']
0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/proc']
0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/pts']
0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/pts']
0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/ptmx']
0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/ptmx']
0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/console']
0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/console']
0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/shm']
0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/shm']
0m0.2s DEBUG: sources.list:
  deb http://deb.debian.org/debian/ sid main
0m0.3s DEBUG: Created policy-rc.d and chmodded it.
0m0.3s DEBUG: Created resolv.conf.
0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpcngkzl6k/tmp/scripts/
0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts-no-usr-share-doc to /srv/piuparts.debian.org/tmp/tmpcngkzl6k/tmp/scripts/
0m0.3s INFO: Running scripts post_chroot_unpack
0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated']
0m0.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated']
0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'update']
0m2.4s 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 (10.7 MB/s)
  Reading package lists...
0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'update']
0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', '-yf', 'dist-upgrade']
0m3.3s DUMP: 
  Reading package lists...
  Building dependency tree...
  Calculating upgrade...
  The following packages will be upgraded:
    apt libapt-pkg6.0t64 tar
  3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
  Need to get 3298 kB of archives.
  After this operation, 14.3 kB 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 libapt-pkg6.0t64 amd64 2.9.18 [1113 kB]
  Get:3 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.18 [1370 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 3298 kB in 0s (36.6 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 ... 5131 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 ... 5131 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 ... 5131 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) ...
  Processing triggers for libc-bin (2.40-4) ...
0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', '-yf', 'dist-upgrade']
0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m3.9s DUMP: 
  d90dfae4a6148ac947f548df101cfa9f  -
0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'sh', '-c', 'apt-cache dumpavail | md5sum']
0m3.9s INFO: Running scripts post_setup
0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_disable_usr_share_doc']
0m4.0s DUMP: 
  dpkg-query: no packages found matching systemd-sysv
  dpkg-query: no packages found matching sysv-rc
0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_disable_usr_share_doc']
0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_dummy_users']
0m4.4s 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
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_dummy_users']
0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_forbid_home']
0m4.4s DUMP: 
  Disabling /home
  Adding 'local diversion of /home to /home.distrib'
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_forbid_home']
0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_force-unsafe-io']
0m4.4s 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'
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_force-unsafe-io']
0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_minimize']
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_minimize']
0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_squeeze-backports']
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_squeeze-backports']
0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_zz_backports']
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_setup_zz_backports']
0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'clean']
0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'clean']
0m4.4s DEBUG: Recording chroot state
0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m4.7s 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	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-11
  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	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-11
  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-11
  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.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
0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-divert', '--list']
0m4.7s 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
0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-divert', '--list']
0m4.7s INFO: Running scripts is_testable
0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/is_testable_uninstallable']
0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/is_testable_uninstallable']
0m4.7s INFO: apt-cache does not know about any of the requested packages
0m4.7s INFO: Running scripts pre_test
0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_test_exceptions']
0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_test_exceptions']
0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_test_root_password']
0m4.7s DUMP: 
  New password: Retype new password: passwd: password updated successfully
0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_test_root_password']
0m4.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m4.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m5.2s DEBUG: No broken symlinks as far as we can find.
0m5.2s INFO: Running scripts pre_install
0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_database-server']
0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_database-server']
0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_exceptions']
0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_exceptions']
0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_extras']
0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_extras']
0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_foreign_architecture']
0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_foreign_architecture']
0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_install_foreign_architecture_i386']
0m5.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m5.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m5.7s DEBUG: No broken symlinks as far as we can find.
0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-cache', 'policy']
0m6.1s 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:
0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-cache', 'policy']
0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-cache', 'policy', 'libcoq-extructures']
0m6.2s DUMP: 
  libcoq-extructures:
    Installed: (none)
    Candidate: 0.5.0-1+b1
    Version table:
       0.5.0-1+b1 500
          500 http://deb.debian.org/debian sid/main amd64 Packages
0m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-cache', 'policy', 'libcoq-extructures']
0m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', '-y', 'install', 'libcoq-extructures=0.5.0-1+b1']
0m21.2s 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-core-ocaml
    libcoq-core-ocaml-dev libcoq-deriving libcoq-elpi libcoq-hierarchy-builder
    libcoq-mathcomp-ssreflect libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0
    libelpi-ocaml libelpi-ocaml-dev libexpat1 libfindlib-ocaml
    libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
    libgomp1 libgprofng0 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-core-ocaml
    libcoq-core-ocaml-dev libcoq-deriving libcoq-elpi libcoq-extructures
    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
  0 upgraded, 95 newly installed, 0 to remove and 0 not upgraded.
  Need to get 422 MB of archives.
  After this operation, 1377 MB of additional disk space will be used.
  Get:1 http://deb.debian.org/debian sid/main amd64 libpython3.12-minimal amd64 3.12.8-3 [817 kB]
  Get:2 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
  Get:3 http://deb.debian.org/debian sid/main amd64 python3.12-minimal amd64 3.12.8-3 [2162 kB]
  Get:4 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.12.7-1 [26.8 kB]
  Get:5 http://deb.debian.org/debian sid/main amd64 media-types all 10.1.0 [26.9 kB]
  Get:6 http://deb.debian.org/debian sid/main amd64 netbase all 6.4 [12.8 kB]
  Get:7 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB]
  Get:8 http://deb.debian.org/debian sid/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB]
  Get:9 http://deb.debian.org/debian sid/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB]
  Get:10 http://deb.debian.org/debian sid/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B]
  Get:11 http://deb.debian.org/debian sid/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB]
  Get:12 http://deb.debian.org/debian sid/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB]
  Get:13 http://deb.debian.org/debian sid/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB]
  Get:14 http://deb.debian.org/debian sid/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB]
  Get:15 http://deb.debian.org/debian sid/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB]
  Get:16 http://deb.debian.org/debian sid/main amd64 readline-common all 8.2-6 [69.4 kB]
  Get:17 http://deb.debian.org/debian sid/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
  Get:18 http://deb.debian.org/debian sid/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB]
  Get:19 http://deb.debian.org/debian sid/main amd64 libpython3.12-stdlib amd64 3.12.8-3 [1969 kB]
  Get:20 http://deb.debian.org/debian sid/main amd64 python3.12 amd64 3.12.8-3 [677 kB]
  Get:21 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.12.7-1 [9712 B]
  Get:22 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.12.7-1 [27.8 kB]
  Get:23 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.43.50.20241215-1 [2630 kB]
  Get:24 http://deb.debian.org/debian sid/main amd64 libsframe1 amd64 2.43.50.20241215-1 [77.5 kB]
  Get:25 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.43.50.20241215-1 [533 kB]
  Get:26 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.43.50.20241215-1 [155 kB]
  Get:27 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.43.50.20241215-1 [88.6 kB]
  Get:28 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.43.50.20241215-1 [809 kB]
  Get:29 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB]
  Get:30 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.43.50.20241215-1 [2275 kB]
  Get:31 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.43.50.20241215-1 [68.3 kB]
  Get:32 http://deb.debian.org/debian sid/main amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [23.5 MB]
  Get:33 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB]
  Get:34 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.2.0-3 [455 kB]
  Get:35 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB]
  Get:36 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB]
  Get:37 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB]
  Get:38 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB]
  Get:39 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB]
  Get:40 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB]
  Get:41 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
  Get:42 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.40-4 [52.0 kB]
  Get:43 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.12.5-1 [2474 kB]
  Get:44 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.36-5 [118 kB]
  Get:45 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB]
  Get:46 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.40-4 [1954 kB]
  Get:47 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
  Get:48 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.27-1 [659 kB]
  Get:49 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.1-1+b2 [724 kB]
  Get:50 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-1+b3 [52.2 kB]
  Get:51 http://deb.debian.org/debian sid/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-11 [11.0 MB]
  Get:52 http://deb.debian.org/debian sid/main amd64 cpp-14 amd64 14.2.0-11 [1284 B]
  Get:53 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B]
  Get:54 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:14.2.0-1 [1568 B]
  Get:55 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 14.2.0-11 [42.9 kB]
  Get:56 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 14.2.0-11 [137 kB]
  Get:57 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 14.2.0-11 [26.0 kB]
  Get:58 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 14.2.0-11 [9284 B]
  Get:59 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 14.2.0-11 [2728 kB]
  Get:60 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 14.2.0-11 [1205 kB]
  Get:61 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 14.2.0-11 [2461 kB]
  Get:62 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 14.2.0-11 [1075 kB]
  Get:63 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 14.2.0-11 [1489 kB]
  Get:64 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 14.2.0-11 [146 kB]
  Get:65 http://deb.debian.org/debian sid/main amd64 libgcc-14-dev amd64 14.2.0-11 [2673 kB]
  Get:66 http://deb.debian.org/debian sid/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-11 [21.4 MB]
  Get:67 http://deb.debian.org/debian sid/main amd64 gcc-14 amd64 14.2.0-11 [534 kB]
  Get:68 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B]
  Get:69 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:14.2.0-1 [5136 B]
  Get:70 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB]
  Get:71 http://deb.debian.org/debian sid/main amd64 ocaml amd64 5.2.0-3 [17.4 MB]
  Get:72 http://deb.debian.org/debian sid/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB]
  Get:73 http://deb.debian.org/debian sid/main amd64 coq amd64 8.20.0+dfsg-1 [77.0 MB]
  Get:74 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB]
  Get:75 http://deb.debian.org/debian sid/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
  Get:76 http://deb.debian.org/debian sid/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
  Get:77 http://deb.debian.org/debian sid/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
  Get:78 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB]
  Get:79 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB]
  Get:80 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB]
  Get:81 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml amd64 6.0.3-1 [4223 kB]
  Get:82 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 2.0.5-1 [3836 kB]
  Get:83 http://deb.debian.org/debian sid/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [906 kB]
  Get:84 http://deb.debian.org/debian sid/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [161 kB]
  Get:85 http://deb.debian.org/debian sid/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b2 [19.7 kB]
  Get:86 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [359 kB]
  Get:87 http://deb.debian.org/debian sid/main amd64 libppxlib-ocaml-dev amd64 0.33.0-2 [24.4 MB]
  Get:88 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1 [1066 kB]
  Get:89 http://deb.debian.org/debian sid/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1290 kB]
  Get:90 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 2.0.5-1 [15.3 MB]
  Get:91 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 2.3.0-1 [11.8 MB]
  Get:92 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.8.0-1+b1 [549 kB]
  Get:93 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.3.0-1+b1 [8308 kB]
  Get:94 http://deb.debian.org/debian sid/main amd64 libcoq-deriving amd64 0.2.1-1+b1 [494 kB]
  Get:95 http://deb.debian.org/debian sid/main amd64 libcoq-extructures amd64 0.5.0-1+b1 [748 kB]
  debconf: delaying package configuration, since apt-utils is not installed
  Fetched 422 MB in 4s (98.6 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.7-1_amd64.deb ...
  Unpacking python3-minimal (3.12.7-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.7-1_amd64.deb ...
  Unpacking libpython3-stdlib:amd64 (3.12.7-1) ...
  Setting up python3-minimal (3.12.7-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.7-1_amd64.deb ...
  Unpacking python3 (3.12.7-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.12.5-1_all.deb ...
  Unpacking linux-libc-dev (6.12.5-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-11_amd64.deb ...
  Unpacking cpp-14-x86-64-linux-gnu (14.2.0-11) ...
  Selecting previously unselected package cpp-14.
  Preparing to unpack .../30-cpp-14_14.2.0-11_amd64.deb ...
  Unpacking cpp-14 (14.2.0-11) ...
  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-11_amd64.deb ...
  Unpacking libcc1-0:amd64 (14.2.0-11) ...
  Selecting previously unselected package libgomp1:amd64.
  Preparing to unpack .../34-libgomp1_14.2.0-11_amd64.deb ...
  Unpacking libgomp1:amd64 (14.2.0-11) ...
  Selecting previously unselected package libitm1:amd64.
  Preparing to unpack .../35-libitm1_14.2.0-11_amd64.deb ...
  Unpacking libitm1:amd64 (14.2.0-11) ...
  Selecting previously unselected package libatomic1:amd64.
  Preparing to unpack .../36-libatomic1_14.2.0-11_amd64.deb ...
  Unpacking libatomic1:amd64 (14.2.0-11) ...
  Selecting previously unselected package libasan8:amd64.
  Preparing to unpack .../37-libasan8_14.2.0-11_amd64.deb ...
  Unpacking libasan8:amd64 (14.2.0-11) ...
  Selecting previously unselected package liblsan0:amd64.
  Preparing to unpack .../38-liblsan0_14.2.0-11_amd64.deb ...
  Unpacking liblsan0:amd64 (14.2.0-11) ...
  Selecting previously unselected package libtsan2:amd64.
  Preparing to unpack .../39-libtsan2_14.2.0-11_amd64.deb ...
  Unpacking libtsan2:amd64 (14.2.0-11) ...
  Selecting previously unselected package libubsan1:amd64.
  Preparing to unpack .../40-libubsan1_14.2.0-11_amd64.deb ...
  Unpacking libubsan1:amd64 (14.2.0-11) ...
  Selecting previously unselected package libhwasan0:amd64.
  Preparing to unpack .../41-libhwasan0_14.2.0-11_amd64.deb ...
  Unpacking libhwasan0:amd64 (14.2.0-11) ...
  Selecting previously unselected package libquadmath0:amd64.
  Preparing to unpack .../42-libquadmath0_14.2.0-11_amd64.deb ...
  Unpacking libquadmath0:amd64 (14.2.0-11) ...
  Selecting previously unselected package libgcc-14-dev:amd64.
  Preparing to unpack .../43-libgcc-14-dev_14.2.0-11_amd64.deb ...
  Unpacking libgcc-14-dev:amd64 (14.2.0-11) ...
  Selecting previously unselected package gcc-14-x86-64-linux-gnu.
  Preparing to unpack .../44-gcc-14-x86-64-linux-gnu_14.2.0-11_amd64.deb ...
  Unpacking gcc-14-x86-64-linux-gnu (14.2.0-11) ...
  Selecting previously unselected package gcc-14.
  Preparing to unpack .../45-gcc-14_14.2.0-11_amd64.deb ...
  Unpacking gcc-14 (14.2.0-11) ...
  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 libfindlib-ocaml-dev.
  Preparing to unpack .../52-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 .../53-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 .../54-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 .../55-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 .../56-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 .../57-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 libsexplib0-ocaml.
  Preparing to unpack .../58-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 .../59-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 .../60-libelpi-ocaml_2.0.5-1_amd64.deb ...
  Unpacking libelpi-ocaml (2.0.5-1) ...
  Selecting previously unselected package libmenhir-ocaml-dev.
  Preparing to unpack .../61-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 .../62-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 .../63-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 .../64-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 .../65-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 .../66-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 .../67-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 .../68-libelpi-ocaml-dev_2.0.5-1_amd64.deb ...
  Unpacking libelpi-ocaml-dev (2.0.5-1) ...
  Selecting previously unselected package libcoq-elpi.
  Preparing to unpack .../69-libcoq-elpi_2.3.0-1_amd64.deb ...
  Unpacking libcoq-elpi (2.3.0-1) ...
  Selecting previously unselected package libcoq-hierarchy-builder.
  Preparing to unpack .../70-libcoq-hierarchy-builder_1.8.0-1+b1_amd64.deb ...
  Unpacking libcoq-hierarchy-builder (1.8.0-1+b1) ...
  Selecting previously unselected package libcoq-mathcomp-ssreflect.
  Preparing to unpack .../71-libcoq-mathcomp-ssreflect_2.3.0-1+b1_amd64.deb ...
  Unpacking libcoq-mathcomp-ssreflect (2.3.0-1+b1) ...
  Selecting previously unselected package libcoq-deriving.
  Preparing to unpack .../72-libcoq-deriving_0.2.1-1+b1_amd64.deb ...
  Unpacking libcoq-deriving (0.2.1-1+b1) ...
  Selecting previously unselected package libcoq-extructures.
  Preparing to unpack .../73-libcoq-extructures_0.5.0-1+b1_amd64.deb ...
  Unpacking libcoq-extructures (0.5.0-1+b1) ...
  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.12.5-1) ...
  Setting up libctf-nobfd0:amd64 (2.43.50.20241215-1) ...
  Setting up libgomp1:amd64 (14.2.0-11) ...
  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 libmpfr6:amd64 (4.2.1-1+b2) ...
  Setting up libncurses6:amd64 (6.5-2+b1) ...
  Setting up libquadmath0:amd64 (14.2.0-11) ...
  Setting up libstdlib-ocaml (5.2.0-3) ...
  Setting up libmpc3:amd64 (1.3.1-1+b3) ...
  Setting up libatomic1:amd64 (14.2.0-11) ...
  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-11) ...
  Setting up libsexplib0-ocaml (0.17.0-1) ...
  Setting up libhwasan0:amd64 (14.2.0-11) ...
  Setting up libcrypt-dev:amd64 (1:4.4.36-5) ...
  Setting up libasan8:amd64 (14.2.0-11) ...
  Setting up netbase (6.4) ...
  Setting up libkrb5-3:amd64 (1.21.3-3) ...
  Setting up libtsan2:amd64 (14.2.0-11) ...
  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-11) ...
  Setting up liblsan0:amd64 (14.2.0-11) ...
  Setting up libitm1:amd64 (14.2.0-11) ...
  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-11) ...
  Setting up cpp-14 (14.2.0-11) ...
  Setting up libreadline8t64:amd64 (8.2-6) ...
  Setting up libelpi-ocaml (2.0.5-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-11) ...
  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-11) ...
  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-11) ...
  Setting up libpython3-stdlib:amd64 (3.12.7-1) ...
  Setting up python3 (3.12.7-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 (2.0.5-1) ...
  Setting up libcoq-elpi (2.3.0-1) ...
  Setting up libcoq-hierarchy-builder (1.8.0-1+b1) ...
  Setting up libcoq-mathcomp-ssreflect (2.3.0-1+b1) ...
  Setting up libcoq-deriving (0.2.1-1+b1) ...
  Setting up libcoq-extructures (0.5.0-1+b1) ...
  Processing triggers for libc-bin (2.40-4) ...
0m21.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', '-y', 'install', 'libcoq-extructures=0.5.0-1+b1']
0m21.2s INFO: Running scripts post_install
0m21.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_install_exceptions']
0m21.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_install_exceptions']
0m21.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m21.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m22.9s ERROR: WARN: Broken symlinks:
  /usr/share/doc/cpp-x86-64-linux-gnu/README.Bugs -> ../gcc-14/README.Bugs (gcc)
  /usr/share/doc/python3.12/python-policy.txt.gz -> ../python3/python-policy.txt.gz (python3)
  /usr/share/doc/python3.12/changelog.gz -> NEWS.gz (python3.12)
0m23.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', '-ac', '--ignore-obsolete']
0m26.5s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', '-ac', '--ignore-obsolete']
0m26.5s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate']
0m26.5s DUMP: 
  0.15.6
0m26.5s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate']
0m26.5s INFO: Running adequate version 0.15.6 now.
0m26.5s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'libcoq-extructures']
0m26.5s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'libcoq-extructures']
0m26.5s INFO: Running scripts pre_remove
0m26.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_40_find_missing_md5sums']
0m26.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_40_find_missing_md5sums']
0m26.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles']
0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles']
0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_40_find_unowned_lib_links']
0m27.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_40_find_unowned_lib_links']
0m27.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_50_find_bad_permissions']
0m27.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_50_find_bad_permissions']
0m27.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_50_find_missing_copyright']
0m27.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_50_find_missing_copyright']
0m27.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_exceptions']
0m27.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/pre_remove_exceptions']
0m27.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m27.7s 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-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-deriving	libcoq-deriving	0.2.1-1+b1
  install ok installed	libcoq-elpi	libcoq-elpi	2.3.0-1
  install ok installed	libcoq-extructures	libcoq-extructures	0.5.0-1+b1
  install ok installed	libcoq-hierarchy-builder	libcoq-hierarchy-builder	1.8.0-1+b1
  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
0m27.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n']
0m27.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-deriving', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', '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-extructures']
0m29.0s DUMP: 
  Reading package lists...
  Building dependency tree...
  Reading state information...
  The following packages will be REMOVED:
    binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14
    cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14
    gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils
    libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml
    libcoq-core-ocaml-dev libcoq-deriving libcoq-elpi libcoq-extructures
    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
  0 upgraded, 0 newly installed, 95 to remove and 0 not upgraded.
  After this operation, 1377 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 ... 21514 files and directories currently installed.)
  Removing libcoq-extructures (0.5.0-1+b1) ...
  Removing libcoq-deriving (0.2.1-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-core-ocaml (8.20.0+dfsg-1) ...
  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) ...
0m29.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-deriving', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', '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-extructures']
0m29.0s INFO: Running scripts post_remove
0m29.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_remove_exceptions']
0m29.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_remove_exceptions']
0m29.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-deriving', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', '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']
0m29.1s 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-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-deriving which isn't installed
  dpkg: warning: ignoring request to remove libcoq-elpi which isn't installed
  dpkg: warning: ignoring request to remove libcoq-hierarchy-builder which isn't installed
  dpkg: warning: ignoring request to remove libcoq-mathcomp-ssreflect which isn't installed
  dpkg: warning: ignoring request to remove libcoq-stdlib which isn't installed
  Purging configuration files for libcrypt-dev:amd64 (1:4.4.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
0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-deriving', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-ssreflect', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', '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']
0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--purge', 'libcoq-extructures']
0m29.1s DUMP: 
  dpkg: warning: ignoring request to remove libcoq-extructures which isn't installed
0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--purge', 'libcoq-extructures']
0m29.1s INFO: Running scripts post_purge
0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_purge_exceptions']
0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_purge_exceptions']
0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--purge', '--pending']
0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--purge', '--pending']
0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--remove', '--pending']
0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg', '--remove', '--pending']
0m29.1s INFO: Running scripts post_test
0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_test_exceptions']
0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'tmp/scripts/post_test_exceptions']
0m29.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m29.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m29.6s DEBUG: No broken symlinks as far as we can find.
0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-divert', '--list']
0m29.6s 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
0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'dpkg-divert', '--list']
0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'clean']
0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k', 'apt-get', 'clean']
0m29.6s DEBUG: Recording chroot state
0m29.9s INFO: PASS: Installation and purging test.
0m30.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/shm']
0m30.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/shm']
0m30.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/console']
0m30.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/console']
0m30.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/ptmx']
0m30.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/ptmx']
0m30.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/pts']
0m30.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/dev/pts']
0m30.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/proc']
0m30.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k/proc']
0m30.2s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m30.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpcngkzl6k']
0m30.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpcngkzl6k
0m30.2s INFO: PASS: All tests.
0m30.2s INFO: piuparts run ends.

ret=0
End: 2024-12-19 23:25:00 GMT