Start: 2026-11-02 09:04:10 GMT [testing] Package: libcoq-corn Source: coq-corn (9.2.0-1) Version: 9.2.0-1+b1 Installed-Size: 49171 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-corn-z2vs6 Depends: libcoq-bignums-oo3r4, libcoq-elpi-5btd8, libcoq-math-classes-ctwk8, libcoq-stdlib-2on11 Description: Coq Constructive Repository at Nijmegen Homepage: https://github.com/coq-community/corn Description-md5: ec8ab190706127a80e7654195179d6fa Section: ocaml Priority: optional Filename: pool/main/c/coq-corn/libcoq-corn_9.2.0-1+b1_amd64.deb Size: 13366720 MD5sum: 89e3e4271fb90bd363034a4b9224922e SHA256: 3dfa1b6709fd5bdbe214859db3775512fdf79b3eb979b96692a09ccedebe5d53 [sid] Package: libcoq-corn Source: coq-corn (9.2.0-1) Version: 9.2.0-1+b1 Installed-Size: 49171 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-corn-z2vs6 Depends: libcoq-bignums-oo3r4, libcoq-elpi-5btd8, libcoq-math-classes-ctwk8, libcoq-stdlib-2on11 Description: Coq Constructive Repository at Nijmegen Homepage: https://github.com/coq-community/corn Description-md5: ec8ab190706127a80e7654195179d6fa Section: ocaml Priority: optional Filename: pool/main/c/coq-corn/libcoq-corn_9.2.0-1+b1_amd64.deb Size: 13366720 MD5sum: 89e3e4271fb90bd363034a4b9224922e SHA256: 3dfa1b6709fd5bdbe214859db3775512fdf79b3eb979b96692a09ccedebe5d53 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-corn=9.2.0-1+b1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.6.1~202608291514~1.6.0-23-g1172a6e5 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt libcoq-corn=9.2.0-1+b1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 6.12.113+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.113-1 (2026-10-15) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp78jhy5tp 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp78jhy5tp 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/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/tmp78jhy5tp/dev/pts'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/pts'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/8', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/8', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ forky main 0m0.5s DEBUG: Created policy-rc.d and chmodded it. 0m0.5s DEBUG: Created resolv.conf. 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp78jhy5tp/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'update'] 0m3.0s DUMP: Get:1 http://deb.debian.org/debian forky InRelease [151 kB] Get:2 http://deb.debian.org/debian forky/main amd64 Packages [10.1 MB] Get:3 http://deb.debian.org/debian forky/main Translation-en [6689 kB] Fetched 17.0 MB in 2s (10.8 MB/s) Reading package lists... 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'update'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-yf', 'dist-upgrade'] 0m3.5s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-yf', 'dist-upgrade'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.9s DUMP: 7cea0a2280eef0ba6295b6230294c537 - 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.9s INFO: Running scripts post_setup 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s 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 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.7s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_minimize'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_minimize'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_zz_backports'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_setup_zz_backports'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.7s DUMP: install ok installed apt apt 3.3.3 install ok installed base-files base-files 14.2 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-4 install ok installed bsdutils bsdutils 1:2.42.4-1 install ok installed coreutils coreutils 9.10-1 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.92 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.24 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.11 install ok installed findutils findutils 4.11.0-3 install ok installed gcc-16-base:amd64 gcc-16-base 16.2.0-3 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.14-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69+nmu3 install ok installed libacl1:amd64 libacl1 2.4.0-1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.3.3 install ok installed libattr1:amd64 libattr1 1:2.6.0-1 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1+b2 install ok installed libblkid1:amd64 libblkid1 2.42.4-1 install ok installed libbsd0:amd64 libbsd0 0.12.2-3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b2 install ok installed libc-bin libc-bin 2.43-7 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.43-7 install ok installed libc6:amd64 libc6 2.43-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.9.6-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.2+20251210-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-11+b1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.283 install ok installed libgcc-s1:amd64 libgcc-s1 16.2.0-3 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b2 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1+b1 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-10 install ok installed liblzma5:amd64 liblzma5 5.8.4-1 install ok installed libmd0:amd64 libmd0 1.3.0-1 install ok installed libmount1:amd64 libmount1 2.42.4-1 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1+b1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-8 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-8 install ok installed libpam-runtime libpam-runtime 1.7.0-8 install ok installed libpam0g:amd64 libpam0g 1.7.0-8 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.48-3.1 install ok installed libseccomp2:amd64 libseccomp2 2.6.1-1+b2 install ok installed libselinux1:amd64 libselinux1 3.11-2.1+b1 install ok installed libsemanage-common libsemanage-common 3.11-1 install ok installed libsemanage2:amd64 libsemanage2 3.11-1+b2 install ok installed libsepol2:amd64 libsepol2 3.11-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.42.4-1 install ok installed libssl3t64:amd64 libssl3t64 3.6.5-1 install ok installed libstdc++6:amd64 libstdc++6 16.2.0-3 install ok installed libsystemd0:amd64 libsystemd0 262-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20260608-2 install ok installed libudev1:amd64 libudev1 262-1 install ok installed libuuid1:amd64 libuuid1 2.42.4-1 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-4 install ok installed login login 1:4.16.0-2+really2.42.4-1 install ok installed login.defs login.defs 1:4.20.3-1 install ok installed mawk mawk 1.3.4.20260302-2 install ok installed mount mount 2.42.4-1 install ok installed ncurses-base ncurses-base 6.6+20260608-2 install ok installed ncurses-bin ncurses-bin 6.6+20260608-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.6.5-1 install ok installed passwd passwd 1:4.20.3-1 install ok installed perl-base perl-base 5.42.3-1 install ok installed sed sed 4.9-3 install ok installed sqv sqv 1.5.0-1 install ok installed sysvinit-utils sysvinit-utils 3.18-1 install ok installed tar tar 1.35+dfsg-6 install ok installed tzdata tzdata 2026f-1 install ok installed util-linux util-linux 2.42.4-1 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.2-3 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.7s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m4.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m5.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m5.2s INFO: Running scripts is_testable 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/is_testable_uninstallable'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/is_testable_uninstallable'] 0m5.2s INFO: Running scripts pre_test 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_test_exceptions'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_test_exceptions'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_test_root_password'] 0m5.2s DUMP: New password: Retype new password: passwd: password updated successfully 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_test_root_password'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'show', '--no-all-versions', 'libcoq-corn'] 0m5.4s DUMP: Package: libcoq-corn Source: coq-corn (9.2.0-1) Version: 9.2.0-1+b1 Installed-Size: 49171 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-corn-z2vs6 Depends: libcoq-bignums-oo3r4, libcoq-elpi-5btd8, libcoq-math-classes-ctwk8, libcoq-stdlib-2on11 Description-en: Coq Constructive Repository at Nijmegen This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations. . Coq is a proof assistant for higher-order logic. Description-md5: ec8ab190706127a80e7654195179d6fa Homepage: https://github.com/coq-community/corn Section: ocaml Priority: optional Filename: pool/main/c/coq-corn/libcoq-corn_9.2.0-1+b1_amd64.deb Size: 13366720 MD5sum: 89e3e4271fb90bd363034a4b9224922e SHA256: 3dfa1b6709fd5bdbe214859db3775512fdf79b3eb979b96692a09ccedebe5d53 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'show', '--no-all-versions', 'libcoq-corn'] 0m5.4s INFO: apt-cache knows about the following packages: libcoq-corn 0m5.4s INFO: Running scripts pre_install 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_database-server'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_database-server'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_exceptions'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_exceptions'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_extras'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_extras'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy'] 0m5.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian forky/main amd64 Packages release o=Debian,a=testing,n=forky,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy', 'libcoq-corn'] 0m5.5s DUMP: libcoq-corn: Installed: (none) Candidate: 9.2.0-1+b1 Version table: 9.2.0-1+b1 500 500 http://deb.debian.org/debian forky/main amd64 Packages 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy', 'libcoq-corn'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-y', 'install', 'libcoq-corn'] 0m29.4s DUMP: Reading package lists... Building dependency tree... Solving dependencies... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-16 cpp-16-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-16 gcc-16-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-core libcoq-core-ocaml libcoq-elpi libcoq-math-classes libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-16-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe3 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp Suggested packages: binutils-doc gprofng-gui binutils-gold cpp-doc gcc-16-locales cpp-16-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-16-multilib gcc-16-doc gdb-x86-64-linux-gnu libc-devtools glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4 Recommended packages: manpages manpages-dev coq libgpm2 ocaml-man file libfindlib-ocaml-dev ledit | readline-editor The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-16 cpp-16-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-16 gcc-16-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-core libcoq-core-ocaml libcoq-corn libcoq-elpi libcoq-math-classes libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-16-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe3 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp 0 upgraded, 65 newly installed, 0 to remove and 0 not upgraded. Need to get 262 MB of archives. After this operation, 1142 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian forky/main amd64 libsframe3 amd64 2.47.50.20261021-1 [86.3 kB] Get:2 http://deb.debian.org/debian forky/main amd64 binutils-common amd64 2.47.50.20261021-1 [2687 kB] Get:3 http://deb.debian.org/debian forky/main amd64 libbinutils amd64 2.47.50.20261021-1 [566 kB] Get:4 http://deb.debian.org/debian forky/main amd64 libgprofng0 amd64 2.47.50.20261021-1 [848 kB] Get:5 http://deb.debian.org/debian forky/main amd64 libctf-nobfd0 amd64 2.47.50.20261021-1 [166 kB] Get:6 http://deb.debian.org/debian forky/main amd64 libctf0 amd64 2.47.50.20261021-1 [97.6 kB] Get:7 http://deb.debian.org/debian forky/main amd64 libjansson4 amd64 2.15.1-1 [65.6 kB] Get:8 http://deb.debian.org/debian forky/main amd64 binutils-x86-64-linux-gnu amd64 2.47.50.20261021-1 [1143 kB] Get:9 http://deb.debian.org/debian forky/main amd64 binutils amd64 2.47.50.20261021-1 [288 kB] Get:10 http://deb.debian.org/debian forky/main amd64 libisl23 amd64 0.28-1 [667 kB] Get:11 http://deb.debian.org/debian forky/main amd64 libmpfr6 amd64 4.2.2-3 [729 kB] Get:12 http://deb.debian.org/debian forky/main amd64 libmpc3 amd64 1.3.1-3 [52.2 kB] Get:13 http://deb.debian.org/debian forky/main amd64 cpp-16-x86-64-linux-gnu amd64 16.2.0-3 [13.7 MB] Get:14 http://deb.debian.org/debian forky/main amd64 cpp-16 amd64 16.2.0-3 [1272 B] Get:15 http://deb.debian.org/debian forky/main amd64 cpp-x86-64-linux-gnu amd64 4:16.1.0-3 [4472 B] Get:16 http://deb.debian.org/debian forky/main amd64 cpp amd64 4:16.1.0-3 [1568 B] Get:17 http://deb.debian.org/debian forky/main amd64 libcc1-0 amd64 16.2.0-3 [46.1 kB] Get:18 http://deb.debian.org/debian forky/main amd64 libgomp1 amd64 16.2.0-3 [151 kB] Get:19 http://deb.debian.org/debian forky/main amd64 libitm1 amd64 16.2.0-3 [26.9 kB] Get:20 http://deb.debian.org/debian forky/main amd64 libatomic1 amd64 16.2.0-3 [10.4 kB] Get:21 http://deb.debian.org/debian forky/main amd64 libasan8 amd64 16.2.0-3 [2888 kB] Get:22 http://deb.debian.org/debian forky/main amd64 liblsan0 amd64 16.2.0-3 [1281 kB] Get:23 http://deb.debian.org/debian forky/main amd64 libtsan2 amd64 16.2.0-3 [2574 kB] Get:24 http://deb.debian.org/debian forky/main amd64 libubsan1 amd64 16.2.0-3 [1136 kB] Get:25 http://deb.debian.org/debian forky/main amd64 libhwasan0 amd64 16.2.0-3 [1580 kB] Get:26 http://deb.debian.org/debian forky/main amd64 libquadmath0 amd64 16.2.0-3 [148 kB] Get:27 http://deb.debian.org/debian forky/main amd64 libgcc-16-dev amd64 16.2.0-3 [2782 kB] Get:28 http://deb.debian.org/debian forky/main amd64 gcc-16-x86-64-linux-gnu amd64 16.2.0-3 [26.6 MB] Get:29 http://deb.debian.org/debian forky/main amd64 gcc-16 amd64 16.2.0-3 [538 kB] Get:30 http://deb.debian.org/debian forky/main amd64 gcc-x86-64-linux-gnu amd64 4:16.1.0-3 [1432 B] Get:31 http://deb.debian.org/debian forky/main amd64 gcc amd64 4:16.1.0-3 [5148 B] Get:32 http://deb.debian.org/debian forky/main amd64 libc-dev-bin amd64 2.43-7 [39.7 kB] Get:33 http://deb.debian.org/debian forky/main amd64 linux-libc-dev all 7.2.12-1 [2029 kB] Get:34 http://deb.debian.org/debian forky/main amd64 libc6-dev amd64 2.43-7 [2069 kB] Get:35 http://deb.debian.org/debian forky/main amd64 libstdlib-ocaml amd64 5.4.1-1 [604 kB] Get:36 http://deb.debian.org/debian forky/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1 [6479 kB] Get:37 http://deb.debian.org/debian forky/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1 [39.3 MB] Get:38 http://deb.debian.org/debian forky/main amd64 libcoq-core amd64 9.2.0+dfsg-4 [1153 kB] Get:39 http://deb.debian.org/debian forky/main amd64 libcoq-stdlib amd64 9.2.0-1+b2 [20.1 MB] Get:40 http://deb.debian.org/debian forky/main amd64 libcoq-bignums amd64 9.0.0+rocq9.2-3+b2 [1900 kB] Get:41 http://deb.debian.org/debian forky/main amd64 ocaml-base amd64 5.4.1-1 [505 kB] Get:42 http://deb.debian.org/debian forky/main amd64 libfindlib-ocaml amd64 1.9.8-1+b4 [194 kB] Get:43 http://deb.debian.org/debian forky/main amd64 libzarith-ocaml amd64 1.14-4 [110 kB] Get:44 http://deb.debian.org/debian forky/main amd64 libcoq-core-ocaml amd64 9.2.0+dfsg-4 [25.8 MB] Get:45 http://deb.debian.org/debian forky/main amd64 libsexplib0-ocaml amd64 0.17.0-1+b4 [115 kB] Get:46 http://deb.debian.org/debian forky/main amd64 libppx-deriving-ocaml amd64 6.2.0-1+b1 [403 kB] Get:47 http://deb.debian.org/debian forky/main amd64 libelpi-ocaml amd64 3.7.2-2+b4 [3398 kB] Get:48 http://deb.debian.org/debian forky/main amd64 ocaml-interp amd64 5.4.1-1 [7459 kB] Get:49 http://deb.debian.org/debian forky/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB] Get:50 http://deb.debian.org/debian forky/main amd64 libncursesw6 amd64 6.6+20260608-2 [137 kB] Get:51 http://deb.debian.org/debian forky/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB] Get:52 http://deb.debian.org/debian forky/main amd64 libzstd-dev amd64 1.5.7+dfsg-4 [371 kB] Get:53 http://deb.debian.org/debian forky/main amd64 ocaml amd64 5.4.1-1 [18.8 MB] Get:54 http://deb.debian.org/debian forky/main amd64 libmenhir-ocaml-dev amd64 20260209+ds-3 [1007 kB] Get:55 http://deb.debian.org/debian forky/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-2+b1 [94.5 kB] Get:56 http://deb.debian.org/debian forky/main amd64 ocaml-findlib amd64 1.9.8-1+b4 [597 kB] Get:57 http://deb.debian.org/debian forky/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b6 [17.0 kB] Get:58 http://deb.debian.org/debian forky/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+b4 [274 kB] Get:59 http://deb.debian.org/debian forky/main amd64 libppxlib-ocaml-dev amd64 0.39.0-1 [19.7 MB] Get:60 http://deb.debian.org/debian forky/main amd64 libppx-deriving-ocaml-dev amd64 6.2.0-1+b1 [5087 kB] Get:61 http://deb.debian.org/debian forky/main amd64 libre-ocaml-dev amd64 1.14.0-2+b1 [1356 kB] Get:62 http://deb.debian.org/debian forky/main amd64 libelpi-ocaml-dev amd64 3.7.2-2+b4 [12.1 MB] Get:63 http://deb.debian.org/debian forky/main amd64 libcoq-elpi amd64 3.5.1-1 [13.0 MB] Get:64 http://deb.debian.org/debian forky/main amd64 libcoq-math-classes amd64 9.2.0-1+b2 [2873 kB] Get:65 http://deb.debian.org/debian forky/main amd64 libcoq-corn amd64 9.2.0-1+b1 [13.4 MB] Fetched 262 MB in 11s (23.5 MB/s) Selecting previously unselected package libsframe3: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 ... 4952 files and directories currently installed.) Preparing to unpack .../00-libsframe3_2.47.50.20261021-1_amd64.deb ... Unpacking libsframe3:amd64 (2.47.50.20261021-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../01-binutils-common_2.47.50.20261021-1_amd64.deb ... Unpacking binutils-common:amd64 (2.47.50.20261021-1) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../02-libbinutils_2.47.50.20261021-1_amd64.deb ... Unpacking libbinutils:amd64 (2.47.50.20261021-1) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../03-libgprofng0_2.47.50.20261021-1_amd64.deb ... Unpacking libgprofng0:amd64 (2.47.50.20261021-1) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../04-libctf-nobfd0_2.47.50.20261021-1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.47.50.20261021-1) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../05-libctf0_2.47.50.20261021-1_amd64.deb ... Unpacking libctf0:amd64 (2.47.50.20261021-1) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../06-libjansson4_2.15.1-1_amd64.deb ... Unpacking libjansson4:amd64 (2.15.1-1) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../07-binutils-x86-64-linux-gnu_2.47.50.20261021-1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.47.50.20261021-1) ... Selecting previously unselected package binutils. Preparing to unpack .../08-binutils_2.47.50.20261021-1_amd64.deb ... Unpacking binutils (2.47.50.20261021-1) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../09-libisl23_0.28-1_amd64.deb ... Unpacking libisl23:amd64 (0.28-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../10-libmpfr6_4.2.2-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.2-3) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../11-libmpc3_1.3.1-3_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-3) ... Selecting previously unselected package cpp-16-x86-64-linux-gnu. Preparing to unpack .../12-cpp-16-x86-64-linux-gnu_16.2.0-3_amd64.deb ... Unpacking cpp-16-x86-64-linux-gnu (16.2.0-3) ... Selecting previously unselected package cpp-16. Preparing to unpack .../13-cpp-16_16.2.0-3_amd64.deb ... Unpacking cpp-16 (16.2.0-3) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a16.1.0-3_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:16.1.0-3) ... Selecting previously unselected package cpp. Preparing to unpack .../15-cpp_4%3a16.1.0-3_amd64.deb ... Unpacking cpp (4:16.1.0-3) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../16-libcc1-0_16.2.0-3_amd64.deb ... Unpacking libcc1-0:amd64 (16.2.0-3) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../17-libgomp1_16.2.0-3_amd64.deb ... Unpacking libgomp1:amd64 (16.2.0-3) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../18-libitm1_16.2.0-3_amd64.deb ... Unpacking libitm1:amd64 (16.2.0-3) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../19-libatomic1_16.2.0-3_amd64.deb ... Unpacking libatomic1:amd64 (16.2.0-3) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../20-libasan8_16.2.0-3_amd64.deb ... Unpacking libasan8:amd64 (16.2.0-3) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../21-liblsan0_16.2.0-3_amd64.deb ... Unpacking liblsan0:amd64 (16.2.0-3) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../22-libtsan2_16.2.0-3_amd64.deb ... Unpacking libtsan2:amd64 (16.2.0-3) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../23-libubsan1_16.2.0-3_amd64.deb ... Unpacking libubsan1:amd64 (16.2.0-3) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../24-libhwasan0_16.2.0-3_amd64.deb ... Unpacking libhwasan0:amd64 (16.2.0-3) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../25-libquadmath0_16.2.0-3_amd64.deb ... Unpacking libquadmath0:amd64 (16.2.0-3) ... Selecting previously unselected package libgcc-16-dev:amd64. Preparing to unpack .../26-libgcc-16-dev_16.2.0-3_amd64.deb ... Unpacking libgcc-16-dev:amd64 (16.2.0-3) ... Selecting previously unselected package gcc-16-x86-64-linux-gnu. Preparing to unpack .../27-gcc-16-x86-64-linux-gnu_16.2.0-3_amd64.deb ... Unpacking gcc-16-x86-64-linux-gnu (16.2.0-3) ... Selecting previously unselected package gcc-16. Preparing to unpack .../28-gcc-16_16.2.0-3_amd64.deb ... Unpacking gcc-16 (16.2.0-3) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../29-gcc-x86-64-linux-gnu_4%3a16.1.0-3_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:16.1.0-3) ... Selecting previously unselected package gcc. Preparing to unpack .../30-gcc_4%3a16.1.0-3_amd64.deb ... Unpacking gcc (4:16.1.0-3) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../31-libc-dev-bin_2.43-7_amd64.deb ... Unpacking libc-dev-bin (2.43-7) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../32-linux-libc-dev_7.2.12-1_all.deb ... Unpacking linux-libc-dev (7.2.12-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../33-libc6-dev_2.43-7_amd64.deb ... Unpacking libc6-dev:amd64 (2.43-7) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../34-libstdlib-ocaml_5.4.1-1_amd64.deb ... Unpacking libstdlib-ocaml (5.4.1-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../35-libstdlib-ocaml-dev_5.4.1-1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.4.1-1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../36-libcompiler-libs-ocaml-dev_5.4.1-1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.4.1-1) ... Selecting previously unselected package libcoq-core. Preparing to unpack .../37-libcoq-core_9.2.0+dfsg-4_amd64.deb ... Unpacking libcoq-core (9.2.0+dfsg-4) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../38-libcoq-stdlib_9.2.0-1+b2_amd64.deb ... Unpacking libcoq-stdlib (9.2.0-1+b2) ... Selecting previously unselected package libcoq-bignums. Preparing to unpack .../39-libcoq-bignums_9.0.0+rocq9.2-3+b2_amd64.deb ... Unpacking libcoq-bignums (9.0.0+rocq9.2-3+b2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../40-ocaml-base_5.4.1-1_amd64.deb ... Unpacking ocaml-base (5.4.1-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../41-libfindlib-ocaml_1.9.8-1+b4_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+b4) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../42-libzarith-ocaml_1.14-4_amd64.deb ... Unpacking libzarith-ocaml (1.14-4) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../43-libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb ... Unpacking libcoq-core-ocaml (9.2.0+dfsg-4) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../44-libsexplib0-ocaml_0.17.0-1+b4_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1+b4) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../45-libppx-deriving-ocaml_6.2.0-1+b1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.2.0-1+b1) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../46-libelpi-ocaml_3.7.2-2+b4_amd64.deb ... Unpacking libelpi-ocaml (3.7.2-2+b4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../47-ocaml-interp_5.4.1-1_amd64.deb ... Unpacking ocaml-interp (5.4.1-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../48-libncurses6_6.6+20260608-2_amd64.deb ... Unpacking libncurses6:amd64 (6.6+20260608-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../49-libncursesw6_6.6+20260608-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20260608-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../50-libncurses-dev_6.6+20260608-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.6+20260608-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../51-libzstd-dev_1.5.7+dfsg-4_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-4) ... Selecting previously unselected package ocaml. Preparing to unpack .../52-ocaml_5.4.1-1_amd64.deb ... Unpacking ocaml (5.4.1-1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../53-libmenhir-ocaml-dev_20260209+ds-3_amd64.deb ... Unpacking libmenhir-ocaml-dev (20260209+ds-3) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../54-libocaml-compiler-libs-ocaml-dev_0.17.0-2+b1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-2+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../55-ocaml-findlib_1.9.8-1+b4_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+b4) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../56-libppx-derivers-ocaml-dev_1.2.1-4+b6_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b6) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../57-libsexplib0-ocaml-dev_0.17.0-1+b4_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1+b4) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../58-libppxlib-ocaml-dev_0.39.0-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.39.0-1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../59-libppx-deriving-ocaml-dev_6.2.0-1+b1_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.2.0-1+b1) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../60-libre-ocaml-dev_1.14.0-2+b1_amd64.deb ... Unpacking libre-ocaml-dev (1.14.0-2+b1) ... Selecting previously unselected package libelpi-ocaml-dev. Preparing to unpack .../61-libelpi-ocaml-dev_3.7.2-2+b4_amd64.deb ... Unpacking libelpi-ocaml-dev (3.7.2-2+b4) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../62-libcoq-elpi_3.5.1-1_amd64.deb ... Unpacking libcoq-elpi (3.5.1-1) ... Selecting previously unselected package libcoq-math-classes. Preparing to unpack .../63-libcoq-math-classes_9.2.0-1+b2_amd64.deb ... Unpacking libcoq-math-classes (9.2.0-1+b2) ... Selecting previously unselected package libcoq-corn. Preparing to unpack .../64-libcoq-corn_9.2.0-1+b1_amd64.deb ... Unpacking libcoq-corn (9.2.0-1+b1) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-4) ... Setting up binutils-common:amd64 (2.47.50.20261021-1) ... Setting up libsframe3:amd64 (2.47.50.20261021-1) ... Setting up linux-libc-dev (7.2.12-1) ... Setting up libctf-nobfd0:amd64 (2.47.50.20261021-1) ... Setting up libcoq-core (9.2.0+dfsg-4) ... Setting up libgomp1:amd64 (16.2.0-3) ... Setting up libjansson4:amd64 (2.15.1-1) ... Setting up libcoq-stdlib (9.2.0-1+b2) ... Setting up libmpfr6:amd64 (4.2.2-3) ... Setting up libncurses6:amd64 (6.6+20260608-2) ... Setting up libquadmath0:amd64 (16.2.0-3) ... Setting up libstdlib-ocaml (5.4.1-1) ... Setting up libmpc3:amd64 (1.3.1-3) ... Setting up libatomic1:amd64 (16.2.0-3) ... Setting up ocaml-base (5.4.1-1) ... Setting up libncursesw6:amd64 (6.6+20260608-2) ... Setting up libubsan1:amd64 (16.2.0-3) ... Setting up libsexplib0-ocaml (0.17.0-1+b4) ... Setting up libhwasan0:amd64 (16.2.0-3) ... Setting up libasan8:amd64 (16.2.0-3) ... Setting up libtsan2:amd64 (16.2.0-3) ... Setting up libbinutils:amd64 (2.47.50.20261021-1) ... Setting up libisl23:amd64 (0.28-1) ... Setting up libc-dev-bin (2.43-7) ... Setting up libcc1-0:amd64 (16.2.0-3) ... Setting up libcoq-bignums (9.0.0+rocq9.2-3+b2) ... Setting up liblsan0:amd64 (16.2.0-3) ... Setting up libitm1:amd64 (16.2.0-3) ... Setting up libctf0:amd64 (2.47.50.20261021-1) ... Setting up libppx-deriving-ocaml (6.2.0-1+b1) ... Setting up libgcc-16-dev:amd64 (16.2.0-3) ... Setting up libstdlib-ocaml-dev (5.4.1-1) ... Setting up libfindlib-ocaml (1.9.8-1+b4) ... Setting up libzarith-ocaml (1.14-4) ... Setting up libcompiler-libs-ocaml-dev (5.4.1-1) ... Setting up libgprofng0:amd64 (2.47.50.20261021-1) ... Setting up ocaml-interp (5.4.1-1) ... Setting up ocaml-findlib (1.9.8-1+b4) ... Setting up libcoq-math-classes (9.2.0-1+b2) ... Setting up libelpi-ocaml (3.7.2-2+b4) ... Setting up libcoq-core-ocaml (9.2.0+dfsg-4) ... Setting up libc6-dev:amd64 (2.43-7) ... Setting up cpp-16-x86-64-linux-gnu (16.2.0-3) ... Setting up binutils-x86-64-linux-gnu (2.47.50.20261021-1) ... Setting up cpp-x86-64-linux-gnu (4:16.1.0-3) ... Setting up libncurses-dev:amd64 (6.6+20260608-2) ... Setting up gcc-16-x86-64-linux-gnu (16.2.0-3) ... Setting up binutils (2.47.50.20261021-1) ... Setting up cpp-16 (16.2.0-3) ... Setting up gcc-x86-64-linux-gnu (4:16.1.0-3) ... Setting up gcc-16 (16.2.0-3) ... Setting up cpp (4:16.1.0-3) ... Setting up gcc (4:16.1.0-3) ... Setting up ocaml (5.4.1-1) ... Setting up libre-ocaml-dev (1.14.0-2+b1) ... Setting up libmenhir-ocaml-dev (20260209+ds-3) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-2+b1) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+b4) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b6) ... Setting up libppxlib-ocaml-dev (0.39.0-1) ... Setting up libppx-deriving-ocaml-dev (6.2.0-1+b1) ... Setting up libelpi-ocaml-dev (3.7.2-2+b4) ... Setting up libcoq-elpi (3.5.1-1) ... Setting up libcoq-corn (9.2.0-1+b1) ... Processing triggers for libc-bin (2.43-7) ... 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-y', 'install', 'libcoq-corn'] 0m29.4s INFO: Running scripts post_install 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_install_exceptions'] 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_install_exceptions'] 0m29.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m30.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m30.5s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp78jhy5tp to sid 0m30.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m30.5s INFO: Running scripts pre_distupgrade 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m30.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_exceptions'] 0m30.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_exceptions'] 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m30.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m30.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m30.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m30.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'update'] 0m34.4s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [193 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.8 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7773 kB] Fetched 18.8 MB in 3s (6426 kB/s) Reading package lists... 0m34.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'update'] 0m34.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-yf', 'dist-upgrade'] 0m41.1s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: libcap2 The following packages will be upgraded: apt coreutils cpp-16 cpp-16-x86-64-linux-gnu gcc-16 gcc-16-base gcc-16-x86-64-linux-gnu libapt-pkg7.0 libasan8 libatomic1 libaudit-common libaudit1 libcc1-0 libdb5.3t64 libgcc-16-dev libgcc-s1 libgomp1 libhwasan0 libitm1 liblsan0 libpcre2-8-0 libquadmath0 libstdc++6 libsystemd0 libtsan2 libubsan1 libudev1 linux-libc-dev tar zlib1g 30 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 65.4 MB of archives. After this operation, 1966 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libcap2 amd64 1:2.78-1+b1 [28.8 kB] Get:2 http://deb.debian.org/debian sid/main amd64 coreutils amd64 9.12-0.3 [3339 kB] Get:3 http://deb.debian.org/debian sid/main amd64 tar amd64 1.35+dfsg-7 [825 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 16.2.0-4 [1136 kB] Get:5 http://deb.debian.org/debian sid/main amd64 gcc-16-base amd64 16.2.0-4 [39.3 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 16.2.0-4 [74.1 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 16.2.0-4 [151 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 16.2.0-4 [26.9 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 16.2.0-4 [10.4 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 16.2.0-4 [2889 kB] Get:11 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 16.2.0-4 [1281 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 16.2.0-4 [1580 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 16.2.0-4 [147 kB] Get:14 http://deb.debian.org/debian sid/main amd64 gcc-16 amd64 16.2.0-4 [541 kB] Get:15 http://deb.debian.org/debian sid/main amd64 cpp-16 amd64 16.2.0-4 [1276 B] Get:16 http://deb.debian.org/debian sid/main amd64 cpp-16-x86-64-linux-gnu amd64 16.2.0-4 [13.7 MB] Get:17 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 16.2.0-4 [46.1 kB] Get:18 http://deb.debian.org/debian sid/main amd64 gcc-16-x86-64-linux-gnu amd64 16.2.0-4 [26.6 MB] Get:19 http://deb.debian.org/debian sid/main amd64 libgcc-16-dev amd64 16.2.0-4 [2780 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 16.2.0-4 [2574 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 16.2.0-4 [822 kB] Get:22 http://deb.debian.org/debian sid/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.2-4 [92.4 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 262.1-1 [512 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 262.1-1 [149 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libapt-pkg7.0 amd64 3.3.5 [1292 kB] Get:26 http://deb.debian.org/debian sid/main amd64 apt amd64 3.3.5 [1580 kB] Get:27 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:4.2.1-1 [13.3 kB] Get:28 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:4.2.1-1+b1 [59.9 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-12 [737 kB] Get:30 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.49-1 [313 kB] Get:31 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 7.2.15-1 [2037 kB] Fetched 65.4 MB in 1s (52.6 MB/s) Selecting previously unselected package libcap2: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 ... 17569 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.78-1+b1_amd64.deb ... Unpacking libcap2:amd64 (1:2.78-1+b1) ... Setting up libcap2:amd64 (1:2.78-1+b1) ... (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 ... 17578 files and directories currently installed.) Preparing to unpack .../coreutils_9.12-0.3_amd64.deb ... Unpacking coreutils (9.12-0.3) over (9.10-1) ... Setting up coreutils (9.12-0.3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17578 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-7_amd64.deb ... Unpacking tar (1.35+dfsg-7) over (1.35+dfsg-6) ... Setting up tar (1.35+dfsg-7) ... (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 ... 17578 files and directories currently installed.) Preparing to unpack .../libubsan1_16.2.0-4_amd64.deb ... Unpacking libubsan1:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../gcc-16-base_16.2.0-4_amd64.deb ... Unpacking gcc-16-base:amd64 (16.2.0-4) over (16.2.0-3) ... Setting up gcc-16-base:amd64 (16.2.0-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 ... 17578 files and directories currently installed.) Preparing to unpack .../libgcc-s1_16.2.0-4_amd64.deb ... Unpacking libgcc-s1:amd64 (16.2.0-4) over (16.2.0-3) ... Setting up libgcc-s1:amd64 (16.2.0-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 ... 17578 files and directories currently installed.) Preparing to unpack .../00-libgomp1_16.2.0-4_amd64.deb ... Unpacking libgomp1:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../01-libitm1_16.2.0-4_amd64.deb ... Unpacking libitm1:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../02-libatomic1_16.2.0-4_amd64.deb ... Unpacking libatomic1:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../03-libasan8_16.2.0-4_amd64.deb ... Unpacking libasan8:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../04-liblsan0_16.2.0-4_amd64.deb ... Unpacking liblsan0:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../05-libhwasan0_16.2.0-4_amd64.deb ... Unpacking libhwasan0:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../06-libquadmath0_16.2.0-4_amd64.deb ... Unpacking libquadmath0:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../07-gcc-16_16.2.0-4_amd64.deb ... Unpacking gcc-16 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../08-cpp-16_16.2.0-4_amd64.deb ... Unpacking cpp-16 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../09-cpp-16-x86-64-linux-gnu_16.2.0-4_amd64.deb ... Unpacking cpp-16-x86-64-linux-gnu (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../10-libcc1-0_16.2.0-4_amd64.deb ... Unpacking libcc1-0:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../11-gcc-16-x86-64-linux-gnu_16.2.0-4_amd64.deb ... Unpacking gcc-16-x86-64-linux-gnu (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../12-libgcc-16-dev_16.2.0-4_amd64.deb ... Unpacking libgcc-16-dev:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../13-libtsan2_16.2.0-4_amd64.deb ... Unpacking libtsan2:amd64 (16.2.0-4) over (16.2.0-3) ... Preparing to unpack .../14-libstdc++6_16.2.0-4_amd64.deb ... Unpacking libstdc++6:amd64 (16.2.0-4) over (16.2.0-3) ... Setting up libstdc++6:amd64 (16.2.0-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 ... 17578 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg+really1.3.2-4_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.2-4) over (1:1.3.dfsg+really1.3.2-3) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.2-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 ... 17578 files and directories currently installed.) Preparing to unpack .../libsystemd0_262.1-1_amd64.deb ... Unpacking libsystemd0:amd64 (262.1-1) over (262-1) ... Setting up libsystemd0:amd64 (262.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17578 files and directories currently installed.) Preparing to unpack .../libudev1_262.1-1_amd64.deb ... Unpacking libudev1:amd64 (262.1-1) over (262-1) ... Setting up libudev1:amd64 (262.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17578 files and directories currently installed.) Preparing to unpack .../libapt-pkg7.0_3.3.5_amd64.deb ... Unpacking libapt-pkg7.0:amd64 (3.3.5) over (3.3.3) ... Setting up libapt-pkg7.0:amd64 (3.3.5) ... (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 ... 17578 files and directories currently installed.) Preparing to unpack .../archives/apt_3.3.5_amd64.deb ... Unpacking apt (3.3.5) over (3.3.3) ... Setting up apt (3.3.5) ... (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 ... 17578 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.2.1-1_all.deb ... Unpacking libaudit-common (1:4.2.1-1) over (1:4.1.2-1) ... Setting up libaudit-common (1:4.2.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17578 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.2.1-1+b1_amd64.deb ... Unpacking libaudit1:amd64 (1:4.2.1-1+b1) over (1:4.1.2-1+b2) ... Setting up libaudit1:amd64 (1:4.2.1-1+b1) ... (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 ... 17578 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-12_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-12) over (5.3.28+dfsg2-11+b1) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-12) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17577 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.49-1_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.49-1) over (10.48-3.1) ... Setting up libpcre2-8-0:amd64 (10.49-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17577 files and directories currently installed.) Preparing to unpack .../linux-libc-dev_7.2.15-1_all.deb ... Unpacking linux-libc-dev (7.2.15-1) over (7.2.12-1) ... Setting up linux-libc-dev (7.2.15-1) ... Setting up libgomp1:amd64 (16.2.0-4) ... Setting up libquadmath0:amd64 (16.2.0-4) ... Setting up libatomic1:amd64 (16.2.0-4) ... Setting up libubsan1:amd64 (16.2.0-4) ... Setting up libhwasan0:amd64 (16.2.0-4) ... Setting up libasan8:amd64 (16.2.0-4) ... Setting up cpp-16-x86-64-linux-gnu (16.2.0-4) ... Setting up libtsan2:amd64 (16.2.0-4) ... Setting up libcc1-0:amd64 (16.2.0-4) ... Setting up liblsan0:amd64 (16.2.0-4) ... Setting up libitm1:amd64 (16.2.0-4) ... Setting up libgcc-16-dev:amd64 (16.2.0-4) ... Setting up gcc-16-x86-64-linux-gnu (16.2.0-4) ... Setting up cpp-16 (16.2.0-4) ... Setting up gcc-16 (16.2.0-4) ... Processing triggers for libc-bin (2.43-7) ... Processing triggers for libselinux1:amd64 (3.11-2.1+b1) ... 0m41.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-yf', 'dist-upgrade'] 0m41.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m42.4s DUMP: ee80fe68d6866a124a2675d68d4e3b27 - 0m42.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m42.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'show', '--no-all-versions', 'libcoq-corn'] 0m42.7s DUMP: Package: libcoq-corn Source: coq-corn (9.2.0-1) Version: 9.2.0-1+b1 Installed-Size: 49171 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-corn-z2vs6 Depends: libcoq-bignums-oo3r4, libcoq-elpi-5btd8, libcoq-math-classes-ctwk8, libcoq-stdlib-2on11 Description-en: Coq Constructive Repository at Nijmegen This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations. . Coq is a proof assistant for higher-order logic. Description-md5: ec8ab190706127a80e7654195179d6fa Homepage: https://github.com/coq-community/corn Section: ocaml Priority: optional Filename: pool/main/c/coq-corn/libcoq-corn_9.2.0-1+b1_amd64.deb Size: 13366720 MD5sum: 89e3e4271fb90bd363034a4b9224922e SHA256: 3dfa1b6709fd5bdbe214859db3775512fdf79b3eb979b96692a09ccedebe5d53 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'show', '--no-all-versions', 'libcoq-corn'] 0m42.7s INFO: apt-cache knows about the following packages: libcoq-corn 0m42.7s INFO: Running scripts pre_install 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_database-server'] 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_database-server'] 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_exceptions'] 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_exceptions'] 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_extras'] 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_extras'] 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture'] 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture'] 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy'] 0m42.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m42.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy'] 0m42.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy', 'libcoq-corn'] 0m42.8s DUMP: libcoq-corn: Installed: 9.2.0-1+b1 Candidate: 9.2.0-1+b1 Version table: *** 9.2.0-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m42.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy', 'libcoq-corn'] 0m42.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-y', 'install', 'libcoq-corn'] 0m43.3s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-corn is already the newest version (9.2.0-1+b1). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-y', 'install', 'libcoq-corn'] 0m43.3s INFO: Running scripts post_install 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_install_exceptions'] 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_install_exceptions'] 0m43.3s INFO: Running scripts post_distupgrade 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_exceptions'] 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_exceptions'] 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_zz_backports'] 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_distupgrade_zz_backports'] 0m43.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m44.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m44.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m45.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m45.4s INFO: Running scripts pre_install 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_database-server'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_database-server'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_exceptions'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_exceptions'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_extras'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_extras'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m45.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m45.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy'] 0m45.5s 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: 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy'] 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy', 'libcoq-corn'] 0m45.5s DUMP: libcoq-corn: Installed: 9.2.0-1+b1 Candidate: 9.2.0-1+b1 Version table: *** 9.2.0-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m45.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-cache', 'policy', 'libcoq-corn'] 0m45.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-y', 'install', 'libcoq-corn=9.2.0-1+b1'] 0m46.0s DUMP: Reading package lists... Building dependency tree... Reading state information... libcoq-corn is already the newest version (9.2.0-1+b1). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m46.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', '-y', 'install', 'libcoq-corn=9.2.0-1+b1'] 0m46.0s INFO: Running scripts post_install 0m46.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_install_exceptions'] 0m46.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_install_exceptions'] 0m46.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m47.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m47.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', '-ac', '--ignore-obsolete'] 0m52.7s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', '-ac', '--ignore-obsolete'] 0m52.7s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m52.7s DUMP: 0.17.5+b5 0m52.7s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m52.7s INFO: Running adequate version 0.17.5+b5 now. 0m52.7s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'libcoq-corn'] 0m52.8s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'libcoq-corn'] 0m52.8s INFO: Running scripts pre_remove 0m52.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m53.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m53.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m53.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m53.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m54.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m54.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m54.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m54.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_exceptions'] 0m54.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/pre_remove_exceptions'] 0m54.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m54.8s DUMP: install ok installed apt apt 3.3.5 install ok installed base-files base-files 14.2 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-4 install ok installed binutils binutils 2.47.50.20261021-1 install ok installed binutils-common:amd64 binutils-common 2.47.50.20261021-1 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.47.50.20261021-1 install ok installed bsdutils bsdutils 1:2.42.4-1 install ok installed coreutils coreutils 9.12-0.3 install ok installed cpp cpp 4:16.1.0-3 install ok installed cpp-16 cpp-16 16.2.0-4 install ok installed cpp-16-x86-64-linux-gnu cpp-16-x86-64-linux-gnu 16.2.0-4 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:16.1.0-3 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.92 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.24 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.11 install ok installed findutils findutils 4.11.0-3 install ok installed gcc gcc 4:16.1.0-3 install ok installed gcc-16 gcc-16 16.2.0-4 install ok installed gcc-16-base:amd64 gcc-16-base 16.2.0-4 install ok installed gcc-16-x86-64-linux-gnu gcc-16-x86-64-linux-gnu 16.2.0-4 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:16.1.0-3 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.14-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69+nmu3 install ok installed libacl1:amd64 libacl1 2.4.0-1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.3.5 install ok installed libasan8:amd64 libasan8 16.2.0-4 install ok installed libatomic1:amd64 libatomic1 16.2.0-4 install ok installed libattr1:amd64 libattr1 1:2.6.0-1 install ok installed libaudit-common libaudit-common 1:4.2.1-1 install ok installed libaudit1:amd64 libaudit1 1:4.2.1-1+b1 install ok installed libbinutils:amd64 libbinutils 2.47.50.20261021-1 install ok installed libblkid1:amd64 libblkid1 2.42.4-1 install ok installed libbsd0:amd64 libbsd0 0.12.2-3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b2 install ok installed libc-bin libc-bin 2.43-7 install ok installed libc-dev-bin libc-dev-bin 2.43-7 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.43-7 install ok installed libc6:amd64 libc6 2.43-7 install ok installed libc6-dev:amd64 libc6-dev 2.43-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.9.6-1+b1 install ok installed libcap2:amd64 libcap2 1:2.78-1+b1 install ok installed libcc1-0:amd64 libcc1-0 16.2.0-4 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.4.1-1 install ok installed libcoq-bignums libcoq-bignums 9.0.0+rocq9.2-3+b2 install ok installed libcoq-core libcoq-core 9.2.0+dfsg-4 install ok installed libcoq-core-ocaml libcoq-core-ocaml 9.2.0+dfsg-4 install ok installed libcoq-corn libcoq-corn 9.2.0-1+b1 install ok installed libcoq-elpi libcoq-elpi 3.5.1-1 install ok installed libcoq-math-classes libcoq-math-classes 9.2.0-1+b2 install ok installed libcoq-stdlib libcoq-stdlib 9.2.0-1+b2 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.2+20251210-1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.47.50.20261021-1 install ok installed libctf0:amd64 libctf0 2.47.50.20261021-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-12 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.283 install ok installed libelpi-ocaml libelpi-ocaml 3.7.2-2+b4 install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 3.7.2-2+b4 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.8-1+b4 install ok installed libgcc-16-dev:amd64 libgcc-16-dev 16.2.0-4 install ok installed libgcc-s1:amd64 libgcc-s1 16.2.0-4 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b2 install ok installed libgomp1:amd64 libgomp1 16.2.0-4 install ok installed libgprofng0:amd64 libgprofng0 2.47.50.20261021-1 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1+b1 install ok installed libhwasan0:amd64 libhwasan0 16.2.0-4 install ok installed libisl23:amd64 libisl23 0.28-1 install ok installed libitm1:amd64 libitm1 16.2.0-4 install ok installed libjansson4:amd64 libjansson4 2.15.1-1 install ok installed liblsan0:amd64 liblsan0 16.2.0-4 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-10 install ok installed liblzma5:amd64 liblzma5 5.8.4-1 install ok installed libmd0:amd64 libmd0 1.3.0-1 install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20260209+ds-3 install ok installed libmount1:amd64 libmount1 2.42.4-1 install ok installed libmpc3:amd64 libmpc3 1.3.1-3 install ok installed libmpfr6:amd64 libmpfr6 4.2.2-3 install ok installed libncurses-dev:amd64 libncurses-dev 6.6+20260608-2 install ok installed libncurses6:amd64 libncurses6 6.6+20260608-2 install ok installed libncursesw6:amd64 libncursesw6 6.6+20260608-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1+b1 install ok installed libocaml-compiler-libs-ocaml-dev libocaml-compiler-libs-ocaml-dev 0.17.0-2+b1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-8 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-8 install ok installed libpam-runtime libpam-runtime 1.7.0-8 install ok installed libpam0g:amd64 libpam0g 1.7.0-8 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.49-1 install ok installed libppx-derivers-ocaml-dev libppx-derivers-ocaml-dev 1.2.1-4+b6 install ok installed libppx-deriving-ocaml libppx-deriving-ocaml 6.2.0-1+b1 install ok installed libppx-deriving-ocaml-dev libppx-deriving-ocaml-dev 6.2.0-1+b1 install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.39.0-1 install ok installed libquadmath0:amd64 libquadmath0 16.2.0-4 install ok installed libre-ocaml-dev libre-ocaml-dev 1.14.0-2+b1 install ok installed libseccomp2:amd64 libseccomp2 2.6.1-1+b2 install ok installed libselinux1:amd64 libselinux1 3.11-2.1+b1 install ok installed libsemanage-common libsemanage-common 3.11-1 install ok installed libsemanage2:amd64 libsemanage2 3.11-1+b2 install ok installed libsepol2:amd64 libsepol2 3.11-1 install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.17.0-1+b4 install ok installed libsexplib0-ocaml-dev libsexplib0-ocaml-dev 0.17.0-1+b4 install ok installed libsframe3:amd64 libsframe3 2.47.50.20261021-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.42.4-1 install ok installed libssl3t64:amd64 libssl3t64 3.6.5-1 install ok installed libstdc++6:amd64 libstdc++6 16.2.0-4 install ok installed libstdlib-ocaml libstdlib-ocaml 5.4.1-1 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 5.4.1-1 install ok installed libsystemd0:amd64 libsystemd0 262.1-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20260608-2 install ok installed libtsan2:amd64 libtsan2 16.2.0-4 install ok installed libubsan1:amd64 libubsan1 16.2.0-4 install ok installed libudev1:amd64 libudev1 262.1-1 install ok installed libuuid1:amd64 libuuid1 2.42.4-1 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b2 install ok installed libzarith-ocaml libzarith-ocaml 1.14-4 install ok installed libzstd-dev:amd64 libzstd-dev 1.5.7+dfsg-4 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-4 install ok installed linux-libc-dev linux-libc-dev 7.2.15-1 install ok installed login login 1:4.16.0-2+really2.42.4-1 install ok installed login.defs login.defs 1:4.20.3-1 install ok installed mawk mawk 1.3.4.20260302-2 install ok installed mount mount 2.42.4-1 install ok installed ncurses-base ncurses-base 6.6+20260608-2 install ok installed ncurses-bin ncurses-bin 6.6+20260608-2 install ok installed ocaml ocaml 5.4.1-1 install ok installed ocaml-base ocaml-base 5.4.1-1 install ok installed ocaml-findlib ocaml-findlib 1.9.8-1+b4 install ok installed ocaml-interp ocaml-interp 5.4.1-1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.6.5-1 install ok installed passwd passwd 1:4.20.3-1 install ok installed perl-base perl-base 5.42.3-1 install ok installed sed sed 4.9-3 install ok installed sqv sqv 1.5.0-1 install ok installed sysvinit-utils sysvinit-utils 3.18-1 install ok installed tar tar 1.35+dfsg-7 install ok installed tzdata tzdata 2026f-1 install ok installed util-linux util-linux 2.42.4-1 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.2-4 0m54.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m54.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-16', 'cpp-16-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-16', 'gcc-16-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-bignums', 'libcoq-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-math-classes', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-16-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe3:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'libcoq-corn'] 0m56.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-16 cpp-16-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-16 gcc-16-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-core libcoq-core-ocaml libcoq-corn libcoq-elpi libcoq-math-classes libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-16-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libocaml-compiler-libs-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libquadmath0 libre-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsframe3 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-findlib ocaml-interp 0 upgraded, 0 newly installed, 65 to remove and 0 not upgraded. After this operation, 1142 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 ... 17577 files and directories currently installed.) Removing libcoq-corn (9.2.0-1+b1) ... Removing libcoq-elpi (3.5.1-1) ... Removing libelpi-ocaml-dev (3.7.2-2+b4) ... Removing libppx-deriving-ocaml-dev (6.2.0-1+b1) ... Removing libppxlib-ocaml-dev (0.39.0-1) ... Removing libppx-derivers-ocaml-dev (1.2.1-4+b6) ... Removing libcoq-math-classes (9.2.0-1+b2) ... Removing libcoq-bignums (9.0.0+rocq9.2-3+b2) ... Removing libcoq-stdlib (9.2.0-1+b2) ... Removing libcoq-core (9.2.0+dfsg-4) ... Removing libcoq-core-ocaml (9.2.0+dfsg-4) ... Removing libelpi-ocaml (3.7.2-2+b4) ... Removing ocaml-findlib (1.9.8-1+b4) ... Removing libfindlib-ocaml (1.9.8-1+b4) ... Removing libmenhir-ocaml-dev (20260209+ds-3) ... Removing libocaml-compiler-libs-ocaml-dev (0.17.0-2+b1) ... Removing libppx-deriving-ocaml (6.2.0-1+b1) ... Removing libre-ocaml-dev (1.14.0-2+b1) ... Removing libsexplib0-ocaml-dev (0.17.0-1+b4) ... Removing libsexplib0-ocaml (0.17.0-1+b4) ... Removing libzarith-ocaml (1.14-4) ... Removing ocaml (5.4.1-1) ... Removing gcc (4:16.1.0-3) ... Removing gcc-16 (16.2.0-4) ... Removing binutils (2.47.50.20261021-1) ... Removing libgprofng0:amd64 (2.47.50.20261021-1) ... Removing gcc-x86-64-linux-gnu (4:16.1.0-3) ... Removing gcc-16-x86-64-linux-gnu (16.2.0-4) ... Removing binutils-x86-64-linux-gnu (2.47.50.20261021-1) ... Removing libctf0:amd64 (2.47.50.20261021-1) ... Removing libbinutils:amd64 (2.47.50.20261021-1) ... Removing binutils-common:amd64 (2.47.50.20261021-1) ... Removing cpp (4:16.1.0-3) ... Removing cpp-16 (16.2.0-4) ... Removing cpp-x86-64-linux-gnu (4:16.1.0-3) ... Removing cpp-16-x86-64-linux-gnu (16.2.0-4) ... Removing libgcc-16-dev:amd64 (16.2.0-4) ... Removing libasan8:amd64 (16.2.0-4) ... Removing libatomic1:amd64 (16.2.0-4) ... Removing libncurses-dev:amd64 (6.6+20260608-2) ... Removing libc6-dev:amd64 (2.43-7) ... Removing libc-dev-bin (2.43-7) ... Removing libcc1-0:amd64 (16.2.0-4) ... Removing ocaml-interp (5.4.1-1) ... Removing libcompiler-libs-ocaml-dev (5.4.1-1) ... Removing libctf-nobfd0:amd64 (2.47.50.20261021-1) ... Removing libgomp1:amd64 (16.2.0-4) ... Removing libhwasan0:amd64 (16.2.0-4) ... Removing libisl23:amd64 (0.28-1) ... Removing libitm1:amd64 (16.2.0-4) ... Removing libjansson4:amd64 (2.15.1-1) ... Removing liblsan0:amd64 (16.2.0-4) ... Removing libmpc3:amd64 (1.3.1-3) ... Removing libmpfr6:amd64 (4.2.2-3) ... Removing libncurses6:amd64 (6.6+20260608-2) ... Removing libncursesw6:amd64 (6.6+20260608-2) ... Removing libquadmath0:amd64 (16.2.0-4) ... Removing libsframe3:amd64 (2.47.50.20261021-1) ... Removing ocaml-base (5.4.1-1) ... Removing libstdlib-ocaml-dev (5.4.1-1) ... Removing libstdlib-ocaml (5.4.1-1) ... Removing libtsan2:amd64 (16.2.0-4) ... Removing libubsan1:amd64 (16.2.0-4) ... Removing libzstd-dev:amd64 (1.5.7+dfsg-4) ... Removing linux-libc-dev (7.2.15-1) ... Processing triggers for libc-bin (2.43-7) ... 0m56.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-16', 'cpp-16-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-16', 'gcc-16-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-bignums', 'libcoq-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-math-classes', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-16-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe3:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'libcoq-corn'] 0m56.6s INFO: Running scripts post_remove 0m56.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_remove_exceptions'] 0m56.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_remove_exceptions'] 0m56.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-16', 'cpp-16-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-16', 'gcc-16-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-bignums', 'libcoq-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-math-classes', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-16-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe3:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp'] 0m56.7s DUMP: (Reading database ... 4962 files and directories currently installed.) Purging configuration files for binutils (2.47.50.20261021-1) ... Purging configuration files for binutils-common:amd64 (2.47.50.20261021-1) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which is not installed Purging configuration files for cpp (4:16.1.0-3) ... dpkg: warning: ignoring request to remove cpp-16 which is not installed dpkg: warning: ignoring request to remove cpp-16-x86-64-linux-gnu which is not installed dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which is not installed dpkg: warning: ignoring request to remove gcc which is not installed dpkg: warning: ignoring request to remove gcc-16 which is not installed dpkg: warning: ignoring request to remove gcc-16-x86-64-linux-gnu which is not installed dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which is not installed dpkg: warning: ignoring request to remove libasan8 which is not installed dpkg: warning: ignoring request to remove libatomic1 which is not installed dpkg: warning: ignoring request to remove libbinutils which is not installed dpkg: warning: ignoring request to remove libc-dev-bin which is not installed dpkg: warning: ignoring request to remove libc6-dev which is not installed dpkg: warning: ignoring request to remove libcc1-0 which is not installed dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libcoq-bignums which is not installed dpkg: warning: ignoring request to remove libcoq-core which is not installed dpkg: warning: ignoring request to remove libcoq-core-ocaml which is not installed dpkg: warning: ignoring request to remove libcoq-elpi which is not installed dpkg: warning: ignoring request to remove libcoq-math-classes which is not installed dpkg: warning: ignoring request to remove libcoq-stdlib which is not installed dpkg: warning: ignoring request to remove libctf-nobfd0 which is not installed dpkg: warning: ignoring request to remove libctf0 which is not installed dpkg: warning: ignoring request to remove libelpi-ocaml which is not installed dpkg: warning: ignoring request to remove libelpi-ocaml-dev which is not installed Purging configuration files for libfindlib-ocaml (1.9.8-1+b4) ... dpkg: warning: ignoring request to remove libgcc-16-dev which is not installed dpkg: warning: ignoring request to remove libgomp1 which is not installed dpkg: warning: ignoring request to remove libgprofng0 which is not installed dpkg: warning: ignoring request to remove libhwasan0 which is not installed dpkg: warning: ignoring request to remove libisl23 which is not installed dpkg: warning: ignoring request to remove libitm1 which is not installed dpkg: warning: ignoring request to remove libjansson4 which is not installed dpkg: warning: ignoring request to remove liblsan0 which is not installed dpkg: warning: ignoring request to remove libmenhir-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libmpc3 which is not installed dpkg: warning: ignoring request to remove libmpfr6 which is not installed dpkg: warning: ignoring request to remove libncurses-dev which is not installed dpkg: warning: ignoring request to remove libncurses6 which is not installed dpkg: warning: ignoring request to remove libncursesw6 which is not installed dpkg: warning: ignoring request to remove libocaml-compiler-libs-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libppx-derivers-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml which is not installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libppxlib-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libquadmath0 which is not installed dpkg: warning: ignoring request to remove libre-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libsexplib0-ocaml which is not installed dpkg: warning: ignoring request to remove libsexplib0-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libsframe3 which is not installed dpkg: warning: ignoring request to remove libstdlib-ocaml which is not installed dpkg: warning: ignoring request to remove libstdlib-ocaml-dev which is not installed dpkg: warning: ignoring request to remove libtsan2 which is not installed dpkg: warning: ignoring request to remove libubsan1 which is not installed dpkg: warning: ignoring request to remove libzarith-ocaml which is not installed dpkg: warning: ignoring request to remove libzstd-dev which is not installed dpkg: warning: ignoring request to remove linux-libc-dev which is not installed dpkg: warning: ignoring request to remove ocaml which is not installed dpkg: warning: ignoring request to remove ocaml-base which is not installed dpkg: warning: ignoring request to remove ocaml-findlib which is not installed dpkg: warning: ignoring request to remove ocaml-interp which is not installed 0m56.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-16', 'cpp-16-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-16', 'gcc-16-x86-64-linux-gnu', 'gcc-x86-64-linux-gnu', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcompiler-libs-ocaml-dev', 'libcoq-bignums', 'libcoq-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-math-classes', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-16-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe3:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzstd-dev:amd64', 'linux-libc-dev', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp'] 0m56.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--purge', 'libcoq-corn'] 0m56.7s DUMP: dpkg: warning: ignoring request to remove libcoq-corn which is not installed 0m56.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--purge', 'libcoq-corn'] 0m56.7s INFO: Running scripts post_purge 0m56.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_purge_exceptions'] 0m56.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_purge_exceptions'] 0m56.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--purge', '--pending'] 0m56.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--purge', '--pending'] 0m56.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--remove', '--pending'] 0m56.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg', '--remove', '--pending'] 0m56.7s INFO: Running scripts post_test 0m56.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_test_exceptions'] 0m56.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'tmp/scripts/post_test_exceptions'] 0m56.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m57.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m57.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg-divert', '--list'] 0m57.1s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m57.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'dpkg-divert', '--list'] 0m57.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'clean'] 0m57.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp', 'apt-get', 'clean'] 0m57.2s DEBUG: Recording chroot state 0m58.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/shm'] 0m58.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/shm'] 0m58.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/console'] 0m58.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/console'] 0m58.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/ptmx'] 0m58.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/ptmx'] 0m58.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/pts'] 0m58.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/dev/pts'] 0m58.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/proc'] 0m58.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp/proc'] 0m58.7s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m58.8s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp78jhy5tp'] 0m58.8s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp78jhy5tp 0m58.8s INFO: PASS: Upgrading between Debian distributions. 0m58.8s INFO: PASS: All tests. 0m58.8s INFO: piuparts run ends. ret=0 End: 2026-11-02 09:05:09 GMT