Start: 2024-10-29 01:19:51 GMT [testing] Package: python3-cvc5 Source: cvc5 (1.1.2-2) Version: 1.1.2-2+b1 Installed-Size: 1533 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: python3 (<< 3.13), python3 (>= 3.12~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description: automated theorem prover for SMT problems (Python bindings) Homepage: https://cvc5.github.io/ Description-md5: fd44bb6c2829474adf4e1656c846c672 Section: math Priority: optional Filename: pool/main/c/cvc5/python3-cvc5_1.1.2-2+b1_amd64.deb Size: 335544 MD5sum: d96565733aa2dad24433a4425bb0a633 SHA256: dfbd339e92b6d308982544c62da3f46961b5d6bdff74e39a3408a541b215dc72 [sid] Package: python3-cvc5 Source: cvc5 (1.1.2-2) Version: 1.1.2-2+b2 Installed-Size: 1617 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: python3 (<< 3.13), python3 (>= 3.12~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description: automated theorem prover for SMT problems (Python bindings) Homepage: https://cvc5.github.io/ Description-md5: fd44bb6c2829474adf4e1656c846c672 Section: math Priority: optional Filename: pool/main/c/cvc5/python3-cvc5_1.1.2-2+b2_amd64.deb Size: 339356 MD5sum: fa6397e373107574d6520e664dc0c39b SHA256: fc29c6a8b08027f925c99ca5d1d412ec331f0f96625f8d337ed6fd327b9eb379 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt python3-cvc5=1.1.2-2+b2 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt python3-cvc5=1.1.2-2+b2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpi34ogaeh 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpi34ogaeh 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/proc'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/pts'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/pts'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/ptmx'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/ptmx'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/console'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/console'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/shm'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/shm'] 0m0.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.4s DEBUG: Created policy-rc.d and chmodded it. 0m0.4s DEBUG: Created resolv.conf. 0m0.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpi34ogaeh/tmp/scripts/ 0m0.4s INFO: Running scripts post_chroot_unpack 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'update'] 0m2.6s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [172 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9340 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6240 kB] Fetched 15.8 MB in 1s (11.3 MB/s) Reading package lists... 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'update'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-yf', 'dist-upgrade'] 0m4.7s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: apt base-passwd libapt-pkg6.0t64 liblzma5 sysvinit-utils 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 2817 kB of archives. After this operation, 29.7 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 liblzma5 amd64 5.6.3-1 [272 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libapt-pkg6.0t64 amd64 2.9.10 [1045 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 base-passwd amd64 3.6.5 [53.1 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 apt amd64 2.9.10 [1413 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 sysvinit-utils amd64 3.11-1 [33.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 2817 kB in 0s (46.4 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5139 files and directories currently installed.) Preparing to unpack .../liblzma5_5.6.3-1_amd64.deb ... Unpacking liblzma5:amd64 (5.6.3-1) over (5.6.2-2) ... Setting up liblzma5:amd64 (5.6.3-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5139 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.10_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.10) over (2.9.8) ... Setting up libapt-pkg6.0t64:amd64 (2.9.10) ... (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 ... 5139 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.5_amd64.deb ... Unpacking base-passwd (3.6.5) over (3.6.4) ... Setting up base-passwd (3.6.5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5142 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.10_amd64.deb ... Unpacking apt (2.9.10) over (2.9.8) ... Setting up apt (2.9.10) ... (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 ... 5142 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.11-1_amd64.deb ... Unpacking sysvinit-utils (3.11-1) over (3.10-3) ... Setting up sysvinit-utils (3.11-1) ... Processing triggers for libc-bin (2.40-3) ... 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-yf', 'dist-upgrade'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.9s DUMP: 9e456257d8ab357d513d395df2e75ae2 - 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.9s INFO: Running scripts post_setup 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_dummy_users'] 0m7.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 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_dummy_users'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_forbid_home'] 0m7.0s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_forbid_home'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.0s 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' 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_minimize'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_minimize'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_zz_backports'] 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_setup_zz_backports'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.1s DUMP: install ok installed apt apt 2.9.10 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.5 install ok installed bash bash 5.2.32-1+b2 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed coreutils coreutils 9.4-3.1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-6 install ok installed gpgv gpgv 2.2.44-1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.10 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:3.1.2-4 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-4+b1 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 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.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-3 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.3-1 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libss2:amd64 libss2 1.47.1-1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-6 install ok installed libsystemd0:amd64 libsystemd0 256.7-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libudev1:amd64 libudev1 256.7-2 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-1 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl-base perl-base 5.40.0-6 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.11-1 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-4 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.1s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m7.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m7.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m7.7s INFO: Running scripts is_testable 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/is_testable_uninstallable'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/is_testable_uninstallable'] 0m7.7s INFO: Running scripts pre_test 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_test_exceptions'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_test_exceptions'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_test_root_password'] 0m7.7s DUMP: New password: Retype new password: passwd: password updated successfully 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_test_root_password'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'show', '--no-all-versions', 'python3-cvc5'] 0m7.9s DUMP: Package: python3-cvc5 Source: cvc5 (1.1.2-2) Version: 1.1.2-2+b1 Installed-Size: 1533 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: python3 (<< 3.13), python3 (>= 3.12~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description-en: automated theorem prover for SMT problems (Python bindings) cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4. . cvc5 is intended to be an open and extensible SMT engine. It can be used as a stand-alone tool or as a library. It has been designed to increase the performance and reduce the memory overhead of its predecessors. It is written entirely in C++ and is released under an open-source software license. . This package contains the Python bindings for cvc5's parser. Description-md5: fd44bb6c2829474adf4e1656c846c672 Homepage: https://cvc5.github.io/ Section: math Priority: optional Filename: pool/main/c/cvc5/python3-cvc5_1.1.2-2+b1_amd64.deb Size: 335544 MD5sum: d96565733aa2dad24433a4425bb0a633 SHA256: dfbd339e92b6d308982544c62da3f46961b5d6bdff74e39a3408a541b215dc72 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'show', '--no-all-versions', 'python3-cvc5'] 0m7.9s INFO: apt-cache knows about the following packages: python3-cvc5 0m7.9s INFO: Running scripts pre_install 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_database-server'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_database-server'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_exceptions'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_exceptions'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_extras'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_extras'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy'] 0m8.0s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy', 'python3-cvc5'] 0m8.1s DUMP: python3-cvc5: Installed: (none) Candidate: 1.1.2-2+b1 Version table: 1.1.2-2+b1 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m8.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy', 'python3-cvc5'] 0m8.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-y', 'install', 'python3-cvc5'] 0m13.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 libexpat1 libgssapi-krb5-2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libncursesw6 libnsl2 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libreadline8t64 libsqlite3-0 libtirpc-common libtirpc3t64 media-types netbase python3 python3-minimal python3.12 python3.12-minimal readline-common Suggested packages: pi krb5-doc krb5-user python3-doc python3-tk python3-venv python3.12-venv python3.12-doc binutils binfmt-support readline-doc Recommended packages: krb5-locales libgpm2 ca-certificates The following NEW packages will be installed: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 libexpat1 libgssapi-krb5-2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libncursesw6 libnsl2 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libreadline8t64 libsqlite3-0 libtirpc-common libtirpc3t64 media-types netbase python3 python3-cvc5 python3-minimal python3.12 python3.12-minimal readline-common 0 upgraded, 27 newly installed, 0 to remove and 0 not upgraded. Need to get 15.8 MB of archives. After this operation, 59.8 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 libpython3.12-minimal amd64 3.12.6-1 [814 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libexpat1 amd64 2.6.3-1 [105 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 python3.12-minimal amd64 3.12.6-1 [2168 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 python3-minimal amd64 3.12.6-1 [26.7 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 media-types all 10.1.0 [26.9 kB] Get:6 http://deb.debian.org/debian trixie/main amd64 netbase all 6.4 [12.8 kB] Get:7 http://deb.debian.org/debian trixie/main amd64 libncursesw6 amd64 6.5-2 [135 kB] Get:8 http://deb.debian.org/debian trixie/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB] Get:9 http://deb.debian.org/debian trixie/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB] Get:10 http://deb.debian.org/debian trixie/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B] Get:11 http://deb.debian.org/debian trixie/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB] Get:12 http://deb.debian.org/debian trixie/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB] Get:13 http://deb.debian.org/debian trixie/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get:14 http://deb.debian.org/debian trixie/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3 [82.7 kB] Get:15 http://deb.debian.org/debian trixie/main amd64 libnsl2 amd64 1.3.0-3+b2 [40.3 kB] Get:16 http://deb.debian.org/debian trixie/main amd64 readline-common all 8.2-5 [69.3 kB] Get:17 http://deb.debian.org/debian trixie/main amd64 libreadline8t64 amd64 8.2-5 [169 kB] Get:18 http://deb.debian.org/debian trixie/main amd64 libsqlite3-0 amd64 3.46.1-1 [913 kB] Get:19 http://deb.debian.org/debian trixie/main amd64 libpython3.12-stdlib amd64 3.12.6-1 [1963 kB] Get:20 http://deb.debian.org/debian trixie/main amd64 python3.12 amd64 3.12.6-1 [669 kB] Get:21 http://deb.debian.org/debian trixie/main amd64 libpython3-stdlib amd64 3.12.6-1 [9692 B] Get:22 http://deb.debian.org/debian trixie/main amd64 python3 amd64 3.12.6-1 [27.8 kB] Get:23 http://deb.debian.org/debian trixie/main amd64 libcln6 amd64 1.3.7-1 [496 kB] Get:24 http://deb.debian.org/debian trixie/main amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-1+b1 [504 kB] Get:25 http://deb.debian.org/debian trixie/main amd64 libcvc5-1 amd64 1.1.2-2+b1 [6412 kB] Get:26 http://deb.debian.org/debian trixie/main amd64 libcvc5parser1 amd64 1.1.2-2+b1 [235 kB] Get:27 http://deb.debian.org/debian trixie/main amd64 python3-cvc5 amd64 1.1.2-2+b1 [336 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 15.8 MB in 0s (50.6 MB/s) Selecting previously unselected package libpython3.12-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 ... 5146 files and directories currently installed.) Preparing to unpack .../libpython3.12-minimal_3.12.6-1_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.6-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.6.3-1_amd64.deb ... Unpacking libexpat1:amd64 (2.6.3-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../python3.12-minimal_3.12.6-1_amd64.deb ... Unpacking python3.12-minimal (3.12.6-1) ... Setting up libpython3.12-minimal:amd64 (3.12.6-1) ... Setting up libexpat1:amd64 (2.6.3-1) ... Setting up python3.12-minimal (3.12.6-1) ... 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 ... 5466 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_amd64.deb ... Unpacking python3-minimal (3.12.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../03-libncursesw6_6.5-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-3) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../05-libk5crypto3_1.21.3-3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-3) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../06-libkeyutils1_1.6.3-4_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-4) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../07-libkrb5-3_1.21.3-3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../08-libgssapi-krb5-2_1.21.3-3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../09-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:amd64. Preparing to unpack .../10-libtirpc3t64_1.3.4+ds-1.3_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../11-libnsl2_1.3.0-3+b2_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3+b2) ... Selecting previously unselected package readline-common. Preparing to unpack .../12-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../13-libreadline8t64_8.2-5_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-5) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../14-libsqlite3-0_3.46.1-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-1) ... Selecting previously unselected package libpython3.12-stdlib:amd64. Preparing to unpack .../15-libpython3.12-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.6-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../16-python3.12_3.12.6-1_amd64.deb ... Unpacking python3.12 (3.12.6-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../17-libpython3-stdlib_3.12.6-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3-minimal (3.12.6-1) ... 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 ... 6023 files and directories currently installed.) Preparing to unpack .../0-python3_3.12.6-1_amd64.deb ... Unpacking python3 (3.12.6-1) ... Selecting previously unselected package libcln6:amd64. Preparing to unpack .../1-libcln6_1.3.7-1_amd64.deb ... Unpacking libcln6:amd64 (1.3.7-1) ... Selecting previously unselected package libcryptominisat5-5.11t64:amd64. Preparing to unpack .../2-libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_amd64.deb ... Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-1+b1) ... Selecting previously unselected package libcvc5-1:amd64. Preparing to unpack .../3-libcvc5-1_1.1.2-2+b1_amd64.deb ... Unpacking libcvc5-1:amd64 (1.1.2-2+b1) ... Selecting previously unselected package libcvc5parser1:amd64. Preparing to unpack .../4-libcvc5parser1_1.1.2-2+b1_amd64.deb ... Unpacking libcvc5parser1:amd64 (1.1.2-2+b1) ... Selecting previously unselected package python3-cvc5. Preparing to unpack .../5-python3-cvc5_1.1.2-2+b1_amd64.deb ... Unpacking python3-cvc5 (1.1.2-2+b1) ... Setting up media-types (10.1.0) ... Setting up libcln6:amd64 (1.3.7-1) ... Setting up libkeyutils1:amd64 (1.6.3-4) ... Setting up libtirpc-common (1.3.4+ds-1.3) ... Setting up libsqlite3-0:amd64 (3.46.1-1) ... Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-1+b1) ... Setting up libkrb5support0:amd64 (1.21.3-3) ... Setting up libncursesw6:amd64 (6.5-2) ... Setting up libk5crypto3:amd64 (1.21.3-3) ... Setting up netbase (6.4) ... Setting up libkrb5-3:amd64 (1.21.3-3) ... Setting up readline-common (8.2-5) ... Setting up libcvc5-1:amd64 (1.1.2-2+b1) ... Setting up libcvc5parser1:amd64 (1.1.2-2+b1) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ... Setting up libreadline8t64:amd64 (8.2-5) ... Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Setting up libnsl2:amd64 (1.3.0-3+b2) ... Setting up libpython3.12-stdlib:amd64 (3.12.6-1) ... Setting up python3.12 (3.12.6-1) ... Setting up libpython3-stdlib:amd64 (3.12.6-1) ... Setting up python3 (3.12.6-1) ... Setting up python3-cvc5 (1.1.2-2+b1) ... Processing triggers for libc-bin (2.40-3) ... 0m13.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-y', 'install', 'python3-cvc5'] 0m13.5s INFO: Running scripts post_install 0m13.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_install_exceptions'] 0m13.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_install_exceptions'] 0m13.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m13.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m13.8s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpi34ogaeh to sid 0m13.8s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m13.8s INFO: Running scripts pre_distupgrade 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_exceptions'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_exceptions'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'update'] 0m16.8s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [202 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.0 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7331 kB] Fetched 17.5 MB in 2s (7763 kB/s) Reading package lists... 0m16.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'update'] 0m16.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-yf', 'dist-upgrade'] 0m23.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: coreutils e2fsprogs gcc-14-base gpgv libacl1 libaudit-common libaudit1 libcln6 libcom-err2 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 libdebconfclient0 libexpat1 libext2fs2t64 libgcc-s1 libpython3.12-minimal libpython3.12-stdlib libss2 libssl3t64 libstdc++6 logsave openssl-provider-legacy python3-cvc5 python3.12 python3.12-minimal tzdata 27 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 21.8 MB of archives. After this operation, 779 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 coreutils amd64 9.5-1+b1 [2922 kB] Get:2 http://deb.debian.org/debian sid/main amd64 logsave amd64 1.47.1-1+b1 [23.0 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libext2fs2t64 amd64 1.47.1-1+b1 [211 kB] Get:4 http://deb.debian.org/debian sid/main amd64 e2fsprogs amd64 1.47.1-1+b1 [585 kB] Get:5 http://deb.debian.org/debian sid/main amd64 openssl-provider-legacy amd64 3.3.2-2 [298 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libssl3t64 amd64 3.3.2-2 [2271 kB] Get:7 http://deb.debian.org/debian sid/main amd64 python3.12 amd64 3.12.7-1 [671 kB] Get:8 http://deb.debian.org/debian sid/main amd64 python3.12-minimal amd64 3.12.7-1 [2162 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libpython3.12-stdlib amd64 3.12.7-1 [1965 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libpython3.12-minimal amd64 3.12.7-1 [814 kB] Get:11 http://deb.debian.org/debian sid/main amd64 tzdata all 2024b-3 [255 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.6.3-2 [105 kB] Get:13 http://deb.debian.org/debian sid/main amd64 gpgv amd64 2.2.45-1 [218 kB] Get:14 http://deb.debian.org/debian sid/main amd64 gcc-14-base amd64 14.2.0-7 [46.9 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 14.2.0-7 [713 kB] Get:16 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 14.2.0-7 [72.8 kB] Get:17 http://deb.debian.org/debian sid/main amd64 libacl1 amd64 2.3.2-2+b1 [32.9 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:4.0.1-1 [12.3 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:4.0.1-1 [54.5 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libdebconfclient0 amd64 0.272+b1 [10.3 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libcln6 amd64 1.3.7-1+b1 [506 kB] Get:22 http://deb.debian.org/debian sid/main amd64 libcom-err2 amd64 1.47.1-1+b1 [23.2 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-1+b2 [521 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libcvc5-1 amd64 1.1.2-2+b2 [6680 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libcvc5parser1 amd64 1.1.2-2+b2 [236 kB] Get:26 http://deb.debian.org/debian sid/main amd64 libss2 amd64 1.47.1-1+b1 [27.9 kB] Get:27 http://deb.debian.org/debian sid/main amd64 python3-cvc5 amd64 1.1.2-2+b2 [339 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 21.8 MB in 0s (143 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6090 files and directories currently installed.) Preparing to unpack .../coreutils_9.5-1+b1_amd64.deb ... Unpacking coreutils (9.5-1+b1) over (9.4-3.1) ... Setting up coreutils (9.5-1+b1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6091 files and directories currently installed.) Preparing to unpack .../logsave_1.47.1-1+b1_amd64.deb ... Unpacking logsave (1.47.1-1+b1) over (1.47.1-1) ... Preparing to unpack .../libext2fs2t64_1.47.1-1+b1_amd64.deb ... Leaving 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64' Leaving 'diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64' Leaving 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64' Leaving 'diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64' Unpacking libext2fs2t64:amd64 (1.47.1-1+b1) over (1.47.1-1) ... Setting up libext2fs2t64:amd64 (1.47.1-1+b1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6093 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.47.1-1+b1_amd64.deb ... Unpacking e2fsprogs (1.47.1-1+b1) over (1.47.1-1) ... Preparing to unpack .../openssl-provider-legacy_3.3.2-2_amd64.deb ... Unpacking openssl-provider-legacy (3.3.2-2) over (3.3.2-1) ... Setting up openssl-provider-legacy (3.3.2-2) ... (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 ... 6094 files and directories currently installed.) Preparing to unpack .../libssl3t64_3.3.2-2_amd64.deb ... Unpacking libssl3t64:amd64 (3.3.2-2) over (3.3.2-1) ... Setting up libssl3t64:amd64 (3.3.2-2) ... (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 ... 6094 files and directories currently installed.) Preparing to unpack .../0-python3.12_3.12.7-1_amd64.deb ... Unpacking python3.12 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../1-python3.12-minimal_3.12.7-1_amd64.deb ... Unpacking python3.12-minimal (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../2-libpython3.12-stdlib_3.12.7-1_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../3-libpython3.12-minimal_3.12.7-1_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.7-1) over (3.12.6-1) ... Preparing to unpack .../4-tzdata_2024b-3_all.deb ... Unpacking tzdata (2024b-3) over (2024a-4) ... Preparing to unpack .../5-libexpat1_2.6.3-2_amd64.deb ... Unpacking libexpat1:amd64 (2.6.3-2) over (2.6.3-1) ... Preparing to unpack .../6-gpgv_2.2.45-1_amd64.deb ... Unpacking gpgv (2.2.45-1) over (2.2.44-1) ... Setting up gpgv (2.2.45-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6082 files and directories currently installed.) Preparing to unpack .../gcc-14-base_14.2.0-7_amd64.deb ... Unpacking gcc-14-base:amd64 (14.2.0-7) over (14.2.0-6) ... Setting up gcc-14-base:amd64 (14.2.0-7) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6082 files and directories currently installed.) Preparing to unpack .../libstdc++6_14.2.0-7_amd64.deb ... Unpacking libstdc++6:amd64 (14.2.0-7) over (14.2.0-6) ... Setting up libstdc++6:amd64 (14.2.0-7) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6082 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14.2.0-7_amd64.deb ... Unpacking libgcc-s1:amd64 (14.2.0-7) over (14.2.0-6) ... Setting up libgcc-s1:amd64 (14.2.0-7) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6082 files and directories currently installed.) Preparing to unpack .../libacl1_2.3.2-2+b1_amd64.deb ... Unpacking libacl1:amd64 (2.3.2-2+b1) over (2.3.2-2) ... Setting up libacl1:amd64 (2.3.2-2+b1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6083 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.0.1-1_all.deb ... Unpacking libaudit-common (1:4.0.1-1) over (1:3.1.2-4) ... Setting up libaudit-common (1:4.0.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6083 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.0.1-1_amd64.deb ... Unpacking libaudit1:amd64 (1:4.0.1-1) over (1:3.1.2-4+b1) ... Setting up libaudit1:amd64 (1:4.0.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6082 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.272+b1_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.272+b1) over (0.272) ... Setting up libdebconfclient0:amd64 (0.272+b1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6083 files and directories currently installed.) Preparing to unpack .../0-libcln6_1.3.7-1+b1_amd64.deb ... Unpacking libcln6:amd64 (1.3.7-1+b1) over (1.3.7-1) ... Preparing to unpack .../1-libcom-err2_1.47.1-1+b1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.1-1+b1) over (1.47.1-1) ... Preparing to unpack .../2-libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_amd64.deb ... Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-1+b2) over (5.11.21+dfsg1-1+b1) ... Preparing to unpack .../3-libcvc5-1_1.1.2-2+b2_amd64.deb ... Unpacking libcvc5-1:amd64 (1.1.2-2+b2) over (1.1.2-2+b1) ... Preparing to unpack .../4-libcvc5parser1_1.1.2-2+b2_amd64.deb ... Unpacking libcvc5parser1:amd64 (1.1.2-2+b2) over (1.1.2-2+b1) ... Preparing to unpack .../5-libss2_1.47.1-1+b1_amd64.deb ... Unpacking libss2:amd64 (1.47.1-1+b1) over (1.47.1-1) ... Preparing to unpack .../6-python3-cvc5_1.1.2-2+b2_amd64.deb ... Unpacking python3-cvc5 (1.1.2-2+b2) over (1.1.2-2+b1) ... Setting up libexpat1:amd64 (2.6.3-2) ... Setting up libcln6:amd64 (1.3.7-1+b1) ... Setting up libpython3.12-minimal:amd64 (3.12.7-1) ... Setting up libcom-err2:amd64 (1.47.1-1+b1) ... Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-1+b2) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Oct 29 01:20:12 UTC 2024. Universal Time is now: Tue Oct 29 01:20:12 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libss2:amd64 (1.47.1-1+b1) ... Setting up logsave (1.47.1-1+b1) ... Setting up libcvc5-1:amd64 (1.1.2-2+b2) ... Setting up python3.12-minimal (3.12.7-1) ... Setting up libpython3.12-stdlib:amd64 (3.12.7-1) ... Setting up python3.12 (3.12.7-1) ... Setting up e2fsprogs (1.47.1-1+b1) ... Setting up libcvc5parser1:amd64 (1.1.2-2+b2) ... Setting up python3-cvc5 (1.1.2-2+b2) ... Processing triggers for libc-bin (2.40-3) ... 0m23.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-yf', 'dist-upgrade'] 0m23.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m23.3s DUMP: 81aee1340576354a215f8260e1283ddd - 0m23.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m23.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'show', '--no-all-versions', 'python3-cvc5'] 0m23.6s DUMP: Package: python3-cvc5 Source: cvc5 (1.1.2-2) Version: 1.1.2-2+b2 Installed-Size: 1617 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: python3 (<< 3.13), python3 (>= 3.12~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description-en: automated theorem prover for SMT problems (Python bindings) cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4. . cvc5 is intended to be an open and extensible SMT engine. It can be used as a stand-alone tool or as a library. It has been designed to increase the performance and reduce the memory overhead of its predecessors. It is written entirely in C++ and is released under an open-source software license. . This package contains the Python bindings for cvc5's parser. Description-md5: fd44bb6c2829474adf4e1656c846c672 Homepage: https://cvc5.github.io/ Section: math Priority: optional Filename: pool/main/c/cvc5/python3-cvc5_1.1.2-2+b2_amd64.deb Size: 339356 MD5sum: fa6397e373107574d6520e664dc0c39b SHA256: fc29c6a8b08027f925c99ca5d1d412ec331f0f96625f8d337ed6fd327b9eb379 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'show', '--no-all-versions', 'python3-cvc5'] 0m23.6s INFO: apt-cache knows about the following packages: python3-cvc5 0m23.6s INFO: Running scripts pre_install 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_database-server'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_database-server'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_exceptions'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_exceptions'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_extras'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_extras'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy'] 0m23.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy'] 0m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy', 'python3-cvc5'] 0m23.8s DUMP: python3-cvc5: Installed: 1.1.2-2+b2 Candidate: 1.1.2-2+b2 Version table: *** 1.1.2-2+b2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy', 'python3-cvc5'] 0m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-y', 'install', 'python3-cvc5'] 0m24.4s DUMP: Reading package lists... Building dependency tree... Reading state information... python3-cvc5 is already the newest version (1.1.2-2+b2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-y', 'install', 'python3-cvc5'] 0m24.4s INFO: Running scripts post_install 0m24.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_install_exceptions'] 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_install_exceptions'] 0m24.4s INFO: Running scripts post_distupgrade 0m24.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m24.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_exceptions'] 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_exceptions'] 0m24.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m24.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m24.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_zz_backports'] 0m24.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_distupgrade_zz_backports'] 0m24.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m24.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m24.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m25.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m25.2s INFO: Running scripts pre_install 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_database-server'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_database-server'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_exceptions'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_exceptions'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_extras'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_extras'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy'] 0m25.3s 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: 0m25.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy'] 0m25.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy', 'python3-cvc5'] 0m25.3s DUMP: python3-cvc5: Installed: 1.1.2-2+b2 Candidate: 1.1.2-2+b2 Version table: *** 1.1.2-2+b2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m25.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-cache', 'policy', 'python3-cvc5'] 0m25.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-y', 'install', 'python3-cvc5=1.1.2-2+b2'] 0m25.8s DUMP: Reading package lists... Building dependency tree... Reading state information... python3-cvc5 is already the newest version (1.1.2-2+b2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', '-y', 'install', 'python3-cvc5=1.1.2-2+b2'] 0m25.8s INFO: Running scripts post_install 0m25.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_install_exceptions'] 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_install_exceptions'] 0m25.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m26.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m26.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', '-ac', '--ignore-obsolete'] 0m27.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', '-ac', '--ignore-obsolete'] 0m27.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m27.3s DUMP: 0.15.6 0m27.3s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m27.3s INFO: Running adequate version 0.15.6 now. 0m27.3s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'python3-cvc5'] 0m27.3s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'python3-cvc5'] 0m27.3s INFO: Running scripts pre_remove 0m27.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m27.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m27.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m27.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m27.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_exceptions'] 0m28.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/pre_remove_exceptions'] 0m28.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m28.1s DUMP: install ok installed apt apt 2.9.10 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.5 install ok installed bash bash 5.2.32-1+b2 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed coreutils coreutils 9.5-1+b1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1+b1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-7 install ok installed gpgv gpgv 2.2.45-1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.10 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:4.0.1-1 install ok installed libaudit1:amd64 libaudit1 1:4.0.1-1 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 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.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-3 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcln6:amd64 libcln6 1.3.7-1+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libcryptominisat5-5.11t64:amd64 libcryptominisat5-5.11t64 5.11.21+dfsg1-1+b2 install ok installed libcvc5-1:amd64 libcvc5-1 1.1.2-2+b2 install ok installed libcvc5parser1:amd64 libcvc5parser1 1.1.2-2+b2 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272+b1 install ok installed libexpat1:amd64 libexpat1 2.6.3-2 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1+b1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-7 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.21.3-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed libk5crypto3:amd64 libk5crypto3 1.21.3-3 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-4 install ok installed libkrb5-3:amd64 libkrb5-3 1.21.3-3 install ok installed libkrb5support0:amd64 libkrb5support0 1.21.3-3 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.3-1 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libncursesw6:amd64 libncursesw6 6.5-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libnsl2:amd64 libnsl2 1.3.0-3+b2 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.12.6-1 install ok installed libpython3.12-minimal:amd64 libpython3.12-minimal 3.12.7-1 install ok installed libpython3.12-stdlib:amd64 libpython3.12-stdlib 3.12.7-1 install ok installed libreadline8t64:amd64 libreadline8t64 8.2-5 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-1 install ok installed libss2:amd64 libss2 1.47.1-1+b1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-2 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-7 install ok installed libsystemd0:amd64 libsystemd0 256.7-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libtirpc-common libtirpc-common 1.3.4+ds-1.3 install ok installed libtirpc3t64:amd64 libtirpc3t64 1.3.4+ds-1.3 install ok installed libudev1:amd64 libudev1 256.7-2 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1+b1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed media-types media-types 10.1.0 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed netbase netbase 6.4 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-2 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl-base perl-base 5.40.0-6 install ok installed python3 python3 3.12.6-1 install ok installed python3-cvc5 python3-cvc5 1.1.2-2+b2 install ok installed python3-minimal python3-minimal 3.12.6-1 install ok installed python3.12 python3.12 3.12.7-1 install ok installed python3.12-minimal python3.12-minimal 3.12.7-1 install ok installed readline-common readline-common 8.2-5 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.11-1 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 0m28.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m28.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'remove', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'libexpat1:amd64', 'libgssapi-krb5-2:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libreadline8t64:amd64', 'libsqlite3-0:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'media-types', 'netbase', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'python3-cvc5'] 0m29.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 libexpat1 libgssapi-krb5-2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libncursesw6 libnsl2 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libreadline8t64 libsqlite3-0 libtirpc-common libtirpc3t64 media-types netbase python3 python3-cvc5 python3-minimal python3.12 python3.12-minimal readline-common 0 upgraded, 0 newly installed, 27 to remove and 0 not upgraded. After this operation, 60.8 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 ... 6086 files and directories currently installed.) Removing python3-cvc5 (1.1.2-2+b2) ... Removing libcvc5parser1:amd64 (1.1.2-2+b2) ... Removing libcvc5-1:amd64 (1.1.2-2+b2) ... Removing libcln6:amd64 (1.3.7-1+b1) ... Removing libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-1+b2) ... Removing python3 (3.12.6-1) ... Removing python3.12 (3.12.7-1) ... Removing python3-minimal (3.12.6-1) ... Removing python3.12-minimal (3.12.7-1) ... Removing libexpat1:amd64 (2.6.3-2) ... Removing libpython3-stdlib:amd64 (3.12.6-1) ... Removing libpython3.12-stdlib:amd64 (3.12.7-1) ... find: '/usr/lib/python3': No such file or directory Removing libnsl2:amd64 (1.3.0-3+b2) ... Removing libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Removing 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Removing libgssapi-krb5-2:amd64 (1.21.3-3) ... Removing libkrb5-3:amd64 (1.21.3-3) ... Removing libk5crypto3:amd64 (1.21.3-3) ... Removing libkeyutils1:amd64 (1.6.3-4) ... Removing libkrb5support0:amd64 (1.21.3-3) ... Removing libncursesw6:amd64 (6.5-2) ... Removing libpython3.12-minimal:amd64 (3.12.7-1) ... find: '/usr/lib/python3': No such file or directory Removing libreadline8t64:amd64 (8.2-5) ... 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 libsqlite3-0:amd64 (3.46.1-1) ... Removing libtirpc-common (1.3.4+ds-1.3) ... Removing media-types (10.1.0) ... Removing netbase (6.4) ... Removing readline-common (8.2-5) ... Processing triggers for libc-bin (2.40-3) ... 0m29.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'remove', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'libexpat1:amd64', 'libgssapi-krb5-2:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libreadline8t64:amd64', 'libsqlite3-0:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'media-types', 'netbase', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common', 'python3-cvc5'] 0m29.3s INFO: Running scripts post_remove 0m29.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_remove_exceptions'] 0m29.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_remove_exceptions'] 0m29.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--purge', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'libexpat1:amd64', 'libgssapi-krb5-2:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libreadline8t64:amd64', 'libsqlite3-0:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'media-types', 'netbase', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common'] 0m29.4s DUMP: dpkg: warning: ignoring request to remove libcln6 which isn't installed dpkg: warning: ignoring request to remove libcryptominisat5-5.11t64 which isn't installed dpkg: warning: ignoring request to remove libcvc5-1 which isn't installed dpkg: warning: ignoring request to remove libcvc5parser1 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed (Reading database ... 5149 files and directories currently installed.) Purging configuration files for libgssapi-krb5-2:amd64 (1.21.3-3) ... dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.12-minimal:amd64 (3.12.7-1) ... dpkg: warning: ignoring request to remove libpython3.12-stdlib which isn't installed Purging configuration files for libreadline8t64:amd64 (8.2-5) ... dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed Purging configuration files for libtirpc-common (1.3.4+ds-1.3) ... Purging configuration files for libtirpc3t64:amd64 (1.3.4+ds-1.3) ... Purging configuration files for media-types (10.1.0) ... Purging configuration files for netbase (6.4) ... Purging configuration files for python3 (3.12.6-1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.12 which isn't installed Purging configuration files for python3.12-minimal (3.12.7-1) ... Purging configuration files for readline-common (8.2-5) ... 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--purge', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'libexpat1:amd64', 'libgssapi-krb5-2:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncursesw6:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.12-minimal:amd64', 'libpython3.12-stdlib:amd64', 'libreadline8t64:amd64', 'libsqlite3-0:amd64', 'libtirpc-common', 'libtirpc3t64:amd64', 'media-types', 'netbase', 'python3', 'python3-minimal', 'python3.12', 'python3.12-minimal', 'readline-common'] 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--purge', 'python3-cvc5'] 0m29.4s DUMP: dpkg: warning: ignoring request to remove python3-cvc5 which isn't installed 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--purge', 'python3-cvc5'] 0m29.4s INFO: Running scripts post_purge 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_purge_exceptions'] 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_purge_exceptions'] 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--purge', '--pending'] 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--purge', '--pending'] 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--remove', '--pending'] 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg', '--remove', '--pending'] 0m29.4s INFO: Running scripts post_test 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_test_exceptions'] 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'tmp/scripts/post_test_exceptions'] 0m29.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m29.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg-divert', '--list'] 0m29.7s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 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 /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 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 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'dpkg-divert', '--list'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'clean'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh', 'apt-get', 'clean'] 0m29.7s DEBUG: Recording chroot state 0m30.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/shm'] 0m30.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/shm'] 0m30.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/console'] 0m30.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/console'] 0m30.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/ptmx'] 0m30.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/ptmx'] 0m30.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/pts'] 0m30.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/dev/pts'] 0m30.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/proc'] 0m30.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh/proc'] 0m30.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m30.7s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpi34ogaeh'] 0m30.7s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpi34ogaeh 0m30.7s INFO: PASS: Upgrading between Debian distributions. 0m30.7s INFO: PASS: All tests. 0m30.7s INFO: piuparts run ends. ret=0 End: 2024-10-29 01:20:22 GMT