Start: 2025-03-19 00:23:21 GMT Package: libcoq-mathcomp-algebra-tactics Source: mathcomp-algebra-tactics (1.2.4-1) Version: 1.2.4-1+b3 Installed-Size: 3389 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-mathcomp-algebra-tactics-jp941 Depends: libcoq-elpi-ftak7, libcoq-mathcomp-algebra-9j0p5, libcoq-mathcomp-ssreflect-5fp29, libcoq-mathcomp-zify-rjkv2 Suggests: ocaml-findlib Description: Ring and field tactics for Mathematical Components Homepage: https://github.com/math-comp/algebra-tactics Description-md5: b500f100ae04143be5718038beb809bc Section: ocaml Priority: optional Filename: pool/main/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_amd64.deb Size: 763376 MD5sum: 9cf66f0eba0bd822d28a1d1e14aa61a8 SHA256: ea2125b7534d7f119f3d60901d3d2ce058ea58cd773e0c66ac012ce3648f9482 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-algebra-tactics=1.2.4-1+b3 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.5.2~202503162239~1.5.1-10-g345d5865 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-algebra-tactics=1.2.4-1+b3 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-34-amd64 #1 SMP Debian 5.10.234-1 (2025-02-24) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp0nq8n5n_ 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp0nq8n5n_ 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/5', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/5', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m0.2s DEBUG: Created policy-rc.d and chmodded it. 0m0.2s DEBUG: Created resolv.conf. 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp0nq8n5n_/tmp/scripts/ 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts-leftovers to /srv/piuparts.debian.org/tmp/tmp0nq8n5n_/tmp/scripts/ 0m0.2s INFO: Running scripts post_chroot_unpack 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'update'] 0m2.1s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [205 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.1 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7381 kB] Fetched 17.7 MB in 1s (12.3 MB/s) Reading package lists... 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'update'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-yf', 'dist-upgrade'] 0m2.4s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-yf', 'dist-upgrade'] 0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.6s DUMP: cbbf38a1969ebc795190c7c5c425fcc7 - 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.6s INFO: Running scripts post_setup 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_dummy_users'] 0m3.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 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_dummy_users'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_fake-essential'] 0m3.8s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... init-system-helpers is already the newest version (1.68). The following additional packages will be installed: libncursesw6 libproc2-0 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-0 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 1757 kB of archives. After this operation, 4946 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libproc2-0 amd64 2:4.0.4-7 [64.9 kB] Get:3 http://deb.debian.org/debian sid/main amd64 procps amd64 2:4.0.4-7 [878 kB] Get:4 http://deb.debian.org/debian sid/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libtext-charwidth-perl amd64 0.04-11+b4 [9476 B] Get:6 http://deb.debian.org/debian sid/main amd64 libtext-wrapi18n-perl all 0.06-10 [8808 B] Get:7 http://deb.debian.org/debian sid/main amd64 ucf all 3.0050 [42.7 kB] Get:8 http://deb.debian.org/debian sid/main amd64 dbconfig-common all 2.0.24 [592 kB] Preconfiguring packages ... Fetched 1757 kB in 0s (23.1 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 ... 4907 files and directories currently installed.) Preparing to unpack .../0-libncursesw6_6.5+20250216-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../1-libproc2-0_2%3a4.0.4-7_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-7) ... Selecting previously unselected package procps. Preparing to unpack .../2-procps_2%3a4.0.4-7_amd64.deb ... Unpacking procps (2:4.0.4-7) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../3-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../4-libtext-charwidth-perl_0.04-11+b4_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-11+b4) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../5-libtext-wrapi18n-perl_0.06-10_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-10) ... Selecting previously unselected package ucf. Preparing to unpack .../6-ucf_3.0050_all.deb ... Moving old data out of the way Unpacking ucf (3.0050) ... Selecting previously unselected package dbconfig-common. Preparing to unpack .../7-dbconfig-common_2.0.24_all.deb ... Unpacking dbconfig-common (2.0.24) ... Setting up libtext-charwidth-perl:amd64 (0.04-11+b4) ... Setting up libtext-wrapi18n-perl (0.06-10) ... Setting up libproc2-0:amd64 (2:4.0.4-7) ... Setting up libncursesw6:amd64 (6.5+20250216-2) ... Setting up sensible-utils (0.0.24) ... Setting up procps (2:4.0.4-7) ... Setting up ucf (3.0050) ... Setting up dbconfig-common (2.0.24) ... Creating config file /etc/dbconfig-common/config with new version Processing triggers for libc-bin (2.41-6) ... 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_fake-essential'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_forbid_home'] 0m3.8s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_forbid_home'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.8s 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' 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_minimize'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_minimize'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_zz_backports'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_setup_zz_backports'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'clean'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'clean'] 0m3.8s DEBUG: Recording chroot state 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.1s DUMP: install ok installed apt apt 2.9.33 install ok installed base-files base-files 13.7 install ok installed base-passwd base-passwd 3.6.6 install ok installed bash bash 5.2.37-1.1+b1 install ok installed bsdutils bsdutils 1:2.40.4-5 install ok installed coreutils coreutils 9.5-1+b1 install ok installed dash dash 0.5.12-12 install ok installed dbconfig-common dbconfig-common 2.0.24 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.21 install ok installed diffutils diffutils 1:3.10-3 install ok installed dpkg dpkg 1.22.18 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-19 install ok installed grep grep 3.11-4 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.68 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 2.9.33 install ok installed libattr1:amd64 libattr1 1:2.5.2-3 install ok installed libaudit-common libaudit-common 1:4.0.2-2 install ok installed libaudit1:amd64 libaudit1 1:4.0.2-2+b2 install ok installed libblkid1:amd64 libblkid1 2.40.4-5 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.41-6 install ok installed libc6:amd64 libc6 2.41-6 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b1 install ok installed libcap2:amd64 libcap2 1:2.75-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.38-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.277 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-19 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.1-1 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-4 install ok installed liblzma5:amd64 liblzma5 5.6.4-1 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmount1:amd64 libmount1 2.40.4-5 install ok installed libncursesw6:amd64 libncursesw6 6.5+20250216-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.1-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-3 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-3 install ok installed libpam-runtime libpam-runtime 1.7.0-3 install ok installed libpam0g:amd64 libpam0g 1.7.0-3 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.45-1 install ok installed libproc2-0:amd64 libproc2-0 2:4.0.4-7 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-2+b1 install ok installed libselinux1:amd64 libselinux1 3.8.1-1 install ok installed libsemanage-common libsemanage-common 3.8.1-1 install ok installed libsemanage2:amd64 libsemanage2 3.8.1-1 install ok installed libsepol2:amd64 libsepol2 3.8.1-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.4-5 install ok installed libssl3t64:amd64 libssl3t64 3.4.1-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-19 install ok installed libsystemd0:amd64 libsystemd0 257.4-3 install ok installed libtext-charwidth-perl:amd64 libtext-charwidth-perl 0.04-11+b4 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-10 install ok installed libtinfo6:amd64 libtinfo6 6.5+20250216-2 install ok installed libudev1:amd64 libudev1 257.4-3 install ok installed libuuid1:amd64 libuuid1 2.40.4-5 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-1 install ok installed login login 1:4.16.0-2+really2.40.4-5 install ok installed login.defs login.defs 1:4.17.3-2 install ok installed mawk mawk 1.3.4.20250131-1 install ok installed mount mount 2.40.4-5 install ok installed ncurses-base ncurses-base 6.5+20250216-2 install ok installed ncurses-bin ncurses-bin 6.5+20250216-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.4.1-1 install ok installed passwd passwd 1:4.17.3-2 install ok installed perl-base perl-base 5.40.1-2 install ok installed procps procps 2:4.0.4-7 install ok installed sed sed 4.9-2 install ok installed sensible-utils sensible-utils 0.0.24 install ok installed sqv sqv 1.2.1-6+b1 install ok installed sysvinit-utils sysvinit-utils 3.14-4 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025a-2 install ok installed ucf ucf 3.0050 install ok installed usr-is-merged usr-is-merged 39+nmu2 install ok installed util-linux util-linux 2.40.4-5 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-divert', '--list'] 0m4.1s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-divert', '--list'] 0m4.1s INFO: Running scripts is_testable 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/is_testable_uninstallable'] 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/is_testable_uninstallable'] 0m4.1s INFO: apt-cache does not know about any of the requested packages 0m4.1s INFO: Running scripts pre_test 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_test_exceptions'] 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_test_exceptions'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_test_root_password'] 0m4.2s DUMP: New password: Retype new password: passwd: password updated successfully 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_test_root_password'] 0m4.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m4.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m4.6s DEBUG: No broken symlinks as far as we can find. 0m4.6s INFO: Running scripts pre_install 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_exceptions'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_exceptions'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_extras'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_extras'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m5.1s DUMP: Package: libcoq-mathcomp-algebra-tactics Source: mathcomp-algebra-tactics (1.2.4-1) Version: 1.2.4-1+b3 Installed-Size: 3389 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-mathcomp-algebra-tactics-jp941 Depends: libcoq-elpi-ftak7, libcoq-mathcomp-algebra-9j0p5, libcoq-mathcomp-ssreflect-5fp29, libcoq-mathcomp-zify-rjkv2 Suggests: ocaml-findlib Description-en: Ring and field tactics for Mathematical Components This package provides the 'ring' and 'field' tactics for the Mathematical Components library, that work for any instance of 'comRingType' and 'fieldType' through canonical structure inference. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. Description-md5: b500f100ae04143be5718038beb809bc Homepage: https://github.com/math-comp/algebra-tactics Section: ocaml Priority: optional Filename: pool/main/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_amd64.deb Size: 763376 MD5sum: 9cf66f0eba0bd822d28a1d1e14aa61a8 SHA256: ea2125b7534d7f119f3d60901d3d2ce058ea58cd773e0c66ac012ce3648f9482 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'show', '--no-all-versions', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m5.1s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: piuparts developers team Depends: libcoq-elpi-ftak7, libcoq-mathcomp-algebra-9j0p5, libcoq-mathcomp-ssreflect-5fp29, libcoq-mathcomp-zify-rjkv2 Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed 0m5.1s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpoq4zv58i/piuparts-depends-dummy'] 0m5.1s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpoq4zv58i/piuparts-depends-dummy.deb'. 0m5.1s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpoq4zv58i/piuparts-depends-dummy'] 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m5.1s DUMP: 2.9.33 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m5.1s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpoq4zv58i/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmp0nq8n5n_/tmp 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m17.2s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-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-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-mathcomp-zify libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libexpat1 libffi8 libfindlib-ocaml libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 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 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0 libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto Suggested packages: binutils-doc gprofng-gui binutils-gold coqide | proofgeneral ledit | readline-editor why coq-doc cpp-doc gcc-14-locales cpp-14-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-14-multilib gcc-14-doc gdb-x86-64-linux-gnu libc-devtools glibc-doc gmp-doc libgmp10-doc libmpfr-dev ncurses-doc ocaml-doc elpa-tuareg camlp4 python3-doc python3-tk python3-venv python3.13-venv python3.13-doc binfmt-support readline-doc Recommended packages: manpages manpages-dev libgpm2 ocaml-man file ledit | readline-editor ca-certificates The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-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-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-mathcomp-zify libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libexpat1 libffi8 libfindlib-ocaml libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 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 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0 libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp piuparts-depends-dummy python3 python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto 0 upgraded, 89 newly installed, 0 to remove and 0 not upgraded. Need to get 423 MB/423 MB of archives. After this operation, 1391 MB of additional disk space will be used. Get:1 /tmp/piuparts-depends-dummy.deb piuparts-depends-dummy amd64 0.invalid.0 [688 B] Get:2 http://deb.debian.org/debian sid/main amd64 libpython3.13-minimal amd64 3.13.2-2 [859 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.7.0-1 [107 kB] Get:4 http://deb.debian.org/debian sid/main amd64 python3.13-minimal amd64 3.13.2-2 [2210 kB] Get:5 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.13.2-2 [27.1 kB] Get:6 http://deb.debian.org/debian sid/main amd64 media-types all 13.0.0 [29.3 kB] Get:7 http://deb.debian.org/debian sid/main amd64 netbase all 6.5 [12.4 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libffi8 amd64 3.4.7-1 [23.9 kB] Get:9 http://deb.debian.org/debian sid/main amd64 readline-common all 8.2-6 [69.4 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libreadline8t64 amd64 8.2-6 [169 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libsqlite3-0 amd64 3.46.1-2 [913 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libpython3.13-stdlib amd64 3.13.2-2 [1952 kB] Get:13 http://deb.debian.org/debian sid/main amd64 python3.13 amd64 3.13.2-2 [746 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.13.2-2 [10.1 kB] Get:15 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.13.2-2 [28.1 kB] Get:16 http://deb.debian.org/debian sid/main amd64 libsframe1 amd64 2.44-3 [78.4 kB] Get:17 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.44-3 [2509 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.44-3 [534 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.44-3 [808 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.44-3 [156 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.44-3 [88.6 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB] Get:23 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.44-3 [1014 kB] Get:24 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.44-3 [265 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1 [23.5 MB] Get:26 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.3.0-2 [605 kB] Get:27 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.3.0-2 [495 kB] Get:28 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.8-1 [214 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.14-1+b1 [117 kB] Get:30 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1 [26.0 MB] Get:31 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 5.3.0-2 [7886 kB] Get:32 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-2 [48.2 MB] Get:33 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 5.3.0-2 [7106 kB] Get:34 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get:35 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.41-6 [57.0 kB] Get:36 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.12.19-1 [2534 kB] Get:37 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.38-1 [119 kB] Get:38 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.41-6 [1988 kB] Get:40 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get:41 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.27-1 [659 kB] Get:42 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.1-1+b2 [724 kB] Get:43 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-1+b3 [52.2 kB] Get:44 http://deb.debian.org/debian sid/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-19 [11.0 MB] Get:45 http://deb.debian.org/debian sid/main amd64 cpp-14 amd64 14.2.0-19 [1280 B] Get:46 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1 [4840 B] Get:47 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:14.2.0-1 [1568 B] Get:48 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 14.2.0-19 [42.8 kB] Get:49 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 14.2.0-19 [137 kB] Get:50 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 14.2.0-19 [26.0 kB] Get:51 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 14.2.0-19 [9308 B] Get:52 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 14.2.0-19 [2725 kB] Get:53 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 14.2.0-19 [1204 kB] Get:54 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 14.2.0-19 [2460 kB] Get:55 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 14.2.0-19 [1074 kB] Get:56 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 14.2.0-19 [1488 kB] Get:57 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 14.2.0-19 [145 kB] Get:58 http://deb.debian.org/debian sid/main amd64 libgcc-14-dev amd64 14.2.0-19 [2672 kB] Get:59 http://deb.debian.org/debian sid/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-19 [21.4 MB] Get:60 http://deb.debian.org/debian sid/main amd64 gcc-14 amd64 14.2.0-19 [540 kB] Get:61 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1 [1436 B] Get:62 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:14.2.0-1 [5136 B] Get:63 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.7+dfsg-1 [371 kB] Get:64 http://deb.debian.org/debian sid/main amd64 ocaml amd64 5.3.0-2 [18.0 MB] Get:65 http://deb.debian.org/debian sid/main amd64 ocaml-findlib amd64 1.9.8-1 [584 kB] Get:66 http://deb.debian.org/debian sid/main amd64 coq amd64 8.20.1+dfsg-1 [70.2 MB] Get:67 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1 [179 kB] Get:68 http://deb.debian.org/debian sid/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB] Get:69 http://deb.debian.org/debian sid/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB] Get:70 http://deb.debian.org/debian sid/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml-dev amd64 1.14-1+b1 [143 kB] Get:72 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1 [68.7 MB] Get:73 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml amd64 0.17.0-1+b1 [129 kB] Get:74 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml amd64 6.0.3-1+b3 [4170 kB] Get:75 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml amd64 2.0.7-1 [3889 kB] Get:76 http://deb.debian.org/debian sid/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1+b1 [887 kB] Get:77 http://deb.debian.org/debian sid/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1+b1 [171 kB] Get:78 http://deb.debian.org/debian sid/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b3 [20.0 kB] Get:79 http://deb.debian.org/debian sid/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+b1 [354 kB] Get:80 http://deb.debian.org/debian sid/main amd64 libppxlib-ocaml-dev amd64 0.35.0-1 [22.0 MB] Get:81 http://deb.debian.org/debian sid/main amd64 libppx-deriving-ocaml-dev amd64 6.0.3-1+b3 [1055 kB] Get:82 http://deb.debian.org/debian sid/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1+b1 [1288 kB] Get:83 http://deb.debian.org/debian sid/main amd64 libelpi-ocaml-dev amd64 2.0.7-1 [15.3 MB] Get:84 http://deb.debian.org/debian sid/main amd64 libcoq-elpi amd64 2.5.0-1 [12.3 MB] Get:85 http://deb.debian.org/debian sid/main amd64 libcoq-hierarchy-builder amd64 1.8.1-1+b1 [551 kB] Get:86 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-ssreflect amd64 2.3.0-1+b6 [8255 kB] Get:87 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-fingroup amd64 2.3.0-1+b6 [2300 kB] Get:88 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-algebra amd64 2.3.0-1+b6 [12.0 MB] Get:89 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-zify amd64 1.5.0+2.0+8.16-4+b6 [273 kB] Fetched 423 MB in 2s (185 MB/s) Selecting previously unselected package libpython3.13-minimal: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 ... 5455 files and directories currently installed.) Preparing to unpack .../libpython3.13-minimal_3.13.2-2_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.2-2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.7.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.0-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.2-2_amd64.deb ... Unpacking python3.13-minimal (3.13.2-2) ... Setting up libpython3.13-minimal:amd64 (3.13.2-2) ... Setting up libexpat1:amd64 (2.7.0-1) ... Setting up python3.13-minimal (3.13.2-2) ... Selecting previously unselected package python3-minimal. (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 ... 5789 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.13.2-2_amd64.deb ... Unpacking python3-minimal (3.13.2-2) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_13.0.0_all.deb ... Unpacking media-types (13.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../3-libffi8_3.4.7-1_amd64.deb ... Unpacking libffi8:amd64 (3.4.7-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.2-6_all.deb ... Unpacking readline-common (8.2-6) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../5-libreadline8t64_8.2-6_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.2-6) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../6-libsqlite3-0_3.46.1-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-2) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../7-libpython3.13-stdlib_3.13.2-2_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.2-2) ... Selecting previously unselected package python3.13. Preparing to unpack .../8-python3.13_3.13.2-2_amd64.deb ... Unpacking python3.13 (3.13.2-2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../9-libpython3-stdlib_3.13.2-2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.2-2) ... Setting up python3-minimal (3.13.2-2) ... Selecting previously unselected package python3. (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 ... 6291 files and directories currently installed.) Preparing to unpack .../00-python3_3.13.2-2_amd64.deb ... Unpacking python3 (3.13.2-2) ... Selecting previously unselected package libsframe1:amd64. Preparing to unpack .../01-libsframe1_2.44-3_amd64.deb ... Unpacking libsframe1:amd64 (2.44-3) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../02-binutils-common_2.44-3_amd64.deb ... Unpacking binutils-common:amd64 (2.44-3) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../03-libbinutils_2.44-3_amd64.deb ... Unpacking libbinutils:amd64 (2.44-3) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../04-libgprofng0_2.44-3_amd64.deb ... Unpacking libgprofng0:amd64 (2.44-3) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../05-libctf-nobfd0_2.44-3_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.44-3) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../06-libctf0_2.44-3_amd64.deb ... Unpacking libctf0:amd64 (2.44-3) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../07-libjansson4_2.14-2+b3_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b3) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../08-binutils-x86-64-linux-gnu_2.44-3_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.44-3) ... Selecting previously unselected package binutils. Preparing to unpack .../09-binutils_2.44-3_amd64.deb ... Unpacking binutils (2.44-3) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../10-libcoq-stdlib_8.20.1+dfsg-1_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../11-libstdlib-ocaml_5.3.0-2_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../12-ocaml-base_5.3.0-2_amd64.deb ... Unpacking ocaml-base (5.3.0-2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../13-libfindlib-ocaml_1.9.8-1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../14-libzarith-ocaml_1.14-1+b1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+b1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../15-libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../16-libstdlib-ocaml-dev_5.3.0-2_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-2) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../17-libcompiler-libs-ocaml-dev_5.3.0-2_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../18-ocaml-interp_5.3.0-2_amd64.deb ... Unpacking ocaml-interp (5.3.0-2) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../19-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../20-libc-dev-bin_2.41-6_amd64.deb ... Unpacking libc-dev-bin (2.41-6) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../21-linux-libc-dev_6.12.19-1_all.deb ... Unpacking linux-libc-dev (6.12.19-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../22-libcrypt-dev_1%3a4.4.38-1_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.38-1) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../23-rpcsvc-proto_1.4.3-1_amd64.deb ... Unpacking rpcsvc-proto (1.4.3-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../24-libc6-dev_2.41-6_amd64.deb ... Unpacking libc6-dev:amd64 (2.41-6) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../25-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../26-libisl23_0.27-1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../27-libmpfr6_4.2.1-1+b2_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.1-1+b2) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../28-libmpc3_1.3.1-1+b3_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1+b3) ... Selecting previously unselected package cpp-14-x86-64-linux-gnu. Preparing to unpack .../29-cpp-14-x86-64-linux-gnu_14.2.0-19_amd64.deb ... Unpacking cpp-14-x86-64-linux-gnu (14.2.0-19) ... Selecting previously unselected package cpp-14. Preparing to unpack .../30-cpp-14_14.2.0-19_amd64.deb ... Unpacking cpp-14 (14.2.0-19) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../31-cpp-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package cpp. Preparing to unpack .../32-cpp_4%3a14.2.0-1_amd64.deb ... Unpacking cpp (4:14.2.0-1) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../33-libcc1-0_14.2.0-19_amd64.deb ... Unpacking libcc1-0:amd64 (14.2.0-19) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../34-libgomp1_14.2.0-19_amd64.deb ... Unpacking libgomp1:amd64 (14.2.0-19) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../35-libitm1_14.2.0-19_amd64.deb ... Unpacking libitm1:amd64 (14.2.0-19) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../36-libatomic1_14.2.0-19_amd64.deb ... Unpacking libatomic1:amd64 (14.2.0-19) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../37-libasan8_14.2.0-19_amd64.deb ... Unpacking libasan8:amd64 (14.2.0-19) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../38-liblsan0_14.2.0-19_amd64.deb ... Unpacking liblsan0:amd64 (14.2.0-19) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../39-libtsan2_14.2.0-19_amd64.deb ... Unpacking libtsan2:amd64 (14.2.0-19) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../40-libubsan1_14.2.0-19_amd64.deb ... Unpacking libubsan1:amd64 (14.2.0-19) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../41-libhwasan0_14.2.0-19_amd64.deb ... Unpacking libhwasan0:amd64 (14.2.0-19) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../42-libquadmath0_14.2.0-19_amd64.deb ... Unpacking libquadmath0:amd64 (14.2.0-19) ... Selecting previously unselected package libgcc-14-dev:amd64. Preparing to unpack .../43-libgcc-14-dev_14.2.0-19_amd64.deb ... Unpacking libgcc-14-dev:amd64 (14.2.0-19) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu. Preparing to unpack .../44-gcc-14-x86-64-linux-gnu_14.2.0-19_amd64.deb ... Unpacking gcc-14-x86-64-linux-gnu (14.2.0-19) ... Selecting previously unselected package gcc-14. Preparing to unpack .../45-gcc-14_14.2.0-19_amd64.deb ... Unpacking gcc-14 (14.2.0-19) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../46-gcc-x86-64-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package gcc. Preparing to unpack .../47-gcc_4%3a14.2.0-1_amd64.deb ... Unpacking gcc (4:14.2.0-1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../48-libzstd-dev_1.5.7+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../49-ocaml_5.3.0-2_amd64.deb ... Unpacking ocaml (5.3.0-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../50-ocaml-findlib_1.9.8-1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1) ... Selecting previously unselected package coq. Preparing to unpack .../51-coq_8.20.1+dfsg-1_amd64.deb ... Unpacking coq (8.20.1+dfsg-1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../52-libfindlib-ocaml-dev_1.9.8-1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../53-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../54-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../55-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../56-libzarith-ocaml-dev_1.14-1+b1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+b1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../57-libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.20.1+dfsg-1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../58-libsexplib0-ocaml_0.17.0-1+b1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1+b1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../59-libppx-deriving-ocaml_6.0.3-1+b3_amd64.deb ... Unpacking libppx-deriving-ocaml (6.0.3-1+b3) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../60-libelpi-ocaml_2.0.7-1_amd64.deb ... Unpacking libelpi-ocaml (2.0.7-1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../61-libmenhir-ocaml-dev_20240715+ds-1+b1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20240715+ds-1+b1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../62-libocaml-compiler-libs-ocaml-dev_0.17.0-1+b1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1+b1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../63-libppx-derivers-ocaml-dev_1.2.1-4+b3_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b3) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../64-libsexplib0-ocaml-dev_0.17.0-1+b1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1+b1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../65-libppxlib-ocaml-dev_0.35.0-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.35.0-1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../66-libppx-deriving-ocaml-dev_6.0.3-1+b3_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.0.3-1+b3) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../67-libre-ocaml-dev_1.12.0+really1.11.0-1+b1_amd64.deb ... Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ... Selecting previously unselected package libelpi-ocaml-dev. Preparing to unpack .../68-libelpi-ocaml-dev_2.0.7-1_amd64.deb ... Unpacking libelpi-ocaml-dev (2.0.7-1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../69-libcoq-elpi_2.5.0-1_amd64.deb ... Unpacking libcoq-elpi (2.5.0-1) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../70-libcoq-hierarchy-builder_1.8.1-1+b1_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.8.1-1+b1) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../71-libcoq-mathcomp-ssreflect_2.3.0-1+b6_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (2.3.0-1+b6) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../72-libcoq-mathcomp-fingroup_2.3.0-1+b6_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (2.3.0-1+b6) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../73-libcoq-mathcomp-algebra_2.3.0-1+b6_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.3.0-1+b6) ... Selecting previously unselected package libcoq-mathcomp-zify. Preparing to unpack .../74-libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b6_amd64.deb ... Unpacking libcoq-mathcomp-zify (1.5.0+2.0+8.16-4+b6) ... Selecting previously unselected package piuparts-depends-dummy. Preparing to unpack .../75-piuparts-depends-dummy.deb ... Unpacking piuparts-depends-dummy (0.invalid.0) ... Setting up media-types (13.0.0) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-1) ... Setting up libsqlite3-0:amd64 (3.46.1-2) ... Setting up binutils-common:amd64 (2.44-3) ... Setting up linux-libc-dev (6.12.19-1) ... Setting up libctf-nobfd0:amd64 (2.44-3) ... Setting up libgomp1:amd64 (14.2.0-19) ... Setting up libsframe1:amd64 (2.44-3) ... Setting up libjansson4:amd64 (2.14-2+b3) ... Setting up libcoq-stdlib (8.20.1+dfsg-1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.1-1+b2) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libquadmath0:amd64 (14.2.0-19) ... Setting up libstdlib-ocaml (5.3.0-2) ... Setting up libmpc3:amd64 (1.3.1-1+b3) ... Setting up libatomic1:amd64 (14.2.0-19) ... Setting up ocaml-base (5.3.0-2) ... Setting up libubsan1:amd64 (14.2.0-19) ... Setting up libffi8:amd64 (3.4.7-1) ... Setting up libsexplib0-ocaml (0.17.0-1+b1) ... Setting up libhwasan0:amd64 (14.2.0-19) ... Setting up libcrypt-dev:amd64 (1:4.4.38-1) ... Setting up libasan8:amd64 (14.2.0-19) ... Setting up netbase (6.5) ... Setting up libtsan2:amd64 (14.2.0-19) ... Setting up libbinutils:amd64 (2.44-3) ... Setting up libisl23:amd64 (0.27-1) ... Setting up libc-dev-bin (2.41-6) ... Setting up readline-common (8.2-6) ... Setting up libcc1-0:amd64 (14.2.0-19) ... Setting up liblsan0:amd64 (14.2.0-19) ... Setting up libitm1:amd64 (14.2.0-19) ... Setting up libctf0:amd64 (2.44-3) ... Setting up libppx-deriving-ocaml (6.0.3-1+b3) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libstdlib-ocaml-dev (5.3.0-2) ... Setting up libfindlib-ocaml (1.9.8-1) ... Setting up libzarith-ocaml (1.14-1+b1) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... Setting up libgprofng0:amd64 (2.44-3) ... Setting up ocaml-interp (5.3.0-2) ... Setting up ocaml-findlib (1.9.8-1) ... Setting up cpp-14-x86-64-linux-gnu (14.2.0-19) ... Setting up cpp-14 (14.2.0-19) ... Setting up libreadline8t64:amd64 (8.2-6) ... Setting up libelpi-ocaml (2.0.7-1) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libc6-dev:amd64 (2.41-6) ... Setting up libgcc-14-dev:amd64 (14.2.0-19) ... Setting up libpython3.13-stdlib:amd64 (3.13.2-2) ... Setting up libpython3-stdlib:amd64 (3.13.2-2) ... Setting up binutils-x86-64-linux-gnu (2.44-3) ... Setting up cpp-x86-64-linux-gnu (4:14.2.0-1) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up python3.13 (3.13.2-2) ... Setting up python3 (3.13.2-2) ... Setting up binutils (2.44-3) ... Setting up cpp (4:14.2.0-1) ... Setting up gcc-14-x86-64-linux-gnu (14.2.0-19) ... Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ... Setting up gcc-14 (14.2.0-19) ... Setting up gcc (4:14.2.0-1) ... Setting up ocaml (5.3.0-2) ... Setting up libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ... Setting up libmenhir-ocaml-dev (20240715+ds-1+b1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1+b1) ... Setting up libfindlib-ocaml-dev (1.9.8-1) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+b1) ... Setting up coq (8.20.1+dfsg-1) ... Setting up libzarith-ocaml-dev (1.14-1+b1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b3) ... Setting up libppxlib-ocaml-dev (0.35.0-1) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1) ... Setting up libppx-deriving-ocaml-dev (6.0.3-1+b3) ... Setting up libelpi-ocaml-dev (2.0.7-1) ... Setting up libcoq-elpi (2.5.0-1) ... Setting up libcoq-hierarchy-builder (1.8.1-1+b1) ... Setting up libcoq-mathcomp-ssreflect (2.3.0-1+b6) ... Setting up libcoq-mathcomp-fingroup (2.3.0-1+b6) ... Setting up libcoq-mathcomp-algebra (2.3.0-1+b6) ... Setting up libcoq-mathcomp-zify (1.5.0+2.0+8.16-4+b6) ... Setting up piuparts-depends-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.41-6) ... 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m17.2s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m17.2s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmp0nq8n5n_/./tmp/piuparts-depends-dummy.deb 0m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m17.2s DUMP: piuparts-depends-dummy install ok installed 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m17.2s DUMP: (Reading database ... 21869 files and directories currently installed.) Removing piuparts-depends-dummy (0.invalid.0) ... 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'clean'] 0m17.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'clean'] 0m17.3s DEBUG: Recording chroot state 0m17.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m18.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m19.4s DEBUG: No broken symlinks as far as we can find. 0m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy'] 0m19.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: 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy', 'libcoq-mathcomp-algebra-tactics'] 0m19.8s DUMP: libcoq-mathcomp-algebra-tactics: Installed: (none) Candidate: 1.2.4-1+b3 Version table: 1.2.4-1+b3 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy', 'libcoq-mathcomp-algebra-tactics'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', 'install', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m20.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: libcoq-mathcomp-algebra-tactics 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 763 kB of archives. After this operation, 3470 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libcoq-mathcomp-algebra-tactics amd64 1.2.4-1+b3 [763 kB] Fetched 763 kB in 0s (12.7 MB/s) Selecting previously unselected package libcoq-mathcomp-algebra-tactics. (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 ... 21869 files and directories currently installed.) Preparing to unpack .../libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_amd64.deb ... Unpacking libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... Setting up libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... 0m20.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', 'install', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m20.4s INFO: Running scripts post_install 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_install_exceptions'] 0m20.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_install_exceptions'] 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'systemd-tmpfiles', '--cat-config'] 0m20.4s DUMP: chroot: failed to run command 'systemd-tmpfiles': No such file or directory 0m20.4s DEBUG: Command failed (status=127), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'systemd-tmpfiles', '--cat-config'] 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'remove', 'libcoq-mathcomp-algebra-tactics'] 0m20.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-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-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-mathcomp-zify libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libexpat1 libffi8 libfindlib-ocaml libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 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 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0 libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: libcoq-mathcomp-algebra-tactics 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. After this operation, 3470 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 ... 21895 files and directories currently installed.) Removing libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'remove', 'libcoq-mathcomp-algebra-tactics'] 0m20.8s INFO: Reinstalling after remove 0m20.8s INFO: Running scripts pre_install 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_database-server'] 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_database-server'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_exceptions'] 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_exceptions'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_extras'] 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_extras'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy'] 0m20.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: 0m20.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy'] 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy', 'libcoq-mathcomp-algebra-tactics'] 0m20.9s DUMP: libcoq-mathcomp-algebra-tactics: Installed: (none) Candidate: 1.2.4-1+b3 Version table: 1.2.4-1+b3 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy', 'libcoq-mathcomp-algebra-tactics'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', 'install', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m21.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: libcoq-mathcomp-algebra-tactics 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/763 kB of archives. After this operation, 3470 kB of additional disk space will be used. Selecting previously unselected package libcoq-mathcomp-algebra-tactics. (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 ... 21869 files and directories currently installed.) Preparing to unpack .../libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_amd64.deb ... Unpacking libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... Setting up libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... 0m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', 'install', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m21.3s INFO: Running scripts post_install 0m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_install_exceptions'] 0m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_install_exceptions'] 0m21.3s INFO: Running scripts pre_install 0m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_database-server'] 0m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_database-server'] 0m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_exceptions'] 0m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_exceptions'] 0m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_extras'] 0m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_extras'] 0m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy'] 0m21.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy', 'libcoq-mathcomp-algebra-tactics'] 0m21.4s DUMP: libcoq-mathcomp-algebra-tactics: Installed: 1.2.4-1+b3 Candidate: 1.2.4-1+b3 Version table: *** 1.2.4-1+b3 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-cache', 'policy', 'libcoq-mathcomp-algebra-tactics'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', 'install', '--reinstall', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m21.9s DUMP: Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 1 reinstalled, 0 to remove and 0 not upgraded. Need to get 0 B/763 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 ... 21895 files and directories currently installed.) Preparing to unpack .../libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_amd64.deb ... Unpacking libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) over (1.2.4-1+b3) ... Setting up libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... 0m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', '-y', 'install', '--reinstall', 'libcoq-mathcomp-algebra-tactics=1.2.4-1+b3'] 0m21.9s INFO: Running scripts post_install 0m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_install_exceptions'] 0m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_install_exceptions'] 0m21.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m22.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m23.6s DEBUG: No broken symlinks as far as we can find. 0m24.4s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', '-ac', '--ignore-obsolete'] 0m27.4s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', '-ac', '--ignore-obsolete'] 0m27.4s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m27.4s DUMP: 0.15.6 0m27.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m27.4s INFO: Running adequate version 0.15.6 now. 0m27.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'libcoq-mathcomp-algebra-tactics'] 0m27.5s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'libcoq-mathcomp-algebra-tactics'] 0m27.5s INFO: Running scripts pre_remove 0m27.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m27.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m27.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m27.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m27.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_exceptions'] 0m28.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_exceptions'] 0m28.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m28.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m28.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m28.5s DUMP: install ok installed apt apt 2.9.33 install ok installed base-files base-files 13.7 install ok installed base-passwd base-passwd 3.6.6 install ok installed bash bash 5.2.37-1.1+b1 install ok installed binutils binutils 2.44-3 install ok installed binutils-common:amd64 binutils-common 2.44-3 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.44-3 install ok installed bsdutils bsdutils 1:2.40.4-5 install ok installed coq coq 8.20.1+dfsg-1 install ok installed coreutils coreutils 9.5-1+b1 install ok installed cpp cpp 4:14.2.0-1 install ok installed cpp-14 cpp-14 14.2.0-19 install ok installed cpp-14-x86-64-linux-gnu cpp-14-x86-64-linux-gnu 14.2.0-19 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:14.2.0-1 install ok installed dash dash 0.5.12-12 install ok installed dbconfig-common dbconfig-common 2.0.24 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.21 install ok installed diffutils diffutils 1:3.10-3 install ok installed dpkg dpkg 1.22.18 install ok installed findutils findutils 4.10.0-3 install ok installed gcc gcc 4:14.2.0-1 install ok installed gcc-14 gcc-14 14.2.0-19 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-19 install ok installed gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu 14.2.0-19 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:14.2.0-1 install ok installed grep grep 3.11-4 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.68 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 2.9.33 install ok installed libasan8:amd64 libasan8 14.2.0-19 install ok installed libatomic1:amd64 libatomic1 14.2.0-19 install ok installed libattr1:amd64 libattr1 1:2.5.2-3 install ok installed libaudit-common libaudit-common 1:4.0.2-2 install ok installed libaudit1:amd64 libaudit1 1:4.0.2-2+b2 install ok installed libbinutils:amd64 libbinutils 2.44-3 install ok installed libblkid1:amd64 libblkid1 2.40.4-5 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.41-6 install ok installed libc-dev-bin libc-dev-bin 2.41-6 install ok installed libc6:amd64 libc6 2.41-6 install ok installed libc6-dev:amd64 libc6-dev 2.41-6 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b1 install ok installed libcap2:amd64 libcap2 1:2.75-2 install ok installed libcc1-0:amd64 libcc1-0 14.2.0-19 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.3.0-2 install ok installed libcoq-core-ocaml libcoq-core-ocaml 8.20.1+dfsg-1 install ok installed libcoq-core-ocaml-dev libcoq-core-ocaml-dev 8.20.1+dfsg-1 install ok installed libcoq-elpi libcoq-elpi 2.5.0-1 install ok installed libcoq-hierarchy-builder libcoq-hierarchy-builder 1.8.1-1+b1 install ok installed libcoq-mathcomp-algebra libcoq-mathcomp-algebra 2.3.0-1+b6 install ok installed libcoq-mathcomp-algebra-tactics libcoq-mathcomp-algebra-tactics 1.2.4-1+b3 install ok installed libcoq-mathcomp-fingroup libcoq-mathcomp-fingroup 2.3.0-1+b6 install ok installed libcoq-mathcomp-ssreflect libcoq-mathcomp-ssreflect 2.3.0-1+b6 install ok installed libcoq-mathcomp-zify libcoq-mathcomp-zify 1.5.0+2.0+8.16-4+b6 install ok installed libcoq-stdlib libcoq-stdlib 8.20.1+dfsg-1 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.38-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.38-1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.44-3 install ok installed libctf0:amd64 libctf0 2.44-3 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.277 install ok installed libelpi-ocaml libelpi-ocaml 2.0.7-1 install ok installed libelpi-ocaml-dev libelpi-ocaml-dev 2.0.7-1 install ok installed libexpat1:amd64 libexpat1 2.7.0-1 install ok installed libffi8:amd64 libffi8 3.4.7-1 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.8-1 install ok installed libfindlib-ocaml-dev libfindlib-ocaml-dev 1.9.8-1 install ok installed libgcc-14-dev:amd64 libgcc-14-dev 14.2.0-19 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-19 install ok installed libgmp-dev:amd64 libgmp-dev 2:6.3.0+dfsg-3 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-3 install ok installed libgmp3-dev:amd64 libgmp3-dev 2:6.3.0+dfsg-3 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.3.0+dfsg-3 install ok installed libgomp1:amd64 libgomp1 14.2.0-19 install ok installed libgprofng0:amd64 libgprofng0 2.44-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.1-1 install ok installed libhwasan0:amd64 libhwasan0 14.2.0-19 install ok installed libisl23:amd64 libisl23 0.27-1 install ok installed libitm1:amd64 libitm1 14.2.0-19 install ok installed libjansson4:amd64 libjansson4 2.14-2+b3 install ok installed liblsan0:amd64 liblsan0 14.2.0-19 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-4 install ok installed liblzma5:amd64 liblzma5 5.6.4-1 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmenhir-ocaml-dev libmenhir-ocaml-dev 20240715+ds-1+b1 install ok installed libmount1:amd64 libmount1 2.40.4-5 install ok installed libmpc3:amd64 libmpc3 1.3.1-1+b3 install ok installed libmpfr6:amd64 libmpfr6 4.2.1-1+b2 install ok installed libncurses-dev:amd64 libncurses-dev 6.5+20250216-2 install ok installed libncurses6:amd64 libncurses6 6.5+20250216-2 install ok installed libncursesw6:amd64 libncursesw6 6.5+20250216-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.1-1 install ok installed libocaml-compiler-libs-ocaml-dev libocaml-compiler-libs-ocaml-dev 0.17.0-1+b1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-3 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-3 install ok installed libpam-runtime libpam-runtime 1.7.0-3 install ok installed libpam0g:amd64 libpam0g 1.7.0-3 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.45-1 install ok installed libppx-derivers-ocaml-dev libppx-derivers-ocaml-dev 1.2.1-4+b3 install ok installed libppx-deriving-ocaml libppx-deriving-ocaml 6.0.3-1+b3 install ok installed libppx-deriving-ocaml-dev libppx-deriving-ocaml-dev 6.0.3-1+b3 install ok installed libppxlib-ocaml-dev libppxlib-ocaml-dev 0.35.0-1 install ok installed libproc2-0:amd64 libproc2-0 2:4.0.4-7 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.13.2-2 install ok installed libpython3.13-minimal:amd64 libpython3.13-minimal 3.13.2-2 install ok installed libpython3.13-stdlib:amd64 libpython3.13-stdlib 3.13.2-2 install ok installed libquadmath0:amd64 libquadmath0 14.2.0-19 install ok installed libre-ocaml-dev libre-ocaml-dev 1.12.0+really1.11.0-1+b1 install ok installed libreadline8t64:amd64 libreadline8t64 8.2-6 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-2+b1 install ok installed libselinux1:amd64 libselinux1 3.8.1-1 install ok installed libsemanage-common libsemanage-common 3.8.1-1 install ok installed libsemanage2:amd64 libsemanage2 3.8.1-1 install ok installed libsepol2:amd64 libsepol2 3.8.1-1 install ok installed libsexplib0-ocaml libsexplib0-ocaml 0.17.0-1+b1 install ok installed libsexplib0-ocaml-dev libsexplib0-ocaml-dev 0.17.0-1+b1 install ok installed libsframe1:amd64 libsframe1 2.44-3 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.4-5 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-2 install ok installed libssl3t64:amd64 libssl3t64 3.4.1-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-19 install ok installed libstdlib-ocaml libstdlib-ocaml 5.3.0-2 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 5.3.0-2 install ok installed libsystemd0:amd64 libsystemd0 257.4-3 install ok installed libtext-charwidth-perl:amd64 libtext-charwidth-perl 0.04-11+b4 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-10 install ok installed libtinfo6:amd64 libtinfo6 6.5+20250216-2 install ok installed libtsan2:amd64 libtsan2 14.2.0-19 install ok installed libubsan1:amd64 libubsan1 14.2.0-19 install ok installed libudev1:amd64 libudev1 257.4-3 install ok installed libuuid1:amd64 libuuid1 2.40.4-5 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2 install ok installed libzarith-ocaml libzarith-ocaml 1.14-1+b1 install ok installed libzarith-ocaml-dev libzarith-ocaml-dev 1.14-1+b1 install ok installed libzstd-dev:amd64 libzstd-dev 1.5.7+dfsg-1 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-1 install ok installed linux-libc-dev linux-libc-dev 6.12.19-1 install ok installed login login 1:4.16.0-2+really2.40.4-5 install ok installed login.defs login.defs 1:4.17.3-2 install ok installed mawk mawk 1.3.4.20250131-1 install ok installed media-types media-types 13.0.0 install ok installed mount mount 2.40.4-5 install ok installed ncurses-base ncurses-base 6.5+20250216-2 install ok installed ncurses-bin ncurses-bin 6.5+20250216-2 install ok installed netbase netbase 6.5 install ok installed ocaml ocaml 5.3.0-2 install ok installed ocaml-base ocaml-base 5.3.0-2 install ok installed ocaml-findlib ocaml-findlib 1.9.8-1 install ok installed ocaml-interp ocaml-interp 5.3.0-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.4.1-1 install ok installed passwd passwd 1:4.17.3-2 install ok installed perl-base perl-base 5.40.1-2 install ok installed procps procps 2:4.0.4-7 install ok installed python3 python3 3.13.2-2 install ok installed python3-minimal python3-minimal 3.13.2-2 install ok installed python3.13 python3.13 3.13.2-2 install ok installed python3.13-minimal python3.13-minimal 3.13.2-2 install ok installed readline-common readline-common 8.2-6 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-2 install ok installed sensible-utils sensible-utils 0.0.24 install ok installed sqv sqv 1.2.1-6+b1 install ok installed sysvinit-utils sysvinit-utils 3.14-4 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025a-2 install ok installed ucf ucf 3.0050 install ok installed usr-is-merged usr-is-merged 39+nmu2 install ok installed util-linux util-linux 2.40.4-5 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m28.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m28.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-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-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-ssreflect', 'libcoq-mathcomp-zify', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libffi8:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-mathcomp-algebra-tactics'] 0m29.6s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 gcc-14-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-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-algebra-tactics libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-mathcomp-zify libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libelpi-ocaml libelpi-ocaml-dev libexpat1 libffi8 libfindlib-ocaml libfindlib-ocaml-dev libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 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 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0 libre-ocaml-dev libreadline8t64 libsexplib0-ocaml libsexplib0-ocaml-dev libsframe1 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzarith-ocaml-dev libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto 0 upgraded, 0 newly installed, 89 to remove and 0 not upgraded. After this operation, 1395 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 ... 21895 files and directories currently installed.) Removing libcoq-mathcomp-algebra-tactics (1.2.4-1+b3) ... Removing libcoq-mathcomp-zify (1.5.0+2.0+8.16-4+b6) ... Removing libcoq-mathcomp-algebra (2.3.0-1+b6) ... Removing libcoq-mathcomp-fingroup (2.3.0-1+b6) ... Removing libcoq-mathcomp-ssreflect (2.3.0-1+b6) ... Removing libcoq-hierarchy-builder (1.8.1-1+b1) ... Removing libcoq-elpi (2.5.0-1) ... Removing libcoq-core-ocaml-dev (8.20.1+dfsg-1) ... Removing coq (8.20.1+dfsg-1) ... Removing libelpi-ocaml-dev (2.0.7-1) ... Removing libppx-deriving-ocaml-dev (6.0.3-1+b3) ... Removing libppxlib-ocaml-dev (0.35.0-1) ... Removing libppx-derivers-ocaml-dev (1.2.1-4+b3) ... Removing libzarith-ocaml-dev (1.14-1+b1) ... Removing libfindlib-ocaml-dev (1.9.8-1) ... Removing libcoq-core-ocaml (8.20.1+dfsg-1) ... Removing libcoq-stdlib (8.20.1+dfsg-1) ... Removing libelpi-ocaml (2.0.7-1) ... Removing python3 (3.13.2-2) ... Removing python3-minimal (3.13.2-2) ... Removing python3.13 (3.13.2-2) ... Removing python3.13-minimal (3.13.2-2) ... Removing libexpat1:amd64 (2.7.0-1) ... Removing libpython3-stdlib:amd64 (3.13.2-2) ... Removing libpython3.13-stdlib:amd64 (3.13.2-2) ... find: '/usr/lib/python3': No such file or directory Removing libffi8:amd64 (3.4.7-1) ... Removing ocaml-findlib (1.9.8-1) ... Removing libfindlib-ocaml (1.9.8-1) ... Removing libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Removing libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Removing libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Removing libmenhir-ocaml-dev (20240715+ds-1+b1) ... Removing libocaml-compiler-libs-ocaml-dev (0.17.0-1+b1) ... Removing libppx-deriving-ocaml (6.0.3-1+b3) ... Removing libpython3.13-minimal:amd64 (3.13.2-2) ... find: '/usr/lib/python3': No such file or directory Removing libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ... Removing libreadline8t64:amd64 (8.2-6) ... Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Removing 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Removing libsexplib0-ocaml-dev (0.17.0-1+b1) ... Removing libsexplib0-ocaml (0.17.0-1+b1) ... Removing libsqlite3-0:amd64 (3.46.1-2) ... Removing libzarith-ocaml (1.14-1+b1) ... Removing media-types (13.0.0) ... Removing netbase (6.5) ... Removing readline-common (8.2-6) ... Removing ocaml (5.3.0-2) ... Removing gcc (4:14.2.0-1) ... Removing gcc-14 (14.2.0-19) ... Removing binutils (2.44-3) ... Removing libgprofng0:amd64 (2.44-3) ... Removing gcc-x86-64-linux-gnu (4:14.2.0-1) ... Removing gcc-14-x86-64-linux-gnu (14.2.0-19) ... Removing binutils-x86-64-linux-gnu (2.44-3) ... Removing libctf0:amd64 (2.44-3) ... Removing libbinutils:amd64 (2.44-3) ... Removing binutils-common:amd64 (2.44-3) ... Removing cpp (4:14.2.0-1) ... Removing cpp-14 (14.2.0-19) ... Removing cpp-x86-64-linux-gnu (4:14.2.0-1) ... Removing cpp-14-x86-64-linux-gnu (14.2.0-19) ... Removing libgcc-14-dev:amd64 (14.2.0-19) ... Removing libasan8:amd64 (14.2.0-19) ... Removing libatomic1:amd64 (14.2.0-19) ... Removing libncurses-dev:amd64 (6.5+20250216-2) ... Removing libc6-dev:amd64 (2.41-6) ... Removing libc-dev-bin (2.41-6) ... Removing libcc1-0:amd64 (14.2.0-19) ... Removing ocaml-interp (5.3.0-2) ... Removing libcompiler-libs-ocaml-dev (5.3.0-2) ... Removing libcrypt-dev:amd64 (1:4.4.38-1) ... Removing libctf-nobfd0:amd64 (2.44-3) ... Removing libgomp1:amd64 (14.2.0-19) ... Removing libhwasan0:amd64 (14.2.0-19) ... Removing libisl23:amd64 (0.27-1) ... Removing libitm1:amd64 (14.2.0-19) ... Removing libjansson4:amd64 (2.14-2+b3) ... Removing liblsan0:amd64 (14.2.0-19) ... Removing libmpc3:amd64 (1.3.1-1+b3) ... Removing libmpfr6:amd64 (4.2.1-1+b2) ... Removing libncurses6:amd64 (6.5+20250216-2) ... Removing libquadmath0:amd64 (14.2.0-19) ... Removing libsframe1:amd64 (2.44-3) ... Removing ocaml-base (5.3.0-2) ... Removing libstdlib-ocaml-dev (5.3.0-2) ... Removing libstdlib-ocaml (5.3.0-2) ... Removing libtsan2:amd64 (14.2.0-19) ... Removing libubsan1:amd64 (14.2.0-19) ... Removing libzstd-dev:amd64 (1.5.7+dfsg-1) ... Removing linux-libc-dev (6.12.19-1) ... Removing rpcsvc-proto (1.4.3-1) ... Processing triggers for libc-bin (2.41-6) ... 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'remove', '--allow-remove-essential', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-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-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-ssreflect', 'libcoq-mathcomp-zify', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libffi8:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto', 'libcoq-mathcomp-algebra-tactics'] 0m29.6s INFO: Running scripts post_remove 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_remove_cleanup'] 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_remove_cleanup'] 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_remove_exceptions'] 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_remove_exceptions'] 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-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-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-ssreflect', 'libcoq-mathcomp-zify', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libffi8:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto'] 0m29.6s DUMP: (Reading database ... 5464 files and directories currently installed.) Purging configuration files for binutils (2.44-3) ... Purging configuration files for binutils-common:amd64 (2.44-3) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove coq which isn't installed Purging configuration files for cpp (4:14.2.0-1) ... dpkg: warning: ignoring request to remove cpp-14 which isn't installed dpkg: warning: ignoring request to remove cpp-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-14 which isn't installed dpkg: warning: ignoring request to remove gcc-14-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove gcc-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcompiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libcoq-elpi which isn't installed dpkg: warning: ignoring request to remove libcoq-hierarchy-builder which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-algebra which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-fingroup which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-ssreflect which isn't installed dpkg: warning: ignoring request to remove libcoq-mathcomp-zify which isn't installed dpkg: warning: ignoring request to remove libcoq-stdlib which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.38-1) ... dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libelpi-ocaml which isn't installed dpkg: warning: ignoring request to remove libelpi-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed dpkg: warning: ignoring request to remove libffi8 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.8-1) ... dpkg: warning: ignoring request to remove libfindlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libgcc-14-dev which isn't installed dpkg: warning: ignoring request to remove libgmp-dev which isn't installed dpkg: warning: ignoring request to remove libgmp3-dev which isn't installed dpkg: warning: ignoring request to remove libgmpxx4ldbl which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgprofng0 which isn't installed dpkg: warning: ignoring request to remove libhwasan0 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmenhir-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libocaml-compiler-libs-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-derivers-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml which isn't installed dpkg: warning: ignoring request to remove libppx-deriving-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libppxlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.13-minimal:amd64 (3.13.2-2) ... dpkg: warning: ignoring request to remove libpython3.13-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libre-ocaml-dev which isn't installed Purging configuration files for libreadline8t64:amd64 (8.2-6) ... dpkg: warning: ignoring request to remove libsexplib0-ocaml which isn't installed dpkg: warning: ignoring request to remove libsexplib0-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libsframe1 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml which isn't installed dpkg: warning: ignoring request to remove libstdlib-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libtsan2 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libzstd-dev which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Purging configuration files for media-types (13.0.0) ... Purging configuration files for netbase (6.5) ... dpkg: warning: ignoring request to remove ocaml which isn't installed dpkg: warning: ignoring request to remove ocaml-base which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed Purging configuration files for python3 (3.13.2-2) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.13 which isn't installed Purging configuration files for python3.13-minimal (3.13.2-2) ... Purging configuration files for readline-common (8.2-6) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'cpp', 'cpp-14', 'cpp-14-x86-64-linux-gnu', 'cpp-x86-64-linux-gnu', 'gcc', 'gcc-14', 'gcc-14-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-ocaml', 'libcoq-core-ocaml-dev', 'libcoq-elpi', 'libcoq-hierarchy-builder', 'libcoq-mathcomp-algebra', 'libcoq-mathcomp-fingroup', 'libcoq-mathcomp-ssreflect', 'libcoq-mathcomp-zify', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libelpi-ocaml', 'libelpi-ocaml-dev', 'libexpat1:amd64', 'libffi8:amd64', 'libfindlib-ocaml', 'libfindlib-ocaml-dev', 'libgcc-14-dev:amd64', 'libgmp-dev:amd64', 'libgmp3-dev:amd64', 'libgmpxx4ldbl:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libhwasan0:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'liblsan0:amd64', 'libmenhir-ocaml-dev', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libocaml-compiler-libs-ocaml-dev', 'libppx-derivers-ocaml-dev', 'libppx-deriving-ocaml', 'libppx-deriving-ocaml-dev', 'libppxlib-ocaml-dev', 'libpython3-stdlib:amd64', 'libpython3.13-minimal:amd64', 'libpython3.13-stdlib:amd64', 'libquadmath0:amd64', 'libre-ocaml-dev', 'libreadline8t64:amd64', 'libsexplib0-ocaml', 'libsexplib0-ocaml-dev', 'libsframe1:amd64', 'libsqlite3-0:amd64', 'libstdlib-ocaml', 'libstdlib-ocaml-dev', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'libzarith-ocaml-dev', 'libzstd-dev:amd64', 'linux-libc-dev', 'media-types', 'netbase', 'ocaml', 'ocaml-base', 'ocaml-findlib', 'ocaml-interp', 'python3', 'python3-minimal', 'python3.13', 'python3.13-minimal', 'readline-common', 'rpcsvc-proto'] 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', 'libcoq-mathcomp-algebra-tactics'] 0m29.6s DUMP: dpkg: warning: ignoring request to remove libcoq-mathcomp-algebra-tactics which isn't installed 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', 'libcoq-mathcomp-algebra-tactics'] 0m29.6s INFO: Running scripts post_purge 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_purge_exceptions'] 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_purge_exceptions'] 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_purge_manual_cleanup'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_purge_manual_cleanup'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', '--pending'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--purge', '--pending'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--remove', '--pending'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg', '--remove', '--pending'] 0m29.7s INFO: Running scripts post_test 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_test_exceptions'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'tmp/scripts/post_test_exceptions'] 0m29.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m29.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m30.1s DEBUG: No broken symlinks as far as we can find. 0m30.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-divert', '--list'] 0m30.1s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m30.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'dpkg-divert', '--list'] 0m30.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'clean'] 0m30.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_', 'apt-get', 'clean'] 0m30.1s DEBUG: Recording chroot state 0m30.9s INFO: PASS: Installation and purging test. 0m31.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/shm'] 0m31.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/shm'] 0m31.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/console'] 0m31.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/console'] 0m31.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/ptmx'] 0m31.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/ptmx'] 0m31.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/pts'] 0m31.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/dev/pts'] 0m31.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/proc'] 0m31.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_/proc'] 0m31.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m31.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp0nq8n5n_'] 0m31.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp0nq8n5n_ 0m31.2s INFO: PASS: All tests. 0m31.2s INFO: piuparts run ends. ret=0 End: 2025-03-19 00:23:52 GMT