Start: 2024-03-07 22:54:19 GMT [bullseye] Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b1 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.32), 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+b1_amd64.deb Size: 1086312 MD5sum: fb8ac8f8a4298c5c5cdd21ba9a51efd7 SHA256: 2fc089bfa925b16a1d123728241eca06a24ceb33c73c2b13d683e4e4e2f27fef [bullseye-next] Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b1 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.32), 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+b1_amd64.deb Size: 1086312 MD5sum: fb8ac8f8a4298c5c5cdd21ba9a51efd7 SHA256: 2fc089bfa925b16a1d123728241eca06a24ceb33c73c2b13d683e4e4e2f27fef 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 --warn-on-usr-move fail --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz -d bullseye -d bullseye-next -B /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat --apt prooftree=0.13-2+b1 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.3.1~202401311821~1.3-2-g28295102 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 --warn-on-usr-move fail --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz -d bullseye -d bullseye-next -B /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat --apt prooftree=0.13-2+b1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-28-amd64 #1 SMP Debian 5.10.209-2 (2024-01-31) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpc3euhiht 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpc3euhiht 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz'] 0m0.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/proc'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/proc'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/pts'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ bullseye main 0m0.5s DEBUG: Created policy-rc.d and chmodded it. 0m0.5s DEBUG: Created resolv.conf. 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpc3euhiht/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'update'] 0m1.7s DUMP: Hit:1 http://deb.debian.org/debian bullseye InRelease Reading package lists... 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'update'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.6s DUMP: 29fcf27583012b383113cec2bf757015 - 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.6s INFO: Running scripts post_setup 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_dummy_users'] 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_dummy_users'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_forbid_home'] 0m3.6s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_forbid_home'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.6s 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' 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_minimize'] 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_minimize'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.7s DUMP: install ok installed adduser adduser 3.118+deb11u1 install ok installed apt apt 2.2.4 install ok installed base-files base-files 11.1+deb11u9 install ok installed base-passwd base-passwd 3.5.51 install ok installed bash bash 5.1-2+deb11u1 install ok installed bsdutils bsdutils 1:2.36.1-8+deb11u1 install ok installed coreutils coreutils 8.32-4+b1 install ok installed dash dash 0.5.11+git20200708+dd9ef66-5 install ok installed debconf debconf 1.5.77 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1+deb11u1 install ok installed debianutils debianutils 4.11.2 install ok installed diffutils diffutils 1:3.7-5 install ok installed dpkg dpkg 1.20.13 install ok installed e2fsprogs e2fsprogs 1.46.2-2 install ok installed findutils findutils 4.8.0-1 install ok installed gcc-10-base:amd64 gcc-10-base 10.2.1-6 install ok installed gcc-9-base:amd64 gcc-9-base 9.3.0-22 install ok installed gpgv gpgv 2.2.27-2+deb11u2 install ok installed grep grep 3.6-1+deb11u1 install ok installed gzip gzip 1.10-4+deb11u1 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.60 install ok installed libacl1:amd64 libacl1 2.2.53-10 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.2.4 install ok installed libattr1:amd64 libattr1 1:2.4.48-6 install ok installed libaudit-common libaudit-common 1:3.0-2 install ok installed libaudit1:amd64 libaudit1 1:3.0-2 install ok installed libblkid1:amd64 libblkid1 2.36.1-8+deb11u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-4 install ok installed libc-bin libc-bin 2.31-13+deb11u8 install ok installed libc6:amd64 libc6 2.31-13+deb11u8 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.2+b1 install ok installed libcom-err2:amd64 libcom-err2 1.46.2-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.18-4 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.8 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.260 install ok installed libext2fs2:amd64 libext2fs2 1.46.2-2 install ok installed libffi7:amd64 libffi7 3.3-6 install ok installed libgcc-s1:amd64 libgcc-s1 10.2.1-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.7-6 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-1+deb11u1 install ok installed libgnutls30:amd64 libgnutls30 3.7.1-5+deb11u4 install ok installed libgpg-error0:amd64 libgpg-error0 1.38-2 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.18.3-6+deb11u4 install ok installed libhogweed6:amd64 libhogweed6 3.7.3-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.0-5 install ok installed libk5crypto3:amd64 libk5crypto3 1.18.3-6+deb11u4 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-6+deb11u4 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-6+deb11u4 install ok installed liblz4-1:amd64 liblz4-1 1.9.3-2 install ok installed liblzma5:amd64 liblzma5 5.2.5-2.1~deb11u1 install ok installed libmount1:amd64 libmount1 2.36.1-8+deb11u1 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.23.22-1 install ok installed libpam-modules:amd64 libpam-modules 1.4.0-9+deb11u1 install ok installed libpam-modules-bin libpam-modules-bin 1.4.0-9+deb11u1 install ok installed libpam-runtime libpam-runtime 1.4.0-9+deb11u1 install ok installed libpam0g:amd64 libpam0g 1.4.0-9+deb11u1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.36-2+deb11u1 install ok installed libpcre3:amd64 libpcre3 2:8.39-13 install ok installed libseccomp2:amd64 libseccomp2 2.5.1-1+deb11u1 install ok installed libselinux1:amd64 libselinux1 3.1-3 install ok installed libsemanage-common libsemanage-common 3.1-1 install ok installed libsemanage1:amd64 libsemanage1 3.1-1+b2 install ok installed libsepol1:amd64 libsepol1 3.1-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.36.1-8+deb11u1 install ok installed libss2:amd64 libss2 1.46.2-2 install ok installed libssl1.1:amd64 libssl1.1 1.1.1w-0+deb11u1 install ok installed libstdc++6:amd64 libstdc++6 10.2.1-6 install ok installed libsystemd0:amd64 libsystemd0 247.3-7+deb11u4 install ok installed libtasn1-6:amd64 libtasn1-6 4.16.0-2+deb11u1 install ok installed libtinfo6:amd64 libtinfo6 6.2+20201114-2+deb11u2 install ok installed libtirpc-common libtirpc-common 1.3.1-1+deb11u1 install ok installed libtirpc3:amd64 libtirpc3 1.3.1-1+deb11u1 install ok installed libudev1:amd64 libudev1 247.3-7+deb11u4 install ok installed libunistring2:amd64 libunistring2 0.9.10-4 install ok installed libuuid1:amd64 libuuid1 2.36.1-8+deb11u1 install ok installed libxxhash0:amd64 libxxhash0 0.8.0-2 install ok installed libzstd1:amd64 libzstd1 1.4.8+dfsg-2.1 install ok installed login login 1:4.8.1-1 install ok installed logsave logsave 1.46.2-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.36.1-8+deb11u1 install ok installed ncurses-base ncurses-base 6.2+20201114-2+deb11u2 install ok installed ncurses-bin ncurses-bin 6.2+20201114-2+deb11u2 install ok installed passwd passwd 1:4.8.1-1 install ok installed perl-base perl-base 5.32.1-4+deb11u3 install ok installed sed sed 4.7-1 install ok installed sysvinit-utils sysvinit-utils 2.96-7+deb11u1 install ok installed tar tar 1.34+dfsg-1+deb11u1 install ok installed tzdata tzdata 2024a-0+deb11u1 install ok installed util-linux util-linux 2.36.1-8+deb11u1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2+deb11u2 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.7s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat 0m3.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 0m4.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 0m4.2s INFO: Running scripts is_testable 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s INFO: Running scripts pre_test 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_test_root_password'] 0m4.2s DUMP: New password: Retype new password: passwd: password updated successfully 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_test_root_password'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m4.5s DUMP: Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b1 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.32), 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+b1_amd64.deb Size: 1086312 MD5sum: fb8ac8f8a4298c5c5cdd21ba9a51efd7 SHA256: 2fc089bfa925b16a1d123728241eca06a24ceb33c73c2b13d683e4e4e2f27fef 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m4.5s INFO: apt-cache knows about the following packages: prooftree 0m4.5s INFO: Running scripts pre_install 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy'] 0m4.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.9,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy', 'prooftree'] 0m4.6s DUMP: prooftree: Installed: (none) Candidate: 0.13-2+b1 Version table: 0.13-2+b1 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy', 'prooftree'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-y', 'install', 'prooftree'] 1m9.2s 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-10 dbus 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-10 glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas 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 libcairo2-ocaml libcap2 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-10-dev libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.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 libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libice6 libicu67 libip4tc2 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libm17n-0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libnum-ocaml libotf0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librest-0.7-0 librsvg2-2 libsm6 libsoup-gnome2.4-1 libsoup2.4-1 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 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 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-10-locales emacs-common-non-dfsg ncurses-term gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-10-multilib gcc-10-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 publicsuffix 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-10 dbus 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-10 glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas 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 libcairo2-ocaml libcap2 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-10-dev libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.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 libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libice6 libicu67 libip4tc2 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libm17n-0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libnum-ocaml libotf0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librest-0.7-0 librsvg2-2 libsm6 libsoup-gnome2.4-1 libsoup2.4-1 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 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 sensible-utils shared-mime-info systemd systemd-sysv ucf x11-common xkb-data 0 upgraded, 189 newly installed, 0 to remove and 0 not upgraded. Need to get 375 MB of archives. After this operation, 1687 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bullseye/main amd64 install-info amd64 6.7.0.dfsg.2-6 [151 kB] Get:2 http://deb.debian.org/debian bullseye/main amd64 libapparmor1 amd64 2.13.6-10 [99.3 kB] Get:3 http://deb.debian.org/debian bullseye/main amd64 libcap2 amd64 1:2.44-1 [23.6 kB] Get:4 http://deb.debian.org/debian bullseye/main amd64 libargon2-1 amd64 0~20171227-0.2 [19.6 kB] Get:5 http://deb.debian.org/debian bullseye/main amd64 dmsetup amd64 2:1.02.175-2.1 [92.1 kB] Get:6 http://deb.debian.org/debian bullseye/main amd64 libdevmapper1.02.1 amd64 2:1.02.175-2.1 [143 kB] Get:7 http://deb.debian.org/debian bullseye/main amd64 libjson-c5 amd64 0.15-2+deb11u1 [42.9 kB] Get:8 http://deb.debian.org/debian bullseye/main amd64 libcryptsetup12 amd64 2:2.3.7-1+deb11u1 [248 kB] Get:9 http://deb.debian.org/debian bullseye/main amd64 libip4tc2 amd64 1.8.7-1 [34.6 kB] Get:10 http://deb.debian.org/debian bullseye/main amd64 libkmod2 amd64 28-1 [55.6 kB] Get:11 http://deb.debian.org/debian bullseye/main amd64 systemd amd64 247.3-7+deb11u4 [4502 kB] Get:12 http://deb.debian.org/debian bullseye/main amd64 systemd-sysv amd64 247.3-7+deb11u4 [114 kB] Get:13 http://deb.debian.org/debian bullseye/main amd64 libdbus-1-3 amd64 1.12.28-0+deb11u1 [223 kB] Get:14 http://deb.debian.org/debian bullseye/main amd64 libexpat1 amd64 2.2.10-2+deb11u5 [98.2 kB] Get:15 http://deb.debian.org/debian bullseye/main amd64 dbus amd64 1.12.28-0+deb11u1 [244 kB] Get:16 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-minimal amd64 3.9.2-1 [801 kB] Get:17 http://deb.debian.org/debian bullseye/main amd64 python3.9-minimal amd64 3.9.2-1 [1955 kB] Get:18 http://deb.debian.org/debian bullseye/main amd64 python3-minimal amd64 3.9.2-3 [38.2 kB] Get:19 http://deb.debian.org/debian bullseye/main amd64 media-types all 4.0.0 [30.3 kB] Get:20 http://deb.debian.org/debian bullseye/main amd64 libmpdec3 amd64 2.5.1-1 [87.7 kB] Get:21 http://deb.debian.org/debian bullseye/main amd64 libncursesw6 amd64 6.2+20201114-2+deb11u2 [132 kB] Get:22 http://deb.debian.org/debian bullseye/main amd64 readline-common all 8.1-1 [73.7 kB] Get:23 http://deb.debian.org/debian bullseye/main amd64 libreadline8 amd64 8.1-1 [169 kB] Get:24 http://deb.debian.org/debian bullseye/main amd64 libsqlite3-0 amd64 3.34.1-3 [797 kB] Get:25 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-stdlib amd64 3.9.2-1 [1684 kB] Get:26 http://deb.debian.org/debian bullseye/main amd64 python3.9 amd64 3.9.2-1 [466 kB] Get:27 http://deb.debian.org/debian bullseye/main amd64 libpython3-stdlib amd64 3.9.2-3 [21.4 kB] Get:28 http://deb.debian.org/debian bullseye/main amd64 python3 amd64 3.9.2-3 [37.9 kB] Get:29 http://deb.debian.org/debian bullseye/main amd64 sensible-utils all 0.0.14 [14.8 kB] Get:30 http://deb.debian.org/debian bullseye/main amd64 libpam-systemd amd64 247.3-7+deb11u4 [283 kB] Get:31 http://deb.debian.org/debian bullseye/main amd64 ucf all 3.0043 [74.0 kB] Get:32 http://deb.debian.org/debian bullseye/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get:33 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf2.0-common all 2.42.2+dfsg-1+deb11u1 [320 kB] Get:34 http://deb.debian.org/debian bullseye/main amd64 libglib2.0-0 amd64 2.66.8-1+deb11u1 [1374 kB] Get:35 http://deb.debian.org/debian bullseye/main amd64 libicu67 amd64 67.1-7 [8622 kB] Get:36 http://deb.debian.org/debian bullseye/main amd64 libxml2 amd64 2.9.10+dfsg-6.7+deb11u4 [693 kB] Get:37 http://deb.debian.org/debian bullseye/main amd64 shared-mime-info amd64 2.0-1 [701 kB] Get:38 http://deb.debian.org/debian bullseye/main amd64 libjpeg62-turbo amd64 1:2.0.6-4 [151 kB] Get:39 http://deb.debian.org/debian bullseye/main amd64 libpng16-16 amd64 1.6.37-3 [294 kB] Get:40 http://deb.debian.org/debian bullseye/main amd64 libdeflate0 amd64 1.7-1 [53.1 kB] Get:41 http://deb.debian.org/debian bullseye/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:42 http://deb.debian.org/debian bullseye/main amd64 libwebp6 amd64 0.6.1-2.1+deb11u2 [259 kB] Get:43 http://deb.debian.org/debian bullseye/main amd64 libtiff5 amd64 4.2.0-1+deb11u5 [290 kB] Get:44 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.2+dfsg-1+deb11u1 [147 kB] Get:45 http://deb.debian.org/debian bullseye/main amd64 gtk-update-icon-cache amd64 3.24.24-4+deb11u3 [88.4 kB] Get:46 http://deb.debian.org/debian bullseye/main amd64 adwaita-icon-theme all 3.38.0-1 [10.9 MB] Get:47 http://deb.debian.org/debian bullseye/main amd64 binutils-common amd64 2.35.2-2 [2220 kB] Get:48 http://deb.debian.org/debian bullseye/main amd64 libbinutils amd64 2.35.2-2 [570 kB] Get:49 http://deb.debian.org/debian bullseye/main amd64 libctf-nobfd0 amd64 2.35.2-2 [110 kB] Get:50 http://deb.debian.org/debian bullseye/main amd64 libctf0 amd64 2.35.2-2 [53.2 kB] Get:51 http://deb.debian.org/debian bullseye/main amd64 binutils-x86-64-linux-gnu amd64 2.35.2-2 [1809 kB] Get:52 http://deb.debian.org/debian bullseye/main amd64 binutils amd64 2.35.2-2 [61.2 kB] Get:53 http://deb.debian.org/debian bullseye/main amd64 coq-theories amd64 8.12.0-3+b3 [36.5 MB] Get:54 http://deb.debian.org/debian bullseye/main amd64 ocaml-base-nox amd64 4.11.1-4 [707 kB] Get:55 http://deb.debian.org/debian bullseye/main amd64 libbrotli1 amd64 1.0.9-2+b2 [279 kB] Get:56 http://deb.debian.org/debian bullseye/main amd64 libfreetype6 amd64 2.10.4+dfsg-1+deb11u1 [418 kB] Get:57 http://deb.debian.org/debian bullseye/main amd64 fonts-dejavu-core all 2.37-2 [1069 kB] Get:58 http://deb.debian.org/debian bullseye/main amd64 fontconfig-config all 2.13.1-4.2 [281 kB] Get:59 http://deb.debian.org/debian bullseye/main amd64 libfontconfig1 amd64 2.13.1-4.2 [347 kB] Get:60 http://deb.debian.org/debian bullseye/main amd64 libpixman-1-0 amd64 0.40.0-1.1~deb11u1 [543 kB] Get:61 http://deb.debian.org/debian bullseye/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get:62 http://deb.debian.org/debian bullseye/main amd64 libmd0 amd64 1.0.3-3 [28.0 kB] Get:63 http://deb.debian.org/debian bullseye/main amd64 libbsd0 amd64 0.11.3-1+deb11u1 [108 kB] Get:64 http://deb.debian.org/debian bullseye/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:65 http://deb.debian.org/debian bullseye/main amd64 libxcb1 amd64 1.14-3 [140 kB] Get:66 http://deb.debian.org/debian bullseye/main amd64 libx11-data all 2:1.7.2-1+deb11u2 [311 kB] Get:67 http://deb.debian.org/debian bullseye/main amd64 libx11-6 amd64 2:1.7.2-1+deb11u2 [772 kB] Get:68 http://deb.debian.org/debian bullseye/main amd64 libxcb-render0 amd64 1.14-3 [111 kB] Get:69 http://deb.debian.org/debian bullseye/main amd64 libxcb-shm0 amd64 1.14-3 [101 kB] Get:70 http://deb.debian.org/debian bullseye/main amd64 libxext6 amd64 2:1.3.3-1.1 [52.7 kB] Get:71 http://deb.debian.org/debian bullseye/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:72 http://deb.debian.org/debian bullseye/main amd64 libcairo2 amd64 1.16.0-5 [694 kB] Get:73 http://deb.debian.org/debian bullseye/main amd64 libcairo2-ocaml amd64 0.6.2+dfsg-1 [23.8 kB] Get:74 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf-xlib-2.0-0 amd64 2.40.2-2 [47.9 kB] Get:75 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf2.0-0 amd64 2.40.2-2 [14.1 kB] Get:76 http://deb.debian.org/debian bullseye/main amd64 libatk1.0-data all 2.36.0-2 [149 kB] Get:77 http://deb.debian.org/debian bullseye/main amd64 libatk1.0-0 amd64 2.36.0-2 [52.2 kB] Get:78 http://deb.debian.org/debian bullseye/main amd64 libatspi2.0-0 amd64 2.38.0-4+deb11u1 [72.4 kB] Get:79 http://deb.debian.org/debian bullseye/main amd64 libatk-bridge2.0-0 amd64 2.38.0-1 [64.6 kB] Get:80 http://deb.debian.org/debian bullseye/main amd64 libcairo-gobject2 amd64 1.16.0-5 [125 kB] Get:81 http://deb.debian.org/debian bullseye/main amd64 liblcms2-2 amd64 2.12~rc1-2 [150 kB] Get:82 http://deb.debian.org/debian bullseye/main amd64 libcolord2 amd64 1.4.5-3 [144 kB] Get:83 http://deb.debian.org/debian bullseye/main amd64 libavahi-common-data amd64 0.8-5+deb11u2 [124 kB] Get:84 http://deb.debian.org/debian bullseye/main amd64 libavahi-common3 amd64 0.8-5+deb11u2 [58.7 kB] Get:85 http://deb.debian.org/debian bullseye/main amd64 libavahi-client3 amd64 0.8-5+deb11u2 [62.6 kB] Get:86 http://deb.debian.org/debian bullseye/main amd64 libcups2 amd64 2.3.3op2-3+deb11u6 [351 kB] Get:87 http://deb.debian.org/debian bullseye/main amd64 libepoxy0 amd64 1.5.5-1 [193 kB] Get:88 http://deb.debian.org/debian bullseye/main amd64 libfribidi0 amd64 1.0.8-2+deb11u1 [64.9 kB] Get:89 http://deb.debian.org/debian bullseye/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get:90 http://deb.debian.org/debian bullseye/main amd64 libharfbuzz0b amd64 2.7.4-1 [1471 kB] Get:91 http://deb.debian.org/debian bullseye/main amd64 libjson-glib-1.0-common all 1.6.2-1 [56.9 kB] Get:92 http://deb.debian.org/debian bullseye/main amd64 libjson-glib-1.0-0 amd64 1.6.2-1 [65.4 kB] Get:93 http://deb.debian.org/debian bullseye/main amd64 fontconfig amd64 2.13.1-4.2 [417 kB] Get:94 http://deb.debian.org/debian bullseye/main amd64 libthai-data all 0.1.28-3 [170 kB] Get:95 http://deb.debian.org/debian bullseye/main amd64 libdatrie1 amd64 0.2.13-1 [42.7 kB] Get:96 http://deb.debian.org/debian bullseye/main amd64 libthai0 amd64 0.1.28-3 [54.2 kB] Get:97 http://deb.debian.org/debian bullseye/main amd64 libpango-1.0-0 amd64 1.46.2-3 [191 kB] Get:98 http://deb.debian.org/debian bullseye/main amd64 libpangoft2-1.0-0 amd64 1.46.2-3 [62.2 kB] Get:99 http://deb.debian.org/debian bullseye/main amd64 libpangocairo-1.0-0 amd64 1.46.2-3 [50.6 kB] Get:100 http://deb.debian.org/debian bullseye/main amd64 libproxy1v5 amd64 0.4.17-1 [59.5 kB] Get:101 http://deb.debian.org/debian bullseye/main amd64 glib-networking-common all 2.66.0-2 [68.1 kB] Get:102 http://deb.debian.org/debian bullseye/main amd64 glib-networking-services amd64 2.66.0-2 [17.5 kB] Get:103 http://deb.debian.org/debian bullseye/main amd64 dbus-user-session amd64 1.12.28-0+deb11u1 [100 kB] Get:104 http://deb.debian.org/debian bullseye/main amd64 libdconf1 amd64 0.38.0-2 [43.5 kB] Get:105 http://deb.debian.org/debian bullseye/main amd64 dconf-service amd64 0.38.0-2 [37.4 kB] Get:106 http://deb.debian.org/debian bullseye/main amd64 dconf-gsettings-backend amd64 0.38.0-2 [30.6 kB] Get:107 http://deb.debian.org/debian bullseye/main amd64 gsettings-desktop-schemas all 3.38.0-2 [588 kB] Get:108 http://deb.debian.org/debian bullseye/main amd64 glib-networking amd64 2.66.0-2 [67.6 kB] Get:109 http://deb.debian.org/debian bullseye/main amd64 libpsl5 amd64 0.21.0-1.2 [57.3 kB] Get:110 http://deb.debian.org/debian bullseye/main amd64 libsoup2.4-1 amd64 2.72.0-2 [280 kB] Get:111 http://deb.debian.org/debian bullseye/main amd64 libsoup-gnome2.4-1 amd64 2.72.0-2 [22.2 kB] Get:112 http://deb.debian.org/debian bullseye/main amd64 librest-0.7-0 amd64 0.8.1-1.1 [33.8 kB] Get:113 http://deb.debian.org/debian bullseye/main amd64 libwayland-client0 amd64 1.18.0-2~exp1.1 [26.9 kB] Get:114 http://deb.debian.org/debian bullseye/main amd64 libwayland-cursor0 amd64 1.18.0-2~exp1.1 [14.6 kB] Get:115 http://deb.debian.org/debian bullseye/main amd64 libwayland-egl1 amd64 1.18.0-2~exp1.1 [8448 B] Get:116 http://deb.debian.org/debian bullseye/main amd64 libxcomposite1 amd64 1:0.4.5-1 [16.6 kB] Get:117 http://deb.debian.org/debian bullseye/main amd64 libxfixes3 amd64 1:5.0.3-2 [22.1 kB] Get:118 http://deb.debian.org/debian bullseye/main amd64 libxcursor1 amd64 1:1.2.0-2 [37.3 kB] Get:119 http://deb.debian.org/debian bullseye/main amd64 libxdamage1 amd64 1:1.1.5-2 [15.7 kB] Get:120 http://deb.debian.org/debian bullseye/main amd64 libxi6 amd64 2:1.7.10-1 [83.4 kB] Get:121 http://deb.debian.org/debian bullseye/main amd64 libxinerama1 amd64 2:1.1.4-2 [17.7 kB] Get:122 http://deb.debian.org/debian bullseye/main amd64 xkb-data all 2.29-2 [655 kB] Get:123 http://deb.debian.org/debian bullseye/main amd64 libxkbcommon0 amd64 1.0.3-2 [101 kB] Get:124 http://deb.debian.org/debian bullseye/main amd64 libxrandr2 amd64 2:1.5.1-1 [37.5 kB] Get:125 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-common all 3.24.24-4+deb11u3 [3757 kB] Get:126 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-0 amd64 3.24.24-4+deb11u3 [2716 kB] Get:127 http://deb.debian.org/debian bullseye/main amd64 liblablgtk3-ocaml amd64 3.1.1+official-1+b1 [2910 kB] Get:128 http://deb.debian.org/debian bullseye/main amd64 libgtksourceview-3.0-common all 3.24.11-2 [285 kB] Get:129 http://deb.debian.org/debian bullseye/main amd64 libgtksourceview-3.0-1 amd64 3.24.11-2 [238 kB] Get:130 http://deb.debian.org/debian bullseye/main amd64 liblablgtksourceview3-ocaml amd64 3.1.1+official-1+b1 [291 kB] Get:131 http://deb.debian.org/debian bullseye/main amd64 libnum-ocaml amd64 1.4-1 [171 kB] Get:132 http://deb.debian.org/debian bullseye/main amd64 libcoq-ocaml amd64 8.12.0-3+b3 [7758 kB] Get:133 http://deb.debian.org/debian bullseye/main amd64 libncurses6 amd64 6.2+20201114-2+deb11u2 [102 kB] Get:134 http://deb.debian.org/debian bullseye/main amd64 libc-dev-bin amd64 2.31-13+deb11u8 [276 kB] Get:135 http://deb.debian.org/debian bullseye/main amd64 linux-libc-dev amd64 5.10.209-2 [1698 kB] Get:136 http://deb.debian.org/debian bullseye/main amd64 libcrypt-dev amd64 1:4.4.18-4 [104 kB] Get:137 http://deb.debian.org/debian bullseye/main amd64 libtirpc-dev amd64 1.3.1-1+deb11u1 [191 kB] Get:138 http://deb.debian.org/debian bullseye/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:139 http://deb.debian.org/debian bullseye/main amd64 libc6-dev amd64 2.31-13+deb11u8 [2361 kB] Get:140 http://deb.debian.org/debian bullseye/main amd64 libncurses-dev amd64 6.2+20201114-2+deb11u2 [344 kB] Get:141 http://deb.debian.org/debian bullseye/main amd64 libncurses5-dev amd64 6.2+20201114-2+deb11u2 [948 B] Get:142 http://deb.debian.org/debian bullseye/main amd64 ocaml-compiler-libs amd64 4.11.1-4 [29.9 MB] Get:143 http://deb.debian.org/debian bullseye/main amd64 ocaml-interp amd64 4.11.1-4 [5861 kB] Get:144 http://deb.debian.org/debian bullseye/main amd64 libisl23 amd64 0.23-1 [676 kB] Get:145 http://deb.debian.org/debian bullseye/main amd64 libmpfr6 amd64 4.1.0-3 [2012 kB] Get:146 http://deb.debian.org/debian bullseye/main amd64 libmpc3 amd64 1.2.0-1 [45.0 kB] Get:147 http://deb.debian.org/debian bullseye/main amd64 cpp-10 amd64 10.2.1-6 [8528 kB] Get:148 http://deb.debian.org/debian bullseye/main amd64 cpp amd64 4:10.2.1-1 [19.7 kB] Get:149 http://deb.debian.org/debian bullseye/main amd64 libcc1-0 amd64 10.2.1-6 [47.0 kB] Get:150 http://deb.debian.org/debian bullseye/main amd64 libgomp1 amd64 10.2.1-6 [99.9 kB] Get:151 http://deb.debian.org/debian bullseye/main amd64 libitm1 amd64 10.2.1-6 [25.8 kB] Get:152 http://deb.debian.org/debian bullseye/main amd64 libatomic1 amd64 10.2.1-6 [9008 B] Get:153 http://deb.debian.org/debian bullseye/main amd64 libasan6 amd64 10.2.1-6 [2065 kB] Get:154 http://deb.debian.org/debian bullseye/main amd64 liblsan0 amd64 10.2.1-6 [828 kB] Get:155 http://deb.debian.org/debian bullseye/main amd64 libtsan0 amd64 10.2.1-6 [2000 kB] Get:156 http://deb.debian.org/debian bullseye/main amd64 libubsan1 amd64 10.2.1-6 [777 kB] Get:157 http://deb.debian.org/debian bullseye/main amd64 libquadmath0 amd64 10.2.1-6 [145 kB] Get:158 http://deb.debian.org/debian bullseye/main amd64 libgcc-10-dev amd64 10.2.1-6 [2328 kB] Get:159 http://deb.debian.org/debian bullseye/main amd64 gcc-10 amd64 10.2.1-6 [17.0 MB] Get:160 http://deb.debian.org/debian bullseye/main amd64 gcc amd64 4:10.2.1-1 [5192 B] Get:161 http://deb.debian.org/debian bullseye/main amd64 ocaml-nox amd64 4.11.1-4 [68.2 MB] Get:162 http://deb.debian.org/debian bullseye/main amd64 libfindlib-ocaml amd64 1.8.1-2 [193 kB] Get:163 http://deb.debian.org/debian bullseye/main amd64 ocaml-findlib amd64 1.8.1-2 [477 kB] Get:164 http://deb.debian.org/debian bullseye/main amd64 coq amd64 8.12.0-3+b3 [90.5 MB] Get:165 http://deb.debian.org/debian bullseye/main amd64 emacsen-common all 3.0.4 [19.3 kB] Get:166 http://deb.debian.org/debian bullseye/main amd64 emacs-common all 1:27.1+1-3.1+deb11u1 [13.7 MB] Get:167 http://deb.debian.org/debian bullseye/main amd64 emacs-bin-common amd64 1:27.1+1-3.1+deb11u1 [156 kB] Get:168 http://deb.debian.org/debian bullseye/main amd64 libasound2-data all 1.2.4-1.1 [38.2 kB] Get:169 http://deb.debian.org/debian bullseye/main amd64 libasound2 amd64 1.2.4-1.1 [356 kB] Get:170 http://deb.debian.org/debian bullseye/main amd64 libgif7 amd64 5.1.9-2 [45.1 kB] Get:171 http://deb.debian.org/debian bullseye/main amd64 libgpm2 amd64 1.20.7-8 [35.6 kB] Get:172 http://deb.debian.org/debian bullseye/main amd64 x11-common all 1:7.7+22 [252 kB] Get:173 http://deb.debian.org/debian bullseye/main amd64 libice6 amd64 2:1.0.10-1 [58.5 kB] Get:174 http://deb.debian.org/debian bullseye/main amd64 libjansson4 amd64 2.13.1-1.1 [39.7 kB] Get:175 http://deb.debian.org/debian bullseye/main amd64 m17n-db all 1.8.0-3 [1289 kB] Get:176 http://deb.debian.org/debian bullseye/main amd64 libxpm4 amd64 1:3.5.12-1.1+deb11u1 [50.0 kB] Get:177 http://deb.debian.org/debian bullseye/main amd64 libgd3 amd64 2.3.0-2 [137 kB] Get:178 http://deb.debian.org/debian bullseye/main amd64 libotf0 amd64 0.9.13-7 [53.7 kB] Get:179 http://deb.debian.org/debian bullseye/main amd64 libsm6 amd64 2:1.2.3-1 [35.1 kB] Get:180 http://deb.debian.org/debian bullseye/main amd64 libxft2 amd64 2.3.2-2 [57.2 kB] Get:181 http://deb.debian.org/debian bullseye/main amd64 libxt6 amd64 1:1.2.0-1 [189 kB] Get:182 http://deb.debian.org/debian bullseye/main amd64 libm17n-0 amd64 1.8.0-2 [255 kB] Get:183 http://deb.debian.org/debian bullseye/main amd64 librsvg2-2 amd64 2.50.3+dfsg-1+deb11u1 [2462 kB] Get:184 http://deb.debian.org/debian bullseye/main amd64 emacs-gtk amd64 1:27.1+1-3.1+deb11u1 [3318 kB] Get:185 http://deb.debian.org/debian bullseye/main amd64 libgtk2.0-common all 2.24.33-2 [2700 kB] Get:186 http://deb.debian.org/debian bullseye/main amd64 libgtk2.0-0 amd64 2.24.33-2 [1855 kB] Get:187 http://deb.debian.org/debian bullseye/main amd64 mmm-mode all 0.5.8-1 [107 kB] Get:188 http://deb.debian.org/debian bullseye/main amd64 proofgeneral all 4.4.1~pre170114-1.2 [603 kB] Get:189 http://deb.debian.org/debian bullseye/main amd64 prooftree amd64 0.13-2+b1 [1086 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 375 MB in 6s (66.5 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 ... 6672 files and directories currently installed.) Preparing to unpack .../install-info_6.7.0.dfsg.2-6_amd64.deb ... Unpacking install-info (6.7.0.dfsg.2-6) ... Setting up install-info (6.7.0.dfsg.2-6) ... 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 ... 6686 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.13.6-10_amd64.deb ... Unpacking libapparmor1:amd64 (2.13.6-10) ... Selecting previously unselected package libcap2:amd64. Preparing to unpack .../1-libcap2_1%3a2.44-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.44-1) ... Selecting previously unselected package libargon2-1:amd64. Preparing to unpack .../2-libargon2-1_0~20171227-0.2_amd64.deb ... Unpacking libargon2-1:amd64 (0~20171227-0.2) ... Selecting previously unselected package dmsetup. Preparing to unpack .../3-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 .../4-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 .../5-libjson-c5_0.15-2+deb11u1_amd64.deb ... Unpacking libjson-c5:amd64 (0.15-2+deb11u1) ... Selecting previously unselected package libcryptsetup12:amd64. Preparing to unpack .../6-libcryptsetup12_2%3a2.3.7-1+deb11u1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Selecting previously unselected package libip4tc2:amd64. Preparing to unpack .../7-libip4tc2_1.8.7-1_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.7-1) ... Selecting previously unselected package libkmod2:amd64. Preparing to unpack .../8-libkmod2_28-1_amd64.deb ... Unpacking libkmod2:amd64 (28-1) ... Selecting previously unselected package systemd. Preparing to unpack .../9-systemd_247.3-7+deb11u4_amd64.deb ... Unpacking systemd (247.3-7+deb11u4) ... Setting up libapparmor1:amd64 (2.13.6-10) ... Setting up libcap2:amd64 (1:2.44-1) ... Setting up libargon2-1:amd64 (0~20171227-0.2) ... Setting up libjson-c5:amd64 (0.15-2+deb11u1) ... Setting up libip4tc2:amd64 (1.8.7-1) ... Setting up libkmod2:amd64 (28-1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Setting up libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Setting up systemd (247.3-7+deb11u4) ... 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 ... 7543 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_247.3-7+deb11u4_amd64.deb ... Unpacking systemd-sysv (247.3-7+deb11u4) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../1-libdbus-1-3_1.12.28-0+deb11u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.28-0+deb11u1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../2-libexpat1_2.2.10-2+deb11u5_amd64.deb ... Unpacking libexpat1:amd64 (2.2.10-2+deb11u5) ... Selecting previously unselected package dbus. Preparing to unpack .../3-dbus_1.12.28-0+deb11u1_amd64.deb ... Unpacking dbus (1.12.28-0+deb11u1) ... Selecting previously unselected package libpython3.9-minimal:amd64. Preparing to unpack .../4-libpython3.9-minimal_3.9.2-1_amd64.deb ... Unpacking libpython3.9-minimal:amd64 (3.9.2-1) ... Selecting previously unselected package python3.9-minimal. Preparing to unpack .../5-python3.9-minimal_3.9.2-1_amd64.deb ... Unpacking python3.9-minimal (3.9.2-1) ... Setting up libpython3.9-minimal:amd64 (3.9.2-1) ... Setting up libexpat1:amd64 (2.2.10-2+deb11u5) ... Setting up python3.9-minimal (3.9.2-1) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7905 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.9.2-3_amd64.deb ... Unpacking python3-minimal (3.9.2-3) ... 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-1_amd64.deb ... Unpacking libmpdec3:amd64 (2.5.1-1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../3-libncursesw6_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncursesw6:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.1-1_all.deb ... Unpacking readline-common (8.1-1) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../5-libreadline8_8.1-1_amd64.deb ... Unpacking libreadline8:amd64 (8.1-1) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../6-libsqlite3-0_3.34.1-3_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.34.1-3) ... Selecting previously unselected package libpython3.9-stdlib:amd64. Preparing to unpack .../7-libpython3.9-stdlib_3.9.2-1_amd64.deb ... Unpacking libpython3.9-stdlib:amd64 (3.9.2-1) ... Selecting previously unselected package python3.9. Preparing to unpack .../8-python3.9_3.9.2-1_amd64.deb ... Unpacking python3.9 (3.9.2-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../9-libpython3-stdlib_3.9.2-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.9.2-3) ... Setting up python3-minimal (3.9.2-3) ... 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 ... 8343 files and directories currently installed.) Preparing to unpack .../000-python3_3.9.2-3_amd64.deb ... Unpacking python3 (3.9.2-3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../002-libpam-systemd_247.3-7+deb11u4_amd64.deb ... Unpacking libpam-systemd:amd64 (247.3-7+deb11u4) ... 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.2+dfsg-1+deb11u1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../006-libglib2.0-0_2.66.8-1+deb11u1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.8-1+deb11u1) ... 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.10+dfsg-6.7+deb11u4_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... 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.0.6-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.0.6-4) ... 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.7-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.7-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+deb11u2_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2.1+deb11u2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../015-libtiff5_4.2.0-1+deb11u5_amd64.deb ... Unpacking libtiff5:amd64 (4.2.0-1+deb11u5) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../016-libgdk-pixbuf-2.0-0_2.42.2+dfsg-1+deb11u1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../017-gtk-update-icon-cache_3.24.24-4+deb11u3_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.24-4+deb11u3) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../018-adwaita-icon-theme_3.38.0-1_all.deb ... Unpacking adwaita-icon-theme (3.38.0-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../019-binutils-common_2.35.2-2_amd64.deb ... Unpacking binutils-common:amd64 (2.35.2-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../020-libbinutils_2.35.2-2_amd64.deb ... Unpacking libbinutils:amd64 (2.35.2-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../021-libctf-nobfd0_2.35.2-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.35.2-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../022-libctf0_2.35.2-2_amd64.deb ... Unpacking libctf0:amd64 (2.35.2-2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../023-binutils-x86-64-linux-gnu_2.35.2-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.35.2-2) ... Selecting previously unselected package binutils. Preparing to unpack .../024-binutils_2.35.2-2_amd64.deb ... Unpacking binutils (2.35.2-2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../025-coq-theories_8.12.0-3+b3_amd64.deb ... Unpacking coq-theories (8.12.0-3+b3) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../026-ocaml-base-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../027-libbrotli1_1.0.9-2+b2_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../028-libfreetype6_2.10.4+dfsg-1+deb11u1_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../029-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../030-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 .../031-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 .../032-libpixman-1-0_0.40.0-1.1~deb11u1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../033-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 .../034-libmd0_1.0.3-3_amd64.deb ... Unpacking libmd0:amd64 (1.0.3-3) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../035-libbsd0_0.11.3-1+deb11u1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.3-1+deb11u1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../036-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 .../037-libxcb1_1.14-3_amd64.deb ... Unpacking libxcb1:amd64 (1.14-3) ... Selecting previously unselected package libx11-data. Preparing to unpack .../038-libx11-data_2%3a1.7.2-1+deb11u2_all.deb ... Unpacking libx11-data (2:1.7.2-1+deb11u2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../039-libx11-6_2%3a1.7.2-1+deb11u2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.7.2-1+deb11u2) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../040-libxcb-render0_1.14-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-3) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../041-libxcb-shm0_1.14-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../042-libxext6_2%3a1.3.3-1.1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1.1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../043-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 .../044-libcairo2_1.16.0-5_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../045-libcairo2-ocaml_0.6.2+dfsg-1_amd64.deb ... Unpacking libcairo2-ocaml (0.6.2+dfsg-1) ... Selecting previously unselected package libgdk-pixbuf-xlib-2.0-0:amd64. Preparing to unpack .../046-libgdk-pixbuf-xlib-2.0-0_2.40.2-2_amd64.deb ... Unpacking libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../047-libgdk-pixbuf2.0-0_2.40.2-2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../048-libatk1.0-data_2.36.0-2_all.deb ... Unpacking libatk1.0-data (2.36.0-2) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../049-libatk1.0-0_2.36.0-2_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.36.0-2) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../050-libatspi2.0-0_2.38.0-4+deb11u1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../051-libatk-bridge2.0-0_2.38.0-1_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.38.0-1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../052-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 .../053-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 .../054-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 .../055-libavahi-common-data_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../056-libavahi-common3_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../057-libavahi-client3_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../058-libcups2_2.3.3op2-3+deb11u6_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-3+deb11u6) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../059-libepoxy0_1.5.5-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.5-1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../060-libfribidi0_1.0.8-2+deb11u1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2+deb11u1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../061-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 .../062-libharfbuzz0b_2.7.4-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.7.4-1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../063-libjson-glib-1.0-common_1.6.2-1_all.deb ... Unpacking libjson-glib-1.0-common (1.6.2-1) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../064-libjson-glib-1.0-0_1.6.2-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.6.2-1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../065-fontconfig_2.13.1-4.2_amd64.deb ... Unpacking fontconfig (2.13.1-4.2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../066-libthai-data_0.1.28-3_all.deb ... Unpacking libthai-data (0.1.28-3) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../067-libdatrie1_0.2.13-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../068-libthai0_0.1.28-3_amd64.deb ... Unpacking libthai0:amd64 (0.1.28-3) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../069-libpango-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../070-libpangoft2-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../071-libpangocairo-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../072-libproxy1v5_0.4.17-1_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.17-1) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../073-glib-networking-common_2.66.0-2_all.deb ... Unpacking glib-networking-common (2.66.0-2) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../074-glib-networking-services_2.66.0-2_amd64.deb ... Unpacking glib-networking-services (2.66.0-2) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../075-dbus-user-session_1.12.28-0+deb11u1_amd64.deb ... Unpacking dbus-user-session (1.12.28-0+deb11u1) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../076-libdconf1_0.38.0-2_amd64.deb ... Unpacking libdconf1:amd64 (0.38.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../077-dconf-service_0.38.0-2_amd64.deb ... Unpacking dconf-service (0.38.0-2) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../078-dconf-gsettings-backend_0.38.0-2_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.38.0-2) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../079-gsettings-desktop-schemas_3.38.0-2_all.deb ... Unpacking gsettings-desktop-schemas (3.38.0-2) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../080-glib-networking_2.66.0-2_amd64.deb ... Unpacking glib-networking:amd64 (2.66.0-2) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../081-libpsl5_0.21.0-1.2_amd64.deb ... Unpacking libpsl5:amd64 (0.21.0-1.2) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../082-libsoup2.4-1_2.72.0-2_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.72.0-2) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../083-libsoup-gnome2.4-1_2.72.0-2_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../084-librest-0.7-0_0.8.1-1.1_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.1-1.1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../085-libwayland-client0_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../086-libwayland-cursor0_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../087-libwayland-egl1_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../088-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 .../089-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 .../090-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 .../091-libxdamage1_1%3a1.1.5-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.5-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../092-libxi6_2%3a1.7.10-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../093-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 .../094-xkb-data_2.29-2_all.deb ... Unpacking xkb-data (2.29-2) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../095-libxkbcommon0_1.0.3-2_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.0.3-2) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../096-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../097-libgtk-3-common_3.24.24-4+deb11u3_all.deb ... Unpacking libgtk-3-common (3.24.24-4+deb11u3) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../098-libgtk-3-0_3.24.24-4+deb11u3_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.24-4+deb11u3) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../099-liblablgtk3-ocaml_3.1.1+official-1+b1_amd64.deb ... Unpacking liblablgtk3-ocaml (3.1.1+official-1+b1) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../100-libgtksourceview-3.0-common_3.24.11-2_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-2) ... Selecting previously unselected package libgtksourceview-3.0-1:amd64. Preparing to unpack .../101-libgtksourceview-3.0-1_3.24.11-2_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../102-liblablgtksourceview3-ocaml_3.1.1+official-1+b1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../103-libnum-ocaml_1.4-1_amd64.deb ... Unpacking libnum-ocaml (1.4-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../104-libcoq-ocaml_8.12.0-3+b3_amd64.deb ... Unpacking libcoq-ocaml (8.12.0-3+b3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../105-libncurses6_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncurses6:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../106-libc-dev-bin_2.31-13+deb11u8_amd64.deb ... Unpacking libc-dev-bin (2.31-13+deb11u8) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../107-linux-libc-dev_5.10.209-2_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.10.209-2) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../108-libcrypt-dev_1%3a4.4.18-4_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.18-4) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../109-libtirpc-dev_1.3.1-1+deb11u1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../110-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../111-libc6-dev_2.31-13+deb11u8_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-13+deb11u8) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../112-libncurses-dev_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../113-libncurses5-dev_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../114-ocaml-compiler-libs_4.11.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../115-ocaml-interp_4.11.1-4_amd64.deb ... Unpacking ocaml-interp (4.11.1-4) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../116-libisl23_0.23-1_amd64.deb ... Unpacking libisl23:amd64 (0.23-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../117-libmpfr6_4.1.0-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.1.0-3) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../118-libmpc3_1.2.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.2.0-1) ... Selecting previously unselected package cpp-10. Preparing to unpack .../119-cpp-10_10.2.1-6_amd64.deb ... Unpacking cpp-10 (10.2.1-6) ... Selecting previously unselected package cpp. Preparing to unpack .../120-cpp_4%3a10.2.1-1_amd64.deb ... Unpacking cpp (4:10.2.1-1) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../121-libcc1-0_10.2.1-6_amd64.deb ... Unpacking libcc1-0:amd64 (10.2.1-6) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../122-libgomp1_10.2.1-6_amd64.deb ... Unpacking libgomp1:amd64 (10.2.1-6) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../123-libitm1_10.2.1-6_amd64.deb ... Unpacking libitm1:amd64 (10.2.1-6) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../124-libatomic1_10.2.1-6_amd64.deb ... Unpacking libatomic1:amd64 (10.2.1-6) ... Selecting previously unselected package libasan6:amd64. Preparing to unpack .../125-libasan6_10.2.1-6_amd64.deb ... Unpacking libasan6:amd64 (10.2.1-6) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../126-liblsan0_10.2.1-6_amd64.deb ... Unpacking liblsan0:amd64 (10.2.1-6) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../127-libtsan0_10.2.1-6_amd64.deb ... Unpacking libtsan0:amd64 (10.2.1-6) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../128-libubsan1_10.2.1-6_amd64.deb ... Unpacking libubsan1:amd64 (10.2.1-6) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../129-libquadmath0_10.2.1-6_amd64.deb ... Unpacking libquadmath0:amd64 (10.2.1-6) ... Selecting previously unselected package libgcc-10-dev:amd64. Preparing to unpack .../130-libgcc-10-dev_10.2.1-6_amd64.deb ... Unpacking libgcc-10-dev:amd64 (10.2.1-6) ... Selecting previously unselected package gcc-10. Preparing to unpack .../131-gcc-10_10.2.1-6_amd64.deb ... Unpacking gcc-10 (10.2.1-6) ... Selecting previously unselected package gcc. Preparing to unpack .../132-gcc_4%3a10.2.1-1_amd64.deb ... Unpacking gcc (4:10.2.1-1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../133-ocaml-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-nox (4.11.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../134-libfindlib-ocaml_1.8.1-2_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../135-ocaml-findlib_1.8.1-2_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2) ... Selecting previously unselected package coq. Preparing to unpack .../136-coq_8.12.0-3+b3_amd64.deb ... Unpacking coq (8.12.0-3+b3) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../137-emacsen-common_3.0.4_all.deb ... Unpacking emacsen-common (3.0.4) ... Selecting previously unselected package emacs-common. Preparing to unpack .../138-emacs-common_1%3a27.1+1-3.1+deb11u1_all.deb ... Unpacking emacs-common (1:27.1+1-3.1+deb11u1) ... Selecting previously unselected package emacs-bin-common. Preparing to unpack .../139-emacs-bin-common_1%3a27.1+1-3.1+deb11u1_amd64.deb ... Unpacking emacs-bin-common (1:27.1+1-3.1+deb11u1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../140-libasound2-data_1.2.4-1.1_all.deb ... Unpacking libasound2-data (1.2.4-1.1) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../141-libasound2_1.2.4-1.1_amd64.deb ... Unpacking libasound2:amd64 (1.2.4-1.1) ... Selecting previously unselected package libgif7:amd64. Preparing to unpack .../142-libgif7_5.1.9-2_amd64.deb ... Unpacking libgif7:amd64 (5.1.9-2) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../143-libgpm2_1.20.7-8_amd64.deb ... Unpacking libgpm2:amd64 (1.20.7-8) ... Selecting previously unselected package x11-common. Preparing to unpack .../144-x11-common_1%3a7.7+22_all.deb ... Unpacking x11-common (1:7.7+22) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../145-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 .../146-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 .../147-m17n-db_1.8.0-3_all.deb ... Unpacking m17n-db (1.8.0-3) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../148-libxpm4_1%3a3.5.12-1.1+deb11u1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1.1+deb11u1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../149-libgd3_2.3.0-2_amd64.deb ... Unpacking libgd3:amd64 (2.3.0-2) ... Selecting previously unselected package libotf0:amd64. Preparing to unpack .../150-libotf0_0.9.13-7_amd64.deb ... Unpacking libotf0:amd64 (0.9.13-7) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../151-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../152-libxft2_2.3.2-2_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-2) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../153-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 .../154-libm17n-0_1.8.0-2_amd64.deb ... Unpacking libm17n-0:amd64 (1.8.0-2) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../155-librsvg2-2_2.50.3+dfsg-1+deb11u1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.50.3+dfsg-1+deb11u1) ... Selecting previously unselected package emacs-gtk. Preparing to unpack .../156-emacs-gtk_1%3a27.1+1-3.1+deb11u1_amd64.deb ... Unpacking emacs-gtk (1:27.1+1-3.1+deb11u1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../157-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 .../158-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 .../159-mmm-mode_0.5.8-1_all.deb ... Unpacking mmm-mode (0.5.8-1) ... Selecting previously unselected package proofgeneral. Preparing to unpack .../160-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 .../161-prooftree_0.13-2+b1_amd64.deb ... Unpacking prooftree (0.13-2+b1) ... 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.1~deb11u1) ... Setting up systemd-sysv (247.3-7+deb11u4) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up libproxy1v5:amd64 (0.4.17-1) ... Setting up libpsl5:amd64 (0.21.0-1.2) ... Setting up libgpm2:amd64 (1.20.7-8) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libicu67:amd64 (67.1-7) ... Setting up libdatrie1:amd64 (0.2.13-1) ... Setting up libglib2.0-0:amd64 (2.66.8-1+deb11u1) ... Setting up libbrotli1:amd64 (1.0.9-2+b2) ... Setting up libsqlite3-0:amd64 (3.34.1-3) ... Setting up libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u1) ... Setting up binutils-common:amd64 (2.35.2-2) ... Setting up x11-common (1:7.7+22) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libdeflate0:amd64 (1.7-1) ... Setting up m17n-db (1.8.0-3) ... Setting up linux-libc-dev:amd64 (5.10.209-2) ... Setting up libctf-nobfd0:amd64 (2.35.2-2) ... Setting up xkb-data (2.29-2) ... Setting up libgomp1:amd64 (10.2.1-6) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up libcolord2:amd64 (1.4.5-3) ... Setting up libasan6:amd64 (10.2.1-6) ... Setting up libjansson4:amd64 (2.13.1-1.1) ... Setting up libdconf1:amd64 (0.38.0-2) ... Setting up libasound2-data (1.2.4-1.1) ... Setting up libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Setting up libjpeg62-turbo:amd64 (1:2.0.6-4) ... Setting up emacsen-common (3.0.4) ... Setting up libx11-data (2:1.7.2-1+deb11u2) ... Setting up libepoxy0:amd64 (1.5.5-1) ... Setting up libmpfr6:amd64 (4.1.0-3) ... Setting up libavahi-common-data:amd64 (0.8-5+deb11u2) ... Setting up libncurses6:amd64 (6.2+20201114-2+deb11u2) ... Setting up libdbus-1-3:amd64 (1.12.28-0+deb11u1) ... Setting up dbus (1.12.28-0+deb11u1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libfribidi0:amd64 (1.0.8-2+deb11u1) ... Setting up libquadmath0:amd64 (10.2.1-6) ... Setting up libpng16-16:amd64 (1.6.37-3) ... Setting up libmpc3:amd64 (1.2.0-1) ... Setting up libatomic1:amd64 (10.2.1-6) ... Setting up libwebp6:amd64 (0.6.1-2.1+deb11u2) ... Setting up fonts-dejavu-core (2.37-2) ... Setting up libncursesw6:amd64 (6.2+20201114-2+deb11u2) ... Setting up libubsan1:amd64 (10.2.1-6) ... Setting up libgif7:amd64 (5.1.9-2) ... Setting up libatk1.0-data (2.36.0-2) ... Setting up libmd0:amd64 (1.0.3-3) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up sensible-utils (0.0.14) ... Setting up libcrypt-dev:amd64 (1:4.4.18-4) ... Setting up libgtksourceview-3.0-common (3.24.11-2) ... Setting up libasound2:amd64 (1.2.4-1.1) ... Setting up libmpdec3:amd64 (2.5.1-1) ... Setting up libpam-systemd:amd64 (247.3-7+deb11u4) ... Setting up libthai-data (0.1.28-3) ... Setting up libjson-glib-1.0-common (1.6.2-1) ... Setting up libgtk2.0-common (2.24.33-2) ... Setting up libatk1.0-0:amd64 (2.36.0-2) ... Setting up libtiff5:amd64 (4.2.0-1+deb11u5) ... Setting up libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Setting up ocaml-base-nox (4.11.1-4) ... Setting up glib-networking-common (2.66.0-2) ... Setting up libbinutils:amd64 (2.35.2-2) ... Setting up emacs-common (1:27.1+1-3.1+deb11u1) ... Setting up libisl23:amd64 (0.23-1) ... Setting up libc-dev-bin (2.31-13+deb11u8) ... Setting up libbsd0:amd64 (0.11.3-1+deb11u1) ... Setting up readline-common (8.1-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... Setting up libcc1-0:amd64 (10.2.1-6) ... Setting up liblsan0:amd64 (10.2.1-6) ... Setting up cpp-10 (10.2.1-6) ... Setting up libitm1:amd64 (10.2.1-6) ... Setting up libtsan0:amd64 (10.2.1-6) ... Setting up libxkbcommon0:amd64 (1.0.3-2) ... Setting up libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Setting up libctf0:amd64 (2.35.2-2) ... Setting up glib-networking-services (2.66.0-2) ... 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 libgcc-10-dev:amd64 (10.2.1-6) ... Setting up libreadline8:amd64 (8.1-1) ... Setting up libavahi-common3:amd64 (0.8-5+deb11u2) ... Setting up libfindlib-ocaml (1.8.1-2) ... Setting up libxcb-shm0:amd64 (1.14-3) ... Setting up libjson-glib-1.0-0:amd64 (1.6.2-1) ... Setting up libthai0:amd64 (0.1.28-3) ... Setting up dbus-user-session (1.12.28-0+deb11u1) ... Setting up libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... Setting up shared-mime-info (2.0-1) ... Setting up ocaml-findlib (1.8.1-2) ... Setting up ucf (3.0043) ... Setting up libnum-ocaml (1.4-1) ... Setting up libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Setting up cpp (4:10.2.1-1) ... Setting up emacs-bin-common (1:27.1+1-3.1+deb11u1) ... 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.31-13+deb11u8) ... Setting up libx11-6:amd64 (2:1.7.2-1+deb11u2) ... Setting up libharfbuzz0b:amd64 (2.7.4-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u1) ... 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+deb11u2) ... Setting up libpython3.9-stdlib:amd64 (3.9.2-1) ... Setting up libpython3-stdlib:amd64 (3.9.2-3) ... Setting up binutils-x86-64-linux-gnu (2.35.2-2) ... Setting up gtk-update-icon-cache (3.24.24-4+deb11u3) ... Setting up libotf0:amd64 (0.9.13-7) ... Setting up libncurses-dev:amd64 (6.2+20201114-2+deb11u2) ... Setting up libxdamage1:amd64 (1:1.1.5-2) ... Setting up libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Setting up libxpm4:amd64 (1:3.5.12-1.1+deb11u1) ... 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.3-1.1) ... Setting up dconf-service (0.38.0-2) ... Setting up binutils (2.35.2-2) ... Setting up libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Setting up libatk-bridge2.0-0:amd64 (2.38.0-1) ... Setting up adwaita-icon-theme (3.38.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 libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Setting up libxinerama1:amd64 (2:1.1.4-2) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up libxt6:amd64 (1:1.2.0-1) ... Setting up gcc-10 (10.2.1-6) ... Setting up libcups2:amd64 (2.3.3op2-3+deb11u6) ... Setting up libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Setting up libfontconfig1:amd64 (2.13.1-4.2) ... Setting up python3.9 (3.9.2-1) ... 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.7.10-1) ... Setting up dconf-gsettings-backend:amd64 (0.38.0-2) ... Setting up libxcursor1:amd64 (1:1.2.0-2) ... Setting up libpango-1.0-0:amd64 (1.46.2-3) ... Setting up python3 (3.9.2-3) ... Setting up libcairo2:amd64 (1.16.0-5) ... Setting up gcc (4:10.2.1-1) ... 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.46.2-3) ... Setting up libgtk-3-common (3.24.24-4+deb11u3) ... Setting up libpangocairo-1.0-0:amd64 (1.46.2-3) ... Setting up gsettings-desktop-schemas (3.38.0-2) ... Setting up libgtk2.0-0:amd64 (2.24.33-2) ... Setting up libcairo2-ocaml (0.6.2+dfsg-1) ... Setting up libm17n-0:amd64 (1.8.0-2) ... Setting up librsvg2-2:amd64 (2.50.3+dfsg-1+deb11u1) ... Setting up glib-networking:amd64 (2.66.0-2) ... Setting up libsoup2.4-1:amd64 (2.72.0-2) ... Setting up libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Setting up librest-0.7-0:amd64 (0.8.1-1.1) ... Setting up libgtk-3-0:amd64 (3.24.24-4+deb11u3) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Setting up liblablgtk3-ocaml (3.1.1+official-1+b1) ... Setting up emacs-gtk (1:27.1+1-3.1+deb11u1) ... 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 liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Setting up mmm-mode (0.5.8-1) ... 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 libcoq-ocaml (8.12.0-3+b3) ... 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.12.0-3+b3) ... Setting up ocaml-compiler-libs (4.11.1-4) ... Setting up ocaml-interp (4.11.1-4) ... Setting up ocaml-nox (4.11.1-4) ... Setting up coq (8.12.0-3+b3) ... Setting up prooftree (0.13-2+b1) ... Processing triggers for libc-bin (2.31-13+deb11u8) ... Processing triggers for install-info (6.7.0.dfsg.2-6) ... 1m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-y', 'install', 'prooftree'] 1m9.2s INFO: Running scripts post_install 1m9.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_install_exceptions'] 1m9.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_install_exceptions'] 1m9.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m10.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m11.0s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpc3euhiht to bullseye-next 1m11.0s DEBUG: sources.list: deb http://deb.debian.org/debian/ bullseye main deb http://security.debian.org bullseye-security main deb http://deb.debian.org/debian/ bullseye-updates main deb http://deb.debian.org/debian/ bullseye-proposed-updates main 1m11.0s INFO: Running scripts pre_distupgrade 1m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 1m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 1m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_exceptions'] 1m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_exceptions'] 1m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 1m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 1m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_zz_database-server'] 1m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_zz_database-server'] 1m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 1m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 1m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'update'] 1m12.7s DUMP: Hit:1 http://deb.debian.org/debian bullseye InRelease Get:2 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB] Get:3 http://security.debian.org bullseye-security InRelease [48.4 kB] Get:4 http://deb.debian.org/debian bullseye-proposed-updates InRelease [54.0 kB] Get:5 http://deb.debian.org/debian bullseye-updates/main amd64 Packages [18.8 kB] Get:6 http://deb.debian.org/debian bullseye-updates/main Translation-en [10.9 kB] Get:7 http://security.debian.org bullseye-security/main amd64 Packages [269 kB] Get:8 http://security.debian.org bullseye-security/main Translation-en [174 kB] Get:9 http://deb.debian.org/debian bullseye-proposed-updates/main amd64 Packages [15.6 kB] Get:10 http://deb.debian.org/debian bullseye-proposed-updates/main Translation-en [11.6 kB] Fetched 646 kB in 1s (861 kB/s) Reading package lists... 1m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'update'] 1m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-yf', 'dist-upgrade'] 1m17.2s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: emacs-bin-common emacs-common emacs-gtk 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 17.2 MB of archives. After this operation, 5120 B of additional disk space will be used. Get:1 http://security.debian.org bullseye-security/main amd64 emacs-gtk amd64 1:27.1+1-3.1+deb11u2 [3312 kB] Get:2 http://security.debian.org bullseye-security/main amd64 emacs-bin-common amd64 1:27.1+1-3.1+deb11u2 [156 kB] Get:3 http://security.debian.org bullseye-security/main amd64 emacs-common all 1:27.1+1-3.1+deb11u2 [13.7 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 17.2 MB in 0s (44.7 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 ... 31574 files and directories currently installed.) Preparing to unpack .../emacs-gtk_1%3a27.1+1-3.1+deb11u2_amd64.deb ... tsort: -: input contains a loop: tsort: emacsen-common tsort: mmm-mode Remove proofgeneral for emacs Remove mmm-mode for emacs install/mmm-mode: Handling removal of emacsen flavor emacs install/mmm-mode: purging byte-compiled files for emacs Remove emacsen-common for emacs emacsen-common: Handling removal of emacsen flavor emacs Unpacking emacs-gtk (1:27.1+1-3.1+deb11u2) over (1:27.1+1-3.1+deb11u1) ... Preparing to unpack .../emacs-bin-common_1%3a27.1+1-3.1+deb11u2_amd64.deb ... Unpacking emacs-bin-common (1:27.1+1-3.1+deb11u2) over (1:27.1+1-3.1+deb11u1) ... Preparing to unpack .../emacs-common_1%3a27.1+1-3.1+deb11u2_all.deb ... Unpacking emacs-common (1:27.1+1-3.1+deb11u2) over (1:27.1+1-3.1+deb11u1) ... Setting up emacs-common (1:27.1+1-3.1+deb11u2) ... Setting up emacs-bin-common (1:27.1+1-3.1+deb11u2) ... Setting up emacs-gtk (1:27.1+1-3.1+deb11u2) ... tsort: -: input contains a loop: tsort: emacsen-common tsort: mmm-mode 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 Processing triggers for hicolor-icon-theme (0.17-2) ... Processing triggers for install-info (6.7.0.dfsg.2-6) ... 1m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-yf', 'dist-upgrade'] 1m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m17.5s DUMP: 51b71a3b311d9133ad4cbb75cbd97c3a - 1m17.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m17.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 1m17.8s DUMP: Package: prooftree Source: prooftree (0.13-2) Version: 0.13-2+b1 Installed-Size: 4973 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.32), 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+b1_amd64.deb Size: 1086312 MD5sum: fb8ac8f8a4298c5c5cdd21ba9a51efd7 SHA256: 2fc089bfa925b16a1d123728241eca06a24ceb33c73c2b13d683e4e4e2f27fef 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 1m17.8s INFO: apt-cache knows about the following packages: prooftree 1m17.8s INFO: Running scripts pre_install 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_database-server'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_database-server'] 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_exceptions'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_exceptions'] 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_extras'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_extras'] 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture'] 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy'] 1m17.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye-proposed-updates/main amd64 Packages release v=11-updates,o=Debian,a=oldstable-proposed-updates,n=bullseye-proposed-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian bullseye-updates/main amd64 Packages release v=11-updates,o=Debian,a=oldstable-updates,n=bullseye-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://security.debian.org bullseye-security/main amd64 Packages release v=11,o=Debian,a=oldstable-security,n=bullseye-security,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.9,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m17.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy'] 1m17.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy', 'prooftree'] 1m17.9s DUMP: prooftree: Installed: 0.13-2+b1 Candidate: 0.13-2+b1 Version table: *** 0.13-2+b1 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 100 /var/lib/dpkg/status 1m17.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy', 'prooftree'] 1m17.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-y', 'install', 'prooftree'] 1m18.4s DUMP: Reading package lists... Building dependency tree... Reading state information... prooftree is already the newest version (0.13-2+b1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m18.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-y', 'install', 'prooftree'] 1m18.4s INFO: Running scripts post_install 1m18.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_install_exceptions'] 1m18.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_install_exceptions'] 1m18.4s INFO: Running scripts post_distupgrade 1m18.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m18.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m18.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_exceptions'] 1m18.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_exceptions'] 1m18.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_zz_backports'] 1m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_distupgrade_zz_backports'] 1m18.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m20.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m20.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m21.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m21.6s INFO: Running scripts pre_install 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_database-server'] 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_database-server'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_exceptions'] 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_exceptions'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_extras'] 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_extras'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture'] 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy'] 1m21.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye-proposed-updates/main amd64 Packages release v=11-updates,o=Debian,a=oldstable-proposed-updates,n=bullseye-proposed-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian bullseye-updates/main amd64 Packages release v=11-updates,o=Debian,a=oldstable-updates,n=bullseye-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://security.debian.org bullseye-security/main amd64 Packages release v=11,o=Debian,a=oldstable-security,n=bullseye-security,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.9,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy'] 1m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy', 'prooftree'] 1m21.7s DUMP: prooftree: Installed: 0.13-2+b1 Candidate: 0.13-2+b1 Version table: *** 0.13-2+b1 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 100 /var/lib/dpkg/status 1m21.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-cache', 'policy', 'prooftree'] 1m21.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-y', 'install', 'prooftree=0.13-2+b1'] 1m22.1s DUMP: Reading package lists... Building dependency tree... Reading state information... prooftree is already the newest version (0.13-2+b1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m22.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', '-y', 'install', 'prooftree=0.13-2+b1'] 1m22.1s INFO: Running scripts post_install 1m22.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_install_exceptions'] 1m22.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_install_exceptions'] 1m22.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m23.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m24.3s DEBUG: No file moved between /{bin|sbin|lib*} and /usr/{bin|sbin|lib*}. 1m24.4s INFO: /bin converted to /usr/bin by /usr merge 1m24.4s INFO: /lib converted to /usr/lib by /usr merge 1m24.4s INFO: /lib/init converted to /usr/lib/init by /usr merge 1m24.4s INFO: /lib/lsb converted to /usr/lib/lsb by /usr merge 1m24.4s INFO: /lib/lsb/init-functions.d converted to /usr/lib/lsb/init-functions.d by /usr merge 1m24.4s INFO: /lib/modprobe.d converted to /usr/lib/modprobe.d by /usr merge 1m24.4s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 1m24.4s INFO: /lib/systemd/network converted to /usr/lib/systemd/network by /usr merge 1m24.4s INFO: /lib/systemd/system-generators converted to /usr/lib/systemd/system-generators by /usr merge 1m24.4s INFO: /lib/systemd/system-preset converted to /usr/lib/systemd/system-preset by /usr merge 1m24.4s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 1m24.4s INFO: /lib/systemd/system/getty.target.wants converted to /usr/lib/systemd/system/getty.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/graphical.target.wants converted to /usr/lib/systemd/system/graphical.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/initrd-root-device.target.wants converted to /usr/lib/systemd/system/initrd-root-device.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/multi-user.target.wants converted to /usr/lib/systemd/system/multi-user.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/rc-local.service.d converted to /usr/lib/systemd/system/rc-local.service.d by /usr merge 1m24.4s INFO: /lib/systemd/system/rescue.target.wants converted to /usr/lib/systemd/system/rescue.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/sockets.target.wants converted to /usr/lib/systemd/system/sockets.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/sysinit.target.wants converted to /usr/lib/systemd/system/sysinit.target.wants by /usr merge 1m24.4s INFO: /lib/systemd/system/systemd-localed.service.d converted to /usr/lib/systemd/system/systemd-localed.service.d by /usr merge 1m24.5s INFO: /lib/systemd/system/timers.target.wants converted to /usr/lib/systemd/system/timers.target.wants by /usr merge 1m24.5s INFO: /lib/systemd/system/user-.slice.d converted to /usr/lib/systemd/system/user-.slice.d by /usr merge 1m24.5s INFO: /lib/terminfo converted to /usr/lib/terminfo by /usr merge 1m24.5s INFO: /lib/terminfo/E converted to /usr/lib/terminfo/E by /usr merge 1m24.5s INFO: /lib/terminfo/a converted to /usr/lib/terminfo/a by /usr merge 1m24.5s INFO: /lib/terminfo/c converted to /usr/lib/terminfo/c by /usr merge 1m24.5s INFO: /lib/terminfo/d converted to /usr/lib/terminfo/d by /usr merge 1m24.5s INFO: /lib/terminfo/h converted to /usr/lib/terminfo/h by /usr merge 1m24.5s INFO: /lib/terminfo/l converted to /usr/lib/terminfo/l by /usr merge 1m24.5s INFO: /lib/terminfo/m converted to /usr/lib/terminfo/m by /usr merge 1m24.5s INFO: /lib/terminfo/p converted to /usr/lib/terminfo/p by /usr merge 1m24.5s INFO: /lib/terminfo/r converted to /usr/lib/terminfo/r by /usr merge 1m24.5s INFO: /lib/terminfo/s converted to /usr/lib/terminfo/s by /usr merge 1m24.5s INFO: /lib/terminfo/t converted to /usr/lib/terminfo/t by /usr merge 1m24.5s INFO: /lib/terminfo/v converted to /usr/lib/terminfo/v by /usr merge 1m24.5s INFO: /lib/terminfo/w converted to /usr/lib/terminfo/w by /usr merge 1m24.5s INFO: /lib/terminfo/x converted to /usr/lib/terminfo/x by /usr merge 1m24.5s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 1m24.5s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 1m24.5s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 1m24.5s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 1m24.5s INFO: /lib64 converted to /usr/lib64 by /usr merge 1m24.5s INFO: /sbin converted to /usr/sbin by /usr merge 1m26.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', '-ac', '--ignore-obsolete'] 1m32.4s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', '-ac', '--ignore-obsolete'] 1m32.4s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m32.4s DUMP: 0.15.6 1m32.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m32.4s INFO: Running adequate version 0.15.6 now. 1m32.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'prooftree'] 1m32.6s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'prooftree'] 1m32.6s INFO: Running scripts pre_remove 1m32.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m32.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m32.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m32.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m32.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m40.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m40.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m41.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m41.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m41.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m41.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_exceptions'] 1m41.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/pre_remove_exceptions'] 1m41.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m41.2s DUMP: install ok installed adduser adduser 3.118+deb11u1 install ok installed adwaita-icon-theme adwaita-icon-theme 3.38.0-1 install ok installed apt apt 2.2.4 install ok installed base-files base-files 11.1+deb11u9 install ok installed base-passwd base-passwd 3.5.51 install ok installed bash bash 5.1-2+deb11u1 install ok installed binutils binutils 2.35.2-2 install ok installed binutils-common:amd64 binutils-common 2.35.2-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.35.2-2 install ok installed bsdutils bsdutils 1:2.36.1-8+deb11u1 install ok installed coq coq 8.12.0-3+b3 install ok installed coq-theories coq-theories 8.12.0-3+b3 install ok installed coreutils coreutils 8.32-4+b1 install ok installed cpp cpp 4:10.2.1-1 install ok installed cpp-10 cpp-10 10.2.1-6 install ok installed dash dash 0.5.11+git20200708+dd9ef66-5 install ok installed dbus dbus 1.12.28-0+deb11u1 install ok installed dbus-user-session dbus-user-session 1.12.28-0+deb11u1 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.38.0-2 install ok installed dconf-service dconf-service 0.38.0-2 install ok installed debconf debconf 1.5.77 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1+deb11u1 install ok installed debianutils debianutils 4.11.2 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.20.13 install ok installed e2fsprogs e2fsprogs 1.46.2-2 install ok installed emacs-bin-common emacs-bin-common 1:27.1+1-3.1+deb11u2 install ok installed emacs-common emacs-common 1:27.1+1-3.1+deb11u2 install ok installed emacs-gtk emacs-gtk 1:27.1+1-3.1+deb11u2 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:10.2.1-1 install ok installed gcc-10 gcc-10 10.2.1-6 install ok installed gcc-10-base:amd64 gcc-10-base 10.2.1-6 install ok installed gcc-9-base:amd64 gcc-9-base 9.3.0-22 install ok installed glib-networking:amd64 glib-networking 2.66.0-2 install ok installed glib-networking-common glib-networking-common 2.66.0-2 install ok installed glib-networking-services glib-networking-services 2.66.0-2 install ok installed gpgv gpgv 2.2.27-2+deb11u2 install ok installed grep grep 3.6-1+deb11u1 install ok installed gsettings-desktop-schemas gsettings-desktop-schemas 3.38.0-2 install ok installed gtk-update-icon-cache gtk-update-icon-cache 3.24.24-4+deb11u3 install ok installed gzip gzip 1.10-4+deb11u1 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.60 install ok installed install-info install-info 6.7.0.dfsg.2-6 install ok installed libacl1:amd64 libacl1 2.2.53-10 install ok installed libapparmor1:amd64 libapparmor1 2.13.6-10 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.2.4 install ok installed libargon2-1:amd64 libargon2-1 0~20171227-0.2 install ok installed libasan6:amd64 libasan6 10.2.1-6 install ok installed libasound2:amd64 libasound2 1.2.4-1.1 install ok installed libasound2-data libasound2-data 1.2.4-1.1 install ok installed libatk-bridge2.0-0:amd64 libatk-bridge2.0-0 2.38.0-1 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.36.0-2 install ok installed libatk1.0-data libatk1.0-data 2.36.0-2 install ok installed libatomic1:amd64 libatomic1 10.2.1-6 install ok installed libatspi2.0-0:amd64 libatspi2.0-0 2.38.0-4+deb11u1 install ok installed libattr1:amd64 libattr1 1:2.4.48-6 install ok installed libaudit-common libaudit-common 1:3.0-2 install ok installed libaudit1:amd64 libaudit1 1:3.0-2 install ok installed libavahi-client3:amd64 libavahi-client3 0.8-5+deb11u2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.8-5+deb11u2 install ok installed libavahi-common3:amd64 libavahi-common3 0.8-5+deb11u2 install ok installed libbinutils:amd64 libbinutils 2.35.2-2 install ok installed libblkid1:amd64 libblkid1 2.36.1-8+deb11u1 install ok installed libbrotli1:amd64 libbrotli1 1.0.9-2+b2 install ok installed libbsd0:amd64 libbsd0 0.11.3-1+deb11u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-4 install ok installed libc-bin libc-bin 2.31-13+deb11u8 install ok installed libc-dev-bin libc-dev-bin 2.31-13+deb11u8 install ok installed libc6:amd64 libc6 2.31-13+deb11u8 install ok installed libc6-dev:amd64 libc6-dev 2.31-13+deb11u8 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 libcairo2-ocaml libcairo2-ocaml 0.6.2+dfsg-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 libcc1-0:amd64 libcc1-0 10.2.1-6 install ok installed libcolord2:amd64 libcolord2 1.4.5-3 install ok installed libcom-err2:amd64 libcom-err2 1.46.2-2 install ok installed libcoq-ocaml libcoq-ocaml 8.12.0-3+b3 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.18-4 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.18-4 install ok installed libcryptsetup12:amd64 libcryptsetup12 2:2.3.7-1+deb11u1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.35.2-2 install ok installed libctf0:amd64 libctf0 2.35.2-2 install ok installed libcups2:amd64 libcups2 2.3.3op2-3+deb11u6 install ok installed libdatrie1:amd64 libdatrie1 0.2.13-1 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.28-0+deb11u1 install ok installed libdconf1:amd64 libdconf1 0.38.0-2 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.260 install ok installed libdeflate0:amd64 libdeflate0 1.7-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.5-1 install ok installed libexpat1:amd64 libexpat1 2.2.10-2+deb11u5 install ok installed libext2fs2:amd64 libext2fs2 1.46.2-2 install ok installed libffi7:amd64 libffi7 3.3-6 install ok installed libfindlib-ocaml libfindlib-ocaml 1.8.1-2 install ok installed libfontconfig1:amd64 libfontconfig1 2.13.1-4.2 install ok installed libfreetype6:amd64 libfreetype6 2.10.4+dfsg-1+deb11u1 install ok installed libfribidi0:amd64 libfribidi0 1.0.8-2+deb11u1 install ok installed libgcc-10-dev:amd64 libgcc-10-dev 10.2.1-6 install ok installed libgcc-s1:amd64 libgcc-s1 10.2.1-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.7-6 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.2+dfsg-1+deb11u1 install ok installed libgdk-pixbuf-xlib-2.0-0:amd64 libgdk-pixbuf-xlib-2.0-0 2.40.2-2 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.40.2-2 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.42.2+dfsg-1+deb11u1 install ok installed libgif7:amd64 libgif7 5.1.9-2 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.66.8-1+deb11u1 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-1+deb11u1 install ok installed libgnutls30:amd64 libgnutls30 3.7.1-5+deb11u4 install ok installed libgomp1:amd64 libgomp1 10.2.1-6 install ok installed libgpg-error0:amd64 libgpg-error0 1.38-2 install ok installed libgpm2:amd64 libgpm2 1.20.7-8 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-6+deb11u4 install ok installed libgtk-3-0:amd64 libgtk-3-0 3.24.24-4+deb11u3 install ok installed libgtk-3-common libgtk-3-common 3.24.24-4+deb11u3 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 libgtksourceview-3.0-1:amd64 libgtksourceview-3.0-1 3.24.11-2 install ok installed libgtksourceview-3.0-common libgtksourceview-3.0-common 3.24.11-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.0-5 install ok installed libip4tc2:amd64 libip4tc2 1.8.7-1 install ok installed libisl23:amd64 libisl23 0.23-1 install ok installed libitm1:amd64 libitm1 10.2.1-6 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.0.6-4 install ok installed libjson-c5:amd64 libjson-c5 0.15-2+deb11u1 install ok installed libjson-glib-1.0-0:amd64 libjson-glib-1.0-0 1.6.2-1 install ok installed libjson-glib-1.0-common libjson-glib-1.0-common 1.6.2-1 install ok installed libk5crypto3:amd64 libk5crypto3 1.18.3-6+deb11u4 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkmod2:amd64 libkmod2 28-1 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-6+deb11u4 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-6+deb11u4 install ok installed liblablgtk3-ocaml liblablgtk3-ocaml 3.1.1+official-1+b1 install ok installed liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml 3.1.1+official-1+b1 install ok installed liblcms2-2:amd64 liblcms2-2 2.12~rc1-2 install ok installed liblsan0:amd64 liblsan0 10.2.1-6 install ok installed liblz4-1:amd64 liblz4-1 1.9.3-2 install ok installed liblzma5:amd64 liblzma5 5.2.5-2.1~deb11u1 install ok installed libm17n-0:amd64 libm17n-0 1.8.0-2 install ok installed libmd0:amd64 libmd0 1.0.3-3 install ok installed libmount1:amd64 libmount1 2.36.1-8+deb11u1 install ok installed libmpc3:amd64 libmpc3 1.2.0-1 install ok installed libmpdec3:amd64 libmpdec3 2.5.1-1 install ok installed libmpfr6:amd64 libmpfr6 4.1.0-3 install ok installed libncurses-dev:amd64 libncurses-dev 6.2+20201114-2+deb11u2 install ok installed libncurses5-dev:amd64 libncurses5-dev 6.2+20201114-2+deb11u2 install ok installed libncurses6:amd64 libncurses6 6.2+20201114-2+deb11u2 install ok installed libncursesw6:amd64 libncursesw6 6.2+20201114-2+deb11u2 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 libnum-ocaml libnum-ocaml 1.4-1 install ok installed libotf0:amd64 libotf0 0.9.13-7 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.22-1 install ok installed libpam-modules:amd64 libpam-modules 1.4.0-9+deb11u1 install ok installed libpam-modules-bin libpam-modules-bin 1.4.0-9+deb11u1 install ok installed libpam-runtime libpam-runtime 1.4.0-9+deb11u1 install ok installed libpam-systemd:amd64 libpam-systemd 247.3-7+deb11u4 install ok installed libpam0g:amd64 libpam0g 1.4.0-9+deb11u1 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.46.2-3 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.46.2-3 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.46.2-3 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.36-2+deb11u1 install ok installed libpcre3:amd64 libpcre3 2:8.39-13 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.40.0-1.1~deb11u1 install ok installed libpng16-16:amd64 libpng16-16 1.6.37-3 install ok installed libproxy1v5:amd64 libproxy1v5 0.4.17-1 install ok installed libpsl5:amd64 libpsl5 0.21.0-1.2 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.9.2-3 install ok installed libpython3.9-minimal:amd64 libpython3.9-minimal 3.9.2-1 install ok installed libpython3.9-stdlib:amd64 libpython3.9-stdlib 3.9.2-1 install ok installed libquadmath0:amd64 libquadmath0 10.2.1-6 install ok installed libreadline8:amd64 libreadline8 8.1-1 install ok installed librest-0.7-0:amd64 librest-0.7-0 0.8.1-1.1 install ok installed librsvg2-2:amd64 librsvg2-2 2.50.3+dfsg-1+deb11u1 install ok installed libseccomp2:amd64 libseccomp2 2.5.1-1+deb11u1 install ok installed libselinux1:amd64 libselinux1 3.1-3 install ok installed libsemanage-common libsemanage-common 3.1-1 install ok installed libsemanage1:amd64 libsemanage1 3.1-1+b2 install ok installed libsepol1:amd64 libsepol1 3.1-1 install ok installed libsm6:amd64 libsm6 2:1.2.3-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.36.1-8+deb11u1 install ok installed libsoup-gnome2.4-1:amd64 libsoup-gnome2.4-1 2.72.0-2 install ok installed libsoup2.4-1:amd64 libsoup2.4-1 2.72.0-2 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.34.1-3 install ok installed libss2:amd64 libss2 1.46.2-2 install ok installed libssl1.1:amd64 libssl1.1 1.1.1w-0+deb11u1 install ok installed libstdc++6:amd64 libstdc++6 10.2.1-6 install ok installed libsystemd0:amd64 libsystemd0 247.3-7+deb11u4 install ok installed libtasn1-6:amd64 libtasn1-6 4.16.0-2+deb11u1 install ok installed libthai-data libthai-data 0.1.28-3 install ok installed libthai0:amd64 libthai0 0.1.28-3 install ok installed libtiff5:amd64 libtiff5 4.2.0-1+deb11u5 install ok installed libtinfo6:amd64 libtinfo6 6.2+20201114-2+deb11u2 install ok installed libtirpc-common libtirpc-common 1.3.1-1+deb11u1 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.1-1+deb11u1 install ok installed libtirpc3:amd64 libtirpc3 1.3.1-1+deb11u1 install ok installed libtsan0:amd64 libtsan0 10.2.1-6 install ok installed libubsan1:amd64 libubsan1 10.2.1-6 install ok installed libudev1:amd64 libudev1 247.3-7+deb11u4 install ok installed libunistring2:amd64 libunistring2 0.9.10-4 install ok installed libuuid1:amd64 libuuid1 2.36.1-8+deb11u1 install ok installed libwayland-client0:amd64 libwayland-client0 1.18.0-2~exp1.1 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.18.0-2~exp1.1 install ok installed libwayland-egl1:amd64 libwayland-egl1 1.18.0-2~exp1.1 install ok installed libwebp6:amd64 libwebp6 0.6.1-2.1+deb11u2 install ok installed libx11-6:amd64 libx11-6 2:1.7.2-1+deb11u2 install ok installed libx11-data libx11-data 2:1.7.2-1+deb11u2 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.3-1.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.7.10-1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.4-2 install ok installed libxkbcommon0:amd64 libxkbcommon0 1.0.3-2 install ok installed libxml2:amd64 libxml2 2.9.10+dfsg-6.7+deb11u4 install ok installed libxpm4:amd64 libxpm4 1:3.5.12-1.1+deb11u1 install ok installed libxrandr2:amd64 libxrandr2 2:1.5.1-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 libzstd1:amd64 libzstd1 1.4.8+dfsg-2.1 install ok installed linux-libc-dev:amd64 linux-libc-dev 5.10.209-2 install ok installed login login 1:4.8.1-1 install ok installed logsave logsave 1.46.2-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-1 install ok installed mount mount 2.36.1-8+deb11u1 install ok installed ncurses-base ncurses-base 6.2+20201114-2+deb11u2 install ok installed ncurses-bin ncurses-bin 6.2+20201114-2+deb11u2 install ok installed ocaml-base-nox ocaml-base-nox 4.11.1-4 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.11.1-4 install ok installed ocaml-findlib ocaml-findlib 1.8.1-2 install ok installed ocaml-interp ocaml-interp 4.11.1-4 install ok installed ocaml-nox ocaml-nox 4.11.1-4 install ok installed passwd passwd 1:4.8.1-1 install ok installed perl-base perl-base 5.32.1-4+deb11u3 install ok installed proofgeneral proofgeneral 4.4.1~pre170114-1.2 install ok installed prooftree prooftree 0.13-2+b1 install ok installed python3 python3 3.9.2-3 install ok installed python3-minimal python3-minimal 3.9.2-3 install ok installed python3.9 python3.9 3.9.2-1 install ok installed python3.9-minimal python3.9-minimal 3.9.2-1 install ok installed readline-common readline-common 8.1-1 install ok installed sed sed 4.7-1 install ok installed sensible-utils sensible-utils 0.0.14 install ok installed shared-mime-info shared-mime-info 2.0-1 install ok installed systemd systemd 247.3-7+deb11u4 install ok installed systemd-sysv systemd-sysv 247.3-7+deb11u4 install ok installed sysvinit-utils sysvinit-utils 2.96-7+deb11u1 install ok installed tar tar 1.34+dfsg-1+deb11u1 install ok installed tzdata tzdata 2024a-0+deb11u1 install ok installed ucf ucf 3.0043 install ok installed util-linux util-linux 2.36.1-8+deb11u1 install ok installed x11-common x11-common 1:7.7+22 install ok installed xkb-data xkb-data 2.29-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2+deb11u2 1m41.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m41.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'remove', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-10', 'dbus', '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-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', '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', 'libcairo2-ocaml', 'libcap2: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-10-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.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', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', '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', 'libnum-ocaml', 'libotf0: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', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1: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', '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', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data', 'prooftree'] 1m45.2s 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-10 dbus 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-10 glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas 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 libcairo2-ocaml libcap2 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-10-dev libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.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 libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libice6 libicu67 libip4tc2 libisl23 libitm1 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libm17n-0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libnum-ocaml libotf0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librest-0.7-0 librsvg2-2 libsm6 libsoup-gnome2.4-1 libsoup2.4-1 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 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 sensible-utils shared-mime-info systemd systemd-sysv ucf x11-common xkb-data 0 upgraded, 0 newly installed, 189 to remove and 0 not upgraded. After this operation, 1687 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 ... 31574 files and directories currently installed.) Removing prooftree (0.13-2+b1) ... Removing proofgeneral (4.4.1~pre170114-1.2) ... Remove proofgeneral for emacs Removing mmm-mode (0.5.8-1) ... 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+deb11u2) ... Remove emacsen-common for emacs emacsen-common: Handling removal of emacsen flavor emacs Removing libgtk2.0-0:amd64 (2.24.33-2) ... Removing emacs-bin-common (1:27.1+1-3.1+deb11u2) ... Removing emacs-common (1:27.1+1-3.1+deb11u2) ... Removing emacsen-common (3.0.4) ... Removing librsvg2-2:amd64 (2.50.3+dfsg-1+deb11u1) ... Removing libm17n-0:amd64 (1.8.0-2) ... Removing libxft2:amd64 (2.3.2-2) ... Removing install-info (6.7.0.dfsg.2-6) ... Removing libasound2:amd64 (1.2.4-1.1) ... Removing libasound2-data (1.2.4-1.1) ... Removing libotf0:amd64 (0.9.13-7) ... Removing libxt6:amd64 (1:1.2.0-1) ... Removing libsm6:amd64 (2:1.2.3-1) ... Removing libice6:amd64 (2:1.0.10-1) ... Removing libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Removing libgd3:amd64 (2.3.0-2) ... Removing libgif7:amd64 (5.1.9-2) ... Removing libgpm2:amd64 (1.20.7-8) ... Removing libgtk2.0-common (2.24.33-2) ... Removing libjansson4:amd64 (2.13.1-1.1) ... Removing libxpm4:amd64 (1:3.5.12-1.1+deb11u1) ... Removing m17n-db (1.8.0-3) ... Removing x11-common (1:7.7+22) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Removing coq (8.12.0-3+b3) ... Removing libcoq-ocaml (8.12.0-3+b3) ... Removing liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Removing ocaml-compiler-libs (4.11.1-4) ... Removing ocaml-nox (4.11.1-4) ... Removing ocaml-interp (4.11.1-4) ... Removing gcc (4:10.2.1-1) ... Removing gcc-10 (10.2.1-6) ... Removing binutils (2.35.2-2) ... Removing binutils-x86-64-linux-gnu (2.35.2-2) ... Removing libctf0:amd64 (2.35.2-2) ... Removing libbinutils:amd64 (2.35.2-2) ... Removing binutils-common:amd64 (2.35.2-2) ... Removing cpp (4:10.2.1-1) ... Removing cpp-10 (10.2.1-6) ... Removing dmsetup (2:1.02.175-2.1) ... Removing liblablgtk3-ocaml (3.1.1+official-1+b1) ... Removing libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Removing libcairo2-ocaml (0.6.2+dfsg-1) ... Removing python3 (3.9.2-3) ... Removing python3.9 (3.9.2-1) ... Removing libpython3-stdlib:amd64 (3.9.2-3) ... Removing libpython3.9-stdlib:amd64 (3.9.2-1) ... find: '/usr/lib/python3': No such file or directory Removing libreadline8:amd64 (8.1-1) ... Removing readline-common (8.1-1) ... Removing libgcc-10-dev:amd64 (10.2.1-6) ... Removing libasan6:amd64 (10.2.1-6) ... Removing libatomic1:amd64 (10.2.1-6) ... Removing libncurses-dev:amd64 (6.2+20201114-2+deb11u2) ... Removing libc6-dev:amd64 (2.31-13+deb11u8) ... Removing libc-dev-bin (2.31-13+deb11u8) ... Removing libcc1-0:amd64 (10.2.1-6) ... Removing libcrypt-dev:amd64 (1:4.4.18-4) ... Removing libctf-nobfd0:amd64 (2.35.2-2) ... Removing libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Removing python3-minimal (3.9.2-3) ... Removing python3.9-minimal (3.9.2-1) ... Removing ocaml-findlib (1.8.1-2) ... Removing libfindlib-ocaml (1.8.1-2) ... Removing libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Removing libgomp1:amd64 (10.2.1-6) ... Removing libgtksourceview-3.0-common (3.24.11-2) ... Removing libisl23:amd64 (0.23-1) ... Removing libitm1:amd64 (10.2.1-6) ... Removing liblsan0:amd64 (10.2.1-6) ... Removing libmpc3:amd64 (1.2.0-1) ... Removing libmpdec3:amd64 (2.5.1-1) ... Removing libmpfr6:amd64 (4.1.0-3) ... Removing libncurses6:amd64 (6.2+20201114-2+deb11u2) ... Removing libncursesw6:amd64 (6.2+20201114-2+deb11u2) ... Removing libnsl-dev:amd64 (1.3.0-2) ... Removing libnum-ocaml (1.4-1) ... Removing libpython3.9-minimal:amd64 (3.9.2-1) ... find: '/usr/lib/python3': No such file or directory Removing libquadmath0:amd64 (10.2.1-6) ... Removing libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Removing libtsan0:amd64 (10.2.1-6) ... Removing libubsan1:amd64 (10.2.1-6) ... Removing linux-libc-dev:amd64 (5.10.209-2) ... Removing media-types (4.0.0) ... Removing ocaml-base-nox (4.11.1-4) ... Removing coq-theories (8.12.0-3+b3) ... Removing libgtk-3-0:amd64 (3.24.24-4+deb11u3) ... Removing adwaita-icon-theme (3.38.0-1) ... Removing libgtk-3-common (3.24.24-4+deb11u3) ... Removing librest-0.7-0:amd64 (0.8.1-1.1) ... Removing libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Removing libsoup2.4-1:amd64 (2.72.0-2) ... Removing glib-networking:amd64 (2.66.0-2) ... Removing gsettings-desktop-schemas (3.38.0-2) ... Removing dconf-gsettings-backend:amd64 (0.38.0-2) ... Removing dconf-service (0.38.0-2) ... Removing dbus-user-session (1.12.28-0+deb11u1) ... Removing libpam-systemd:amd64 (247.3-7+deb11u4) ... Removing dbus (1.12.28-0+deb11u1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Removing systemd-sysv (247.3-7+deb11u4) ... Removing systemd (247.3-7+deb11u4) ... Removing libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Removing libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Removing libpangocairo-1.0-0:amd64 (1.46.2-3) ... Removing libpangoft2-1.0-0:amd64 (1.46.2-3) ... Removing libpango-1.0-0:amd64 (1.46.2-3) ... Removing fontconfig (2.13.1-4.2) ... Removing glib-networking-services (2.66.0-2) ... dpkg: warning: while removing glib-networking-services, directory '/usr/lib/systemd' not empty so not removed Removing glib-networking-common (2.66.0-2) ... Removing gtk-update-icon-cache (3.24.24-4+deb11u3) ... Removing hicolor-icon-theme (0.17-2) ... Removing libapparmor1:amd64 (2.13.6-10) ... Removing libargon2-1:amd64 (0~20171227-0.2) ... Removing libatk-bridge2.0-0:amd64 (2.38.0-1) ... Removing libatk1.0-0:amd64 (2.36.0-2) ... Removing libatk1.0-data (2.36.0-2) ... Removing libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Removing libcups2:amd64 (2.3.3op2-3+deb11u6) ... Removing libavahi-client3:amd64 (0.8-5+deb11u2) ... Removing libavahi-common3:amd64 (0.8-5+deb11u2) ... Removing libavahi-common-data:amd64 (0.8-5+deb11u2) ... Removing libxrandr2:amd64 (2:1.5.1-1) ... Removing libcairo-gobject2:amd64 (1.16.0-5) ... Removing libcairo2:amd64 (1.16.0-5) ... Removing libxcb-shm0:amd64 (1.14-3) ... Removing libcap2:amd64 (1:2.44-1) ... Removing libcolord2:amd64 (1.4.5-3) ... Removing libthai0:amd64 (0.1.28-3) ... Removing libdatrie1:amd64 (0.2.13-1) ... Removing libdbus-1-3:amd64 (1.12.28-0+deb11u1) ... Removing libdconf1:amd64 (0.38.0-2) ... Removing libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u1) ... Removing libtiff5:amd64 (4.2.0-1+deb11u5) ... Removing libdeflate0:amd64 (1.7-1) ... Removing libepoxy0:amd64 (1.5.5-1) ... Removing libfribidi0:amd64 (1.0.8-2+deb11u1) ... Removing libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u1) ... Removing shared-mime-info (2.0-1) ... Removing libjson-glib-1.0-0:amd64 (1.6.2-1) ... Removing libharfbuzz0b:amd64 (2.7.4-1) ... Removing libgraphite2-3:amd64 (1.3.14-1) ... Removing libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... Removing libicu67:amd64 (67.1-7) ... Removing libip4tc2:amd64 (1.8.7-1) ... Removing libjbig0:amd64 (2.1-3.1+b2) ... Removing libjpeg62-turbo:amd64 (1:2.0.6-4) ... Removing libjson-c5:amd64 (0.15-2+deb11u1) ... Removing libjson-glib-1.0-common (1.6.2-1) ... Removing libkmod2:amd64 (28-1) ... Removing liblcms2-2:amd64 (2.12~rc1-2) ... Removing libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Removing libproxy1v5:amd64 (0.4.17-1) ... Removing libpsl5:amd64 (0.21.0-1.2) ... Removing libsqlite3-0:amd64 (3.34.1-3) ... Removing libthai-data (0.1.28-3) ... Removing libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Removing libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Removing libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Removing libwebp6:amd64 (0.6.1-2.1+deb11u2) ... 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.7.10-1) ... Removing libxkbcommon0:amd64 (1.0.3-2) ... Removing xkb-data (2.29-2) ... 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.10.4+dfsg-1+deb11u1) ... Removing libbrotli1:amd64 (1.0.9-2+b2) ... Removing libxrender1:amd64 (1:0.9.10-1) ... Removing libexpat1:amd64 (2.2.10-2+deb11u5) ... Removing libglib2.0-0:amd64 (2.66.8-1+deb11u1) ... Removing libpng16-16:amd64 (1.6.37-3) ... Removing libxext6:amd64 (2:1.3.3-1.1) ... Removing ucf (3.0043) ... Removing sensible-utils (0.0.14) ... Removing libx11-6:amd64 (2:1.7.2-1+deb11u2) ... Removing libxcb1:amd64 (1.14-3) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.11.3-1+deb11u1) ... Removing libmd0:amd64 (1.0.3-3) ... Removing libx11-data (2:1.7.2-1+deb11u2) ... Removing libxau6:amd64 (1:1.0.9-1) ... Processing triggers for libc-bin (2.31-13+deb11u8) ... 1m45.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'remove', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-10', 'dbus', '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-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', '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', 'libcairo2-ocaml', 'libcap2: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-10-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.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', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', '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', 'libnum-ocaml', 'libotf0: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', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1: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', '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', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data', 'prooftree'] 1m45.2s INFO: Running scripts post_remove 1m45.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_remove_exceptions'] 1m45.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_remove_exceptions'] 1m45.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--purge', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-10', 'dbus', '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-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', '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', 'libcairo2-ocaml', 'libcap2: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-10-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.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', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', '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', 'libnum-ocaml', 'libotf0: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', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1: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', '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', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data'] 1m45.9s DUMP: (Reading database ... 6750 files and directories currently installed.) Purging configuration files for adwaita-icon-theme (3.38.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-10 which isn't installed Purging configuration files for dbus (1.12.28-0+deb11u1) ... rmdir: failed to remove '/var/run/dbus': No such file or directory Purging configuration files for dbus-user-session (1.12.28-0+deb11u1) ... 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+deb11u2) ... 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-10 which isn't installed dpkg: warning: ignoring request to remove glib-networking which isn't installed dpkg: warning: ignoring request to remove glib-networking-common which isn't installed dpkg: warning: ignoring request to remove glib-networking-services which isn't installed dpkg: warning: ignoring request to remove gsettings-desktop-schemas 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 libcairo2-ocaml which isn't installed dpkg: warning: ignoring request to remove libcap2 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.8.1-2) ... 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-10-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.2+dfsg-1+deb11u1) ... dpkg: warning: ignoring request to remove libgdk-pixbuf-xlib-2.0-0 which isn't installed dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-0 which isn't installed 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.66.8-1+deb11u1) ... 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.24-4+deb11u3) ... Purging configuration files for libgtk-3-common (3.24.24-4+deb11u3) ... 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 libgtksourceview-3.0-1 which isn't installed dpkg: warning: ignoring request to remove libgtksourceview-3.0-common which isn't installed 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 libjson-glib-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libjson-glib-1.0-common which isn't installed dpkg: warning: ignoring request to remove libkmod2 which isn't installed dpkg: warning: ignoring request to remove liblablgtk3-ocaml which isn't installed dpkg: warning: ignoring request to remove liblablgtksourceview3-ocaml 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 libnum-ocaml which isn't installed dpkg: warning: ignoring request to remove libotf0 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 libproxy1v5 which isn't installed dpkg: warning: ignoring request to remove libpsl5 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.2-1) ... 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 librest-0.7-0 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 libsoup-gnome2.4-1 which isn't installed dpkg: warning: ignoring request to remove libsoup2.4-1 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 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-1) ... 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-4) ... Purging configuration files for proofgeneral (4.4.1~pre170114-1.2) ... Purging configuration files for python3 (3.9.2-3) ... 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.2-1) ... Purging configuration files for readline-common (8.1-1) ... 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 (247.3-7+deb11u4) ... 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+22) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed 1m45.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--purge', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-10', 'dbus', '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-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', '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', 'libcairo2-ocaml', 'libcap2: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-10-dev:amd64', 'libgd3:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.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', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libice6:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', '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', 'libnum-ocaml', 'libotf0: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', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1: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', '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', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'x11-common', 'xkb-data'] 1m45.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--purge', 'prooftree'] 1m45.9s DUMP: dpkg: warning: ignoring request to remove prooftree which isn't installed 1m45.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--purge', 'prooftree'] 1m45.9s INFO: Running scripts post_purge 1m45.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_purge_exceptions'] 1m45.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_purge_exceptions'] 1m45.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--purge', '--pending'] 1m46.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--purge', '--pending'] 1m46.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--remove', '--pending'] 1m46.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg', '--remove', '--pending'] 1m46.0s INFO: Running scripts post_test 1m46.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_test_exceptions'] 1m46.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'tmp/scripts/post_test_exceptions'] 1m46.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m46.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m46.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg-divert', '--list'] 1m46.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 1m46.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'dpkg-divert', '--list'] 1m46.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'clean'] 1m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpc3euhiht', 'apt-get', 'clean'] 1m46.6s DEBUG: Recording chroot state 1m47.4s 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 1m47.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/shm'] 1m47.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/shm'] 1m47.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/console'] 1m47.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/console'] 1m47.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/ptmx'] 1m47.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/ptmx'] 1m47.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/pts'] 1m48.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/dev/pts'] 1m48.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/proc'] 1m48.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpc3euhiht/proc'] 1m48.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m48.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpc3euhiht'] 1m48.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpc3euhiht 1m48.2s INFO: PASS: Upgrading between Debian distributions. 1m48.2s INFO: PASS: All tests. 1m48.2s INFO: piuparts run ends. ret=0 End: 2024-03-07 22:56:07 GMT