Start: 2023-02-12 22:10:59 GMT Package: hol-light Source: hol-light (20230128-1) Version: 20230128-1+b1 Installed-Size: 43544 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-u46f8, libcamlp-streams-ocaml-dev-jh7j5, ocaml-4.13.1 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python Description: HOL Light theorem prover Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5 Section: math Priority: optional Filename: pool/main/h/hol-light/hol-light_20230128-1+b1_amd64.deb Size: 5768384 MD5sum: 1f032920c2e22b5e55960fd0c06fb05b SHA256: 9e908b3bf1e689769deee58f85df1cfc89b95aef00dcca087d65c89cd9020dfe Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-remove-install --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-others --scriptsdir /etc/piuparts/scripts-leftovers --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid_amd64.tar.gz -d sid --no-upgrade-test --apt hol-light=20230128-1+b1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.1.5 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-remove-install --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-others --scriptsdir /etc/piuparts/scripts-leftovers --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid_amd64.tar.gz -d sid --no-upgrade-test --apt hol-light=20230128-1+b1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-21-amd64 #1 SMP Debian 5.10.162-1 (2023-01-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpxuiia117 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpxuiia117 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpxuiia117', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/sid_amd64.tar.gz'] 0m2.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpxuiia117', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/sid_amd64.tar.gz'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpxuiia117/proc'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpxuiia117/proc'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/pts'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/pts'] 0m2.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/ptmx'] 0m2.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/ptmx'] 0m2.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/console'] 0m2.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/console'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/shm'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/shm'] 0m2.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m2.2s DEBUG: Created policy-rc.d and chmodded it. 0m2.2s DEBUG: Created resolv.conf. 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpxuiia117/tmp/scripts/ 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts-leftovers to /srv/piuparts.debian.org/tmp/tmpxuiia117/tmp/scripts/ 0m2.2s INFO: Running scripts post_chroot_unpack 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'update'] 0m6.1s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [176 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [9425 kB] Get:3 http://deb.debian.org/debian sid/main Translation-en [6977 kB] Fetched 16.6 MB in 3s (5507 kB/s) Reading package lists... 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'update'] 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-yf', 'dist-upgrade'] 0m6.6s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m6.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-yf', 'dist-upgrade'] 0m6.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.9s DUMP: 80f28465257476acbb1c7c76e70648e5 - 0m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.9s INFO: Running scripts post_setup 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_dummy_users'] 0m7.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 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_dummy_users'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_fake-essential'] 0m9.5s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... init-system-helpers is already the newest version (1.65.2). The following additional packages will be installed: sensible-utils ucf Suggested packages: dbconfig-mysql | dbconfig-pgsql | dbconfig-sqlite3 | dbconfig-no-thanks The following NEW packages will be installed: dbconfig-common sensible-utils ucf 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 666 kB of archives. After this operation, 1819 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get:2 http://deb.debian.org/debian sid/main amd64 ucf all 3.0043+nmu1 [55.2 kB] Get:3 http://deb.debian.org/debian sid/main amd64 dbconfig-common all 2.0.23 [592 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 666 kB in 0s (8659 kB/s) Selecting previously unselected package sensible-utils. (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 ... 8049 files and directories currently installed.) Preparing to unpack .../sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0043+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0043+nmu1) ... Selecting previously unselected package dbconfig-common. Preparing to unpack .../dbconfig-common_2.0.23_all.deb ... Unpacking dbconfig-common (2.0.23) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up ucf (3.0043+nmu1) ... Setting up dbconfig-common (2.0.23) ... Creating config file /etc/dbconfig-common/config with new version 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_fake-essential'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_forbid_home'] 0m9.5s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_forbid_home'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_force-unsafe-io'] 0m9.6s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' dpkg-divert: warning: diverting file '/bin/sync' from an Essential package with rename is dangerous, use --no-rename '/bin/sync' -> 'true' 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_force-unsafe-io'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_minimize'] 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_minimize'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_squeeze-backports'] 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_squeeze-backports'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_zz_backports'] 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_setup_zz_backports'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'clean'] 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'clean'] 0m9.6s DEBUG: Recording chroot state 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m10.1s DUMP: install ok installed apt apt 2.5.6 install ok installed base-files base-files 12.3 install ok installed base-passwd base-passwd 3.6.1 install ok installed bash bash 5.2.15-2 install ok installed bsdutils bsdutils 1:2.38.1-4 install ok installed coreutils coreutils 9.1-1 install ok installed dash dash 0.5.12-2 install ok installed dbconfig-common dbconfig-common 2.0.23 install ok installed debconf debconf 1.5.82 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1 install ok installed debianutils debianutils 5.7-0.4 install ok installed diffutils diffutils 1:3.8-4 install ok installed dpkg dpkg 1.21.20 install ok installed e2fsprogs e2fsprogs 1.47.0-1 install ok installed findutils findutils 4.9.0-4 install ok installed gcc-12-base:amd64 gcc-12-base 12.2.0-14 install ok installed gpgv gpgv 2.2.40-1 install ok installed grep grep 3.8-5 install ok installed gzip gzip 1.12-1 install ok installed hostname hostname 3.23+nmu1 install ok installed init-system-helpers init-system-helpers 1.65.2 install ok installed libacl1:amd64 libacl1 2.3.1-3 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.5.6 install ok installed libattr1:amd64 libattr1 1:2.5.1-4 install ok installed libaudit-common libaudit-common 1:3.0.9-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.9-1 install ok installed libblkid1:amd64 libblkid1 2.38.1-4 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b1 install ok installed libc-bin libc-bin 2.36-8 install ok installed libc6:amd64 libc6 2.36-8 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.3-1+b3 install ok installed libcap2:amd64 libcap2 1:2.66-3 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.33-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.266 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-1 install ok installed libffi8:amd64 libffi8 3.4.4-1 install ok installed libfile-find-rule-perl libfile-find-rule-perl 0.34-3 install ok installed libgcc-s1:amd64 libgcc-s1 12.2.0-14 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.1-3 install ok installed libgdbm-compat4:amd64 libgdbm-compat4 1.23-3 install ok installed libgdbm6:amd64 libgdbm6 1.23-3 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg1-1.1 install ok installed libgnutls30:amd64 libgnutls30 3.7.8-5 install ok installed libgpg-error0:amd64 libgpg-error0 1.46-1 install ok installed libhogweed6:amd64 libhogweed6 3.8.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.3.3-1+b1 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1 install ok installed liblzma5:amd64 liblzma5 5.4.1-0.1 install ok installed libmd0:amd64 libmd0 1.0.4-2 install ok installed libmount1:amd64 libmount1 2.38.1-4 install ok installed libnettle8:amd64 libnettle8 3.8.1-2 install ok installed libnumber-compare-perl libnumber-compare-perl 0.03-3 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-6 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-6 install ok installed libpam-runtime libpam-runtime 1.5.2-6 install ok installed libpam0g:amd64 libpam0g 1.5.2-6 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-1 install ok installed libperl5.36:amd64 libperl5.36 5.36.0-7 install ok installed libseccomp2:amd64 libseccomp2 2.5.4-1+b3 install ok installed libselinux1:amd64 libselinux1 3.4-1+b5 install ok installed libsemanage-common libsemanage-common 3.4-1 install ok installed libsemanage2:amd64 libsemanage2 3.4-1+b5 install ok installed libsepol2:amd64 libsepol2 3.4-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.38.1-4 install ok installed libss2:amd64 libss2 1.47.0-1 install ok installed libstdc++6:amd64 libstdc++6 12.2.0-14 install ok installed libsystemd0:amd64 libsystemd0 252.5-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2 install ok installed libtext-glob-perl libtext-glob-perl 0.11-3 install ok installed libtinfo6:amd64 libtinfo6 6.4-2 install ok installed libudev1:amd64 libudev1 252.5-2 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-4 install ok installed libxxhash0:amd64 libxxhash0 0.8.1-1 install ok installed libzstd1:amd64 libzstd1 1.5.2+dfsg2-3 install ok installed login login 1:4.13+dfsg1-1 install ok installed logsave logsave 1.47.0-1 install ok installed mawk mawk 1.3.4.20200120-3.1 install ok installed mount mount 2.38.1-4 install ok installed ncurses-base ncurses-base 6.4-2 install ok installed ncurses-bin ncurses-bin 6.4-2 install ok installed passwd passwd 1:4.13+dfsg1-1 install ok installed perl perl 5.36.0-7 install ok installed perl-base perl-base 5.36.0-7 install ok installed perl-modules-5.36 perl-modules-5.36 5.36.0-7 install ok installed sed sed 4.9-1 install ok installed sensible-utils sensible-utils 0.0.17+nmu1 install ok installed sysvinit-utils sysvinit-utils 3.06-2 install ok installed tar tar 1.34+dfsg-1.1 install ok installed tzdata tzdata 2022g-5 install ok installed ucf ucf 3.0043+nmu1 install ok installed usr-is-merged usr-is-merged 35 install ok installed usrmerge usrmerge 35 install ok installed util-linux util-linux 2.38.1-4 install ok installed util-linux-extra util-linux-extra 2.38.1-4 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-divert', '--list'] 0m10.2s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-divert', '--list'] 0m10.2s INFO: Running scripts is_testable 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/is_testable_uninstallable'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/is_testable_uninstallable'] 0m10.2s INFO: apt-cache does not know about any of the requested packages 0m10.2s INFO: Running scripts pre_test 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_test_exceptions'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_test_exceptions'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_test_root_password'] 0m10.2s DUMP: New password: Retype new password: passwd: password updated successfully 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_test_root_password'] 0m10.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m10.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m11.3s DEBUG: No broken symlinks as far as we can find. 0m11.3s INFO: Running scripts pre_install 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_database-server'] 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_database-server'] 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_exceptions'] 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_exceptions'] 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_extras'] 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_extras'] 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'show', '--no-all-versions', 'hol-light=20230128-1+b1'] 0m12.4s DUMP: Package: hol-light Source: hol-light (20230128-1) Version: 20230128-1+b1 Installed-Size: 43544 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-u46f8, libcamlp-streams-ocaml-dev-jh7j5, ocaml-4.13.1 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python Description-en: HOL Light theorem prover HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aimed at the formalization of Tom Hales' proof of the Kepler conjecture. Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5 Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Section: math Priority: optional Filename: pool/main/h/hol-light/hol-light_20230128-1+b1_amd64.deb Size: 5768384 MD5sum: 1f032920c2e22b5e55960fd0c06fb05b SHA256: 9e908b3bf1e689769deee58f85df1cfc89b95aef00dcca087d65c89cd9020dfe 0m12.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'show', '--no-all-versions', 'hol-light=20230128-1+b1'] 0m12.4s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: piuparts developers team Depends: camlp5, camlp5-u46f8, libcamlp-streams-ocaml-dev-jh7j5, ocaml-4.13.1 Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed 0m12.4s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmppj4lxllh/piuparts-depends-dummy'] 0m12.4s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmppj4lxllh/piuparts-depends-dummy.deb'. 0m12.4s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmppj4lxllh/piuparts-depends-dummy'] 0m12.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m12.4s DUMP: 2.5.6 0m12.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m12.4s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmppj4lxllh/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpxuiia117/tmp 0m12.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m27.0s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libquadmath0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto Suggested packages: binutils-doc ocaml-findlib cpp-doc gcc-12-locales cpp-12-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-12-multilib gcc-12-doc glibc-doc krb5-doc krb5-user ncurses-doc ocaml-doc elpa-tuareg Recommended packages: manpages manpages-dev libc-devtools ocaml-findlib krb5-locales libgpm2 ocaml-man file ledit | readline-editor The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libquadmath0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp piuparts-depends-dummy rpcsvc-proto 0 upgraded, 52 newly installed, 0 to remove and 0 not upgraded. Need to get 168 MB/168 MB of archives. After this operation, 703 MB of additional disk space will be used. Get:1 /tmp/piuparts-depends-dummy.deb piuparts-depends-dummy amd64 0.invalid.0 [672 B] Get:2 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.40-2 [2487 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.40-2 [572 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.40-2 [153 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.40-2 [89.8 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.40-2 [812 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2 [40.8 kB] Get:8 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.40-2 [2246 kB] Get:9 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.40-2 [65.0 kB] Get:10 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 4.13.1-4 [668 kB] Get:11 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 4.13.1-4 [6158 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.4-2 [103 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.4-2 [134 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.36-8 [43.8 kB] Get:15 http://deb.debian.org/debian sid/main amd64 linux-libc-dev amd64 6.1.11-1 [1730 kB] Get:16 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.33-2 [118 kB] Get:17 http://deb.debian.org/debian sid/main amd64 libkrb5support0 amd64 1.20.1-1 [32.2 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libk5crypto3 amd64 1.20.1-1 [78.6 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libkeyutils1 amd64 1.6.3-2 [8808 B] Get:20 http://deb.debian.org/debian sid/main amd64 libssl3 amd64 3.0.8-1 [2013 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libkrb5-3 amd64 1.20.1-1 [331 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libgssapi-krb5-2 amd64 1.20.1-1 [134 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libtirpc-common all 1.3.3+ds-1 [14.0 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libtirpc3 amd64 1.3.3+ds-1 [85.2 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libnsl2 amd64 1.3.0-2 [39.5 kB] Get:26 http://deb.debian.org/debian sid/main amd64 libtirpc-dev amd64 1.3.3+ds-1 [191 kB] Get:27 http://deb.debian.org/debian sid/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:28 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.36-8 [1897 kB] Get:30 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.4-2 [348 kB] Get:31 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.25-1 [690 kB] Get:32 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.0-1 [701 kB] Get:33 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-1 [51.5 kB] Get:34 http://deb.debian.org/debian sid/main amd64 cpp-12 amd64 12.2.0-14 [9764 kB] Get:35 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:12.2.0-3 [6836 B] Get:36 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 12.2.0-14 [41.7 kB] Get:37 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 12.2.0-14 [116 kB] Get:38 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 12.2.0-14 [26.1 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 12.2.0-14 [9328 B] Get:40 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 12.2.0-14 [2195 kB] Get:41 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 12.2.0-14 [969 kB] Get:42 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 12.2.0-14 [2196 kB] Get:43 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 12.2.0-14 [883 kB] Get:44 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 12.2.0-14 [144 kB] Get:45 http://deb.debian.org/debian sid/main amd64 libgcc-12-dev amd64 12.2.0-14 [2437 kB] Get:46 http://deb.debian.org/debian sid/main amd64 gcc-12 amd64 12.2.0-14 [19.3 MB] Get:47 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:12.2.0-3 [5216 B] Get:48 http://deb.debian.org/debian sid/main amd64 ocaml amd64 4.13.1-4 [72.1 MB] Get:49 http://deb.debian.org/debian sid/main amd64 ocaml-compiler-libs amd64 4.13.1-4 [31.0 MB] Get:50 http://deb.debian.org/debian sid/main amd64 camlp5 amd64 8.00.04-1+b1 [4668 kB] Get:51 http://deb.debian.org/debian sid/main amd64 libcamlp-streams-ocaml amd64 5.0.1-1 [7304 B] Get:52 http://deb.debian.org/debian sid/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-1 [21.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 168 MB in 1s (119 MB/s) Selecting previously unselected package binutils-common:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 8398 files and directories currently installed.) Preparing to unpack .../00-binutils-common_2.40-2_amd64.deb ... Unpacking binutils-common:amd64 (2.40-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../01-libbinutils_2.40-2_amd64.deb ... Unpacking libbinutils:amd64 (2.40-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../02-libctf-nobfd0_2.40-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.40-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../03-libctf0_2.40-2_amd64.deb ... Unpacking libctf0:amd64 (2.40-2) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../04-libgprofng0_2.40-2_amd64.deb ... Unpacking libgprofng0:amd64 (2.40-2) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../05-libjansson4_2.14-2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.40-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.40-2) ... Selecting previously unselected package binutils. Preparing to unpack .../07-binutils_2.40-2_amd64.deb ... Unpacking binutils (2.40-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../08-ocaml-base_4.13.1-4_amd64.deb ... Unpacking ocaml-base (4.13.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../09-ocaml-interp_4.13.1-4_amd64.deb ... Unpacking ocaml-interp (4.13.1-4) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../10-libncurses6_6.4-2_amd64.deb ... Unpacking libncurses6:amd64 (6.4-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../11-libncursesw6_6.4-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../12-libc-dev-bin_2.36-8_amd64.deb ... Unpacking libc-dev-bin (2.36-8) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../13-linux-libc-dev_6.1.11-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (6.1.11-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../14-libcrypt-dev_1%3a4.4.33-2_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.33-2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../15-libkrb5support0_1.20.1-1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.20.1-1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../16-libk5crypto3_1.20.1-1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.20.1-1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../17-libkeyutils1_1.6.3-2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-2) ... Selecting previously unselected package libssl3:amd64. Preparing to unpack .../18-libssl3_3.0.8-1_amd64.deb ... Unpacking libssl3:amd64 (3.0.8-1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../19-libkrb5-3_1.20.1-1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.20.1-1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../20-libgssapi-krb5-2_1.20.1-1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.20.1-1) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../21-libtirpc-common_1.3.3+ds-1_all.deb ... Unpacking libtirpc-common (1.3.3+ds-1) ... Selecting previously unselected package libtirpc3:amd64. Preparing to unpack .../22-libtirpc3_1.3.3+ds-1_amd64.deb ... Unpacking libtirpc3:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../23-libnsl2_1.3.0-2_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-2) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../24-libtirpc-dev_1.3.3+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../25-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../26-rpcsvc-proto_1.4.3-1_amd64.deb ... Unpacking rpcsvc-proto (1.4.3-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../27-libc6-dev_2.36-8_amd64.deb ... Unpacking libc6-dev:amd64 (2.36-8) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../28-libncurses-dev_6.4-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-2) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../29-libisl23_0.25-1_amd64.deb ... Unpacking libisl23:amd64 (0.25-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../30-libmpfr6_4.2.0-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.0-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../31-libmpc3_1.3.1-1_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1) ... Selecting previously unselected package cpp-12. Preparing to unpack .../32-cpp-12_12.2.0-14_amd64.deb ... Unpacking cpp-12 (12.2.0-14) ... Selecting previously unselected package cpp. Preparing to unpack .../33-cpp_4%3a12.2.0-3_amd64.deb ... Unpacking cpp (4:12.2.0-3) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../34-libcc1-0_12.2.0-14_amd64.deb ... Unpacking libcc1-0:amd64 (12.2.0-14) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../35-libgomp1_12.2.0-14_amd64.deb ... Unpacking libgomp1:amd64 (12.2.0-14) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../36-libitm1_12.2.0-14_amd64.deb ... Unpacking libitm1:amd64 (12.2.0-14) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../37-libatomic1_12.2.0-14_amd64.deb ... Unpacking libatomic1:amd64 (12.2.0-14) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../38-libasan8_12.2.0-14_amd64.deb ... Unpacking libasan8:amd64 (12.2.0-14) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../39-liblsan0_12.2.0-14_amd64.deb ... Unpacking liblsan0:amd64 (12.2.0-14) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../40-libtsan2_12.2.0-14_amd64.deb ... Unpacking libtsan2:amd64 (12.2.0-14) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../41-libubsan1_12.2.0-14_amd64.deb ... Unpacking libubsan1:amd64 (12.2.0-14) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../42-libquadmath0_12.2.0-14_amd64.deb ... Unpacking libquadmath0:amd64 (12.2.0-14) ... Selecting previously unselected package libgcc-12-dev:amd64. Preparing to unpack .../43-libgcc-12-dev_12.2.0-14_amd64.deb ... Unpacking libgcc-12-dev:amd64 (12.2.0-14) ... Selecting previously unselected package gcc-12. Preparing to unpack .../44-gcc-12_12.2.0-14_amd64.deb ... Unpacking gcc-12 (12.2.0-14) ... Selecting previously unselected package gcc. Preparing to unpack .../45-gcc_4%3a12.2.0-3_amd64.deb ... Unpacking gcc (4:12.2.0-3) ... Selecting previously unselected package ocaml. Preparing to unpack .../46-ocaml_4.13.1-4_amd64.deb ... Unpacking ocaml (4.13.1-4) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../47-ocaml-compiler-libs_4.13.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.13.1-4) ... Selecting previously unselected package camlp5. Preparing to unpack .../48-camlp5_8.00.04-1+b1_amd64.deb ... Unpacking camlp5 (8.00.04-1+b1) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../49-libcamlp-streams-ocaml_5.0.1-1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../50-libcamlp-streams-ocaml-dev_5.0.1-1_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-1) ... Selecting previously unselected package piuparts-depends-dummy. Preparing to unpack .../51-piuparts-depends-dummy.deb ... Unpacking piuparts-depends-dummy (0.invalid.0) ... Setting up libkeyutils1:amd64 (1.6.3-2) ... Setting up libtirpc-common (1.3.3+ds-1) ... Setting up binutils-common:amd64 (2.40-2) ... Setting up libssl3:amd64 (3.0.8-1) ... Setting up linux-libc-dev:amd64 (6.1.11-1) ... Setting up libctf-nobfd0:amd64 (2.40-2) ... Setting up libgomp1:amd64 (12.2.0-14) ... Setting up libjansson4:amd64 (2.14-2) ... Setting up libkrb5support0:amd64 (1.20.1-1) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.0-1) ... Setting up libncurses6:amd64 (6.4-2) ... Setting up libquadmath0:amd64 (12.2.0-14) ... Setting up libmpc3:amd64 (1.3.1-1) ... Setting up libatomic1:amd64 (12.2.0-14) ... Setting up ocaml-base (4.13.1-4) ... Setting up libncursesw6:amd64 (6.4-2) ... Setting up libk5crypto3:amd64 (1.20.1-1) ... Setting up libubsan1:amd64 (12.2.0-14) ... Setting up libcrypt-dev:amd64 (1:4.4.33-2) ... Setting up libasan8:amd64 (12.2.0-14) ... Setting up libkrb5-3:amd64 (1.20.1-1) ... Setting up libtsan2:amd64 (12.2.0-14) ... Setting up libbinutils:amd64 (2.40-2) ... Setting up libisl23:amd64 (0.25-1) ... Setting up libc-dev-bin (2.36-8) ... Setting up libcc1-0:amd64 (12.2.0-14) ... Setting up liblsan0:amd64 (12.2.0-14) ... Setting up libitm1:amd64 (12.2.0-14) ... Setting up libctf0:amd64 (2.40-2) ... Setting up cpp-12 (12.2.0-14) ... Setting up libcamlp-streams-ocaml (5.0.1-1) ... Setting up libgprofng0:amd64 (2.40-2) ... Setting up libgcc-12-dev:amd64 (12.2.0-14) ... Setting up libgssapi-krb5-2:amd64 (1.20.1-1) ... Setting up cpp (4:12.2.0-3) ... Setting up binutils-x86-64-linux-gnu (2.40-2) ... Setting up libtirpc3:amd64 (1.3.3+ds-1) ... Setting up binutils (2.40-2) ... Setting up libtirpc-dev:amd64 (1.3.3+ds-1) ... Setting up gcc-12 (12.2.0-14) ... Setting up libnsl2:amd64 (1.3.0-2) ... Setting up gcc (4:12.2.0-3) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up libc6-dev:amd64 (2.36-8) ... Setting up libncurses-dev:amd64 (6.4-2) ... Setting up ocaml-interp (4.13.1-4) ... Setting up ocaml (4.13.1-4) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-1) ... Setting up ocaml-compiler-libs (4.13.1-4) ... Setting up camlp5 (8.00.04-1+b1) ... Setting up piuparts-depends-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.36-8) ... 0m27.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m27.0s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m27.0s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpxuiia117/./tmp/piuparts-depends-dummy.deb 0m27.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m27.0s DUMP: piuparts-depends-dummy install ok installed 0m27.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m27.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m27.0s DUMP: (Reading database ... 13355 files and directories currently installed.) Removing piuparts-depends-dummy (0.invalid.0) ... 0m27.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m27.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'clean'] 0m27.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'clean'] 0m27.1s DEBUG: Recording chroot state 0m27.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m28.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m29.1s DEBUG: No broken symlinks as far as we can find. 0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy'] 0m30.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m30.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy'] 0m30.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy', 'hol-light'] 0m30.2s DUMP: hol-light: Installed: (none) Candidate: 20230128-1+b1 Version table: 20230128-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m30.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy', 'hol-light'] 0m30.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', 'install', 'hol-light=20230128-1+b1'] 0m31.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Suggested packages: readline-editor prover9 coinor-csdp pari-gp maxima dmtcp libocamlgraph-ocaml-dev python The following NEW packages will be installed: hol-light 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 5768 kB of archives. After this operation, 44.6 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 hol-light amd64 20230128-1+b1 [5768 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5768 kB in 0s (51.7 MB/s) Selecting previously unselected package hol-light. (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 ... 13355 files and directories currently installed.) Preparing to unpack .../hol-light_20230128-1+b1_amd64.deb ... Unpacking hol-light (20230128-1+b1) ... Setting up hol-light (20230128-1+b1) ... 0m31.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', 'install', 'hol-light=20230128-1+b1'] 0m31.9s INFO: Running scripts post_install 0m31.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_install_exceptions'] 0m31.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_install_exceptions'] 0m31.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'remove', 'hol-light'] 0m33.0s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libquadmath0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: hol-light 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. After this operation, 44.6 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 ... 15063 files and directories currently installed.) Removing hol-light (20230128-1+b1) ... 0m33.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'remove', 'hol-light'] 0m33.0s INFO: Reinstalling after remove 0m33.0s INFO: Running scripts pre_install 0m33.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_database-server'] 0m33.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_database-server'] 0m33.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_exceptions'] 0m33.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_exceptions'] 0m33.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_extras'] 0m33.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_extras'] 0m33.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture'] 0m33.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture'] 0m33.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m33.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m33.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy'] 0m33.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m33.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy'] 0m33.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy', 'hol-light'] 0m33.2s DUMP: hol-light: Installed: (none) Candidate: 20230128-1+b1 Version table: 20230128-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m33.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy', 'hol-light'] 0m33.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', 'install', 'hol-light=20230128-1+b1'] 0m34.8s DUMP: Reading package lists... Building dependency tree... Reading state information... Suggested packages: readline-editor prover9 coinor-csdp pari-gp maxima dmtcp libocamlgraph-ocaml-dev python The following NEW packages will be installed: hol-light debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/5768 kB of archives. After this operation, 44.6 MB of additional disk space will be used. Selecting previously unselected package hol-light. (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 ... 13355 files and directories currently installed.) Preparing to unpack .../hol-light_20230128-1+b1_amd64.deb ... Unpacking hol-light (20230128-1+b1) ... Setting up hol-light (20230128-1+b1) ... 0m34.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', 'install', 'hol-light=20230128-1+b1'] 0m34.8s INFO: Running scripts post_install 0m34.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_install_exceptions'] 0m34.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_install_exceptions'] 0m34.8s INFO: Running scripts pre_install 0m34.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_database-server'] 0m34.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_database-server'] 0m34.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_exceptions'] 0m34.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_exceptions'] 0m34.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_extras'] 0m34.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_extras'] 0m34.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture'] 0m34.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture'] 0m34.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m34.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m34.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy'] 0m35.0s 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: 0m35.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy'] 0m35.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy', 'hol-light'] 0m35.0s DUMP: hol-light: Installed: 20230128-1+b1 Candidate: 20230128-1+b1 Version table: *** 20230128-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m35.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-cache', 'policy', 'hol-light'] 0m35.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', 'install', '--reinstall', 'hol-light=20230128-1+b1'] 0m36.5s DUMP: Reading package lists... Building dependency tree... Reading state information... debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 0 newly installed, 1 reinstalled, 0 to remove and 0 not upgraded. Need to get 0 B/5768 kB of archives. After this operation, 0 B of additional disk space will be used. (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 ... 15063 files and directories currently installed.) Preparing to unpack .../hol-light_20230128-1+b1_amd64.deb ... Unpacking hol-light (20230128-1+b1) over (20230128-1+b1) ... Setting up hol-light (20230128-1+b1) ... 0m36.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', '-y', 'install', '--reinstall', 'hol-light=20230128-1+b1'] 0m36.5s INFO: Running scripts post_install 0m36.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_install_exceptions'] 0m36.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_install_exceptions'] 0m36.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m37.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m38.0s DEBUG: No broken symlinks as far as we can find. 0m38.8s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpxuiia117', '-ac', '--ignore-obsolete'] 0m42.0s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpxuiia117', '-ac', '--ignore-obsolete'] 0m42.0s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m42.0s DUMP: 0.15.6 0m42.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m42.0s INFO: Running adequate version 0.15.6 now. 0m42.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'hol-light'] 0m42.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'hol-light'] 0m42.1s INFO: Running scripts pre_remove 0m42.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m42.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m42.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m42.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m42.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m44.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m44.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m44.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m44.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m44.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m44.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_exceptions'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_exceptions'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m44.3s DUMP: install ok installed apt apt 2.5.6 install ok installed base-files base-files 12.3 install ok installed base-passwd base-passwd 3.6.1 install ok installed bash bash 5.2.15-2 install ok installed binutils binutils 2.40-2 install ok installed binutils-common:amd64 binutils-common 2.40-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.40-2 install ok installed bsdutils bsdutils 1:2.38.1-4 install ok installed camlp5 camlp5 8.00.04-1+b1 install ok installed coreutils coreutils 9.1-1 install ok installed cpp cpp 4:12.2.0-3 install ok installed cpp-12 cpp-12 12.2.0-14 install ok installed dash dash 0.5.12-2 install ok installed dbconfig-common dbconfig-common 2.0.23 install ok installed debconf debconf 1.5.82 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1 install ok installed debianutils debianutils 5.7-0.4 install ok installed diffutils diffutils 1:3.8-4 install ok installed dpkg dpkg 1.21.20 install ok installed e2fsprogs e2fsprogs 1.47.0-1 install ok installed findutils findutils 4.9.0-4 install ok installed gcc gcc 4:12.2.0-3 install ok installed gcc-12 gcc-12 12.2.0-14 install ok installed gcc-12-base:amd64 gcc-12-base 12.2.0-14 install ok installed gpgv gpgv 2.2.40-1 install ok installed grep grep 3.8-5 install ok installed gzip gzip 1.12-1 install ok installed hol-light hol-light 20230128-1+b1 install ok installed hostname hostname 3.23+nmu1 install ok installed init-system-helpers init-system-helpers 1.65.2 install ok installed libacl1:amd64 libacl1 2.3.1-3 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.5.6 install ok installed libasan8:amd64 libasan8 12.2.0-14 install ok installed libatomic1:amd64 libatomic1 12.2.0-14 install ok installed libattr1:amd64 libattr1 1:2.5.1-4 install ok installed libaudit-common libaudit-common 1:3.0.9-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.9-1 install ok installed libbinutils:amd64 libbinutils 2.40-2 install ok installed libblkid1:amd64 libblkid1 2.38.1-4 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b1 install ok installed libc-bin libc-bin 2.36-8 install ok installed libc-dev-bin libc-dev-bin 2.36-8 install ok installed libc6:amd64 libc6 2.36-8 install ok installed libc6-dev:amd64 libc6-dev 2.36-8 install ok installed libcamlp-streams-ocaml libcamlp-streams-ocaml 5.0.1-1 install ok installed libcamlp-streams-ocaml-dev libcamlp-streams-ocaml-dev 5.0.1-1 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.3-1+b3 install ok installed libcap2:amd64 libcap2 1:2.66-3 install ok installed libcc1-0:amd64 libcc1-0 12.2.0-14 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-1 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.33-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.33-2 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.40-2 install ok installed libctf0:amd64 libctf0 2.40-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.266 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-1 install ok installed libffi8:amd64 libffi8 3.4.4-1 install ok installed libfile-find-rule-perl libfile-find-rule-perl 0.34-3 install ok installed libgcc-12-dev:amd64 libgcc-12-dev 12.2.0-14 install ok installed libgcc-s1:amd64 libgcc-s1 12.2.0-14 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.1-3 install ok installed libgdbm-compat4:amd64 libgdbm-compat4 1.23-3 install ok installed libgdbm6:amd64 libgdbm6 1.23-3 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg1-1.1 install ok installed libgnutls30:amd64 libgnutls30 3.7.8-5 install ok installed libgomp1:amd64 libgomp1 12.2.0-14 install ok installed libgpg-error0:amd64 libgpg-error0 1.46-1 install ok installed libgprofng0:amd64 libgprofng0 2.40-2 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.20.1-1 install ok installed libhogweed6:amd64 libhogweed6 3.8.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.3.3-1+b1 install ok installed libisl23:amd64 libisl23 0.25-1 install ok installed libitm1:amd64 libitm1 12.2.0-14 install ok installed libjansson4:amd64 libjansson4 2.14-2 install ok installed libk5crypto3:amd64 libk5crypto3 1.20.1-1 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.20.1-1 install ok installed libkrb5support0:amd64 libkrb5support0 1.20.1-1 install ok installed liblsan0:amd64 liblsan0 12.2.0-14 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1 install ok installed liblzma5:amd64 liblzma5 5.4.1-0.1 install ok installed libmd0:amd64 libmd0 1.0.4-2 install ok installed libmount1:amd64 libmount1 2.38.1-4 install ok installed libmpc3:amd64 libmpc3 1.3.1-1 install ok installed libmpfr6:amd64 libmpfr6 4.2.0-1 install ok installed libncurses-dev:amd64 libncurses-dev 6.4-2 install ok installed libncurses6:amd64 libncurses6 6.4-2 install ok installed libncursesw6:amd64 libncursesw6 6.4-2 install ok installed libnettle8:amd64 libnettle8 3.8.1-2 install ok installed libnsl-dev:amd64 libnsl-dev 1.3.0-2 install ok installed libnsl2:amd64 libnsl2 1.3.0-2 install ok installed libnumber-compare-perl libnumber-compare-perl 0.03-3 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-6 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-6 install ok installed libpam-runtime libpam-runtime 1.5.2-6 install ok installed libpam0g:amd64 libpam0g 1.5.2-6 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-1 install ok installed libperl5.36:amd64 libperl5.36 5.36.0-7 install ok installed libquadmath0:amd64 libquadmath0 12.2.0-14 install ok installed libseccomp2:amd64 libseccomp2 2.5.4-1+b3 install ok installed libselinux1:amd64 libselinux1 3.4-1+b5 install ok installed libsemanage-common libsemanage-common 3.4-1 install ok installed libsemanage2:amd64 libsemanage2 3.4-1+b5 install ok installed libsepol2:amd64 libsepol2 3.4-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.38.1-4 install ok installed libss2:amd64 libss2 1.47.0-1 install ok installed libssl3:amd64 libssl3 3.0.8-1 install ok installed libstdc++6:amd64 libstdc++6 12.2.0-14 install ok installed libsystemd0:amd64 libsystemd0 252.5-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2 install ok installed libtext-glob-perl libtext-glob-perl 0.11-3 install ok installed libtinfo6:amd64 libtinfo6 6.4-2 install ok installed libtirpc-common libtirpc-common 1.3.3+ds-1 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.3+ds-1 install ok installed libtirpc3:amd64 libtirpc3 1.3.3+ds-1 install ok installed libtsan2:amd64 libtsan2 12.2.0-14 install ok installed libubsan1:amd64 libubsan1 12.2.0-14 install ok installed libudev1:amd64 libudev1 252.5-2 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-4 install ok installed libxxhash0:amd64 libxxhash0 0.8.1-1 install ok installed libzstd1:amd64 libzstd1 1.5.2+dfsg2-3 install ok installed linux-libc-dev:amd64 linux-libc-dev 6.1.11-1 install ok installed login login 1:4.13+dfsg1-1 install ok installed logsave logsave 1.47.0-1 install ok installed mawk mawk 1.3.4.20200120-3.1 install ok installed mount mount 2.38.1-4 install ok installed ncurses-base ncurses-base 6.4-2 install ok installed ncurses-bin ncurses-bin 6.4-2 install ok installed ocaml ocaml 4.13.1-4 install ok installed ocaml-base ocaml-base 4.13.1-4 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.13.1-4 install ok installed ocaml-interp ocaml-interp 4.13.1-4 install ok installed passwd passwd 1:4.13+dfsg1-1 install ok installed perl perl 5.36.0-7 install ok installed perl-base perl-base 5.36.0-7 install ok installed perl-modules-5.36 perl-modules-5.36 5.36.0-7 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-1 install ok installed sensible-utils sensible-utils 0.0.17+nmu1 install ok installed sysvinit-utils sysvinit-utils 3.06-2 install ok installed tar tar 1.34+dfsg-1.1 install ok installed tzdata tzdata 2022g-5 install ok installed ucf ucf 3.0043+nmu1 install ok installed usr-is-merged usr-is-merged 35 install ok installed usrmerge usrmerge 35 install ok installed util-linux util-linux 2.38.1-4 install ok installed util-linux-extra util-linux-extra 2.38.1-4 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libquadmath0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto', 'hol-light'] 0m45.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu camlp5 cpp cpp-12 gcc gcc-12 hol-light libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libquadmath0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto 0 upgraded, 0 newly installed, 52 to remove and 0 not upgraded. After this operation, 747 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 ... 15063 files and directories currently installed.) Removing hol-light (20230128-1+b1) ... Removing camlp5 (8.00.04-1+b1) ... Removing libcamlp-streams-ocaml-dev (5.0.1-1) ... Removing libcamlp-streams-ocaml (5.0.1-1) ... Removing ocaml-compiler-libs (4.13.1-4) ... Removing ocaml (4.13.1-4) ... Removing ocaml-interp (4.13.1-4) ... Removing gcc (4:12.2.0-3) ... Removing gcc-12 (12.2.0-14) ... Removing binutils (2.40-2) ... Removing binutils-x86-64-linux-gnu (2.40-2) ... Removing libgprofng0:amd64 (2.40-2) ... Removing libctf0:amd64 (2.40-2) ... Removing libbinutils:amd64 (2.40-2) ... Removing binutils-common:amd64 (2.40-2) ... Removing cpp (4:12.2.0-3) ... Removing cpp-12 (12.2.0-14) ... Removing libgcc-12-dev:amd64 (12.2.0-14) ... Removing libasan8:amd64 (12.2.0-14) ... Removing libatomic1:amd64 (12.2.0-14) ... Removing libncurses-dev:amd64 (6.4-2) ... Removing libc6-dev:amd64 (2.36-8) ... Removing libc-dev-bin (2.36-8) ... Removing libcc1-0:amd64 (12.2.0-14) ... Removing libcrypt-dev:amd64 (1:4.4.33-2) ... Removing libctf-nobfd0:amd64 (2.40-2) ... Removing libgomp1:amd64 (12.2.0-14) ... Removing libnsl-dev:amd64 (1.3.0-2) ... Removing libtirpc-dev:amd64 (1.3.3+ds-1) ... Removing libnsl2:amd64 (1.3.0-2) ... Removing libtirpc3:amd64 (1.3.3+ds-1) ... Removing libgssapi-krb5-2:amd64 (1.20.1-1) ... Removing libisl23:amd64 (0.25-1) ... Removing libitm1:amd64 (12.2.0-14) ... Removing libjansson4:amd64 (2.14-2) ... Removing libkrb5-3:amd64 (1.20.1-1) ... Removing libk5crypto3:amd64 (1.20.1-1) ... Removing libkeyutils1:amd64 (1.6.3-2) ... Removing libkrb5support0:amd64 (1.20.1-1) ... Removing liblsan0:amd64 (12.2.0-14) ... Removing libmpc3:amd64 (1.3.1-1) ... Removing libmpfr6:amd64 (4.2.0-1) ... Removing libncurses6:amd64 (6.4-2) ... Removing libncursesw6:amd64 (6.4-2) ... Removing libquadmath0:amd64 (12.2.0-14) ... Removing libssl3:amd64 (3.0.8-1) ... Removing libtirpc-common (1.3.3+ds-1) ... Removing libtsan2:amd64 (12.2.0-14) ... Removing libubsan1:amd64 (12.2.0-14) ... Removing linux-libc-dev:amd64 (6.1.11-1) ... Removing ocaml-base (4.13.1-4) ... Removing rpcsvc-proto (1.4.3-1) ... Processing triggers for libc-bin (2.36-8) ... 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libquadmath0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto', 'hol-light'] 0m45.4s INFO: Running scripts post_remove 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_remove_cleanup'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_remove_cleanup'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_remove_exceptions'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_remove_exceptions'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libquadmath0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto'] 0m45.4s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed (Reading database ... 8400 files and directories currently installed.) Purging configuration files for binutils-common:amd64 (2.40-2) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove camlp5 which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-12 which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-12 which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcamlp-streams-ocaml which isn't installed dpkg: warning: ignoring request to remove libcamlp-streams-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.33-2) ... dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libgcc-12-dev which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgprofng0 which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.20.1-1) ... dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl-dev which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libssl3 which isn't installed Purging configuration files for libtirpc-common (1.3.3+ds-1) ... dpkg: warning: ignoring request to remove libtirpc-dev which isn't installed dpkg: warning: ignoring request to remove libtirpc3 which isn't installed dpkg: warning: ignoring request to remove libtsan2 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed dpkg: warning: ignoring request to remove ocaml which isn't installed dpkg: warning: ignoring request to remove ocaml-base which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libquadmath0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', 'hol-light'] 0m45.5s DUMP: (Reading database ... 8398 files and directories currently installed.) Purging configuration files for hol-light (20230128-1+b1) ... 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', 'hol-light'] 0m45.5s INFO: Running scripts post_purge 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_purge_exceptions'] 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_purge_exceptions'] 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_purge_manual_cleanup'] 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_purge_manual_cleanup'] 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', '--pending'] 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--purge', '--pending'] 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--remove', '--pending'] 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg', '--remove', '--pending'] 0m45.5s INFO: Running scripts post_test 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_test_exceptions'] 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'tmp/scripts/post_test_exceptions'] 0m45.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m45.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m46.4s DEBUG: No broken symlinks as far as we can find. 0m46.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-divert', '--list'] 0m46.4s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m46.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'dpkg-divert', '--list'] 0m46.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'clean'] 0m46.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpxuiia117', 'apt-get', 'clean'] 0m46.4s DEBUG: Recording chroot state 0m47.1s INFO: PASS: Installation and purging test. 0m47.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/shm'] 0m47.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/shm'] 0m47.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/console'] 0m47.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/console'] 0m47.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/ptmx'] 0m47.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/ptmx'] 0m47.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/pts'] 0m47.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/dev/pts'] 0m47.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/proc'] 0m47.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpxuiia117/proc'] 0m47.7s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m47.8s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpxuiia117'] 0m47.8s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpxuiia117 0m47.8s INFO: PASS: All tests. 0m47.8s INFO: piuparts run ends. ret=0 End: 2023-02-12 22:11:47 GMT