Start: 2024-03-20 12:26:35 GMT Package: cvc5 Version: 1.1.2-2 Installed-Size: 446 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.1.2-2), libcvc5parser1 (= 1.1.2-2), 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_amd64.deb Size: 110792 MD5sum: ae4cf4a515b3a7e6e6a07c6fcc265a5b SHA256: 60e53cb4cdb48543969b16cdaf21c7b5661b215313da771a9d4205a5a164dfdd Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-remove-install --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-others --scriptsdir /etc/piuparts/scripts-leftovers --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt cvc5=1.1.2-2 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.4.1~202403190841~1.4-4-g85045c69 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-remove-install --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-others --scriptsdir /etc/piuparts/scripts-leftovers --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid --no-upgrade-test --apt cvc5=1.1.2-2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-28-amd64 #1 SMP Debian 5.10.209-2 (2024-01-31) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpyzz99rrn 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpyzz99rrn 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/proc'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/pts'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m0.6s DEBUG: Created policy-rc.d and chmodded it. 0m0.6s DEBUG: Created resolv.conf. 0m0.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpyzz99rrn/tmp/scripts/ 0m0.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts-leftovers to /srv/piuparts.debian.org/tmp/tmpyzz99rrn/tmp/scripts/ 0m0.6s INFO: Running scripts post_chroot_unpack 0m0.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'update'] 0m5.0s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [198 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [9963 kB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7227 kB] Fetched 17.4 MB in 3s (5473 kB/s) Reading package lists... 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'update'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-yf', 'dist-upgrade'] 0m7.1s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be REMOVED: libhogweed6 libnettle8 The following NEW packages will be installed: libhogweed6t64 libnettle8t64 The following packages will be upgraded: gcc-14-base gpgv libgcc-s1 libgnutls30t64 libselinux1 libsemanage2 libstdc++6 7 upgraded, 2 newly installed, 2 to remove and 0 not upgraded. Need to get 3691 kB of archives. After this operation, 6144 B of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libnettle8t64 amd64 3.9.1-2.2 [296 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libhogweed6t64 amd64 3.9.1-2.2 [328 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libgnutls30t64 amd64 3.8.3-1.1+b1 [1426 kB] Get:4 http://deb.debian.org/debian sid/main amd64 gpgv amd64 2.2.40-3 [649 kB] Get:5 http://deb.debian.org/debian sid/main amd64 gcc-14-base amd64 14-20240315-1 [42.9 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 14-20240315-1 [713 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 14-20240315-1 [72.2 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libselinux1 amd64 3.5-2+b1 [75.0 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libsemanage2 amd64 3.5-1+b3 [90.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 3691 kB in 0s (50.7 MB/s) dpkg: libhogweed6:amd64: dependency problems, but removing anyway as you requested: libgnutls30t64:amd64 depends on libhogweed6 (>= 3.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 ... 5219 files and directories currently installed.) Removing libhogweed6:amd64 (3.9.1-2+b1) ... dpkg: libnettle8:amd64: dependency problems, but removing anyway as you requested: libgnutls30t64:amd64 depends on libnettle8 (>= 3.9~). Removing libnettle8:amd64 (3.9.1-2+b1) ... Selecting previously unselected package libnettle8t64: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 ... 5203 files and directories currently installed.) Preparing to unpack .../libnettle8t64_3.9.1-2.2_amd64.deb ... Unpacking libnettle8t64:amd64 (3.9.1-2.2) ... Setting up libnettle8t64:amd64 (3.9.1-2.2) ... Selecting previously unselected package libhogweed6t64: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 ... 5212 files and directories currently installed.) Preparing to unpack .../libhogweed6t64_3.9.1-2.2_amd64.deb ... Unpacking libhogweed6t64:amd64 (3.9.1-2.2) ... Setting up libhogweed6t64:amd64 (3.9.1-2.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5219 files and directories currently installed.) Preparing to unpack .../libgnutls30t64_3.8.3-1.1+b1_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.3-1.1+b1) over (3.8.3-1.1) ... Setting up libgnutls30t64:amd64 (3.8.3-1.1+b1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5220 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.40-3_amd64.deb ... Unpacking gpgv (2.2.40-3) over (2.2.40-2) ... Setting up gpgv (2.2.40-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 ... 5220 files and directories currently installed.) Preparing to unpack .../gcc-14-base_14-20240315-1_amd64.deb ... Unpacking gcc-14-base:amd64 (14-20240315-1) over (14-20240303-1) ... Setting up gcc-14-base:amd64 (14-20240315-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 ... 5220 files and directories currently installed.) Preparing to unpack .../libstdc++6_14-20240315-1_amd64.deb ... Unpacking libstdc++6:amd64 (14-20240315-1) over (14-20240303-1) ... Setting up libstdc++6:amd64 (14-20240315-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 ... 5220 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14-20240315-1_amd64.deb ... Unpacking libgcc-s1:amd64 (14-20240315-1) over (14-20240303-1) ... Setting up libgcc-s1:amd64 (14-20240315-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 ... 5220 files and directories currently installed.) Preparing to unpack .../libselinux1_3.5-2+b1_amd64.deb ... Unpacking libselinux1:amd64 (3.5-2+b1) over (3.5-2) ... Setting up libselinux1:amd64 (3.5-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 ... 5221 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.5-1+b3_amd64.deb ... Unpacking libsemanage2:amd64 (3.5-1+b3) over (3.5-1+b2) ... Setting up libsemanage2:amd64 (3.5-1+b3) ... Processing triggers for libc-bin (2.37-15.1) ... 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-yf', 'dist-upgrade'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m7.6s DUMP: e87adb702c17d594a77849b16488c829 - 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m7.6s INFO: Running scripts post_setup 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_dummy_users'] 0m8.5s 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 0m8.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_dummy_users'] 0m8.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_fake-essential'] 0m10.1s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Reading state information... init-system-helpers is already the newest version (1.66). The following additional packages will be installed: sensible-utils ucf Suggested packages: dbconfig-mysql | dbconfig-pgsql | dbconfig-sqlite3 | dbconfig-no-thanks The following NEW packages will be installed: dbconfig-common sensible-utils ucf 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 670 kB of archives. After this operation, 1826 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 sensible-utils all 0.0.22 [22.4 kB] Get:2 http://deb.debian.org/debian sid/main amd64 ucf all 3.0043+nmu1 [55.2 kB] Get:3 http://deb.debian.org/debian sid/main amd64 dbconfig-common all 2.0.24 [592 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 670 kB in 0s (14.7 MB/s) Selecting previously unselected package sensible-utils. (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 ... 5221 files and directories currently installed.) Preparing to unpack .../sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0043+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0043+nmu1) ... Selecting previously unselected package dbconfig-common. Preparing to unpack .../dbconfig-common_2.0.24_all.deb ... Unpacking dbconfig-common (2.0.24) ... Setting up sensible-utils (0.0.22) ... Setting up ucf (3.0043+nmu1) ... Setting up dbconfig-common (2.0.24) ... Creating config file /etc/dbconfig-common/config with new version 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_fake-essential'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_forbid_home'] 0m10.1s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_forbid_home'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_force-unsafe-io'] 0m10.2s 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' 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_force-unsafe-io'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_minimize'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_minimize'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_squeeze-backports'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_squeeze-backports'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_zz_backports'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_setup_zz_backports'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'clean'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'clean'] 0m10.2s DEBUG: Recording chroot state 0m10.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m10.8s DUMP: install ok installed apt apt 2.7.13+b1 install ok installed base-files base-files 13 install ok installed base-passwd base-passwd 3.6.3 install ok installed bash bash 5.2.21-2 install ok installed bsdutils bsdutils 1:2.39.3-10 install ok installed coreutils coreutils 9.4-3.1 install ok installed dash dash 0.5.12-6 install ok installed dbconfig-common dbconfig-common 2.0.24 install ok installed debconf debconf 1.5.86 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.17 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.6 install ok installed e2fsprogs e2fsprogs 1.47.0-2.4 install ok installed findutils findutils 4.9.0-5 install ok installed gcc-14-base:amd64 gcc-14-base 14-20240315-1 install ok installed gpgv gpgv 2.2.40-3 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.23+nmu2 install ok installed init-system-helpers init-system-helpers 1.66 install ok installed libacl1:amd64 libacl1 2.3.2-1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.7.13+b1 install ok installed libattr1:amd64 libattr1 1:2.5.2-1 install ok installed libaudit-common libaudit-common 1:3.1.2-2.1 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-2.1 install ok installed libblkid1:amd64 libblkid1 2.39.3-10 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5.1 install ok installed libc-bin libc-bin 2.37-15.1 install ok installed libc6:amd64 libc6 2.37-15.1 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.4-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2.4 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-4 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.271+b2 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.0-2.4 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14-20240315-1 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.3-2 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.3-1.1+b1 install ok installed libgpg-error0:amd64 libgpg-error0 1.47-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.9.1-2.2 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1+b2 install ok installed liblzma5:amd64 liblzma5 5.6.0-0.2 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.39.3-10 install ok installed libnettle8t64:amd64 libnettle8t64 3.9.1-2.2 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.3-4 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-6 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-6 install ok installed libpam-runtime libpam-runtime 1.5.3-6 install ok installed libpam0g:amd64 libpam0g 1.5.3-6 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1 install ok installed libselinux1:amd64 libselinux1 3.5-2+b1 install ok installed libsemanage-common libsemanage-common 3.5-1 install ok installed libsemanage2:amd64 libsemanage2 3.5-1+b3 install ok installed libsepol2:amd64 libsepol2 3.5-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.39.3-10 install ok installed libss2:amd64 libss2 1.47.0-2.4 install ok installed libssl3t64:amd64 libssl3t64 3.1.5-1.1 install ok installed libstdc++6:amd64 libstdc++6 14-20240315-1 install ok installed libsystemd0:amd64 libsystemd0 255.4-1+b1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.4+20240113-1 install ok installed libudev1:amd64 libudev1 255.4-1+b1 install ok installed libunistring5:amd64 libunistring5 1.1-2 install ok installed libuuid1:amd64 libuuid1 2.39.3-10 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.5+dfsg2-2 install ok installed login login 1:4.13+dfsg1-4 install ok installed logsave logsave 1.47.0-2.4 install ok installed mawk mawk 1.3.4.20240123-1 install ok installed mount mount 2.39.3-10 install ok installed ncurses-base ncurses-base 6.4+20240113-1 install ok installed ncurses-bin ncurses-bin 6.4+20240113-1 install ok installed passwd passwd 1:4.13+dfsg1-4 install ok installed perl-base perl-base 5.38.2-3.2 install ok installed sed sed 4.9-2 install ok installed sensible-utils sensible-utils 0.0.22 install ok installed sysvinit-utils sysvinit-utils 3.08-7 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-1 install ok installed ucf ucf 3.0043+nmu1 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.39.3-10 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg-3.1 0m10.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m10.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-divert', '--list'] 0m10.8s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 local diversion of /usr/bin/sync to /usr/bin/sync.distrib 0m10.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-divert', '--list'] 0m10.8s INFO: Running scripts is_testable 0m10.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/is_testable_uninstallable'] 0m10.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/is_testable_uninstallable'] 0m10.8s INFO: apt-cache does not know about any of the requested packages 0m10.8s INFO: Running scripts pre_test 0m10.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_test_exceptions'] 0m10.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_test_exceptions'] 0m10.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_test_root_password'] 0m10.9s DUMP: New password: Retype new password: passwd: password updated successfully 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_test_root_password'] 0m10.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m11.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m12.0s DEBUG: No broken symlinks as far as we can find. 0m12.0s INFO: Running scripts pre_install 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_database-server'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_database-server'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_exceptions'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_exceptions'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_extras'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_extras'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'show', '--no-all-versions', 'cvc5=1.1.2-2'] 0m13.4s DUMP: Package: cvc5 Version: 1.1.2-2 Installed-Size: 446 Maintainer: Debian Science Maintainers Architecture: amd64 Depends: libcvc5-1 (= 1.1.2-2), libcvc5parser1 (= 1.1.2-2), 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_amd64.deb Size: 110792 MD5sum: ae4cf4a515b3a7e6e6a07c6fcc265a5b SHA256: 60e53cb4cdb48543969b16cdaf21c7b5661b215313da771a9d4205a5a164dfdd 0m13.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'show', '--no-all-versions', 'cvc5=1.1.2-2'] 0m13.4s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: piuparts developers team Depends: libcvc5-1 (= 1.1.2-2), libcvc5parser1 (= 1.1.2-2), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed 0m13.4s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmp06b3lg02/piuparts-depends-dummy'] 0m13.4s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmp06b3lg02/piuparts-depends-dummy.deb'. 0m13.4s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmp06b3lg02/piuparts-depends-dummy'] 0m13.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m13.4s DUMP: 2.7.13+b1 0m13.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m13.4s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmp06b3lg02/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpyzz99rrn/tmp 0m13.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m15.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 Suggested packages: pi The following NEW packages will be installed: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 piuparts-depends-dummy 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 7650 kB/7650 kB of archives. After this operation, 28.7 MB of additional disk space will be used. Get:1 /tmp/piuparts-depends-dummy.deb piuparts-depends-dummy amd64 0.invalid.0 [688 B] Get:2 http://deb.debian.org/debian sid/main amd64 libcln6 amd64 1.3.7-1 [496 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libcryptominisat5-5.11t64 amd64 5.11.15+dfsg1-1.1 [506 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libcvc5-1 amd64 1.1.2-2 [6413 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libcvc5parser1 amd64 1.1.2-2 [234 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 7650 kB in 0s (70.6 MB/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 ... 5573 files and directories currently installed.) Preparing to unpack .../libcln6_1.3.7-1_amd64.deb ... Unpacking libcln6:amd64 (1.3.7-1) ... Selecting previously unselected package libcryptominisat5-5.11t64:amd64. Preparing to unpack .../libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb ... Unpacking libcryptominisat5-5.11t64:amd64 (5.11.15+dfsg1-1.1) ... Selecting previously unselected package libcvc5-1:amd64. Preparing to unpack .../libcvc5-1_1.1.2-2_amd64.deb ... Unpacking libcvc5-1:amd64 (1.1.2-2) ... Selecting previously unselected package libcvc5parser1:amd64. Preparing to unpack .../libcvc5parser1_1.1.2-2_amd64.deb ... Unpacking libcvc5parser1:amd64 (1.1.2-2) ... Selecting previously unselected package piuparts-depends-dummy. Preparing to unpack .../tmp/piuparts-depends-dummy.deb ... Unpacking piuparts-depends-dummy (0.invalid.0) ... Setting up libcln6:amd64 (1.3.7-1) ... Setting up libcryptominisat5-5.11t64:amd64 (5.11.15+dfsg1-1.1) ... Setting up libcvc5-1:amd64 (1.1.2-2) ... Setting up libcvc5parser1:amd64 (1.1.2-2) ... Setting up piuparts-depends-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.37-15.1) ... 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', '--allow-downgrades', 'install', './tmp/piuparts-depends-dummy.deb'] 0m15.3s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m15.3s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpyzz99rrn/./tmp/piuparts-depends-dummy.deb 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m15.3s DUMP: piuparts-depends-dummy install ok installed 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m15.3s DUMP: (Reading database ... 5600 files and directories currently installed.) Removing piuparts-depends-dummy (0.invalid.0) ... 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'clean'] 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'clean'] 0m15.3s DEBUG: Recording chroot state 0m15.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m16.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m17.0s DEBUG: No broken symlinks as far as we can find. 0m17.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy'] 0m18.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m18.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy'] 0m18.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy', 'cvc5'] 0m18.4s DUMP: cvc5: Installed: (none) Candidate: 1.1.2-2 Version table: 1.1.2-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m18.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy', 'cvc5'] 0m18.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', 'install', 'cvc5=1.1.2-2'] 0m19.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: cvc5 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 111 kB of archives. After this operation, 457 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 cvc5 amd64 1.1.2-2 [111 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 111 kB in 0s (3369 kB/s) Selecting previously unselected package cvc5. (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 ... 5600 files and directories currently installed.) Preparing to unpack .../cvc5_1.1.2-2_amd64.deb ... Unpacking cvc5 (1.1.2-2) ... Setting up cvc5 (1.1.2-2) ... 0m19.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', 'install', 'cvc5=1.1.2-2'] 0m19.5s INFO: Running scripts post_install 0m19.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_install_exceptions'] 0m19.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_install_exceptions'] 0m19.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'remove', 'cvc5'] 0m20.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5parser1 Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: cvc5 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. After this operation, 457 kB disk space will be freed. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5607 files and directories currently installed.) Removing cvc5 (1.1.2-2) ... 0m20.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'remove', 'cvc5'] 0m20.5s INFO: Reinstalling after remove 0m20.5s INFO: Running scripts pre_install 0m20.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_database-server'] 0m20.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_database-server'] 0m20.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_exceptions'] 0m20.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_exceptions'] 0m20.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_extras'] 0m20.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_extras'] 0m20.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy'] 0m20.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: 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy', 'cvc5'] 0m20.7s DUMP: cvc5: Installed: (none) Candidate: 1.1.2-2 Version table: 1.1.2-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m20.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy', 'cvc5'] 0m20.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', 'install', 'cvc5=1.1.2-2'] 0m21.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: cvc5 debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/111 kB of archives. After this operation, 457 kB of additional disk space will be used. Selecting previously unselected package cvc5. (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 ... 5600 files and directories currently installed.) Preparing to unpack .../cvc5_1.1.2-2_amd64.deb ... Unpacking cvc5 (1.1.2-2) ... Setting up cvc5 (1.1.2-2) ... 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', 'install', 'cvc5=1.1.2-2'] 0m21.8s INFO: Running scripts post_install 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_install_exceptions'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_install_exceptions'] 0m21.8s INFO: Running scripts pre_install 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_database-server'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_database-server'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_exceptions'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_exceptions'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_extras'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_extras'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy'] 0m21.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy'] 0m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy', 'cvc5'] 0m22.0s DUMP: cvc5: Installed: 1.1.2-2 Candidate: 1.1.2-2 Version table: *** 1.1.2-2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m22.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-cache', 'policy', 'cvc5'] 0m22.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', 'install', '--reinstall', 'cvc5=1.1.2-2'] 0m23.0s DUMP: Reading package lists... Building dependency tree... Reading state information... debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 0 newly installed, 1 reinstalled, 0 to remove and 0 not upgraded. Need to get 0 B/111 kB of archives. After this operation, 0 B of additional disk space will be used. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5607 files and directories currently installed.) Preparing to unpack .../cvc5_1.1.2-2_amd64.deb ... Unpacking cvc5 (1.1.2-2) over (1.1.2-2) ... Setting up cvc5 (1.1.2-2) ... 0m23.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', '-y', 'install', '--reinstall', 'cvc5=1.1.2-2'] 0m23.0s INFO: Running scripts post_install 0m23.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_install_exceptions'] 0m23.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_install_exceptions'] 0m23.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m23.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m24.3s DEBUG: No broken symlinks as far as we can find. 0m24.3s INFO: /bin converted to /usr/bin by /usr merge 0m24.3s INFO: /lib converted to /usr/lib by /usr merge 0m24.3s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 0m24.3s INFO: /lib64 converted to /usr/lib64 by /usr merge 0m24.3s INFO: /sbin converted to /usr/sbin by /usr merge 0m24.8s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', '-ac', '--ignore-obsolete'] 0m25.8s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', '-ac', '--ignore-obsolete'] 0m25.8s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m25.9s DUMP: 0.15.6 0m25.9s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m25.9s INFO: Running adequate version 0.15.6 now. 0m25.9s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'cvc5'] 0m26.0s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'cvc5'] 0m26.0s INFO: Running scripts pre_remove 0m26.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m26.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m26.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m26.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m26.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_exceptions'] 0m26.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_exceptions'] 0m26.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m26.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/pre_remove_preseed_cleanup'] 0m26.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m26.9s DUMP: install ok installed apt apt 2.7.13+b1 install ok installed base-files base-files 13 install ok installed base-passwd base-passwd 3.6.3 install ok installed bash bash 5.2.21-2 install ok installed bsdutils bsdutils 1:2.39.3-10 install ok installed coreutils coreutils 9.4-3.1 install ok installed cvc5 cvc5 1.1.2-2 install ok installed dash dash 0.5.12-6 install ok installed dbconfig-common dbconfig-common 2.0.24 install ok installed debconf debconf 1.5.86 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.17 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.6 install ok installed e2fsprogs e2fsprogs 1.47.0-2.4 install ok installed findutils findutils 4.9.0-5 install ok installed gcc-14-base:amd64 gcc-14-base 14-20240315-1 install ok installed gpgv gpgv 2.2.40-3 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.23+nmu2 install ok installed init-system-helpers init-system-helpers 1.66 install ok installed libacl1:amd64 libacl1 2.3.2-1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.7.13+b1 install ok installed libattr1:amd64 libattr1 1:2.5.2-1 install ok installed libaudit-common libaudit-common 1:3.1.2-2.1 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-2.1 install ok installed libblkid1:amd64 libblkid1 2.39.3-10 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5.1 install ok installed libc-bin libc-bin 2.37-15.1 install ok installed libc6:amd64 libc6 2.37-15.1 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.4-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcln6:amd64 libcln6 1.3.7-1 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2.4 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-4 install ok installed libcryptominisat5-5.11t64:amd64 libcryptominisat5-5.11t64 5.11.15+dfsg1-1.1 install ok installed libcvc5-1:amd64 libcvc5-1 1.1.2-2 install ok installed libcvc5parser1:amd64 libcvc5parser1 1.1.2-2 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.271+b2 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.0-2.4 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14-20240315-1 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.3-2 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.3-1.1+b1 install ok installed libgpg-error0:amd64 libgpg-error0 1.47-3 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.9.1-2.2 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1+b2 install ok installed liblzma5:amd64 liblzma5 5.6.0-0.2 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.39.3-10 install ok installed libnettle8t64:amd64 libnettle8t64 3.9.1-2.2 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.3-4 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-6 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-6 install ok installed libpam-runtime libpam-runtime 1.5.3-6 install ok installed libpam0g:amd64 libpam0g 1.5.3-6 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1 install ok installed libselinux1:amd64 libselinux1 3.5-2+b1 install ok installed libsemanage-common libsemanage-common 3.5-1 install ok installed libsemanage2:amd64 libsemanage2 3.5-1+b3 install ok installed libsepol2:amd64 libsepol2 3.5-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.39.3-10 install ok installed libss2:amd64 libss2 1.47.0-2.4 install ok installed libssl3t64:amd64 libssl3t64 3.1.5-1.1 install ok installed libstdc++6:amd64 libstdc++6 14-20240315-1 install ok installed libsystemd0:amd64 libsystemd0 255.4-1+b1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.4+20240113-1 install ok installed libudev1:amd64 libudev1 255.4-1+b1 install ok installed libunistring5:amd64 libunistring5 1.1-2 install ok installed libuuid1:amd64 libuuid1 2.39.3-10 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.5+dfsg2-2 install ok installed login login 1:4.13+dfsg1-4 install ok installed logsave logsave 1.47.0-2.4 install ok installed mawk mawk 1.3.4.20240123-1 install ok installed mount mount 2.39.3-10 install ok installed ncurses-base ncurses-base 6.4+20240113-1 install ok installed ncurses-bin ncurses-bin 6.4+20240113-1 install ok installed passwd passwd 1:4.13+dfsg1-4 install ok installed perl-base perl-base 5.38.2-3.2 install ok installed sed sed 4.9-2 install ok installed sensible-utils sensible-utils 0.0.22 install ok installed sysvinit-utils sysvinit-utils 3.08-7 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-1 install ok installed ucf ucf 3.0043+nmu1 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.39.3-10 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg-3.1 0m26.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m26.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'remove', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'cvc5'] 0m27.9s DUMP: Reading package lists... Building dependency tree... Reading state information... 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, 29.1 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 ... 5607 files and directories currently installed.) Removing cvc5 (1.1.2-2) ... Removing libcvc5parser1:amd64 (1.1.2-2) ... Removing libcvc5-1:amd64 (1.1.2-2) ... Removing libcln6:amd64 (1.3.7-1) ... Removing libcryptominisat5-5.11t64:amd64 (5.11.15+dfsg1-1.1) ... Processing triggers for libc-bin (2.37-15.1) ... 0m27.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'remove', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64', 'cvc5'] 0m27.9s INFO: Running scripts post_remove 0m27.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_remove_cleanup'] 0m27.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_remove_cleanup'] 0m27.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_remove_exceptions'] 0m27.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_remove_exceptions'] 0m27.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64'] 0m27.9s DUMP: dpkg: warning: ignoring request to remove libcln6 which isn't installed dpkg: warning: ignoring request to remove libcryptominisat5-5.11t64 which isn't installed dpkg: warning: ignoring request to remove libcvc5-1 which isn't installed dpkg: warning: ignoring request to remove libcvc5parser1 which isn't installed 0m27.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', 'libcln6:amd64', 'libcryptominisat5-5.11t64:amd64', 'libcvc5-1:amd64', 'libcvc5parser1:amd64'] 0m27.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', 'cvc5'] 0m28.0s DUMP: dpkg: warning: ignoring request to remove cvc5 which isn't installed 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', 'cvc5'] 0m28.0s INFO: Running scripts post_purge 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_purge_exceptions'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_purge_exceptions'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_purge_manual_cleanup'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_purge_manual_cleanup'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', '--pending'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--purge', '--pending'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--remove', '--pending'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg', '--remove', '--pending'] 0m28.0s INFO: Running scripts post_test 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_test_exceptions'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'tmp/scripts/post_test_exceptions'] 0m28.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m28.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m29.1s DEBUG: No broken symlinks as far as we can find. 0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-divert', '--list'] 0m29.1s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 local diversion of /usr/bin/sync to /usr/bin/sync.distrib 0m29.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'dpkg-divert', '--list'] 0m29.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'clean'] 0m29.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn', 'apt-get', 'clean'] 0m29.2s DEBUG: Recording chroot state 0m30.0s INFO: PASS: Installation and purging test. 0m30.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/shm'] 0m30.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/shm'] 0m30.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/console'] 0m30.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/console'] 0m30.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/ptmx'] 0m30.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/ptmx'] 0m30.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/pts'] 0m30.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/dev/pts'] 0m30.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/proc'] 0m30.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn/proc'] 0m30.5s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m30.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpyzz99rrn'] 0m30.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpyzz99rrn 0m30.6s INFO: PASS: All tests. 0m30.6s INFO: piuparts run ends. ret=0 End: 2024-03-20 12:27:06 GMT