Start: 2024-02-19 09:28:19 GMT Package: hol-light Source: hol-light (20231021-1) Version: 20231021-1+b2 Installed-Size: 45474 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: camlp5, camlp5-uygc4, libcamlp-streams-ocaml-dev-yu0z3, libcompiler-libs-ocaml-dev-rcwc4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.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_20231021-1+b2_amd64.deb Size: 5910208 MD5sum: f598e8d3c47ce5c70c4b7ef9d08ad1d0 SHA256: 47426e6ee4a7631edf34a98ec471a743af6a12d7efa846a2ef08aba7742e4429 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-log-alternatives --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt hol-light=20231021-1+b2 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.3.1~202401311821~1.3-2-g28295102 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts-log-alternatives --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt hol-light=20231021-1+b2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-28-amd64 #1 SMP Debian 5.10.209-2 (2024-01-31) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp_yh7cxwr 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp_yh7cxwr 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/proc'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/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/tmp_yh7cxwr/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/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-log-alternatives to /srv/piuparts.debian.org/tmp/tmp_yh7cxwr/tmp/scripts/ 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp_yh7cxwr/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'update'] 0m4.7s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [198 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [9741 kB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7147 kB] Fetched 17.1 MB in 3s (5206 kB/s) Reading package lists... 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'update'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', '-yf', 'dist-upgrade'] 0m6.2s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: login passwd 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 1589 kB of archives. After this operation, 4096 B disk space will be freed. Get:1 http://deb.debian.org/debian sid/main amd64 login amd64 1:4.13+dfsg1-4 [616 kB] Get:2 http://deb.debian.org/debian sid/main amd64 passwd amd64 1:4.13+dfsg1-4 [973 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1589 kB in 0s (29.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 ... 5223 files and directories currently installed.) Preparing to unpack .../login_1%3a4.13+dfsg1-4_amd64.deb ... Unpacking login (1:4.13+dfsg1-4) over (1:4.13+dfsg1-3+b1) ... Setting up login (1:4.13+dfsg1-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5222 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.13+dfsg1-4_amd64.deb ... Unpacking passwd (1:4.13+dfsg1-4) over (1:4.13+dfsg1-3+b1) ... Setting up passwd (1:4.13+dfsg1-4) ... 0m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', '-yf', 'dist-upgrade'] 0m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.7s DUMP: f2a8821f7b36e5dfb29d895d41fe1db7 - 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.7s INFO: Running scripts post_setup 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_dummy_users'] 0m7.6s 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.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_dummy_users'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_forbid_home'] 0m7.6s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_forbid_home'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.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' 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_minimize'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_minimize'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_zz_backports'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_setup_zz_backports'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'clean'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'clean'] 0m7.7s DEBUG: Recording chroot state 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m8.3s DUMP: install ok installed apt apt 2.7.11 install ok installed base-files base-files 13 install ok installed base-passwd base-passwd 3.6.3 install ok installed bash bash 5.2.21-2 install ok installed bsdutils bsdutils 1:2.39.3-6 install ok installed coreutils coreutils 9.4-3+b1 install ok installed dash dash 0.5.12-6 install ok installed debconf debconf 1.5.86 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.16 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.4 install ok installed e2fsprogs e2fsprogs 1.47.0-2+b1 install ok installed findutils findutils 4.9.0-5 install ok installed gcc-14-base:amd64 gcc-14-base 14-20240201-3 install ok installed gpgv gpgv 2.2.40-1.1+b1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1 install ok installed hostname hostname 3.23+nmu2 install ok installed init-system-helpers init-system-helpers 1.66 install ok installed libacl1:amd64 libacl1 2.3.2-1 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.7.11 install ok installed libattr1:amd64 libattr1 1:2.5.2-1 install ok installed libaudit-common libaudit-common 1:3.1.2-2 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-2 install ok installed libblkid1:amd64 libblkid1 2.39.3-6 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b2 install ok installed libc-bin libc-bin 2.37-15 install ok installed libc6:amd64 libc6 2.37-15 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.4-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-4 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-4+b1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.271 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-2+b1 install ok installed libffi8:amd64 libffi8 3.4.4-2 install ok installed libgcc-s1:amd64 libgcc-s1 14-20240201-3 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.3-2 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30:amd64 libgnutls30 3.8.3-1 install ok installed libgpg-error0:amd64 libgpg-error0 1.47-3 install ok installed libhogweed6:amd64 libhogweed6 3.9.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1+b2 install ok installed liblzma5:amd64 liblzma5 5.4.5-0.3 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.39.3-6 install ok installed libnettle8:amd64 libnettle8 3.9.1-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.3-4 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-9.1+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-9.1+b1 install ok installed libpam-runtime libpam-runtime 1.5.2-9.1 install ok installed libpam0g:amd64 libpam0g 1.5.2-9.1+b1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1 install ok installed libselinux1:amd64 libselinux1 3.5-2 install ok installed libsemanage-common libsemanage-common 3.5-1 install ok installed libsemanage2:amd64 libsemanage2 3.5-1+b2 install ok installed libsepol2:amd64 libsepol2 3.5-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.39.3-6 install ok installed libss2:amd64 libss2 1.47.0-2+b1 install ok installed libssl3:amd64 libssl3 3.1.5-1 install ok installed libstdc++6:amd64 libstdc++6 14-20240201-3 install ok installed libsystemd0:amd64 libsystemd0 255.3-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.4+20240113-1 install ok installed libudev1:amd64 libudev1 255.3-2 install ok installed libunistring5:amd64 libunistring5 1.1-2 install ok installed libuuid1:amd64 libuuid1 2.39.3-6 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.5+dfsg2-2 install ok installed login login 1:4.13+dfsg1-4 install ok installed logsave logsave 1.47.0-2+b1 install ok installed mawk mawk 1.3.4.20240123-1 install ok installed mount mount 2.39.3-6 install ok installed ncurses-base ncurses-base 6.4+20240113-1 install ok installed ncurses-bin ncurses-bin 6.4+20240113-1 install ok installed passwd passwd 1:4.13+dfsg1-4 install ok installed perl-base perl-base 5.38.2-3 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.08-6 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-1 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.39.3-6 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg-3+b1 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-divert', '--list'] 0m8.3s DUMP: local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-divert', '--list'] 0m8.3s INFO: Running scripts is_testable 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/is_testable_uninstallable'] 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/is_testable_uninstallable'] 0m8.3s INFO: apt-cache does not know about any of the requested packages 0m8.3s INFO: Running scripts pre_test 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_test_exceptions'] 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_test_exceptions'] 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_test_root_password'] 0m8.3s DUMP: New password: Retype new password: passwd: password updated successfully 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_test_root_password'] 0m8.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m8.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m9.5s DEBUG: No broken symlinks as far as we can find. 0m9.5s INFO: Running scripts pre_install 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_database-server'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_database-server'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_exceptions'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_exceptions'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_extras'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_extras'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_foreign_architecture'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_foreign_architecture'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_log_alternatives'] 0m9.5s DUMP: Adding 'local diversion of /usr/bin/update-alternatives to /usr/bin/update-alternatives.orig' dpkg-divert: warning: diverting file '/usr/bin/update-alternatives' from an Essential package with rename is dangerous, use --no-rename 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_install_log_alternatives'] 0m9.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m9.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m10.6s DEBUG: No broken symlinks as far as we can find. 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-cache', 'policy'] 0m11.8s 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: 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-cache', 'policy'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-cache', 'policy', 'hol-light'] 0m11.8s DUMP: hol-light: Installed: (none) Candidate: 20231021-1+b2 Version table: 20231021-1+b2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-cache', 'policy', 'hol-light'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', '-y', 'install', 'hol-light=20231021-1+b2'] 0m36.6s 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-13 cpp-13-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-13 gcc-13-base gcc-13-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libastring-ocaml libastring-ocaml-dev libatomic1 libbinutils libbos-ocaml libbos-ocaml-dev libbsd0 libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcrypt-dev libctf-nobfd0 libctf0 libev-dev libev4 libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfpath-ocaml libfpath-ocaml-dev libgcc-13-dev libgen-ocaml libgen-ocaml-dev libgomp1 libgprofng0 libgraphics-ocaml libgraphics-ocaml-dev libgssapi-krb5-2 libhwasan0 libisl23 libitm1 libjansson4 libjs-of-ocaml libjs-of-ocaml-dev libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblogs-ocaml liblogs-ocaml-dev liblsan0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libppx-derivers-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3 libtsan2 libtyxml-ocaml libtyxml-ocaml-dev libubsan1 libuutf-ocaml libuutf-ocaml-dev libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libyojson-ocaml libyojson-ocaml-dev linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto Suggested packages: binutils-doc gprofng-gui ocaml-findlib cpp-doc gcc-13-locales cpp-13-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-13-multilib gcc-13-doc gdb-x86-64-linux-gnu readline-editor prover9 coinor-csdp pari-gp maxima dmtcp libocamlgraph-ocaml-dev python glibc-doc krb5-doc krb5-user liblwt-ssl-ocaml-dev liblwt-glib-ocaml-dev ncurses-doc libuutf-ocaml-doc ocaml-doc elpa-tuareg Recommended packages: ocaml-findlib manpages manpages-dev libc-devtools krb5-locales liblwt-ocaml-doc 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-13 cpp-13-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-13 gcc-13-base gcc-13-x86-64-linux-gnu gcc-x86-64-linux-gnu hol-light libasan8 libastring-ocaml libastring-ocaml-dev libatomic1 libbinutils libbos-ocaml libbos-ocaml-dev libbsd0 libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcrypt-dev libctf-nobfd0 libctf0 libev-dev libev4 libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfpath-ocaml libfpath-ocaml-dev libgcc-13-dev libgen-ocaml libgen-ocaml-dev libgomp1 libgprofng0 libgraphics-ocaml libgraphics-ocaml-dev libgssapi-krb5-2 libhwasan0 libisl23 libitm1 libjansson4 libjs-of-ocaml libjs-of-ocaml-dev libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblogs-ocaml liblogs-ocaml-dev liblsan0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libppx-derivers-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3 libtsan2 libtyxml-ocaml libtyxml-ocaml-dev libubsan1 libuutf-ocaml libuutf-ocaml-dev libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libyojson-ocaml libyojson-ocaml-dev linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto 0 upgraded, 115 newly installed, 0 to remove and 0 not upgraded. Need to get 252 MB of archives. After this operation, 1157 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.42-2 [2537 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libsframe1 amd64 2.42-2 [75.5 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.42-2 [520 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.42-2 [151 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.42-2 [87.0 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.42-2 [771 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2+b2 [39.9 kB] Get:8 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.42-2 [2209 kB] Get:9 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.42-2 [80.4 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 4.14.1-1 [499 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 4.14.1-1 [7284 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 4.14.1-1 [32.7 MB] Get:13 http://deb.debian.org/debian sid/main amd64 ocaml-compiler-libs all 4.14.1-1 [169 kB] Get:14 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 4.14.1-1 [401 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libastring-ocaml amd64 0.8.5-2+b1 [174 kB] Get:16 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 4.14.1-1 [6456 kB] Get:17 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.4+20240113-1 [104 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.4+20240113-1 [135 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.37-15 [46.9 kB] Get:20 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.6.15-2 [2247 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.36-4 [119 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libkrb5support0 amd64 1.20.1-5+b1 [33.2 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libk5crypto3 amd64 1.20.1-5+b1 [80.0 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libkeyutils1 amd64 1.6.3-3 [8952 B] Get:25 http://deb.debian.org/debian sid/main amd64 libkrb5-3 amd64 1.20.1-5+b1 [333 kB] Get:26 http://deb.debian.org/debian sid/main amd64 libgssapi-krb5-2 amd64 1.20.1-5+b1 [135 kB] Get:27 http://deb.debian.org/debian sid/main amd64 libtirpc-common all 1.3.4+ds-1 [10.7 kB] Get:28 http://deb.debian.org/debian sid/main amd64 libtirpc3 amd64 1.3.4+ds-1 [82.1 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libnsl2 amd64 1.3.0-3 [40.0 kB] Get:30 http://deb.debian.org/debian sid/main amd64 libtirpc-dev amd64 1.3.4+ds-1 [188 kB] Get:31 http://deb.debian.org/debian sid/main amd64 libnsl-dev amd64 1.3.0-3 [66.9 kB] Get:32 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:33 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.37-15 [1906 kB] Get:34 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.4+20240113-1 [349 kB] Get:35 http://deb.debian.org/debian sid/main amd64 gcc-13-base amd64 13.2.0-13 [42.5 kB] Get:36 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.26-3+b2 [652 kB] Get:37 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.1-1 [713 kB] Get:38 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-1+b2 [52.1 kB] Get:39 http://deb.debian.org/debian sid/main amd64 cpp-13-x86-64-linux-gnu amd64 13.2.0-13 [10.3 MB] Get:40 http://deb.debian.org/debian sid/main amd64 cpp-13 amd64 13.2.0-13 [1276 B] Get:41 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:13.2.0-7 [4724 B] Get:42 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:13.2.0-7 [1564 B] Get:43 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 14-20240201-3 [42.2 kB] Get:44 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 14-20240201-3 [136 kB] Get:45 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 14-20240201-3 [25.8 kB] Get:46 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 14-20240201-3 [9292 B] Get:47 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 14-20240201-3 [2721 kB] Get:48 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 14-20240201-3 [1199 kB] Get:49 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 14-20240201-3 [2454 kB] Get:50 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 14-20240201-3 [1070 kB] Get:51 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 14-20240201-3 [1484 kB] Get:52 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 14-20240201-3 [147 kB] Get:53 http://deb.debian.org/debian sid/main amd64 libgcc-13-dev amd64 13.2.0-13 [2538 kB] Get:54 http://deb.debian.org/debian sid/main amd64 gcc-13-x86-64-linux-gnu amd64 13.2.0-13 [19.8 MB] Get:55 http://deb.debian.org/debian sid/main amd64 gcc-13 amd64 13.2.0-13 [475 kB] Get:56 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:13.2.0-7 [1440 B] Get:57 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:13.2.0-7 [5152 B] Get:58 http://deb.debian.org/debian sid/main amd64 ocaml amd64 4.14.1-1 [67.1 MB] Get:59 http://deb.debian.org/debian sid/main amd64 libastring-ocaml-dev amd64 0.8.5-2+b1 [129 kB] Get:60 http://deb.debian.org/debian sid/main amd64 libfmt-ocaml amd64 0.9.0-3+b1 [125 kB] Get:61 http://deb.debian.org/debian sid/main amd64 libfpath-ocaml amd64 0.7.3-3+b1 [91.4 kB] Get:62 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.6-1+b2 [169 kB] Get:63 http://deb.debian.org/debian sid/main amd64 libgen-ocaml amd64 1.1-1+b1 [190 kB] Get:64 http://deb.debian.org/debian sid/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get:65 http://deb.debian.org/debian sid/main amd64 libbsd0 amd64 0.11.8-1 [125 kB] Get:66 http://deb.debian.org/debian sid/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:67 http://deb.debian.org/debian sid/main amd64 libxcb1 amd64 1.15-1 [144 kB] Get:68 http://deb.debian.org/debian sid/main amd64 libx11-data all 2:1.8.7-1 [328 kB] Get:69 http://deb.debian.org/debian sid/main amd64 libx11-6 amd64 2:1.8.7-1 [802 kB] Get:70 http://deb.debian.org/debian sid/main amd64 libgraphics-ocaml amd64 5.1.2-3+b1 [49.5 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libocplib-endian-ocaml amd64 1.2-3+b1 [71.2 kB] Get:72 http://deb.debian.org/debian sid/main amd64 libreact-ocaml amd64 1.2.2-1+b1 [185 kB] Get:73 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml amd64 0.16.0-3+b1 [110 kB] Get:74 http://deb.debian.org/debian sid/main amd64 libev4 amd64 1:4.33-2 [41.9 kB] Get:75 http://deb.debian.org/debian sid/main amd64 liblwt-ocaml amd64 5.7.0-1+b3 [877 kB] Get:76 http://deb.debian.org/debian sid/main amd64 liblwt-log-ocaml amd64 1.1.2-4+b4 [84.4 kB] Get:77 http://deb.debian.org/debian sid/main amd64 libreactivedata-ocaml amd64 0.3-4+b1 [83.4 kB] Get:78 http://deb.debian.org/debian sid/main amd64 libsedlex-ocaml amd64 3.2-1+b2 [255 kB] Get:79 http://deb.debian.org/debian sid/main amd64 libuutf-ocaml amd64 1.0.3-1+b2 [74.0 kB] Get:80 http://deb.debian.org/debian sid/main amd64 libtyxml-ocaml amd64 4.5.0-4+b1 [490 kB] Get:81 http://deb.debian.org/debian sid/main amd64 libyojson-ocaml amd64 2.1.2-1 [566 kB] Get:82 http://deb.debian.org/debian sid/main amd64 libjs-of-ocaml amd64 5.6.0-1 [6663 kB] Get:83 http://deb.debian.org/debian sid/main amd64 liblogs-ocaml amd64 0.7.0-3+b6 [78.9 kB] Get:84 http://deb.debian.org/debian sid/main amd64 librresult-ocaml amd64 0.7.0-2+b1 [26.8 kB] Get:85 http://deb.debian.org/debian sid/main amd64 libbos-ocaml amd64 0.2.1-2+b5 [296 kB] Get:86 http://deb.debian.org/debian sid/main amd64 libcmdliner-ocaml-dev amd64 1.2.0-2+b1 [477 kB] Get:87 http://deb.debian.org/debian sid/main amd64 libfmt-ocaml-dev amd64 0.9.0-3+b1 [99.4 kB] Get:88 http://deb.debian.org/debian sid/main amd64 libfpath-ocaml-dev amd64 0.7.3-3+b1 [72.5 kB] Get:89 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml-dev amd64 1.9.6-1+b2 [162 kB] Get:90 http://deb.debian.org/debian sid/main amd64 libgen-ocaml-dev amd64 1.1-1+b1 [426 kB] Get:91 http://deb.debian.org/debian sid/main amd64 libgraphics-ocaml-dev amd64 5.1.2-3+b1 [95.4 kB] Get:92 http://deb.debian.org/debian sid/main amd64 libev-dev amd64 1:4.33-2 [136 kB] Get:93 http://deb.debian.org/debian sid/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.12.4-4+b1 [84.2 kB] Get:94 http://deb.debian.org/debian sid/main amd64 libocplib-endian-ocaml-dev amd64 1.2-3+b1 [145 kB] Get:95 http://deb.debian.org/debian sid/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b1 [16.4 kB] Get:96 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml-dev amd64 0.16.0-3+b1 [245 kB] Get:97 http://deb.debian.org/debian sid/main amd64 libppxlib-ocaml-dev amd64 0.32.0-1 [15.9 MB] Get:98 http://deb.debian.org/debian sid/main amd64 libreact-ocaml-dev amd64 1.2.2-1+b1 [133 kB] Get:99 http://deb.debian.org/debian sid/main amd64 liblwt-ocaml-dev amd64 5.7.0-1+b3 [5197 kB] Get:100 http://deb.debian.org/debian sid/main amd64 liblwt-log-ocaml-dev amd64 1.1.2-4+b4 [180 kB] Get:101 http://deb.debian.org/debian sid/main amd64 libmenhir-ocaml-dev amd64 20231231+ds-1 [647 kB] Get:102 http://deb.debian.org/debian sid/main amd64 libreactivedata-ocaml-dev amd64 0.3-4+b1 [170 kB] Get:103 http://deb.debian.org/debian sid/main amd64 libsedlex-ocaml-dev amd64 3.2-1+b2 [4076 kB] Get:104 http://deb.debian.org/debian sid/main amd64 libre-ocaml-dev amd64 1.11.0-1+b1 [928 kB] Get:105 http://deb.debian.org/debian sid/main amd64 libuutf-ocaml-dev amd64 1.0.3-1+b2 [506 kB] Get:106 http://deb.debian.org/debian sid/main amd64 libtyxml-ocaml-dev amd64 4.5.0-4+b1 [2230 kB] Get:107 http://deb.debian.org/debian sid/main amd64 libyojson-ocaml-dev amd64 2.1.2-1 [1216 kB] Get:108 http://deb.debian.org/debian sid/main amd64 libjs-of-ocaml-dev amd64 5.6.0-1 [24.0 MB] Get:109 http://deb.debian.org/debian sid/main amd64 liblogs-ocaml-dev amd64 0.7.0-3+b6 [74.4 kB] Get:110 http://deb.debian.org/debian sid/main amd64 librresult-ocaml-dev amd64 0.7.0-2+b1 [32.4 kB] Get:111 http://deb.debian.org/debian sid/main amd64 libbos-ocaml-dev amd64 0.2.1-2+b5 [243 kB] Get:112 http://deb.debian.org/debian sid/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+b1 [7676 B] Get:113 http://deb.debian.org/debian sid/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-3+b1 [21.9 kB] Get:114 http://deb.debian.org/debian sid/main amd64 camlp5 amd64 8.02.01-2+b5 [5563 kB] Get:115 http://deb.debian.org/debian sid/main amd64 hol-light amd64 20231021-1+b2 [5910 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 252 MB in 1s (188 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 ... 5224 files and directories currently installed.) Preparing to unpack .../000-binutils-common_2.42-2_amd64.deb ... Unpacking binutils-common:amd64 (2.42-2) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../001-libsframe1_2.42-2_amd64.deb ... Unpacking libsframe1:amd64 (2.42-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../002-libbinutils_2.42-2_amd64.deb ... Unpacking libbinutils:amd64 (2.42-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../003-libctf-nobfd0_2.42-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.42-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../004-libctf0_2.42-2_amd64.deb ... Unpacking libctf0:amd64 (2.42-2) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../005-libgprofng0_2.42-2_amd64.deb ... Unpacking libgprofng0:amd64 (2.42-2) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../006-libjansson4_2.14-2+b2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../007-binutils-x86-64-linux-gnu_2.42-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.42-2) ... Selecting previously unselected package binutils. Preparing to unpack .../008-binutils_2.42-2_amd64.deb ... Unpacking binutils (2.42-2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../009-libstdlib-ocaml_4.14.1-1_amd64.deb ... Unpacking libstdlib-ocaml (4.14.1-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../010-libstdlib-ocaml-dev_4.14.1-1_amd64.deb ... Unpacking libstdlib-ocaml-dev (4.14.1-1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../011-libcompiler-libs-ocaml-dev_4.14.1-1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../012-ocaml-compiler-libs_4.14.1-1_all.deb ... Unpacking ocaml-compiler-libs (4.14.1-1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../013-ocaml-base_4.14.1-1_amd64.deb ... Unpacking ocaml-base (4.14.1-1) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../014-libastring-ocaml_0.8.5-2+b1_amd64.deb ... Unpacking libastring-ocaml (0.8.5-2+b1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../015-ocaml-interp_4.14.1-1_amd64.deb ... Unpacking ocaml-interp (4.14.1-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../016-libncurses6_6.4+20240113-1_amd64.deb ... Unpacking libncurses6:amd64 (6.4+20240113-1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../017-libncursesw6_6.4+20240113-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.4+20240113-1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../018-libc-dev-bin_2.37-15_amd64.deb ... Unpacking libc-dev-bin (2.37-15) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../019-linux-libc-dev_6.6.15-2_all.deb ... Unpacking linux-libc-dev (6.6.15-2) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../020-libcrypt-dev_1%3a4.4.36-4_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.36-4) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../021-libkrb5support0_1.20.1-5+b1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.20.1-5+b1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../022-libk5crypto3_1.20.1-5+b1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.20.1-5+b1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../023-libkeyutils1_1.6.3-3_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-3) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../024-libkrb5-3_1.20.1-5+b1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.20.1-5+b1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../025-libgssapi-krb5-2_1.20.1-5+b1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.20.1-5+b1) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../026-libtirpc-common_1.3.4+ds-1_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1) ... Selecting previously unselected package libtirpc3:amd64. Preparing to unpack .../027-libtirpc3_1.3.4+ds-1_amd64.deb ... Unpacking libtirpc3:amd64 (1.3.4+ds-1) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../028-libnsl2_1.3.0-3_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../029-libtirpc-dev_1.3.4+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.4+ds-1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../030-libnsl-dev_1.3.0-3_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-3) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../031-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 .../032-libc6-dev_2.37-15_amd64.deb ... Unpacking libc6-dev:amd64 (2.37-15) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../033-libncurses-dev_6.4+20240113-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4+20240113-1) ... Selecting previously unselected package gcc-13-base:amd64. Preparing to unpack .../034-gcc-13-base_13.2.0-13_amd64.deb ... Unpacking gcc-13-base:amd64 (13.2.0-13) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../035-libisl23_0.26-3+b2_amd64.deb ... Unpacking libisl23:amd64 (0.26-3+b2) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../036-libmpfr6_4.2.1-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../037-libmpc3_1.3.1-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1+b2) ... Selecting previously unselected package cpp-13-x86-64-linux-gnu. Preparing to unpack .../038-cpp-13-x86-64-linux-gnu_13.2.0-13_amd64.deb ... Unpacking cpp-13-x86-64-linux-gnu (13.2.0-13) ... Selecting previously unselected package cpp-13. Preparing to unpack .../039-cpp-13_13.2.0-13_amd64.deb ... Unpacking cpp-13 (13.2.0-13) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../040-cpp-x86-64-linux-gnu_4%3a13.2.0-7_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:13.2.0-7) ... Selecting previously unselected package cpp. Preparing to unpack .../041-cpp_4%3a13.2.0-7_amd64.deb ... Unpacking cpp (4:13.2.0-7) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../042-libcc1-0_14-20240201-3_amd64.deb ... Unpacking libcc1-0:amd64 (14-20240201-3) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../043-libgomp1_14-20240201-3_amd64.deb ... Unpacking libgomp1:amd64 (14-20240201-3) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../044-libitm1_14-20240201-3_amd64.deb ... Unpacking libitm1:amd64 (14-20240201-3) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../045-libatomic1_14-20240201-3_amd64.deb ... Unpacking libatomic1:amd64 (14-20240201-3) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../046-libasan8_14-20240201-3_amd64.deb ... Unpacking libasan8:amd64 (14-20240201-3) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../047-liblsan0_14-20240201-3_amd64.deb ... Unpacking liblsan0:amd64 (14-20240201-3) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../048-libtsan2_14-20240201-3_amd64.deb ... Unpacking libtsan2:amd64 (14-20240201-3) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../049-libubsan1_14-20240201-3_amd64.deb ... Unpacking libubsan1:amd64 (14-20240201-3) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../050-libhwasan0_14-20240201-3_amd64.deb ... Unpacking libhwasan0:amd64 (14-20240201-3) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../051-libquadmath0_14-20240201-3_amd64.deb ... Unpacking libquadmath0:amd64 (14-20240201-3) ... Selecting previously unselected package libgcc-13-dev:amd64. Preparing to unpack .../052-libgcc-13-dev_13.2.0-13_amd64.deb ... Unpacking libgcc-13-dev:amd64 (13.2.0-13) ... Selecting previously unselected package gcc-13-x86-64-linux-gnu. Preparing to unpack .../053-gcc-13-x86-64-linux-gnu_13.2.0-13_amd64.deb ... Unpacking gcc-13-x86-64-linux-gnu (13.2.0-13) ... Selecting previously unselected package gcc-13. Preparing to unpack .../054-gcc-13_13.2.0-13_amd64.deb ... Unpacking gcc-13 (13.2.0-13) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../055-gcc-x86-64-linux-gnu_4%3a13.2.0-7_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:13.2.0-7) ... Selecting previously unselected package gcc. Preparing to unpack .../056-gcc_4%3a13.2.0-7_amd64.deb ... Unpacking gcc (4:13.2.0-7) ... Selecting previously unselected package ocaml. Preparing to unpack .../057-ocaml_4.14.1-1_amd64.deb ... Unpacking ocaml (4.14.1-1) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../058-libastring-ocaml-dev_0.8.5-2+b1_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+b1) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../059-libfmt-ocaml_0.9.0-3+b1_amd64.deb ... Unpacking libfmt-ocaml (0.9.0-3+b1) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../060-libfpath-ocaml_0.7.3-3+b1_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-3+b1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../061-libfindlib-ocaml_1.9.6-1+b2_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-1+b2) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../062-libgen-ocaml_1.1-1+b1_amd64.deb ... Unpacking libgen-ocaml (1.1-1+b1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../063-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../064-libbsd0_0.11.8-1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.8-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../065-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../066-libxcb1_1.15-1_amd64.deb ... Unpacking libxcb1:amd64 (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../067-libx11-data_2%3a1.8.7-1_all.deb ... Unpacking libx11-data (2:1.8.7-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../068-libx11-6_2%3a1.8.7-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.7-1) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../069-libgraphics-ocaml_5.1.2-3+b1_amd64.deb ... Unpacking libgraphics-ocaml (5.1.2-3+b1) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../070-libocplib-endian-ocaml_1.2-3+b1_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-3+b1) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../071-libreact-ocaml_1.2.2-1+b1_amd64.deb ... Unpacking libreact-ocaml (1.2.2-1+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../072-libsexplib0-ocaml_0.16.0-3+b1_amd64.deb ... Unpacking libsexplib0-ocaml (0.16.0-3+b1) ... Selecting previously unselected package libev4:amd64. Preparing to unpack .../073-libev4_1%3a4.33-2_amd64.deb ... Unpacking libev4:amd64 (1:4.33-2) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../074-liblwt-ocaml_5.7.0-1+b3_amd64.deb ... Unpacking liblwt-ocaml (5.7.0-1+b3) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../075-liblwt-log-ocaml_1.1.2-4+b4_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b4) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../076-libreactivedata-ocaml_0.3-4+b1_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+b1) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../077-libsedlex-ocaml_3.2-1+b2_amd64.deb ... Unpacking libsedlex-ocaml (3.2-1+b2) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../078-libuutf-ocaml_1.0.3-1+b2_amd64.deb ... Unpacking libuutf-ocaml (1.0.3-1+b2) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../079-libtyxml-ocaml_4.5.0-4+b1_amd64.deb ... Unpacking libtyxml-ocaml (4.5.0-4+b1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../080-libyojson-ocaml_2.1.2-1_amd64.deb ... Unpacking libyojson-ocaml (2.1.2-1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../081-libjs-of-ocaml_5.6.0-1_amd64.deb ... Unpacking libjs-of-ocaml (5.6.0-1) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../082-liblogs-ocaml_0.7.0-3+b6_amd64.deb ... Unpacking liblogs-ocaml (0.7.0-3+b6) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../083-librresult-ocaml_0.7.0-2+b1_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+b1) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../084-libbos-ocaml_0.2.1-2+b5_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+b5) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../085-libcmdliner-ocaml-dev_1.2.0-2+b1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.2.0-2+b1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../086-libfmt-ocaml-dev_0.9.0-3+b1_amd64.deb ... Unpacking libfmt-ocaml-dev (0.9.0-3+b1) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../087-libfpath-ocaml-dev_0.7.3-3+b1_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+b1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../088-libfindlib-ocaml-dev_1.9.6-1+b2_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1+b2) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../089-libgen-ocaml-dev_1.1-1+b1_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+b1) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../090-libgraphics-ocaml-dev_5.1.2-3+b1_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+b1) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../091-libev-dev_1%3a4.33-2_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-2) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../092-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../093-libocplib-endian-ocaml-dev_1.2-3+b1_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-3+b1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../094-libppx-derivers-ocaml-dev_1.2.1-4+b1_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../095-libsexplib0-ocaml-dev_0.16.0-3+b1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../096-libppxlib-ocaml-dev_0.32.0-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.32.0-1) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../097-libreact-ocaml-dev_1.2.2-1+b1_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+b1) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../098-liblwt-ocaml-dev_5.7.0-1+b3_amd64.deb ... Unpacking liblwt-ocaml-dev (5.7.0-1+b3) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../099-liblwt-log-ocaml-dev_1.1.2-4+b4_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b4) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../100-libmenhir-ocaml-dev_20231231+ds-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20231231+ds-1) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../101-libreactivedata-ocaml-dev_0.3-4+b1_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+b1) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../102-libsedlex-ocaml-dev_3.2-1+b2_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.2-1+b2) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../103-libre-ocaml-dev_1.11.0-1+b1_amd64.deb ... Unpacking libre-ocaml-dev (1.11.0-1+b1) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../104-libuutf-ocaml-dev_1.0.3-1+b2_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.3-1+b2) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../105-libtyxml-ocaml-dev_4.5.0-4+b1_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.5.0-4+b1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../106-libyojson-ocaml-dev_2.1.2-1_amd64.deb ... Unpacking libyojson-ocaml-dev (2.1.2-1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../107-libjs-of-ocaml-dev_5.6.0-1_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.6.0-1) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../108-liblogs-ocaml-dev_0.7.0-3+b6_amd64.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+b6) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../109-librresult-ocaml-dev_0.7.0-2+b1_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+b1) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../110-libbos-ocaml-dev_0.2.1-2+b5_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b5) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../111-libcamlp-streams-ocaml_5.0.1-3+b1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../112-libcamlp-streams-ocaml-dev_5.0.1-3+b1_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Selecting previously unselected package camlp5. Preparing to unpack .../113-camlp5_8.02.01-2+b5_amd64.deb ... Unpacking camlp5 (8.02.01-2+b5) ... Selecting previously unselected package hol-light. Preparing to unpack .../114-hol-light_20231021-1+b2_amd64.deb ... Unpacking hol-light (20231021-1+b2) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up libkeyutils1:amd64 (1.6.3-3) ... Setting up libtirpc-common (1.3.4+ds-1) ... Setting up libev4:amd64 (1:4.33-2) ... Setting up binutils-common:amd64 (2.42-2) ... Setting up linux-libc-dev (6.6.15-2) ... Setting up libctf-nobfd0:amd64 (2.42-2) ... Setting up libgomp1:amd64 (14-20240201-3) ... Setting up libsframe1:amd64 (2.42-2) ... Setting up libjansson4:amd64 (2.14-2+b2) ... Setting up libkrb5support0:amd64 (1.20.1-5+b1) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up gcc-13-base:amd64 (13.2.0-13) ... Setting up libx11-data (2:1.8.7-1) ... Setting up libmpfr6:amd64 (4.2.1-1) ... Setting up libncurses6:amd64 (6.4+20240113-1) ... Setting up libquadmath0:amd64 (14-20240201-3) ... Setting up libstdlib-ocaml (4.14.1-1) ... Setting up libmpc3:amd64 (1.3.1-1+b2) ... Setting up libatomic1:amd64 (14-20240201-3) ... Setting up ocaml-base (4.14.1-1) ... Setting up libncursesw6:amd64 (6.4+20240113-1) ... Setting up libk5crypto3:amd64 (1.20.1-5+b1) ... Setting up libubsan1:amd64 (14-20240201-3) ... Setting up libsexplib0-ocaml (0.16.0-3+b1) ... Setting up libhwasan0:amd64 (14-20240201-3) ... Setting up libcrypt-dev:amd64 (1:4.4.36-4) ... Setting up libasan8:amd64 (14-20240201-3) ... Setting up libfmt-ocaml (0.9.0-3+b1) ... Setting up libreact-ocaml (1.2.2-1+b1) ... Setting up libkrb5-3:amd64 (1.20.1-5+b1) ... Setting up libev-dev:amd64 (1:4.33-2) ... Setting up libtsan2:amd64 (14-20240201-3) ... Setting up libbinutils:amd64 (2.42-2) ... Setting up libisl23:amd64 (0.26-3+b2) ... Setting up libc-dev-bin (2.37-15) ... Setting up libbsd0:amd64 (0.11.8-1) ... Setting up libcc1-0:amd64 (14-20240201-3) ... Setting up liblsan0:amd64 (14-20240201-3) ... Setting up libitm1:amd64 (14-20240201-3) ... Setting up libctf0:amd64 (2.42-2) ... Setting up libastring-ocaml (0.8.5-2+b1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libxcb1:amd64 (1.15-1) ... Setting up libgen-ocaml (1.1-1+b1) ... Setting up libstdlib-ocaml-dev (4.14.1-1) ... Setting up libyojson-ocaml (2.1.2-1) ... Setting up cpp-13-x86-64-linux-gnu (13.2.0-13) ... Setting up libcamlp-streams-ocaml (5.0.1-3+b1) ... Setting up libfpath-ocaml (0.7.3-3+b1) ... Setting up librresult-ocaml (0.7.0-2+b1) ... Setting up libuutf-ocaml (1.0.3-1+b2) ... Setting up libfindlib-ocaml (1.9.6-1+b2) ... Setting up libocplib-endian-ocaml (1.2-3+b1) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1) ... Setting up libsedlex-ocaml (3.2-1+b2) ... Setting up libgprofng0:amd64 (2.42-2) ... Setting up libreactivedata-ocaml (0.3-4+b1) ... Setting up ocaml-interp (4.14.1-1) ... Setting up libgssapi-krb5-2:amd64 (1.20.1-5+b1) ... Setting up libtyxml-ocaml (4.5.0-4+b1) ... Setting up libgcc-13-dev:amd64 (13.2.0-13) ... Setting up libx11-6:amd64 (2:1.8.7-1) ... Setting up binutils-x86-64-linux-gnu (2.42-2) ... Setting up cpp-x86-64-linux-gnu (4:13.2.0-7) ... Setting up libtirpc3:amd64 (1.3.4+ds-1) ... Setting up cpp-13 (13.2.0-13) ... Setting up gcc-13-x86-64-linux-gnu (13.2.0-13) ... Setting up ocaml-compiler-libs (4.14.1-1) ... Setting up liblwt-ocaml (5.7.0-1+b3) ... Setting up binutils (2.42-2) ... Setting up liblwt-log-ocaml (1.1.2-4+b4) ... Setting up libtirpc-dev:amd64 (1.3.4+ds-1) ... Setting up gcc-13 (13.2.0-13) ... Setting up libgraphics-ocaml (5.1.2-3+b1) ... Setting up cpp (4:13.2.0-7) ... Setting up libnsl2:amd64 (1.3.0-3) ... Setting up libjs-of-ocaml (5.6.0-1) ... Setting up gcc-x86-64-linux-gnu (4:13.2.0-7) ... Setting up gcc (4:13.2.0-7) ... Setting up liblogs-ocaml (0.7.0-3+b6) ... Setting up libnsl-dev:amd64 (1.3.0-3) ... Setting up libc6-dev:amd64 (2.37-15) ... Setting up libncurses-dev:amd64 (6.4+20240113-1) ... Setting up ocaml (4.14.1-1) ... Setting up libgen-ocaml-dev (1.1-1+b1) ... Setting up libbos-ocaml (0.2.1-2+b5) ... Setting up libre-ocaml-dev (1.11.0-1+b1) ... Setting up libmenhir-ocaml-dev (20231231+ds-1) ... Setting up libreact-ocaml-dev (1.2.2-1+b1) ... Setting up librresult-ocaml-dev (0.7.0-2+b1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Setting up libyojson-ocaml-dev (2.1.2-1) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Setting up libfindlib-ocaml-dev (1.9.6-1+b2) ... Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ... Setting up libcmdliner-ocaml-dev (1.2.0-2+b1) ... Setting up libocplib-endian-ocaml-dev (1.2-3+b1) ... Setting up libastring-ocaml-dev (0.8.5-2+b1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Setting up libreactivedata-ocaml-dev (0.3-4+b1) ... Setting up libgraphics-ocaml-dev (5.1.2-3+b1) ... Setting up libuutf-ocaml-dev (1.0.3-1+b2) ... Setting up libppxlib-ocaml-dev (0.32.0-1) ... Setting up libfmt-ocaml-dev (0.9.0-3+b1) ... Setting up libtyxml-ocaml-dev (4.5.0-4+b1) ... Setting up libfpath-ocaml-dev (0.7.3-3+b1) ... Setting up libsedlex-ocaml-dev (3.2-1+b2) ... Setting up liblwt-ocaml-dev (5.7.0-1+b3) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b4) ... Setting up libjs-of-ocaml-dev (5.6.0-1) ... Setting up liblogs-ocaml-dev (0.7.0-3+b6) ... Setting up libbos-ocaml-dev (0.2.1-2+b5) ... Setting up camlp5 (8.02.01-2+b5) ... Setting up hol-light (20231021-1+b2) ... Processing triggers for libc-bin (2.37-15) ... 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', '-y', 'install', 'hol-light=20231021-1+b2'] 0m36.6s INFO: Running scripts post_install 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_install_exceptions'] 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_install_exceptions'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_install_log_alternatives'] 0m36.6s DUMP: Removing 'local diversion of /usr/bin/update-alternatives to /usr/bin/update-alternatives.orig' LOG-ALTERNATIVES: dpkg=cpp: piuparts=hol-light=20231021-1+b2: /usr/bin/update-alternatives --quiet --install /lib/cpp cpp /usr/bin/cpp 10 LOG-ALTERNATIVES: dpkg=gcc: piuparts=hol-light=20231021-1+b2: /usr/bin/update-alternatives --quiet --install /usr/bin/cc cc /usr/bin/gcc 20 LOG-ALTERNATIVES: dpkg=gcc: piuparts=hol-light=20231021-1+b2: /usr/bin/update-alternatives --quiet --install /usr/bin/c89 c89 /usr/bin/c89-gcc 20 --slave /usr/share/man/man1/c89.1.gz c89.1.gz /usr/share/man/man1/c89-gcc.1.gz LOG-ALTERNATIVES: dpkg=gcc: piuparts=hol-light=20231021-1+b2: /usr/bin/update-alternatives --quiet --install /usr/bin/c99 c99 /usr/bin/c99-gcc 20 --slave /usr/share/man/man1/c99.1.gz c99.1.gz /usr/share/man/man1/c99-gcc.1.gz 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_install_log_alternatives'] 0m36.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m37.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m40.0s DEBUG: No broken symlinks as far as we can find. 0m40.0s INFO: /bin converted to /usr/bin by /usr merge 0m40.0s INFO: /lib converted to /usr/lib by /usr merge 0m40.0s INFO: /lib/init converted to /usr/lib/init by /usr merge 0m40.0s INFO: /lib/lsb converted to /usr/lib/lsb by /usr merge 0m40.0s INFO: /lib/lsb/init-functions.d converted to /usr/lib/lsb/init-functions.d by /usr merge 0m40.0s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 0m40.0s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 0m40.0s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 0m40.0s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 0m40.0s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 0m40.0s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 0m40.0s INFO: /lib64 converted to /usr/lib64 by /usr merge 0m40.0s INFO: /sbin converted to /usr/sbin by /usr merge 0m40.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', '-ac', '--ignore-obsolete'] 0m44.9s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', '-ac', '--ignore-obsolete'] 0m44.9s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m44.9s DUMP: 0.15.6 0m44.9s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m44.9s INFO: Running adequate version 0.15.6 now. 0m44.9s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'hol-light'] 0m45.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'hol-light'] 0m45.1s INFO: Running scripts pre_remove 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_exceptions'] 0m48.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/pre_remove_exceptions'] 0m48.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m48.1s DUMP: install ok installed apt apt 2.7.11 install ok installed base-files base-files 13 install ok installed base-passwd base-passwd 3.6.3 install ok installed bash bash 5.2.21-2 install ok installed binutils binutils 2.42-2 install ok installed binutils-common:amd64 binutils-common 2.42-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.42-2 install ok installed bsdutils bsdutils 1:2.39.3-6 install ok installed camlp5 camlp5 8.02.01-2+b5 install ok installed coreutils coreutils 9.4-3+b1 install ok installed cpp cpp 4:13.2.0-7 install ok installed cpp-13 cpp-13 13.2.0-13 install ok installed cpp-13-x86-64-linux-gnu cpp-13-x86-64-linux-gnu 13.2.0-13 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:13.2.0-7 install ok installed dash dash 0.5.12-6 install ok installed debconf debconf 1.5.86 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.16 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.4 install ok installed e2fsprogs e2fsprogs 1.47.0-2+b1 install ok installed findutils findutils 4.9.0-5 install ok installed gcc gcc 4:13.2.0-7 install ok installed gcc-13 gcc-13 13.2.0-13 install ok installed gcc-13-base:amd64 gcc-13-base 13.2.0-13 install ok installed gcc-13-x86-64-linux-gnu gcc-13-x86-64-linux-gnu 13.2.0-13 install ok installed gcc-14-base:amd64 gcc-14-base 14-20240201-3 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:13.2.0-7 install ok installed gpgv gpgv 2.2.40-1.1+b1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1 install ok installed hol-light hol-light 20231021-1+b2 install ok installed hostname hostname 3.23+nmu2 install ok installed init-system-helpers init-system-helpers 1.66 install ok installed libacl1:amd64 libacl1 2.3.2-1 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.7.11 install ok installed libasan8:amd64 libasan8 14-20240201-3 install ok installed libastring-ocaml libastring-ocaml 0.8.5-2+b1 install ok installed libastring-ocaml-dev libastring-ocaml-dev 0.8.5-2+b1 install ok installed libatomic1:amd64 libatomic1 14-20240201-3 install ok installed libattr1:amd64 libattr1 1:2.5.2-1 install ok installed libaudit-common libaudit-common 1:3.1.2-2 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-2 install ok installed libbinutils:amd64 libbinutils 2.42-2 install ok installed libblkid1:amd64 libblkid1 2.39.3-6 install ok installed libbos-ocaml libbos-ocaml 0.2.1-2+b5 install ok installed libbos-ocaml-dev libbos-ocaml-dev 0.2.1-2+b5 install ok installed libbsd0:amd64 libbsd0 0.11.8-1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b2 install ok installed libc-bin libc-bin 2.37-15 install ok installed libc-dev-bin libc-dev-bin 2.37-15 install ok installed libc6:amd64 libc6 2.37-15 install ok installed libc6-dev:amd64 libc6-dev 2.37-15 install ok installed libcamlp-streams-ocaml libcamlp-streams-ocaml 5.0.1-3+b1 install ok installed libcamlp-streams-ocaml-dev libcamlp-streams-ocaml-dev 5.0.1-3+b1 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.4-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcc1-0:amd64 libcc1-0 14-20240201-3 install ok installed libcmdliner-ocaml-dev libcmdliner-ocaml-dev 1.2.0-2+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2+b1 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 4.14.1-1 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.36-4 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-4 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.42-2 install ok installed libctf0:amd64 libctf0 2.42-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-4+b1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.271 install ok installed libev-dev:amd64 libev-dev 1:4.33-2 install ok installed libev4:amd64 libev4 1:4.33-2 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-2+b1 install ok installed libffi8:amd64 libffi8 3.4.4-2 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.6-1+b2 install ok installed libfindlib-ocaml-dev libfindlib-ocaml-dev 1.9.6-1+b2 install ok installed libfmt-ocaml libfmt-ocaml 0.9.0-3+b1 install ok installed libfmt-ocaml-dev libfmt-ocaml-dev 0.9.0-3+b1 install ok installed libfpath-ocaml libfpath-ocaml 0.7.3-3+b1 install ok installed libfpath-ocaml-dev libfpath-ocaml-dev 0.7.3-3+b1 install ok installed libgcc-13-dev:amd64 libgcc-13-dev 13.2.0-13 install ok installed libgcc-s1:amd64 libgcc-s1 14-20240201-3 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.3-2 install ok installed libgen-ocaml libgen-ocaml 1.1-1+b1 install ok installed libgen-ocaml-dev libgen-ocaml-dev 1.1-1+b1 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30:amd64 libgnutls30 3.8.3-1 install ok installed libgomp1:amd64 libgomp1 14-20240201-3 install ok installed libgpg-error0:amd64 libgpg-error0 1.47-3 install ok installed libgprofng0:amd64 libgprofng0 2.42-2 install ok installed libgraphics-ocaml libgraphics-ocaml 5.1.2-3+b1 install ok installed libgraphics-ocaml-dev libgraphics-ocaml-dev 5.1.2-3+b1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.20.1-5+b1 install ok installed libhogweed6:amd64 libhogweed6 3.9.1-2 install ok installed libhwasan0:amd64 libhwasan0 14-20240201-3 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed libisl23:amd64 libisl23 0.26-3+b2 install ok installed libitm1:amd64 libitm1 14-20240201-3 install ok installed libjansson4:amd64 libjansson4 2.14-2+b2 install ok installed libjs-of-ocaml libjs-of-ocaml 5.6.0-1 install ok installed libjs-of-ocaml-dev libjs-of-ocaml-dev 5.6.0-1 install ok installed libk5crypto3:amd64 libk5crypto3 1.20.1-5+b1 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-3 install ok installed libkrb5-3:amd64 libkrb5-3 1.20.1-5+b1 install ok installed libkrb5support0:amd64 libkrb5support0 1.20.1-5+b1 install ok installed liblogs-ocaml liblogs-ocaml 0.7.0-3+b6 install ok installed liblogs-ocaml-dev liblogs-ocaml-dev 0.7.0-3+b6 install ok installed liblsan0:amd64 liblsan0 14-20240201-3 install ok installed liblwt-log-ocaml liblwt-log-ocaml 1.1.2-4+b4 install ok installed liblwt-log-ocaml-dev liblwt-log-ocaml-dev 1.1.2-4+b4 install ok installed liblwt-ocaml liblwt-ocaml 5.7.0-1+b3 install ok installed liblwt-ocaml-dev liblwt-ocaml-dev 5.7.0-1+b3 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1+b2 install ok installed liblzma5:amd64 liblzma5 5.4.5-0.3 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20231231+ds-1 install ok installed libmount1:amd64 libmount1 2.39.3-6 install ok installed libmpc3:amd64 libmpc3 1.3.1-1+b2 install ok installed libmpfr6:amd64 libmpfr6 4.2.1-1 install ok installed libncurses-dev:amd64 libncurses-dev 6.4+20240113-1 install ok installed libncurses6:amd64 libncurses6 6.4+20240113-1 install ok installed libncursesw6:amd64 libncursesw6 6.4+20240113-1 install ok installed libnettle8:amd64 libnettle8 3.9.1-2 install ok installed libnsl-dev:amd64 libnsl-dev 1.3.0-3 install ok installed libnsl2:amd64 libnsl2 1.3.0-3 install ok installed libocaml-compiler-libs-ocaml-dev libocaml-compiler-libs-ocaml-dev 0.12.4-4+b1 install ok installed libocplib-endian-ocaml libocplib-endian-ocaml 1.2-3+b1 install ok installed libocplib-endian-ocaml-dev libocplib-endian-ocaml-dev 1.2-3+b1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.3-4 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-9.1+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-9.1+b1 install ok installed libpam-runtime libpam-runtime 1.5.2-9.1 install ok installed libpam0g:amd64 libpam0g 1.5.2-9.1+b1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4 install ok installed libppx-derivers-ocaml-dev libppx-derivers-ocaml-dev 1.2.1-4+b1 install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.32.0-1 install ok installed libquadmath0:amd64 libquadmath0 14-20240201-3 install ok installed libre-ocaml-dev libre-ocaml-dev 1.11.0-1+b1 install ok installed libreact-ocaml libreact-ocaml 1.2.2-1+b1 install ok installed libreact-ocaml-dev libreact-ocaml-dev 1.2.2-1+b1 install ok installed libreactivedata-ocaml libreactivedata-ocaml 0.3-4+b1 install ok installed libreactivedata-ocaml-dev libreactivedata-ocaml-dev 0.3-4+b1 install ok installed librresult-ocaml librresult-ocaml 0.7.0-2+b1 install ok installed librresult-ocaml-dev librresult-ocaml-dev 0.7.0-2+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1 install ok installed libsedlex-ocaml libsedlex-ocaml 3.2-1+b2 install ok installed libsedlex-ocaml-dev libsedlex-ocaml-dev 3.2-1+b2 install ok installed libselinux1:amd64 libselinux1 3.5-2 install ok installed libsemanage-common libsemanage-common 3.5-1 install ok installed libsemanage2:amd64 libsemanage2 3.5-1+b2 install ok installed libsepol2:amd64 libsepol2 3.5-2 install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.16.0-3+b1 install ok installed libsexplib0-ocaml-dev libsexplib0-ocaml-dev 0.16.0-3+b1 install ok installed libsframe1:amd64 libsframe1 2.42-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.39.3-6 install ok installed libss2:amd64 libss2 1.47.0-2+b1 install ok installed libssl3:amd64 libssl3 3.1.5-1 install ok installed libstdc++6:amd64 libstdc++6 14-20240201-3 install ok installed libstdlib-ocaml libstdlib-ocaml 4.14.1-1 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 4.14.1-1 install ok installed libsystemd0:amd64 libsystemd0 255.3-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.4+20240113-1 install ok installed libtirpc-common libtirpc-common 1.3.4+ds-1 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.4+ds-1 install ok installed libtirpc3:amd64 libtirpc3 1.3.4+ds-1 install ok installed libtsan2:amd64 libtsan2 14-20240201-3 install ok installed libtyxml-ocaml libtyxml-ocaml 4.5.0-4+b1 install ok installed libtyxml-ocaml-dev libtyxml-ocaml-dev 4.5.0-4+b1 install ok installed libubsan1:amd64 libubsan1 14-20240201-3 install ok installed libudev1:amd64 libudev1 255.3-2 install ok installed libunistring5:amd64 libunistring5 1.1-2 install ok installed libuuid1:amd64 libuuid1 2.39.3-6 install ok installed libuutf-ocaml libuutf-ocaml 1.0.3-1+b2 install ok installed libuutf-ocaml-dev libuutf-ocaml-dev 1.0.3-1+b2 install ok installed libx11-6:amd64 libx11-6 2:1.8.7-1 install ok installed libx11-data libx11-data 2:1.8.7-1 install ok installed libxau6:amd64 libxau6 1:1.0.9-1 install ok installed libxcb1:amd64 libxcb1 1.15-1 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.2-3 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libyojson-ocaml libyojson-ocaml 2.1.2-1 install ok installed libyojson-ocaml-dev libyojson-ocaml-dev 2.1.2-1 install ok installed libzstd1:amd64 libzstd1 1.5.5+dfsg2-2 install ok installed linux-libc-dev linux-libc-dev 6.6.15-2 install ok installed login login 1:4.13+dfsg1-4 install ok installed logsave logsave 1.47.0-2+b1 install ok installed mawk mawk 1.3.4.20240123-1 install ok installed mount mount 2.39.3-6 install ok installed ncurses-base ncurses-base 6.4+20240113-1 install ok installed ncurses-bin ncurses-bin 6.4+20240113-1 install ok installed ocaml ocaml 4.14.1-1 install ok installed ocaml-base ocaml-base 4.14.1-1 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.14.1-1 install ok installed ocaml-interp ocaml-interp 4.14.1-1 install ok installed passwd passwd 1:4.13+dfsg1-4 install ok installed perl-base perl-base 5.38.2-3 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.08-6 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-1 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.39.3-6 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg-3+b1 0m48.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m48.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-13', 'cpp-13-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-13', 'gcc-13-base:amd64', 'gcc-13-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libastring-ocaml', 'libastring-ocaml-dev', 'libatomic1:amd64', 'libbinutils:amd64', 'libbos-ocaml', 'libbos-ocaml-dev', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcmdliner-ocaml-dev', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libev-dev:amd64', 'libev4:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfmt-ocaml', 'libfmt-ocaml-dev', 'libfpath-ocaml', 'libfpath-ocaml-dev', 'libgcc-13-dev:amd64', 'libgen-ocaml', 'libgen-ocaml-dev', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgraphics-ocaml', 'libgraphics-ocaml-dev', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-of-ocaml', 'libjs-of-ocaml-dev', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblogs-ocaml', 'liblogs-ocaml-dev', 'liblsan0:amd64', 'liblwt-log-ocaml', 'liblwt-log-ocaml-dev', 'liblwt-ocaml', 'liblwt-ocaml-dev', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libocplib-endian-ocaml', 'libocplib-endian-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreact-ocaml', 'libreact-ocaml-dev', 'libreactivedata-ocaml', 'libreactivedata-ocaml-dev', 'librresult-ocaml', 'librresult-ocaml-dev', 'libsedlex-ocaml', 'libsedlex-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libtyxml-ocaml', 'libtyxml-ocaml-dev', 'libubsan1:amd64', 'libuutf-ocaml', 'libuutf-ocaml-dev', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libyojson-ocaml', 'libyojson-ocaml-dev', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto', 'hol-light'] 0m49.9s 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-13 cpp-13-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-13 gcc-13-base gcc-13-x86-64-linux-gnu gcc-x86-64-linux-gnu hol-light libasan8 libastring-ocaml libastring-ocaml-dev libatomic1 libbinutils libbos-ocaml libbos-ocaml-dev libbsd0 libc-dev-bin libc6-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcrypt-dev libctf-nobfd0 libctf0 libev-dev libev4 libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfpath-ocaml libfpath-ocaml-dev libgcc-13-dev libgen-ocaml libgen-ocaml-dev libgomp1 libgprofng0 libgraphics-ocaml libgraphics-ocaml-dev libgssapi-krb5-2 libhwasan0 libisl23 libitm1 libjansson4 libjs-of-ocaml libjs-of-ocaml-dev libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblogs-ocaml liblogs-ocaml-dev liblsan0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libppx-derivers-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libstdlib-ocaml libstdlib-ocaml-dev libtirpc-common libtirpc-dev libtirpc3 libtsan2 libtyxml-ocaml libtyxml-ocaml-dev libubsan1 libuutf-ocaml libuutf-ocaml-dev libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libyojson-ocaml libyojson-ocaml-dev linux-libc-dev ocaml ocaml-base ocaml-compiler-libs ocaml-interp rpcsvc-proto 0 upgraded, 0 newly installed, 115 to remove and 0 not upgraded. After this operation, 1157 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 ... 17263 files and directories currently installed.) Removing hol-light (20231021-1+b2) ... Removing camlp5 (8.02.01-2+b5) ... Removing libbos-ocaml-dev (0.2.1-2+b5) ... Removing liblogs-ocaml-dev (0.7.0-3+b6) ... Removing libjs-of-ocaml-dev (5.6.0-1) ... Removing libyojson-ocaml-dev (2.1.2-1) ... Removing libtyxml-ocaml-dev (4.5.0-4+b1) ... Removing libuutf-ocaml-dev (1.0.3-1+b2) ... Removing libfpath-ocaml-dev (0.7.3-3+b1) ... Removing libbos-ocaml (0.2.1-2+b5) ... Removing libfpath-ocaml (0.7.3-3+b1) ... Removing libastring-ocaml-dev (0.8.5-2+b1) ... Removing libastring-ocaml (0.8.5-2+b1) ... Removing libgraphics-ocaml-dev (5.1.2-3+b1) ... Removing liblogs-ocaml (0.7.0-3+b6) ... Removing libjs-of-ocaml (5.6.0-1) ... Removing libgraphics-ocaml (5.1.2-3+b1) ... Removing libx11-6:amd64 (2:1.8.7-1) ... Removing libxcb1:amd64 (1.15-1) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.11.8-1) ... Removing libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Removing libcamlp-streams-ocaml (5.0.1-3+b1) ... Removing libfmt-ocaml-dev (0.9.0-3+b1) ... Removing libcmdliner-ocaml-dev (1.2.0-2+b1) ... Removing libreactivedata-ocaml-dev (0.3-4+b1) ... Removing liblwt-log-ocaml-dev (1.1.2-4+b4) ... Removing liblwt-ocaml-dev (5.7.0-1+b3) ... Removing libreact-ocaml-dev (1.2.2-1+b1) ... Removing ocaml-compiler-libs (4.14.1-1) ... Removing libsedlex-ocaml-dev (3.2-1+b2) ... Removing libppxlib-ocaml-dev (0.32.0-1) ... Removing libev-dev:amd64 (1:4.33-2) ... Removing liblwt-log-ocaml (1.1.2-4+b4) ... Removing liblwt-ocaml (5.7.0-1+b3) ... Removing libev4:amd64 (1:4.33-2) ... Removing libfindlib-ocaml-dev (1.9.6-1+b2) ... Removing libfindlib-ocaml (1.9.6-1+b2) ... Removing libfmt-ocaml (0.9.0-3+b1) ... Removing libsedlex-ocaml (3.2-1+b2) ... Removing libgen-ocaml-dev (1.1-1+b1) ... Removing libgen-ocaml (1.1-1+b1) ... Removing libmenhir-ocaml-dev (20231231+ds-1) ... Removing libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Removing libocplib-endian-ocaml-dev (1.2-3+b1) ... Removing libocplib-endian-ocaml (1.2-3+b1) ... Removing libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Removing libre-ocaml-dev (1.11.0-1+b1) ... Removing libreactivedata-ocaml (0.3-4+b1) ... Removing libreact-ocaml (1.2.2-1+b1) ... Removing librresult-ocaml-dev (0.7.0-2+b1) ... Removing librresult-ocaml (0.7.0-2+b1) ... Removing libsexplib0-ocaml-dev (0.16.0-3+b1) ... Removing libsexplib0-ocaml (0.16.0-3+b1) ... Removing libyojson-ocaml (2.1.2-1) ... Removing libtyxml-ocaml (4.5.0-4+b1) ... Removing libuutf-ocaml (1.0.3-1+b2) ... Removing libx11-data (2:1.8.7-1) ... Removing libxau6:amd64 (1:1.0.9-1) ... Removing ocaml (4.14.1-1) ... Removing gcc (4:13.2.0-7) ... Removing gcc-13 (13.2.0-13) ... Removing binutils (2.42-2) ... Removing gcc-x86-64-linux-gnu (4:13.2.0-7) ... Removing gcc-13-x86-64-linux-gnu (13.2.0-13) ... Removing binutils-x86-64-linux-gnu (2.42-2) ... Removing libgprofng0:amd64 (2.42-2) ... Removing libctf0:amd64 (2.42-2) ... Removing libbinutils:amd64 (2.42-2) ... Removing binutils-common:amd64 (2.42-2) ... Removing cpp (4:13.2.0-7) ... Removing cpp-13 (13.2.0-13) ... Removing cpp-x86-64-linux-gnu (4:13.2.0-7) ... Removing cpp-13-x86-64-linux-gnu (13.2.0-13) ... Removing libgcc-13-dev:amd64 (13.2.0-13) ... Removing gcc-13-base:amd64 (13.2.0-13) ... Removing libasan8:amd64 (14-20240201-3) ... Removing libatomic1:amd64 (14-20240201-3) ... Removing libncurses-dev:amd64 (6.4+20240113-1) ... Removing libc6-dev:amd64 (2.37-15) ... Removing libc-dev-bin (2.37-15) ... Removing libcc1-0:amd64 (14-20240201-3) ... Removing ocaml-interp (4.14.1-1) ... Removing libcompiler-libs-ocaml-dev (4.14.1-1) ... Removing libcrypt-dev:amd64 (1:4.4.36-4) ... Removing libctf-nobfd0:amd64 (2.42-2) ... Removing libgomp1:amd64 (14-20240201-3) ... Removing libnsl-dev:amd64 (1.3.0-3) ... Removing libtirpc-dev:amd64 (1.3.4+ds-1) ... Removing libnsl2:amd64 (1.3.0-3) ... Removing libtirpc3:amd64 (1.3.4+ds-1) ... Removing libgssapi-krb5-2:amd64 (1.20.1-5+b1) ... Removing libhwasan0:amd64 (14-20240201-3) ... Removing libisl23:amd64 (0.26-3+b2) ... Removing libitm1:amd64 (14-20240201-3) ... Removing libjansson4:amd64 (2.14-2+b2) ... Removing libkrb5-3:amd64 (1.20.1-5+b1) ... Removing libk5crypto3:amd64 (1.20.1-5+b1) ... Removing libkeyutils1:amd64 (1.6.3-3) ... Removing libkrb5support0:amd64 (1.20.1-5+b1) ... Removing liblsan0:amd64 (14-20240201-3) ... Removing libmpc3:amd64 (1.3.1-1+b2) ... Removing libmpfr6:amd64 (4.2.1-1) ... Removing libncurses6:amd64 (6.4+20240113-1) ... Removing libncursesw6:amd64 (6.4+20240113-1) ... Removing libquadmath0:amd64 (14-20240201-3) ... Removing libsframe1:amd64 (2.42-2) ... Removing ocaml-base (4.14.1-1) ... Removing libstdlib-ocaml-dev (4.14.1-1) ... Removing libstdlib-ocaml (4.14.1-1) ... Removing libtirpc-common (1.3.4+ds-1) ... Removing libtsan2:amd64 (14-20240201-3) ... Removing libubsan1:amd64 (14-20240201-3) ... Removing linux-libc-dev (6.6.15-2) ... Removing rpcsvc-proto (1.4.3-1) ... Processing triggers for libc-bin (2.37-15) ... 0m49.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-13', 'cpp-13-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-13', 'gcc-13-base:amd64', 'gcc-13-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libastring-ocaml', 'libastring-ocaml-dev', 'libatomic1:amd64', 'libbinutils:amd64', 'libbos-ocaml', 'libbos-ocaml-dev', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcmdliner-ocaml-dev', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libev-dev:amd64', 'libev4:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfmt-ocaml', 'libfmt-ocaml-dev', 'libfpath-ocaml', 'libfpath-ocaml-dev', 'libgcc-13-dev:amd64', 'libgen-ocaml', 'libgen-ocaml-dev', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgraphics-ocaml', 'libgraphics-ocaml-dev', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-of-ocaml', 'libjs-of-ocaml-dev', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblogs-ocaml', 'liblogs-ocaml-dev', 'liblsan0:amd64', 'liblwt-log-ocaml', 'liblwt-log-ocaml-dev', 'liblwt-ocaml', 'liblwt-ocaml-dev', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libocplib-endian-ocaml', 'libocplib-endian-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreact-ocaml', 'libreact-ocaml-dev', 'libreactivedata-ocaml', 'libreactivedata-ocaml-dev', 'librresult-ocaml', 'librresult-ocaml-dev', 'libsedlex-ocaml', 'libsedlex-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libtyxml-ocaml', 'libtyxml-ocaml-dev', 'libubsan1:amd64', 'libuutf-ocaml', 'libuutf-ocaml-dev', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libyojson-ocaml', 'libyojson-ocaml-dev', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto', 'hol-light'] 0m49.9s INFO: Running scripts post_remove 0m49.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_remove_exceptions'] 0m49.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_remove_exceptions'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-13', 'cpp-13-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-13', 'gcc-13-base:amd64', 'gcc-13-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libastring-ocaml', 'libastring-ocaml-dev', 'libatomic1:amd64', 'libbinutils:amd64', 'libbos-ocaml', 'libbos-ocaml-dev', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcmdliner-ocaml-dev', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libev-dev:amd64', 'libev4:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfmt-ocaml', 'libfmt-ocaml-dev', 'libfpath-ocaml', 'libfpath-ocaml-dev', 'libgcc-13-dev:amd64', 'libgen-ocaml', 'libgen-ocaml-dev', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgraphics-ocaml', 'libgraphics-ocaml-dev', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-of-ocaml', 'libjs-of-ocaml-dev', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblogs-ocaml', 'liblogs-ocaml-dev', 'liblsan0:amd64', 'liblwt-log-ocaml', 'liblwt-log-ocaml-dev', 'liblwt-ocaml', 'liblwt-ocaml-dev', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libocplib-endian-ocaml', 'libocplib-endian-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreact-ocaml', 'libreact-ocaml-dev', 'libreactivedata-ocaml', 'libreactivedata-ocaml-dev', 'librresult-ocaml', 'librresult-ocaml-dev', 'libsedlex-ocaml', 'libsedlex-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libtyxml-ocaml', 'libtyxml-ocaml-dev', 'libubsan1:amd64', 'libuutf-ocaml', 'libuutf-ocaml-dev', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libyojson-ocaml', 'libyojson-ocaml-dev', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto'] 0m50.0s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed (Reading database ... 5226 files and directories currently installed.) Purging configuration files for binutils-common:amd64 (2.42-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 Purging configuration files for cpp (4:13.2.0-7) ... dpkg: warning: ignoring request to remove cpp-13 which isn't installed dpkg: warning: ignoring request to remove cpp-13-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-13 which isn't installed dpkg: warning: ignoring request to remove gcc-13-base which isn't installed dpkg: warning: ignoring request to remove gcc-13-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libastring-ocaml which isn't installed dpkg: warning: ignoring request to remove libastring-ocaml-dev 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 libbos-ocaml which isn't installed dpkg: warning: ignoring request to remove libbos-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libbsd0 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 dpkg: warning: ignoring request to remove libcmdliner-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.36-4) ... 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 libev-dev which isn't installed dpkg: warning: ignoring request to remove libev4 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.6-1+b2) ... dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libfmt-ocaml which isn't installed dpkg: warning: ignoring request to remove libfmt-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libfpath-ocaml which isn't installed dpkg: warning: ignoring request to remove libfpath-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libgcc-13-dev which isn't installed dpkg: warning: ignoring request to remove libgen-ocaml which isn't installed dpkg: warning: ignoring request to remove libgen-ocaml-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 dpkg: warning: ignoring request to remove libgraphics-ocaml which isn't installed dpkg: warning: ignoring request to remove libgraphics-ocaml-dev which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.20.1-5+b1) ... dpkg: warning: ignoring request to remove libhwasan0 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libjs-of-ocaml which isn't installed dpkg: warning: ignoring request to remove libjs-of-ocaml-dev 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 liblogs-ocaml which isn't installed dpkg: warning: ignoring request to remove liblogs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove liblwt-log-ocaml which isn't installed dpkg: warning: ignoring request to remove liblwt-log-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove liblwt-ocaml which isn't installed dpkg: warning: ignoring request to remove liblwt-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libmenhir-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl-dev which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed dpkg: warning: ignoring request to remove libocaml-compiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libocplib-endian-ocaml which isn't installed dpkg: warning: ignoring request to remove libocplib-endian-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-derivers-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppxlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libre-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libreact-ocaml which isn't installed dpkg: warning: ignoring request to remove libreact-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libreactivedata-ocaml which isn't installed dpkg: warning: ignoring request to remove libreactivedata-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove librresult-ocaml which isn't installed dpkg: warning: ignoring request to remove librresult-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsedlex-ocaml which isn't installed dpkg: warning: ignoring request to remove libsedlex-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsexplib0-ocaml which isn't installed dpkg: warning: ignoring request to remove libsexplib0-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsframe1 which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml-dev which isn't installed Purging configuration files for libtirpc-common (1.3.4+ds-1) ... 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 libtyxml-ocaml which isn't installed dpkg: warning: ignoring request to remove libtyxml-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libuutf-ocaml which isn't installed dpkg: warning: ignoring request to remove libuutf-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libx11-6 which isn't installed dpkg: warning: ignoring request to remove libx11-data which isn't installed dpkg: warning: ignoring request to remove libxau6 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libyojson-ocaml which isn't installed dpkg: warning: ignoring request to remove libyojson-ocaml-dev 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 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'camlp5', 'cpp', 'cpp-13', 'cpp-13-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-13', 'gcc-13-base:amd64', 'gcc-13-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libastring-ocaml', 'libastring-ocaml-dev', 'libatomic1:amd64', 'libbinutils:amd64', 'libbos-ocaml', 'libbos-ocaml-dev', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcamlp-streams-ocaml', 'libcamlp-streams-ocaml-dev', 'libcc1-0:amd64', 'libcmdliner-ocaml-dev', 'libcompiler-libs-ocaml-dev', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libev-dev:amd64', 'libev4:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libfmt-ocaml', 'libfmt-ocaml-dev', 'libfpath-ocaml', 'libfpath-ocaml-dev', 'libgcc-13-dev:amd64', 'libgen-ocaml', 'libgen-ocaml-dev', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgraphics-ocaml', 'libgraphics-ocaml-dev', 'libgssapi-krb5-2:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-of-ocaml', 'libjs-of-ocaml-dev', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblogs-ocaml', 'liblogs-ocaml-dev', 'liblsan0:amd64', 'liblwt-log-ocaml', 'liblwt-log-ocaml-dev', 'liblwt-ocaml', 'liblwt-ocaml-dev', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libocplib-endian-ocaml', 'libocplib-endian-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreact-ocaml', 'libreact-ocaml-dev', 'libreactivedata-ocaml', 'libreactivedata-ocaml-dev', 'librresult-ocaml', 'librresult-ocaml-dev', 'libsedlex-ocaml', 'libsedlex-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libtyxml-ocaml', 'libtyxml-ocaml-dev', 'libubsan1:amd64', 'libuutf-ocaml', 'libuutf-ocaml-dev', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libyojson-ocaml', 'libyojson-ocaml-dev', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-interp', 'rpcsvc-proto'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--purge', 'hol-light'] 0m50.0s DUMP: (Reading database ... 5223 files and directories currently installed.) Purging configuration files for hol-light (20231021-1+b2) ... 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--purge', 'hol-light'] 0m50.0s INFO: Running scripts post_purge 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_purge_exceptions'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_purge_exceptions'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--purge', '--pending'] 0m50.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--purge', '--pending'] 0m50.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--remove', '--pending'] 0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg', '--remove', '--pending'] 0m50.1s INFO: Running scripts post_test 0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_test_exceptions'] 0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'tmp/scripts/post_test_exceptions'] 0m50.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m50.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m51.2s DEBUG: No broken symlinks as far as we can find. 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-divert', '--list'] 0m51.2s DUMP: local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'dpkg-divert', '--list'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'clean'] 0m51.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr', 'apt-get', 'clean'] 0m51.3s DEBUG: Recording chroot state 0m52.0s INFO: PASS: Installation and purging test. 0m52.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/shm'] 0m52.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/shm'] 0m52.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/console'] 0m52.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/console'] 0m52.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/ptmx'] 0m52.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/ptmx'] 0m52.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/pts'] 0m52.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/dev/pts'] 0m52.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/proc'] 0m52.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr/proc'] 0m52.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m52.7s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp_yh7cxwr'] 0m52.7s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp_yh7cxwr 0m52.7s INFO: PASS: All tests. 0m52.7s INFO: piuparts run ends. ret=0 End: 2024-02-19 09:29:12 GMT