Start: 2026-07-29 05:31:16 GMT Package: libcoq-mathcomp Source: ssreflect Version: 2.6.0-2 Installed-Size: 128 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libcoq-mathcomp-algebra (= 2.6.0-2), libcoq-mathcomp-field (= 2.6.0-2), libcoq-mathcomp-finite-group (= 2.6.0-2), libcoq-mathcomp-group-representation (= 2.6.0-2), libcoq-mathcomp-solvable (= 2.6.0-2), libcoq-mathcomp-ssreflect (= 2.6.0-2), mathcomp-doc Description: Mathematical Components library for Coq (all) Homepage: https://math-comp.github.io/math-comp/ Description-md5: bd26831f634ff58fc6c73937049fe58a Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_2.6.0-2_amd64.deb Size: 91688 MD5sum: e84b11a0d82b9febc8ca94a50d60f63c SHA256: 3ab6142c5f42e5816f7bb2227e0e51e63cf7dc9530c150b5a94b3064861f7a4f Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/bin/piuparts --install-remove-install --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-others --scriptsdir /etc/piuparts/scripts-leftovers --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt libcoq-mathcomp=2.6.0-2 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~202508211944~1.6.0-10-gffba2cce starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/bin/piuparts --install-remove-install --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-others --scriptsdir /etc/piuparts/scripts-leftovers --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt libcoq-mathcomp=2.6.0-2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 6.1.0-51-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.177-1 (2026-07-16) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpo0c80_4h 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpo0c80_4h 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/proc'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/proc'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/pts'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/pts'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/ptmx'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/ptmx'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/console'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/console'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/shm'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/shm'] 0m0.3s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m0.3s DEBUG: Created policy-rc.d and chmodded it. 0m0.3s DEBUG: Created resolv.conf. 0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpo0c80_4h/tmp/scripts/ 0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts-leftovers to /srv/piuparts.debian.org/tmp/tmpo0c80_4h/tmp/scripts/ 0m0.3s INFO: Running scripts post_chroot_unpack 0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'update'] 0m3.0s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [193 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.7 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7696 kB] Fetched 18.5 MB in 2s (9737 kB/s) Reading package lists... 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'update'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-yf', 'dist-upgrade'] 0m3.8s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-yf', 'dist-upgrade'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.3s DUMP: 3f83b62920cc62441ad70c4815fc0529 - 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.3s INFO: Running scripts post_setup 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_dummy_users'] 0m5.0s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_dummy_users'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_fake-essential'] 0m6.4s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... init-system-helpers is already the newest version (1.69). Solving dependencies... The following additional packages will be installed: libncursesw6 libproc2-1 libtext-charwidth-perl libtext-wrapi18n-perl procps sensible-utils ucf Suggested packages: dbconfig-mysql | dbconfig-pgsql | dbconfig-sqlite3 | dbconfig-no-thanks Recommended packages: libgpm2 psmisc linux-sysctl-defaults The following NEW packages will be installed: dbconfig-common libncursesw6 libproc2-1 libtext-charwidth-perl libtext-wrapi18n-perl procps sensible-utils ucf 0 upgraded, 8 newly installed, 0 to remove and 0 not upgraded. Need to get 1879 kB of archives. After this operation, 5273 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.6+20260608-2 [137 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libproc2-1 amd64 2:4.0.6-3 [69.4 kB] Get:3 http://deb.debian.org/debian sid/main amd64 procps amd64 2:4.0.6-3 [983 kB] Get:4 http://deb.debian.org/debian sid/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libtext-charwidth-perl amd64 0.04-12+b1 [9344 B] Get:6 http://deb.debian.org/debian sid/main amd64 libtext-wrapi18n-perl all 0.06-11 [7788 B] Get:7 http://deb.debian.org/debian sid/main amd64 ucf all 3.0056 [47.1 kB] Get:8 http://deb.debian.org/debian sid/main amd64 dbconfig-common all 2.0.26 [599 kB] Preconfiguring packages ... Fetched 1879 kB in 0s (22.8 MB/s) Selecting previously unselected package libncursesw6: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 ... 4975 files and directories currently installed.) Preparing to unpack .../0-libncursesw6_6.6+20260608-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20260608-2) ... Selecting previously unselected package libproc2-1:amd64. Preparing to unpack .../1-libproc2-1_2%3a4.0.6-3_amd64.deb ... Unpacking libproc2-1:amd64 (2:4.0.6-3) ... Selecting previously unselected package procps. Preparing to unpack .../2-procps_2%3a4.0.6-3_amd64.deb ... Unpacking procps (2:4.0.6-3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../3-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../4-libtext-charwidth-perl_0.04-12+b1_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-12+b1) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../5-libtext-wrapi18n-perl_0.06-11_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-11) ... Selecting previously unselected package ucf. Preparing to unpack .../6-ucf_3.0056_all.deb ... Moving old data out of the way Unpacking ucf (3.0056) ... Selecting previously unselected package dbconfig-common. Preparing to unpack .../7-dbconfig-common_2.0.26_all.deb ... Unpacking dbconfig-common (2.0.26) ... Setting up libtext-charwidth-perl:amd64 (0.04-12+b1) ... Setting up libtext-wrapi18n-perl (0.06-11) ... Setting up libproc2-1:amd64 (2:4.0.6-3) ... Setting up libncursesw6:amd64 (6.6+20260608-2) ... Setting up sensible-utils (0.0.26) ... Setting up procps (2:4.0.6-3) ... Setting up ucf (3.0056) ... Setting up dbconfig-common (2.0.26) ... Creating config file /etc/dbconfig-common/config with new version Processing triggers for libc-bin (2.42-17) ... 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_fake-essential'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_forbid_home'] 0m6.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_forbid_home'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_force-unsafe-io'] 0m6.5s 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' 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_force-unsafe-io'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_minimize'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_minimize'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_squeeze-backports'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_squeeze-backports'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_zz_backports'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_setup_zz_backports'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'clean'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'clean'] 0m6.5s DEBUG: Recording chroot state 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.3s DUMP: install ok installed apt apt 3.3.1 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-3 install ok installed bsdutils bsdutils 1:2.42.2-2 install ok installed coreutils coreutils 9.10-1 install ok installed dash dash 0.5.12-12 install ok installed dbconfig-common dbconfig-common 2.0.26 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.23.2 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.7 install ok installed findutils findutils 4.11.0-2 install ok installed gcc-16-base:amd64 gcc-16-base 16.1.0-3 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.13-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.4.0-1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.3.1 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+b1 install ok installed libblkid1:amd64 libblkid1 2.42.2-2 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.42-17 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.42-17 install ok installed libc6:amd64 libc6 2.42-17 install ok installed libcap-ng0:amd64 libcap-ng0 0.9.3-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.1-1+b1 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.1.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.3-1 install ok installed libmd0:amd64 libmd0 1.2.0-2 install ok installed libmount1:amd64 libmount1 2.42.2-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 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.46-1+b2 install ok installed libproc2-1:amd64 libproc2-1 2:4.0.6-3 install ok installed libseccomp2:amd64 libseccomp2 2.6.1-1 install ok installed libselinux1:amd64 libselinux1 3.11-2 install ok installed libsemanage-common libsemanage-common 3.11-1 install ok installed libsemanage2:amd64 libsemanage2 3.11-1 install ok installed libsepol2:amd64 libsepol2 3.11-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.42.2-2 install ok installed libssl3t64:amd64 libssl3t64 3.6.3-1 install ok installed libstdc++6:amd64 libstdc++6 16.1.0-3 install ok installed libsystemd0:amd64 libsystemd0 261.2-1 install ok installed libtext-charwidth-perl:amd64 libtext-charwidth-perl 0.04-12+b1 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-11 install ok installed libtinfo6:amd64 libtinfo6 6.6+20260608-2 install ok installed libudev1:amd64 libudev1 261.2-1 install ok installed libuuid1:amd64 libuuid1 2.42.2-2 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-3+b2 install ok installed login login 1:4.16.0-2+really2.42.2-2 install ok installed login.defs login.defs 1:4.19.3-2 install ok installed mawk mawk 1.3.4.20260302-1 install ok installed mount mount 2.42.2-2 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.3-1 install ok installed passwd passwd 1:4.19.3-2 install ok installed perl-base perl-base 5.42.2-3 install ok installed procps procps 2:4.0.6-3 install ok installed sed sed 4.9-3 install ok installed sensible-utils sensible-utils 0.0.26 install ok installed sqv sqv 1.4.0-1 install ok installed sysvinit-utils sysvinit-utils 3.18-1 install ok installed tar tar 1.35+dfsg-4 install ok installed tzdata tzdata 2026c-1 install ok installed ucf ucf 3.0056 install ok installed util-linux util-linux 2.42.2-2 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.2-3 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-divert', '--list'] 0m7.3s 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 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-divert', '--list'] 0m7.3s INFO: Running scripts is_testable 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/is_testable_uninstallable'] 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/is_testable_uninstallable'] 0m7.3s INFO: apt-cache does not know about any of the requested packages 0m7.3s INFO: Running scripts pre_test 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_test_exceptions'] 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_test_exceptions'] 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_test_root_password'] 0m7.3s DUMP: New password: Retype new password: passwd: password updated successfully 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_test_root_password'] 0m7.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m7.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m8.0s DEBUG: No broken symlinks as far as we can find. 0m8.0s INFO: Running scripts pre_install 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_database-server'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_database-server'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_exceptions'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_exceptions'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_extras'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_extras'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp=2.6.0-2'] 0m9.3s DUMP: Package: libcoq-mathcomp Source: ssreflect Version: 2.6.0-2 Installed-Size: 128 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libcoq-mathcomp-algebra (= 2.6.0-2), libcoq-mathcomp-field (= 2.6.0-2), libcoq-mathcomp-finite-group (= 2.6.0-2), libcoq-mathcomp-group-representation (= 2.6.0-2), libcoq-mathcomp-solvable (= 2.6.0-2), libcoq-mathcomp-ssreflect (= 2.6.0-2), mathcomp-doc Description-en: Mathematical Components library for Coq (all) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the full Mathematical Components library. Description-md5: bd26831f634ff58fc6c73937049fe58a Homepage: https://math-comp.github.io/math-comp/ Section: math Priority: optional Filename: pool/main/s/ssreflect/libcoq-mathcomp_2.6.0-2_amd64.deb Size: 91688 MD5sum: e84b11a0d82b9febc8ca94a50d60f63c SHA256: 3ab6142c5f42e5816f7bb2227e0e51e63cf7dc9530c150b5a94b3064861f7a4f 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp=2.6.0-2'] 0m9.3s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: piuparts developers team Depends: libcoq-mathcomp-algebra (= 2.6.0-2), libcoq-mathcomp-field (= 2.6.0-2), libcoq-mathcomp-finite-group (= 2.6.0-2), libcoq-mathcomp-group-representation (= 2.6.0-2), libcoq-mathcomp-solvable (= 2.6.0-2), libcoq-mathcomp-ssreflect (= 2.6.0-2), mathcomp-doc Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed 0m9.3s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmprgcdgo3k/piuparts-depends-dummy'] 0m9.3s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmprgcdgo3k/piuparts-depends-dummy.deb'. 0m9.3s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmprgcdgo3k/piuparts-depends-dummy'] 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m9.3s DUMP: 3.3.1 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m9.3s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmprgcdgo3k/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpo0c80_4h/tmp 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m26.1s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu fonts-katex gcc gcc-15 gcc-15-base gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-field libcoq-mathcomp-finite-group libcoq-mathcomp-group-representation libcoq-mathcomp-order libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-micromega-plugin libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-15-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 libjs-jquery libjs-katex liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 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 mathcomp-doc node-markdown-it node-markdown-it-texmath node-punycode ocaml ocaml-base ocaml-findlib ocaml-interp rpcsvc-proto Suggested packages: binutils-doc gprofng-gui binutils-gold cpp-doc gcc-15-locales cpp-15-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-15-multilib gcc-15-doc gdb-x86-64-linux-gnu libc-devtools glibc-doc ncurses-doc node-katex ocaml-doc elpa-tuareg camlp4 Recommended packages: manpages manpages-dev coq javascript-common 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-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu fonts-katex gcc gcc-15 gcc-15-base gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-field libcoq-mathcomp-finite-group libcoq-mathcomp-group-representation libcoq-mathcomp-order libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-micromega-plugin libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-15-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 libjs-jquery libjs-katex liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 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 mathcomp-doc node-markdown-it node-markdown-it-texmath node-punycode ocaml ocaml-base ocaml-findlib ocaml-interp piuparts-depends-dummy rpcsvc-proto 0 upgraded, 81 newly installed, 0 to remove and 0 not upgraded. Need to get 304 MB/304 MB of archives. After this operation, 1397 MB of additional disk space will be used. Get:1 /tmp/piuparts-depends-dummy.deb piuparts-depends-dummy amd64 0.invalid.0 [710 B] Get:2 http://deb.debian.org/debian sid/main amd64 libsframe3 amd64 2.47-2 [84.8 kB] Get:3 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.47-2 [2685 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.47-2 [536 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.47-2 [820 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.47-2 [160 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.47-2 [91.7 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.15.1-1 [65.6 kB] Get:9 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.47-2 [1072 kB] Get:10 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.47-2 [282 kB] Get:11 http://deb.debian.org/debian sid/main amd64 gcc-15-base amd64 15.3.0-2 [37.7 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.28-1 [667 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.2-3 [729 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-3 [52.2 kB] Get:15 http://deb.debian.org/debian sid/main amd64 cpp-15-x86-64-linux-gnu amd64 15.3.0-2 [12.2 MB] Get:16 http://deb.debian.org/debian sid/main amd64 cpp-15 amd64 15.3.0-2 [1272 B] Get:17 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-5+b1 [4644 B] Get:18 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:15.2.0-5+b1 [1568 B] Get:19 http://deb.debian.org/debian sid/main amd64 fonts-katex all 0.16.10+~cs6.1.0-7 [776 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 16.1.0-3 [46.0 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 16.1.0-3 [151 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 16.1.0-3 [27.0 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 16.1.0-3 [10.4 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 16.1.0-3 [2889 kB] Get:25 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 16.1.0-3 [1280 kB] Get:26 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 16.1.0-3 [2573 kB] Get:27 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 16.1.0-3 [1136 kB] Get:28 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 16.1.0-3 [1580 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 16.1.0-3 [148 kB] Get:30 http://deb.debian.org/debian sid/main amd64 libgcc-15-dev amd64 15.3.0-2 [2717 kB] Get:31 http://deb.debian.org/debian sid/main amd64 gcc-15-x86-64-linux-gnu amd64 15.3.0-2 [23.6 MB] Get:32 http://deb.debian.org/debian sid/main amd64 gcc-15 amd64 15.3.0-2 [554 kB] Get:33 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-5+b1 [1440 B] Get:34 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:15.2.0-5+b1 [5160 B] Get:35 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.42-17 [38.1 kB] Get:36 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 7.1.5-1 [2021 kB] Get:37 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.4-1 [63.4 kB] Get:38 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.42-17 [1991 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.4.1-1 [604 kB] Get:40 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1 [6479 kB] Get:41 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1 [39.3 MB] Get:42 http://deb.debian.org/debian sid/main amd64 libcoq-core amd64 9.2.0+dfsg-3+b1 [1155 kB] Get:43 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.4.1-1 [505 kB] Get:44 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.8-1+b4 [194 kB] Get:45 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.14-4 [110 kB] Get:46 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 9.2.0+dfsg-3+b1 [25.8 MB] Get:47 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml amd64 0.17.0-1+b4 [115 kB] Get:48 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml amd64 6.1.2-1 [390 kB] Get:49 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 3.7.2-2+b1 [3401 kB] Get:50 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 5.4.1-1 [7459 kB] Get:51 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB] Get:52 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB] Get:53 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.7+dfsg-3+b2 [372 kB] Get:54 http://deb.debian.org/debian sid/main amd64 ocaml amd64 5.4.1-1 [18.8 MB] Get:55 http://deb.debian.org/debian sid/main amd64 libmenhir-ocaml-dev amd64 20260209+ds-3 [1007 kB] Get:56 http://deb.debian.org/debian sid/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-2+b1 [94.5 kB] Get:57 http://deb.debian.org/debian sid/main amd64 ocaml-findlib amd64 1.9.8-1+b4 [597 kB] Get:58 http://deb.debian.org/debian sid/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b6 [17.0 kB] Get:59 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+b4 [274 kB] Get:60 http://deb.debian.org/debian sid/main amd64 libppxlib-ocaml-dev amd64 0.38.0-1+b1 [18.9 MB] Get:61 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml-dev amd64 6.1.2-1 [5010 kB] Get:62 http://deb.debian.org/debian sid/main amd64 libre-ocaml-dev amd64 1.14.0-2+b1 [1356 kB] Get:63 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 3.7.2-2+b1 [12.2 MB] Get:64 http://deb.debian.org/debian sid/main amd64 libcoq-stdlib amd64 9.2.0-1+b1 [20.1 MB] Get:65 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 3.5.0-1+b1 [12.8 MB] Get:66 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.10.3-2 [831 kB] Get:67 http://deb.debian.org/debian sid/main amd64 libcoq-micromega-plugin amd64 1.1.1-1+b1 [3856 kB] Get:68 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-boot amd64 2.6.0-2 [6032 kB] Get:69 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-finite-group amd64 2.6.0-2 [2468 kB] Get:70 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-order amd64 2.6.0-2 [6868 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-algebra amd64 2.6.0-2 [23.1 MB] Get:72 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-solvable amd64 2.6.0-2 [5069 kB] Get:73 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-field amd64 2.6.0-2 [4521 kB] Get:74 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-group-representation amd64 2.6.0-2 [4634 kB] Get:75 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.6.0-2 [90.0 kB] Get:76 http://deb.debian.org/debian sid/main amd64 libjs-jquery all 3.7.1+dfsg+~3.5.33-1 [319 kB] Get:77 http://deb.debian.org/debian sid/main amd64 libjs-katex all 0.16.10+~cs6.1.0-7 [229 kB] Get:78 http://deb.debian.org/debian sid/main amd64 node-punycode all 2.3.1+~2.1.4-1 [10.8 kB] Get:79 http://deb.debian.org/debian sid/main amd64 node-markdown-it all 22.2.3+dfsg+~12.2.3-5 [83.4 kB] Get:80 http://deb.debian.org/debian sid/main amd64 node-markdown-it-texmath all 1.0-2 [10.3 kB] Get:81 http://deb.debian.org/debian sid/main amd64 mathcomp-doc all 2.6.0-2 [7445 kB] Fetched 304 MB in 2s (124 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 ... 5516 files and directories currently installed.) Preparing to unpack .../00-libsframe3_2.47-2_amd64.deb ... Unpacking libsframe3:amd64 (2.47-2) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../01-binutils-common_2.47-2_amd64.deb ... Unpacking binutils-common:amd64 (2.47-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../02-libbinutils_2.47-2_amd64.deb ... Unpacking libbinutils:amd64 (2.47-2) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../03-libgprofng0_2.47-2_amd64.deb ... Unpacking libgprofng0:amd64 (2.47-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../04-libctf-nobfd0_2.47-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.47-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../05-libctf0_2.47-2_amd64.deb ... Unpacking libctf0:amd64 (2.47-2) ... 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-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.47-2) ... Selecting previously unselected package binutils. Preparing to unpack .../08-binutils_2.47-2_amd64.deb ... Unpacking binutils (2.47-2) ... Selecting previously unselected package gcc-15-base:amd64. Preparing to unpack .../09-gcc-15-base_15.3.0-2_amd64.deb ... Unpacking gcc-15-base:amd64 (15.3.0-2) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../10-libisl23_0.28-1_amd64.deb ... Unpacking libisl23:amd64 (0.28-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../11-libmpfr6_4.2.2-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.2-3) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../12-libmpc3_1.3.1-3_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-3) ... Selecting previously unselected package cpp-15-x86-64-linux-gnu. Preparing to unpack .../13-cpp-15-x86-64-linux-gnu_15.3.0-2_amd64.deb ... Unpacking cpp-15-x86-64-linux-gnu (15.3.0-2) ... Selecting previously unselected package cpp-15. Preparing to unpack .../14-cpp-15_15.3.0-2_amd64.deb ... Unpacking cpp-15 (15.3.0-2) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../15-cpp-x86-64-linux-gnu_4%3a15.2.0-5+b1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package cpp. Preparing to unpack .../16-cpp_4%3a15.2.0-5+b1_amd64.deb ... Unpacking cpp (4:15.2.0-5+b1) ... Selecting previously unselected package fonts-katex. Preparing to unpack .../17-fonts-katex_0.16.10+~cs6.1.0-7_all.deb ... Unpacking fonts-katex (0.16.10+~cs6.1.0-7) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../18-libcc1-0_16.1.0-3_amd64.deb ... Unpacking libcc1-0:amd64 (16.1.0-3) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../19-libgomp1_16.1.0-3_amd64.deb ... Unpacking libgomp1:amd64 (16.1.0-3) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../20-libitm1_16.1.0-3_amd64.deb ... Unpacking libitm1:amd64 (16.1.0-3) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../21-libatomic1_16.1.0-3_amd64.deb ... Unpacking libatomic1:amd64 (16.1.0-3) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../22-libasan8_16.1.0-3_amd64.deb ... Unpacking libasan8:amd64 (16.1.0-3) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../23-liblsan0_16.1.0-3_amd64.deb ... Unpacking liblsan0:amd64 (16.1.0-3) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../24-libtsan2_16.1.0-3_amd64.deb ... Unpacking libtsan2:amd64 (16.1.0-3) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../25-libubsan1_16.1.0-3_amd64.deb ... Unpacking libubsan1:amd64 (16.1.0-3) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../26-libhwasan0_16.1.0-3_amd64.deb ... Unpacking libhwasan0:amd64 (16.1.0-3) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../27-libquadmath0_16.1.0-3_amd64.deb ... Unpacking libquadmath0:amd64 (16.1.0-3) ... Selecting previously unselected package libgcc-15-dev:amd64. Preparing to unpack .../28-libgcc-15-dev_15.3.0-2_amd64.deb ... Unpacking libgcc-15-dev:amd64 (15.3.0-2) ... Selecting previously unselected package gcc-15-x86-64-linux-gnu. Preparing to unpack .../29-gcc-15-x86-64-linux-gnu_15.3.0-2_amd64.deb ... Unpacking gcc-15-x86-64-linux-gnu (15.3.0-2) ... Selecting previously unselected package gcc-15. Preparing to unpack .../30-gcc-15_15.3.0-2_amd64.deb ... Unpacking gcc-15 (15.3.0-2) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../31-gcc-x86-64-linux-gnu_4%3a15.2.0-5+b1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package gcc. Preparing to unpack .../32-gcc_4%3a15.2.0-5+b1_amd64.deb ... Unpacking gcc (4:15.2.0-5+b1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../33-libc-dev-bin_2.42-17_amd64.deb ... Unpacking libc-dev-bin (2.42-17) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../34-linux-libc-dev_7.1.5-1_all.deb ... Unpacking linux-libc-dev (7.1.5-1) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../35-rpcsvc-proto_1.4.4-1_amd64.deb ... Unpacking rpcsvc-proto (1.4.4-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../36-libc6-dev_2.42-17_amd64.deb ... Unpacking libc6-dev:amd64 (2.42-17) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../37-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 .../38-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 .../39-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 .../40-libcoq-core_9.2.0+dfsg-3+b1_amd64.deb ... Unpacking libcoq-core (9.2.0+dfsg-3+b1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../41-ocaml-base_5.4.1-1_amd64.deb ... Unpacking ocaml-base (5.4.1-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../42-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 .../43-libzarith-ocaml_1.14-4_amd64.deb ... Unpacking libzarith-ocaml (1.14-4) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../44-libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb ... Unpacking libcoq-core-ocaml (9.2.0+dfsg-3+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../45-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 .../46-libppx-deriving-ocaml_6.1.2-1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.1.2-1) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../47-libelpi-ocaml_3.7.2-2+b1_amd64.deb ... Unpacking libelpi-ocaml (3.7.2-2+b1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../48-ocaml-interp_5.4.1-1_amd64.deb ... Unpacking ocaml-interp (5.4.1-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../49-libncurses6_6.6+20260608-2_amd64.deb ... Unpacking libncurses6: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-3+b2_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ... 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.38.0-1+b1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.38.0-1+b1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../59-libppx-deriving-ocaml-dev_6.1.2-1_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.1.2-1) ... 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+b1_amd64.deb ... Unpacking libelpi-ocaml-dev (3.7.2-2+b1) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../62-libcoq-stdlib_9.2.0-1+b1_amd64.deb ... Unpacking libcoq-stdlib (9.2.0-1+b1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../63-libcoq-elpi_3.5.0-1+b1_amd64.deb ... Unpacking libcoq-elpi (3.5.0-1+b1) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../64-libcoq-hierarchy-builder_1.10.3-2_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.10.3-2) ... Selecting previously unselected package libcoq-micromega-plugin. Preparing to unpack .../65-libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb ... Unpacking libcoq-micromega-plugin (1.1.1-1+b1) ... Selecting previously unselected package libcoq-mathcomp-boot. Preparing to unpack .../66-libcoq-mathcomp-boot_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-boot (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-finite-group. Preparing to unpack .../67-libcoq-mathcomp-finite-group_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-finite-group (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-order. Preparing to unpack .../68-libcoq-mathcomp-order_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-order (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../69-libcoq-mathcomp-algebra_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-solvable. Preparing to unpack .../70-libcoq-mathcomp-solvable_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-solvable (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-field. Preparing to unpack .../71-libcoq-mathcomp-field_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-field (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-group-representation. Preparing to unpack .../72-libcoq-mathcomp-group-representation_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-group-representation (2.6.0-2) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../73-libcoq-mathcomp-ssreflect_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (2.6.0-2) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../74-libjs-jquery_3.7.1+dfsg+~3.5.33-1_all.deb ... Unpacking libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... Selecting previously unselected package libjs-katex. Preparing to unpack .../75-libjs-katex_0.16.10+~cs6.1.0-7_all.deb ... Unpacking libjs-katex (0.16.10+~cs6.1.0-7) ... Selecting previously unselected package node-punycode. Preparing to unpack .../76-node-punycode_2.3.1+~2.1.4-1_all.deb ... Unpacking node-punycode (2.3.1+~2.1.4-1) ... Selecting previously unselected package node-markdown-it. Preparing to unpack .../77-node-markdown-it_22.2.3+dfsg+~12.2.3-5_all.deb ... Unpacking node-markdown-it (22.2.3+dfsg+~12.2.3-5) ... Selecting previously unselected package node-markdown-it-texmath. Preparing to unpack .../78-node-markdown-it-texmath_1.0-2_all.deb ... Unpacking node-markdown-it-texmath (1.0-2) ... Selecting previously unselected package mathcomp-doc. Preparing to unpack .../79-mathcomp-doc_2.6.0-2_all.deb ... Unpacking mathcomp-doc (2.6.0-2) ... Selecting previously unselected package piuparts-depends-dummy. Preparing to unpack .../80-piuparts-depends-dummy.deb ... Unpacking piuparts-depends-dummy (0.invalid.0) ... Setting up libcoq-micromega-plugin (1.1.1-1+b1) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ... Setting up binutils-common:amd64 (2.47-2) ... Setting up libsframe3:amd64 (2.47-2) ... Setting up linux-libc-dev (7.1.5-1) ... Setting up libctf-nobfd0:amd64 (2.47-2) ... Setting up libcoq-core (9.2.0+dfsg-3+b1) ... Setting up libgomp1:amd64 (16.1.0-3) ... Setting up libjansson4:amd64 (2.15.1-1) ... Setting up libcoq-stdlib (9.2.0-1+b1) ... Setting up rpcsvc-proto (1.4.4-1) ... Setting up fonts-katex (0.16.10+~cs6.1.0-7) ... Setting up libmpfr6:amd64 (4.2.2-3) ... Setting up libncurses6:amd64 (6.6+20260608-2) ... Setting up libquadmath0:amd64 (16.1.0-3) ... Setting up libstdlib-ocaml (5.4.1-1) ... Setting up libmpc3:amd64 (1.3.1-3) ... Setting up libatomic1:amd64 (16.1.0-3) ... Setting up ocaml-base (5.4.1-1) ... Setting up node-punycode (2.3.1+~2.1.4-1) ... Setting up libubsan1:amd64 (16.1.0-3) ... Setting up libsexplib0-ocaml (0.17.0-1+b4) ... Setting up libhwasan0:amd64 (16.1.0-3) ... Setting up libasan8:amd64 (16.1.0-3) ... Setting up libjs-katex (0.16.10+~cs6.1.0-7) ... Setting up libtsan2:amd64 (16.1.0-3) ... Setting up libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... Setting up libbinutils:amd64 (2.47-2) ... Setting up libisl23:amd64 (0.28-1) ... Setting up libc-dev-bin (2.42-17) ... Setting up gcc-15-base:amd64 (15.3.0-2) ... Setting up libcc1-0:amd64 (16.1.0-3) ... Setting up liblsan0:amd64 (16.1.0-3) ... Setting up libitm1:amd64 (16.1.0-3) ... Setting up libctf0:amd64 (2.47-2) ... Setting up libppx-deriving-ocaml (6.1.2-1) ... Setting up libgcc-15-dev:amd64 (15.3.0-2) ... 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 cpp-15-x86-64-linux-gnu (15.3.0-2) ... Setting up libcompiler-libs-ocaml-dev (5.4.1-1) ... Setting up node-markdown-it (22.2.3+dfsg+~12.2.3-5) ... Setting up libgprofng0:amd64 (2.47-2) ... Setting up ocaml-interp (5.4.1-1) ... Setting up ocaml-findlib (1.9.8-1+b4) ... Setting up libelpi-ocaml (3.7.2-2+b1) ... Setting up libcoq-core-ocaml (9.2.0+dfsg-3+b1) ... Setting up cpp-15 (15.3.0-2) ... Setting up libc6-dev:amd64 (2.42-17) ... Setting up binutils-x86-64-linux-gnu (2.47-2) ... Setting up cpp-x86-64-linux-gnu (4:15.2.0-5+b1) ... Setting up libncurses-dev:amd64 (6.6+20260608-2) ... Setting up binutils (2.47-2) ... Setting up node-markdown-it-texmath (1.0-2) ... Setting up gcc-15-x86-64-linux-gnu (15.3.0-2) ... Setting up gcc-15 (15.3.0-2) ... Setting up mathcomp-doc (2.6.0-2) ... Setting up cpp (4:15.2.0-5+b1) ... Setting up gcc-x86-64-linux-gnu (4:15.2.0-5+b1) ... Setting up gcc (4:15.2.0-5+b1) ... 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.38.0-1+b1) ... Setting up libppx-deriving-ocaml-dev (6.1.2-1) ... Setting up libelpi-ocaml-dev (3.7.2-2+b1) ... Setting up libcoq-elpi (3.5.0-1+b1) ... Setting up libcoq-hierarchy-builder (1.10.3-2) ... Setting up libcoq-mathcomp-boot (2.6.0-2) ... Setting up libcoq-mathcomp-order (2.6.0-2) ... Setting up libcoq-mathcomp-finite-group (2.6.0-2) ... Setting up libcoq-mathcomp-algebra (2.6.0-2) ... Setting up libcoq-mathcomp-ssreflect (2.6.0-2) ... Setting up libcoq-mathcomp-solvable (2.6.0-2) ... Setting up libcoq-mathcomp-field (2.6.0-2) ... Setting up libcoq-mathcomp-group-representation (2.6.0-2) ... Setting up piuparts-depends-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.42-17) ... 0m26.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m26.1s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m26.1s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpo0c80_4h/./tmp/piuparts-depends-dummy.deb 0m26.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m26.1s DUMP: piuparts-depends-dummy install ok installed 0m26.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m26.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m26.1s DUMP: (Reading database ... 17706 files and directories currently installed.) Removing piuparts-depends-dummy (0.invalid.0) ... 0m26.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m26.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'clean'] 0m26.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'clean'] 0m26.2s DEBUG: Recording chroot state 0m27.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m27.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m29.0s DEBUG: No broken symlinks as far as we can find. 0m29.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy'] 0m29.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: 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m29.7s DUMP: libcoq-mathcomp: Installed: (none) Candidate: 2.6.0-2 Version table: 2.6.0-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', 'install', 'libcoq-mathcomp=2.6.0-2'] 0m30.7s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following NEW packages will be installed: libcoq-mathcomp 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 91.7 kB of archives. After this operation, 131 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp amd64 2.6.0-2 [91.7 kB] Fetched 91.7 kB in 0s (1273 kB/s) Selecting previously unselected package libcoq-mathcomp. (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 ... 17706 files and directories currently installed.) Preparing to unpack .../libcoq-mathcomp_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp (2.6.0-2) ... Setting up libcoq-mathcomp (2.6.0-2) ... 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', 'install', 'libcoq-mathcomp=2.6.0-2'] 0m30.7s INFO: Running scripts post_install 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_install_exceptions'] 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_install_exceptions'] 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'systemd-tmpfiles', '--cat-config'] 0m30.7s DUMP: chroot: failed to run command 'systemd-tmpfiles': No such file or directory 0m30.7s DEBUG: Command failed (status=127), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'systemd-tmpfiles', '--cat-config'] 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'remove', 'libcoq-mathcomp'] 0m31.7s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following packages were automatically installed and are no longer required: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu fonts-katex gcc gcc-15 gcc-15-base gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-field libcoq-mathcomp-finite-group libcoq-mathcomp-group-representation libcoq-mathcomp-order libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-micromega-plugin libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-15-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 libjs-jquery libjs-katex liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 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 mathcomp-doc node-markdown-it node-markdown-it-texmath node-punycode ocaml ocaml-base ocaml-findlib ocaml-interp rpcsvc-proto Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: libcoq-mathcomp 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. After this operation, 131 kB 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 ... 17716 files and directories currently installed.) Removing libcoq-mathcomp (2.6.0-2) ... 0m31.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'remove', 'libcoq-mathcomp'] 0m31.7s INFO: Reinstalling after remove 0m31.7s INFO: Running scripts pre_install 0m31.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_database-server'] 0m31.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_database-server'] 0m31.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_exceptions'] 0m31.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_exceptions'] 0m31.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_extras'] 0m31.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_extras'] 0m31.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture'] 0m31.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture'] 0m31.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m31.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m31.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy'] 0m31.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m31.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy'] 0m31.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m31.9s DUMP: libcoq-mathcomp: Installed: (none) Candidate: 2.6.0-2 Version table: 2.6.0-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m31.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m31.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', 'install', 'libcoq-mathcomp=2.6.0-2'] 0m32.7s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following NEW packages will be installed: libcoq-mathcomp 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/91.7 kB of archives. After this operation, 131 kB of additional disk space will be used. Selecting previously unselected package libcoq-mathcomp. (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 ... 17706 files and directories currently installed.) Preparing to unpack .../libcoq-mathcomp_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp (2.6.0-2) ... Setting up libcoq-mathcomp (2.6.0-2) ... 0m32.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', 'install', 'libcoq-mathcomp=2.6.0-2'] 0m32.7s INFO: Running scripts post_install 0m32.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_install_exceptions'] 0m32.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_install_exceptions'] 0m32.7s INFO: Running scripts pre_install 0m32.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_database-server'] 0m32.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_database-server'] 0m32.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_exceptions'] 0m32.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_exceptions'] 0m32.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_extras'] 0m32.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_extras'] 0m32.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture'] 0m32.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture'] 0m32.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m32.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m32.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy'] 0m32.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m32.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy'] 0m32.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m32.9s DUMP: libcoq-mathcomp: Installed: 2.6.0-2 Candidate: 2.6.0-2 Version table: *** 2.6.0-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m32.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-cache', 'policy', 'libcoq-mathcomp'] 0m32.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', 'install', '--reinstall', 'libcoq-mathcomp=2.6.0-2'] 0m33.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... 0 upgraded, 0 newly installed, 1 reinstalled, 0 to remove and 0 not upgraded. Need to get 0 B/91.7 kB of archives. After this operation, 0 B of additional disk space will be used. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17716 files and directories currently installed.) Preparing to unpack .../libcoq-mathcomp_2.6.0-2_amd64.deb ... Unpacking libcoq-mathcomp (2.6.0-2) over (2.6.0-2) ... Setting up libcoq-mathcomp (2.6.0-2) ... 0m33.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', '-y', 'install', '--reinstall', 'libcoq-mathcomp=2.6.0-2'] 0m33.9s INFO: Running scripts post_install 0m33.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_install_exceptions'] 0m33.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_install_exceptions'] 0m33.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m34.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m35.7s DEBUG: No broken symlinks as far as we can find. 0m36.5s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', '-ac', '--ignore-obsolete'] 0m40.7s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', '-ac', '--ignore-obsolete'] 0m40.7s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m40.7s DUMP: 0.15.9~deb12u1 0m40.7s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m40.7s INFO: Running adequate version 0.15.9~deb12u1 now. 0m40.7s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'libcoq-mathcomp'] 0m40.8s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'libcoq-mathcomp'] 0m40.8s INFO: Running scripts pre_remove 0m40.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m40.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m40.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m40.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m40.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m42.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m42.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m42.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m42.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m42.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m42.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_exceptions'] 0m42.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_exceptions'] 0m42.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m42.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m42.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m42.2s DUMP: install ok installed apt apt 3.3.1 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-3 install ok installed binutils binutils 2.47-2 install ok installed binutils-common:amd64 binutils-common 2.47-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.47-2 install ok installed bsdutils bsdutils 1:2.42.2-2 install ok installed coreutils coreutils 9.10-1 install ok installed cpp cpp 4:15.2.0-5+b1 install ok installed cpp-15 cpp-15 15.3.0-2 install ok installed cpp-15-x86-64-linux-gnu cpp-15-x86-64-linux-gnu 15.3.0-2 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:15.2.0-5+b1 install ok installed dash dash 0.5.12-12 install ok installed dbconfig-common dbconfig-common 2.0.26 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.23.2 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.7 install ok installed findutils findutils 4.11.0-2 install ok installed fonts-katex fonts-katex 0.16.10+~cs6.1.0-7 install ok installed gcc gcc 4:15.2.0-5+b1 install ok installed gcc-15 gcc-15 15.3.0-2 install ok installed gcc-15-base:amd64 gcc-15-base 15.3.0-2 install ok installed gcc-15-x86-64-linux-gnu gcc-15-x86-64-linux-gnu 15.3.0-2 install ok installed gcc-16-base:amd64 gcc-16-base 16.1.0-3 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:15.2.0-5+b1 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.13-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.4.0-1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.3.1 install ok installed libasan8:amd64 libasan8 16.1.0-3 install ok installed libatomic1:amd64 libatomic1 16.1.0-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+b1 install ok installed libbinutils:amd64 libbinutils 2.47-2 install ok installed libblkid1:amd64 libblkid1 2.42.2-2 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.42-17 install ok installed libc-dev-bin libc-dev-bin 2.42-17 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.42-17 install ok installed libc6:amd64 libc6 2.42-17 install ok installed libc6-dev:amd64 libc6-dev 2.42-17 install ok installed libcap-ng0:amd64 libcap-ng0 0.9.3-1+b1 install ok installed libcc1-0:amd64 libcc1-0 16.1.0-3 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.4.1-1 install ok installed libcoq-core libcoq-core 9.2.0+dfsg-3+b1 install ok installed libcoq-core-ocaml libcoq-core-ocaml 9.2.0+dfsg-3+b1 install ok installed libcoq-elpi libcoq-elpi 3.5.0-1+b1 install ok installed libcoq-hierarchy-builder libcoq-hierarchy-builder 1.10.3-2 install ok installed libcoq-mathcomp libcoq-mathcomp 2.6.0-2 install ok installed libcoq-mathcomp-algebra libcoq-mathcomp-algebra 2.6.0-2 install ok installed libcoq-mathcomp-boot libcoq-mathcomp-boot 2.6.0-2 install ok installed libcoq-mathcomp-field libcoq-mathcomp-field 2.6.0-2 install ok installed libcoq-mathcomp-finite-group libcoq-mathcomp-finite-group 2.6.0-2 install ok installed libcoq-mathcomp-group-representation libcoq-mathcomp-group-representation 2.6.0-2 install ok installed libcoq-mathcomp-order libcoq-mathcomp-order 2.6.0-2 install ok installed libcoq-mathcomp-solvable libcoq-mathcomp-solvable 2.6.0-2 install ok installed libcoq-mathcomp-ssreflect libcoq-mathcomp-ssreflect 2.6.0-2 install ok installed libcoq-micromega-plugin libcoq-micromega-plugin 1.1.1-1+b1 install ok installed libcoq-stdlib libcoq-stdlib 9.2.0-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.1-1+b1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.47-2 install ok installed libctf0:amd64 libctf0 2.47-2 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 libelpi-ocaml libelpi-ocaml 3.7.2-2+b1 install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 3.7.2-2+b1 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.8-1+b4 install ok installed libgcc-15-dev:amd64 libgcc-15-dev 15.3.0-2 install ok installed libgcc-s1:amd64 libgcc-s1 16.1.0-3 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b2 install ok installed libgomp1:amd64 libgomp1 16.1.0-3 install ok installed libgprofng0:amd64 libgprofng0 2.47-2 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1+b1 install ok installed libhwasan0:amd64 libhwasan0 16.1.0-3 install ok installed libisl23:amd64 libisl23 0.28-1 install ok installed libitm1:amd64 libitm1 16.1.0-3 install ok installed libjansson4:amd64 libjansson4 2.15.1-1 install ok installed libjs-jquery libjs-jquery 3.7.1+dfsg+~3.5.33-1 install ok installed libjs-katex libjs-katex 0.16.10+~cs6.1.0-7 install ok installed liblsan0:amd64 liblsan0 16.1.0-3 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-10 install ok installed liblzma5:amd64 liblzma5 5.8.3-1 install ok installed libmd0:amd64 libmd0 1.2.0-2 install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20260209+ds-3 install ok installed libmount1:amd64 libmount1 2.42.2-2 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.46-1+b2 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.1.2-1 install ok installed libppx-deriving-ocaml-dev libppx-deriving-ocaml-dev 6.1.2-1 install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.38.0-1+b1 install ok installed libproc2-1:amd64 libproc2-1 2:4.0.6-3 install ok installed libquadmath0:amd64 libquadmath0 16.1.0-3 install ok installed libre-ocaml-dev libre-ocaml-dev 1.14.0-2+b1 install ok installed libseccomp2:amd64 libseccomp2 2.6.1-1 install ok installed libselinux1:amd64 libselinux1 3.11-2 install ok installed libsemanage-common libsemanage-common 3.11-1 install ok installed libsemanage2:amd64 libsemanage2 3.11-1 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-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.42.2-2 install ok installed libssl3t64:amd64 libssl3t64 3.6.3-1 install ok installed libstdc++6:amd64 libstdc++6 16.1.0-3 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 261.2-1 install ok installed libtext-charwidth-perl:amd64 libtext-charwidth-perl 0.04-12+b1 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-11 install ok installed libtinfo6:amd64 libtinfo6 6.6+20260608-2 install ok installed libtsan2:amd64 libtsan2 16.1.0-3 install ok installed libubsan1:amd64 libubsan1 16.1.0-3 install ok installed libudev1:amd64 libudev1 261.2-1 install ok installed libuuid1:amd64 libuuid1 2.42.2-2 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-3+b2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-3+b2 install ok installed linux-libc-dev linux-libc-dev 7.1.5-1 install ok installed login login 1:4.16.0-2+really2.42.2-2 install ok installed login.defs login.defs 1:4.19.3-2 install ok installed mathcomp-doc mathcomp-doc 2.6.0-2 install ok installed mawk mawk 1.3.4.20260302-1 install ok installed mount mount 2.42.2-2 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 node-markdown-it node-markdown-it 22.2.3+dfsg+~12.2.3-5 install ok installed node-markdown-it-texmath node-markdown-it-texmath 1.0-2 install ok installed node-punycode node-punycode 2.3.1+~2.1.4-1 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.3-1 install ok installed passwd passwd 1:4.19.3-2 install ok installed perl-base perl-base 5.42.2-3 install ok installed procps procps 2:4.0.6-3 install ok installed rpcsvc-proto rpcsvc-proto 1.4.4-1 install ok installed sed sed 4.9-3 install ok installed sensible-utils sensible-utils 0.0.26 install ok installed sqv sqv 1.4.0-1 install ok installed sysvinit-utils sysvinit-utils 3.18-1 install ok installed tar tar 1.35+dfsg-4 install ok installed tzdata tzdata 2026c-1 install ok installed ucf ucf 3.0056 install ok installed util-linux util-linux 2.42.2-2 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.2-3 0m42.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m42.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-15', 'cpp-15-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'fonts-katex', 'gcc', 'gcc-15', 'gcc-15-base:amd64', 'gcc-15-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-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-boot', 'libcoq-mathcomp-field', 'libcoq-mathcomp-finite-group', 'libcoq-mathcomp-group-representation', 'libcoq-mathcomp-order', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-micromega-plugin', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-15-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-jquery', 'libjs-katex', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6: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', 'mathcomp-doc', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'rpcsvc-proto', 'libcoq-mathcomp'] 0m43.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-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu fonts-katex gcc gcc-15 gcc-15-base gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-field libcoq-mathcomp-finite-group libcoq-mathcomp-group-representation libcoq-mathcomp-order libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-micromega-plugin libcoq-stdlib libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libgcc-15-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 libjs-jquery libjs-katex liblsan0 libmenhir-ocaml-dev libmpc3 libmpfr6 libncurses-dev libncurses6 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 mathcomp-doc node-markdown-it node-markdown-it-texmath node-punycode ocaml ocaml-base ocaml-findlib ocaml-interp rpcsvc-proto 0 upgraded, 0 newly installed, 81 to remove and 0 not upgraded. After this operation, 1397 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 ... 17716 files and directories currently installed.) Removing libcoq-mathcomp (2.6.0-2) ... Removing libcoq-mathcomp-group-representation (2.6.0-2) ... Removing libcoq-mathcomp-field (2.6.0-2) ... Removing libcoq-mathcomp-solvable (2.6.0-2) ... Removing libcoq-mathcomp-algebra (2.6.0-2) ... Removing libcoq-mathcomp-ssreflect (2.6.0-2) ... Removing mathcomp-doc (2.6.0-2) ... Removing libjs-katex (0.16.10+~cs6.1.0-7) ... Removing fonts-katex (0.16.10+~cs6.1.0-7) ... Removing libcoq-mathcomp-order (2.6.0-2) ... Removing libcoq-mathcomp-finite-group (2.6.0-2) ... Removing libcoq-mathcomp-boot (2.6.0-2) ... Removing libcoq-micromega-plugin (1.1.1-1+b1) ... Removing libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... Removing node-markdown-it-texmath (1.0-2) ... Removing node-markdown-it (22.2.3+dfsg+~12.2.3-5) ... Removing node-punycode (2.3.1+~2.1.4-1) ... Removing libcoq-hierarchy-builder (1.10.3-2) ... Removing libcoq-elpi (3.5.0-1+b1) ... Removing libelpi-ocaml-dev (3.7.2-2+b1) ... Removing libppx-deriving-ocaml-dev (6.1.2-1) ... Removing libppxlib-ocaml-dev (0.38.0-1+b1) ... Removing libppx-derivers-ocaml-dev (1.2.1-4+b6) ... Removing libcoq-stdlib (9.2.0-1+b1) ... Removing libcoq-core (9.2.0+dfsg-3+b1) ... Removing libcoq-core-ocaml (9.2.0+dfsg-3+b1) ... Removing libelpi-ocaml (3.7.2-2+b1) ... 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.1.2-1) ... 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:15.2.0-5+b1) ... Removing gcc-15 (15.3.0-2) ... Removing binutils (2.47-2) ... Removing libgprofng0:amd64 (2.47-2) ... Removing gcc-x86-64-linux-gnu (4:15.2.0-5+b1) ... Removing gcc-15-x86-64-linux-gnu (15.3.0-2) ... Removing binutils-x86-64-linux-gnu (2.47-2) ... Removing libctf0:amd64 (2.47-2) ... Removing libbinutils:amd64 (2.47-2) ... Removing binutils-common:amd64 (2.47-2) ... Removing cpp (4:15.2.0-5+b1) ... Removing cpp-15 (15.3.0-2) ... Removing cpp-x86-64-linux-gnu (4:15.2.0-5+b1) ... Removing cpp-15-x86-64-linux-gnu (15.3.0-2) ... Removing libgcc-15-dev:amd64 (15.3.0-2) ... Removing gcc-15-base:amd64 (15.3.0-2) ... Removing libasan8:amd64 (16.1.0-3) ... Removing libatomic1:amd64 (16.1.0-3) ... Removing libncurses-dev:amd64 (6.6+20260608-2) ... Removing libc6-dev:amd64 (2.42-17) ... Removing libc-dev-bin (2.42-17) ... Removing libcc1-0:amd64 (16.1.0-3) ... Removing ocaml-interp (5.4.1-1) ... Removing libcompiler-libs-ocaml-dev (5.4.1-1) ... Removing libctf-nobfd0:amd64 (2.47-2) ... Removing libgomp1:amd64 (16.1.0-3) ... Removing libhwasan0:amd64 (16.1.0-3) ... Removing libisl23:amd64 (0.28-1) ... Removing libitm1:amd64 (16.1.0-3) ... Removing libjansson4:amd64 (2.15.1-1) ... Removing liblsan0:amd64 (16.1.0-3) ... Removing libmpc3:amd64 (1.3.1-3) ... Removing libmpfr6:amd64 (4.2.2-3) ... Removing libncurses6:amd64 (6.6+20260608-2) ... Removing libquadmath0:amd64 (16.1.0-3) ... Removing libsframe3:amd64 (2.47-2) ... 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.1.0-3) ... Removing libubsan1:amd64 (16.1.0-3) ... Removing libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ... Removing linux-libc-dev (7.1.5-1) ... Removing rpcsvc-proto (1.4.4-1) ... Processing triggers for libc-bin (2.42-17) ... 0m43.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-15', 'cpp-15-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'fonts-katex', 'gcc', 'gcc-15', 'gcc-15-base:amd64', 'gcc-15-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-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-boot', 'libcoq-mathcomp-field', 'libcoq-mathcomp-finite-group', 'libcoq-mathcomp-group-representation', 'libcoq-mathcomp-order', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-micromega-plugin', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-15-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-jquery', 'libjs-katex', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6: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', 'mathcomp-doc', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'rpcsvc-proto', 'libcoq-mathcomp'] 0m43.6s INFO: Running scripts post_remove 0m43.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_remove_cleanup'] 0m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_remove_cleanup'] 0m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_remove_exceptions'] 0m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_remove_exceptions'] 0m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-15', 'cpp-15-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'fonts-katex', 'gcc', 'gcc-15', 'gcc-15-base:amd64', 'gcc-15-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-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-boot', 'libcoq-mathcomp-field', 'libcoq-mathcomp-finite-group', 'libcoq-mathcomp-group-representation', 'libcoq-mathcomp-order', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-micromega-plugin', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-15-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-jquery', 'libjs-katex', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6: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', 'mathcomp-doc', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'rpcsvc-proto'] 0m43.7s DUMP: (Reading database ... 5518 files and directories currently installed.) Purging configuration files for binutils (2.47-2) ... Purging configuration files for binutils-common:amd64 (2.47-2) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which is not installed Purging configuration files for cpp (4:15.2.0-5+b1) ... dpkg: warning: ignoring request to remove cpp-15 which is not installed dpkg: warning: ignoring request to remove cpp-15-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 fonts-katex which is not installed dpkg: warning: ignoring request to remove gcc which is not installed dpkg: warning: ignoring request to remove gcc-15 which is not installed dpkg: warning: ignoring request to remove gcc-15-base which is not installed dpkg: warning: ignoring request to remove gcc-15-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-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-hierarchy-builder which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-algebra which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-boot which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-field which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-finite-group which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-group-representation which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-order which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-solvable which is not installed dpkg: warning: ignoring request to remove libcoq-mathcomp-ssreflect which is not installed dpkg: warning: ignoring request to remove libcoq-micromega-plugin 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-15-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 Purging configuration files for libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... dpkg: warning: ignoring request to remove libjs-katex 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 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 mathcomp-doc which is not installed dpkg: warning: ignoring request to remove node-markdown-it which is not installed dpkg: warning: ignoring request to remove node-markdown-it-texmath which is not installed dpkg: warning: ignoring request to remove node-punycode 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 dpkg: warning: ignoring request to remove rpcsvc-proto which is not installed 0m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-15', 'cpp-15-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'fonts-katex', 'gcc', 'gcc-15', 'gcc-15-base:amd64', 'gcc-15-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-core', 'libcoq-core-ocaml', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-boot', 'libcoq-mathcomp-field', 'libcoq-mathcomp-finite-group', 'libcoq-mathcomp-group-representation', 'libcoq-mathcomp-order', 'libcoq-mathcomp-solvable', 'libcoq-mathcomp-ssreflect', 'libcoq-micromega-plugin', 'libcoq-stdlib', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libfindlib-ocaml', 'libgcc-15-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjs-jquery', 'libjs-katex', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6: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', 'mathcomp-doc', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'rpcsvc-proto'] 0m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', 'libcoq-mathcomp'] 0m43.7s DUMP: dpkg: warning: ignoring request to remove libcoq-mathcomp which is not installed 0m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', 'libcoq-mathcomp'] 0m43.7s INFO: Running scripts post_purge 0m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_purge_exceptions'] 0m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_purge_exceptions'] 0m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_purge_manual_cleanup'] 0m43.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_purge_manual_cleanup'] 0m43.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', '--pending'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--purge', '--pending'] 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--remove', '--pending'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg', '--remove', '--pending'] 0m43.8s INFO: Running scripts post_test 0m43.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_test_exceptions'] 0m43.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'tmp/scripts/post_test_exceptions'] 0m43.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m44.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m44.4s DEBUG: No broken symlinks as far as we can find. 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-divert', '--list'] 0m44.4s 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 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'dpkg-divert', '--list'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'clean'] 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h', 'apt-get', 'clean'] 0m44.4s DEBUG: Recording chroot state 0m45.4s INFO: PASS: Installation and purging test. 0m45.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/shm'] 0m45.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/shm'] 0m45.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/console'] 0m45.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/console'] 0m45.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/ptmx'] 0m45.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/ptmx'] 0m45.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/pts'] 0m45.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/dev/pts'] 0m45.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/proc'] 0m45.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h/proc'] 0m45.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m46.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpo0c80_4h'] 0m46.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpo0c80_4h 0m46.0s INFO: PASS: All tests. 0m46.0s INFO: piuparts run ends. ret=0 End: 2026-07-29 05:32:03 GMT