Start: 2022-01-11 04:13:10 GMT [testing] Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b2 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0) Description: proof-tree visualization for Proof General Homepage: http://askra.de/software/prooftree Description-md5: b27f2d4918792b35e6871a08a544fafa Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-2+b2_amd64.deb Size: 1084116 MD5sum: 4f5a51e1f7e50d15a6b75fdb90b5b324 SHA256: d69f374154c0892f5ae871d57ee1d74bb42a3a45555111ce04d71687cc67f088 [sid] Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b2 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0) Description: proof-tree visualization for Proof General Homepage: http://askra.de/software/prooftree Description-md5: b27f2d4918792b35e6871a08a544fafa Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-2+b2_amd64.deb Size: 1084116 MD5sum: 4f5a51e1f7e50d15a6b75fdb90b5b324 SHA256: d69f374154c0892f5ae871d57ee1d74bb42a3a45555111ce04d71687cc67f088 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/bookworm_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt prooftree=0.13-2+b2 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.1.4 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/bookworm_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt prooftree=0.13-2+b2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 4.19.0-18-amd64 #1 SMP Debian 4.19.208-1 (2021-09-29) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmphzq9dnq7 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bookworm_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmphzq9dnq7 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bookworm_amd64.tar.gz'] 0m2.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bookworm_amd64.tar.gz'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/proc'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/proc'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/pts'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/pts'] 0m2.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/ptmx'] 0m2.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/ptmx'] 0m2.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/console'] 0m2.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/console'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/shm'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/shm'] 0m2.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ bookworm main 0m2.3s DEBUG: Created policy-rc.d and chmodded it. 0m2.3s DEBUG: Created resolv.conf. 0m2.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmphzq9dnq7/tmp/scripts/ 0m2.3s INFO: Running scripts post_chroot_unpack 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'update'] 0m5.4s DUMP: Get:1 http://deb.debian.org/debian bookworm InRelease [129 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 Packages [8239 kB] Get:3 http://deb.debian.org/debian bookworm/main Translation-en [5668 kB] Fetched 14.0 MB in 3s (5429 kB/s) Reading package lists... 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'update'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-yf', 'dist-upgrade'] 0m5.7s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-yf', 'dist-upgrade'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.1s DUMP: a5a11381bbd0fa44d24e4c262241ae8a - 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.1s INFO: Running scripts post_setup 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_dummy_users'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_dummy_users'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_forbid_home'] 0m7.0s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_forbid_home'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.0s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' dpkg-divert: warning: diverting file '/bin/sync' from an Essential package with rename is dangerous, use --no-rename '/bin/sync' -> 'true' 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_minimize'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_minimize'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_zz_backports'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_setup_zz_backports'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.0s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 2.3.14 install ok installed base-files base-files 12 install ok installed base-passwd base-passwd 3.5.52 install ok installed bash bash 5.1-5+b1 install ok installed bsdutils bsdutils 1:2.37.2-5 install ok installed coreutils coreutils 8.32-4.1 install ok installed dash dash 0.5.11+git20210903+057cd650a4ed-3 install ok installed debconf debconf 1.5.79 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1 install ok installed debianutils debianutils 4.11.2 install ok installed diffutils diffutils 1:3.7-5 install ok installed dpkg dpkg 1.21.1 install ok installed e2fsprogs e2fsprogs 1.46.5-2 install ok installed findutils findutils 4.8.0-1 install ok installed gcc-10-base:amd64 gcc-10-base 10.3.0-13 install ok installed gcc-11-base:amd64 gcc-11-base 11.2.0-13 install ok installed gpgv gpgv 2.2.27-3 install ok installed grep grep 3.7-1 install ok installed gzip gzip 1.10-4 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.61 install ok installed libacl1:amd64 libacl1 2.3.1-1 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.3.14 install ok installed libattr1:amd64 libattr1 1:2.5.1-1 install ok installed libaudit-common libaudit-common 1:3.0.6-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.6-1+b1 install ok installed libblkid1:amd64 libblkid1 2.37.2-5 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5 install ok installed libc-bin libc-bin 2.33-1 install ok installed libc6:amd64 libc6 2.33-1 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.2+b1 install ok installed libcap2:amd64 libcap2 1:2.44-1 install ok installed libcom-err2:amd64 libcom-err2 1.46.5-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.27-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.8 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.261 install ok installed libext2fs2:amd64 libext2fs2 1.46.5-2 install ok installed libffi8:amd64 libffi8 3.4.2-3 install ok installed libgcc-s1:amd64 libgcc-s1 11.2.0-13 install ok installed libgcrypt20:amd64 libgcrypt20 1.9.4-5 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-3 install ok installed libgnutls30:amd64 libgnutls30 3.7.2-5 install ok installed libgpg-error0:amd64 libgpg-error0 1.43-1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.18.3-7 install ok installed libhogweed6:amd64 libhogweed6 3.7.3-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.2-2 install ok installed libk5crypto3:amd64 libk5crypto3 1.18.3-7 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-7 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-7 install ok installed liblz4-1:amd64 liblz4-1 1.9.3-2 install ok installed liblzma5:amd64 liblzma5 5.2.5-2 install ok installed libmount1:amd64 libmount1 2.37.2-5 install ok installed libnettle8:amd64 libnettle8 3.7.3-1 install ok installed libnsl2:amd64 libnsl2 1.3.0-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.0-6 install ok installed libpam-modules:amd64 libpam-modules 1.4.0-11 install ok installed libpam-modules-bin libpam-modules-bin 1.4.0-11 install ok installed libpam-runtime libpam-runtime 1.4.0-11 install ok installed libpam0g:amd64 libpam0g 1.4.0-11 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.39-3 install ok installed libpcre3:amd64 libpcre3 2:8.39-13 install ok installed libseccomp2:amd64 libseccomp2 2.5.3-2 install ok installed libselinux1:amd64 libselinux1 3.3-1+b1 install ok installed libsemanage-common libsemanage-common 3.3-1 install ok installed libsemanage2:amd64 libsemanage2 3.3-1+b1 install ok installed libsepol2:amd64 libsepol2 3.3-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.37.2-5 install ok installed libss2:amd64 libss2 1.46.5-2 install ok installed libssl1.1:amd64 libssl1.1 1.1.1m-1 install ok installed libstdc++6:amd64 libstdc++6 11.2.0-13 install ok installed libsystemd0:amd64 libsystemd0 249.7-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.18.0-4 install ok installed libtinfo6:amd64 libtinfo6 6.3-1 install ok installed libtirpc-common libtirpc-common 1.3.2-2 install ok installed libtirpc3:amd64 libtirpc3 1.3.2-2 install ok installed libudev1:amd64 libudev1 249.7-1 install ok installed libunistring2:amd64 libunistring2 0.9.10-6 install ok installed libuuid1:amd64 libuuid1 2.37.2-5 install ok installed libxxhash0:amd64 libxxhash0 0.8.0-2 install ok installed libzstd1:amd64 libzstd1 1.4.8+dfsg-3 install ok installed login login 1:4.8.1-2 install ok installed logsave logsave 1.46.5-2 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.4.20200120-2 install ok installed mount mount 2.37.2-5 install ok installed ncurses-base ncurses-base 6.3-1 install ok installed ncurses-bin ncurses-bin 6.3-1 install ok installed passwd passwd 1:4.8.1-2 install ok installed perl-base perl-base 5.32.1-6 install ok installed sed sed 4.8-1 install ok installed sysvinit-utils sysvinit-utils 3.01-1 install ok installed tar tar 1.34+dfsg-1 install ok installed tzdata tzdata 2021e-1 install ok installed util-linux util-linux 2.37.2-5 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.0s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m7.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 0m7.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 0m7.3s INFO: Running scripts is_testable 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/is_testable_uninstallable'] 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/is_testable_uninstallable'] 0m7.3s INFO: Running scripts pre_test 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_test_exceptions'] 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_test_exceptions'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_test_root_password'] 0m7.4s DUMP: New password: Retype new password: passwd: password updated successfully 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_test_root_password'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m7.7s DUMP: Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b2 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0) Description-en: proof-tree visualization for Proof General Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq. Description-md5: b27f2d4918792b35e6871a08a544fafa Homepage: http://askra.de/software/prooftree Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-2+b2_amd64.deb Size: 1084116 MD5sum: 4f5a51e1f7e50d15a6b75fdb90b5b324 SHA256: d69f374154c0892f5ae871d57ee1d74bb42a3a45555111ce04d71687cc67f088 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m7.7s INFO: apt-cache knows about the following packages: prooftree 0m7.7s INFO: Running scripts pre_install 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_database-server'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_database-server'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_exceptions'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_exceptions'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_extras'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_extras'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy'] 0m7.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm/main amd64 Packages release o=Debian,a=testing,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy', 'prooftree'] 0m7.8s DUMP: prooftree: Installed: (none) Candidate: 0.13-2+b2 Version table: 0.13-2+b2 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy', 'prooftree'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-y', 'install', 'prooftree'] 0m56.5s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: adwaita-icon-theme binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-11 dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service dmsetup emacs-bin-common emacs-common emacs-gtk emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-11 gtk-update-icon-cache hicolor-icon-theme install-info libapparmor1 libargon2-1 libasan6 libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcolord2 libcoq-ocaml libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libepoxy0 libexpat1 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-11-dev libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgif7 libglib2.0-0 libgomp1 libgpm2 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libharfbuzz0b libice6 libicu67 libip4tc2 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libkmod2 liblcms2-2 liblsan0 libm17n-0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libotf1 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librsvg2-2 libsm6 libsqlite3-0 libthai-data libthai0 libtiff5 libtirpc-dev libtsan0 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 libzarith-ocaml linux-libc-dev m17n-db media-types mmm-mode ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox proofgeneral python3 python3-minimal python3.9 python3.9-minimal readline-common rpcsvc-proto sensible-utils shared-mime-info systemd systemd-sysv ucf x11-common xkb-data Suggested packages: binutils-doc ledit | readline-editor libcoq-ocaml-dev why coq-doc cpp-doc gcc-11-locales emacs-common-non-dfsg ncurses-term gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-11-multilib gcc-11-doc libasound2-plugins alsa-utils glibc-doc colord cups-common libgd-tools gpm gvfs liblcms2-utils m17n-docs ncurses-doc librsvg2-bin gawk camlp4 ocaml-doc elpa-tuareg proofgeneral-doc python3-doc python3-tk python3-venv python3.9-venv python3.9-doc binfmt-support readline-doc systemd-container policykit-1 Recommended packages: librsvg2-common mailutils emacs-el alsa-ucm-conf alsa-topology-conf at-spi2-core manpages manpages-dev libc-devtools libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgtk-3-bin libgail-common libgtk2.0-bin ca-certificates ocaml-man libfindlib-ocaml-dev ledit | readline-editor file systemd-timesyncd | time-daemon libnss-systemd The following NEW packages will be installed: adwaita-icon-theme binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-11 dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service dmsetup emacs-bin-common emacs-common emacs-gtk emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-11 gtk-update-icon-cache hicolor-icon-theme install-info libapparmor1 libargon2-1 libasan6 libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcolord2 libcoq-ocaml libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libepoxy0 libexpat1 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-11-dev libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgif7 libglib2.0-0 libgomp1 libgpm2 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libharfbuzz0b libice6 libicu67 libip4tc2 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libkmod2 liblcms2-2 liblsan0 libm17n-0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libotf1 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librsvg2-2 libsm6 libsqlite3-0 libthai-data libthai0 libtiff5 libtirpc-dev libtsan0 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 libzarith-ocaml linux-libc-dev m17n-db media-types mmm-mode ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox proofgeneral prooftree python3 python3-minimal python3.9 python3.9-minimal readline-common rpcsvc-proto sensible-utils shared-mime-info systemd systemd-sysv ucf x11-common xkb-data 0 upgraded, 175 newly installed, 0 to remove and 0 not upgraded. Need to get 360 MB of archives. After this operation, 1525 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 install-info amd64 6.8-3 [184 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 libapparmor1 amd64 3.0.3-6 [103 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 libargon2-1 amd64 0~20171227-0.2 [19.6 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 dmsetup amd64 2:1.02.175-2.1 [92.1 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 libdevmapper1.02.1 amd64 2:1.02.175-2.1 [143 kB] Get:6 http://deb.debian.org/debian bookworm/main amd64 libjson-c5 amd64 0.15-2 [42.8 kB] Get:7 http://deb.debian.org/debian bookworm/main amd64 libcryptsetup12 amd64 2:2.4.2-1 [240 kB] Get:8 http://deb.debian.org/debian bookworm/main amd64 libip4tc2 amd64 1.8.7-1 [34.6 kB] Get:9 http://deb.debian.org/debian bookworm/main amd64 libkmod2 amd64 29-1 [56.5 kB] Get:10 http://deb.debian.org/debian bookworm/main amd64 systemd amd64 249.7-1 [4311 kB] Get:11 http://deb.debian.org/debian bookworm/main amd64 systemd-sysv amd64 249.7-1 [116 kB] Get:12 http://deb.debian.org/debian bookworm/main amd64 libdbus-1-3 amd64 1.12.20-3 [219 kB] Get:13 http://deb.debian.org/debian bookworm/main amd64 dbus-bin amd64 1.12.20-3 [124 kB] Get:14 http://deb.debian.org/debian bookworm/main amd64 dbus-session-bus-common all 1.12.20-3 [97.3 kB] Get:15 http://deb.debian.org/debian bookworm/main amd64 libexpat1 amd64 2.4.2-1 [104 kB] Get:16 http://deb.debian.org/debian bookworm/main amd64 dbus-daemon amd64 1.12.20-3 [201 kB] Get:17 http://deb.debian.org/debian bookworm/main amd64 dbus-system-bus-common all 1.12.20-3 [98.4 kB] Get:18 http://deb.debian.org/debian bookworm/main amd64 dbus amd64 1.12.20-3 [116 kB] Get:19 http://deb.debian.org/debian bookworm/main amd64 libpython3.9-minimal amd64 3.9.9-2 [804 kB] Get:20 http://deb.debian.org/debian bookworm/main amd64 python3.9-minimal amd64 3.9.9-2 [1924 kB] Get:21 http://deb.debian.org/debian bookworm/main amd64 python3-minimal amd64 3.9.7-1 [38.4 kB] Get:22 http://deb.debian.org/debian bookworm/main amd64 media-types all 4.0.0 [30.3 kB] Get:23 http://deb.debian.org/debian bookworm/main amd64 libmpdec3 amd64 2.5.1-2 [87.8 kB] Get:24 http://deb.debian.org/debian bookworm/main amd64 libncursesw6 amd64 6.3-1 [133 kB] Get:25 http://deb.debian.org/debian bookworm/main amd64 readline-common all 8.1-2 [73.8 kB] Get:26 http://deb.debian.org/debian bookworm/main amd64 libreadline8 amd64 8.1-2 [168 kB] Get:27 http://deb.debian.org/debian bookworm/main amd64 libsqlite3-0 amd64 3.36.0-2 [815 kB] Get:28 http://deb.debian.org/debian bookworm/main amd64 libpython3.9-stdlib amd64 3.9.9-2 [1680 kB] Get:29 http://deb.debian.org/debian bookworm/main amd64 python3.9 amd64 3.9.9-2 [484 kB] Get:30 http://deb.debian.org/debian bookworm/main amd64 libpython3-stdlib amd64 3.9.7-1 [21.6 kB] Get:31 http://deb.debian.org/debian bookworm/main amd64 python3 amd64 3.9.7-1 [38.0 kB] Get:32 http://deb.debian.org/debian bookworm/main amd64 sensible-utils all 0.0.17 [21.5 kB] Get:33 http://deb.debian.org/debian bookworm/main amd64 libpam-systemd amd64 249.7-1 [329 kB] Get:34 http://deb.debian.org/debian bookworm/main amd64 ucf all 3.0043 [74.0 kB] Get:35 http://deb.debian.org/debian bookworm/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get:36 http://deb.debian.org/debian bookworm/main amd64 libgdk-pixbuf2.0-common all 2.42.6+dfsg-2 [327 kB] Get:37 http://deb.debian.org/debian bookworm/main amd64 libglib2.0-0 amd64 2.70.2-1 [1403 kB] Get:38 http://deb.debian.org/debian bookworm/main amd64 libicu67 amd64 67.1-7 [8622 kB] Get:39 http://deb.debian.org/debian bookworm/main amd64 libxml2 amd64 2.9.12+dfsg-5+b1 [701 kB] Get:40 http://deb.debian.org/debian bookworm/main amd64 shared-mime-info amd64 2.0-1 [701 kB] Get:41 http://deb.debian.org/debian bookworm/main amd64 libjpeg62-turbo amd64 1:2.1.2-1 [164 kB] Get:42 http://deb.debian.org/debian bookworm/main amd64 libpng16-16 amd64 1.6.37-3 [294 kB] Get:43 http://deb.debian.org/debian bookworm/main amd64 libdeflate0 amd64 1.8-1 [53.1 kB] Get:44 http://deb.debian.org/debian bookworm/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:45 http://deb.debian.org/debian bookworm/main amd64 libwebp6 amd64 0.6.1-2.1 [258 kB] Get:46 http://deb.debian.org/debian bookworm/main amd64 libtiff5 amd64 4.3.0-2 [294 kB] Get:47 http://deb.debian.org/debian bookworm/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.6+dfsg-2 [156 kB] Get:48 http://deb.debian.org/debian bookworm/main amd64 gtk-update-icon-cache amd64 3.24.31-1 [90.5 kB] Get:49 http://deb.debian.org/debian bookworm/main amd64 adwaita-icon-theme all 41.0-1 [10.8 MB] Get:50 http://deb.debian.org/debian bookworm/main amd64 binutils-common amd64 2.37-10.1 [2287 kB] Get:51 http://deb.debian.org/debian bookworm/main amd64 libbinutils amd64 2.37-10.1 [579 kB] Get:52 http://deb.debian.org/debian bookworm/main amd64 libctf-nobfd0 amd64 2.37-10.1 [155 kB] Get:53 http://deb.debian.org/debian bookworm/main amd64 libctf0 amd64 2.37-10.1 [93.7 kB] Get:54 http://deb.debian.org/debian bookworm/main amd64 binutils-x86-64-linux-gnu amd64 2.37-10.1 [2070 kB] Get:55 http://deb.debian.org/debian bookworm/main amd64 binutils amd64 2.37-10.1 [62.3 kB] Get:56 http://deb.debian.org/debian bookworm/main amd64 coq-theories amd64 8.14.1+dfsg-1 [21.8 MB] Get:57 http://deb.debian.org/debian bookworm/main amd64 ocaml-base-nox amd64 4.11.1-5 [708 kB] Get:58 http://deb.debian.org/debian bookworm/main amd64 libzarith-ocaml amd64 1.12-1 [56.0 kB] Get:59 http://deb.debian.org/debian bookworm/main amd64 libcoq-ocaml amd64 8.14.1+dfsg-1 [22.3 MB] Get:60 http://deb.debian.org/debian bookworm/main amd64 libncurses6 amd64 6.3-1 [102 kB] Get:61 http://deb.debian.org/debian bookworm/main amd64 libc-dev-bin amd64 2.33-1 [242 kB] Get:62 http://deb.debian.org/debian bookworm/main amd64 linux-libc-dev amd64 5.15.5-2 [1457 kB] Get:63 http://deb.debian.org/debian bookworm/main amd64 libcrypt-dev amd64 1:4.4.27-1 [104 kB] Get:64 http://deb.debian.org/debian bookworm/main amd64 libtirpc-dev amd64 1.3.2-2 [190 kB] Get:65 http://deb.debian.org/debian bookworm/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:66 http://deb.debian.org/debian bookworm/main amd64 rpcsvc-proto amd64 1.4.2-4 [63.1 kB] Get:67 http://deb.debian.org/debian bookworm/main amd64 libc6-dev amd64 2.33-1 [2272 kB] Get:68 http://deb.debian.org/debian bookworm/main amd64 libncurses-dev amd64 6.3-1 [344 kB] Get:69 http://deb.debian.org/debian bookworm/main amd64 libncurses5-dev amd64 6.3-1 [932 B] Get:70 http://deb.debian.org/debian bookworm/main amd64 ocaml-compiler-libs amd64 4.11.1-5 [29.9 MB] Get:71 http://deb.debian.org/debian bookworm/main amd64 ocaml-interp amd64 4.11.1-5 [5861 kB] Get:72 http://deb.debian.org/debian bookworm/main amd64 libisl23 amd64 0.24-2 [682 kB] Get:73 http://deb.debian.org/debian bookworm/main amd64 libmpfr6 amd64 4.1.0-3 [2012 kB] Get:74 http://deb.debian.org/debian bookworm/main amd64 libmpc3 amd64 1.2.1-1 [44.6 kB] Get:75 http://deb.debian.org/debian bookworm/main amd64 cpp-11 amd64 11.2.0-13 [9152 kB] Get:76 http://deb.debian.org/debian bookworm/main amd64 cpp amd64 4:11.2.0-2 [19.9 kB] Get:77 http://deb.debian.org/debian bookworm/main amd64 libcc1-0 amd64 11.2.0-13 [47.1 kB] Get:78 http://deb.debian.org/debian bookworm/main amd64 libgomp1 amd64 11.2.0-13 [106 kB] Get:79 http://deb.debian.org/debian bookworm/main amd64 libitm1 amd64 11.2.0-13 [26.0 kB] Get:80 http://deb.debian.org/debian bookworm/main amd64 libatomic1 amd64 11.2.0-13 [9048 B] Get:81 http://deb.debian.org/debian bookworm/main amd64 libasan6 amd64 11.2.0-13 [2050 kB] Get:82 http://deb.debian.org/debian bookworm/main amd64 liblsan0 amd64 11.2.0-13 [886 kB] Get:83 http://deb.debian.org/debian bookworm/main amd64 libtsan0 amd64 11.2.0-13 [2019 kB] Get:84 http://deb.debian.org/debian bookworm/main amd64 libubsan1 amd64 11.2.0-13 [835 kB] Get:85 http://deb.debian.org/debian bookworm/main amd64 libquadmath0 amd64 11.2.0-13 [145 kB] Get:86 http://deb.debian.org/debian bookworm/main amd64 libgcc-11-dev amd64 11.2.0-13 [2359 kB] Get:87 http://deb.debian.org/debian bookworm/main amd64 gcc-11 amd64 11.2.0-13 [18.1 MB] Get:88 http://deb.debian.org/debian bookworm/main amd64 gcc amd64 4:11.2.0-2 [5188 B] Get:89 http://deb.debian.org/debian bookworm/main amd64 ocaml-nox amd64 4.11.1-5 [68.3 MB] Get:90 http://deb.debian.org/debian bookworm/main amd64 libfindlib-ocaml amd64 1.9.1-1 [193 kB] Get:91 http://deb.debian.org/debian bookworm/main amd64 ocaml-findlib amd64 1.9.1-1 [478 kB] Get:92 http://deb.debian.org/debian bookworm/main amd64 coq amd64 8.14.1+dfsg-1 [78.5 MB] Get:93 http://deb.debian.org/debian bookworm/main amd64 dbus-user-session amd64 1.12.20-3 [97.2 kB] Get:94 http://deb.debian.org/debian bookworm/main amd64 libdconf1 amd64 0.40.0-2 [47.4 kB] Get:95 http://deb.debian.org/debian bookworm/main amd64 dconf-service amd64 0.40.0-2 [37.9 kB] Get:96 http://deb.debian.org/debian bookworm/main amd64 dconf-gsettings-backend amd64 0.40.0-2 [34.0 kB] Get:97 http://deb.debian.org/debian bookworm/main amd64 emacsen-common all 3.0.4 [19.3 kB] Get:98 http://deb.debian.org/debian bookworm/main amd64 emacs-common all 1:27.1+1-3.1 [13.7 MB] Get:99 http://deb.debian.org/debian bookworm/main amd64 emacs-bin-common amd64 1:27.1+1-3.1+b1 [156 kB] Get:100 http://deb.debian.org/debian bookworm/main amd64 libasound2-data all 1.2.5.1-1 [38.6 kB] Get:101 http://deb.debian.org/debian bookworm/main amd64 libasound2 amd64 1.2.5.1-1 [373 kB] Get:102 http://deb.debian.org/debian bookworm/main amd64 libbrotli1 amd64 1.0.9-2+b3 [276 kB] Get:103 http://deb.debian.org/debian bookworm/main amd64 libfreetype6 amd64 2.11.1+dfsg-1 [400 kB] Get:104 http://deb.debian.org/debian bookworm/main amd64 fonts-dejavu-core all 2.37-2 [1069 kB] Get:105 http://deb.debian.org/debian bookworm/main amd64 fontconfig-config all 2.13.1-4.2 [281 kB] Get:106 http://deb.debian.org/debian bookworm/main amd64 libfontconfig1 amd64 2.13.1-4.2 [347 kB] Get:107 http://deb.debian.org/debian bookworm/main amd64 libpixman-1-0 amd64 0.40.0-1 [543 kB] Get:108 http://deb.debian.org/debian bookworm/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get:109 http://deb.debian.org/debian bookworm/main amd64 libmd0 amd64 1.0.4-1 [29.6 kB] Get:110 http://deb.debian.org/debian bookworm/main amd64 libbsd0 amd64 0.11.3-1 [108 kB] Get:111 http://deb.debian.org/debian bookworm/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:112 http://deb.debian.org/debian bookworm/main amd64 libxcb1 amd64 1.14-3 [140 kB] Get:113 http://deb.debian.org/debian bookworm/main amd64 libx11-data all 2:1.7.2-2 [311 kB] Get:114 http://deb.debian.org/debian bookworm/main amd64 libx11-6 amd64 2:1.7.2-2+b1 [772 kB] Get:115 http://deb.debian.org/debian bookworm/main amd64 libxcb-render0 amd64 1.14-3 [111 kB] Get:116 http://deb.debian.org/debian bookworm/main amd64 libxcb-shm0 amd64 1.14-3 [101 kB] Get:117 http://deb.debian.org/debian bookworm/main amd64 libxext6 amd64 2:1.3.4-1 [53.1 kB] Get:118 http://deb.debian.org/debian bookworm/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:119 http://deb.debian.org/debian bookworm/main amd64 libcairo2 amd64 1.16.0-5 [694 kB] Get:120 http://deb.debian.org/debian bookworm/main amd64 libgif7 amd64 5.1.9-2 [45.1 kB] Get:121 http://deb.debian.org/debian bookworm/main amd64 libgpm2 amd64 1.20.7-9 [35.8 kB] Get:122 http://deb.debian.org/debian bookworm/main amd64 libatk1.0-data all 2.36.0-3 [149 kB] Get:123 http://deb.debian.org/debian bookworm/main amd64 libatk1.0-0 amd64 2.36.0-3 [52.3 kB] Get:124 http://deb.debian.org/debian bookworm/main amd64 libxi6 amd64 2:1.8-1 [84.0 kB] Get:125 http://deb.debian.org/debian bookworm/main amd64 libatspi2.0-0 amd64 2.42.0-2 [79.2 kB] Get:126 http://deb.debian.org/debian bookworm/main amd64 libatk-bridge2.0-0 amd64 2.38.0-2 [64.9 kB] Get:127 http://deb.debian.org/debian bookworm/main amd64 libcairo-gobject2 amd64 1.16.0-5 [125 kB] Get:128 http://deb.debian.org/debian bookworm/main amd64 liblcms2-2 amd64 2.12~rc1-2 [150 kB] Get:129 http://deb.debian.org/debian bookworm/main amd64 libcolord2 amd64 1.4.5-3 [144 kB] Get:130 http://deb.debian.org/debian bookworm/main amd64 libavahi-common-data amd64 0.8-5 [124 kB] Get:131 http://deb.debian.org/debian bookworm/main amd64 libavahi-common3 amd64 0.8-5 [58.4 kB] Get:132 http://deb.debian.org/debian bookworm/main amd64 libavahi-client3 amd64 0.8-5 [62.1 kB] Get:133 http://deb.debian.org/debian bookworm/main amd64 libcups2 amd64 2.3.3op2-7 [349 kB] Get:134 http://deb.debian.org/debian bookworm/main amd64 libepoxy0 amd64 1.5.9-2 [189 kB] Get:135 http://deb.debian.org/debian bookworm/main amd64 libfribidi0 amd64 1.0.8-2 [64.8 kB] Get:136 http://deb.debian.org/debian bookworm/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get:137 http://deb.debian.org/debian bookworm/main amd64 libharfbuzz0b amd64 2.7.4-1 [1471 kB] Get:138 http://deb.debian.org/debian bookworm/main amd64 fontconfig amd64 2.13.1-4.2 [417 kB] Get:139 http://deb.debian.org/debian bookworm/main amd64 libthai-data all 0.1.29-1 [176 kB] Get:140 http://deb.debian.org/debian bookworm/main amd64 libdatrie1 amd64 0.2.13-2 [43.0 kB] Get:141 http://deb.debian.org/debian bookworm/main amd64 libthai0 amd64 0.1.29-1 [57.5 kB] Get:142 http://deb.debian.org/debian bookworm/main amd64 libpango-1.0-0 amd64 1.48.10+ds1-1 [204 kB] Get:143 http://deb.debian.org/debian bookworm/main amd64 libpangoft2-1.0-0 amd64 1.48.10+ds1-1 [73.3 kB] Get:144 http://deb.debian.org/debian bookworm/main amd64 libpangocairo-1.0-0 amd64 1.48.10+ds1-1 [60.7 kB] Get:145 http://deb.debian.org/debian bookworm/main amd64 libwayland-client0 amd64 1.19.0-2+b1 [27.3 kB] Get:146 http://deb.debian.org/debian bookworm/main amd64 libwayland-cursor0 amd64 1.19.0-2+b1 [14.9 kB] Get:147 http://deb.debian.org/debian bookworm/main amd64 libwayland-egl1 amd64 1.19.0-2+b1 [8756 B] Get:148 http://deb.debian.org/debian bookworm/main amd64 libxcomposite1 amd64 1:0.4.5-1 [16.6 kB] Get:149 http://deb.debian.org/debian bookworm/main amd64 libxfixes3 amd64 1:5.0.3-2 [22.1 kB] Get:150 http://deb.debian.org/debian bookworm/main amd64 libxcursor1 amd64 1:1.2.0-2 [37.3 kB] Get:151 http://deb.debian.org/debian bookworm/main amd64 libxdamage1 amd64 1:1.1.5-2 [15.7 kB] Get:152 http://deb.debian.org/debian bookworm/main amd64 libxinerama1 amd64 2:1.1.4-2 [17.7 kB] Get:153 http://deb.debian.org/debian bookworm/main amd64 xkb-data all 2.33-1 [748 kB] Get:154 http://deb.debian.org/debian bookworm/main amd64 libxkbcommon0 amd64 1.3.1-1 [109 kB] Get:155 http://deb.debian.org/debian bookworm/main amd64 libxrandr2 amd64 2:1.5.2-1 [38.2 kB] Get:156 http://deb.debian.org/debian bookworm/main amd64 libgtk-3-common all 3.24.31-1 [3788 kB] Get:157 http://deb.debian.org/debian bookworm/main amd64 libgtk-3-0 amd64 3.24.31-1 [2859 kB] Get:158 http://deb.debian.org/debian bookworm/main amd64 x11-common all 1:7.7+23 [252 kB] Get:159 http://deb.debian.org/debian bookworm/main amd64 libice6 amd64 2:1.0.10-1 [58.5 kB] Get:160 http://deb.debian.org/debian bookworm/main amd64 libjansson4 amd64 2.13.1-1.1 [39.7 kB] Get:161 http://deb.debian.org/debian bookworm/main amd64 m17n-db all 1.8.0-3 [1289 kB] Get:162 http://deb.debian.org/debian bookworm/main amd64 libxpm4 amd64 1:3.5.12-1 [49.1 kB] Get:163 http://deb.debian.org/debian bookworm/main amd64 libgd3 amd64 2.3.0-2 [137 kB] Get:164 http://deb.debian.org/debian bookworm/main amd64 libotf1 amd64 0.9.16-3 [56.6 kB] Get:165 http://deb.debian.org/debian bookworm/main amd64 libxft2 amd64 2.3.2-2 [57.2 kB] Get:166 http://deb.debian.org/debian bookworm/main amd64 libsm6 amd64 2:1.2.3-1 [35.1 kB] Get:167 http://deb.debian.org/debian bookworm/main amd64 libxt6 amd64 1:1.2.0-1 [189 kB] Get:168 http://deb.debian.org/debian bookworm/main amd64 libm17n-0 amd64 1.8.0-3.1 [254 kB] Get:169 http://deb.debian.org/debian bookworm/main amd64 librsvg2-2 amd64 2.50.7+dfsg-2 [2478 kB] Get:170 http://deb.debian.org/debian bookworm/main amd64 emacs-gtk amd64 1:27.1+1-3.1+b1 [3309 kB] Get:171 http://deb.debian.org/debian bookworm/main amd64 libgtk2.0-common all 2.24.33-2 [2700 kB] Get:172 http://deb.debian.org/debian bookworm/main amd64 libgtk2.0-0 amd64 2.24.33-2 [1855 kB] Get:173 http://deb.debian.org/debian bookworm/main amd64 mmm-mode all 0.5.8-2 [107 kB] Get:174 http://deb.debian.org/debian bookworm/main amd64 proofgeneral all 4.4.1~pre170114-1.2 [603 kB] Get:175 http://deb.debian.org/debian bookworm/main amd64 prooftree amd64 0.13-2+b2 [1084 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 360 MB in 1s (253 MB/s) Selecting previously unselected package install-info. (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 ... 6677 files and directories currently installed.) Preparing to unpack .../install-info_6.8-3_amd64.deb ... Unpacking install-info (6.8-3) ... Setting up install-info (6.8-3) ... Selecting previously unselected package libapparmor1: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 ... 6691 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_3.0.3-6_amd64.deb ... Unpacking libapparmor1:amd64 (3.0.3-6) ... Selecting previously unselected package libargon2-1:amd64. Preparing to unpack .../1-libargon2-1_0~20171227-0.2_amd64.deb ... Unpacking libargon2-1:amd64 (0~20171227-0.2) ... Selecting previously unselected package dmsetup. Preparing to unpack .../2-dmsetup_2%3a1.02.175-2.1_amd64.deb ... Unpacking dmsetup (2:1.02.175-2.1) ... Selecting previously unselected package libdevmapper1.02.1:amd64. Preparing to unpack .../3-libdevmapper1.02.1_2%3a1.02.175-2.1_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Selecting previously unselected package libjson-c5:amd64. Preparing to unpack .../4-libjson-c5_0.15-2_amd64.deb ... Unpacking libjson-c5:amd64 (0.15-2) ... Selecting previously unselected package libcryptsetup12:amd64. Preparing to unpack .../5-libcryptsetup12_2%3a2.4.2-1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.4.2-1) ... Selecting previously unselected package libip4tc2:amd64. Preparing to unpack .../6-libip4tc2_1.8.7-1_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.7-1) ... Selecting previously unselected package libkmod2:amd64. Preparing to unpack .../7-libkmod2_29-1_amd64.deb ... Unpacking libkmod2:amd64 (29-1) ... Selecting previously unselected package systemd. Preparing to unpack .../8-systemd_249.7-1_amd64.deb ... Unpacking systemd (249.7-1) ... Setting up libapparmor1:amd64 (3.0.3-6) ... Setting up libargon2-1:amd64 (0~20171227-0.2) ... Setting up libjson-c5:amd64 (0.15-2) ... Setting up libip4tc2:amd64 (1.8.7-1) ... Setting up libkmod2:amd64 (29-1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Setting up libcryptsetup12:amd64 (2:2.4.2-1) ... Setting up systemd (249.7-1) ... Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service → /lib/systemd/system/getty@.service. Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target → /lib/systemd/system/remote-fs.target. Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service → /lib/systemd/system/systemd-pstore.service. Initializing machine ID from random generator. Setting up dmsetup (2:1.02.175-2.1) ... Selecting previously unselected package systemd-sysv. (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 ... 7566 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_249.7-1_amd64.deb ... Unpacking systemd-sysv (249.7-1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../1-libdbus-1-3_1.12.20-3_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.20-3) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../2-dbus-bin_1.12.20-3_amd64.deb ... Unpacking dbus-bin (1.12.20-3) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../3-dbus-session-bus-common_1.12.20-3_all.deb ... Unpacking dbus-session-bus-common (1.12.20-3) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../4-libexpat1_2.4.2-1_amd64.deb ... Unpacking libexpat1:amd64 (2.4.2-1) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../5-dbus-daemon_1.12.20-3_amd64.deb ... Unpacking dbus-daemon (1.12.20-3) ... Selecting previously unselected package dbus-system-bus-common. Preparing to unpack .../6-dbus-system-bus-common_1.12.20-3_all.deb ... Unpacking dbus-system-bus-common (1.12.20-3) ... Selecting previously unselected package dbus. Preparing to unpack .../7-dbus_1.12.20-3_amd64.deb ... Unpacking dbus (1.12.20-3) ... Selecting previously unselected package libpython3.9-minimal:amd64. Preparing to unpack .../8-libpython3.9-minimal_3.9.9-2_amd64.deb ... Unpacking libpython3.9-minimal:amd64 (3.9.9-2) ... Selecting previously unselected package python3.9-minimal. Preparing to unpack .../9-python3.9-minimal_3.9.9-2_amd64.deb ... Unpacking python3.9-minimal (3.9.9-2) ... Setting up libpython3.9-minimal:amd64 (3.9.9-2) ... Setting up libexpat1:amd64 (2.4.2-1) ... Setting up python3.9-minimal (3.9.9-2) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7957 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.9.7-1_amd64.deb ... Unpacking python3-minimal (3.9.7-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_4.0.0_all.deb ... Unpacking media-types (4.0.0) ... Selecting previously unselected package libmpdec3:amd64. Preparing to unpack .../2-libmpdec3_2.5.1-2_amd64.deb ... Unpacking libmpdec3:amd64 (2.5.1-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../3-libncursesw6_6.3-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.3-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.1-2_all.deb ... Unpacking readline-common (8.1-2) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../5-libreadline8_8.1-2_amd64.deb ... Unpacking libreadline8:amd64 (8.1-2) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../6-libsqlite3-0_3.36.0-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.36.0-2) ... Selecting previously unselected package libpython3.9-stdlib:amd64. Preparing to unpack .../7-libpython3.9-stdlib_3.9.9-2_amd64.deb ... Unpacking libpython3.9-stdlib:amd64 (3.9.9-2) ... Selecting previously unselected package python3.9. Preparing to unpack .../8-python3.9_3.9.9-2_amd64.deb ... Unpacking python3.9 (3.9.9-2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../9-libpython3-stdlib_3.9.7-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.9.7-1) ... Setting up python3-minimal (3.9.7-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 8396 files and directories currently installed.) Preparing to unpack .../000-python3_3.9.7-1_amd64.deb ... Unpacking python3 (3.9.7-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.17_all.deb ... Unpacking sensible-utils (0.0.17) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../002-libpam-systemd_249.7-1_amd64.deb ... Unpacking libpam-systemd:amd64 (249.7-1) ... Selecting previously unselected package ucf. Preparing to unpack .../003-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../004-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../005-libgdk-pixbuf2.0-common_2.42.6+dfsg-2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.6+dfsg-2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../006-libglib2.0-0_2.70.2-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.70.2-1) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../007-libicu67_67.1-7_amd64.deb ... Unpacking libicu67:amd64 (67.1-7) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../008-libxml2_2.9.12+dfsg-5+b1_amd64.deb ... Unpacking libxml2:amd64 (2.9.12+dfsg-5+b1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../009-shared-mime-info_2.0-1_amd64.deb ... Unpacking shared-mime-info (2.0-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../010-libjpeg62-turbo_1%3a2.1.2-1_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.2-1) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../011-libpng16-16_1.6.37-3_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.37-3) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../012-libdeflate0_1.8-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.8-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../013-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../014-libwebp6_0.6.1-2.1_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../015-libtiff5_4.3.0-2_amd64.deb ... Unpacking libtiff5:amd64 (4.3.0-2) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../016-libgdk-pixbuf-2.0-0_2.42.6+dfsg-2_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.6+dfsg-2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../017-gtk-update-icon-cache_3.24.31-1_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.31-1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../018-adwaita-icon-theme_41.0-1_all.deb ... Unpacking adwaita-icon-theme (41.0-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../019-binutils-common_2.37-10.1_amd64.deb ... Unpacking binutils-common:amd64 (2.37-10.1) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../020-libbinutils_2.37-10.1_amd64.deb ... Unpacking libbinutils:amd64 (2.37-10.1) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../021-libctf-nobfd0_2.37-10.1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.37-10.1) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../022-libctf0_2.37-10.1_amd64.deb ... Unpacking libctf0:amd64 (2.37-10.1) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../023-binutils-x86-64-linux-gnu_2.37-10.1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.37-10.1) ... Selecting previously unselected package binutils. Preparing to unpack .../024-binutils_2.37-10.1_amd64.deb ... Unpacking binutils (2.37-10.1) ... Selecting previously unselected package coq-theories. Preparing to unpack .../025-coq-theories_8.14.1+dfsg-1_amd64.deb ... Unpacking coq-theories (8.14.1+dfsg-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../026-ocaml-base-nox_4.11.1-5_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-5) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../027-libzarith-ocaml_1.12-1_amd64.deb ... Unpacking libzarith-ocaml (1.12-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../028-libcoq-ocaml_8.14.1+dfsg-1_amd64.deb ... Unpacking libcoq-ocaml (8.14.1+dfsg-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../029-libncurses6_6.3-1_amd64.deb ... Unpacking libncurses6:amd64 (6.3-1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../030-libc-dev-bin_2.33-1_amd64.deb ... Unpacking libc-dev-bin (2.33-1) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../031-linux-libc-dev_5.15.5-2_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.15.5-2) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../032-libcrypt-dev_1%3a4.4.27-1_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.27-1) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../033-libtirpc-dev_1.3.2-2_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.2-2) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../034-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../035-rpcsvc-proto_1.4.2-4_amd64.deb ... Unpacking rpcsvc-proto (1.4.2-4) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../036-libc6-dev_2.33-1_amd64.deb ... Unpacking libc6-dev:amd64 (2.33-1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../037-libncurses-dev_6.3-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.3-1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../038-libncurses5-dev_6.3-1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.3-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../039-ocaml-compiler-libs_4.11.1-5_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-5) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../040-ocaml-interp_4.11.1-5_amd64.deb ... Unpacking ocaml-interp (4.11.1-5) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../041-libisl23_0.24-2_amd64.deb ... Unpacking libisl23:amd64 (0.24-2) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../042-libmpfr6_4.1.0-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.1.0-3) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../043-libmpc3_1.2.1-1_amd64.deb ... Unpacking libmpc3:amd64 (1.2.1-1) ... Selecting previously unselected package cpp-11. Preparing to unpack .../044-cpp-11_11.2.0-13_amd64.deb ... Unpacking cpp-11 (11.2.0-13) ... Selecting previously unselected package cpp. Preparing to unpack .../045-cpp_4%3a11.2.0-2_amd64.deb ... Unpacking cpp (4:11.2.0-2) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../046-libcc1-0_11.2.0-13_amd64.deb ... Unpacking libcc1-0:amd64 (11.2.0-13) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../047-libgomp1_11.2.0-13_amd64.deb ... Unpacking libgomp1:amd64 (11.2.0-13) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../048-libitm1_11.2.0-13_amd64.deb ... Unpacking libitm1:amd64 (11.2.0-13) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../049-libatomic1_11.2.0-13_amd64.deb ... Unpacking libatomic1:amd64 (11.2.0-13) ... Selecting previously unselected package libasan6:amd64. Preparing to unpack .../050-libasan6_11.2.0-13_amd64.deb ... Unpacking libasan6:amd64 (11.2.0-13) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../051-liblsan0_11.2.0-13_amd64.deb ... Unpacking liblsan0:amd64 (11.2.0-13) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../052-libtsan0_11.2.0-13_amd64.deb ... Unpacking libtsan0:amd64 (11.2.0-13) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../053-libubsan1_11.2.0-13_amd64.deb ... Unpacking libubsan1:amd64 (11.2.0-13) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../054-libquadmath0_11.2.0-13_amd64.deb ... Unpacking libquadmath0:amd64 (11.2.0-13) ... Selecting previously unselected package libgcc-11-dev:amd64. Preparing to unpack .../055-libgcc-11-dev_11.2.0-13_amd64.deb ... Unpacking libgcc-11-dev:amd64 (11.2.0-13) ... Selecting previously unselected package gcc-11. Preparing to unpack .../056-gcc-11_11.2.0-13_amd64.deb ... Unpacking gcc-11 (11.2.0-13) ... Selecting previously unselected package gcc. Preparing to unpack .../057-gcc_4%3a11.2.0-2_amd64.deb ... Unpacking gcc (4:11.2.0-2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../058-ocaml-nox_4.11.1-5_amd64.deb ... Unpacking ocaml-nox (4.11.1-5) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../059-libfindlib-ocaml_1.9.1-1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.1-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../060-ocaml-findlib_1.9.1-1_amd64.deb ... Unpacking ocaml-findlib (1.9.1-1) ... Selecting previously unselected package coq. Preparing to unpack .../061-coq_8.14.1+dfsg-1_amd64.deb ... Unpacking coq (8.14.1+dfsg-1) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../062-dbus-user-session_1.12.20-3_amd64.deb ... Unpacking dbus-user-session (1.12.20-3) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../063-libdconf1_0.40.0-2_amd64.deb ... Unpacking libdconf1:amd64 (0.40.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../064-dconf-service_0.40.0-2_amd64.deb ... Unpacking dconf-service (0.40.0-2) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../065-dconf-gsettings-backend_0.40.0-2_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.40.0-2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../066-emacsen-common_3.0.4_all.deb ... Unpacking emacsen-common (3.0.4) ... Selecting previously unselected package emacs-common. Preparing to unpack .../067-emacs-common_1%3a27.1+1-3.1_all.deb ... Unpacking emacs-common (1:27.1+1-3.1) ... Selecting previously unselected package emacs-bin-common. Preparing to unpack .../068-emacs-bin-common_1%3a27.1+1-3.1+b1_amd64.deb ... Unpacking emacs-bin-common (1:27.1+1-3.1+b1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../069-libasound2-data_1.2.5.1-1_all.deb ... Unpacking libasound2-data (1.2.5.1-1) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../070-libasound2_1.2.5.1-1_amd64.deb ... Unpacking libasound2:amd64 (1.2.5.1-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../071-libbrotli1_1.0.9-2+b3_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b3) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../072-libfreetype6_2.11.1+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.11.1+dfsg-1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../073-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../074-fontconfig-config_2.13.1-4.2_all.deb ... Unpacking fontconfig-config (2.13.1-4.2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../075-libfontconfig1_2.13.1-4.2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-4.2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../076-libpixman-1-0_0.40.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.40.0-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../077-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libmd0:amd64. Preparing to unpack .../078-libmd0_1.0.4-1_amd64.deb ... Unpacking libmd0:amd64 (1.0.4-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../079-libbsd0_0.11.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.3-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../080-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../081-libxcb1_1.14-3_amd64.deb ... Unpacking libxcb1:amd64 (1.14-3) ... Selecting previously unselected package libx11-data. Preparing to unpack .../082-libx11-data_2%3a1.7.2-2_all.deb ... Unpacking libx11-data (2:1.7.2-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../083-libx11-6_2%3a1.7.2-2+b1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.7.2-2+b1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../084-libxcb-render0_1.14-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-3) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../085-libxcb-shm0_1.14-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../086-libxext6_2%3a1.3.4-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../087-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../088-libcairo2_1.16.0-5_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5) ... Selecting previously unselected package libgif7:amd64. Preparing to unpack .../089-libgif7_5.1.9-2_amd64.deb ... Unpacking libgif7:amd64 (5.1.9-2) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../090-libgpm2_1.20.7-9_amd64.deb ... Unpacking libgpm2:amd64 (1.20.7-9) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../091-libatk1.0-data_2.36.0-3_all.deb ... Unpacking libatk1.0-data (2.36.0-3) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../092-libatk1.0-0_2.36.0-3_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.36.0-3) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../093-libxi6_2%3a1.8-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8-1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../094-libatspi2.0-0_2.42.0-2_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.42.0-2) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../095-libatk-bridge2.0-0_2.38.0-2_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.38.0-2) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../096-libcairo-gobject2_1.16.0-5_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.16.0-5) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../097-liblcms2-2_2.12~rc1-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.12~rc1-2) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../098-libcolord2_1.4.5-3_amd64.deb ... Unpacking libcolord2:amd64 (1.4.5-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../099-libavahi-common-data_0.8-5_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-5) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../100-libavahi-common3_0.8-5_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-5) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../101-libavahi-client3_0.8-5_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-5) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../102-libcups2_2.3.3op2-7_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-7) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../103-libepoxy0_1.5.9-2_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.9-2) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../104-libfribidi0_1.0.8-2_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../105-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../106-libharfbuzz0b_2.7.4-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.7.4-1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../107-fontconfig_2.13.1-4.2_amd64.deb ... Unpacking fontconfig (2.13.1-4.2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../108-libthai-data_0.1.29-1_all.deb ... Unpacking libthai-data (0.1.29-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../109-libdatrie1_0.2.13-2_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-2) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../110-libthai0_0.1.29-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../111-libpango-1.0-0_1.48.10+ds1-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.48.10+ds1-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../112-libpangoft2-1.0-0_1.48.10+ds1-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.48.10+ds1-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../113-libpangocairo-1.0-0_1.48.10+ds1-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.48.10+ds1-1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../114-libwayland-client0_1.19.0-2+b1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.19.0-2+b1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../115-libwayland-cursor0_1.19.0-2+b1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.19.0-2+b1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../116-libwayland-egl1_1.19.0-2+b1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.19.0-2+b1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../117-libxcomposite1_1%3a0.4.5-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../118-libxfixes3_1%3a5.0.3-2_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-2) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../119-libxcursor1_1%3a1.2.0-2_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../120-libxdamage1_1%3a1.1.5-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.5-2) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../121-libxinerama1_2%3a1.1.4-2_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-2) ... Selecting previously unselected package xkb-data. Preparing to unpack .../122-xkb-data_2.33-1_all.deb ... Unpacking xkb-data (2.33-1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../123-libxkbcommon0_1.3.1-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.3.1-1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../124-libxrandr2_2%3a1.5.2-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.2-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../125-libgtk-3-common_3.24.31-1_all.deb ... Unpacking libgtk-3-common (3.24.31-1) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../126-libgtk-3-0_3.24.31-1_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.31-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../127-x11-common_1%3a7.7+23_all.deb ... Unpacking x11-common (1:7.7+23) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../128-libice6_2%3a1.0.10-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-1) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../129-libjansson4_2.13.1-1.1_amd64.deb ... Unpacking libjansson4:amd64 (2.13.1-1.1) ... Selecting previously unselected package m17n-db. Preparing to unpack .../130-m17n-db_1.8.0-3_all.deb ... Unpacking m17n-db (1.8.0-3) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../131-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../132-libgd3_2.3.0-2_amd64.deb ... Unpacking libgd3:amd64 (2.3.0-2) ... Selecting previously unselected package libotf1:amd64. Preparing to unpack .../133-libotf1_0.9.16-3_amd64.deb ... Unpacking libotf1:amd64 (0.9.16-3) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../134-libxft2_2.3.2-2_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-2) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../135-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../136-libxt6_1%3a1.2.0-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.2.0-1) ... Selecting previously unselected package libm17n-0:amd64. Preparing to unpack .../137-libm17n-0_1.8.0-3.1_amd64.deb ... Unpacking libm17n-0:amd64 (1.8.0-3.1) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../138-librsvg2-2_2.50.7+dfsg-2_amd64.deb ... Unpacking librsvg2-2:amd64 (2.50.7+dfsg-2) ... Selecting previously unselected package emacs-gtk. Preparing to unpack .../139-emacs-gtk_1%3a27.1+1-3.1+b1_amd64.deb ... Unpacking emacs-gtk (1:27.1+1-3.1+b1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../140-libgtk2.0-common_2.24.33-2_all.deb ... Unpacking libgtk2.0-common (2.24.33-2) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../141-libgtk2.0-0_2.24.33-2_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.33-2) ... Selecting previously unselected package mmm-mode. Preparing to unpack .../142-mmm-mode_0.5.8-2_all.deb ... Unpacking mmm-mode (0.5.8-2) ... Selecting previously unselected package proofgeneral. Preparing to unpack .../143-proofgeneral_4.4.1~pre170114-1.2_all.deb ... Unpacking proofgeneral (4.4.1~pre170114-1.2) ... Selecting previously unselected package prooftree. Preparing to unpack .../144-prooftree_0.13-2+b2_amd64.deb ... Unpacking prooftree (0.13-2+b2) ... Setting up media-types (4.0.0) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up liblcms2-2:amd64 (2.12~rc1-2) ... Setting up libpixman-1-0:amd64 (0.40.0-1) ... Setting up systemd-sysv (249.7-1) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up libgpm2:amd64 (1.20.7-9) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libicu67:amd64 (67.1-7) ... Setting up libdatrie1:amd64 (0.2.13-2) ... Setting up libglib2.0-0:amd64 (2.70.2-1) ... Setting up libbrotli1:amd64 (1.0.9-2+b3) ... Setting up libsqlite3-0:amd64 (3.36.0-2) ... Setting up libgdk-pixbuf2.0-common (2.42.6+dfsg-2) ... Setting up binutils-common:amd64 (2.37-10.1) ... Setting up x11-common (1:7.7+23) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of restart. Setting up libdeflate0:amd64 (1.8-1) ... Setting up m17n-db (1.8.0-3) ... Setting up linux-libc-dev:amd64 (5.15.5-2) ... Setting up libctf-nobfd0:amd64 (2.37-10.1) ... Setting up xkb-data (2.33-1) ... Setting up libgomp1:amd64 (11.2.0-13) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up libcolord2:amd64 (1.4.5-3) ... Setting up libasan6:amd64 (11.2.0-13) ... Setting up libjansson4:amd64 (2.13.1-1.1) ... Setting up libdconf1:amd64 (0.40.0-2) ... Setting up libasound2-data (1.2.5.1-1) ... Setting up libtirpc-dev:amd64 (1.3.2-2) ... Setting up rpcsvc-proto (1.4.2-4) ... Setting up libjpeg62-turbo:amd64 (1:2.1.2-1) ... Setting up emacsen-common (3.0.4) ... Setting up libx11-data (2:1.7.2-2) ... Setting up libepoxy0:amd64 (1.5.9-2) ... Setting up libmpfr6:amd64 (4.1.0-3) ... Setting up libavahi-common-data:amd64 (0.8-5) ... Setting up libncurses6:amd64 (6.3-1) ... Setting up libdbus-1-3:amd64 (1.12.20-3) ... Setting up libfribidi0:amd64 (1.0.8-2) ... Setting up libquadmath0:amd64 (11.2.0-13) ... Setting up libpng16-16:amd64 (1.6.37-3) ... Setting up libmpc3:amd64 (1.2.1-1) ... Setting up libatomic1:amd64 (11.2.0-13) ... Setting up libwebp6:amd64 (0.6.1-2.1) ... Setting up fonts-dejavu-core (2.37-2) ... Setting up libncursesw6:amd64 (6.3-1) ... Setting up libubsan1:amd64 (11.2.0-13) ... Setting up libgif7:amd64 (5.1.9-2) ... Setting up libatk1.0-data (2.36.0-3) ... Setting up libmd0:amd64 (1.0.4-1) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up sensible-utils (0.0.17) ... Setting up libcrypt-dev:amd64 (1:4.4.27-1) ... Setting up dbus-session-bus-common (1.12.20-3) ... Setting up libasound2:amd64 (1.2.5.1-1) ... Setting up libmpdec3:amd64 (2.5.1-2) ... Setting up libthai-data (0.1.29-1) ... Setting up libgtk2.0-common (2.24.33-2) ... Setting up libatk1.0-0:amd64 (2.36.0-3) ... Setting up libtiff5:amd64 (4.3.0-2) ... Setting up libwayland-egl1:amd64 (1.19.0-2+b1) ... Setting up ocaml-base-nox (4.11.1-5) ... Setting up libbinutils:amd64 (2.37-10.1) ... Setting up dbus-system-bus-common (1.12.20-3) ... Setting up emacs-common (1:27.1+1-3.1) ... Setting up libisl23:amd64 (0.24-2) ... Setting up libc-dev-bin (2.33-1) ... Setting up libbsd0:amd64 (0.11.3-1) ... Setting up readline-common (8.1-2) ... Setting up libxml2:amd64 (2.9.12+dfsg-5+b1) ... Setting up libcc1-0:amd64 (11.2.0-13) ... Setting up dbus-bin (1.12.20-3) ... Setting up liblsan0:amd64 (11.2.0-13) ... Setting up libitm1:amd64 (11.2.0-13) ... Setting up libtsan0:amd64 (11.2.0-13) ... Setting up libxkbcommon0:amd64 (1.3.1-1) ... Setting up libwayland-client0:amd64 (1.19.0-2+b1) ... Setting up libctf0:amd64 (2.37-10.1) ... Setting up cpp-11 (11.2.0-13) ... Setting up libice6:amd64 (2:1.0.10-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libxcb1:amd64 (1.14-3) ... Setting up libxcb-render0:amd64 (1.14-3) ... Setting up libreadline8:amd64 (8.1-2) ... Setting up libavahi-common3:amd64 (0.8-5) ... Setting up libfindlib-ocaml (1.9.1-1) ... Setting up libxcb-shm0:amd64 (1.14-3) ... Setting up dbus-daemon (1.12.20-3) ... Setting up libzarith-ocaml (1.12-1) ... Setting up libthai0:amd64 (0.1.29-1) ... Setting up libfreetype6:amd64 (2.11.1+dfsg-1) ... Setting up dbus (1.12.20-3) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up shared-mime-info (2.0-1) ... Setting up ocaml-findlib (1.9.1-1) ... Setting up ucf (3.0043) ... Setting up libcoq-ocaml (8.14.1+dfsg-1) ... Setting up libgcc-11-dev:amd64 (11.2.0-13) ... Setting up libwayland-cursor0:amd64 (1.19.0-2+b1) ... Setting up cpp (4:11.2.0-2) ... Setting up libpam-systemd:amd64 (249.7-1) ... Setting up emacs-bin-common (1:27.1+1-3.1+b1) ... update-alternatives: using /usr/bin/ctags.emacs to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs to provide /usr/bin/etags (etags) in auto mode Setting up libc6-dev:amd64 (2.33-1) ... Setting up libx11-6:amd64 (2:1.7.2-2+b1) ... Setting up libharfbuzz0b:amd64 (2.7.4-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.6+dfsg-2) ... Setting up libxcomposite1:amd64 (1:0.4.5-1) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up libavahi-client3:amd64 (0.8-5) ... Setting up libpython3.9-stdlib:amd64 (3.9.9-2) ... Setting up libpython3-stdlib:amd64 (3.9.7-1) ... Setting up binutils-x86-64-linux-gnu (2.37-10.1) ... Setting up libotf1:amd64 (0.9.16-3) ... Setting up gtk-update-icon-cache (3.24.31-1) ... Setting up libncurses-dev:amd64 (6.3-1) ... Setting up libxdamage1:amd64 (1:1.1.5-2) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up fontconfig-config (2.13.1-4.2) ... Setting up libxext6:amd64 (2:1.3.4-1) ... Setting up binutils (2.37-10.1) ... Setting up dbus-user-session (1.12.20-3) ... Setting up adwaita-icon-theme (41.0-1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libxfixes3:amd64 (1:5.0.3-2) ... Setting up libxinerama1:amd64 (2:1.1.4-2) ... Setting up libxrandr2:amd64 (2:1.5.2-1) ... Setting up libxt6:amd64 (1:1.2.0-1) ... Setting up libcups2:amd64 (2.3.3op2-7) ... Setting up gcc-11 (11.2.0-13) ... Setting up libncurses5-dev:amd64 (6.3-1) ... Setting up libfontconfig1:amd64 (2.13.1-4.2) ... Setting up python3.9 (3.9.9-2) ... Setting up fontconfig (2.13.1-4.2) ... Regenerating fonts cache... done. Setting up libxft2:amd64 (2.3.2-2) ... Setting up libxi6:amd64 (2:1.8-1) ... Setting up libxcursor1:amd64 (1:1.2.0-2) ... Setting up libpango-1.0-0:amd64 (1.48.10+ds1-1) ... Setting up dconf-service (0.40.0-2) ... Setting up python3 (3.9.7-1) ... Setting up libatspi2.0-0:amd64 (2.42.0-2) ... Setting up libcairo2:amd64 (1.16.0-5) ... Setting up gcc (4:11.2.0-2) ... Setting up libatk-bridge2.0-0:amd64 (2.38.0-2) ... Setting up libgd3:amd64 (2.3.0-2) ... Setting up libcairo-gobject2:amd64 (1.16.0-5) ... Setting up libpangoft2-1.0-0:amd64 (1.48.10+ds1-1) ... Setting up libpangocairo-1.0-0:amd64 (1.48.10+ds1-1) ... Setting up dconf-gsettings-backend:amd64 (0.40.0-2) ... Setting up libgtk2.0-0:amd64 (2.24.33-2) ... Setting up libm17n-0:amd64 (1.8.0-3.1) ... Setting up librsvg2-2:amd64 (2.50.7+dfsg-2) ... Setting up libgtk-3-common (3.24.31-1) ... Setting up libgtk-3-0:amd64 (3.24.31-1) ... Setting up emacs-gtk (1:27.1+1-3.1+b1) ... update-alternatives: using /usr/bin/emacs-gtk to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs emacsen-common: Handling install of emacsen flavor emacs Setting up mmm-mode (0.5.8-2) ... Install emacsen-common for emacs emacsen-common: Handling install of emacsen flavor emacs Install mmm-mode for emacs install/mmm-mode: Handling install of emacsen flavor emacs install/mmm-mode: byte-compiling for emacs Setting up proofgeneral (4.4.1~pre170114-1.2) ... Install emacsen-common for emacs emacsen-common: Handling install of emacsen flavor emacs Install mmm-mode for emacs install/mmm-mode: Handling install of emacsen flavor emacs install/mmm-mode: byte-compiling for emacs Install proofgeneral for emacs Setting up coq-theories (8.14.1+dfsg-1) ... Setting up ocaml-compiler-libs (4.11.1-5) ... Setting up ocaml-interp (4.11.1-5) ... Setting up ocaml-nox (4.11.1-5) ... Setting up coq (8.14.1+dfsg-1) ... Setting up prooftree (0.13-2+b2) ... Processing triggers for libc-bin (2.33-1) ... Processing triggers for install-info (6.8-3) ... 0m56.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-y', 'install', 'prooftree'] 0m56.5s INFO: Running scripts post_install 0m56.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_install_exceptions'] 0m56.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_install_exceptions'] 0m56.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 0m57.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 0m57.4s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmphzq9dnq7 to sid 0m57.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m57.4s INFO: Running scripts pre_distupgrade 0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m57.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_exceptions'] 0m57.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_exceptions'] 0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m57.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m57.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m57.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m57.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m57.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'update'] 1m0.3s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [165 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [8874 kB] Get:3 http://deb.debian.org/debian sid/main Translation-en [6658 kB] Fetched 15.7 MB in 2s (6744 kB/s) Reading package lists... 1m0.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'update'] 1m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-yf', 'dist-upgrade'] 1m6.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: bash binutils binutils-common binutils-x86-64-linux-gnu debianutils libbinutils libc-bin libc-dev-bin libc6 libc6-dev libctf-nobfd0 libctf0 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libreadline8 libsqlite3-0 python3 python3-minimal python3.9 python3.9-minimal readline-common 22 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 18.9 MB of archives. After this operation, 292 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 debianutils amd64 5.5-1 [93.7 kB] Get:2 http://deb.debian.org/debian sid/main amd64 bash amd64 5.1-6 [1411 kB] Get:3 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.33-2 [2273 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.33-2 [242 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libc6 amd64 2.33-2 [2827 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libc-bin amd64 2.33-2 [834 kB] Get:7 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.9.8-1 [38.5 kB] Get:8 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.9.8-1 [38.1 kB] Get:9 http://deb.debian.org/debian sid/main amd64 readline-common all 8.1.2-1 [73.8 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libreadline8 amd64 8.1.2-1 [168 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libsqlite3-0 amd64 3.37.2-1 [820 kB] Get:12 http://deb.debian.org/debian sid/main amd64 python3.9 amd64 3.9.9-3 [484 kB] Get:13 http://deb.debian.org/debian sid/main amd64 python3.9-minimal amd64 3.9.9-3 [1925 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libpython3.9-minimal amd64 3.9.9-3 [805 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libpython3.9-stdlib amd64 3.9.9-3 [1681 kB] Get:16 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.9.8-1 [21.6 kB] Get:17 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.37.50.20220106-2 [93.7 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.37.50.20220106-2 [155 kB] Get:19 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.37.50.20220106-2 [2083 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.37.50.20220106-2 [579 kB] Get:21 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.37.50.20220106-2 [62.3 kB] Get:22 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.37.50.20220106-2 [2235 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 18.9 MB in 0s (173 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 ... 27807 files and directories currently installed.) Preparing to unpack .../debianutils_5.5-1_amd64.deb ... Unpacking debianutils (5.5-1) over (4.11.2) ... Setting up debianutils (5.5-1) ... update-alternatives: using /usr/bin/which.debianutils to provide /usr/bin/which (which) in auto mode (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 27803 files and directories currently installed.) Preparing to unpack .../archives/bash_5.1-6_amd64.deb ... Unpacking bash (5.1-6) over (5.1-5+b1) ... Setting up bash (5.1-6) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 27802 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.33-2_amd64.deb ... Unpacking libc6-dev:amd64 (2.33-2) over (2.33-1) ... Preparing to unpack .../libc-dev-bin_2.33-2_amd64.deb ... Unpacking libc-dev-bin (2.33-2) over (2.33-1) ... Preparing to unpack .../libc6_2.33-2_amd64.deb ... Unpacking libc6:amd64 (2.33-2) over (2.33-1) ... Setting up libc6:amd64 (2.33-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 ... 27802 files and directories currently installed.) Preparing to unpack .../libc-bin_2.33-2_amd64.deb ... Unpacking libc-bin (2.33-2) over (2.33-1) ... Setting up libc-bin (2.33-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 ... 27802 files and directories currently installed.) Preparing to unpack .../python3-minimal_3.9.8-1_amd64.deb ... Unpacking python3-minimal (3.9.8-1) over (3.9.7-1) ... Setting up python3-minimal (3.9.8-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 ... 27802 files and directories currently installed.) Preparing to unpack .../00-python3_3.9.8-1_amd64.deb ... Unpacking python3 (3.9.8-1) over (3.9.7-1) ... Preparing to unpack .../01-readline-common_8.1.2-1_all.deb ... Unpacking readline-common (8.1.2-1) over (8.1-2) ... Preparing to unpack .../02-libreadline8_8.1.2-1_amd64.deb ... Unpacking libreadline8:amd64 (8.1.2-1) over (8.1-2) ... Preparing to unpack .../03-libsqlite3-0_3.37.2-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.37.2-1) over (3.36.0-2) ... Preparing to unpack .../04-python3.9_3.9.9-3_amd64.deb ... Unpacking python3.9 (3.9.9-3) over (3.9.9-2) ... Preparing to unpack .../05-python3.9-minimal_3.9.9-3_amd64.deb ... Unpacking python3.9-minimal (3.9.9-3) over (3.9.9-2) ... Preparing to unpack .../06-libpython3.9-minimal_3.9.9-3_amd64.deb ... Unpacking libpython3.9-minimal:amd64 (3.9.9-3) over (3.9.9-2) ... Preparing to unpack .../07-libpython3.9-stdlib_3.9.9-3_amd64.deb ... Unpacking libpython3.9-stdlib:amd64 (3.9.9-3) over (3.9.9-2) ... Preparing to unpack .../08-libpython3-stdlib_3.9.8-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.9.8-1) over (3.9.7-1) ... Preparing to unpack .../09-libctf0_2.37.50.20220106-2_amd64.deb ... Unpacking libctf0:amd64 (2.37.50.20220106-2) over (2.37-10.1) ... Preparing to unpack .../10-libctf-nobfd0_2.37.50.20220106-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.37.50.20220106-2) over (2.37-10.1) ... Preparing to unpack .../11-binutils-x86-64-linux-gnu_2.37.50.20220106-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.37.50.20220106-2) over (2.37-10.1) ... Preparing to unpack .../12-libbinutils_2.37.50.20220106-2_amd64.deb ... Unpacking libbinutils:amd64 (2.37.50.20220106-2) over (2.37-10.1) ... Preparing to unpack .../13-binutils_2.37.50.20220106-2_amd64.deb ... Unpacking binutils (2.37.50.20220106-2) over (2.37-10.1) ... Preparing to unpack .../14-binutils-common_2.37.50.20220106-2_amd64.deb ... Unpacking binutils-common:amd64 (2.37.50.20220106-2) over (2.37-10.1) ... Setting up libpython3.9-minimal:amd64 (3.9.9-3) ... Setting up libsqlite3-0:amd64 (3.37.2-1) ... Setting up binutils-common:amd64 (2.37.50.20220106-2) ... Setting up libctf-nobfd0:amd64 (2.37.50.20220106-2) ... Setting up python3.9-minimal (3.9.9-3) ... Setting up libbinutils:amd64 (2.37.50.20220106-2) ... Setting up libc-dev-bin (2.33-2) ... Setting up readline-common (8.1.2-1) ... Setting up libctf0:amd64 (2.37.50.20220106-2) ... Setting up libreadline8:amd64 (8.1.2-1) ... Setting up libc6-dev:amd64 (2.33-2) ... Setting up libpython3.9-stdlib:amd64 (3.9.9-3) ... Setting up libpython3-stdlib:amd64 (3.9.8-1) ... Setting up binutils-x86-64-linux-gnu (2.37.50.20220106-2) ... Setting up binutils (2.37.50.20220106-2) ... Setting up python3.9 (3.9.9-3) ... Setting up python3 (3.9.8-1) ... Processing triggers for libc-bin (2.33-2) ... Processing triggers for install-info (6.8-3) ... 1m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-yf', 'dist-upgrade'] 1m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m6.5s DUMP: 658e170763e5a640529df7b72c603889 - 1m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 1m6.7s DUMP: Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b2 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0) Description-en: proof-tree visualization for Proof General Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq. Description-md5: b27f2d4918792b35e6871a08a544fafa Homepage: http://askra.de/software/prooftree Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-2+b2_amd64.deb Size: 1084116 MD5sum: 4f5a51e1f7e50d15a6b75fdb90b5b324 SHA256: d69f374154c0892f5ae871d57ee1d74bb42a3a45555111ce04d71687cc67f088 1m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 1m6.7s INFO: apt-cache knows about the following packages: prooftree 1m6.7s INFO: Running scripts pre_install 1m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_database-server'] 1m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_database-server'] 1m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_exceptions'] 1m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_exceptions'] 1m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_extras'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_extras'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy'] 1m6.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: 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy', 'prooftree'] 1m6.9s DUMP: prooftree: Installed: 0.13-2+b2 Candidate: 0.13-2+b2 Version table: *** 0.13-2+b2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy', 'prooftree'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-y', 'install', 'prooftree'] 1m7.2s DUMP: Reading package lists... Building dependency tree... Reading state information... prooftree is already the newest version (0.13-2+b2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-y', 'install', 'prooftree'] 1m7.2s INFO: Running scripts post_install 1m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_install_exceptions'] 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_install_exceptions'] 1m7.2s INFO: Running scripts post_distupgrade 1m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_exceptions'] 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_exceptions'] 1m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_zz_backports'] 1m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_distupgrade_zz_backports'] 1m7.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m8.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m8.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m9.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m9.3s INFO: Running scripts pre_install 1m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_database-server'] 1m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_database-server'] 1m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_exceptions'] 1m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_exceptions'] 1m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_extras'] 1m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_extras'] 1m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture'] 1m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture'] 1m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m9.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m9.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy'] 1m9.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m9.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy'] 1m9.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy', 'prooftree'] 1m9.4s DUMP: prooftree: Installed: 0.13-2+b2 Candidate: 0.13-2+b2 Version table: *** 0.13-2+b2 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 1m9.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-cache', 'policy', 'prooftree'] 1m9.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-y', 'install', 'prooftree=0.13-2+b2'] 1m9.8s DUMP: Reading package lists... Building dependency tree... Reading state information... prooftree is already the newest version (0.13-2+b2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', '-y', 'install', 'prooftree=0.13-2+b2'] 1m9.8s INFO: Running scripts post_install 1m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_install_exceptions'] 1m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_install_exceptions'] 1m9.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m11.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m13.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', '-ac', '--ignore-obsolete'] 1m17.3s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', '-ac', '--ignore-obsolete'] 1m17.3s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m17.3s DUMP: 0.15.2 1m17.3s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m17.3s INFO: Running adequate version 0.15.2 now. 1m17.3s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'prooftree'] 1m17.4s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'prooftree'] 1m17.4s INFO: Running scripts pre_remove 1m17.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m17.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m17.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m17.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m17.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m21.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m21.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m21.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m21.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_exceptions'] 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/pre_remove_exceptions'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m21.6s DUMP: install ok installed adduser adduser 3.118 install ok installed adwaita-icon-theme adwaita-icon-theme 41.0-1 install ok installed apt apt 2.3.14 install ok installed base-files base-files 12 install ok installed base-passwd base-passwd 3.5.52 install ok installed bash bash 5.1-6 install ok installed binutils binutils 2.37.50.20220106-2 install ok installed binutils-common:amd64 binutils-common 2.37.50.20220106-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.37.50.20220106-2 install ok installed bsdutils bsdutils 1:2.37.2-5 install ok installed coq coq 8.14.1+dfsg-1 install ok installed coq-theories coq-theories 8.14.1+dfsg-1 install ok installed coreutils coreutils 8.32-4.1 install ok installed cpp cpp 4:11.2.0-2 install ok installed cpp-11 cpp-11 11.2.0-13 install ok installed dash dash 0.5.11+git20210903+057cd650a4ed-3 install ok installed dbus dbus 1.12.20-3 install ok installed dbus-bin dbus-bin 1.12.20-3 install ok installed dbus-daemon dbus-daemon 1.12.20-3 install ok installed dbus-session-bus-common dbus-session-bus-common 1.12.20-3 install ok installed dbus-system-bus-common dbus-system-bus-common 1.12.20-3 install ok installed dbus-user-session dbus-user-session 1.12.20-3 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.40.0-2 install ok installed dconf-service dconf-service 0.40.0-2 install ok installed debconf debconf 1.5.79 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1 install ok installed debianutils debianutils 5.5-1 install ok installed diffutils diffutils 1:3.7-5 install ok installed dmsetup dmsetup 2:1.02.175-2.1 install ok installed dpkg dpkg 1.21.1 install ok installed e2fsprogs e2fsprogs 1.46.5-2 install ok installed emacs-bin-common emacs-bin-common 1:27.1+1-3.1+b1 install ok installed emacs-common emacs-common 1:27.1+1-3.1 install ok installed emacs-gtk emacs-gtk 1:27.1+1-3.1+b1 install ok installed emacsen-common emacsen-common 3.0.4 install ok installed findutils findutils 4.8.0-1 install ok installed fontconfig fontconfig 2.13.1-4.2 install ok installed fontconfig-config fontconfig-config 2.13.1-4.2 install ok installed fonts-dejavu-core fonts-dejavu-core 2.37-2 install ok installed gcc gcc 4:11.2.0-2 install ok installed gcc-10-base:amd64 gcc-10-base 10.3.0-13 install ok installed gcc-11 gcc-11 11.2.0-13 install ok installed gcc-11-base:amd64 gcc-11-base 11.2.0-13 install ok installed gpgv gpgv 2.2.27-3 install ok installed grep grep 3.7-1 install ok installed gtk-update-icon-cache gtk-update-icon-cache 3.24.31-1 install ok installed gzip gzip 1.10-4 install ok installed hicolor-icon-theme hicolor-icon-theme 0.17-2 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.61 install ok installed install-info install-info 6.8-3 install ok installed libacl1:amd64 libacl1 2.3.1-1 install ok installed libapparmor1:amd64 libapparmor1 3.0.3-6 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.3.14 install ok installed libargon2-1:amd64 libargon2-1 0~20171227-0.2 install ok installed libasan6:amd64 libasan6 11.2.0-13 install ok installed libasound2:amd64 libasound2 1.2.5.1-1 install ok installed libasound2-data libasound2-data 1.2.5.1-1 install ok installed libatk-bridge2.0-0:amd64 libatk-bridge2.0-0 2.38.0-2 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.36.0-3 install ok installed libatk1.0-data libatk1.0-data 2.36.0-3 install ok installed libatomic1:amd64 libatomic1 11.2.0-13 install ok installed libatspi2.0-0:amd64 libatspi2.0-0 2.42.0-2 install ok installed libattr1:amd64 libattr1 1:2.5.1-1 install ok installed libaudit-common libaudit-common 1:3.0.6-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.6-1+b1 install ok installed libavahi-client3:amd64 libavahi-client3 0.8-5 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.8-5 install ok installed libavahi-common3:amd64 libavahi-common3 0.8-5 install ok installed libbinutils:amd64 libbinutils 2.37.50.20220106-2 install ok installed libblkid1:amd64 libblkid1 2.37.2-5 install ok installed libbrotli1:amd64 libbrotli1 1.0.9-2+b3 install ok installed libbsd0:amd64 libbsd0 0.11.3-1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5 install ok installed libc-bin libc-bin 2.33-2 install ok installed libc-dev-bin libc-dev-bin 2.33-2 install ok installed libc6:amd64 libc6 2.33-2 install ok installed libc6-dev:amd64 libc6-dev 2.33-2 install ok installed libcairo-gobject2:amd64 libcairo-gobject2 1.16.0-5 install ok installed libcairo2:amd64 libcairo2 1.16.0-5 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.2+b1 install ok installed libcap2:amd64 libcap2 1:2.44-1 install ok installed libcc1-0:amd64 libcc1-0 11.2.0-13 install ok installed libcolord2:amd64 libcolord2 1.4.5-3 install ok installed libcom-err2:amd64 libcom-err2 1.46.5-2 install ok installed libcoq-ocaml libcoq-ocaml 8.14.1+dfsg-1 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.27-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.27-1 install ok installed libcryptsetup12:amd64 libcryptsetup12 2:2.4.2-1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.37.50.20220106-2 install ok installed libctf0:amd64 libctf0 2.37.50.20220106-2 install ok installed libcups2:amd64 libcups2 2.3.3op2-7 install ok installed libdatrie1:amd64 libdatrie1 0.2.13-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.8 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.12.20-3 install ok installed libdconf1:amd64 libdconf1 0.40.0-2 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.261 install ok installed libdeflate0:amd64 libdeflate0 1.8-1 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.175-2.1 install ok installed libepoxy0:amd64 libepoxy0 1.5.9-2 install ok installed libexpat1:amd64 libexpat1 2.4.2-1 install ok installed libext2fs2:amd64 libext2fs2 1.46.5-2 install ok installed libffi8:amd64 libffi8 3.4.2-3 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.1-1 install ok installed libfontconfig1:amd64 libfontconfig1 2.13.1-4.2 install ok installed libfreetype6:amd64 libfreetype6 2.11.1+dfsg-1 install ok installed libfribidi0:amd64 libfribidi0 1.0.8-2 install ok installed libgcc-11-dev:amd64 libgcc-11-dev 11.2.0-13 install ok installed libgcc-s1:amd64 libgcc-s1 11.2.0-13 install ok installed libgcrypt20:amd64 libgcrypt20 1.9.4-5 install ok installed libgd3:amd64 libgd3 2.3.0-2 install ok installed libgdk-pixbuf-2.0-0:amd64 libgdk-pixbuf-2.0-0 2.42.6+dfsg-2 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.42.6+dfsg-2 install ok installed libgif7:amd64 libgif7 5.1.9-2 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.70.2-1 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-3 install ok installed libgnutls30:amd64 libgnutls30 3.7.2-5 install ok installed libgomp1:amd64 libgomp1 11.2.0-13 install ok installed libgpg-error0:amd64 libgpg-error0 1.43-1 install ok installed libgpm2:amd64 libgpm2 1.20.7-9 install ok installed libgraphite2-3:amd64 libgraphite2-3 1.3.14-1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.18.3-7 install ok installed libgtk-3-0:amd64 libgtk-3-0 3.24.31-1 install ok installed libgtk-3-common libgtk-3-common 3.24.31-1 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.33-2 install ok installed libgtk2.0-common libgtk2.0-common 2.24.33-2 install ok installed libharfbuzz0b:amd64 libharfbuzz0b 2.7.4-1 install ok installed libhogweed6:amd64 libhogweed6 3.7.3-1 install ok installed libice6:amd64 libice6 2:1.0.10-1 install ok installed libicu67:amd64 libicu67 67.1-7 install ok installed libidn2-0:amd64 libidn2-0 2.3.2-2 install ok installed libip4tc2:amd64 libip4tc2 1.8.7-1 install ok installed libisl23:amd64 libisl23 0.24-2 install ok installed libitm1:amd64 libitm1 11.2.0-13 install ok installed libjansson4:amd64 libjansson4 2.13.1-1.1 install ok installed libjbig0:amd64 libjbig0 2.1-3.1+b2 install ok installed libjpeg62-turbo:amd64 libjpeg62-turbo 1:2.1.2-1 install ok installed libjson-c5:amd64 libjson-c5 0.15-2 install ok installed libk5crypto3:amd64 libk5crypto3 1.18.3-7 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkmod2:amd64 libkmod2 29-1 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-7 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-7 install ok installed liblcms2-2:amd64 liblcms2-2 2.12~rc1-2 install ok installed liblsan0:amd64 liblsan0 11.2.0-13 install ok installed liblz4-1:amd64 liblz4-1 1.9.3-2 install ok installed liblzma5:amd64 liblzma5 5.2.5-2 install ok installed libm17n-0:amd64 libm17n-0 1.8.0-3.1 install ok installed libmd0:amd64 libmd0 1.0.4-1 install ok installed libmount1:amd64 libmount1 2.37.2-5 install ok installed libmpc3:amd64 libmpc3 1.2.1-1 install ok installed libmpdec3:amd64 libmpdec3 2.5.1-2 install ok installed libmpfr6:amd64 libmpfr6 4.1.0-3 install ok installed libncurses-dev:amd64 libncurses-dev 6.3-1 install ok installed libncurses5-dev:amd64 libncurses5-dev 6.3-1 install ok installed libncurses6:amd64 libncurses6 6.3-1 install ok installed libncursesw6:amd64 libncursesw6 6.3-1 install ok installed libnettle8:amd64 libnettle8 3.7.3-1 install ok installed libnsl-dev:amd64 libnsl-dev 1.3.0-2 install ok installed libnsl2:amd64 libnsl2 1.3.0-2 install ok installed libotf1:amd64 libotf1 0.9.16-3 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.0-6 install ok installed libpam-modules:amd64 libpam-modules 1.4.0-11 install ok installed libpam-modules-bin libpam-modules-bin 1.4.0-11 install ok installed libpam-runtime libpam-runtime 1.4.0-11 install ok installed libpam-systemd:amd64 libpam-systemd 249.7-1 install ok installed libpam0g:amd64 libpam0g 1.4.0-11 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.48.10+ds1-1 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.48.10+ds1-1 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.48.10+ds1-1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.39-3 install ok installed libpcre3:amd64 libpcre3 2:8.39-13 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.40.0-1 install ok installed libpng16-16:amd64 libpng16-16 1.6.37-3 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.9.8-1 install ok installed libpython3.9-minimal:amd64 libpython3.9-minimal 3.9.9-3 install ok installed libpython3.9-stdlib:amd64 libpython3.9-stdlib 3.9.9-3 install ok installed libquadmath0:amd64 libquadmath0 11.2.0-13 install ok installed libreadline8:amd64 libreadline8 8.1.2-1 install ok installed librsvg2-2:amd64 librsvg2-2 2.50.7+dfsg-2 install ok installed libseccomp2:amd64 libseccomp2 2.5.3-2 install ok installed libselinux1:amd64 libselinux1 3.3-1+b1 install ok installed libsemanage-common libsemanage-common 3.3-1 install ok installed libsemanage2:amd64 libsemanage2 3.3-1+b1 install ok installed libsepol2:amd64 libsepol2 3.3-1 install ok installed libsm6:amd64 libsm6 2:1.2.3-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.37.2-5 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.37.2-1 install ok installed libss2:amd64 libss2 1.46.5-2 install ok installed libssl1.1:amd64 libssl1.1 1.1.1m-1 install ok installed libstdc++6:amd64 libstdc++6 11.2.0-13 install ok installed libsystemd0:amd64 libsystemd0 249.7-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.18.0-4 install ok installed libthai-data libthai-data 0.1.29-1 install ok installed libthai0:amd64 libthai0 0.1.29-1 install ok installed libtiff5:amd64 libtiff5 4.3.0-2 install ok installed libtinfo6:amd64 libtinfo6 6.3-1 install ok installed libtirpc-common libtirpc-common 1.3.2-2 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.2-2 install ok installed libtirpc3:amd64 libtirpc3 1.3.2-2 install ok installed libtsan0:amd64 libtsan0 11.2.0-13 install ok installed libubsan1:amd64 libubsan1 11.2.0-13 install ok installed libudev1:amd64 libudev1 249.7-1 install ok installed libunistring2:amd64 libunistring2 0.9.10-6 install ok installed libuuid1:amd64 libuuid1 2.37.2-5 install ok installed libwayland-client0:amd64 libwayland-client0 1.19.0-2+b1 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.19.0-2+b1 install ok installed libwayland-egl1:amd64 libwayland-egl1 1.19.0-2+b1 install ok installed libwebp6:amd64 libwebp6 0.6.1-2.1 install ok installed libx11-6:amd64 libx11-6 2:1.7.2-2+b1 install ok installed libx11-data libx11-data 2:1.7.2-2 install ok installed libxau6:amd64 libxau6 1:1.0.9-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.14-3 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.14-3 install ok installed libxcb1:amd64 libxcb1 1.14-3 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.5-1 install ok installed libxcursor1:amd64 libxcursor1 1:1.2.0-2 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.5-2 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.2-3 install ok installed libxext6:amd64 libxext6 2:1.3.4-1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0.3-2 install ok installed libxft2:amd64 libxft2 2.3.2-2 install ok installed libxi6:amd64 libxi6 2:1.8-1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.4-2 install ok installed libxkbcommon0:amd64 libxkbcommon0 1.3.1-1 install ok installed libxml2:amd64 libxml2 2.9.12+dfsg-5+b1 install ok installed libxpm4:amd64 libxpm4 1:3.5.12-1 install ok installed libxrandr2:amd64 libxrandr2 2:1.5.2-1 install ok installed libxrender1:amd64 libxrender1 1:0.9.10-1 install ok installed libxt6:amd64 libxt6 1:1.2.0-1 install ok installed libxxhash0:amd64 libxxhash0 0.8.0-2 install ok installed libzarith-ocaml libzarith-ocaml 1.12-1 install ok installed libzstd1:amd64 libzstd1 1.4.8+dfsg-3 install ok installed linux-libc-dev:amd64 linux-libc-dev 5.15.5-2 install ok installed login login 1:4.8.1-2 install ok installed logsave logsave 1.46.5-2 install ok installed lsb-base lsb-base 11.1.0 install ok installed m17n-db m17n-db 1.8.0-3 install ok installed mawk mawk 1.3.4.20200120-2 install ok installed media-types media-types 4.0.0 install ok installed mmm-mode mmm-mode 0.5.8-2 install ok installed mount mount 2.37.2-5 install ok installed ncurses-base ncurses-base 6.3-1 install ok installed ncurses-bin ncurses-bin 6.3-1 install ok installed ocaml-base-nox ocaml-base-nox 4.11.1-5 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.11.1-5 install ok installed ocaml-findlib ocaml-findlib 1.9.1-1 install ok installed ocaml-interp ocaml-interp 4.11.1-5 install ok installed ocaml-nox ocaml-nox 4.11.1-5 install ok installed passwd passwd 1:4.8.1-2 install ok installed perl-base perl-base 5.32.1-6 install ok installed proofgeneral proofgeneral 4.4.1~pre170114-1.2 install ok installed prooftree prooftree 0.13-2+b2 install ok installed python3 python3 3.9.8-1 install ok installed python3-minimal python3-minimal 3.9.8-1 install ok installed python3.9 python3.9 3.9.9-3 install ok installed python3.9-minimal python3.9-minimal 3.9.9-3 install ok installed readline-common readline-common 8.1.2-1 install ok installed rpcsvc-proto rpcsvc-proto 1.4.2-4 install ok installed sed sed 4.8-1 install ok installed sensible-utils sensible-utils 0.0.17 install ok installed shared-mime-info shared-mime-info 2.0-1 install ok installed systemd systemd 249.7-1 install ok installed systemd-sysv systemd-sysv 249.7-1 install ok installed sysvinit-utils sysvinit-utils 3.01-1 install ok installed tar tar 1.34+dfsg-1 install ok installed tzdata tzdata 2021e-1 install ok installed ucf ucf 3.0043 install ok installed util-linux util-linux 2.37.2-5 install ok installed x11-common x11-common 1:7.7+23 install ok installed xkb-data xkb-data 2.33-1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'remove', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-11', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'emacs-bin-common', 'emacs-common', 'emacs-gtk', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-11', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'install-info', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-11-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libkmod2:amd64', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libm17n-0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libotf1:amd64', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'm17n-db', 'media-types', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'proofgeneral', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data', 'prooftree'] 1m23.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: adwaita-icon-theme binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-11 dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service dmsetup emacs-bin-common emacs-common emacs-gtk emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-11 gtk-update-icon-cache hicolor-icon-theme install-info libapparmor1 libargon2-1 libasan6 libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcolord2 libcoq-ocaml libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libepoxy0 libexpat1 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-11-dev libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgif7 libglib2.0-0 libgomp1 libgpm2 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libharfbuzz0b libice6 libicu67 libip4tc2 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libkmod2 liblcms2-2 liblsan0 libm17n-0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libotf1 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librsvg2-2 libsm6 libsqlite3-0 libthai-data libthai0 libtiff5 libtirpc-dev libtsan0 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 libzarith-ocaml linux-libc-dev m17n-db media-types mmm-mode ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox proofgeneral prooftree python3 python3-minimal python3.9 python3.9-minimal readline-common rpcsvc-proto sensible-utils shared-mime-info systemd systemd-sysv ucf x11-common xkb-data 0 upgraded, 0 newly installed, 175 to remove and 0 not upgraded. After this operation, 1525 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 ... 27802 files and directories currently installed.) Removing prooftree (0.13-2+b2) ... Removing proofgeneral (4.4.1~pre170114-1.2) ... Remove proofgeneral for emacs Removing mmm-mode (0.5.8-2) ... Remove mmm-mode for emacs install/mmm-mode: Handling removal of emacsen flavor emacs install/mmm-mode: purging byte-compiled files for emacs Removing emacs-gtk (1:27.1+1-3.1+b1) ... Remove emacsen-common for emacs emacsen-common: Handling removal of emacsen flavor emacs Removing libgtk-3-0:amd64 (3.24.31-1) ... Removing libgtk2.0-0:amd64 (2.24.33-2) ... Removing adwaita-icon-theme (41.0-1) ... Removing libgtk-3-common (3.24.31-1) ... Removing dconf-gsettings-backend:amd64 (0.40.0-2) ... Removing dconf-service (0.40.0-2) ... Removing dbus-user-session (1.12.20-3) ... Removing libpam-systemd:amd64 (249.7-1) ... Removing dbus (1.12.20-3) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Removing dbus-daemon (1.12.20-3) ... Removing dbus-bin (1.12.20-3) ... Removing dbus-session-bus-common (1.12.20-3) ... Removing dbus-system-bus-common (1.12.20-3) ... Removing systemd-sysv (249.7-1) ... Removing systemd (249.7-1) ... Removing libcryptsetup12:amd64 (2:2.4.2-1) ... Removing emacs-bin-common (1:27.1+1-3.1+b1) ... Removing emacs-common (1:27.1+1-3.1) ... Removing emacsen-common (3.0.4) ... Removing librsvg2-2:amd64 (2.50.7+dfsg-2) ... Removing libpangocairo-1.0-0:amd64 (1.48.10+ds1-1) ... Removing libpangoft2-1.0-0:amd64 (1.48.10+ds1-1) ... Removing libpango-1.0-0:amd64 (1.48.10+ds1-1) ... Removing fontconfig (2.13.1-4.2) ... Removing libm17n-0:amd64 (1.8.0-3.1) ... Removing libxft2:amd64 (2.3.2-2) ... Removing libgd3:amd64 (2.3.0-2) ... Removing gtk-update-icon-cache (3.24.31-1) ... Removing hicolor-icon-theme (0.17-2) ... Removing install-info (6.8-3) ... Removing libapparmor1:amd64 (3.0.3-6) ... Removing libargon2-1:amd64 (0~20171227-0.2) ... Removing libasound2:amd64 (1.2.5.1-1) ... Removing libasound2-data (1.2.5.1-1) ... Removing libatk-bridge2.0-0:amd64 (2.38.0-2) ... Removing libatk1.0-0:amd64 (2.36.0-3) ... Removing libatk1.0-data (2.36.0-3) ... Removing libatspi2.0-0:amd64 (2.42.0-2) ... Removing libcups2:amd64 (2.3.3op2-7) ... Removing libavahi-client3:amd64 (0.8-5) ... Removing libavahi-common3:amd64 (0.8-5) ... Removing libavahi-common-data:amd64 (0.8-5) ... Removing libotf1:amd64 (0.9.16-3) ... Removing libharfbuzz0b:amd64 (2.7.4-1) ... Removing libxt6:amd64 (1:1.2.0-1) ... Removing libxrandr2:amd64 (2:1.5.2-1) ... Removing libcairo-gobject2:amd64 (1.16.0-5) ... Removing libcairo2:amd64 (1.16.0-5) ... Removing libxcb-shm0:amd64 (1.14-3) ... Removing libsm6:amd64 (2:1.2.3-1) ... Removing libice6:amd64 (2:1.0.10-1) ... Removing libncurses5-dev:amd64 (6.3-1) ... Removing libcolord2:amd64 (1.4.5-3) ... Removing libthai0:amd64 (0.1.29-1) ... Removing libdatrie1:amd64 (0.2.13-2) ... Removing libdbus-1-3:amd64 (1.12.20-3) ... Removing libdconf1:amd64 (0.40.0-2) ... Removing libgdk-pixbuf-2.0-0:amd64 (2.42.6+dfsg-2) ... Removing libtiff5:amd64 (4.3.0-2) ... Removing libdeflate0:amd64 (1.8-1) ... Removing libepoxy0:amd64 (1.5.9-2) ... Removing libfribidi0:amd64 (1.0.8-2) ... Removing libgdk-pixbuf2.0-common (2.42.6+dfsg-2) ... Removing libgif7:amd64 (5.1.9-2) ... Removing shared-mime-info (2.0-1) ... Removing libglib2.0-0:amd64 (2.70.2-1) ... Removing libgpm2:amd64 (1.20.7-9) ... Removing libgraphite2-3:amd64 (1.3.14-1) ... Removing libgtk2.0-common (2.24.33-2) ... Removing libxml2:amd64 (2.9.12+dfsg-5+b1) ... Removing libicu67:amd64 (67.1-7) ... Removing libip4tc2:amd64 (1.8.7-1) ... Removing libjansson4:amd64 (2.13.1-1.1) ... Removing libjbig0:amd64 (2.1-3.1+b2) ... Removing libjpeg62-turbo:amd64 (1:2.1.2-1) ... Removing libjson-c5:amd64 (0.15-2) ... Removing libkmod2:amd64 (29-1) ... Removing liblcms2-2:amd64 (2.12~rc1-2) ... Removing libpixman-1-0:amd64 (0.40.0-1) ... Removing libthai-data (0.1.29-1) ... Removing libwayland-cursor0:amd64 (1.19.0-2+b1) ... Removing libwayland-client0:amd64 (1.19.0-2+b1) ... Removing libwayland-egl1:amd64 (1.19.0-2+b1) ... Removing libwebp6:amd64 (0.6.1-2.1) ... Removing libxcb-render0:amd64 (1.14-3) ... Removing libxcomposite1:amd64 (1:0.4.5-1) ... Removing libxcursor1:amd64 (1:1.2.0-2) ... Removing libxdamage1:amd64 (1:1.1.5-2) ... Removing libxinerama1:amd64 (2:1.1.4-2) ... Removing libxfixes3:amd64 (1:5.0.3-2) ... Removing libxi6:amd64 (2:1.8-1) ... Removing libxkbcommon0:amd64 (1.3.1-1) ... Removing libxpm4:amd64 (1:3.5.12-1) ... Removing m17n-db (1.8.0-3) ... Removing x11-common (1:7.7+23) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of stop. Removing xkb-data (2.33-1) ... Removing libfontconfig1:amd64 (2.13.1-4.2) ... Removing fontconfig-config (2.13.1-4.2) ... Removing fonts-dejavu-core (2.37-2) ... Removing libfreetype6:amd64 (2.11.1+dfsg-1) ... Removing libbrotli1:amd64 (1.0.9-2+b3) ... Removing libxrender1:amd64 (1:0.9.10-1) ... Removing libpng16-16:amd64 (1.6.37-3) ... Removing libxext6:amd64 (2:1.3.4-1) ... Removing ucf (3.0043) ... Removing sensible-utils (0.0.17) ... Removing libx11-6:amd64 (2:1.7.2-2+b1) ... Removing libxcb1:amd64 (1.14-3) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.11.3-1) ... Removing libmd0:amd64 (1.0.4-1) ... Removing libx11-data (2:1.7.2-2) ... Removing libxau6:amd64 (1:1.0.9-1) ... Removing coq (8.14.1+dfsg-1) ... Removing coq-theories (8.14.1+dfsg-1) ... Removing ocaml-compiler-libs (4.11.1-5) ... Removing ocaml-nox (4.11.1-5) ... Removing ocaml-interp (4.11.1-5) ... Removing gcc (4:11.2.0-2) ... Removing gcc-11 (11.2.0-13) ... Removing binutils (2.37.50.20220106-2) ... Removing binutils-x86-64-linux-gnu (2.37.50.20220106-2) ... Removing libctf0:amd64 (2.37.50.20220106-2) ... Removing libbinutils:amd64 (2.37.50.20220106-2) ... Removing binutils-common:amd64 (2.37.50.20220106-2) ... Removing cpp (4:11.2.0-2) ... Removing cpp-11 (11.2.0-13) ... Removing dmsetup (2:1.02.175-2.1) ... Removing libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Removing python3 (3.9.8-1) ... Removing python3.9 (3.9.9-3) ... Removing libpython3-stdlib:amd64 (3.9.8-1) ... Removing libpython3.9-stdlib:amd64 (3.9.9-3) ... find: '/usr/lib/python3': No such file or directory Removing libreadline8:amd64 (8.1.2-1) ... Removing readline-common (8.1.2-1) ... Removing libgcc-11-dev:amd64 (11.2.0-13) ... Removing libasan6:amd64 (11.2.0-13) ... Removing libatomic1:amd64 (11.2.0-13) ... Removing libncurses-dev:amd64 (6.3-1) ... Removing libc6-dev:amd64 (2.33-2) ... Removing libc-dev-bin (2.33-2) ... Removing libcc1-0:amd64 (11.2.0-13) ... Removing libcoq-ocaml (8.14.1+dfsg-1) ... Removing libcrypt-dev:amd64 (1:4.4.27-1) ... Removing libctf-nobfd0:amd64 (2.37.50.20220106-2) ... Removing python3-minimal (3.9.8-1) ... Removing python3.9-minimal (3.9.9-3) ... Removing libexpat1:amd64 (2.4.2-1) ... Removing ocaml-findlib (1.9.1-1) ... Removing libfindlib-ocaml (1.9.1-1) ... Removing libgomp1:amd64 (11.2.0-13) ... Removing libisl23:amd64 (0.24-2) ... Removing libitm1:amd64 (11.2.0-13) ... Removing liblsan0:amd64 (11.2.0-13) ... Removing libmpc3:amd64 (1.2.1-1) ... Removing libmpdec3:amd64 (2.5.1-2) ... Removing libmpfr6:amd64 (4.1.0-3) ... Removing libncurses6:amd64 (6.3-1) ... Removing libncursesw6:amd64 (6.3-1) ... Removing libnsl-dev:amd64 (1.3.0-2) ... Removing libpython3.9-minimal:amd64 (3.9.9-3) ... find: '/usr/lib/python3': No such file or directory Removing libquadmath0:amd64 (11.2.0-13) ... Removing libsqlite3-0:amd64 (3.37.2-1) ... Removing libtirpc-dev:amd64 (1.3.2-2) ... Removing libtsan0:amd64 (11.2.0-13) ... Removing libubsan1:amd64 (11.2.0-13) ... Removing libzarith-ocaml (1.12-1) ... Removing linux-libc-dev:amd64 (5.15.5-2) ... Removing media-types (4.0.0) ... Removing ocaml-base-nox (4.11.1-5) ... Removing rpcsvc-proto (1.4.2-4) ... Processing triggers for libc-bin (2.33-2) ... 1m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'remove', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-11', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'emacs-bin-common', 'emacs-common', 'emacs-gtk', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-11', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'install-info', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-11-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libkmod2:amd64', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libm17n-0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libotf1:amd64', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'm17n-db', 'media-types', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'proofgeneral', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data', 'prooftree'] 1m23.7s INFO: Running scripts post_remove 1m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_remove_exceptions'] 1m23.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_remove_exceptions'] 1m23.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--purge', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-11', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'emacs-bin-common', 'emacs-common', 'emacs-gtk', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-11', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'install-info', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-11-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libkmod2:amd64', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libm17n-0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libotf1:amd64', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'm17n-db', 'media-types', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'proofgeneral', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data'] 1m24.2s DUMP: (Reading database ... 6750 files and directories currently installed.) Purging configuration files for adwaita-icon-theme (41.0-1) ... dpkg: warning: ignoring request to remove binutils which isn't installed dpkg: warning: ignoring request to remove binutils-common which isn't installed dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove coq which isn't installed dpkg: warning: ignoring request to remove coq-theories which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-11 which isn't installed Purging configuration files for dbus (1.12.20-3) ... rmdir: failed to remove '/var/run/dbus': No such file or directory rmdir: failed to remove '/var/lib/dbus': Directory not empty dpkg: warning: while removing dbus, directory '/var/lib/dbus' not empty so not removed dpkg: warning: ignoring request to remove dbus-bin which isn't installed Purging configuration files for dbus-daemon (1.12.20-3) ... dpkg: warning: ignoring request to remove dbus-session-bus-common which isn't installed dpkg: warning: ignoring request to remove dbus-system-bus-common which isn't installed Purging configuration files for dbus-user-session (1.12.20-3) ... dpkg: warning: ignoring request to remove dconf-gsettings-backend which isn't installed dpkg: warning: ignoring request to remove dconf-service which isn't installed dpkg: warning: ignoring request to remove dmsetup which isn't installed dpkg: warning: ignoring request to remove emacs-bin-common which isn't installed Purging configuration files for emacs-common (1:27.1+1-3.1) ... dpkg: warning: ignoring request to remove emacs-gtk which isn't installed Purging configuration files for emacsen-common (3.0.4) ... Purging configuration files for fontconfig (2.13.1-4.2) ... Purging configuration files for fontconfig-config (2.13.1-4.2) ... Purging configuration files for fonts-dejavu-core (2.37-2) ... dpkg: warning: while removing fonts-dejavu-core, directory '/usr/share/fonts/truetype/dejavu' not empty so not removed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-11 which isn't installed dpkg: warning: ignoring request to remove gtk-update-icon-cache which isn't installed dpkg: warning: ignoring request to remove hicolor-icon-theme which isn't installed dpkg: warning: ignoring request to remove install-info which isn't installed dpkg: warning: ignoring request to remove libapparmor1 which isn't installed dpkg: warning: ignoring request to remove libargon2-1 which isn't installed dpkg: warning: ignoring request to remove libasan6 which isn't installed dpkg: warning: ignoring request to remove libasound2 which isn't installed dpkg: warning: ignoring request to remove libasound2-data which isn't installed dpkg: warning: ignoring request to remove libatk-bridge2.0-0 which isn't installed dpkg: warning: ignoring request to remove libatk1.0-0 which isn't installed dpkg: warning: ignoring request to remove libatk1.0-data which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libatspi2.0-0 which isn't installed dpkg: warning: ignoring request to remove libavahi-client3 which isn't installed dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed dpkg: warning: ignoring request to remove libavahi-common3 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libbrotli1 which isn't installed dpkg: warning: ignoring request to remove libbsd0 which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcairo-gobject2 which isn't installed dpkg: warning: ignoring request to remove libcairo2 which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcolord2 which isn't installed dpkg: warning: ignoring request to remove libcoq-ocaml which isn't installed dpkg: warning: ignoring request to remove libcrypt-dev which isn't installed dpkg: warning: ignoring request to remove libcryptsetup12 which isn't installed dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libcups2 which isn't installed dpkg: warning: ignoring request to remove libdatrie1 which isn't installed dpkg: warning: ignoring request to remove libdbus-1-3 which isn't installed dpkg: warning: ignoring request to remove libdconf1 which isn't installed dpkg: warning: ignoring request to remove libdeflate0 which isn't installed dpkg: warning: ignoring request to remove libdevmapper1.02.1 which isn't installed dpkg: warning: ignoring request to remove libepoxy0 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.1-1) ... dpkg: warning: ignoring request to remove libfontconfig1 which isn't installed dpkg: warning: ignoring request to remove libfreetype6 which isn't installed dpkg: warning: ignoring request to remove libfribidi0 which isn't installed dpkg: warning: ignoring request to remove libgcc-11-dev which isn't installed dpkg: warning: ignoring request to remove libgd3 which isn't installed Purging configuration files for libgdk-pixbuf-2.0-0:amd64 (2.42.6+dfsg-2) ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed dpkg: warning: ignoring request to remove libgif7 which isn't installed Purging configuration files for libglib2.0-0:amd64 (2.70.2-1) ... dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgpm2 which isn't installed dpkg: warning: ignoring request to remove libgraphite2-3 which isn't installed Purging configuration files for libgtk-3-0:amd64 (3.24.31-1) ... Purging configuration files for libgtk-3-common (3.24.31-1) ... Purging configuration files for libgtk2.0-0:amd64 (2.24.33-2) ... Purging configuration files for libgtk2.0-common (2.24.33-2) ... dpkg: warning: ignoring request to remove libharfbuzz0b which isn't installed dpkg: warning: ignoring request to remove libice6 which isn't installed dpkg: warning: ignoring request to remove libicu67 which isn't installed dpkg: warning: ignoring request to remove libip4tc2 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libjbig0 which isn't installed dpkg: warning: ignoring request to remove libjpeg62-turbo which isn't installed dpkg: warning: ignoring request to remove libjson-c5 which isn't installed dpkg: warning: ignoring request to remove libkmod2 which isn't installed dpkg: warning: ignoring request to remove liblcms2-2 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libm17n-0 which isn't installed dpkg: warning: ignoring request to remove libmd0 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpdec3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl-dev which isn't installed dpkg: warning: ignoring request to remove libotf1 which isn't installed dpkg: warning: ignoring request to remove libpam-systemd which isn't installed dpkg: warning: ignoring request to remove libpango-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpangocairo-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpangoft2-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpixman-1-0 which isn't installed dpkg: warning: ignoring request to remove libpng16-16 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.9-minimal:amd64 (3.9.9-3) ... dpkg: warning: ignoring request to remove libpython3.9-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libreadline8 which isn't installed dpkg: warning: ignoring request to remove librsvg2-2 which isn't installed dpkg: warning: ignoring request to remove libsm6 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libthai-data which isn't installed dpkg: warning: ignoring request to remove libthai0 which isn't installed dpkg: warning: ignoring request to remove libtiff5 which isn't installed dpkg: warning: ignoring request to remove libtirpc-dev which isn't installed dpkg: warning: ignoring request to remove libtsan0 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libwayland-client0 which isn't installed dpkg: warning: ignoring request to remove libwayland-cursor0 which isn't installed dpkg: warning: ignoring request to remove libwayland-egl1 which isn't installed dpkg: warning: ignoring request to remove libwebp6 which isn't installed dpkg: warning: ignoring request to remove libx11-6 which isn't installed dpkg: warning: ignoring request to remove libx11-data which isn't installed dpkg: warning: ignoring request to remove libxau6 which isn't installed dpkg: warning: ignoring request to remove libxcb-render0 which isn't installed dpkg: warning: ignoring request to remove libxcb-shm0 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxcomposite1 which isn't installed dpkg: warning: ignoring request to remove libxcursor1 which isn't installed dpkg: warning: ignoring request to remove libxdamage1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libxext6 which isn't installed dpkg: warning: ignoring request to remove libxfixes3 which isn't installed dpkg: warning: ignoring request to remove libxft2 which isn't installed dpkg: warning: ignoring request to remove libxi6 which isn't installed dpkg: warning: ignoring request to remove libxinerama1 which isn't installed dpkg: warning: ignoring request to remove libxkbcommon0 which isn't installed dpkg: warning: ignoring request to remove libxml2 which isn't installed dpkg: warning: ignoring request to remove libxpm4 which isn't installed dpkg: warning: ignoring request to remove libxrandr2 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove libxt6 which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed dpkg: warning: ignoring request to remove m17n-db which isn't installed Purging configuration files for media-types (4.0.0) ... Purging configuration files for mmm-mode (0.5.8-2) ... dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed Purging configuration files for ocaml-nox (4.11.1-5) ... Purging configuration files for proofgeneral (4.4.1~pre170114-1.2) ... Purging configuration files for python3 (3.9.8-1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.9 which isn't installed Purging configuration files for python3.9-minimal (3.9.9-3) ... Purging configuration files for readline-common (8.1.2-1) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed dpkg: warning: ignoring request to remove sensible-utils which isn't installed Purging configuration files for shared-mime-info (2.0-1) ... Purging configuration files for systemd (249.7-1) ... dpkg: warning: ignoring request to remove systemd-sysv which isn't installed Purging configuration files for ucf (3.0043) ... Purging configuration files for x11-common (1:7.7+23) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed 1m24.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--purge', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-11', 'dbus', 'dbus-bin', 'dbus-daemon', 'dbus-session-bus-common', 'dbus-system-bus-common', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'emacs-bin-common', 'emacs-common', 'emacs-gtk', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-11', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'install-info', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-11-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libkmod2:amd64', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libm17n-0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libotf1:amd64', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'm17n-db', 'media-types', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'proofgeneral', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'rpcsvc-proto', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data'] 1m24.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--purge', 'prooftree'] 1m24.2s DUMP: dpkg: warning: ignoring request to remove prooftree which isn't installed 1m24.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--purge', 'prooftree'] 1m24.2s INFO: Running scripts post_purge 1m24.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_purge_exceptions'] 1m24.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_purge_exceptions'] 1m24.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--purge', '--pending'] 1m24.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--purge', '--pending'] 1m24.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--remove', '--pending'] 1m24.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg', '--remove', '--pending'] 1m24.2s INFO: Running scripts post_test 1m24.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_test_exceptions'] 1m24.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'tmp/scripts/post_test_exceptions'] 1m24.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m24.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m24.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg-divert', '--list'] 1m24.5s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 1m24.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'dpkg-divert', '--list'] 1m24.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'clean'] 1m24.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7', 'apt-get', 'clean'] 1m24.6s DEBUG: Recording chroot state 1m25.0s INFO: Warning: Package purging left files on system: /usr/local/share/fonts/ not owned /usr/local/share/fonts/.uuid not owned /usr/share/fonts/ owned by: fonts-dejavu-core /usr/share/fonts/.uuid not owned /usr/share/fonts/truetype/ owned by: fonts-dejavu-core /usr/share/fonts/truetype/.uuid not owned /usr/share/fonts/truetype/dejavu/ owned by: fonts-dejavu-core /usr/share/fonts/truetype/dejavu/.uuid not owned 1m25.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/shm'] 1m25.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/shm'] 1m25.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/console'] 1m25.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/console'] 1m25.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/ptmx'] 1m25.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/ptmx'] 1m25.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/pts'] 1m25.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/dev/pts'] 1m25.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/proc'] 1m25.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7/proc'] 1m25.4s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m25.5s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmphzq9dnq7'] 1m25.5s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmphzq9dnq7 1m25.5s INFO: PASS: Upgrading between Debian distributions. 1m25.5s INFO: PASS: All tests. 1m25.5s INFO: piuparts run ends. ret=0 End: 2022-01-11 04:14:36 GMT