Start: 2024-10-19 03:31:40 GMT [testing] Package: eprover Version: 3.2.0+ds-1 Installed-Size: 9090 Maintainer: Debian Math Team Architecture: amd64 Depends: libc6 (>= 2.34), picosat (>= 959) Description: Equational theorem prover Homepage: https://eprover.org Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7 Section: math Priority: optional Filename: pool/main/e/eprover/eprover_3.2.0+ds-1_amd64.deb Size: 1030356 MD5sum: 243723cda24521cef7ca854aa04415ac SHA256: 16d4c30dbceb95a0a4cc2b9c3471167df142f1fa83f148d52887ea5b353d907c [sid] Package: eprover Version: 3.2.5+ds-1 Installed-Size: 9238 Maintainer: Debian Math Team Architecture: amd64 Depends: libc6 (>= 2.34), picosat (>= 959) Description: Equational theorem prover Homepage: https://eprover.org Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7 Section: math Priority: optional Filename: pool/main/e/eprover/eprover_3.2.5+ds-1_amd64.deb Size: 1046040 MD5sum: b32242ba7957fb4d8eae777f83cff0cf SHA256: 3646f4ff5703b1755d2242b9d1599be2da89719329a45a758459424d6b94fbaf Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt eprover=3.2.5+ds-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.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt eprover=3.2.5+ds-1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp05sxrr14 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp05sxrr14 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.2s DEBUG: Created policy-rc.d and chmodded it. 0m0.2s DEBUG: Created resolv.conf. 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp05sxrr14/tmp/scripts/ 0m0.2s INFO: Running scripts post_chroot_unpack 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'update'] 0m1.6s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [169 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9326 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6232 kB] Fetched 15.7 MB in 1s (16.2 MB/s) Reading package lists... 0m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'update'] 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-yf', 'dist-upgrade'] 0m1.9s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-yf', 'dist-upgrade'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.1s DUMP: 546202ad61931cd643d6bf1aa1130631 - 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.1s INFO: Running scripts post_setup 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_dummy_users'] 0m2.6s 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 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_dummy_users'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_forbid_home'] 0m2.6s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_forbid_home'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.6s 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' 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_minimize'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_minimize'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_zz_backports'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_setup_zz_backports'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m2.6s DUMP: install ok installed apt apt 2.9.8 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.4 install ok installed bash bash 5.2.32-1+b1 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed coreutils coreutils 9.4-3.1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-6 install ok installed gpgv gpgv 2.2.44-1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.8 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:3.1.2-4 install ok installed libaudit1:amd64 libaudit1 1:3.1.2-4+b1 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-7 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libss2:amd64 libss2 1.47.1-1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-6 install ok installed libsystemd0:amd64 libsystemd0 256.7-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libudev1:amd64 libudev1 256.7-1 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-1 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl-base perl-base 5.38.2-5 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.10-2 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024a-4 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m2.6s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m2.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m2.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m2.9s INFO: Running scripts is_testable 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/is_testable_uninstallable'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/is_testable_uninstallable'] 0m2.9s INFO: Running scripts pre_test 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_test_exceptions'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_test_exceptions'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_test_root_password'] 0m2.9s DUMP: New password: Retype new password: passwd: password updated successfully 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_test_root_password'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'show', '--no-all-versions', 'eprover'] 0m3.1s DUMP: Package: eprover Version: 3.2.0+ds-1 Installed-Size: 9090 Maintainer: Debian Math Team Architecture: amd64 Depends: libc6 (>= 2.34), picosat (>= 959) Description-en: Equational theorem prover This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof. Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7 Homepage: https://eprover.org Section: math Priority: optional Filename: pool/main/e/eprover/eprover_3.2.0+ds-1_amd64.deb Size: 1030356 MD5sum: 243723cda24521cef7ca854aa04415ac SHA256: 16d4c30dbceb95a0a4cc2b9c3471167df142f1fa83f148d52887ea5b353d907c 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'show', '--no-all-versions', 'eprover'] 0m3.1s INFO: apt-cache knows about the following packages: eprover 0m3.1s INFO: Running scripts pre_install 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_database-server'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_database-server'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_exceptions'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_exceptions'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_extras'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_extras'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy'] 0m3.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy', 'eprover'] 0m3.1s DUMP: eprover: Installed: (none) Candidate: 3.2.0+ds-1 Version table: 3.2.0+ds-1 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy', 'eprover'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-y', 'install', 'eprover'] 0m4.6s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: picosat The following NEW packages will be installed: eprover picosat 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 1125 kB of archives. After this operation, 10.2 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 picosat amd64 965-2 [94.5 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 eprover amd64 3.2.0+ds-1 [1030 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1125 kB in 1s (1295 kB/s) Selecting previously unselected package picosat. (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 ... 5144 files and directories currently installed.) Preparing to unpack .../picosat_965-2_amd64.deb ... Unpacking picosat (965-2) ... Selecting previously unselected package eprover. Preparing to unpack .../eprover_3.2.0+ds-1_amd64.deb ... Unpacking eprover (3.2.0+ds-1) ... Setting up picosat (965-2) ... Setting up eprover (3.2.0+ds-1) ... Processing triggers for libc-bin (2.40-3) ... 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-y', 'install', 'eprover'] 0m4.6s INFO: Running scripts post_install 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_install_exceptions'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_install_exceptions'] 0m4.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m4.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m4.8s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp05sxrr14 to sid 0m4.8s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m4.8s INFO: Running scripts pre_distupgrade 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_exceptions'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_exceptions'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'update'] 0m6.8s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [202 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.0 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7344 kB] Fetched 17.6 MB in 2s (11.4 MB/s) Reading package lists... 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'update'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-yf', 'dist-upgrade'] 0m8.2s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt eprover libapt-pkg6.0t64 libaudit-common libaudit1 libdb5.3t64 libsystemd0 libudev1 perl-base sysvinit-utils tzdata 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 6764 kB of archives. After this operation, 247 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 perl-base amd64 5.40.0-6 [1675 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 256.7-2 [382 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 256.7-2 [145 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0t64 amd64 2.9.9 [1045 kB] Get:5 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.9 [1413 kB] Get:6 http://deb.debian.org/debian sid/main amd64 sysvinit-utils amd64 3.10-3 [33.0 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:4.0.1-1 [12.3 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:4.0.1-1 [54.5 kB] Get:9 http://deb.debian.org/debian sid/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-9 [704 kB] Get:10 http://deb.debian.org/debian sid/main amd64 tzdata all 2024b-3 [255 kB] Get:11 http://deb.debian.org/debian sid/main amd64 eprover amd64 3.2.5+ds-1 [1046 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 6764 kB in 0s (60.3 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 ... 5191 files and directories currently installed.) Preparing to unpack .../perl-base_5.40.0-6_amd64.deb ... Unpacking perl-base (5.40.0-6) over (5.38.2-5) ... Setting up perl-base (5.40.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 ... 5190 files and directories currently installed.) Preparing to unpack .../libsystemd0_256.7-2_amd64.deb ... Unpacking libsystemd0:amd64 (256.7-2) over (256.7-1) ... Setting up libsystemd0:amd64 (256.7-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 ... 5190 files and directories currently installed.) Preparing to unpack .../libudev1_256.7-2_amd64.deb ... Unpacking libudev1:amd64 (256.7-2) over (256.7-1) ... Setting up libudev1:amd64 (256.7-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 ... 5190 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.9_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.9) over (2.9.8) ... Setting up libapt-pkg6.0t64:amd64 (2.9.9) ... (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 ... 5190 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.9_amd64.deb ... Unpacking apt (2.9.9) over (2.9.8) ... Setting up apt (2.9.9) ... (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 ... 5190 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.10-3_amd64.deb ... Unpacking sysvinit-utils (3.10-3) over (3.10-2) ... Setting up sysvinit-utils (3.10-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 ... 5190 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.0.1-1_all.deb ... Unpacking libaudit-common (1:4.0.1-1) over (1:3.1.2-4) ... Setting up libaudit-common (1:4.0.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5190 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.0.1-1_amd64.deb ... Unpacking libaudit1:amd64 (1:4.0.1-1) over (1:3.1.2-4+b1) ... Setting up libaudit1:amd64 (1:4.0.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5189 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-9_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-9) over (5.3.28+dfsg2-7) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-9) ... (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 ... 5189 files and directories currently installed.) Preparing to unpack .../tzdata_2024b-3_all.deb ... Unpacking tzdata (2024b-3) over (2024a-4) ... Preparing to unpack .../eprover_3.2.5+ds-1_amd64.deb ... Unpacking eprover (3.2.5+ds-1) over (3.2.0+ds-1) ... Setting up eprover (3.2.5+ds-1) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Oct 19 03:31:49 UTC 2024. Universal Time is now: Sat Oct 19 03:31:49 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Processing triggers for libc-bin (2.40-3) ... 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-yf', 'dist-upgrade'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m8.8s DUMP: b5bf810b04a8e0320c22f4bbadf55486 - 0m8.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m8.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'show', '--no-all-versions', 'eprover'] 0m9.0s DUMP: Package: eprover Version: 3.2.5+ds-1 Installed-Size: 9238 Maintainer: Debian Math Team Architecture: amd64 Depends: libc6 (>= 2.34), picosat (>= 959) Description-en: Equational theorem prover This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof. Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7 Homepage: https://eprover.org Section: math Priority: optional Filename: pool/main/e/eprover/eprover_3.2.5+ds-1_amd64.deb Size: 1046040 MD5sum: b32242ba7957fb4d8eae777f83cff0cf SHA256: 3646f4ff5703b1755d2242b9d1599be2da89719329a45a758459424d6b94fbaf 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'show', '--no-all-versions', 'eprover'] 0m9.0s INFO: apt-cache knows about the following packages: eprover 0m9.0s INFO: Running scripts pre_install 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_database-server'] 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_database-server'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_exceptions'] 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_exceptions'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_extras'] 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_extras'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture'] 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy'] 0m9.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: 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy', 'eprover'] 0m9.0s DUMP: eprover: Installed: 3.2.5+ds-1 Candidate: 3.2.5+ds-1 Version table: *** 3.2.5+ds-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy', 'eprover'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-y', 'install', 'eprover'] 0m9.3s DUMP: Reading package lists... Building dependency tree... Reading state information... eprover is already the newest version (3.2.5+ds-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-y', 'install', 'eprover'] 0m9.3s INFO: Running scripts post_install 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_install_exceptions'] 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_install_exceptions'] 0m9.3s INFO: Running scripts post_distupgrade 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_exceptions'] 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_exceptions'] 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_zz_backports'] 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_distupgrade_zz_backports'] 0m9.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m9.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m9.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m9.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m9.7s INFO: Running scripts pre_install 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_database-server'] 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_database-server'] 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_exceptions'] 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_exceptions'] 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_extras'] 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_extras'] 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture'] 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture'] 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy'] 0m9.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy'] 0m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy', 'eprover'] 0m9.8s DUMP: eprover: Installed: 3.2.5+ds-1 Candidate: 3.2.5+ds-1 Version table: *** 3.2.5+ds-1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-cache', 'policy', 'eprover'] 0m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-y', 'install', 'eprover=3.2.5+ds-1'] 0m10.0s DUMP: Reading package lists... Building dependency tree... Reading state information... eprover is already the newest version (3.2.5+ds-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', '-y', 'install', 'eprover=3.2.5+ds-1'] 0m10.0s INFO: Running scripts post_install 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_install_exceptions'] 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_install_exceptions'] 0m10.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m10.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m10.5s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', '-ac', '--ignore-obsolete'] 0m10.9s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', '-ac', '--ignore-obsolete'] 0m10.9s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m10.9s DUMP: 0.15.6 0m10.9s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m10.9s INFO: Running adequate version 0.15.6 now. 0m10.9s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'eprover'] 0m11.0s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'eprover'] 0m11.0s INFO: Running scripts pre_remove 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_exceptions'] 0m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/pre_remove_exceptions'] 0m11.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m11.6s DUMP: install ok installed apt apt 2.9.9 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.4 install ok installed bash bash 5.2.32-1+b1 install ok installed bsdutils bsdutils 1:2.40.2-9 install ok installed coreutils coreutils 9.4-3.1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.20 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1 install ok installed eprover eprover 3.2.5+ds-1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-6 install ok installed gpgv gpgv 2.2.44-1 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.9 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:4.0.1-1 install ok installed libaudit1:amd64 libaudit1 1:4.0.1-1 install ok installed libblkid1:amd64 libblkid1 2.40.2-9 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-2 install ok installed libcap2:amd64 libcap2 1:2.66-5 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.272 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.6-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3 install ok installed liblzma5:amd64 liblzma5 5.6.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2 install ok installed libmount1:amd64 libmount1 2.40.2-9 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b1 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b1 install ok installed libselinux1:amd64 libselinux1 3.7-3 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-9 install ok installed libss2:amd64 libss2 1.47.1-1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-1 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-6 install ok installed libsystemd0:amd64 libsystemd0 256.7-2 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b2 install ok installed libtinfo6:amd64 libtinfo6 6.5-2 install ok installed libudev1:amd64 libudev1 256.7-2 install ok installed libunistring5:amd64 libunistring5 1.2-1 install ok installed libuuid1:amd64 libuuid1 2.40.2-9 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1 install ok installed login login 1:4.16.0-2+really2.40.2-9 install ok installed login.defs login.defs 1:4.16.0-4 install ok installed logsave logsave 1.47.1-1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-9 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-1 install ok installed passwd passwd 1:4.16.0-4 install ok installed perl-base perl-base 5.40.0-6 install ok installed picosat picosat 965-2 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.10-3 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-9 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1 0m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m11.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'remove', 'picosat', 'eprover'] 0m12.0s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: eprover picosat 0 upgraded, 0 newly installed, 2 to remove and 0 not upgraded. After this operation, 10.4 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 ... 5177 files and directories currently installed.) Removing eprover (3.2.5+ds-1) ... Removing picosat (965-2) ... Processing triggers for libc-bin (2.40-3) ... 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'remove', 'picosat', 'eprover'] 0m12.0s INFO: Running scripts post_remove 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_remove_exceptions'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_remove_exceptions'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--purge', 'picosat'] 0m12.0s DUMP: dpkg: warning: ignoring request to remove picosat which isn't installed 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--purge', 'picosat'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--purge', 'eprover'] 0m12.0s DUMP: dpkg: warning: ignoring request to remove eprover which isn't installed 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--purge', 'eprover'] 0m12.0s INFO: Running scripts post_purge 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_purge_exceptions'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_purge_exceptions'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--purge', '--pending'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--purge', '--pending'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--remove', '--pending'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg', '--remove', '--pending'] 0m12.0s INFO: Running scripts post_test 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_test_exceptions'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'tmp/scripts/post_test_exceptions'] 0m12.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m12.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m12.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg-divert', '--list'] 0m12.3s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'dpkg-divert', '--list'] 0m12.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'clean'] 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp05sxrr14', 'apt-get', 'clean'] 0m12.3s DEBUG: Recording chroot state 0m12.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/shm'] 0m12.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/shm'] 0m12.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/console'] 0m12.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/console'] 0m12.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/ptmx'] 0m12.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/ptmx'] 0m12.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/pts'] 0m12.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/dev/pts'] 0m12.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/proc'] 0m12.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp05sxrr14/proc'] 0m12.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m13.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp05sxrr14'] 0m13.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp05sxrr14 0m13.0s INFO: PASS: Upgrading between Debian distributions. 0m13.0s INFO: PASS: All tests. 0m13.0s INFO: piuparts run ends. ret=0 End: 2024-10-19 03:31:54 GMT