Start: 2025-12-24 09:57:35 GMT [stable] Package: cvc5 Source: cvc5 (1.1.2-2) Version: 1.1.2-2+b3 Installed-Size: 459 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.1.2-2+b3), libcvc5parser1 (= 1.1.2-2+b3), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description: automated theorem prover for SMT problems Homepage: https://cvc5.github.io/ Description-md5: d1e715b2658513dcf601c320616177f6 Section: math Priority: optional Filename: pool/main/c/cvc5/cvc5_1.1.2-2+b3_amd64.deb Size: 109176 MD5sum: 26e2002048b8a79d6c169dfa03ad335c SHA256: a63f84506961a0f6dbe3fc7c734291a837285336430c48baa97e439f0e9c4eba [testing] Package: cvc5 Version: 1.1.2-3 Installed-Size: 458 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.1.2-3), libcvc5parser1 (= 1.1.2-3), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description: automated theorem prover for SMT problems Homepage: https://cvc5.github.io/ Description-md5: d1e715b2658513dcf601c320616177f6 Section: math Priority: optional Filename: pool/main/c/cvc5/cvc5_1.1.2-3_amd64.deb Size: 107800 MD5sum: 6893903e8132d42ac63f37ef41a6e060 SHA256: 41632b531f50c85937c41f5ecb448ec933d711e18bc6d486103c79d555e0804a [sid] Package: cvc5 Version: 1.3.2-1 Installed-Size: 539 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.3.2-1), libcvc5parser1 (= 1.3.2-1), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description: automated theorem prover for SMT problems Homepage: https://cvc5.github.io/ Description-md5: d1e715b2658513dcf601c320616177f6 Section: math Priority: optional Filename: pool/main/c/cvc5/cvc5_1.3.2-1_amd64.deb Size: 143700 MD5sum: a412dcbd828df74d58d5a9cb31124075 SHA256: 254b41f47202cb129c72d43e36be02f9cd5a0877921fa56470a0dc0719da20df Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d stable -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat --apt cvc5=1.3.2-1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.6.1~202508211944~1.6.0-10-gffba2cce starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/bin/piuparts --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 stable -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat --apt cvc5=1.3.2-1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 6.1.0-41-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.158-1 (2025-11-09) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpcn2zhomc 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpcn2zhomc 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.7s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.7s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/proc'] 0m0.7s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/proc'] 0m0.7s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/pts'] 0m0.7s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/pts'] 0m0.7s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/ptmx'] 0m0.7s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/ptmx'] 0m0.7s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/console'] 0m0.8s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/console'] 0m0.8s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/shm'] 0m0.8s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/shm'] 0m0.8s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.8s DEBUG: Created policy-rc.d and chmodded it. 0m0.8s DEBUG: Created resolv.conf. 0m0.8s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpcn2zhomc/tmp/scripts/ 0m0.8s INFO: Running scripts post_chroot_unpack 0m0.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'update'] 0m1.8s DUMP: Hit:1 http://deb.debian.org/debian trixie InRelease Reading package lists... 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'update'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-yf', 'dist-upgrade'] 0m2.3s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-yf', 'dist-upgrade'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.1s DUMP: 58256853ebd2bd549527b330c2592235 - 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.1s INFO: Running scripts post_setup 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_dummy_users'] 0m3.8s 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.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_dummy_users'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', '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/tmpcn2zhomc', 'tmp/scripts/post_setup_forbid_home'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.9s 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.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_minimize'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_minimize'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_zz_backports'] 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_setup_zz_backports'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.9s DUMP: install ok installed apt apt 3.0.3 install ok installed base-files base-files 13.8+deb13u2 install ok installed base-passwd base-passwd 3.6.7 install ok installed bash bash 5.2.37-2+b5 install ok installed bsdutils bsdutils 1:2.41-5 install ok installed coreutils coreutils 9.7-3 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.23.2 install ok installed diffutils diffutils 1:3.10-4 install ok installed dpkg dpkg 1.22.21 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.69~deb13u1 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.0.3 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.41-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-12 install ok installed libc6:amd64 libc6 2.41-12 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b1 install ok installed libcap2:amd64 libcap2 1:2.75-10+b1 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.280 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 liblastlog2-2:amd64 liblastlog2-2 2.41-5 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-4 install ok installed liblzma5:amd64 liblzma5 5.8.1-1 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmount1:amd64 libmount1 2.41-5 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.1-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-5 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-5 install ok installed libpam-runtime libpam-runtime 1.7.0-5 install ok installed libpam0g:amd64 libpam0g 1.7.0-5 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.46-1~deb13u1 install ok installed libseccomp2:amd64 libseccomp2 2.6.0-2 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.41-5 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-7 install ok installed libssl3t64:amd64 libssl3t64 3.5.4-1~deb13u1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-19 install ok installed libsystemd0:amd64 libsystemd0 257.9-1~deb13u1 install ok installed libtinfo6:amd64 libtinfo6 6.5+20250216-2 install ok installed libudev1:amd64 libudev1 257.9-1~deb13u1 install ok installed libuuid1:amd64 libuuid1 2.41-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.41-5 install ok installed login.defs login.defs 1:4.17.4-2 install ok installed mawk mawk 1.3.4.20250131-1 install ok installed mount mount 2.41-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.5.4-1~deb13u1 install ok installed passwd passwd 1:4.17.4-2 install ok installed perl-base perl-base 5.40.1-6 install ok installed sed sed 4.9-2 install ok installed sqv sqv 1.3.0-3 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 2025b-4+deb13u1 install ok installed util-linux util-linux 2.41-5 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.9s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/stable22sid/reference-chroot-metadata.dat 0m3.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m4.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m4.2s INFO: Running scripts is_testable 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s INFO: Running scripts pre_test 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', '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/tmpcn2zhomc', 'tmp/scripts/pre_test_root_password'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'show', '--no-all-versions', 'cvc5'] 0m4.5s DUMP: Package: cvc5 Source: cvc5 (1.1.2-2) Version: 1.1.2-2+b3 Installed-Size: 459 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.1.2-2+b3), libcvc5parser1 (= 1.1.2-2+b3), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description-en: automated theorem prover for SMT problems 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 binaries needed to use cvc5 as a stand-alone tool. Description-md5: d1e715b2658513dcf601c320616177f6 Homepage: https://cvc5.github.io/ Section: math Priority: optional Filename: pool/main/c/cvc5/cvc5_1.1.2-2+b3_amd64.deb Size: 109176 MD5sum: 26e2002048b8a79d6c169dfa03ad335c SHA256: a63f84506961a0f6dbe3fc7c734291a837285336430c48baa97e439f0e9c4eba 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'show', '--no-all-versions', 'cvc5'] 0m4.5s INFO: apt-cache knows about the following packages: cvc5 0m4.5s INFO: Running scripts pre_install 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m4.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release v=13.2,o=Debian,a=stable,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m4.9s DUMP: cvc5: Installed: (none) Candidate: 1.1.2-2+b3 Version table: 1.1.2-2+b3 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5'] 0m11.0s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 Suggested packages: pi The following NEW packages will be installed: cvc5 libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 8056 kB of archives. After this operation, 30.2 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 libcln6 amd64 1.3.7-1+b1 [506 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-2 [521 kB] Get:3 http://deb.debian.org/debian trixie/main amd64 libcvc5-1 amd64 1.1.2-2+b3 [6683 kB] Get:4 http://deb.debian.org/debian trixie/main amd64 libcvc5parser1 amd64 1.1.2-2+b3 [237 kB] Get:5 http://deb.debian.org/debian trixie/main amd64 cvc5 amd64 1.1.2-2+b3 [109 kB] Fetched 8056 kB in 3s (2346 kB/s) Selecting previously unselected package libcln6: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 ... 4939 files and directories currently installed.) Preparing to unpack .../libcln6_1.3.7-1+b1_amd64.deb ... Unpacking libcln6:amd64 (1.3.7-1+b1) ... Selecting previously unselected package libcryptominisat5-5.11t64:amd64. Preparing to unpack .../libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb ... Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... Selecting previously unselected package libcvc5-1:amd64. Preparing to unpack .../libcvc5-1_1.1.2-2+b3_amd64.deb ... Unpacking libcvc5-1:amd64 (1.1.2-2+b3) ... Selecting previously unselected package libcvc5parser1:amd64. Preparing to unpack .../libcvc5parser1_1.1.2-2+b3_amd64.deb ... Unpacking libcvc5parser1:amd64 (1.1.2-2+b3) ... Selecting previously unselected package cvc5. Preparing to unpack .../cvc5_1.1.2-2+b3_amd64.deb ... Unpacking cvc5 (1.1.2-2+b3) ... Setting up libcln6:amd64 (1.3.7-1+b1) ... Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... Setting up libcvc5-1:amd64 (1.1.2-2+b3) ... Setting up libcvc5parser1:amd64 (1.1.2-2+b3) ... Setting up cvc5 (1.1.2-2+b3) ... Processing triggers for libc-bin (2.41-12) ... 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5'] 0m11.0s INFO: Running scripts post_install 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m11.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m11.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m11.4s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpcn2zhomc to testing 0m11.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ forky main 0m11.4s INFO: Running scripts pre_distupgrade 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_exceptions'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_exceptions'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'update'] 0m21.3s DUMP: Get:1 http://deb.debian.org/debian forky InRelease [137 kB] Get:2 http://deb.debian.org/debian forky/main amd64 Packages [9666 kB] Get:3 http://deb.debian.org/debian forky/main Translation-en [6442 kB] Fetched 16.2 MB in 9s (1862 kB/s) Reading package lists... 0m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'update'] 0m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-yf', 'dist-upgrade'] 0m34.8s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: gcc-15-base libc-gconv-modules-extra The following packages will be upgraded: apt base-files base-passwd bash bsdutils cvc5 diffutils gcc-14-base grep init-system-helpers libapt-pkg7.0 libaudit-common libaudit1 libblkid1 libc-bin libc6 libcap-ng0 libcap2 libcrypt1 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 libdb5.3t64 libdebconfclient0 libgcc-s1 libgmp10 libhogweed6t64 liblastlog2-2 liblz4-1 liblzma5 libmount1 libnettle8t64 libpcre2-8-0 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsmartcols1 libsqlite3-0 libssl3t64 libstdc++6 libsystemd0 libtinfo6 libudev1 libuuid1 libzstd1 login login.defs mawk mount ncurses-base ncurses-bin openssl-provider-legacy passwd perl-base sqv sysvinit-utils tzdata util-linux zlib1g 61 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 33.1 MB of archives. After this operation, 959 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian forky/main amd64 libc-gconv-modules-extra amd64 2.42-6 [1123 kB] Get:2 http://deb.debian.org/debian forky/main amd64 libc6 amd64 2.42-6 [1889 kB] Get:3 http://deb.debian.org/debian forky/main amd64 libc-bin amd64 2.42-6 [674 kB] Get:4 http://deb.debian.org/debian forky/main amd64 gcc-15-base amd64 15.2.0-11 [53.9 kB] Get:5 http://deb.debian.org/debian forky/main amd64 libgcc-s1 amd64 15.2.0-11 [71.5 kB] Get:6 http://deb.debian.org/debian forky/main amd64 base-files amd64 14 [72.9 kB] Get:7 http://deb.debian.org/debian forky/main amd64 bash amd64 5.3-1 [1556 kB] Get:8 http://deb.debian.org/debian forky/main amd64 diffutils amd64 1:3.12-1 [405 kB] Get:9 http://deb.debian.org/debian forky/main amd64 grep amd64 3.12-1 [443 kB] Get:10 http://deb.debian.org/debian forky/main amd64 ncurses-bin amd64 6.5+20251123-1 [445 kB] Get:11 http://deb.debian.org/debian forky/main amd64 perl-base amd64 5.40.1-7 [1679 kB] Get:12 http://deb.debian.org/debian forky/main amd64 libuuid1 amd64 2.41.2-4 [38.7 kB] Get:13 http://deb.debian.org/debian forky/main amd64 bsdutils amd64 1:2.41.2-4 [93.5 kB] Get:14 http://deb.debian.org/debian forky/main amd64 libblkid1 amd64 2.41.2-4 [174 kB] Get:15 http://deb.debian.org/debian forky/main amd64 libmount1 amd64 2.41.2-4 [211 kB] Get:16 http://deb.debian.org/debian forky/main amd64 libsmartcols1 amd64 2.41.2-4 [145 kB] Get:17 http://deb.debian.org/debian forky/main amd64 util-linux amd64 2.41.2-4 [1163 kB] Get:18 http://deb.debian.org/debian forky/main amd64 mount amd64 2.41.2-4 [163 kB] Get:19 http://deb.debian.org/debian forky/main amd64 libpcre2-8-0 amd64 10.46-1 [298 kB] Get:20 http://deb.debian.org/debian forky/main amd64 libselinux1 amd64 3.9-4+b1 [86.1 kB] Get:21 http://deb.debian.org/debian forky/main amd64 libsystemd0 amd64 259-1 [470 kB] Get:22 http://deb.debian.org/debian forky/main amd64 liblz4-1 amd64 1.10.0-6 [70.5 kB] Get:23 http://deb.debian.org/debian forky/main amd64 liblzma5 amd64 5.8.1-2 [310 kB] Get:24 http://deb.debian.org/debian forky/main amd64 openssl-provider-legacy amd64 3.5.4-1 [308 kB] Get:25 http://deb.debian.org/debian forky/main amd64 libzstd1 amd64 1.5.7+dfsg-2 [308 kB] Get:26 http://deb.debian.org/debian forky/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.1-1+b2 [89.0 kB] Get:27 http://deb.debian.org/debian forky/main amd64 libssl3t64 amd64 3.5.4-1 [2446 kB] Get:28 http://deb.debian.org/debian forky/main amd64 libstdc++6 amd64 15.2.0-11 [736 kB] Get:29 http://deb.debian.org/debian forky/main amd64 libudev1 amd64 259-1 [157 kB] Get:30 http://deb.debian.org/debian forky/main amd64 libapt-pkg7.0 amd64 3.1.12 [1229 kB] Get:31 http://deb.debian.org/debian forky/main amd64 libdebconfclient0 amd64 0.282+b2 [11.2 kB] Get:32 http://deb.debian.org/debian forky/main amd64 base-passwd amd64 3.6.8 [54.6 kB] Get:33 http://deb.debian.org/debian forky/main amd64 libgmp10 amd64 2:6.3.0+dfsg-5 [574 kB] Get:34 http://deb.debian.org/debian forky/main amd64 libnettle8t64 amd64 3.10.2-1 [307 kB] Get:35 http://deb.debian.org/debian forky/main amd64 libhogweed6t64 amd64 3.10.2-1 [336 kB] Get:36 http://deb.debian.org/debian forky/main amd64 sqv amd64 1.3.0-5 [648 kB] Get:37 http://deb.debian.org/debian forky/main amd64 libseccomp2 amd64 2.6.0-2+b1 [52.2 kB] Get:38 http://deb.debian.org/debian forky/main amd64 apt amd64 3.1.12 [1520 kB] Get:39 http://deb.debian.org/debian forky/main amd64 init-system-helpers all 1.69 [39.3 kB] Get:40 http://deb.debian.org/debian forky/main amd64 ncurses-base all 6.5+20251123-1 [277 kB] Get:41 http://deb.debian.org/debian forky/main amd64 sysvinit-utils amd64 3.15-6 [35.0 kB] Get:42 http://deb.debian.org/debian forky/main amd64 libaudit-common all 1:4.1.2-1 [14.3 kB] Get:43 http://deb.debian.org/debian forky/main amd64 libcap-ng0 amd64 0.8.5-4+b2 [17.5 kB] Get:44 http://deb.debian.org/debian forky/main amd64 libaudit1 amd64 1:4.1.2-1+b1 [60.2 kB] Get:45 http://deb.debian.org/debian forky/main amd64 login amd64 1:4.16.0-2+really2.41.2-4 [105 kB] Get:46 http://deb.debian.org/debian forky/main amd64 libcap2 amd64 1:2.75-10+b5 [28.8 kB] Get:47 http://deb.debian.org/debian forky/main amd64 libcrypt1 amd64 1:4.5.1-1 [98.0 kB] Get:48 http://deb.debian.org/debian forky/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-11 [710 kB] Get:49 http://deb.debian.org/debian forky/main amd64 libsqlite3-0 amd64 3.46.1-8 [968 kB] Get:50 http://deb.debian.org/debian forky/main amd64 liblastlog2-2 amd64 2.41.2-4 [29.5 kB] Get:51 http://deb.debian.org/debian forky/main amd64 libtinfo6 amd64 6.5+20251123-1 [353 kB] Get:52 http://deb.debian.org/debian forky/main amd64 login.defs all 1:4.18.0-2 [211 kB] Get:53 http://deb.debian.org/debian forky/main amd64 mawk amd64 1.3.4.20250131-2 [142 kB] Get:54 http://deb.debian.org/debian forky/main amd64 libsemanage-common all 3.9-1 [7888 B] Get:55 http://deb.debian.org/debian forky/main amd64 libsepol2 amd64 3.9-2 [300 kB] Get:56 http://deb.debian.org/debian forky/main amd64 libsemanage2 amd64 3.9-1+b1 [96.9 kB] Get:57 http://deb.debian.org/debian forky/main amd64 passwd amd64 1:4.18.0-2 [1286 kB] Get:58 http://deb.debian.org/debian forky/main amd64 tzdata all 2025c-3 [263 kB] Get:59 http://deb.debian.org/debian forky/main amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-3 [521 kB] Get:60 http://deb.debian.org/debian forky/main amd64 cvc5 amd64 1.1.2-3 [108 kB] Get:61 http://deb.debian.org/debian forky/main amd64 libcvc5-1 amd64 1.1.2-3 [6691 kB] Get:62 http://deb.debian.org/debian forky/main amd64 libcvc5parser1 amd64 1.1.2-3 [237 kB] Get:63 http://deb.debian.org/debian forky/main amd64 gcc-14-base amd64 14.3.0-10 [52.4 kB] Preconfiguring packages ... Fetched 33.1 MB in 5s (7159 kB/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 ... 4977 files and directories currently installed.) Preparing to unpack .../libc6_2.42-6_amd64.deb ... Unpacking libc6:amd64 (2.42-6) over (2.41-12) ... Selecting previously unselected package libc-gconv-modules-extra:amd64. Preparing to unpack .../libc-gconv-modules-extra_2.42-6_amd64.deb ... Unpacking libc-gconv-modules-extra:amd64 (2.42-6) ... Setting up libc-gconv-modules-extra:amd64 (2.42-6) ... (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 ... 4982 files and directories currently installed.) Preparing to unpack .../libc-bin_2.42-6_amd64.deb ... Unpacking libc-bin (2.42-6) over (2.41-12) ... Setting up libc6:amd64 (2.42-6) ... Installing new version of config file /etc/ld.so.conf.d/x86_64-linux-gnu.conf ... Setting up libc-bin (2.42-6) ... Selecting previously unselected package gcc-15-base: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 ... 4982 files and directories currently installed.) Preparing to unpack .../gcc-15-base_15.2.0-11_amd64.deb ... Unpacking gcc-15-base:amd64 (15.2.0-11) ... Setting up gcc-15-base:amd64 (15.2.0-11) ... (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 ... 4987 files and directories currently installed.) Preparing to unpack .../libgcc-s1_15.2.0-11_amd64.deb ... Unpacking libgcc-s1:amd64 (15.2.0-11) over (14.2.0-19) ... Setting up libgcc-s1:amd64 (15.2.0-11) ... (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 ... 4987 files and directories currently installed.) Preparing to unpack .../base-files_14_amd64.deb ... Unpacking base-files (14) over (13.8+deb13u2) ... Setting up base-files (14) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... (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 ... 4986 files and directories currently installed.) Preparing to unpack .../archives/bash_5.3-1_amd64.deb ... Unpacking bash (5.3-1) over (5.2.37-2+b5) ... Setting up bash (5.3-1) ... Installing new version of config file /etc/bash.bashrc ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (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 ... 4987 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.12-1_amd64.deb ... Unpacking diffutils (1:3.12-1) over (1:3.10-4) ... Setting up diffutils (1:3.12-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 ... 4987 files and directories currently installed.) Preparing to unpack .../archives/grep_3.12-1_amd64.deb ... Unpacking grep (3.12-1) over (3.11-4) ... Setting up grep (3.12-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 ... 4987 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.5+20251123-1_amd64.deb ... Unpacking ncurses-bin (6.5+20251123-1) over (6.5+20250216-2) ... Setting up ncurses-bin (6.5+20251123-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 ... 4987 files and directories currently installed.) Preparing to unpack .../perl-base_5.40.1-7_amd64.deb ... Unpacking perl-base (5.40.1-7) over (5.40.1-6) ... Setting up perl-base (5.40.1-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 ... 4987 files and directories currently installed.) Preparing to unpack .../libuuid1_2.41.2-4_amd64.deb ... Unpacking libuuid1:amd64 (2.41.2-4) over (2.41-5) ... Setting up libuuid1:amd64 (2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4987 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.41.2-4_amd64.deb ... Unpacking bsdutils (1:2.41.2-4) over (1:2.41-5) ... Setting up bsdutils (1:2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4984 files and directories currently installed.) Preparing to unpack .../libblkid1_2.41.2-4_amd64.deb ... Unpacking libblkid1:amd64 (2.41.2-4) over (2.41-5) ... Setting up libblkid1:amd64 (2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4984 files and directories currently installed.) Preparing to unpack .../libmount1_2.41.2-4_amd64.deb ... Unpacking libmount1:amd64 (2.41.2-4) over (2.41-5) ... Setting up libmount1:amd64 (2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4984 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.41.2-4_amd64.deb ... Unpacking libsmartcols1:amd64 (2.41.2-4) over (2.41-5) ... Setting up libsmartcols1:amd64 (2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4984 files and directories currently installed.) Preparing to unpack .../util-linux_2.41.2-4_amd64.deb ... Unpacking util-linux (2.41.2-4) over (2.41-5) ... Setting up util-linux (2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4955 files and directories currently installed.) Preparing to unpack .../mount_2.41.2-4_amd64.deb ... Unpacking mount (2.41.2-4) over (2.41-5) ... Preparing to unpack .../libpcre2-8-0_10.46-1_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.46-1) over (10.46-1~deb13u1) ... Setting up libpcre2-8-0:amd64 (10.46-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 ... 4955 files and directories currently installed.) Preparing to unpack .../libselinux1_3.9-4+b1_amd64.deb ... Unpacking libselinux1:amd64 (3.9-4+b1) over (3.8.1-1) ... Setting up libselinux1:amd64 (3.9-4+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 ... 4958 files and directories currently installed.) Preparing to unpack .../libsystemd0_259-1_amd64.deb ... Unpacking libsystemd0:amd64 (259-1) over (257.9-1~deb13u1) ... Setting up libsystemd0:amd64 (259-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 ... 4958 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.10.0-6_amd64.deb ... Unpacking liblz4-1:amd64 (1.10.0-6) over (1.10.0-4) ... Setting up liblz4-1:amd64 (1.10.0-6) ... (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 ... 4958 files and directories currently installed.) Preparing to unpack .../liblzma5_5.8.1-2_amd64.deb ... Unpacking liblzma5:amd64 (5.8.1-2) over (5.8.1-1) ... Setting up liblzma5:amd64 (5.8.1-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 ... 4958 files and directories currently installed.) Preparing to unpack .../openssl-provider-legacy_3.5.4-1_amd64.deb ... Unpacking openssl-provider-legacy (3.5.4-1) over (3.5.4-1~deb13u1) ... Setting up openssl-provider-legacy (3.5.4-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 ... 4958 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.7+dfsg-2_amd64.deb ... Unpacking libzstd1:amd64 (1.5.7+dfsg-2) over (1.5.7+dfsg-1) ... Setting up libzstd1:amd64 (1.5.7+dfsg-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 ... 4958 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg+really1.3.1-1+b2_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b2) over (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b2) ... (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 ... 4958 files and directories currently installed.) Preparing to unpack .../libssl3t64_3.5.4-1_amd64.deb ... Unpacking libssl3t64:amd64 (3.5.4-1) over (3.5.4-1~deb13u1) ... Setting up libssl3t64:amd64 (3.5.4-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 ... 4958 files and directories currently installed.) Preparing to unpack .../libstdc++6_15.2.0-11_amd64.deb ... Unpacking libstdc++6:amd64 (15.2.0-11) over (14.2.0-19) ... Setting up libstdc++6:amd64 (15.2.0-11) ... (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 ... 4958 files and directories currently installed.) Preparing to unpack .../libudev1_259-1_amd64.deb ... Unpacking libudev1:amd64 (259-1) over (257.9-1~deb13u1) ... Setting up libudev1:amd64 (259-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 ... 4958 files and directories currently installed.) Preparing to unpack .../libapt-pkg7.0_3.1.12_amd64.deb ... Unpacking libapt-pkg7.0:amd64 (3.1.12) over (3.0.3) ... Setting up libapt-pkg7.0:amd64 (3.1.12) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4959 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.282+b2_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.282+b2) over (0.280) ... Setting up libdebconfclient0:amd64 (0.282+b2) ... (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 ... 4960 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.8_amd64.deb ... Unpacking base-passwd (3.6.8) over (3.6.7) ... Setting up base-passwd (3.6.8) ... (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 ... 4960 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-5) over (2:6.3.0+dfsg-3) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-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 ... 4960 files and directories currently installed.) Preparing to unpack .../libnettle8t64_3.10.2-1_amd64.deb ... Unpacking libnettle8t64:amd64 (3.10.2-1) over (3.10.1-1) ... Setting up libnettle8t64:amd64 (3.10.2-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 ... 4960 files and directories currently installed.) Preparing to unpack .../libhogweed6t64_3.10.2-1_amd64.deb ... Unpacking libhogweed6t64:amd64 (3.10.2-1) over (3.10.1-1) ... Setting up libhogweed6t64:amd64 (3.10.2-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 ... 4960 files and directories currently installed.) Preparing to unpack .../archives/sqv_1.3.0-5_amd64.deb ... Unpacking sqv (1.3.0-5) over (1.3.0-3) ... Setting up sqv (1.3.0-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 ... 4960 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.6.0-2+b1_amd64.deb ... Unpacking libseccomp2:amd64 (2.6.0-2+b1) over (2.6.0-2) ... Setting up libseccomp2:amd64 (2.6.0-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 ... 4961 files and directories currently installed.) Preparing to unpack .../archives/apt_3.1.12_amd64.deb ... Unpacking apt (3.1.12) over (3.0.3) ... Setting up apt (3.1.12) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4960 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.69_all.deb ... Unpacking init-system-helpers (1.69) over (1.69~deb13u1) ... Setting up init-system-helpers (1.69) ... (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 ... 4960 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.5+20251123-1_all.deb ... Unpacking ncurses-base (6.5+20251123-1) over (6.5+20250216-2) ... Setting up ncurses-base (6.5+20251123-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 ... 4960 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.15-6_amd64.deb ... Unpacking sysvinit-utils (3.15-6) over (3.14-4) ... Setting up sysvinit-utils (3.15-6) ... (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 ... 4960 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.1.2-1_all.deb ... Unpacking libaudit-common (1:4.1.2-1) over (1:4.0.2-2) ... Setting up libaudit-common (1:4.1.2-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 ... 4960 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.5-4+b2_amd64.deb ... Unpacking libcap-ng0:amd64 (0.8.5-4+b2) over (0.8.5-4+b1) ... Setting up libcap-ng0:amd64 (0.8.5-4+b2) ... (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 ... 4960 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.1.2-1+b1_amd64.deb ... Unpacking libaudit1:amd64 (1:4.1.2-1+b1) over (1:4.0.2-2+b2) ... Setting up libaudit1:amd64 (1:4.1.2-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 ... 4960 files and directories currently installed.) Preparing to unpack .../login_1%3a4.16.0-2+really2.41.2-4_amd64.deb ... Unpacking login (1:4.16.0-2+really2.41.2-4) over (1:4.16.0-2+really2.41-5) ... Preparing to unpack .../libcap2_1%3a2.75-10+b5_amd64.deb ... Unpacking libcap2:amd64 (1:2.75-10+b5) over (1:2.75-10+b1) ... Setting up libcap2:amd64 (1:2.75-10+b5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4952 files and directories currently installed.) Preparing to unpack .../libcrypt1_1%3a4.5.1-1_amd64.deb ... Unpacking libcrypt1:amd64 (1:4.5.1-1) over (1:4.4.38-1) ... Setting up libcrypt1:amd64 (1:4.5.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 ... 4952 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-11_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-11) over (5.3.28+dfsg2-9) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-11) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4952 files and directories currently installed.) Preparing to unpack .../libsqlite3-0_3.46.1-8_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-8) over (3.46.1-7) ... Setting up libsqlite3-0:amd64 (3.46.1-8) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4952 files and directories currently installed.) Preparing to unpack .../liblastlog2-2_2.41.2-4_amd64.deb ... Unpacking liblastlog2-2:amd64 (2.41.2-4) over (2.41-5) ... Setting up liblastlog2-2:amd64 (2.41.2-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4952 files and directories currently installed.) Preparing to unpack .../libtinfo6_6.5+20251123-1_amd64.deb ... Unpacking libtinfo6:amd64 (6.5+20251123-1) over (6.5+20250216-2) ... Setting up libtinfo6:amd64 (6.5+20251123-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 ... 4952 files and directories currently installed.) Preparing to unpack .../00-login.defs_1%3a4.18.0-2_all.deb ... Unpacking login.defs (1:4.18.0-2) over (1:4.17.4-2) ... Preparing to unpack .../01-mawk_1.3.4.20250131-2_amd64.deb ... Unpacking mawk (1.3.4.20250131-2) over (1.3.4.20250131-1) ... Preparing to unpack .../02-libsemanage-common_3.9-1_all.deb ... Unpacking libsemanage-common (3.9-1) over (3.8.1-1) ... Preparing to unpack .../03-libsepol2_3.9-2_amd64.deb ... Unpacking libsepol2:amd64 (3.9-2) over (3.8.1-1) ... Preparing to unpack .../04-libsemanage2_3.9-1+b1_amd64.deb ... Unpacking libsemanage2:amd64 (3.9-1+b1) over (3.8.1-1) ... Preparing to unpack .../05-passwd_1%3a4.18.0-2_amd64.deb ... Unpacking passwd (1:4.18.0-2) over (1:4.17.4-2) ... Preparing to unpack .../06-tzdata_2025c-3_all.deb ... Unpacking tzdata (2025c-3) over (2025b-4+deb13u1) ... Preparing to unpack .../07-libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb ... Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-3) over (5.11.21+dfsg1-2) ... Preparing to unpack .../08-cvc5_1.1.2-3_amd64.deb ... Unpacking cvc5 (1.1.2-3) over (1.1.2-2+b3) ... Preparing to unpack .../09-libcvc5-1_1.1.2-3_amd64.deb ... Unpacking libcvc5-1:amd64 (1.1.2-3) over (1.1.2-2+b3) ... Preparing to unpack .../10-libcvc5parser1_1.1.2-3_amd64.deb ... Unpacking libcvc5parser1:amd64 (1.1.2-3) over (1.1.2-2+b3) ... Preparing to unpack .../11-gcc-14-base_14.3.0-10_amd64.deb ... Unpacking gcc-14-base:amd64 (14.3.0-10) over (14.2.0-19) ... Setting up gcc-14-base:amd64 (14.3.0-10) ... Setting up login.defs (1:4.18.0-2) ... Setting up libsemanage-common (3.9-1) ... Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-3) ... Setting up tzdata (2025c-3) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Dec 24 09:58:09 UTC 2025. Universal Time is now: Wed Dec 24 09:58:09 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libsepol2:amd64 (3.9-2) ... Setting up mount (2.41.2-4) ... Setting up libsemanage2:amd64 (3.9-1+b1) ... Setting up mawk (1.3.4.20250131-2) ... Setting up login (1:4.16.0-2+really2.41.2-4) ... Setting up libcvc5-1:amd64 (1.1.2-3) ... Setting up libcvc5parser1:amd64 (1.1.2-3) ... Setting up passwd (1:4.18.0-2) ... Setting up cvc5 (1.1.2-3) ... Processing triggers for libc-bin (2.42-6) ... Processing triggers for debianutils (5.23.2) ... 0m34.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-yf', 'dist-upgrade'] 0m34.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m36.6s DUMP: 1b82e7760cc7cd3342d78395b0a89da8 - 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'show', '--no-all-versions', 'cvc5'] 0m36.8s DUMP: Package: cvc5 Version: 1.1.2-3 Installed-Size: 458 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.1.2-3), libcvc5parser1 (= 1.1.2-3), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description-en: automated theorem prover for SMT problems 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 binaries needed to use cvc5 as a stand-alone tool. Description-md5: d1e715b2658513dcf601c320616177f6 Homepage: https://cvc5.github.io/ Section: math Priority: optional Filename: pool/main/c/cvc5/cvc5_1.1.2-3_amd64.deb Size: 107800 MD5sum: 6893903e8132d42ac63f37ef41a6e060 SHA256: 41632b531f50c85937c41f5ecb448ec933d711e18bc6d486103c79d555e0804a 0m36.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'show', '--no-all-versions', 'cvc5'] 0m36.8s INFO: apt-cache knows about the following packages: cvc5 0m36.8s INFO: Running scripts pre_install 0m36.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m36.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m36.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m36.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m36.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m36.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m36.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m36.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m36.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m36.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m36.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m36.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian forky/main amd64 Packages release o=Debian,a=testing,n=forky,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m36.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m36.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m37.0s DUMP: cvc5: Installed: 1.1.2-3 Candidate: 1.1.2-3 Version table: *** 1.1.2-3 500 500 http://deb.debian.org/debian forky/main amd64 Packages 100 /var/lib/dpkg/status 0m37.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m37.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5'] 0m37.5s DUMP: Reading package lists... Building dependency tree... Reading state information... cvc5 is already the newest version (1.1.2-3). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m37.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5'] 0m37.5s INFO: Running scripts post_install 0m37.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m37.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m37.5s INFO: Running scripts post_distupgrade 0m37.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m37.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m37.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_exceptions'] 0m37.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_exceptions'] 0m37.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m37.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m37.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m37.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m37.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_zz_backports'] 0m37.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_zz_backports'] 0m37.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m37.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m37.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpcn2zhomc to sid 0m37.9s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m37.9s INFO: Running scripts pre_distupgrade 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m37.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_exceptions'] 0m37.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_exceptions'] 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m37.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m37.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m37.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'update'] 0m45.1s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [187 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.2 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7451 kB] Fetched 17.9 MB in 6s (2919 kB/s) Reading package lists... 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'update'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-yf', 'dist-upgrade'] 0m51.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: bsdutils cvc5 dpkg gcc-15-base libblkid1 libcvc5-1 libcvc5parser1 libgcc-s1 liblastlog2-2 libmount1 libsmartcols1 libstdc++6 libuuid1 login mount util-linux 16 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 12.7 MB of archives. After this operation, 4536 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 dpkg amd64 1.23.3 [1518 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libuuid1 amd64 2.41.3-2 [38.8 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libblkid1 amd64 2.41.3-2 [174 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libmount1 amd64 2.41.3-2 [211 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libsmartcols1 amd64 2.41.3-2 [145 kB] Get:6 http://deb.debian.org/debian sid/main amd64 util-linux amd64 2.41.3-2 [1166 kB] Get:7 http://deb.debian.org/debian sid/main amd64 mount amd64 2.41.3-2 [164 kB] Get:8 http://deb.debian.org/debian sid/main amd64 login amd64 1:4.16.0-2+really2.41.3-2 [106 kB] Get:9 http://deb.debian.org/debian sid/main amd64 gcc-15-base amd64 15.2.0-12 [54.1 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 15.2.0-12 [737 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 15.2.0-12 [71.5 kB] Get:12 http://deb.debian.org/debian sid/main amd64 bsdutils amd64 1:2.41.3-2 [94.0 kB] Get:13 http://deb.debian.org/debian sid/main amd64 cvc5 amd64 1.3.2-1 [144 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libcvc5-1 amd64 1.3.2-1 [7726 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libcvc5parser1 amd64 1.3.2-1 [273 kB] Get:16 http://deb.debian.org/debian sid/main amd64 liblastlog2-2 amd64 2.41.3-2 [29.6 kB] Fetched 12.7 MB in 1s (18.9 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 ... 4950 files and directories currently installed.) Preparing to unpack .../archives/dpkg_1.23.3_amd64.deb ... Unpacking dpkg (1.23.3) over (1.22.21) ... Setting up dpkg (1.23.3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4953 files and directories currently installed.) Preparing to unpack .../libuuid1_2.41.3-2_amd64.deb ... Unpacking libuuid1:amd64 (2.41.3-2) over (2.41.2-4) ... Setting up libuuid1:amd64 (2.41.3-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 ... 4953 files and directories currently installed.) Preparing to unpack .../libblkid1_2.41.3-2_amd64.deb ... Unpacking libblkid1:amd64 (2.41.3-2) over (2.41.2-4) ... Setting up libblkid1:amd64 (2.41.3-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 ... 4953 files and directories currently installed.) Preparing to unpack .../libmount1_2.41.3-2_amd64.deb ... Unpacking libmount1:amd64 (2.41.3-2) over (2.41.2-4) ... Setting up libmount1:amd64 (2.41.3-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 ... 4953 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.41.3-2_amd64.deb ... Unpacking libsmartcols1:amd64 (2.41.3-2) over (2.41.2-4) ... Setting up libsmartcols1:amd64 (2.41.3-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 ... 4953 files and directories currently installed.) Preparing to unpack .../util-linux_2.41.3-2_amd64.deb ... Unpacking util-linux (2.41.3-2) over (2.41.2-4) ... Setting up util-linux (2.41.3-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 ... 4954 files and directories currently installed.) Preparing to unpack .../mount_2.41.3-2_amd64.deb ... Unpacking mount (2.41.3-2) over (2.41.2-4) ... Preparing to unpack .../login_1%3a4.16.0-2+really2.41.3-2_amd64.deb ... Unpacking login (1:4.16.0-2+really2.41.3-2) over (1:4.16.0-2+really2.41.2-4) ... Preparing to unpack .../gcc-15-base_15.2.0-12_amd64.deb ... Unpacking gcc-15-base:amd64 (15.2.0-12) over (15.2.0-11) ... Setting up gcc-15-base:amd64 (15.2.0-12) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4954 files and directories currently installed.) Preparing to unpack .../libstdc++6_15.2.0-12_amd64.deb ... Unpacking libstdc++6:amd64 (15.2.0-12) over (15.2.0-11) ... Setting up libstdc++6:amd64 (15.2.0-12) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4954 files and directories currently installed.) Preparing to unpack .../libgcc-s1_15.2.0-12_amd64.deb ... Unpacking libgcc-s1:amd64 (15.2.0-12) over (15.2.0-11) ... Setting up libgcc-s1:amd64 (15.2.0-12) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4954 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.41.3-2_amd64.deb ... Unpacking bsdutils (1:2.41.3-2) over (1:2.41.2-4) ... Preparing to unpack .../cvc5_1.3.2-1_amd64.deb ... Unpacking cvc5 (1.3.2-1) over (1.1.2-3) ... Preparing to unpack .../libcvc5-1_1.3.2-1_amd64.deb ... Unpacking libcvc5-1:amd64 (1.3.2-1) over (1.1.2-3) ... Preparing to unpack .../libcvc5parser1_1.3.2-1_amd64.deb ... Unpacking libcvc5parser1:amd64 (1.3.2-1) over (1.1.2-3) ... Preparing to unpack .../liblastlog2-2_2.41.3-2_amd64.deb ... Unpacking liblastlog2-2:amd64 (2.41.3-2) over (2.41.2-4) ... Setting up libcvc5-1:amd64 (1.3.2-1) ... Setting up bsdutils (1:2.41.3-2) ... Setting up liblastlog2-2:amd64 (2.41.3-2) ... Setting up libcvc5parser1:amd64 (1.3.2-1) ... Setting up mount (2.41.3-2) ... Setting up cvc5 (1.3.2-1) ... Setting up login (1:4.16.0-2+really2.41.3-2) ... Processing triggers for libc-bin (2.42-6) ... 0m51.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-yf', 'dist-upgrade'] 0m51.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m52.6s DUMP: 829b748e4d997ba94511dd38210895cb - 0m52.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m52.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'show', '--no-all-versions', 'cvc5'] 0m52.9s DUMP: Package: cvc5 Version: 1.3.2-1 Installed-Size: 539 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.3.2-1), libcvc5parser1 (= 1.3.2-1), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description-en: automated theorem prover for SMT problems 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 binaries needed to use cvc5 as a stand-alone tool. Description-md5: d1e715b2658513dcf601c320616177f6 Homepage: https://cvc5.github.io/ Section: math Priority: optional Filename: pool/main/c/cvc5/cvc5_1.3.2-1_amd64.deb Size: 143700 MD5sum: a412dcbd828df74d58d5a9cb31124075 SHA256: 254b41f47202cb129c72d43e36be02f9cd5a0877921fa56470a0dc0719da20df 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'show', '--no-all-versions', 'cvc5'] 0m52.9s INFO: apt-cache knows about the following packages: cvc5 0m52.9s INFO: Running scripts pre_install 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m53.0s 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: 0m53.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m53.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m53.1s DUMP: cvc5: Installed: 1.3.2-1 Candidate: 1.3.2-1 Version table: *** 1.3.2-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m53.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m53.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5'] 0m53.9s DUMP: Reading package lists... Building dependency tree... Reading state information... cvc5 is already the newest version (1.3.2-1). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5'] 0m53.9s INFO: Running scripts post_install 0m53.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m53.9s INFO: Running scripts post_distupgrade 0m53.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m53.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_exceptions'] 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_exceptions'] 0m53.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m53.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m53.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_zz_backports'] 0m53.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_distupgrade_zz_backports'] 0m53.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m54.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m54.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m54.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m54.6s INFO: Running scripts pre_install 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_database-server'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_exceptions'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_extras'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m54.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m54.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m54.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: 0m54.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy'] 0m54.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m54.7s DUMP: cvc5: Installed: 1.3.2-1 Candidate: 1.3.2-1 Version table: *** 1.3.2-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m54.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-cache', 'policy', 'cvc5'] 0m54.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5=1.3.2-1'] 0m55.6s DUMP: Reading package lists... Building dependency tree... Reading state information... cvc5 is already the newest version (1.3.2-1). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m55.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', '-y', 'install', 'cvc5=1.3.2-1'] 0m55.6s INFO: Running scripts post_install 0m55.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m55.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_install_exceptions'] 0m55.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m56.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 0m57.0s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', '-ac', '--ignore-obsolete'] 0m58.4s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', '-ac', '--ignore-obsolete'] 0m58.4s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m58.4s DUMP: 0.15.9~deb12u1 0m58.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m58.4s INFO: Running adequate version 0.15.9~deb12u1 now. 0m58.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'cvc5'] 0m58.5s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'cvc5'] 0m58.5s INFO: Running scripts pre_remove 0m58.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m58.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m58.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m58.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m58.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m59.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m59.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m59.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m59.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m59.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m59.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_exceptions'] 1m0.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/pre_remove_exceptions'] 1m0.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m0.2s DUMP: install ok installed apt apt 3.1.12 install ok installed base-files base-files 14 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-1 install ok installed bsdutils bsdutils 1:2.41.3-2 install ok installed coreutils coreutils 9.7-3 install ok installed cvc5 cvc5 1.3.2-1 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.23.2 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.3 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.3.0-10 install ok installed gcc-15-base:amd64 gcc-15-base 15.2.0-12 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.13-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.1.12 install ok installed libattr1:amd64 libattr1 1:2.5.2-3 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1+b1 install ok installed libblkid1:amd64 libblkid1 2.41.3-2 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.42-6 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.42-6 install ok installed libc6:amd64 libc6 2.42-6 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b2 install ok installed libcap2:amd64 libcap2 1:2.75-10+b5 install ok installed libcln6:amd64 libcln6 1.3.7-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.1-1 install ok installed libcryptominisat5-5.11t64:amd64 libcryptominisat5-5.11t64 5.11.21+dfsg1-3 install ok installed libcvc5-1:amd64 libcvc5-1 1.3.2-1 install ok installed libcvc5parser1:amd64 libcvc5parser1 1.3.2-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-11 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.282+b2 install ok installed libgcc-s1:amd64 libgcc-s1 15.2.0-12 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1 install ok installed liblastlog2-2:amd64 liblastlog2-2 2.41.3-2 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-6 install ok installed liblzma5:amd64 liblzma5 5.8.1-2 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmount1:amd64 libmount1 2.41.3-2 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-5 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-5 install ok installed libpam-runtime libpam-runtime 1.7.0-5 install ok installed libpam0g:amd64 libpam0g 1.7.0-5 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.46-1 install ok installed libseccomp2:amd64 libseccomp2 2.6.0-2+b1 install ok installed libselinux1:amd64 libselinux1 3.9-4+b1 install ok installed libsemanage-common libsemanage-common 3.9-1 install ok installed libsemanage2:amd64 libsemanage2 3.9-1+b1 install ok installed libsepol2:amd64 libsepol2 3.9-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.41.3-2 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-8 install ok installed libssl3t64:amd64 libssl3t64 3.5.4-1 install ok installed libstdc++6:amd64 libstdc++6 15.2.0-12 install ok installed libsystemd0:amd64 libsystemd0 259-1 install ok installed libtinfo6:amd64 libtinfo6 6.5+20251123-1 install ok installed libudev1:amd64 libudev1 259-1 install ok installed libuuid1:amd64 libuuid1 2.41.3-2 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-2 install ok installed login login 1:4.16.0-2+really2.41.3-2 install ok installed login.defs login.defs 1:4.18.0-2 install ok installed mawk mawk 1.3.4.20250131-2 install ok installed mount mount 2.41.3-2 install ok installed ncurses-base ncurses-base 6.5+20251123-1 install ok installed ncurses-bin ncurses-bin 6.5+20251123-1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.5.4-1 install ok installed passwd passwd 1:4.18.0-2 install ok installed perl-base perl-base 5.40.1-7 install ok installed sed sed 4.9-2 install ok installed sqv sqv 1.3.0-5 install ok installed sysvinit-utils sysvinit-utils 3.15-6 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025c-3 install ok installed util-linux util-linux 2.41.3-2 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b2 1m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'remove', '--allow-remove-essential', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'cvc5'] 1m1.3s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following packages will be REMOVED: cvc5 libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 0 upgraded, 0 newly installed, 5 to remove and 0 not upgraded. After this operation, 34.9 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 ... 4955 files and directories currently installed.) Removing cvc5 (1.3.2-1) ... Removing libcvc5parser1:amd64 (1.3.2-1) ... Removing libcvc5-1:amd64 (1.3.2-1) ... Removing libcln6:amd64 (1.3.7-1+b1) ... Removing libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-3) ... Processing triggers for libc-bin (2.42-6) ... 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'remove', '--allow-remove-essential', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'cvc5'] 1m1.3s INFO: Running scripts post_remove 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_remove_exceptions'] 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_remove_exceptions'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--purge', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64'] 1m1.3s DUMP: dpkg: warning: ignoring request to remove libcln6 which is not installed dpkg: warning: ignoring request to remove libcryptominisat5-5.11t64 which is not installed dpkg: warning: ignoring request to remove libcvc5-1 which is not installed dpkg: warning: ignoring request to remove libcvc5parser1 which is not installed 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--purge', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--purge', 'cvc5'] 1m1.3s DUMP: dpkg: warning: ignoring request to remove cvc5 which is not installed 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--purge', 'cvc5'] 1m1.3s INFO: Running scripts post_purge 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_purge_exceptions'] 1m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_purge_exceptions'] 1m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--purge', '--pending'] 1m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--purge', '--pending'] 1m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--remove', '--pending'] 1m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg', '--remove', '--pending'] 1m1.4s INFO: Running scripts post_test 1m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_test_exceptions'] 1m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'tmp/scripts/post_test_exceptions'] 1m1.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 1m1.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 1m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg-divert', '--list'] 1m1.8s 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 1m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'dpkg-divert', '--list'] 1m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'clean'] 1m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc', 'apt-get', 'clean'] 1m1.8s DEBUG: Recording chroot state 1m2.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/shm'] 1m2.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/shm'] 1m2.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/console'] 1m2.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/console'] 1m2.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/ptmx'] 1m2.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/ptmx'] 1m2.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/pts'] 1m2.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/dev/pts'] 1m2.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/proc'] 1m2.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc/proc'] 1m2.8s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 1m2.9s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpcn2zhomc'] 1m2.9s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpcn2zhomc 1m2.9s INFO: PASS: Upgrading between Debian distributions. 1m2.9s INFO: PASS: All tests. 1m2.9s INFO: piuparts run ends. ret=0 End: 2025-12-24 09:58:38 GMT