Start: 2024-11-20 21:06:39 GMT Package: libcoq-serapi-ocaml Source: coq-serapi Version: 8.20.0+0.20.0-1 Installed-Size: 19146 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-serapi-ocaml-n1bv0 Depends: libcoq-ocaml Description: interaction with Coq (runtime) Homepage: https://github.com/ejgallego/coq-serapi Description-md5: c148f8301764728b9525ace844664a4f Section: ocaml Priority: optional Filename: pool/main/c/coq-serapi/libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb Size: 6373804 MD5sum: 530c947b999b66233edf574f28e5723a SHA256: f4042c6553320b7656a6910c16dcffa39515b95f2bb0dfb58acc743d80bb1c63 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 --fail-on-broken-symlinks --install-recommends --scriptsdir /etc/piuparts/scripts-broken-symlinks -i :/usr/lib/libcxx/test/std/experimental/filesystem/Inputs/static_test_env/bad_symlink -i :/usr/share/gocode/src/github.com/Masterminds/glide/testdata/path/x/vendor -i :/usr/share/gocode/src/github.com/constabulary/gb/internal/fileutils/_testdata/copyfile/a/rick -i :/usr/share/gocode/src/github.com/hashicorp/atlas-go/archive/test-fixtures/archive-symlink/link/link -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26231/exe -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26231/ns/mnt -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26231/ns/net -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26232/cwd -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26232/root -i :/etc/systemd/system/display-manager.service -i :/usr/share/civicrm/packages/OpenFlashChart/open-flash-chart.swf -I ':/usr/share/mscore3?-.*/sound/sf[2z]' -i :/var/lib/mender -I ':/etc/.*/supervise' -I '/usr/include/python2\.7_d/.*\.h' -I '/usr/include/python3\..dm/.*\.h' -I '/usr/include/python3\..dm/cpython' -I '/usr/include/python3\..dm/internal' -I ':/usr/lib/jvm/java-.*-openjdk-.*/src\.zip' -I ':/usr/share/doc/kde/HTML/.*/common' -I ':/usr/share/man/man1/(.*-)?python.*-config\.1\.gz' -I ':/usr/lib/openjk/Jedi(Academy|Outcast)/base/assets.\.pk3' -I ':/usr/lib/rtcw/main/.*\.(cfg|pk3)' --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt libcoq-serapi-ocaml=8.20.0+0.20.0-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 --fail-on-broken-symlinks --install-recommends --scriptsdir /etc/piuparts/scripts-broken-symlinks -i :/usr/lib/libcxx/test/std/experimental/filesystem/Inputs/static_test_env/bad_symlink -i :/usr/share/gocode/src/github.com/Masterminds/glide/testdata/path/x/vendor -i :/usr/share/gocode/src/github.com/constabulary/gb/internal/fileutils/_testdata/copyfile/a/rick -i :/usr/share/gocode/src/github.com/hashicorp/atlas-go/archive/test-fixtures/archive-symlink/link/link -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26231/exe -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26231/ns/mnt -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26231/ns/net -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26232/cwd -i :/usr/share/gocode/src/github.com/prometheus/procfs/fixtures/26232/root -i :/etc/systemd/system/display-manager.service -i :/usr/share/civicrm/packages/OpenFlashChart/open-flash-chart.swf -I ':/usr/share/mscore3?-.*/sound/sf[2z]' -i :/var/lib/mender -I ':/etc/.*/supervise' -I '/usr/include/python2\.7_d/.*\.h' -I '/usr/include/python3\..dm/.*\.h' -I '/usr/include/python3\..dm/cpython' -I '/usr/include/python3\..dm/internal' -I ':/usr/lib/jvm/java-.*-openjdk-.*/src\.zip' -I ':/usr/share/doc/kde/HTML/.*/common' -I ':/usr/share/man/man1/(.*-)?python.*-config\.1\.gz' -I ':/usr/lib/openjk/Jedi(Academy|Outcast)/base/assets.\.pk3' -I ':/usr/lib/rtcw/main/.*\.(cfg|pk3)' --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt libcoq-serapi-ocaml=8.20.0+0.20.0-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/tmptk2bm5ov 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmptk2bm5ov 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/proc'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/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/tmptk2bm5ov/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/tmptk2bm5ov/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid 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/tmptk2bm5ov/tmp/scripts/ 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts-broken-symlinks to /srv/piuparts.debian.org/tmp/tmptk2bm5ov/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'update'] 0m5.9s 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 [7335 kB] Fetched 17.6 MB in 4s (4214 kB/s) Reading package lists... 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'update'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', '-yf', 'dist-upgrade'] 0m8.2s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: apt libapt-pkg6.0t64 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 2496 kB of archives. After this operation, 219 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0t64 amd64 2.9.13 [1104 kB] Get:2 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.13 [1392 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 2496 kB in 0s (14.0 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 ... 5150 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.12) ... 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 ... 5150 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.13_amd64.deb ... Unpacking apt (2.9.13) over (2.9.12) ... Setting up apt (2.9.13) ... Processing triggers for libc-bin (2.40-3) ... 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', '-yf', 'dist-upgrade'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m10.0s DUMP: a6bb0ab3d08215369a0c45aae52cccdf - 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m10.0s INFO: Running scripts post_setup 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_dummy_users'] 0m10.9s 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 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_dummy_users'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_fake-essential_unbreak_symlinks'] 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_fake-essential_unbreak_symlinks'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_forbid_home'] 0m10.9s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_forbid_home'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_force-unsafe-io'] 0m10.9s 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' 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_force-unsafe-io'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_minimize'] 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_minimize'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_squeeze-backports'] 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_squeeze-backports'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_zz_backports'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_setup_zz_backports'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'clean'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'clean'] 0m11.0s DEBUG: Recording chroot state 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m11.7s 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 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.13 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.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 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 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 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-divert', '--list'] 0m11.7s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-divert', '--list'] 0m11.7s INFO: Running scripts is_testable 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/is_testable_uninstallable'] 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/is_testable_uninstallable'] 0m11.7s INFO: apt-cache does not know about any of the requested packages 0m11.7s INFO: Running scripts pre_test 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_test_exceptions'] 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_test_exceptions'] 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_test_root_password'] 0m11.8s DUMP: New password: Retype new password: passwd: password updated successfully 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_test_root_password'] 0m11.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m12.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m13.0s DEBUG: No broken symlinks as far as we can find. 0m13.0s INFO: Running scripts pre_install 0m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_database-server'] 0m13.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_database-server'] 0m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_exceptions'] 0m13.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_exceptions'] 0m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_extras'] 0m13.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_extras'] 0m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_foreign_architecture'] 0m13.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_foreign_architecture'] 0m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m13.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m13.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m13.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m14.2s DEBUG: No broken symlinks as far as we can find. 0m14.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-cache', 'policy'] 0m15.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m15.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-cache', 'policy'] 0m15.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-cache', 'policy', 'libcoq-serapi-ocaml'] 0m15.5s DUMP: libcoq-serapi-ocaml: Installed: (none) Candidate: 8.20.0+0.20.0-1 Version table: 8.20.0+0.20.0-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m15.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-cache', 'policy', 'libcoq-serapi-ocaml'] 0m15.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', '-y', 'install', 'libcoq-serapi-ocaml=8.20.0+0.20.0-1'] 0m19.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libcoq-core-ocaml libfindlib-ocaml libstdlib-ocaml libzarith-ocaml ocaml-base Suggested packages: ocaml-findlib The following NEW packages will be installed: libcoq-core-ocaml libcoq-serapi-ocaml libfindlib-ocaml libstdlib-ocaml libzarith-ocaml ocaml-base 0 upgraded, 6 newly installed, 0 to remove and 0 not upgraded. Need to get 33.6 MB of archives. After this operation, 84.7 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get:2 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB] Get:6 http://deb.debian.org/debian sid/main amd64 libcoq-serapi-ocaml amd64 8.20.0+0.20.0-1 [6374 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 33.6 MB in 1s (26.0 MB/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 ... 5154 files and directories currently installed.) Preparing to unpack .../0-libstdlib-ocaml_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../1-ocaml-base_5.2.0-3_amd64.deb ... Unpacking ocaml-base (5.2.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../2-libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../3-libzarith-ocaml_1.14-1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../4-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... Selecting previously unselected package libcoq-serapi-ocaml. Preparing to unpack .../5-libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb ... Unpacking libcoq-serapi-ocaml (8.20.0+0.20.0-1) ... 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.20.0+dfsg-1) ... Setting up libcoq-serapi-ocaml (8.20.0+0.20.0-1) ... 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', '-y', 'install', 'libcoq-serapi-ocaml=8.20.0+0.20.0-1'] 0m19.3s INFO: Running scripts post_install 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_install_exceptions'] 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_install_exceptions'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_install_extras_unbreak_symlinks'] 0m19.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_install_extras_unbreak_symlinks'] 0m19.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m19.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m20.3s DEBUG: No broken symlinks as far as we can find. 0m20.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', '-ac', '--ignore-obsolete'] 0m21.7s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', '-ac', '--ignore-obsolete'] 0m21.7s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m21.8s DUMP: 0.15.6 0m21.8s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m21.8s INFO: Running adequate version 0.15.6 now. 0m21.8s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'libcoq-serapi-ocaml'] 0m21.9s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'libcoq-serapi-ocaml'] 0m21.9s INFO: Running scripts pre_remove 0m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m22.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m22.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m22.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m22.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m22.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m22.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_exceptions'] 0m22.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/pre_remove_exceptions'] 0m22.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m22.7s 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 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.13 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 libcoq-serapi-ocaml libcoq-serapi-ocaml 8.20.0+0.20.0-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 0m22.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'remove', 'libcoq-core-ocaml', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base', 'libcoq-serapi-ocaml'] 0m23.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: libcoq-core-ocaml libcoq-serapi-ocaml libfindlib-ocaml libstdlib-ocaml libzarith-ocaml ocaml-base 0 upgraded, 0 newly installed, 6 to remove and 0 not upgraded. After this operation, 84.7 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 ... 5426 files and directories currently installed.) Removing libcoq-serapi-ocaml (8.20.0+0.20.0-1) ... 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) ... 0m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'remove', 'libcoq-core-ocaml', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base', 'libcoq-serapi-ocaml'] 0m23.8s INFO: Running scripts post_remove 0m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_remove_exceptions'] 0m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_remove_exceptions'] 0m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--purge', 'libcoq-core-ocaml', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base'] 0m23.8s DUMP: dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed (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 0m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--purge', 'libcoq-core-ocaml', 'libfindlib-ocaml', 'libstdlib-ocaml', 'libzarith-ocaml', 'ocaml-base'] 0m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--purge', 'libcoq-serapi-ocaml'] 0m23.8s DUMP: dpkg: warning: ignoring request to remove libcoq-serapi-ocaml which isn't installed 0m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--purge', 'libcoq-serapi-ocaml'] 0m23.8s INFO: Running scripts post_purge 0m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_purge_exceptions'] 0m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_purge_exceptions'] 0m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--purge', '--pending'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--purge', '--pending'] 0m23.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--remove', '--pending'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg', '--remove', '--pending'] 0m23.9s INFO: Running scripts post_test 0m23.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_test_exceptions'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'tmp/scripts/post_test_exceptions'] 0m23.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m24.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m25.0s DEBUG: No broken symlinks as far as we can find. 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-divert', '--list'] 0m25.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 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'dpkg-divert', '--list'] 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'clean'] 0m25.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov', 'apt-get', 'clean'] 0m25.1s DEBUG: Recording chroot state 0m25.9s INFO: PASS: Installation and purging test. 0m26.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/shm'] 0m26.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/shm'] 0m26.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/console'] 0m26.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/console'] 0m26.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/ptmx'] 0m26.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/ptmx'] 0m26.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/pts'] 0m26.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/dev/pts'] 0m26.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/proc'] 0m26.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov/proc'] 0m26.5s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m26.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmptk2bm5ov'] 0m26.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmptk2bm5ov 0m26.6s INFO: PASS: All tests. 0m26.6s INFO: piuparts run ends. ret=0 End: 2024-11-20 21:07:06 GMT