Start: 2024-11-20 15:58:19 GMT [testing] Package: libcoq-core-ocaml Source: coq (8.19.1+dfsg-3) Version: 8.19.1+dfsg-3+b2 Installed-Size: 59069 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs, libcoq-ocaml Provides: libcoq-core-ocaml-2h7p6, libcoq-ocaml (= 8.19.1+dfsg-3+b2) Depends: libfindlib-ocaml-0ne56, libstdlib-ocaml-7l663, libzarith-ocaml-mtsj7, ocaml-base-5.2.0, libc6 (>= 2.4) Suggests: ocaml-findlib Breaks: coq-libs, libcoq-ocaml Description: runtime libraries for Coq Homepage: http://coq.inria.fr/ Description-md5: 6f9fa9509e05b95dc040fa6f750867c3 Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb Size: 25065856 MD5sum: af44a27e91b0bdf48c6ad9223cddb40e SHA256: 01a2314eb21ddb3743a92fd6dde6e6e6011f59bbc9917d2554f7f724e311170b [sid] Package: libcoq-core-ocaml Source: coq Version: 8.20.0+dfsg-1 Installed-Size: 59705 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs, libcoq-ocaml Provides: libcoq-core-ocaml-1ioh9, libcoq-ocaml (= 8.20.0+dfsg-1) Depends: libfindlib-ocaml-0ne56, libstdlib-ocaml-7l663, libzarith-ocaml-mtsj7, ocaml-base-5.2.0, libc6 (>= 2.4) Suggests: ocaml-findlib Breaks: coq-libs, libcoq-ocaml Description: runtime libraries for Coq Homepage: http://coq.inria.fr/ Description-md5: 6f9fa9509e05b95dc040fa6f750867c3 Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb Size: 25868164 MD5sum: 8ef41f1293967fce1a0c537ce7cddadb SHA256: b7977c3bb4e1aa0034be8906d8f2b2113c09bfbab1f321b45dda45ccc728cceb 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-core-ocaml=8.20.0+dfsg-1 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-core-ocaml=8.20.0+dfsg-1 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/tmp40fafran 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp40fafran 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp40fafran', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp40fafran', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp40fafran/proc'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp40fafran/proc'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/pts'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.5s DEBUG: Created policy-rc.d and chmodded it. 0m0.5s DEBUG: Created resolv.conf. 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp40fafran/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'update'] 0m14.1s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [172 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9370 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6262 kB] Fetched 15.8 MB in 12s (1277 kB/s) Reading package lists... 0m14.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'update'] 0m14.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-yf', 'dist-upgrade'] 0m18.4s 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 mount util-linux 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 3710 kB of archives. After this operation, 7168 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] debconf: delaying package configuration, since apt-utils is not installed Fetched 3710 kB in 2s (1895 kB/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) ... 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) ... 0m18.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-yf', 'dist-upgrade'] 0m18.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m18.9s DUMP: 233c407c290d51955b3471392d63cbcd - 0m18.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m18.9s INFO: Running scripts post_setup 0m18.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_dummy_users'] 0m20.0s 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 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_dummy_users'] 0m20.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_forbid_home'] 0m20.0s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_forbid_home'] 0m20.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_force-unsafe-io'] 0m20.0s 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' 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_force-unsafe-io'] 0m20.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_minimize'] 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_minimize'] 0m20.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_squeeze-backports'] 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_squeeze-backports'] 0m20.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_zz_backports'] 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_setup_zz_backports'] 0m20.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m20.0s 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-4 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-4 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 0m20.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m20.0s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m20.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 0m20.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 0m20.4s INFO: Running scripts is_testable 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/is_testable_uninstallable'] 0m20.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/is_testable_uninstallable'] 0m20.4s INFO: Running scripts pre_test 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_test_exceptions'] 0m20.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_test_exceptions'] 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_test_root_password'] 0m20.5s DUMP: New password: Retype new password: passwd: password updated successfully 0m20.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_test_root_password'] 0m20.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml'] 0m20.7s DUMP: Package: libcoq-core-ocaml Source: coq (8.19.1+dfsg-3) Version: 8.19.1+dfsg-3+b2 Installed-Size: 59069 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs, libcoq-ocaml Provides: libcoq-core-ocaml-2h7p6, libcoq-ocaml (= 8.19.1+dfsg-3+b2) Depends: libfindlib-ocaml-0ne56, libstdlib-ocaml-7l663, libzarith-ocaml-mtsj7, ocaml-base-5.2.0, libc6 (>= 2.4) Suggests: ocaml-findlib Breaks: coq-libs, libcoq-ocaml Description-en: runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq. Description-md5: 6f9fa9509e05b95dc040fa6f750867c3 Homepage: http://coq.inria.fr/ Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb Size: 25065856 MD5sum: af44a27e91b0bdf48c6ad9223cddb40e SHA256: 01a2314eb21ddb3743a92fd6dde6e6e6011f59bbc9917d2554f7f724e311170b 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml'] 0m20.7s INFO: apt-cache knows about the following packages: libcoq-core-ocaml 0m20.7s INFO: Running scripts pre_install 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_database-server'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_database-server'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_exceptions'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_exceptions'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_extras'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_extras'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy'] 0m20.8s 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: 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy', 'libcoq-core-ocaml'] 0m20.8s DUMP: libcoq-core-ocaml: Installed: (none) Candidate: 8.19.1+dfsg-3+b2 Version table: 8.19.1+dfsg-3+b2 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy', 'libcoq-core-ocaml'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-y', 'install', 'libcoq-core-ocaml'] 0m40.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libfindlib-ocaml libstdlib-ocaml libzarith-ocaml ocaml-base Suggested packages: ocaml-findlib The following NEW packages will be installed: libcoq-core-ocaml libfindlib-ocaml libstdlib-ocaml libzarith-ocaml ocaml-base 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 26.4 MB of archives. After this operation, 64.5 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 libcoq-core-ocaml amd64 8.19.1+dfsg-3+b2 [25.1 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 26.4 MB in 18s (1507 kB/s) Selecting previously unselected package libstdlib-ocaml. (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 .../libstdlib-ocaml_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../ocaml-base_5.2.0-3_amd64.deb ... Unpacking ocaml-base (5.2.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../libzarith-ocaml_1.14-1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core-ocaml (8.19.1+dfsg-3+b2) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up ocaml-base (5.2.0-3) ... Setting up libfindlib-ocaml (1.9.6-3) ... Setting up libzarith-ocaml (1.14-1) ... Setting up libcoq-core-ocaml (8.19.1+dfsg-3+b2) ... 0m40.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-y', 'install', 'libcoq-core-ocaml'] 0m40.4s INFO: Running scripts post_install 0m40.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_install_exceptions'] 0m40.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_install_exceptions'] 0m40.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 0m40.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 0m40.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp40fafran to sid 0m40.9s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m40.9s INFO: Running scripts pre_distupgrade 0m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m40.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_exceptions'] 0m40.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_exceptions'] 0m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m40.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m40.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m40.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'update'] 1m8.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 [7332 kB] Fetched 17.6 MB in 26s (670 kB/s) Reading package lists... 1m8.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'update'] 1m8.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-yf', 'dist-upgrade'] 1m37.2s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt libapt-pkg6.0t64 libcoq-core-ocaml libpcre2-8-0 libsystemd0 libudev1 login.defs passwd 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 30.6 MB of archives. After this operation, 521 kB of additional disk space will be used. 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.12 [1042 kB] Get:4 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.12 [1364 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.44-4 [275 kB] Get:6 http://deb.debian.org/debian sid/main amd64 login.defs all 1:4.16.0-5 [185 kB] Get:7 http://deb.debian.org/debian sid/main amd64 passwd amd64 1:4.16.0-5 [1232 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 30.6 MB in 25s (1212 kB/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 ... 5343 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 ... 5343 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 ... 5343 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.12_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.12) over (2.9.10) ... Setting up libapt-pkg6.0t64:amd64 (2.9.12) ... (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 ... 5343 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.12_amd64.deb ... Unpacking apt (2.9.12) over (2.9.10) ... Setting up apt (2.9.12) ... (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 ... 5340 files and directories currently installed.) 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 ... 5339 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) ... Preparing to unpack .../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) ... 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 libcoq-core-ocaml (8.20.0+dfsg-1) ... Processing triggers for libc-bin (2.40-3) ... 1m37.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-yf', 'dist-upgrade'] 1m37.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m38.4s DUMP: c4c4a24ed2c9483cf67de5f0e9e40ae1 - 1m38.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m38.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml'] 1m38.6s DUMP: Package: libcoq-core-ocaml Source: coq Version: 8.20.0+dfsg-1 Installed-Size: 59705 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs, libcoq-ocaml Provides: libcoq-core-ocaml-1ioh9, libcoq-ocaml (= 8.20.0+dfsg-1) Depends: libfindlib-ocaml-0ne56, libstdlib-ocaml-7l663, libzarith-ocaml-mtsj7, ocaml-base-5.2.0, libc6 (>= 2.4) Suggests: ocaml-findlib Breaks: coq-libs, libcoq-ocaml Description-en: runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq. Description-md5: 6f9fa9509e05b95dc040fa6f750867c3 Homepage: http://coq.inria.fr/ Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb Size: 25868164 MD5sum: 8ef41f1293967fce1a0c537ce7cddadb SHA256: b7977c3bb4e1aa0034be8906d8f2b2113c09bfbab1f321b45dda45ccc728cceb 1m38.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml'] 1m38.6s INFO: apt-cache knows about the following packages: libcoq-core-ocaml 1m38.6s INFO: Running scripts pre_install 1m38.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_database-server'] 1m38.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_database-server'] 1m38.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_exceptions'] 1m38.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_exceptions'] 1m38.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_extras'] 1m38.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_extras'] 1m38.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture'] 1m38.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture'] 1m38.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m38.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m38.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy'] 1m38.7s 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: 1m38.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy'] 1m38.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy', 'libcoq-core-ocaml'] 1m38.8s DUMP: libcoq-core-ocaml: Installed: 8.20.0+dfsg-1 Candidate: 8.20.0+dfsg-1 Version table: *** 8.20.0+dfsg-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 1m38.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy', 'libcoq-core-ocaml'] 1m38.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-y', 'install', 'libcoq-core-ocaml'] 1m39.5s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-core-ocaml is already the newest version (8.20.0+dfsg-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-y', 'install', 'libcoq-core-ocaml'] 1m39.5s INFO: Running scripts post_install 1m39.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_install_exceptions'] 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_install_exceptions'] 1m39.5s INFO: Running scripts post_distupgrade 1m39.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m39.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_exceptions'] 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_exceptions'] 1m39.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m39.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m39.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_zz_backports'] 1m39.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_distupgrade_zz_backports'] 1m39.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m40.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m40.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m40.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m40.5s INFO: Running scripts pre_install 1m40.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_database-server'] 1m40.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_database-server'] 1m40.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_exceptions'] 1m40.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_exceptions'] 1m40.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_extras'] 1m40.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_extras'] 1m40.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture'] 1m40.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture'] 1m40.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m40.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m40.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy'] 1m40.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m40.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy'] 1m40.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy', 'libcoq-core-ocaml'] 1m40.7s DUMP: libcoq-core-ocaml: Installed: 8.20.0+dfsg-1 Candidate: 8.20.0+dfsg-1 Version table: *** 8.20.0+dfsg-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 1m40.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-cache', 'policy', 'libcoq-core-ocaml'] 1m40.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-y', 'install', 'libcoq-core-ocaml=8.20.0+dfsg-1'] 1m41.3s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-core-ocaml is already the newest version (8.20.0+dfsg-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m41.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', '-y', 'install', 'libcoq-core-ocaml=8.20.0+dfsg-1'] 1m41.3s INFO: Running scripts post_install 1m41.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_install_exceptions'] 1m41.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_install_exceptions'] 1m41.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m41.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m42.3s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp40fafran', '-ac', '--ignore-obsolete'] 1m43.5s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp40fafran', '-ac', '--ignore-obsolete'] 1m43.5s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m43.6s DUMP: 0.15.6 1m43.6s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m43.6s INFO: Running adequate version 0.15.6 now. 1m43.6s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'libcoq-core-ocaml'] 1m43.7s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'libcoq-core-ocaml'] 1m43.7s INFO: Running scripts pre_remove 1m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_exceptions'] 1m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/pre_remove_exceptions'] 1m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m44.5s DUMP: install ok installed apt apt 2.9.12 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.12 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 libcoq-core-ocaml libcoq-core-ocaml 8.20.0+dfsg-1 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 libfindlib-ocaml libfindlib-ocaml 1.9.6-3 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.44-4 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 libstdlib-ocaml libstdlib-ocaml 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 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 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 ocaml-base ocaml-base 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 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 1m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'remove', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base', 'libcoq-core-ocaml'] 1m45.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: libcoq-core-ocaml libfindlib-ocaml libstdlib-ocaml libzarith-ocaml ocaml-base 0 upgraded, 0 newly installed, 5 to remove and 0 not upgraded. After this operation, 65.1 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 ... 5357 files and directories currently installed.) Removing libcoq-core-ocaml (8.20.0+dfsg-1) ... Removing libfindlib-ocaml (1.9.6-3) ... Removing libzarith-ocaml (1.14-1) ... Removing ocaml-base (5.2.0-3) ... Removing libstdlib-ocaml (5.2.0-3) ... 1m45.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'remove', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base', 'libcoq-core-ocaml'] 1m45.7s INFO: Running scripts post_remove 1m45.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_remove_exceptions'] 1m45.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_remove_exceptions'] 1m45.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--purge', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base'] 1m45.7s DUMP: (Reading database ... 5155 files and directories currently installed.) Purging configuration files for libfindlib-ocaml (1.9.6-3) ... dpkg: warning: ignoring request to remove libstdlib-ocaml which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove ocaml-base which isn't installed 1m45.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--purge', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base'] 1m45.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--purge', 'libcoq-core-ocaml'] 1m45.7s DUMP: dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed 1m45.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--purge', 'libcoq-core-ocaml'] 1m45.7s INFO: Running scripts post_purge 1m45.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_purge_exceptions'] 1m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_purge_exceptions'] 1m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--purge', '--pending'] 1m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--purge', '--pending'] 1m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--remove', '--pending'] 1m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg', '--remove', '--pending'] 1m45.8s INFO: Running scripts post_test 1m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_test_exceptions'] 1m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'tmp/scripts/post_test_exceptions'] 1m45.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m46.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m46.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg-divert', '--list'] 1m46.3s 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 1m46.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'dpkg-divert', '--list'] 1m46.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'clean'] 1m46.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp40fafran', 'apt-get', 'clean'] 1m46.4s DEBUG: Recording chroot state 1m47.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/shm'] 1m47.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/shm'] 1m47.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/console'] 1m47.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/console'] 1m47.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/ptmx'] 1m47.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/ptmx'] 1m47.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/pts'] 1m47.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/dev/pts'] 1m47.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/proc'] 1m47.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp40fafran/proc'] 1m47.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m48.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp40fafran'] 1m48.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp40fafran 1m48.0s INFO: PASS: Upgrading between Debian distributions. 1m48.0s INFO: PASS: All tests. 1m48.1s INFO: piuparts run ends. ret=0 End: 2024-11-20 16:00:07 GMT