Start: 2024-10-05 05:34:05 GMT [bullseye] Package: why3-coq Source: why3 (1.3.3-1) Version: 1.3.3-1+b4 Installed-Size: 3830 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: coq-8.12.0+4.11.1, tex-common (>= 6.13) Recommends: why3 Description: Coq support for the why3 verification platform Homepage: http://why3.lri.fr/ Description-md5: fca3e9b7fd6d16509065220d24994dd5 Section: math Priority: optional Filename: pool/main/w/why3/why3-coq_1.3.3-1+b4_amd64.deb Size: 757188 MD5sum: 0e434c0e82ab013c74e52e9a18cdc850 SHA256: 53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec [bullseye-next] Package: why3-coq Source: why3 (1.3.3-1) Version: 1.3.3-1+b4 Installed-Size: 3830 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: coq-8.12.0+4.11.1, tex-common (>= 6.13) Recommends: why3 Description: Coq support for the why3 verification platform Homepage: http://why3.lri.fr/ Description-md5: fca3e9b7fd6d16509065220d24994dd5 Section: math Priority: optional Filename: pool/main/w/why3/why3-coq_1.3.3-1+b4_amd64.deb Size: 757188 MD5sum: 0e434c0e82ab013c74e52e9a18cdc850 SHA256: 53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec 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 why3-coq=1.3.3-1+b4 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --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 why3-coq=1.3.3-1+b4 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-32-amd64 #1 SMP Debian 5.10.223-1 (2024-08-10) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpapr13ty8 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpapr13ty8 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ bullseye main 0m0.2s DEBUG: Created policy-rc.d and chmodded it. 0m0.2s DEBUG: Created resolv.conf. 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpapr13ty8/tmp/scripts/ 0m0.2s INFO: Running scripts post_chroot_unpack 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', 'update'] 0m0.6s DUMP: Hit:1 http://deb.debian.org/debian bullseye InRelease Reading package lists... 0m0.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', 'update'] 0m0.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-yf', 'dist-upgrade'] 0m0.8s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m0.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-yf', 'dist-upgrade'] 0m0.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m0.9s DUMP: f58ca9ba0b3223edf5b7797c101a5448 - 0m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m0.9s INFO: Running scripts post_setup 0m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_dummy_users'] 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_dummy_users'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_forbid_home'] 0m1.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_forbid_home'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_force-unsafe-io'] 0m1.4s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_force-unsafe-io'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_minimize'] 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_minimize'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_squeeze-backports'] 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_squeeze-backports'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_zz_backports'] 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_setup_zz_backports'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m1.4s 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+deb11u11 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+deb11u2 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+deb11u2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-4 install ok installed libc-bin libc-bin 2.31-13+deb11u11 install ok installed libc6:amd64 libc6 2.31-13+deb11u11 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+deb11u5 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+deb11u5 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+deb11u5 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-6+deb11u5 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-6+deb11u5 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+deb11u2 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+deb11u2 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+deb11u5 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+deb11u5 install ok installed libunistring2:amd64 libunistring2 0.9.10-4 install ok installed libuuid1:amd64 libuuid1 2.36.1-8+deb11u2 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+deb11u2 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+deb11u2 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2+deb11u2 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m1.4s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat 0m1.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 0m1.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 0m1.7s INFO: Running scripts is_testable 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/is_testable_uninstallable'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/is_testable_uninstallable'] 0m1.7s INFO: Running scripts pre_test 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_test_exceptions'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_test_exceptions'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_test_root_password'] 0m1.7s DUMP: New password: Retype new password: passwd: password updated successfully 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_test_root_password'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'show', '--no-all-versions', 'why3-coq'] 0m1.8s DUMP: Package: why3-coq Source: why3 (1.3.3-1) Version: 1.3.3-1+b4 Installed-Size: 3830 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: coq-8.12.0+4.11.1, tex-common (>= 6.13) Recommends: why3 Description-en: Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform. Description-md5: fca3e9b7fd6d16509065220d24994dd5 Homepage: http://why3.lri.fr/ Section: math Priority: optional Filename: pool/main/w/why3/why3-coq_1.3.3-1+b4_amd64.deb Size: 757188 MD5sum: 0e434c0e82ab013c74e52e9a18cdc850 SHA256: 53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'show', '--no-all-versions', 'why3-coq'] 0m1.8s INFO: apt-cache knows about the following packages: why3-coq 0m1.8s INFO: Running scripts pre_install 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_database-server'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_database-server'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_exceptions'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_exceptions'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_extras'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_extras'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy'] 0m1.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.11,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy', 'why3-coq'] 0m1.9s DUMP: why3-coq: Installed: (none) Candidate: 1.3.3-1+b4 Version table: 1.3.3-1+b4 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy', 'why3-coq'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-y', 'install', 'why3-coq'] 0m57.1s 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 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 libapparmor1 libargon2-1 libasan6 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 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67 libip4tc2 libisl23 libitm1 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libnum-ocaml 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 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 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 linux-libc-dev media-types ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils shared-mime-info systemd systemd-sysv tex-common ucf xkb-data Suggested packages: binutils-doc coqide | proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc cpp-doc gcc-10-locales gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-10-multilib gcc-10-doc glibc-doc colord cups-common gvfs liblcms2-utils ncurses-doc camlp4 ocaml-doc elpa-tuareg python3-doc python3-tk python3-venv python3.9-venv python3.9-doc binfmt-support readline-doc systemd-container policykit-1 debhelper Recommended packages: librsvg2-common at-spi2-core manpages manpages-dev libc-devtools libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgtk-3-bin libgpm2 publicsuffix ca-certificates ocaml-man libfindlib-ocaml-dev ledit | readline-editor file systemd-timesyncd | time-daemon libnss-systemd why3 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 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 libapparmor1 libargon2-1 libasan6 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 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67 libip4tc2 libisl23 libitm1 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libnum-ocaml 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 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 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 linux-libc-dev media-types ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils shared-mime-info systemd systemd-sysv tex-common ucf why3-coq xkb-data 0 upgraded, 165 newly installed, 0 to remove and 0 not upgraded. Need to get 346 MB of archives. After this operation, 1544 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bullseye/main amd64 libapparmor1 amd64 2.13.6-10 [99.3 kB] Get:2 http://deb.debian.org/debian bullseye/main amd64 libcap2 amd64 1:2.44-1 [23.6 kB] Get:3 http://deb.debian.org/debian bullseye/main amd64 libargon2-1 amd64 0~20171227-0.2 [19.6 kB] Get:4 http://deb.debian.org/debian bullseye/main amd64 dmsetup amd64 2:1.02.175-2.1 [92.1 kB] Get:5 http://deb.debian.org/debian bullseye/main amd64 libdevmapper1.02.1 amd64 2:1.02.175-2.1 [143 kB] Get:6 http://deb.debian.org/debian bullseye/main amd64 libjson-c5 amd64 0.15-2+deb11u1 [42.9 kB] Get:7 http://deb.debian.org/debian bullseye/main amd64 libcryptsetup12 amd64 2:2.3.7-1+deb11u1 [248 kB] Get:8 http://deb.debian.org/debian bullseye/main amd64 libip4tc2 amd64 1.8.7-1 [34.6 kB] Get:9 http://deb.debian.org/debian bullseye/main amd64 libkmod2 amd64 28-1 [55.6 kB] Get:10 http://deb.debian.org/debian bullseye/main amd64 systemd amd64 247.3-7+deb11u5 [4502 kB] Get:11 http://deb.debian.org/debian bullseye/main amd64 systemd-sysv amd64 247.3-7+deb11u5 [114 kB] Get:12 http://deb.debian.org/debian bullseye/main amd64 libdbus-1-3 amd64 1.12.28-0+deb11u1 [223 kB] Get:13 http://deb.debian.org/debian bullseye/main amd64 libexpat1 amd64 2.2.10-2+deb11u5 [98.2 kB] Get:14 http://deb.debian.org/debian bullseye/main amd64 dbus amd64 1.12.28-0+deb11u1 [244 kB] Get:15 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-minimal amd64 3.9.2-1 [801 kB] Get:16 http://deb.debian.org/debian bullseye/main amd64 python3.9-minimal amd64 3.9.2-1 [1955 kB] Get:17 http://deb.debian.org/debian bullseye/main amd64 python3-minimal amd64 3.9.2-3 [38.2 kB] Get:18 http://deb.debian.org/debian bullseye/main amd64 media-types all 4.0.0 [30.3 kB] Get:19 http://deb.debian.org/debian bullseye/main amd64 libmpdec3 amd64 2.5.1-1 [87.7 kB] Get:20 http://deb.debian.org/debian bullseye/main amd64 libncursesw6 amd64 6.2+20201114-2+deb11u2 [132 kB] Get:21 http://deb.debian.org/debian bullseye/main amd64 readline-common all 8.1-1 [73.7 kB] Get:22 http://deb.debian.org/debian bullseye/main amd64 libreadline8 amd64 8.1-1 [169 kB] Get:23 http://deb.debian.org/debian bullseye/main amd64 libsqlite3-0 amd64 3.34.1-3 [797 kB] Get:24 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-stdlib amd64 3.9.2-1 [1684 kB] Get:25 http://deb.debian.org/debian bullseye/main amd64 python3.9 amd64 3.9.2-1 [466 kB] Get:26 http://deb.debian.org/debian bullseye/main amd64 libpython3-stdlib amd64 3.9.2-3 [21.4 kB] Get:27 http://deb.debian.org/debian bullseye/main amd64 python3 amd64 3.9.2-3 [37.9 kB] Get:28 http://deb.debian.org/debian bullseye/main amd64 sensible-utils all 0.0.14 [14.8 kB] Get:29 http://deb.debian.org/debian bullseye/main amd64 ucf all 3.0043 [74.0 kB] Get:30 http://deb.debian.org/debian bullseye/main amd64 tex-common all 6.16 [53.7 kB] Get:31 http://deb.debian.org/debian bullseye/main amd64 libpam-systemd amd64 247.3-7+deb11u5 [283 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+deb11u2 [320 kB] Get:34 http://deb.debian.org/debian bullseye/main amd64 libglib2.0-0 amd64 2.66.8-1+deb11u4 [1377 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+deb11u2 [147 kB] Get:45 http://deb.debian.org/debian bullseye/main amd64 gtk-update-icon-cache amd64 3.24.24-4+deb11u4 [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+deb11u8 [350 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+deb11u4 [3757 kB] Get:126 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-0 amd64 3.24.24-4+deb11u4 [2715 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+deb11u11 [276 kB] Get:135 http://deb.debian.org/debian bullseye/main amd64 linux-libc-dev amd64 5.10.223-1 [1756 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+deb11u11 [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 why3-coq amd64 1.3.3-1+b4 [757 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 346 MB in 28s (12.3 MB/s) 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 ... 6674 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+deb11u5_amd64.deb ... Unpacking systemd (247.3-7+deb11u5) ... 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+deb11u5) ... 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 ... 7531 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_247.3-7+deb11u5_amd64.deb ... Unpacking systemd-sysv (247.3-7+deb11u5) ... 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 ... 7893 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 ... 8331 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 ucf. Preparing to unpack .../002-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package tex-common. Preparing to unpack .../003-tex-common_6.16_all.deb ... Unpacking tex-common (6.16) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../004-libpam-systemd_247.3-7+deb11u5_amd64.deb ... Unpacking libpam-systemd:amd64 (247.3-7+deb11u5) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../005-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 .../006-libgdk-pixbuf2.0-common_2.42.2+dfsg-1+deb11u2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../007-libglib2.0-0_2.66.8-1+deb11u4_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../008-libicu67_67.1-7_amd64.deb ... Unpacking libicu67:amd64 (67.1-7) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../009-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 .../010-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 .../011-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 .../012-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 .../013-libdeflate0_1.7-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.7-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../014-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 .../015-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 .../016-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 .../017-libgdk-pixbuf-2.0-0_2.42.2+dfsg-1+deb11u2_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../018-gtk-update-icon-cache_3.24.24-4+deb11u4_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.24-4+deb11u4) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../019-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 .../020-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 .../021-libbinutils_2.35.2-2_amd64.deb ... Unpacking libbinutils:amd64 (2.35.2-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../022-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 .../023-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 .../024-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 .../025-binutils_2.35.2-2_amd64.deb ... Unpacking binutils (2.35.2-2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../026-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 .../027-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 .../028-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 .../029-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 .../030-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../031-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 .../032-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 .../033-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 .../034-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 .../035-libmd0_1.0.3-3_amd64.deb ... Unpacking libmd0:amd64 (1.0.3-3) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../036-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 .../037-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 .../038-libxcb1_1.14-3_amd64.deb ... Unpacking libxcb1:amd64 (1.14-3) ... Selecting previously unselected package libx11-data. Preparing to unpack .../039-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 .../040-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 .../041-libxcb-render0_1.14-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-3) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../042-libxcb-shm0_1.14-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../043-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 .../044-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 .../045-libcairo2_1.16.0-5_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../046-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 .../047-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 .../048-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 .../049-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 .../050-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 .../051-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 .../052-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 .../053-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 .../054-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 .../055-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 .../056-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 .../057-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 .../058-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 .../059-libcups2_2.3.3op2-3+deb11u8_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-3+deb11u8) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../060-libepoxy0_1.5.5-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.5-1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../061-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 .../062-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 .../063-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 .../064-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 .../065-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 .../066-fontconfig_2.13.1-4.2_amd64.deb ... Unpacking fontconfig (2.13.1-4.2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../067-libthai-data_0.1.28-3_all.deb ... Unpacking libthai-data (0.1.28-3) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../068-libdatrie1_0.2.13-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../069-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 .../070-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 .../071-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 .../072-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 .../073-libproxy1v5_0.4.17-1_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.17-1) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../074-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 .../075-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 .../076-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 .../077-libdconf1_0.38.0-2_amd64.deb ... Unpacking libdconf1:amd64 (0.38.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../078-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 .../079-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 .../080-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 .../081-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 .../082-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 .../083-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 .../084-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 .../085-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 .../086-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 .../087-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 .../088-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 .../089-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 .../090-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 .../091-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 .../092-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 .../093-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 .../094-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 .../095-xkb-data_2.29-2_all.deb ... Unpacking xkb-data (2.29-2) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../096-libxkbcommon0_1.0.3-2_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.0.3-2) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../097-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 .../098-libgtk-3-common_3.24.24-4+deb11u4_all.deb ... Unpacking libgtk-3-common (3.24.24-4+deb11u4) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../099-libgtk-3-0_3.24.24-4+deb11u4_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.24-4+deb11u4) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../100-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 .../101-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 .../102-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 .../103-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 .../104-libnum-ocaml_1.4-1_amd64.deb ... Unpacking libnum-ocaml (1.4-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../105-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 .../106-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 .../107-libc-dev-bin_2.31-13+deb11u11_amd64.deb ... Unpacking libc-dev-bin (2.31-13+deb11u11) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../108-linux-libc-dev_5.10.223-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.10.223-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../109-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 .../110-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 .../111-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 .../112-libc6-dev_2.31-13+deb11u11_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-13+deb11u11) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../113-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 .../114-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 .../115-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 .../116-ocaml-interp_4.11.1-4_amd64.deb ... Unpacking ocaml-interp (4.11.1-4) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../117-libisl23_0.23-1_amd64.deb ... Unpacking libisl23:amd64 (0.23-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../118-libmpfr6_4.1.0-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.1.0-3) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../119-libmpc3_1.2.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.2.0-1) ... Selecting previously unselected package cpp-10. Preparing to unpack .../120-cpp-10_10.2.1-6_amd64.deb ... Unpacking cpp-10 (10.2.1-6) ... Selecting previously unselected package cpp. Preparing to unpack .../121-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 .../122-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 .../123-libgomp1_10.2.1-6_amd64.deb ... Unpacking libgomp1:amd64 (10.2.1-6) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../124-libitm1_10.2.1-6_amd64.deb ... Unpacking libitm1:amd64 (10.2.1-6) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../125-libatomic1_10.2.1-6_amd64.deb ... Unpacking libatomic1:amd64 (10.2.1-6) ... Selecting previously unselected package libasan6:amd64. Preparing to unpack .../126-libasan6_10.2.1-6_amd64.deb ... Unpacking libasan6:amd64 (10.2.1-6) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../127-liblsan0_10.2.1-6_amd64.deb ... Unpacking liblsan0:amd64 (10.2.1-6) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../128-libtsan0_10.2.1-6_amd64.deb ... Unpacking libtsan0:amd64 (10.2.1-6) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../129-libubsan1_10.2.1-6_amd64.deb ... Unpacking libubsan1:amd64 (10.2.1-6) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../130-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 .../131-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 .../132-gcc-10_10.2.1-6_amd64.deb ... Unpacking gcc-10 (10.2.1-6) ... Selecting previously unselected package gcc. Preparing to unpack .../133-gcc_4%3a10.2.1-1_amd64.deb ... Unpacking gcc (4:10.2.1-1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../134-ocaml-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-nox (4.11.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../135-libfindlib-ocaml_1.8.1-2_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../136-ocaml-findlib_1.8.1-2_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2) ... Selecting previously unselected package coq. Preparing to unpack .../137-coq_8.12.0-3+b3_amd64.deb ... Unpacking coq (8.12.0-3+b3) ... Selecting previously unselected package why3-coq. Preparing to unpack .../138-why3-coq_1.3.3-1+b4_amd64.deb ... Unpacking why3-coq (1.3.3-1+b4) ... 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+deb11u5) ... 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 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+deb11u4) ... 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+deb11u2) ... Setting up binutils-common:amd64 (2.35.2-2) ... Setting up libdeflate0:amd64 (1.7-1) ... Setting up linux-libc-dev:amd64 (5.10.223-1) ... 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 libdconf1:amd64 (0.38.0-2) ... Setting up libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Setting up libjpeg62-turbo:amd64 (1:2.0.6-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 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 libmpdec3:amd64 (2.5.1-1) ... Setting up libpam-systemd:amd64 (247.3-7+deb11u5) ... Setting up libthai-data (0.1.28-3) ... Setting up libjson-glib-1.0-common (1.6.2-1) ... 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 libisl23:amd64 (0.23-1) ... Setting up libc-dev-bin (2.31-13+deb11u11) ... 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 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 libc6-dev:amd64 (2.31-13+deb11u11) ... 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+deb11u2) ... Setting up libxcomposite1:amd64 (1:0.4.5-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+deb11u4) ... 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 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 tex-common (6.16) ... update-language: texlive-base not installed and configured, doing nothing! 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 gcc-10 (10.2.1-6) ... Setting up libcups2:amd64 (2.3.3op2-3+deb11u8) ... 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 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 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+deb11u4) ... Setting up libpangocairo-1.0-0:amd64 (1.46.2-3) ... Setting up gsettings-desktop-schemas (3.38.0-2) ... Setting up libcairo2-ocaml (0.6.2+dfsg-1) ... 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+deb11u4) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Setting up liblablgtk3-ocaml (3.1.1+official-1+b1) ... Setting up liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Setting up libcoq-ocaml (8.12.0-3+b3) ... 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 why3-coq (1.3.3-1+b4) ... Processing triggers for libc-bin (2.31-13+deb11u11) ... 0m57.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-y', 'install', 'why3-coq'] 0m57.1s INFO: Running scripts post_install 0m57.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_install_exceptions'] 0m57.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_install_exceptions'] 0m57.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 0m58.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 0m58.0s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpapr13ty8 to bullseye-next 0m58.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 0m58.0s INFO: Running scripts pre_distupgrade 0m58.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m58.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m58.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_exceptions'] 0m58.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_exceptions'] 0m58.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m58.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m58.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m58.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m58.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m58.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m58.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', 'update'] 0m58.8s 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 [27.2 kB] Get:4 http://deb.debian.org/debian bullseye-proposed-updates InRelease [54.0 kB] Get:5 http://security.debian.org bullseye-security/main amd64 Packages [300 kB] Get:6 http://security.debian.org bullseye-security/main Translation-en [193 kB] Get:7 http://deb.debian.org/debian bullseye-updates/main amd64 Packages [18.8 kB] Get:8 http://deb.debian.org/debian bullseye-updates/main Translation-en [10.9 kB] Fetched 647 kB in 0s (1781 kB/s) Reading package lists... 0m58.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', 'update'] 0m58.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-yf', 'dist-upgrade'] 1m0.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: e2fsprogs libcom-err2 libcups2 libexpat1 libext2fs2 libgnutls30 libpam-systemd libsqlite3-0 libss2 libsystemd0 libudev1 libxml2 logsave systemd systemd-sysv 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 9822 kB of archives. After this operation, 4096 B of additional disk space will be used. Get:1 http://security.debian.org bullseye-security/main amd64 systemd-sysv amd64 247.3-7+deb11u6 [114 kB] Get:2 http://security.debian.org bullseye-security/main amd64 libpam-systemd amd64 247.3-7+deb11u6 [283 kB] Get:3 http://security.debian.org bullseye-security/main amd64 libgnutls30 amd64 3.7.1-5+deb11u6 [1340 kB] Get:4 http://security.debian.org bullseye-security/main amd64 systemd amd64 247.3-7+deb11u6 [4501 kB] Get:5 http://security.debian.org bullseye-security/main amd64 libsystemd0 amd64 247.3-7+deb11u6 [377 kB] Get:6 http://security.debian.org bullseye-security/main amd64 logsave amd64 1.46.2-2+deb11u1 [75.0 kB] Get:7 http://security.debian.org bullseye-security/main amd64 libext2fs2 amd64 1.46.2-2+deb11u1 [257 kB] Get:8 http://security.debian.org bullseye-security/main amd64 e2fsprogs amd64 1.46.2-2+deb11u1 [614 kB] Get:9 http://security.debian.org bullseye-security/main amd64 libcom-err2 amd64 1.46.2-2+deb11u1 [74.3 kB] Get:10 http://security.debian.org bullseye-security/main amd64 libudev1 amd64 247.3-7+deb11u6 [169 kB] Get:11 http://security.debian.org bullseye-security/main amd64 libcups2 amd64 2.3.3op2-3+deb11u9 [351 kB] Get:12 http://security.debian.org bullseye-security/main amd64 libexpat1 amd64 2.2.10-2+deb11u6 [99.0 kB] Get:13 http://security.debian.org bullseye-security/main amd64 libsqlite3-0 amd64 3.34.1-3+deb11u1 [797 kB] Get:14 http://security.debian.org bullseye-security/main amd64 libss2 amd64 1.46.2-2+deb11u1 [78.9 kB] Get:15 http://security.debian.org bullseye-security/main amd64 libxml2 amd64 2.9.10+dfsg-6.7+deb11u5 [693 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 9822 kB in 0s (129 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 ... 27854 files and directories currently installed.) Preparing to unpack .../systemd-sysv_247.3-7+deb11u6_amd64.deb ... Unpacking systemd-sysv (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Preparing to unpack .../libpam-systemd_247.3-7+deb11u6_amd64.deb ... Unpacking libpam-systemd:amd64 (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Preparing to unpack .../libgnutls30_3.7.1-5+deb11u6_amd64.deb ... Unpacking libgnutls30:amd64 (3.7.1-5+deb11u6) over (3.7.1-5+deb11u5) ... Setting up libgnutls30:amd64 (3.7.1-5+deb11u6) ... (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 ... 27854 files and directories currently installed.) Preparing to unpack .../systemd_247.3-7+deb11u6_amd64.deb ... Unpacking systemd (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Preparing to unpack .../libsystemd0_247.3-7+deb11u6_amd64.deb ... Unpacking libsystemd0:amd64 (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Setting up libsystemd0:amd64 (247.3-7+deb11u6) ... (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 ... 27854 files and directories currently installed.) Preparing to unpack .../logsave_1.46.2-2+deb11u1_amd64.deb ... Unpacking logsave (1.46.2-2+deb11u1) over (1.46.2-2) ... Preparing to unpack .../libext2fs2_1.46.2-2+deb11u1_amd64.deb ... Unpacking libext2fs2:amd64 (1.46.2-2+deb11u1) over (1.46.2-2) ... Setting up libext2fs2:amd64 (1.46.2-2+deb11u1) ... (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 ... 27854 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.46.2-2+deb11u1_amd64.deb ... Unpacking e2fsprogs (1.46.2-2+deb11u1) over (1.46.2-2) ... Preparing to unpack .../libcom-err2_1.46.2-2+deb11u1_amd64.deb ... Unpacking libcom-err2:amd64 (1.46.2-2+deb11u1) over (1.46.2-2) ... Setting up libcom-err2:amd64 (1.46.2-2+deb11u1) ... (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 ... 27854 files and directories currently installed.) Preparing to unpack .../libudev1_247.3-7+deb11u6_amd64.deb ... Unpacking libudev1:amd64 (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Setting up libudev1:amd64 (247.3-7+deb11u6) ... (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 ... 27854 files and directories currently installed.) Preparing to unpack .../libcups2_2.3.3op2-3+deb11u9_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-3+deb11u9) over (2.3.3op2-3+deb11u8) ... Preparing to unpack .../libexpat1_2.2.10-2+deb11u6_amd64.deb ... Unpacking libexpat1:amd64 (2.2.10-2+deb11u6) over (2.2.10-2+deb11u5) ... Preparing to unpack .../libsqlite3-0_3.34.1-3+deb11u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.34.1-3+deb11u1) over (3.34.1-3) ... Preparing to unpack .../libss2_1.46.2-2+deb11u1_amd64.deb ... Unpacking libss2:amd64 (1.46.2-2+deb11u1) over (1.46.2-2) ... Preparing to unpack .../libxml2_2.9.10+dfsg-6.7+deb11u5_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u5) over (2.9.10+dfsg-6.7+deb11u4) ... Setting up libexpat1:amd64 (2.2.10-2+deb11u6) ... Setting up libsqlite3-0:amd64 (3.34.1-3+deb11u1) ... Setting up systemd (247.3-7+deb11u6) ... Setting up libss2:amd64 (1.46.2-2+deb11u1) ... Setting up logsave (1.46.2-2+deb11u1) ... Setting up libcups2:amd64 (2.3.3op2-3+deb11u9) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u5) ... Setting up systemd-sysv (247.3-7+deb11u6) ... Setting up e2fsprogs (1.46.2-2+deb11u1) ... Setting up libpam-systemd:amd64 (247.3-7+deb11u6) ... Processing triggers for dbus (1.12.28-0+deb11u1) ... Processing triggers for libc-bin (2.31-13+deb11u11) ... 1m0.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-yf', 'dist-upgrade'] 1m0.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m0.8s DUMP: bb4043af4b03872ee74a2f6e9a642a6e - 1m0.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m0.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'show', '--no-all-versions', 'why3-coq'] 1m0.9s DUMP: Package: why3-coq Source: why3 (1.3.3-1) Version: 1.3.3-1+b4 Installed-Size: 3830 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: coq-8.12.0+4.11.1, tex-common (>= 6.13) Recommends: why3 Description-en: Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform. Description-md5: fca3e9b7fd6d16509065220d24994dd5 Homepage: http://why3.lri.fr/ Section: math Priority: optional Filename: pool/main/w/why3/why3-coq_1.3.3-1+b4_amd64.deb Size: 757188 MD5sum: 0e434c0e82ab013c74e52e9a18cdc850 SHA256: 53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'show', '--no-all-versions', 'why3-coq'] 1m0.9s INFO: apt-cache knows about the following packages: why3-coq 1m0.9s INFO: Running scripts pre_install 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_database-server'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_database-server'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_exceptions'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_exceptions'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_extras'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_extras'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy'] 1m0.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 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.11,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy', 'why3-coq'] 1m0.9s DUMP: why3-coq: Installed: 1.3.3-1+b4 Candidate: 1.3.3-1+b4 Version table: *** 1.3.3-1+b4 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 100 /var/lib/dpkg/status 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy', 'why3-coq'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-y', 'install', 'why3-coq'] 1m1.1s DUMP: Reading package lists... Building dependency tree... Reading state information... why3-coq is already the newest version (1.3.3-1+b4). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m1.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-y', 'install', 'why3-coq'] 1m1.1s INFO: Running scripts post_install 1m1.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_install_exceptions'] 1m1.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_install_exceptions'] 1m1.1s INFO: Running scripts post_distupgrade 1m1.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m1.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m1.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_exceptions'] 1m1.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_exceptions'] 1m1.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m1.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m1.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m1.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m1.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_zz_backports'] 1m1.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_distupgrade_zz_backports'] 1m1.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m2.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m2.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m2.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m2.8s INFO: Running scripts pre_install 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_database-server'] 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_database-server'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_exceptions'] 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_exceptions'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_extras'] 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_extras'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture'] 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy'] 1m2.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 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.11,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy', 'why3-coq'] 1m2.8s DUMP: why3-coq: Installed: 1.3.3-1+b4 Candidate: 1.3.3-1+b4 Version table: *** 1.3.3-1+b4 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 100 /var/lib/dpkg/status 1m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-cache', 'policy', 'why3-coq'] 1m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-y', 'install', 'why3-coq=1.3.3-1+b4'] 1m3.0s DUMP: Reading package lists... Building dependency tree... Reading state information... why3-coq is already the newest version (1.3.3-1+b4). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', '-y', 'install', 'why3-coq=1.3.3-1+b4'] 1m3.0s INFO: Running scripts post_install 1m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_install_exceptions'] 1m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_install_exceptions'] 1m3.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m3.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m4.0s DEBUG: No file moved between /{bin|sbin|lib*} and /usr/{bin|sbin|lib*}. 1m4.1s INFO: /bin converted to /usr/bin by /usr merge 1m4.1s INFO: /lib converted to /usr/lib by /usr merge 1m4.1s INFO: /lib/init converted to /usr/lib/init by /usr merge 1m4.1s INFO: /lib/lsb converted to /usr/lib/lsb by /usr merge 1m4.1s INFO: /lib/lsb/init-functions.d converted to /usr/lib/lsb/init-functions.d by /usr merge 1m4.1s INFO: /lib/modprobe.d converted to /usr/lib/modprobe.d by /usr merge 1m4.1s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 1m4.1s INFO: /lib/systemd/network converted to /usr/lib/systemd/network by /usr merge 1m4.1s INFO: /lib/systemd/system-generators converted to /usr/lib/systemd/system-generators by /usr merge 1m4.1s INFO: /lib/systemd/system-preset converted to /usr/lib/systemd/system-preset by /usr merge 1m4.1s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 1m4.1s INFO: /lib/systemd/system/getty.target.wants converted to /usr/lib/systemd/system/getty.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/graphical.target.wants converted to /usr/lib/systemd/system/graphical.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/initrd-root-device.target.wants converted to /usr/lib/systemd/system/initrd-root-device.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/multi-user.target.wants converted to /usr/lib/systemd/system/multi-user.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/rc-local.service.d converted to /usr/lib/systemd/system/rc-local.service.d by /usr merge 1m4.1s INFO: /lib/systemd/system/rescue.target.wants converted to /usr/lib/systemd/system/rescue.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/sockets.target.wants converted to /usr/lib/systemd/system/sockets.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/sysinit.target.wants converted to /usr/lib/systemd/system/sysinit.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/systemd-localed.service.d converted to /usr/lib/systemd/system/systemd-localed.service.d by /usr merge 1m4.1s INFO: /lib/systemd/system/timers.target.wants converted to /usr/lib/systemd/system/timers.target.wants by /usr merge 1m4.1s INFO: /lib/systemd/system/user-.slice.d converted to /usr/lib/systemd/system/user-.slice.d by /usr merge 1m4.1s INFO: /lib/terminfo converted to /usr/lib/terminfo by /usr merge 1m4.1s INFO: /lib/terminfo/E converted to /usr/lib/terminfo/E by /usr merge 1m4.1s INFO: /lib/terminfo/a converted to /usr/lib/terminfo/a by /usr merge 1m4.1s INFO: /lib/terminfo/c converted to /usr/lib/terminfo/c by /usr merge 1m4.1s INFO: /lib/terminfo/d converted to /usr/lib/terminfo/d by /usr merge 1m4.1s INFO: /lib/terminfo/h converted to /usr/lib/terminfo/h by /usr merge 1m4.1s INFO: /lib/terminfo/l converted to /usr/lib/terminfo/l by /usr merge 1m4.1s INFO: /lib/terminfo/m converted to /usr/lib/terminfo/m by /usr merge 1m4.1s INFO: /lib/terminfo/p converted to /usr/lib/terminfo/p by /usr merge 1m4.1s INFO: /lib/terminfo/r converted to /usr/lib/terminfo/r by /usr merge 1m4.1s INFO: /lib/terminfo/s converted to /usr/lib/terminfo/s by /usr merge 1m4.1s INFO: /lib/terminfo/t converted to /usr/lib/terminfo/t by /usr merge 1m4.1s INFO: /lib/terminfo/v converted to /usr/lib/terminfo/v by /usr merge 1m4.1s INFO: /lib/terminfo/w converted to /usr/lib/terminfo/w by /usr merge 1m4.1s INFO: /lib/terminfo/x converted to /usr/lib/terminfo/x by /usr merge 1m4.1s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 1m4.1s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 1m4.1s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 1m4.1s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 1m4.1s INFO: /lib64 converted to /usr/lib64 by /usr merge 1m4.1s INFO: /sbin converted to /usr/sbin by /usr merge 1m4.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '-ac', '--ignore-obsolete'] 1m8.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '-ac', '--ignore-obsolete'] 1m8.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m8.2s DUMP: 0.15.6 1m8.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m8.2s INFO: Running adequate version 0.15.6 now. 1m8.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'why3-coq'] 1m8.2s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'why3-coq'] 1m8.2s INFO: Running scripts pre_remove 1m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_exceptions'] 1m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/pre_remove_exceptions'] 1m11.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m11.6s 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+deb11u11 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+deb11u2 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+deb11u1 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+deb11u4 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 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 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+deb11u2 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+deb11u11 install ok installed libc-dev-bin libc-dev-bin 2.31-13+deb11u11 install ok installed libc6:amd64 libc6 2.31-13+deb11u11 install ok installed libc6-dev:amd64 libc6-dev 2.31-13+deb11u11 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+deb11u1 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+deb11u9 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+deb11u6 install ok installed libext2fs2:amd64 libext2fs2 1.46.2-2+deb11u1 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 libgdk-pixbuf-2.0-0:amd64 libgdk-pixbuf-2.0-0 2.42.2+dfsg-1+deb11u2 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+deb11u2 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.66.8-1+deb11u4 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-1+deb11u1 install ok installed libgnutls30:amd64 libgnutls30 3.7.1-5+deb11u6 install ok installed libgomp1:amd64 libgomp1 10.2.1-6 install ok installed libgpg-error0:amd64 libgpg-error0 1.38-2 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+deb11u5 install ok installed libgtk-3-0:amd64 libgtk-3-0 3.24.24-4+deb11u4 install ok installed libgtk-3-common libgtk-3-common 3.24.24-4+deb11u4 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 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 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+deb11u5 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+deb11u5 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-6+deb11u5 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 libmd0:amd64 libmd0 1.0.3-3 install ok installed libmount1:amd64 libmount1 2.36.1-8+deb11u2 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 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+deb11u6 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 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+deb11u2 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+deb11u1 install ok installed libss2:amd64 libss2 1.46.2-2+deb11u1 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+deb11u6 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+deb11u6 install ok installed libunistring2:amd64 libunistring2 0.9.10-4 install ok installed libuuid1:amd64 libuuid1 2.36.1-8+deb11u2 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 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+deb11u5 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 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.223-1 install ok installed login login 1:4.8.1-1 install ok installed logsave logsave 1.46.2-2+deb11u1 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.4.20200120-2 install ok installed media-types media-types 4.0.0 install ok installed mount mount 2.36.1-8+deb11u2 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 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+deb11u6 install ok installed systemd-sysv systemd-sysv 247.3-7+deb11u6 install ok installed sysvinit-utils sysvinit-utils 2.96-7+deb11u1 install ok installed tar tar 1.34+dfsg-1+deb11u1 install ok installed tex-common tex-common 6.16 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+deb11u2 install ok installed why3-coq why3-coq 1.3.3-1+b4 install ok installed xkb-data xkb-data 2.29-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2+deb11u2 1m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m11.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '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', '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', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', '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', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1: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', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnum-ocaml', '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', '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', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'tex-common', 'ucf', 'xkb-data', 'why3-coq'] 1m13.3s 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 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 libapparmor1 libargon2-1 libasan6 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 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67 libip4tc2 libisl23 libitm1 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libnum-ocaml 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 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 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 linux-libc-dev media-types ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils shared-mime-info systemd systemd-sysv tex-common ucf why3-coq xkb-data 0 upgraded, 0 newly installed, 165 to remove and 0 not upgraded. After this operation, 1544 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 ... 27854 files and directories currently installed.) Removing why3-coq (1.3.3-1+b4) ... Removing libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Removing tex-common (6.16) ... Removing coq (8.12.0-3+b3) ... Removing coq-theories (8.12.0-3+b3) ... Removing libcoq-ocaml (8.12.0-3+b3) ... Removing liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Removing liblablgtk3-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 libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Removing libcairo2-ocaml (0.6.2+dfsg-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+deb11u11) ... Removing libc-dev-bin (2.31-13+deb11u11) ... 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 libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Removing python3 (3.9.2-3) ... Removing python3-minimal (3.9.2-3) ... Removing python3.9 (3.9.2-1) ... Removing python3.9-minimal (3.9.2-1) ... Removing ocaml-findlib (1.8.1-2) ... Removing libfindlib-ocaml (1.8.1-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 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 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 libreadline8:amd64 (8.1-1) ... 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.223-1) ... Removing media-types (4.0.0) ... Removing ocaml-base-nox (4.11.1-4) ... Removing readline-common (8.1-1) ... Removing libgtk-3-0:amd64 (3.24.24-4+deb11u4) ... Removing adwaita-icon-theme (3.38.0-1) ... Removing libgtk-3-common (3.24.24-4+deb11u4) ... 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+deb11u6) ... 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+deb11u6) ... Removing systemd (247.3-7+deb11u6) ... 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 libcairo-gobject2:amd64 (1.16.0-5) ... Removing libcairo2:amd64 (1.16.0-5) ... Removing libfontconfig1:amd64 (2.13.1-4.2) ... Removing fontconfig-config (2.13.1-4.2) ... Removing fonts-dejavu-core (2.37-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+deb11u4) ... 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+deb11u9) ... 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 libharfbuzz0b:amd64 (2.7.4-1) ... Removing libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... Removing libbrotli1:amd64 (1.0.9-2+b2) ... Removing libxrandr2:amd64 (2:1.5.1-1) ... Removing libxcursor1:amd64 (1:1.2.0-2) ... Removing libxrender1:amd64 (1:0.9.10-1) ... Removing libxinerama1:amd64 (2:1.1.4-2) ... 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+deb11u2) ... Removing libtiff5:amd64 (4.2.0-1+deb11u5) ... Removing libdeflate0:amd64 (1.7-1) ... Removing libepoxy0:amd64 (1.5.5-1) ... Removing libexpat1:amd64 (2.2.10-2+deb11u6) ... Removing libfribidi0:amd64 (1.0.8-2+deb11u1) ... Removing libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u2) ... Removing shared-mime-info (2.0-1) ... Removing libjson-glib-1.0-0:amd64 (1.6.2-1) ... Removing libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... Removing libgraphite2-3:amd64 (1.3.14-1) ... Removing libxml2:amd64 (2.9.10+dfsg-6.7+deb11u5) ... 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 libpng16-16:amd64 (1.6.37-3) ... Removing libproxy1v5:amd64 (0.4.17-1) ... Removing libpsl5:amd64 (0.21.0-1.2) ... Removing libsqlite3-0:amd64 (3.34.1-3+deb11u1) ... 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 libxdamage1:amd64 (1:1.1.5-2) ... Removing libxi6:amd64 (2:1.7.10-1) ... Removing libxext6:amd64 (2:1.3.3-1.1) ... Removing libxfixes3:amd64 (1:5.0.3-2) ... Removing libxkbcommon0:amd64 (1.0.3-2) ... Removing ucf (3.0043) ... Removing sensible-utils (0.0.14) ... Removing xkb-data (2.29-2) ... 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+deb11u11) ... 1m13.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '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', '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', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', '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', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1: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', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnum-ocaml', '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', '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', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'tex-common', 'ucf', 'xkb-data', 'why3-coq'] 1m13.3s INFO: Running scripts post_remove 1m13.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_remove_exceptions'] 1m13.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_remove_exceptions'] 1m13.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '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', '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', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', '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', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1: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', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnum-ocaml', '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', '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', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'tex-common', 'ucf', 'xkb-data'] 1m13.6s DUMP: (Reading database ... 6733 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 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 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 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 Purging configuration files for libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u2) ... 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 Purging configuration files for libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... dpkg: warning: ignoring request to remove libgomp1 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+deb11u4) ... Purging configuration files for libgtk-3-common (3.24.24-4+deb11u4) ... 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 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 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 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 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 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 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 libxrandr2 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Purging configuration files for media-types (4.0.0) ... 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 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+deb11u6) ... dpkg: warning: ignoring request to remove systemd-sysv which isn't installed Purging configuration files for tex-common (6.16) ... Purging configuration files for ucf (3.0043) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed 1m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', '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', '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', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', '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', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1: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', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnum-ocaml', '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', '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', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'tex-common', 'ucf', 'xkb-data'] 1m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg', '--purge', 'why3-coq'] 1m13.6s DUMP: (Reading database ... 6674 files and directories currently installed.) Purging configuration files for why3-coq (1.3.3-1+b4) ... 1m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg', '--purge', 'why3-coq'] 1m13.6s INFO: Running scripts post_purge 1m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_purge_exceptions'] 1m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_purge_exceptions'] 1m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg', '--purge', '--pending'] 1m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg', '--purge', '--pending'] 1m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg', '--remove', '--pending'] 1m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg', '--remove', '--pending'] 1m13.7s INFO: Running scripts post_test 1m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_test_exceptions'] 1m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'tmp/scripts/post_test_exceptions'] 1m13.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m13.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg-divert', '--list'] 1m13.9s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged 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 local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 1m13.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'dpkg-divert', '--list'] 1m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', 'clean'] 1m14.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpapr13ty8', 'apt-get', 'clean'] 1m14.0s DEBUG: Recording chroot state 1m14.3s 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 1m14.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/shm'] 1m14.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/shm'] 1m14.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/console'] 1m14.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/console'] 1m14.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/ptmx'] 1m14.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/ptmx'] 1m14.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/pts'] 1m14.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/dev/pts'] 1m14.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/proc'] 1m14.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpapr13ty8/proc'] 1m14.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m14.7s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpapr13ty8'] 1m14.7s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpapr13ty8 1m14.7s INFO: PASS: Upgrading between Debian distributions. 1m14.7s INFO: PASS: All tests. 1m14.7s INFO: piuparts run ends. ret=0 End: 2024-10-05 05:35:20 GMT