Start: 2024-11-21 03:40:27 GMT [testing] Package: libcoq-hierarchy-builder Source: coq-hierarchy-builder (1.7.0-2) Version: 1.7.0-2+b8 Installed-Size: 758 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-hierarchy-builder-m4vk2 Depends: libcoq-elpi-kj4o7 Recommends: ocaml-findlib Description: build hierarchies of algebraic structures in Coq Homepage: https://github.com/math-comp/hierarchy-builder Description-md5: 7cbea0bccc9673cc40b4f3264cc7b0f5 Section: ocaml Priority: optional Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.7.0-2+b8_amd64.deb Size: 264432 MD5sum: e8a1585e6d8729f1727585a8b4bd3914 SHA256: debe6c15908f5f6e2f35f89f7cd8880dc3105686fa3e0da72e84daf3f2606a81 [sid] Package: libcoq-hierarchy-builder Source: coq-hierarchy-builder (1.7.0-2) Version: 1.7.0-2+b11 Installed-Size: 718 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-hierarchy-builder-44o39 Depends: libcoq-elpi-xwnm3 Recommends: ocaml-findlib Description: build hierarchies of algebraic structures in Coq Homepage: https://github.com/math-comp/hierarchy-builder Description-md5: 7cbea0bccc9673cc40b4f3264cc7b0f5 Section: ocaml Priority: optional Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.7.0-2+b11_amd64.deb Size: 240140 MD5sum: 7f02550e1cbbcb138962cca3d03f9161 SHA256: b086593cd7f57d6e533f5f7c5307e4b08786ab7d4e4593ab5b2f9134f0c3e083 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-hierarchy-builder=1.7.0-2+b11 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-hierarchy-builder=1.7.0-2+b11 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpc9tht67i 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpc9tht67i 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/proc'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/proc'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/pts'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/pts'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/ptmx'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/ptmx'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/console'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/console'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/shm'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/shm'] 0m0.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.4s DEBUG: Created policy-rc.d and chmodded it. 0m0.4s DEBUG: Created resolv.conf. 0m0.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpc9tht67i/tmp/scripts/ 0m0.4s INFO: Running scripts post_chroot_unpack 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'update'] 0m3.1s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [172 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9363 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6259 kB] Fetched 15.8 MB in 2s (8032 kB/s) Reading package lists... 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'update'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-yf', 'dist-upgrade'] 0m5.1s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: bsdutils debianutils libaudit-common libaudit1 libblkid1 libgnutls30t64 libmount1 libsmartcols1 libuuid1 login login.defs mount passwd util-linux 14 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 5128 kB of archives. After this operation, 6144 B disk space will be freed. Get:1 http://deb.debian.org/debian trixie/main amd64 bsdutils amd64 1:2.40.2-11 [105 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 debianutils amd64 5.21 [92.1 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 libuuid1 amd64 2.40.2-11 [35.9 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 libblkid1 amd64 2.40.2-11 [168 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 libmount1 amd64 2.40.2-11 [199 kB] Get:6 http://deb.debian.org/debian trixie/main amd64 libsmartcols1 amd64 2.40.2-11 [139 kB] Get:7 http://deb.debian.org/debian trixie/main amd64 util-linux amd64 2.40.2-11 [1213 kB] Get:8 http://deb.debian.org/debian trixie/main amd64 mount amd64 2.40.2-11 [155 kB] Get:9 http://deb.debian.org/debian trixie/main amd64 libaudit-common all 1:4.0.2-2 [12.7 kB] Get:10 http://deb.debian.org/debian trixie/main amd64 libaudit1 amd64 1:4.0.2-2 [54.9 kB] Get:11 http://deb.debian.org/debian trixie/main amd64 login amd64 1:4.16.0-2+really2.40.2-11 [81.5 kB] Get:12 http://deb.debian.org/debian trixie/main amd64 libgnutls30t64 amd64 3.8.8-2 [1454 kB] Get:13 http://deb.debian.org/debian trixie/main amd64 login.defs all 1:4.16.0-5 [185 kB] Get:14 http://deb.debian.org/debian trixie/main amd64 passwd amd64 1:4.16.0-5 [1232 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5128 kB in 0s (63.1 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 ... 5158 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.40.2-11_amd64.deb ... Unpacking bsdutils (1:2.40.2-11) over (1:2.40.2-9) ... Setting up bsdutils (1:2.40.2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../debianutils_5.21_amd64.deb ... Unpacking debianutils (5.21) over (5.20) ... Setting up debianutils (5.21) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../libuuid1_2.40.2-11_amd64.deb ... Unpacking libuuid1:amd64 (2.40.2-11) over (2.40.2-9) ... Setting up libuuid1:amd64 (2.40.2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../libblkid1_2.40.2-11_amd64.deb ... Unpacking libblkid1:amd64 (2.40.2-11) over (2.40.2-9) ... Setting up libblkid1:amd64 (2.40.2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../libmount1_2.40.2-11_amd64.deb ... Unpacking libmount1:amd64 (2.40.2-11) over (2.40.2-9) ... Setting up libmount1:amd64 (2.40.2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.40.2-11_amd64.deb ... Unpacking libsmartcols1:amd64 (2.40.2-11) over (2.40.2-9) ... Setting up libsmartcols1:amd64 (2.40.2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../util-linux_2.40.2-11_amd64.deb ... Unpacking util-linux (2.40.2-11) over (2.40.2-9) ... Setting up util-linux (2.40.2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5155 files and directories currently installed.) Preparing to unpack .../mount_2.40.2-11_amd64.deb ... Unpacking mount (2.40.2-11) over (2.40.2-9) ... Preparing to unpack .../libaudit-common_1%3a4.0.2-2_all.deb ... Unpacking libaudit-common (1:4.0.2-2) over (1:4.0.1-3) ... Setting up libaudit-common (1:4.0.2-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5155 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.0.2-2_amd64.deb ... Unpacking libaudit1:amd64 (1:4.0.2-2) over (1:4.0.1-3) ... Setting up libaudit1:amd64 (1:4.0.2-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5155 files and directories currently installed.) Preparing to unpack .../login_1%3a4.16.0-2+really2.40.2-11_amd64.deb ... Unpacking login (1:4.16.0-2+really2.40.2-11) over (1:4.16.0-2+really2.40.2-9) ... Preparing to unpack .../libgnutls30t64_3.8.8-2_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.8-2) over (3.8.6-2+b1) ... Setting up libgnutls30t64:amd64 (3.8.8-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5154 files and directories currently installed.) Preparing to unpack .../login.defs_1%3a4.16.0-5_all.deb ... Unpacking login.defs (1:4.16.0-5) over (1:4.16.0-4) ... Preparing to unpack .../passwd_1%3a4.16.0-5_amd64.deb ... Unpacking passwd (1:4.16.0-5) over (1:4.16.0-4) ... Setting up login.defs (1:4.16.0-5) ... Installing new version of config file /etc/login.defs ... Setting up passwd (1:4.16.0-5) ... Setting up mount (2.40.2-11) ... Setting up login (1:4.16.0-2+really2.40.2-11) ... Processing triggers for libc-bin (2.40-3) ... 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-yf', 'dist-upgrade'] 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.5s DUMP: 7e4ff6733cd903fbcd5611935d739a75 - 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.5s INFO: Running scripts post_setup 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_dummy_users'] 0m6.3s 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 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_dummy_users'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_forbid_home'] 0m6.3s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_forbid_home'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_force-unsafe-io'] 0m6.3s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_force-unsafe-io'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_minimize'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_minimize'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_squeeze-backports'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_squeeze-backports'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_zz_backports'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_setup_zz_backports'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.3s DUMP: install ok installed apt apt 2.9.10 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.5 install ok installed bash bash 5.2.32-1+b2 install ok installed bsdutils bsdutils 1:2.40.2-11 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.1-1+b1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-8 install ok installed gpgv gpgv 2.2.45-2 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.10 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-11 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-3+b1 install ok installed libcap2:amd64 libcap2 1:2.66-5+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1+b1 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.273 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1+b1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-8 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b2 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.8-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 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-11 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.42-4+b2 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b3 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-11 install ok installed libss2:amd64 libss2 1.47.1-1+b1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-2 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-8 install ok installed libsystemd0:amd64 libsystemd0 256.7-3 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 256.7-3 install ok installed libunistring5:amd64 libunistring5 1.2-1+b1 install ok installed libuuid1:amd64 libuuid1 2.40.2-11 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-11 install ok installed login.defs login.defs 1:4.16.0-5 install ok installed logsave logsave 1.47.1-1+b1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-11 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-5 install ok installed perl-base perl-base 5.40.0-7 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.11-1 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-11 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.3s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m6.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m6.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m6.7s INFO: Running scripts is_testable 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/is_testable_uninstallable'] 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/is_testable_uninstallable'] 0m6.7s INFO: Running scripts pre_test 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_test_exceptions'] 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_test_exceptions'] 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_test_root_password'] 0m6.7s DUMP: New password: Retype new password: passwd: password updated successfully 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_test_root_password'] 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'show', '--no-all-versions', 'libcoq-hierarchy-builder'] 0m7.0s DUMP: Package: libcoq-hierarchy-builder Source: coq-hierarchy-builder (1.7.0-2) Version: 1.7.0-2+b8 Installed-Size: 758 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-hierarchy-builder-m4vk2 Depends: libcoq-elpi-kj4o7 Recommends: ocaml-findlib Description-en: build hierarchies of algebraic structures in Coq This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. Description-md5: 7cbea0bccc9673cc40b4f3264cc7b0f5 Homepage: https://github.com/math-comp/hierarchy-builder Section: ocaml Priority: optional Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.7.0-2+b8_amd64.deb Size: 264432 MD5sum: e8a1585e6d8729f1727585a8b4bd3914 SHA256: debe6c15908f5f6e2f35f89f7cd8880dc3105686fa3e0da72e84daf3f2606a81 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'show', '--no-all-versions', 'libcoq-hierarchy-builder'] 0m7.0s INFO: apt-cache knows about the following packages: libcoq-hierarchy-builder 0m7.0s INFO: Running scripts pre_install 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_database-server'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_database-server'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_exceptions'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_exceptions'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_extras'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_extras'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy'] 0m7.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy', 'libcoq-hierarchy-builder'] 0m7.2s DUMP: libcoq-hierarchy-builder: Installed: (none) Candidate: 1.7.0-2+b8 Version table: 1.7.0-2+b8 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy', 'libcoq-hierarchy-builder'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-y', 'install', 'libcoq-hierarchy-builder'] 0m25.8s 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-elpi 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-elpi libcoq-hierarchy-builder 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, 92 newly installed, 0 to remove and 0 not upgraded. Need to get 407 MB of archives. After this operation, 1344 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 libpython3.12-minimal amd64 3.12.7-3 [815 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libexpat1 amd64 2.6.4-1 [106 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 python3.12-minimal amd64 3.12.7-3 [2162 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 python3-minimal amd64 3.12.6-1 [26.7 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 media-types all 10.1.0 [26.9 kB] Get:6 http://deb.debian.org/debian trixie/main amd64 netbase all 6.4 [12.8 kB] Get:7 http://deb.debian.org/debian trixie/main amd64 libncursesw6 amd64 6.5-2+b1 [136 kB] Get:8 http://deb.debian.org/debian trixie/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB] Get:9 http://deb.debian.org/debian trixie/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB] Get:10 http://deb.debian.org/debian trixie/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B] Get:11 http://deb.debian.org/debian trixie/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB] Get:12 http://deb.debian.org/debian trixie/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB] Get:13 http://deb.debian.org/debian trixie/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get:14 http://deb.debian.org/debian trixie/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB] Get:15 http://deb.debian.org/debian trixie/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB] Get:16 http://deb.debian.org/debian trixie/main amd64 readline-common all 8.2-5 [69.3 kB] Get:17 http://deb.debian.org/debian trixie/main amd64 libreadline8t64 amd64 8.2-5 [169 kB] Get:18 http://deb.debian.org/debian trixie/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB] Get:19 http://deb.debian.org/debian trixie/main amd64 libpython3.12-stdlib amd64 3.12.7-3 [1966 kB] Get:20 http://deb.debian.org/debian trixie/main amd64 python3.12 amd64 3.12.7-3 [671 kB] Get:21 http://deb.debian.org/debian trixie/main amd64 libpython3-stdlib amd64 3.12.6-1 [9692 B] Get:22 http://deb.debian.org/debian trixie/main amd64 python3 amd64 3.12.6-1 [27.8 kB] Get:23 http://deb.debian.org/debian trixie/main amd64 binutils-common amd64 2.43.1-5 [2631 kB] Get:24 http://deb.debian.org/debian trixie/main amd64 libsframe1 amd64 2.43.1-5 [77.1 kB] Get:25 http://deb.debian.org/debian trixie/main amd64 libbinutils amd64 2.43.1-5 [529 kB] Get:26 http://deb.debian.org/debian trixie/main amd64 libctf-nobfd0 amd64 2.43.1-5 [154 kB] Get:27 http://deb.debian.org/debian trixie/main amd64 libctf0 amd64 2.43.1-5 [88.4 kB] Get:28 http://deb.debian.org/debian trixie/main amd64 libgprofng0 amd64 2.43.1-5 [797 kB] Get:29 http://deb.debian.org/debian trixie/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB] Get:30 http://deb.debian.org/debian trixie/main amd64 binutils-x86-64-linux-gnu amd64 2.43.1-5 [2257 kB] Get:31 http://deb.debian.org/debian trixie/main amd64 binutils amd64 2.43.1-5 [67.8 kB] Get:32 http://deb.debian.org/debian trixie/main amd64 libcoq-stdlib amd64 8.19.1+dfsg-3+b2 [23.7 MB] Get:33 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get:34 http://deb.debian.org/debian trixie/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get:35 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get:36 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB] Get:37 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml amd64 8.19.1+dfsg-3+b2 [25.1 MB] Get:38 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] Get:39 http://deb.debian.org/debian trixie/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB] Get:40 http://deb.debian.org/debian trixie/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB] Get:41 http://deb.debian.org/debian trixie/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB] Get:42 http://deb.debian.org/debian trixie/main amd64 libc-dev-bin amd64 2.40-3 [51.8 kB] Get:43 http://deb.debian.org/debian trixie/main amd64 linux-libc-dev all 6.11.7-1 [2454 kB] Get:44 http://deb.debian.org/debian trixie/main amd64 libcrypt-dev amd64 1:4.4.36-5 [118 kB] Get:45 http://deb.debian.org/debian trixie/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:46 http://deb.debian.org/debian trixie/main amd64 libc6-dev amd64 2.40-3 [1956 kB] Get:47 http://deb.debian.org/debian trixie/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB] Get:48 http://deb.debian.org/debian trixie/main amd64 libisl23 amd64 0.27-1 [659 kB] Get:49 http://deb.debian.org/debian trixie/main amd64 libmpfr6 amd64 4.2.1-1+b2 [724 kB] Get:50 http://deb.debian.org/debian trixie/main amd64 libmpc3 amd64 1.3.1-1+b3 [52.2 kB] Get:51 http://deb.debian.org/debian trixie/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-8 [11.1 MB] Get:52 http://deb.debian.org/debian trixie/main amd64 cpp-14 amd64 14.2.0-8 [1276 B] Get:53 http://deb.debian.org/debian trixie/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B] Get:54 http://deb.debian.org/debian trixie/main amd64 cpp amd64 4:14.2.0-1 [1568 B] Get:55 http://deb.debian.org/debian trixie/main amd64 libcc1-0 amd64 14.2.0-8 [42.8 kB] Get:56 http://deb.debian.org/debian trixie/main amd64 libgomp1 amd64 14.2.0-8 [137 kB] Get:57 http://deb.debian.org/debian trixie/main amd64 libitm1 amd64 14.2.0-8 [25.9 kB] Get:58 http://deb.debian.org/debian trixie/main amd64 libatomic1 amd64 14.2.0-8 [9280 B] Get:59 http://deb.debian.org/debian trixie/main amd64 libasan8 amd64 14.2.0-8 [2729 kB] Get:60 http://deb.debian.org/debian trixie/main amd64 liblsan0 amd64 14.2.0-8 [1205 kB] Get:61 http://deb.debian.org/debian trixie/main amd64 libtsan2 amd64 14.2.0-8 [2461 kB] Get:62 http://deb.debian.org/debian trixie/main amd64 libubsan1 amd64 14.2.0-8 [1075 kB] Get:63 http://deb.debian.org/debian trixie/main amd64 libhwasan0 amd64 14.2.0-8 [1489 kB] Get:64 http://deb.debian.org/debian trixie/main amd64 libquadmath0 amd64 14.2.0-8 [145 kB] Get:65 http://deb.debian.org/debian trixie/main amd64 libgcc-14-dev amd64 14.2.0-8 [2674 kB] Get:66 http://deb.debian.org/debian trixie/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-8 [21.4 MB] Get:67 http://deb.debian.org/debian trixie/main amd64 gcc-14 amd64 14.2.0-8 [530 kB] Get:68 http://deb.debian.org/debian trixie/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B] Get:69 http://deb.debian.org/debian trixie/main amd64 gcc amd64 4:14.2.0-1 [5136 B] Get:70 http://deb.debian.org/debian trixie/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB] Get:71 http://deb.debian.org/debian trixie/main amd64 ocaml amd64 5.2.0-3 [17.4 MB] Get:72 http://deb.debian.org/debian trixie/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB] Get:73 http://deb.debian.org/debian trixie/main amd64 coq amd64 8.19.1+dfsg-3+b2 [86.6 MB] Get:74 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB] Get:75 http://deb.debian.org/debian trixie/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2+b2 [329 kB] Get:76 http://deb.debian.org/debian trixie/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2+b2 [642 kB] Get:77 http://deb.debian.org/debian trixie/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2+b2 [322 kB] Get:78 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB] Get:79 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml-dev amd64 8.19.1+dfsg-3+b2 [67.2 MB] Get:80 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB] Get:81 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml amd64 6.0.3-1 [4223 kB] Get:82 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml amd64 1.18.2-5+b5 [3135 kB] Get:83 http://deb.debian.org/debian trixie/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [906 kB] Get:84 http://deb.debian.org/debian trixie/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [161 kB] Get:85 http://deb.debian.org/debian trixie/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b2 [19.7 kB] Get:86 http://deb.debian.org/debian trixie/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [359 kB] Get:87 http://deb.debian.org/debian trixie/main amd64 libppxlib-ocaml-dev amd64 0.33.0-2 [24.4 MB] Get:88 http://deb.debian.org/debian trixie/main amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1 [1066 kB] Get:89 http://deb.debian.org/debian trixie/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1290 kB] Get:90 http://deb.debian.org/debian trixie/main amd64 libelpi-ocaml-dev amd64 1.18.2-5+b5 [13.3 MB] Get:91 http://deb.debian.org/debian trixie/main amd64 libcoq-elpi amd64 2.1.0-1+b9 [2852 kB] Get:92 http://deb.debian.org/debian trixie/main amd64 libcoq-hierarchy-builder amd64 1.7.0-2+b8 [264 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 407 MB in 2s (185 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 ... 5158 files and directories currently installed.) Preparing to unpack .../libpython3.12-minimal_3.12.7-3_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.7-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.7-3_amd64.deb ... Unpacking python3.12-minimal (3.12.7-3) ... Setting up libpython3.12-minimal:amd64 (3.12.7-3) ... Setting up libexpat1:amd64 (2.6.4-1) ... Setting up python3.12-minimal (3.12.7-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 ... 5478 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_amd64.deb ... Unpacking python3-minimal (3.12.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../03-libncursesw6_6.5-2+b1_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2+b1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-3) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../05-libk5crypto3_1.21.3-3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-3) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../06-libkeyutils1_1.6.3-4_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-4) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../07-libkrb5-3_1.21.3-3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../08-libgssapi-krb5-2_1.21.3-3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../09-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:amd64. Preparing to unpack .../10-libtirpc3t64_1.3.4+ds-1.3+b1_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../11-libnsl2_1.3.0-3+b3_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3+b3) ... Selecting previously unselected package readline-common. Preparing to unpack .../12-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../13-libreadline8t64_8.2-5_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.2-5) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../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.7-3_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.7-3) ... Selecting previously unselected package python3.12. Preparing to unpack .../16-python3.12_3.12.7-3_amd64.deb ... Unpacking python3.12 (3.12.7-3) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../17-libpython3-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3-minimal (3.12.6-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6036 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.6-1_amd64.deb ... Unpacking python3 (3.12.6-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../01-binutils-common_2.43.1-5_amd64.deb ... Unpacking binutils-common:amd64 (2.43.1-5) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../02-libsframe1_2.43.1-5_amd64.deb ... Unpacking libsframe1:amd64 (2.43.1-5) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../03-libbinutils_2.43.1-5_amd64.deb ... Unpacking libbinutils:amd64 (2.43.1-5) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../04-libctf-nobfd0_2.43.1-5_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.43.1-5) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../05-libctf0_2.43.1-5_amd64.deb ... Unpacking libctf0:amd64 (2.43.1-5) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../06-libgprofng0_2.43.1-5_amd64.deb ... Unpacking libgprofng0:amd64 (2.43.1-5) ... 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.1-5_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.43.1-5) ... Selecting previously unselected package binutils. Preparing to unpack .../09-binutils_2.43.1-5_amd64.deb ... Unpacking binutils (2.43.1-5) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../10-libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-stdlib (8.19.1+dfsg-3+b2) ... 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.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core-ocaml (8.19.1+dfsg-3+b2) ... 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-3_amd64.deb ... Unpacking libc-dev-bin (2.40-3) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../21-linux-libc-dev_6.11.7-1_all.deb ... Unpacking linux-libc-dev (6.11.7-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-3_amd64.deb ... Unpacking libc6-dev:amd64 (2.40-3) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../25-libncurses-dev_6.5-2+b1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2+b1) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../26-libisl23_0.27-1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../27-libmpfr6_4.2.1-1+b2_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1+b2) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../28-libmpc3_1.3.1-1+b3_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1+b3) ... Selecting previously unselected package cpp-14-x86-64-linux-gnu. Preparing to unpack .../29-cpp-14-x86-64-linux-gnu_14.2.0-8_amd64.deb ... Unpacking cpp-14-x86-64-linux-gnu (14.2.0-8) ... Selecting previously unselected package cpp-14. Preparing to unpack .../30-cpp-14_14.2.0-8_amd64.deb ... Unpacking cpp-14 (14.2.0-8) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../31-cpp-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package cpp. Preparing to unpack .../32-cpp_4%3a14.2.0-1_amd64.deb ... Unpacking cpp (4:14.2.0-1) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../33-libcc1-0_14.2.0-8_amd64.deb ... Unpacking libcc1-0:amd64 (14.2.0-8) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../34-libgomp1_14.2.0-8_amd64.deb ... Unpacking libgomp1:amd64 (14.2.0-8) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../35-libitm1_14.2.0-8_amd64.deb ... Unpacking libitm1:amd64 (14.2.0-8) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../36-libatomic1_14.2.0-8_amd64.deb ... Unpacking libatomic1:amd64 (14.2.0-8) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../37-libasan8_14.2.0-8_amd64.deb ... Unpacking libasan8:amd64 (14.2.0-8) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../38-liblsan0_14.2.0-8_amd64.deb ... Unpacking liblsan0:amd64 (14.2.0-8) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../39-libtsan2_14.2.0-8_amd64.deb ... Unpacking libtsan2:amd64 (14.2.0-8) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../40-libubsan1_14.2.0-8_amd64.deb ... Unpacking libubsan1:amd64 (14.2.0-8) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../41-libhwasan0_14.2.0-8_amd64.deb ... Unpacking libhwasan0:amd64 (14.2.0-8) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../42-libquadmath0_14.2.0-8_amd64.deb ... Unpacking libquadmath0:amd64 (14.2.0-8) ... Selecting previously unselected package libgcc-14-dev:amd64. Preparing to unpack .../43-libgcc-14-dev_14.2.0-8_amd64.deb ... Unpacking libgcc-14-dev:amd64 (14.2.0-8) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu. Preparing to unpack .../44-gcc-14-x86-64-linux-gnu_14.2.0-8_amd64.deb ... Unpacking gcc-14-x86-64-linux-gnu (14.2.0-8) ... Selecting previously unselected package gcc-14. Preparing to unpack .../45-gcc-14_14.2.0-8_amd64.deb ... Unpacking gcc-14 (14.2.0-8) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../46-gcc-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package gcc. Preparing to unpack .../47-gcc_4%3a14.2.0-1_amd64.deb ... Unpacking gcc (4:14.2.0-1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../48-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ... Selecting previously unselected package ocaml. Preparing to unpack .../49-ocaml_5.2.0-3_amd64.deb ... Unpacking ocaml (5.2.0-3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../50-ocaml-findlib_1.9.6-3_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Selecting previously unselected package coq. Preparing to unpack .../51-coq_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking coq (8.19.1+dfsg-3+b2) ... 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-2+b2_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../54-libgmp-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../55-libgmp3-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ... 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.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.19.1+dfsg-3+b2) ... 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_1.18.2-5+b5_amd64.deb ... Unpacking libelpi-ocaml (1.18.2-5+b5) ... 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_1.18.2-5+b5_amd64.deb ... Unpacking libelpi-ocaml-dev (1.18.2-5+b5) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../69-libcoq-elpi_2.1.0-1+b9_amd64.deb ... Unpacking libcoq-elpi (2.1.0-1+b9) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../70-libcoq-hierarchy-builder_1.7.0-2+b8_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.7.0-2+b8) ... 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.1-5) ... Setting up linux-libc-dev (6.11.7-1) ... Setting up libctf-nobfd0:amd64 (2.43.1-5) ... Setting up libgomp1:amd64 (14.2.0-8) ... Setting up libsframe1:amd64 (2.43.1-5) ... Setting up libjansson4:amd64 (2.14-2+b3) ... Setting up libkrb5support0:amd64 (1.21.3-3) ... Setting up libcoq-stdlib (8.19.1+dfsg-3+b2) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ... 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-8) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up libmpc3:amd64 (1.3.1-1+b3) ... Setting up libatomic1:amd64 (14.2.0-8) ... Setting up ocaml-base (5.2.0-3) ... Setting up libncursesw6:amd64 (6.5-2+b1) ... Setting up libk5crypto3:amd64 (1.21.3-3) ... Setting up libubsan1:amd64 (14.2.0-8) ... Setting up libsexplib0-ocaml (0.17.0-1) ... Setting up libhwasan0:amd64 (14.2.0-8) ... Setting up libcrypt-dev:amd64 (1:4.4.36-5) ... Setting up libasan8:amd64 (14.2.0-8) ... Setting up netbase (6.4) ... Setting up libkrb5-3:amd64 (1.21.3-3) ... Setting up libtsan2:amd64 (14.2.0-8) ... Setting up libbinutils:amd64 (2.43.1-5) ... Setting up libisl23:amd64 (0.27-1) ... Setting up libc-dev-bin (2.40-3) ... Setting up readline-common (8.2-5) ... Setting up libcc1-0:amd64 (14.2.0-8) ... Setting up liblsan0:amd64 (14.2.0-8) ... Setting up libitm1:amd64 (14.2.0-8) ... Setting up libctf0:amd64 (2.43.1-5) ... Setting up libppx-deriving-ocaml (6.0.3-1) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ... 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.1-5) ... Setting up ocaml-interp (5.2.0-3) ... Setting up ocaml-findlib (1.9.6-3) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ... Setting up cpp-14-x86-64-linux-gnu (14.2.0-8) ... Setting up cpp-14 (14.2.0-8) ... Setting up libreadline8t64:amd64 (8.2-5) ... Setting up libelpi-ocaml (1.18.2-5+b5) ... Setting up libcoq-core-ocaml (8.19.1+dfsg-3+b2) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ... Setting up libc6-dev:amd64 (2.40-3) ... Setting up libgcc-14-dev:amd64 (14.2.0-8) ... Setting up binutils-x86-64-linux-gnu (2.43.1-5) ... 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.1-5) ... Setting up cpp (4:14.2.0-1) ... Setting up libnsl2:amd64 (1.3.0-3+b3) ... Setting up gcc-14-x86-64-linux-gnu (14.2.0-8) ... Setting up libpython3.12-stdlib:amd64 (3.12.7-3) ... Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ... Setting up python3.12 (3.12.7-3) ... Setting up gcc-14 (14.2.0-8) ... Setting up libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3 (3.12.6-1) ... Setting up gcc (4:14.2.0-1) ... Setting up ocaml (5.2.0-3) ... Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... Setting up libmenhir-ocaml-dev (20240715+ds-1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Setting up libfindlib-ocaml-dev (1.9.6-3) ... Setting up libsexplib0-ocaml-dev (0.17.0-1) ... Setting up coq (8.19.1+dfsg-3+b2) ... Setting up libzarith-ocaml-dev (1.14-1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Setting up libppxlib-ocaml-dev (0.33.0-2) ... Setting up libcoq-core-ocaml-dev (8.19.1+dfsg-3+b2) ... Setting up libppx-deriving-ocaml-dev (6.0.3-1) ... Setting up libelpi-ocaml-dev (1.18.2-5+b5) ... Setting up libcoq-elpi (2.1.0-1+b9) ... Setting up libcoq-hierarchy-builder (1.7.0-2+b8) ... Processing triggers for libc-bin (2.40-3) ... 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-y', 'install', 'libcoq-hierarchy-builder'] 0m25.8s INFO: Running scripts post_install 0m25.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_install_exceptions'] 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_install_exceptions'] 0m25.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m26.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m26.6s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpc9tht67i to sid 0m26.6s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m26.6s INFO: Running scripts pre_distupgrade 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_exceptions'] 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_exceptions'] 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'update'] 0m30.5s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [202 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.0 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7334 kB] Fetched 17.6 MB in 3s (5813 kB/s) Reading package lists... 0m30.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'update'] 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-yf', 'dist-upgrade'] 0m39.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt coq libapt-pkg6.0t64 libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcoq-stdlib libelpi-ocaml libelpi-ocaml-dev libpcre2-8-0 libpython3-stdlib libsystemd0 libudev1 linux-libc-dev python3 python3-minimal 17 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 226 MB of archives. After this operation, 39.5 MB disk space will be freed. Get:1 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 257~rc2-3 [447 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 257~rc2-3 [147 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0t64 amd64 2.9.13 [1104 kB] Get:4 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.13 [1392 kB] Get:5 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.12.7-1 [26.8 kB] Get:6 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.12.7-1 [27.8 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.12.7-1 [9712 B] Get:8 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.44-4 [275 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.7.0-2+b11 [240 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 2.2.3-1+b2 [7595 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 1.19.6-1 [13.6 MB] Get:12 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 1.19.6-1 [3268 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB] Get:14 http://deb.debian.org/debian sid/main amd64 coq amd64 8.20.0+dfsg-1 [77.0 MB] Get:15 http://deb.debian.org/debian sid/main amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [23.5 MB] Get:16 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB] Get:17 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.11.9-1 [2459 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 226 MB in 1s (257 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 ... 20959 files and directories currently installed.) Preparing to unpack .../libsystemd0_257~rc2-3_amd64.deb ... Unpacking libsystemd0:amd64 (257~rc2-3) over (256.7-3) ... Setting up libsystemd0:amd64 (257~rc2-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20959 files and directories currently installed.) Preparing to unpack .../libudev1_257~rc2-3_amd64.deb ... Unpacking libudev1:amd64 (257~rc2-3) over (256.7-3) ... Setting up libudev1:amd64 (257~rc2-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20959 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.13_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.13) over (2.9.10) ... Setting up libapt-pkg6.0t64:amd64 (2.9.13) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20959 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.13_amd64.deb ... Unpacking apt (2.9.13) over (2.9.10) ... Setting up apt (2.9.13) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20956 files and directories currently installed.) Preparing to unpack .../python3-minimal_3.12.7-1_amd64.deb ... Unpacking python3-minimal (3.12.7-1) over (3.12.6-1) ... Setting up python3-minimal (3.12.7-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20956 files and directories currently installed.) Preparing to unpack .../python3_3.12.7-1_amd64.deb ... Unpacking python3 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../libpython3-stdlib_3.12.7-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../libpcre2-8-0_10.44-4_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.44-4) over (10.42-4+b2) ... Setting up libpcre2-8-0:amd64 (10.44-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20955 files and directories currently installed.) Preparing to unpack .../0-libcoq-hierarchy-builder_1.7.0-2+b11_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.7.0-2+b11) over (1.7.0-2+b8) ... Preparing to unpack .../1-libcoq-elpi_2.2.3-1+b2_amd64.deb ... Unpacking libcoq-elpi (2.2.3-1+b2) over (2.1.0-1+b9) ... Preparing to unpack .../2-libelpi-ocaml-dev_1.19.6-1_amd64.deb ... Unpacking libelpi-ocaml-dev (1.19.6-1) over (1.18.2-5+b5) ... Preparing to unpack .../3-libelpi-ocaml_1.19.6-1_amd64.deb ... Unpacking libelpi-ocaml (1.19.6-1) over (1.18.2-5+b5) ... Preparing to unpack .../4-libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) over (8.19.1+dfsg-3+b2) ... Preparing to unpack .../5-coq_8.20.0+dfsg-1_amd64.deb ... Unpacking coq (8.20.0+dfsg-1) over (8.19.1+dfsg-3+b2) ... Preparing to unpack .../6-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ... Unpacking libcoq-stdlib (8.20.0+dfsg-1) over (8.19.1+dfsg-3+b2) ... Preparing to unpack .../7-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) over (8.19.1+dfsg-3+b2) ... Preparing to unpack .../8-linux-libc-dev_6.11.9-1_all.deb ... Unpacking linux-libc-dev (6.11.9-1) over (6.11.7-1) ... Setting up linux-libc-dev (6.11.9-1) ... Setting up libcoq-stdlib (8.20.0+dfsg-1) ... Setting up libelpi-ocaml (1.19.6-1) ... Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... Setting up libpython3-stdlib:amd64 (3.12.7-1) ... Setting up python3 (3.12.7-1) ... Setting up libelpi-ocaml-dev (1.19.6-1) ... Setting up coq (8.20.0+dfsg-1) ... Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ... Setting up libcoq-elpi (2.2.3-1+b2) ... Setting up libcoq-hierarchy-builder (1.7.0-2+b11) ... Processing triggers for libc-bin (2.40-3) ... 0m39.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-yf', 'dist-upgrade'] 0m39.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m40.8s DUMP: 131ab53f8c2df7d694092bcdab81c828 - 0m40.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m40.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'show', '--no-all-versions', 'libcoq-hierarchy-builder'] 0m41.0s DUMP: Package: libcoq-hierarchy-builder Source: coq-hierarchy-builder (1.7.0-2) Version: 1.7.0-2+b11 Installed-Size: 718 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-hierarchy-builder-44o39 Depends: libcoq-elpi-xwnm3 Recommends: ocaml-findlib Description-en: build hierarchies of algebraic structures in Coq This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. Description-md5: 7cbea0bccc9673cc40b4f3264cc7b0f5 Homepage: https://github.com/math-comp/hierarchy-builder Section: ocaml Priority: optional Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.7.0-2+b11_amd64.deb Size: 240140 MD5sum: 7f02550e1cbbcb138962cca3d03f9161 SHA256: b086593cd7f57d6e533f5f7c5307e4b08786ab7d4e4593ab5b2f9134f0c3e083 0m41.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'show', '--no-all-versions', 'libcoq-hierarchy-builder'] 0m41.0s INFO: apt-cache knows about the following packages: libcoq-hierarchy-builder 0m41.0s INFO: Running scripts pre_install 0m41.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_database-server'] 0m41.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_database-server'] 0m41.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_exceptions'] 0m41.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_exceptions'] 0m41.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_extras'] 0m41.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_extras'] 0m41.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture'] 0m41.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture'] 0m41.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m41.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m41.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy'] 0m41.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: 0m41.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy'] 0m41.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy', 'libcoq-hierarchy-builder'] 0m41.1s DUMP: libcoq-hierarchy-builder: Installed: 1.7.0-2+b11 Candidate: 1.7.0-2+b11 Version table: *** 1.7.0-2+b11 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m41.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy', 'libcoq-hierarchy-builder'] 0m41.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-y', 'install', 'libcoq-hierarchy-builder'] 0m41.6s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-hierarchy-builder is already the newest version (1.7.0-2+b11). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-y', 'install', 'libcoq-hierarchy-builder'] 0m41.6s INFO: Running scripts post_install 0m41.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_install_exceptions'] 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_install_exceptions'] 0m41.6s INFO: Running scripts post_distupgrade 0m41.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m41.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_exceptions'] 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_exceptions'] 0m41.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m41.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m41.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_zz_backports'] 0m41.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_distupgrade_zz_backports'] 0m41.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m42.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m42.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m43.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m43.8s INFO: Running scripts pre_install 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_database-server'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_database-server'] 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_exceptions'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_exceptions'] 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_extras'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_extras'] 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture'] 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy'] 0m43.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m43.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy'] 0m43.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy', 'libcoq-hierarchy-builder'] 0m43.9s DUMP: libcoq-hierarchy-builder: Installed: 1.7.0-2+b11 Candidate: 1.7.0-2+b11 Version table: *** 1.7.0-2+b11 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m43.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-cache', 'policy', 'libcoq-hierarchy-builder'] 0m43.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-y', 'install', 'libcoq-hierarchy-builder=1.7.0-2+b11'] 0m44.4s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-hierarchy-builder is already the newest version (1.7.0-2+b11). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', '-y', 'install', 'libcoq-hierarchy-builder=1.7.0-2+b11'] 0m44.4s INFO: Running scripts post_install 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_install_exceptions'] 0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_install_exceptions'] 0m44.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m45.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m46.8s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', '-ac', '--ignore-obsolete'] 0m50.6s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', '-ac', '--ignore-obsolete'] 0m50.6s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m50.6s DUMP: 0.15.6 0m50.6s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m50.6s INFO: Running adequate version 0.15.6 now. 0m50.6s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'libcoq-hierarchy-builder'] 0m50.7s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'libcoq-hierarchy-builder'] 0m50.7s INFO: Running scripts pre_remove 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m50.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m50.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m52.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m52.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m52.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m52.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m52.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m52.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_exceptions'] 0m52.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/pre_remove_exceptions'] 0m52.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m52.6s DUMP: install ok installed apt apt 2.9.13 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.5 install ok installed bash bash 5.2.32-1+b2 install ok installed binutils binutils 2.43.1-5 install ok installed binutils-common:amd64 binutils-common 2.43.1-5 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.43.1-5 install ok installed bsdutils bsdutils 1:2.40.2-11 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-8 install ok installed cpp-14-x86-64-linux-gnu cpp-14-x86-64-linux-gnu 14.2.0-8 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.1-1+b1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc gcc 4:14.2.0-1 install ok installed gcc-14 gcc-14 14.2.0-8 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-8 install ok installed gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu 14.2.0-8 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.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.13 install ok installed libasan8:amd64 libasan8 14.2.0-8 install ok installed libatomic1:amd64 libatomic1 14.2.0-8 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.1-5 install ok installed libblkid1:amd64 libblkid1 2.40.2-11 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc-dev-bin libc-dev-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libc6-dev:amd64 libc6-dev 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-3+b1 install ok installed libcap2:amd64 libcap2 1:2.66-5+b1 install ok installed libcc1-0:amd64 libcc1-0 14.2.0-8 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1+b1 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-elpi libcoq-elpi 2.2.3-1+b2 install ok installed libcoq-hierarchy-builder libcoq-hierarchy-builder 1.7.0-2+b11 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.1-5 install ok installed libctf0:amd64 libctf0 2.43.1-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.273 install ok installed libelpi-ocaml libelpi-ocaml 1.19.6-1 install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 1.19.6-1 install ok installed libexpat1:amd64 libexpat1 2.6.4-1 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1+b1 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-8 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-8 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp-dev:amd64 libgmp-dev 2:6.3.0+dfsg-2+b2 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b2 install ok installed libgmp3-dev:amd64 libgmp3-dev 2:6.3.0+dfsg-2+b2 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.3.0+dfsg-2+b2 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.8-2 install ok installed libgomp1:amd64 libgomp1 14.2.0-8 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libgprofng0:amd64 libgprofng0 2.43.1-5 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.21.3-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1+b1 install ok installed libhwasan0:amd64 libhwasan0 14.2.0-8 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-8 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-8 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-11 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-4 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.7-3 install ok installed libpython3.12-stdlib:amd64 libpython3.12-stdlib 3.12.7-3 install ok installed libquadmath0:amd64 libquadmath0 14.2.0-8 install ok installed libre-ocaml-dev libre-ocaml-dev 1.12.0+really1.11.0-1 install ok installed libreadline8t64:amd64 libreadline8t64 8.2-5 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b3 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.1-5 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-11 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-1 install ok installed libss2:amd64 libss2 1.47.1-1+b1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-2 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-8 install ok installed 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~rc2-3 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-8 install ok installed libubsan1:amd64 libubsan1 14.2.0-8 install ok installed libudev1:amd64 libudev1 257~rc2-3 install ok installed libunistring5:amd64 libunistring5 1.2-1+b1 install ok installed libuuid1:amd64 libuuid1 2.40.2-11 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.11.9-1 install ok installed login login 1:4.16.0-2+really2.40.2-11 install ok installed login.defs login.defs 1:4.16.0-5 install ok installed logsave logsave 1.47.1-1+b1 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-11 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-5 install ok installed perl-base perl-base 5.40.0-7 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.7-3 install ok installed python3.12-minimal python3.12-minimal 3.12.7-3 install ok installed readline-common readline-common 8.2-5 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.11-1 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-11 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m52.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m52.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-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-hierarchy-builder'] 0m54.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder 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, 92 to remove and 0 not upgraded. After this operation, 1304 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 ... 21350 files and directories currently installed.) Removing libcoq-hierarchy-builder (1.7.0-2+b11) ... Removing libcoq-elpi (2.2.3-1+b2) ... Removing libcoq-core-ocaml-dev (8.20.0+dfsg-1) ... Removing coq (8.20.0+dfsg-1) ... Removing libelpi-ocaml-dev (1.19.6-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 (1.19.6-1) ... Removing python3 (3.12.7-1) ... Removing python3.12 (3.12.7-3) ... Removing python3-minimal (3.12.7-1) ... Removing python3.12-minimal (3.12.7-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-2+b2) ... Removing libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ... Removing libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ... Removing libpython3-stdlib:amd64 (3.12.7-1) ... Removing libpython3.12-stdlib:amd64 (3.12.7-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.7-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-5) ... Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Removing libsexplib0-ocaml-dev (0.17.0-1) ... Removing libsexplib0-ocaml (0.17.0-1) ... Removing libsqlite3-0:amd64 (3.46.1-1) ... Removing libzarith-ocaml (1.14-1) ... Removing libtirpc-common (1.3.4+ds-1.3) ... Removing media-types (10.1.0) ... Removing netbase (6.4) ... Removing readline-common (8.2-5) ... Removing ocaml (5.2.0-3) ... Removing gcc (4:14.2.0-1) ... Removing gcc-14 (14.2.0-8) ... Removing binutils (2.43.1-5) ... Removing gcc-x86-64-linux-gnu (4:14.2.0-1) ... Removing gcc-14-x86-64-linux-gnu (14.2.0-8) ... Removing binutils-x86-64-linux-gnu (2.43.1-5) ... Removing libgprofng0:amd64 (2.43.1-5) ... Removing libctf0:amd64 (2.43.1-5) ... Removing libbinutils:amd64 (2.43.1-5) ... Removing binutils-common:amd64 (2.43.1-5) ... Removing cpp (4:14.2.0-1) ... Removing cpp-14 (14.2.0-8) ... Removing cpp-x86-64-linux-gnu (4:14.2.0-1) ... Removing cpp-14-x86-64-linux-gnu (14.2.0-8) ... Removing libgcc-14-dev:amd64 (14.2.0-8) ... Removing libasan8:amd64 (14.2.0-8) ... Removing libatomic1:amd64 (14.2.0-8) ... Removing libncurses-dev:amd64 (6.5-2+b1) ... Removing libc6-dev:amd64 (2.40-3) ... Removing libc-dev-bin (2.40-3) ... Removing libcc1-0:amd64 (14.2.0-8) ... Removing ocaml-interp (5.2.0-3) ... Removing libcompiler-libs-ocaml-dev (5.2.0-3) ... Removing libcrypt-dev:amd64 (1:4.4.36-5) ... Removing libctf-nobfd0:amd64 (2.43.1-5) ... Removing libgomp1:amd64 (14.2.0-8) ... Removing libhwasan0:amd64 (14.2.0-8) ... Removing libisl23:amd64 (0.27-1) ... Removing libitm1:amd64 (14.2.0-8) ... Removing libjansson4:amd64 (2.14-2+b3) ... Removing liblsan0:amd64 (14.2.0-8) ... 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-8) ... Removing libsframe1:amd64 (2.43.1-5) ... Removing ocaml-base (5.2.0-3) ... Removing libstdlib-ocaml-dev (5.2.0-3) ... Removing libstdlib-ocaml (5.2.0-3) ... Removing libtsan2:amd64 (14.2.0-8) ... Removing libubsan1:amd64 (14.2.0-8) ... Removing libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ... Removing linux-libc-dev (6.11.9-1) ... Removing rpcsvc-proto (1.4.3-1) ... Processing triggers for libc-bin (2.40-3) ... 0m54.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-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-hierarchy-builder'] 0m54.5s INFO: Running scripts post_remove 0m54.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_remove_exceptions'] 0m54.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_remove_exceptions'] 0m54.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-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'] 0m54.6s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed (Reading database ... 5164 files and directories currently installed.) Purging configuration files for binutils-common:amd64 (2.43.1-5) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove coq which isn't installed Purging configuration files for cpp (4:14.2.0-1) ... dpkg: warning: ignoring request to remove cpp-14 which isn't installed dpkg: warning: ignoring request to remove cpp-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-14 which isn't installed dpkg: warning: ignoring request to remove gcc-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcoq-elpi which isn't installed dpkg: warning: ignoring request to remove libcoq-stdlib which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.36-5) ... dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libelpi-ocaml which isn't installed dpkg: warning: ignoring request to remove libelpi-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.6-3) ... dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libgcc-14-dev which isn't installed dpkg: warning: ignoring request to remove libgmp-dev which isn't installed dpkg: warning: ignoring request to remove libgmp3-dev which isn't installed dpkg: warning: ignoring request to remove libgmpxx4ldbl which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgprofng0 which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.21.3-3) ... dpkg: warning: ignoring request to remove libhwasan0 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmenhir-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed dpkg: warning: ignoring request to remove libocaml-compiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-derivers-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppxlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.12-minimal:amd64 (3.12.7-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-5) ... dpkg: warning: ignoring request to remove libsexplib0-ocaml which isn't installed dpkg: warning: ignoring request to remove libsexplib0-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsframe1 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml-dev which isn't installed Purging configuration files for libtirpc-common (1.3.4+ds-1.3) ... Purging configuration files for libtirpc3t64:amd64 (1.3.4+ds-1.3+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.7-3) ... Purging configuration files for readline-common (8.2-5) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-core-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-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'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--purge', 'libcoq-hierarchy-builder'] 0m54.6s DUMP: dpkg: warning: ignoring request to remove libcoq-hierarchy-builder which isn't installed 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--purge', 'libcoq-hierarchy-builder'] 0m54.6s INFO: Running scripts post_purge 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_purge_exceptions'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_purge_exceptions'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--purge', '--pending'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--purge', '--pending'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--remove', '--pending'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg', '--remove', '--pending'] 0m54.6s INFO: Running scripts post_test 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_test_exceptions'] 0m54.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'tmp/scripts/post_test_exceptions'] 0m54.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m55.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m55.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg-divert', '--list'] 0m55.0s 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 0m55.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'dpkg-divert', '--list'] 0m55.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'clean'] 0m55.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc9tht67i', 'apt-get', 'clean'] 0m55.1s DEBUG: Recording chroot state 0m55.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/shm'] 0m55.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/shm'] 0m55.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/console'] 0m55.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/console'] 0m55.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/ptmx'] 0m55.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/ptmx'] 0m55.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/pts'] 0m55.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/dev/pts'] 0m55.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/proc'] 0m56.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc9tht67i/proc'] 0m56.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m56.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpc9tht67i'] 0m56.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpc9tht67i 0m56.1s INFO: PASS: Upgrading between Debian distributions. 0m56.1s INFO: PASS: All tests. 0m56.1s INFO: piuparts run ends. ret=0 End: 2024-11-21 03:41:23 GMT