Start: 2023-03-16 22:56:16 GMT [stretch] Package: prooftree Version: 0.13-1 Installed-Size: 3486 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libatk1.0-0 (>= 1.12.4), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0) Description: proof-tree visualization for Proof General Homepage: http://askra.de/software/prooftree Description-md5: b27f2d4918792b35e6871a08a544fafa Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-1_amd64.deb Size: 695736 MD5sum: fac2ddc7b5539937bcbebd500c8c4ae8 SHA256: a7a1e6e070c743ee71a5094b6f0091657d24037c16b7ae9b97438b7ca9368acf [stretch-lts] Package: prooftree Version: 0.13-1 Installed-Size: 3486 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libatk1.0-0 (>= 1.12.4), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0) Description: proof-tree visualization for Proof General Homepage: http://askra.de/software/prooftree Description-md5: b27f2d4918792b35e6871a08a544fafa Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-1_amd64.deb Size: 695736 MD5sum: fac2ddc7b5539937bcbebd500c8c4ae8 SHA256: a7a1e6e070c743ee71a5094b6f0091657d24037c16b7ae9b97438b7ca9368acf 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 --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz -d stretch -d stretch-lts -B /srv/piuparts.debian.org/slave/refchroot/stretch2next/reference-chroot-metadata.dat --apt prooftree=0.13-1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.1.5 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 --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz -d stretch -d stretch-lts -B /srv/piuparts.debian.org/slave/refchroot/stretch2next/reference-chroot-metadata.dat --apt prooftree=0.13-1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-21-amd64 #1 SMP Debian 5.10.162-1 (2023-01-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpggss_43p 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpggss_43p 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpggss_43p', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz'] 0m1.6s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpggss_43p', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpggss_43p/proc'] 0m1.6s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpggss_43p/proc'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/pts'] 0m1.6s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/pts'] 0m1.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/ptmx'] 0m1.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/ptmx'] 0m1.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/console'] 0m1.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/console'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/shm'] 0m1.7s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/shm'] 0m1.7s DEBUG: sources.list: deb http://deb.debian.org/debian/ stretch main 0m1.7s DEBUG: Created policy-rc.d and chmodded it. 0m1.7s DEBUG: Created resolv.conf. 0m1.7s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpggss_43p/tmp/scripts/ 0m1.7s INFO: Running scripts post_chroot_unpack 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'update'] 0m2.4s DUMP: Ign:1 http://deb.debian.org/debian stretch InRelease Hit:2 http://deb.debian.org/debian stretch Release Reading package lists... 0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'update'] 0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-yf', 'dist-upgrade'] 0m2.6s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-yf', 'dist-upgrade'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.1s DUMP: 660e5103244a20b75ca08c3f8741e16e - 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.1s INFO: Running scripts post_setup 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_dummy_users'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_dummy_users'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_forbid_home'] 0m3.7s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_forbid_home'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.7s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_minimize'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_minimize'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_setup_zz_backports'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.7s DUMP: install ok installed adduser adduser 3.115 install ok installed apt apt 1.4.10 install ok installed base-files base-files 9.9+deb9u13 install ok installed base-passwd base-passwd 3.5.43 install ok installed bash bash 4.4-5 install ok installed bsdutils bsdutils 1:2.29.2-1+deb9u1 install ok installed coreutils coreutils 8.26-3 install ok installed dash dash 0.5.8-2.4 install ok installed debconf debconf 1.5.61 install ok installed debian-archive-keyring debian-archive-keyring 2017.5+deb9u1 install ok installed debianutils debianutils 4.8.1.1 install ok installed diffutils diffutils 1:3.5-3 install ok installed dpkg dpkg 1.18.25 install ok installed e2fslibs:amd64 e2fslibs 1.43.4-2+deb9u1 install ok installed e2fsprogs e2fsprogs 1.43.4-2+deb9u1 install ok installed findutils findutils 4.6.0+git+20161106-2 install ok installed gcc-6-base:amd64 gcc-6-base 6.3.0-18+deb9u1 install ok installed gpgv gpgv 2.1.18-8~deb9u4 install ok installed grep grep 2.27-2 install ok installed gzip gzip 1.6-5+b1 install ok installed hostname hostname 3.18+b1 install ok installed init-system-helpers init-system-helpers 1.48 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.4.10 install ok installed libattr1:amd64 libattr1 1:2.4.47-2+b2 install ok installed libaudit-common libaudit-common 1:2.6.7-2 install ok installed libaudit1:amd64 libaudit1 1:2.6.7-2 install ok installed libblkid1:amd64 libblkid1 2.29.2-1+deb9u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-8.1 install ok installed libc-bin libc-bin 2.24-11+deb9u4 install ok installed libc6:amd64 libc6 2.24-11+deb9u4 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.7-3+b1 install ok installed libcomerr2:amd64 libcomerr2 1.43.4-2+deb9u1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-12+deb9u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.227 install ok installed libfdisk1:amd64 libfdisk1 2.29.2-1+deb9u1 install ok installed libgcc1:amd64 libgcc1 1:6.3.0-18+deb9u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.7.6-2+deb9u3 install ok installed libgpg-error0:amd64 libgpg-error0 1.26-2 install ok installed liblz4-1:amd64 liblz4-1 0.0~r131-2+b1 install ok installed liblzma5:amd64 liblzma5 5.2.2-1.2+b1 install ok installed libmount1:amd64 libmount1 2.29.2-1+deb9u1 install ok installed libncursesw5:amd64 libncursesw5 6.0+20161126-1+deb9u2 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.6 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.6 install ok installed libpam-runtime libpam-runtime 1.1.8-3.6 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.6 install ok installed libpcre3:amd64 libpcre3 2:8.39-3 install ok installed libselinux1:amd64 libselinux1 2.6-3+b3 install ok installed libsemanage-common libsemanage-common 2.6-2 install ok installed libsemanage1:amd64 libsemanage1 2.6-2 install ok installed libsepol1:amd64 libsepol1 2.6-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.29.2-1+deb9u1 install ok installed libss2:amd64 libss2 1.43.4-2+deb9u1 install ok installed libstdc++6:amd64 libstdc++6 6.3.0-18+deb9u1 install ok installed libsystemd0:amd64 libsystemd0 232-25+deb9u12 install ok installed libtinfo5:amd64 libtinfo5 6.0+20161126-1+deb9u2 install ok installed libudev1:amd64 libudev1 232-25+deb9u12 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-6 install ok installed libuuid1:amd64 libuuid1 2.29.2-1+deb9u1 install ok installed login login 1:4.4-4.1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mount mount 2.29.2-1+deb9u1 install ok installed multiarch-support multiarch-support 2.24-11+deb9u4 install ok installed ncurses-base ncurses-base 6.0+20161126-1+deb9u2 install ok installed ncurses-bin ncurses-bin 6.0+20161126-1+deb9u2 install ok installed passwd passwd 1:4.4-4.1 install ok installed perl-base perl-base 5.24.1-3+deb9u7 install ok installed sed sed 4.4-1 install ok installed sensible-utils sensible-utils 0.0.9+deb9u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59.9 install ok installed tar tar 1.29b-1.1 install ok installed util-linux util-linux 2.29.2-1+deb9u1 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-5 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.7s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/stretch2next/reference-chroot-metadata.dat 0m3.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m4.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m4.0s INFO: Running scripts is_testable 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/is_testable_uninstallable'] 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/is_testable_uninstallable'] 0m4.0s INFO: Running scripts pre_test 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_test_exceptions'] 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_test_exceptions'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_test_root_password'] 0m4.0s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_test_root_password'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m4.2s DUMP: Package: prooftree Version: 0.13-1 Installed-Size: 3486 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libatk1.0-0 (>= 1.12.4), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0) Description-en: proof-tree visualization for Proof General Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq. Description-md5: b27f2d4918792b35e6871a08a544fafa Homepage: http://askra.de/software/prooftree Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-1_amd64.deb Size: 695736 MD5sum: fac2ddc7b5539937bcbebd500c8c4ae8 SHA256: a7a1e6e070c743ee71a5094b6f0091657d24037c16b7ae9b97438b7ca9368acf 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m4.2s INFO: apt-cache knows about the following packages: prooftree 0m4.2s INFO: Running scripts pre_install 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_database-server'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_database-server'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_exceptions'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_exceptions'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_extras'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_extras'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy'] 0m4.2s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian stretch/main amd64 Packages release v=9.13,o=Debian,a=oldoldstable,n=stretch,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy', 'prooftree'] 0m4.3s DUMP: prooftree: Installed: (none) Candidate: 0.13-1 Version table: 0.13-1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy', 'prooftree'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-y', 'install', 'prooftree'] 0m35.9s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: adwaita-icon-theme aspell aspell-en binutils coq coq-theories cpp cpp-6 dconf-gsettings-backend dconf-service dictionaries-common emacs24 emacs24-bin-common emacs24-common emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-6 gconf-service gconf2-common glib-networking glib-networking-common glib-networking-services gnutls-bin gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme imagemagick-6-common libasan3 libasound2 libasound2-data libaspell15 libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcilkrts5 libcolord2 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm2 libegl1-mesa libenchant1c2a libepoxy0 libexpat1 libffi6 libfftw3-double3 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgcc-6-dev libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libglade2-0 libglib2.0-0 libgmp10 libgnutls-dane0 libgnutls30 libgomp1 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhogweed4 libhunspell-1.4-0 libice6 libicu57 libidn11 libisl15 libitm1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtksourceview2-ocaml liblcms2-2 libldap-2.4-2 libldap-common liblockfile-bin liblockfile1 liblqr-1-0 liblsan0 libltdl7 libm17n-0 libmagickcore-6.q16-3 libmagickwand-6.q16-3 libmpc3 libmpfr4 libmpx2 libncurses5 libncurses5-dev libnettle6 libopenjp2-7 libopts25 libotf0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libproxy1v5 libquadmath0 librest-0.7-0 librsvg2-2 librsvg2-common libsasl2-2 libsasl2-modules-db libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libtasn1-6 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libtsan0 libubsan0 libunbound2 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 linux-libc-dev lsb-base m17n-db mmm-mode ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox proofgeneral shared-mime-info ucf x11-common xkb-data Suggested packages: aspell-doc spellutils binutils-doc ledit | readline-editor libcoq-ocaml-dev why coq-doc cpp-doc gcc-6-locales wordlist emacs24-common-non-dfsg ncurses-term gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-6-multilib gcc-6-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan3-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg libasound2-plugins alsa-utils glibc-doc colord cups-common libenchant-voikko libfftw3-bin libfftw3-dev libgd-tools dns-root-data gpm krb5-doc krb5-user gvfs liblcms2-utils m17n-docs libmagickcore-6.q16-3-extra ncurses-doc librsvg2-bin gawk camlp4 ocaml-doc tuareg-mode | ocaml-mode proofgeneral-doc Recommended packages: emacs24-el at-spi2-core manpages manpages-dev dbus enchant libglib2.0-data xdg-user-dirs libgtk-3-bin libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary krb5-locales ghostscript gsfonts libsasl2-modules xml-core libfindlib-ocaml-dev ledit | readline-editor camlp4 file The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en binutils coq coq-theories cpp cpp-6 dconf-gsettings-backend dconf-service dictionaries-common emacs24 emacs24-bin-common emacs24-common emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-6 gconf-service gconf2-common glib-networking glib-networking-common glib-networking-services gnutls-bin gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme imagemagick-6-common libasan3 libasound2 libasound2-data libaspell15 libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcilkrts5 libcolord2 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm2 libegl1-mesa libenchant1c2a libepoxy0 libexpat1 libffi6 libfftw3-double3 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgcc-6-dev libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libglade2-0 libglib2.0-0 libgmp10 libgnutls-dane0 libgnutls30 libgomp1 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhogweed4 libhunspell-1.4-0 libice6 libicu57 libidn11 libisl15 libitm1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtksourceview2-ocaml liblcms2-2 libldap-2.4-2 libldap-common liblockfile-bin liblockfile1 liblqr-1-0 liblsan0 libltdl7 libm17n-0 libmagickcore-6.q16-3 libmagickwand-6.q16-3 libmpc3 libmpfr4 libmpx2 libncurses5 libncurses5-dev libnettle6 libopenjp2-7 libopts25 libotf0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libproxy1v5 libquadmath0 librest-0.7-0 librsvg2-2 librsvg2-common libsasl2-2 libsasl2-modules-db libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libtasn1-6 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libtsan0 libubsan0 libunbound2 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 linux-libc-dev lsb-base m17n-db mmm-mode ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox proofgeneral prooftree shared-mime-info ucf x11-common xkb-data 0 upgraded, 204 newly installed, 0 to remove and 0 not upgraded. Need to get 178 MB of archives. After this operation, 856 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian stretch/main amd64 liblockfile-bin amd64 1.14-1+b1 [19.1 kB] Get:2 http://deb.debian.org/debian stretch/main amd64 liblockfile1 amd64 1.14-1+b1 [15.7 kB] Get:3 http://deb.debian.org/debian stretch/main amd64 libexpat1 amd64 2.2.0-2+deb9u3 [83.7 kB] Get:4 http://deb.debian.org/debian stretch/main amd64 libpng16-16 amd64 1.6.28-1+deb9u1 [280 kB] Get:5 http://deb.debian.org/debian stretch/main amd64 libfreetype6 amd64 2.6.3-3.2+deb9u1 [438 kB] Get:6 http://deb.debian.org/debian stretch/main amd64 ucf all 3.0036 [70.2 kB] Get:7 http://deb.debian.org/debian stretch/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:8 http://deb.debian.org/debian stretch/main amd64 fontconfig-config all 2.11.0-6.7 [271 kB] Get:9 http://deb.debian.org/debian stretch/main amd64 libfontconfig1 amd64 2.11.0-6.7+b1 [331 kB] Get:10 http://deb.debian.org/debian stretch/main amd64 fontconfig amd64 2.11.0-6.7+b1 [404 kB] Get:11 http://deb.debian.org/debian stretch/main amd64 libffi6 amd64 3.2.1-6 [20.4 kB] Get:12 http://deb.debian.org/debian stretch/main amd64 libglib2.0-0 amd64 2.50.3-2+deb9u2 [2692 kB] Get:13 http://deb.debian.org/debian stretch/main amd64 libatk1.0-data all 2.22.0-1 [172 kB] Get:14 http://deb.debian.org/debian stretch/main amd64 libatk1.0-0 amd64 2.22.0-1 [78.4 kB] Get:15 http://deb.debian.org/debian stretch/main amd64 libpixman-1-0 amd64 0.34.0-1 [530 kB] Get:16 http://deb.debian.org/debian stretch/main amd64 libxau6 amd64 1:1.0.8-1 [20.7 kB] Get:17 http://deb.debian.org/debian stretch/main amd64 libbsd0 amd64 0.8.3-1 [83.0 kB] Get:18 http://deb.debian.org/debian stretch/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:19 http://deb.debian.org/debian stretch/main amd64 libxcb1 amd64 1.12-1 [133 kB] Get:20 http://deb.debian.org/debian stretch/main amd64 libx11-data all 2:1.6.4-3+deb9u1 [287 kB] Get:21 http://deb.debian.org/debian stretch/main amd64 libx11-6 amd64 2:1.6.4-3+deb9u1 [748 kB] Get:22 http://deb.debian.org/debian stretch/main amd64 libxcb-render0 amd64 1.12-1 [105 kB] Get:23 http://deb.debian.org/debian stretch/main amd64 libxcb-shm0 amd64 1.12-1 [95.9 kB] Get:24 http://deb.debian.org/debian stretch/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:25 http://deb.debian.org/debian stretch/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:26 http://deb.debian.org/debian stretch/main amd64 libcairo2 amd64 1.14.8-1 [771 kB] Get:27 http://deb.debian.org/debian stretch/main amd64 libjpeg62-turbo amd64 1:1.5.1-2 [134 kB] Get:28 http://deb.debian.org/debian stretch/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:29 http://deb.debian.org/debian stretch/main amd64 libtiff5 amd64 4.0.8-2+deb9u5 [239 kB] Get:30 http://deb.debian.org/debian stretch/main amd64 libicu57 amd64 57.1-6+deb9u4 [7699 kB] Get:31 http://deb.debian.org/debian stretch/main amd64 libxml2 amd64 2.9.4+dfsg1-2.2+deb9u2 [920 kB] Get:32 http://deb.debian.org/debian stretch/main amd64 shared-mime-info amd64 1.8-1+deb9u1 [731 kB] Get:33 http://deb.debian.org/debian stretch/main amd64 libgdk-pixbuf2.0-common all 2.36.5-2+deb9u2 [311 kB] Get:34 http://deb.debian.org/debian stretch/main amd64 libgdk-pixbuf2.0-0 amd64 2.36.5-2+deb9u2 [170 kB] Get:35 http://deb.debian.org/debian stretch/main amd64 libgtk2.0-common all 2.24.31-2 [2693 kB] Get:36 http://deb.debian.org/debian stretch/main amd64 libavahi-common-data amd64 0.6.32-2 [118 kB] Get:37 http://deb.debian.org/debian stretch/main amd64 libavahi-common3 amd64 0.6.32-2 [52.0 kB] Get:38 http://deb.debian.org/debian stretch/main amd64 libdbus-1-3 amd64 1.10.32-0+deb9u1 [196 kB] Get:39 http://deb.debian.org/debian stretch/main amd64 libavahi-client3 amd64 0.6.32-2 [55.3 kB] Get:40 http://deb.debian.org/debian stretch/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1 [253 kB] Get:41 http://deb.debian.org/debian stretch/main amd64 libnettle6 amd64 3.3-1+b2 [192 kB] Get:42 http://deb.debian.org/debian stretch/main amd64 libhogweed4 amd64 3.3-1+b2 [136 kB] Get:43 http://deb.debian.org/debian stretch/main amd64 libidn11 amd64 1.33-1+deb9u1 [115 kB] Get:44 http://deb.debian.org/debian stretch/main amd64 libp11-kit0 amd64 0.23.3-2 [111 kB] Get:45 http://deb.debian.org/debian stretch/main amd64 libtasn1-6 amd64 4.10-1.1+deb9u1 [50.6 kB] Get:46 http://deb.debian.org/debian stretch/main amd64 libgnutls30 amd64 3.5.8-5+deb9u5 [896 kB] Get:47 http://deb.debian.org/debian stretch/main amd64 libkeyutils1 amd64 1.5.9-9 [12.4 kB] Get:48 http://deb.debian.org/debian stretch/main amd64 libkrb5support0 amd64 1.15-1+deb9u1 [61.9 kB] Get:49 http://deb.debian.org/debian stretch/main amd64 libk5crypto3 amd64 1.15-1+deb9u1 [119 kB] Get:50 http://deb.debian.org/debian stretch/main amd64 libkrb5-3 amd64 1.15-1+deb9u1 [311 kB] Get:51 http://deb.debian.org/debian stretch/main amd64 libgssapi-krb5-2 amd64 1.15-1+deb9u1 [155 kB] Get:52 http://deb.debian.org/debian stretch/main amd64 libcups2 amd64 2.2.1-8+deb9u6 [307 kB] Get:53 http://deb.debian.org/debian stretch/main amd64 libthai-data all 0.1.26-1 [166 kB] Get:54 http://deb.debian.org/debian stretch/main amd64 libdatrie1 amd64 0.2.10-4+b1 [36.4 kB] Get:55 http://deb.debian.org/debian stretch/main amd64 libthai0 amd64 0.1.26-1 [52.1 kB] Get:56 http://deb.debian.org/debian stretch/main amd64 libpango-1.0-0 amd64 1.40.5-1 [320 kB] Get:57 http://deb.debian.org/debian stretch/main amd64 libgraphite2-3 amd64 1.3.10-1 [84.2 kB] Get:58 http://deb.debian.org/debian stretch/main amd64 libharfbuzz0b amd64 1.4.2-1 [671 kB] Get:59 http://deb.debian.org/debian stretch/main amd64 libpangoft2-1.0-0 amd64 1.40.5-1 [205 kB] Get:60 http://deb.debian.org/debian stretch/main amd64 libpangocairo-1.0-0 amd64 1.40.5-1 [193 kB] Get:61 http://deb.debian.org/debian stretch/main amd64 libxcomposite1 amd64 1:0.4.4-2 [16.5 kB] Get:62 http://deb.debian.org/debian stretch/main amd64 libxfixes3 amd64 1:5.0.3-1 [21.9 kB] Get:63 http://deb.debian.org/debian stretch/main amd64 libxcursor1 amd64 1:1.1.14-1+deb9u2 [34.9 kB] Get:64 http://deb.debian.org/debian stretch/main amd64 libxdamage1 amd64 1:1.1.4-2+b3 [14.5 kB] Get:65 http://deb.debian.org/debian stretch/main amd64 libxi6 amd64 2:1.7.9-1 [82.6 kB] Get:66 http://deb.debian.org/debian stretch/main amd64 libxinerama1 amd64 2:1.1.3-1+b3 [16.7 kB] Get:67 http://deb.debian.org/debian stretch/main amd64 libxrandr2 amd64 2:1.5.1-1 [37.5 kB] Get:68 http://deb.debian.org/debian stretch/main amd64 hicolor-icon-theme all 0.15-1 [9550 B] Get:69 http://deb.debian.org/debian stretch/main amd64 gtk-update-icon-cache amd64 3.22.11-1 [76.6 kB] Get:70 http://deb.debian.org/debian stretch/main amd64 libcroco3 amd64 0.6.11-3 [143 kB] Get:71 http://deb.debian.org/debian stretch/main amd64 librsvg2-2 amd64 2.40.16-1+b1 [281 kB] Get:72 http://deb.debian.org/debian stretch/main amd64 librsvg2-common amd64 2.40.16-1+b1 [194 kB] Get:73 http://deb.debian.org/debian stretch/main amd64 adwaita-icon-theme all 3.22.0-1+deb9u1 [11.5 MB] Get:74 http://deb.debian.org/debian stretch/main amd64 libgtk2.0-0 amd64 2.24.31-2 [1800 kB] Get:75 http://deb.debian.org/debian stretch/main amd64 libglade2-0 amd64 1:2.6.4-2 [81.8 kB] Get:76 http://deb.debian.org/debian stretch/main amd64 liblqr-1-0 amd64 0.4.2-2+b2 [24.8 kB] Get:77 http://deb.debian.org/debian stretch/main amd64 libgomp1 amd64 6.3.0-18+deb9u1 [73.3 kB] Get:78 http://deb.debian.org/debian stretch/main amd64 libfftw3-double3 amd64 3.3.5-3 [731 kB] Get:79 http://deb.debian.org/debian stretch/main amd64 liblcms2-2 amd64 2.8-4+deb9u1 [143 kB] Get:80 http://deb.debian.org/debian stretch/main amd64 libltdl7 amd64 2.4.6-2 [389 kB] Get:81 http://deb.debian.org/debian stretch/main amd64 libopenjp2-7 amd64 2.1.2-1.1+deb9u4 [122 kB] Get:82 http://deb.debian.org/debian stretch/main amd64 imagemagick-6-common all 8:6.9.7.4+dfsg-11+deb9u8 [185 kB] Get:83 http://deb.debian.org/debian stretch/main amd64 libmagickcore-6.q16-3 amd64 8:6.9.7.4+dfsg-11+deb9u8 [1743 kB] Get:84 http://deb.debian.org/debian stretch/main amd64 libmagickwand-6.q16-3 amd64 8:6.9.7.4+dfsg-11+deb9u8 [423 kB] Get:85 http://deb.debian.org/debian stretch/main amd64 lsb-base all 9.20161125 [27.9 kB] Get:86 http://deb.debian.org/debian stretch/main amd64 libgpm2 amd64 1.20.4-6.2+b1 [34.2 kB] Get:87 http://deb.debian.org/debian stretch/main amd64 libsasl2-modules-db amd64 2.1.27~101-g0780600+dfsg-3+deb9u1 [68.4 kB] Get:88 http://deb.debian.org/debian stretch/main amd64 libsasl2-2 amd64 2.1.27~101-g0780600+dfsg-3+deb9u1 [105 kB] Get:89 http://deb.debian.org/debian stretch/main amd64 libldap-common all 2.4.44+dfsg-5+deb9u4 [85.7 kB] Get:90 http://deb.debian.org/debian stretch/main amd64 libldap-2.4-2 amd64 2.4.44+dfsg-5+deb9u4 [219 kB] Get:91 http://deb.debian.org/debian stretch/main amd64 libsqlite3-0 amd64 3.16.2-5+deb9u1 [572 kB] Get:92 http://deb.debian.org/debian stretch/main amd64 libaspell15 amd64 0.60.7~20110707-3+b2 [330 kB] Get:93 http://deb.debian.org/debian stretch/main amd64 libtext-iconv-perl amd64 1.7-5+b4 [15.3 kB] Get:94 http://deb.debian.org/debian stretch/main amd64 emacsen-common all 2.0.8 [21.2 kB] Get:95 http://deb.debian.org/debian stretch/main amd64 dictionaries-common all 1.27.2 [245 kB] Get:96 http://deb.debian.org/debian stretch/main amd64 aspell amd64 0.60.7~20110707-3+b2 [226 kB] Get:97 http://deb.debian.org/debian stretch/main amd64 aspell-en all 2016.11.20-0-0.1 [299 kB] Get:98 http://deb.debian.org/debian stretch/main amd64 binutils amd64 2.28-5 [3770 kB] Get:99 http://deb.debian.org/debian stretch/main amd64 coq-theories amd64 8.6-4 [31.4 MB] Get:100 http://deb.debian.org/debian stretch/main amd64 libncurses5 amd64 6.0+20161126-1+deb9u2 [93.4 kB] Get:101 http://deb.debian.org/debian stretch/main amd64 ocaml-base-nox amd64 4.02.3-9 [543 kB] Get:102 http://deb.debian.org/debian stretch/main amd64 libhunspell-1.4-0 amd64 1.4.1-2+b2 [172 kB] Get:103 http://deb.debian.org/debian stretch/main amd64 libenchant1c2a amd64 1.6.0-11+b1 [68.2 kB] Get:104 http://deb.debian.org/debian stretch/main amd64 libgtkspell0 amd64 2.0.16-1.1 [23.9 kB] Get:105 http://deb.debian.org/debian stretch/main amd64 liblablgtk2-ocaml amd64 2.18.3+dfsg-2 [752 kB] Get:106 http://deb.debian.org/debian stretch/main amd64 libgtksourceview2.0-common all 2.10.5-3 [470 kB] Get:107 http://deb.debian.org/debian stretch/main amd64 libgtksourceview2.0-0 amd64 2.10.5-3 [194 kB] Get:108 http://deb.debian.org/debian stretch/main amd64 liblablgtksourceview2-ocaml amd64 2.18.3+dfsg-2 [114 kB] Get:109 http://deb.debian.org/debian stretch/main amd64 libcoq-ocaml amd64 8.6-4 [3502 kB] Get:110 http://deb.debian.org/debian stretch/main amd64 libtinfo-dev amd64 6.0+20161126-1+deb9u2 [79.2 kB] Get:111 http://deb.debian.org/debian stretch/main amd64 libc-dev-bin amd64 2.24-11+deb9u4 [259 kB] Get:112 http://deb.debian.org/debian stretch/main amd64 linux-libc-dev amd64 4.9.228-1 [1511 kB] Get:113 http://deb.debian.org/debian stretch/main amd64 libc6-dev amd64 2.24-11+deb9u4 [2364 kB] Get:114 http://deb.debian.org/debian stretch/main amd64 libncurses5-dev amd64 6.0+20161126-1+deb9u2 [175 kB] Get:115 http://deb.debian.org/debian stretch/main amd64 ocaml-compiler-libs amd64 4.02.3-9 [9484 kB] Get:116 http://deb.debian.org/debian stretch/main amd64 ocaml-interp amd64 4.02.3-9 [361 kB] Get:117 http://deb.debian.org/debian stretch/main amd64 libisl15 amd64 0.18-1 [564 kB] Get:118 http://deb.debian.org/debian stretch/main amd64 libmpfr4 amd64 3.1.5-1 [556 kB] Get:119 http://deb.debian.org/debian stretch/main amd64 libmpc3 amd64 1.0.3-1+b2 [39.9 kB] Get:120 http://deb.debian.org/debian stretch/main amd64 cpp-6 amd64 6.3.0-18+deb9u1 [6584 kB] Get:121 http://deb.debian.org/debian stretch/main amd64 cpp amd64 4:6.3.0-4 [18.7 kB] Get:122 http://deb.debian.org/debian stretch/main amd64 libcc1-0 amd64 6.3.0-18+deb9u1 [30.6 kB] Get:123 http://deb.debian.org/debian stretch/main amd64 libitm1 amd64 6.3.0-18+deb9u1 [27.3 kB] Get:124 http://deb.debian.org/debian stretch/main amd64 libatomic1 amd64 6.3.0-18+deb9u1 [8966 B] Get:125 http://deb.debian.org/debian stretch/main amd64 libasan3 amd64 6.3.0-18+deb9u1 [311 kB] Get:126 http://deb.debian.org/debian stretch/main amd64 liblsan0 amd64 6.3.0-18+deb9u1 [115 kB] Get:127 http://deb.debian.org/debian stretch/main amd64 libtsan0 amd64 6.3.0-18+deb9u1 [257 kB] Get:128 http://deb.debian.org/debian stretch/main amd64 libubsan0 amd64 6.3.0-18+deb9u1 [107 kB] Get:129 http://deb.debian.org/debian stretch/main amd64 libcilkrts5 amd64 6.3.0-18+deb9u1 [40.5 kB] Get:130 http://deb.debian.org/debian stretch/main amd64 libmpx2 amd64 6.3.0-18+deb9u1 [11.2 kB] Get:131 http://deb.debian.org/debian stretch/main amd64 libquadmath0 amd64 6.3.0-18+deb9u1 [131 kB] Get:132 http://deb.debian.org/debian stretch/main amd64 libgcc-6-dev amd64 6.3.0-18+deb9u1 [2296 kB] Get:133 http://deb.debian.org/debian stretch/main amd64 gcc-6 amd64 6.3.0-18+deb9u1 [6900 kB] Get:134 http://deb.debian.org/debian stretch/main amd64 gcc amd64 4:6.3.0-4 [5196 B] Get:135 http://deb.debian.org/debian stretch/main amd64 ocaml-nox amd64 4.02.3-9 [5654 kB] Get:136 http://deb.debian.org/debian stretch/main amd64 ocaml-native-compilers amd64 4.02.3-9 [3100 kB] Get:137 http://deb.debian.org/debian stretch/main amd64 libfindlib-ocaml amd64 1.6.2-1+b1 [160 kB] Get:138 http://deb.debian.org/debian stretch/main amd64 ocaml-findlib amd64 1.6.2-1+b1 [301 kB] Get:139 http://deb.debian.org/debian stretch/main amd64 coq amd64 8.6-4 [14.0 MB] Get:140 http://deb.debian.org/debian stretch/main amd64 libdconf1 amd64 0.26.0-2+b1 [37.6 kB] Get:141 http://deb.debian.org/debian stretch/main amd64 dconf-service amd64 0.26.0-2+b1 [34.7 kB] Get:142 http://deb.debian.org/debian stretch/main amd64 dconf-gsettings-backend amd64 0.26.0-2+b1 [26.4 kB] Get:143 http://deb.debian.org/debian stretch/main amd64 emacs24-common all 24.5+1-11+deb9u1 [13.0 MB] Get:144 http://deb.debian.org/debian stretch/main amd64 libunbound2 amd64 1.6.0-3+deb9u2 [345 kB] Get:145 http://deb.debian.org/debian stretch/main amd64 libgnutls-dane0 amd64 3.5.8-5+deb9u5 [185 kB] Get:146 http://deb.debian.org/debian stretch/main amd64 libopts25 amd64 1:5.18.12-3 [68.0 kB] Get:147 http://deb.debian.org/debian stretch/main amd64 gnutls-bin amd64 3.5.8-5+deb9u5 [402 kB] Get:148 http://deb.debian.org/debian stretch/main amd64 emacs24-bin-common amd64 24.5+1-11+deb9u1 [258 kB] Get:149 http://deb.debian.org/debian stretch/main amd64 libdbus-glib-1-2 amd64 0.108-2 [206 kB] Get:150 http://deb.debian.org/debian stretch/main amd64 gconf2-common all 3.2.6-4 [1040 kB] Get:151 http://deb.debian.org/debian stretch/main amd64 libgconf-2-4 amd64 3.2.6-4+b1 [427 kB] Get:152 http://deb.debian.org/debian stretch/main amd64 gconf-service amd64 3.2.6-4+b1 [415 kB] Get:153 http://deb.debian.org/debian stretch/main amd64 libasound2-data all 1.1.3-5 [173 kB] Get:154 http://deb.debian.org/debian stretch/main amd64 libasound2 amd64 1.1.3-5 [497 kB] Get:155 http://deb.debian.org/debian stretch/main amd64 libcairo-gobject2 amd64 1.14.8-1 [336 kB] Get:156 http://deb.debian.org/debian stretch/main amd64 libgif7 amd64 5.1.4-0.4 [43.1 kB] Get:157 http://deb.debian.org/debian stretch/main amd64 libgtk-3-common all 3.22.11-1 [3416 kB] Get:158 http://deb.debian.org/debian stretch/main amd64 libatspi2.0-0 amd64 2.22.0-6+deb9u1 [60.9 kB] Get:159 http://deb.debian.org/debian stretch/main amd64 libatk-bridge2.0-0 amd64 2.22.0-2 [56.3 kB] Get:160 http://deb.debian.org/debian stretch/main amd64 libcolord2 amd64 1.3.3-2 [252 kB] Get:161 http://deb.debian.org/debian stretch/main amd64 libepoxy0 amd64 1.3.1-2 [176 kB] Get:162 http://deb.debian.org/debian stretch/main amd64 libjson-glib-1.0-common all 1.2.6-1 [166 kB] Get:163 http://deb.debian.org/debian stretch/main amd64 libjson-glib-1.0-0 amd64 1.2.6-1 [178 kB] Get:164 http://deb.debian.org/debian stretch/main amd64 libproxy1v5 amd64 0.4.14-2 [57.4 kB] Get:165 http://deb.debian.org/debian stretch/main amd64 glib-networking-common all 2.50.0-1+deb9u1 [49.2 kB] Get:166 http://deb.debian.org/debian stretch/main amd64 glib-networking-services amd64 2.50.0-1+deb9u1 [12.2 kB] Get:167 http://deb.debian.org/debian stretch/main amd64 gsettings-desktop-schemas all 3.22.0-1 [473 kB] Get:168 http://deb.debian.org/debian stretch/main amd64 glib-networking amd64 2.50.0-1+deb9u1 [57.0 kB] Get:169 http://deb.debian.org/debian stretch/main amd64 libsoup2.4-1 amd64 2.56.0-2+deb9u2 [296 kB] Get:170 http://deb.debian.org/debian stretch/main amd64 libsoup-gnome2.4-1 amd64 2.56.0-2+deb9u2 [16.4 kB] Get:171 http://deb.debian.org/debian stretch/main amd64 librest-0.7-0 amd64 0.8.0-2 [33.0 kB] Get:172 http://deb.debian.org/debian stretch/main amd64 libwayland-client0 amd64 1.12.0-1+deb9u1 [25.1 kB] Get:173 http://deb.debian.org/debian stretch/main amd64 libwayland-cursor0 amd64 1.12.0-1+deb9u1 [13.5 kB] Get:174 http://deb.debian.org/debian stretch/main amd64 libdrm2 amd64 2.4.74-1 [36.2 kB] Get:175 http://deb.debian.org/debian stretch/main amd64 libwayland-server0 amd64 1.12.0-1+deb9u1 [30.6 kB] Get:176 http://deb.debian.org/debian stretch/main amd64 libgbm1 amd64 13.0.6-1+b2 [59.2 kB] Get:177 http://deb.debian.org/debian stretch/main amd64 libx11-xcb1 amd64 2:1.6.4-3+deb9u1 [183 kB] Get:178 http://deb.debian.org/debian stretch/main amd64 libxcb-dri2-0 amd64 1.12-1 [97.2 kB] Get:179 http://deb.debian.org/debian stretch/main amd64 libxcb-dri3-0 amd64 1.12-1 [95.6 kB] Get:180 http://deb.debian.org/debian stretch/main amd64 libxcb-present0 amd64 1.12-1 [95.8 kB] Get:181 http://deb.debian.org/debian stretch/main amd64 libxcb-sync1 amd64 1.12-1 [99.2 kB] Get:182 http://deb.debian.org/debian stretch/main amd64 libxcb-xfixes0 amd64 1.12-1 [99.6 kB] Get:183 http://deb.debian.org/debian stretch/main amd64 libxshmfence1 amd64 1.2-1+b2 [7922 B] Get:184 http://deb.debian.org/debian stretch/main amd64 libegl1-mesa amd64 13.0.6-1+b2 [112 kB] Get:185 http://deb.debian.org/debian stretch/main amd64 libwayland-egl1-mesa amd64 13.0.6-1+b2 [43.0 kB] Get:186 http://deb.debian.org/debian stretch/main amd64 xkb-data all 2.19-1+deb9u1 [650 kB] Get:187 http://deb.debian.org/debian stretch/main amd64 libxkbcommon0 amd64 0.7.1-2~deb9u1 [122 kB] Get:188 http://deb.debian.org/debian stretch/main amd64 libgtk-3-0 amd64 3.22.11-1 [2529 kB] Get:189 http://deb.debian.org/debian stretch/main amd64 x11-common all 1:7.7+19 [251 kB] Get:190 http://deb.debian.org/debian stretch/main amd64 libice6 amd64 2:1.0.9-2 [58.7 kB] Get:191 http://deb.debian.org/debian stretch/main amd64 libfribidi0 amd64 0.19.7-1+deb9u1 [45.6 kB] Get:192 http://deb.debian.org/debian stretch/main amd64 libwebp6 amd64 0.5.2-1 [235 kB] Get:193 http://deb.debian.org/debian stretch/main amd64 libxpm4 amd64 1:3.5.12-1 [49.1 kB] Get:194 http://deb.debian.org/debian stretch/main amd64 libgd3 amd64 2.2.4-2+deb9u5 [132 kB] Get:195 http://deb.debian.org/debian stretch/main amd64 libotf0 amd64 0.9.13-3+b1 [53.6 kB] Get:196 http://deb.debian.org/debian stretch/main amd64 libsm6 amd64 2:1.2.2-1+b3 [33.3 kB] Get:197 http://deb.debian.org/debian stretch/main amd64 libxft2 amd64 2.3.2-1+b2 [56.5 kB] Get:198 http://deb.debian.org/debian stretch/main amd64 libxt6 amd64 1:1.1.5-1 [188 kB] Get:199 http://deb.debian.org/debian stretch/main amd64 m17n-db all 1.7.0-2 [1290 kB] Get:200 http://deb.debian.org/debian stretch/main amd64 libm17n-0 amd64 1.7.0-3+b1 [249 kB] Get:201 http://deb.debian.org/debian stretch/main amd64 emacs24 amd64 24.5+1-11+deb9u1 [3543 kB] Get:202 http://deb.debian.org/debian stretch/main amd64 mmm-mode all 0.5.4-2 [101 kB] Get:203 http://deb.debian.org/debian stretch/main amd64 proofgeneral all 4.4.1~pre170114-1 [603 kB] Get:204 http://deb.debian.org/debian stretch/main amd64 prooftree amd64 0.13-1 [696 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 178 MB in 1s (99.4 MB/s) Selecting previously unselected package liblockfile-bin. (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 ... 4411 files and directories currently installed.) Preparing to unpack .../000-liblockfile-bin_1.14-1+b1_amd64.deb ... Unpacking liblockfile-bin (1.14-1+b1) ... Selecting previously unselected package liblockfile1:amd64. Preparing to unpack .../001-liblockfile1_1.14-1+b1_amd64.deb ... Unpacking liblockfile1:amd64 (1.14-1+b1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../002-libexpat1_2.2.0-2+deb9u3_amd64.deb ... Unpacking libexpat1:amd64 (2.2.0-2+deb9u3) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../003-libpng16-16_1.6.28-1+deb9u1_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.28-1+deb9u1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../004-libfreetype6_2.6.3-3.2+deb9u1_amd64.deb ... Unpacking libfreetype6:amd64 (2.6.3-3.2+deb9u1) ... Selecting previously unselected package ucf. Preparing to unpack .../005-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../006-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../007-fontconfig-config_2.11.0-6.7_all.deb ... Unpacking fontconfig-config (2.11.0-6.7) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../008-libfontconfig1_2.11.0-6.7+b1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.0-6.7+b1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../009-fontconfig_2.11.0-6.7+b1_amd64.deb ... Unpacking fontconfig (2.11.0-6.7+b1) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../010-libffi6_3.2.1-6_amd64.deb ... Unpacking libffi6:amd64 (3.2.1-6) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../011-libglib2.0-0_2.50.3-2+deb9u2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../012-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../013-libatk1.0-0_2.22.0-1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.22.0-1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../014-libpixman-1-0_0.34.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.34.0-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../015-libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../016-libbsd0_0.8.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.3-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../017-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 .../018-libxcb1_1.12-1_amd64.deb ... Unpacking libxcb1:amd64 (1.12-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../019-libx11-data_2%3a1.6.4-3+deb9u1_all.deb ... Unpacking libx11-data (2:1.6.4-3+deb9u1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../020-libx11-6_2%3a1.6.4-3+deb9u1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3+deb9u1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../021-libxcb-render0_1.12-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../022-libxcb-shm0_1.12-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.12-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../023-libxext6_2%3a1.3.3-1+b2_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1+b2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../024-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 .../025-libcairo2_1.14.8-1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.8-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../026-libjpeg62-turbo_1%3a1.5.1-2_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.5.1-2) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../027-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../028-libtiff5_4.0.8-2+deb9u5_amd64.deb ... Unpacking libtiff5:amd64 (4.0.8-2+deb9u5) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../029-libicu57_57.1-6+deb9u4_amd64.deb ... Unpacking libicu57:amd64 (57.1-6+deb9u4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../030-libxml2_2.9.4+dfsg1-2.2+deb9u2_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u2) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../031-shared-mime-info_1.8-1+deb9u1_amd64.deb ... Unpacking shared-mime-info (1.8-1+deb9u1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.36.5-2+deb9u2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.5-2+deb9u2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../033-libgdk-pixbuf2.0-0_2.36.5-2+deb9u2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../034-libgtk2.0-common_2.24.31-2_all.deb ... Unpacking libgtk2.0-common (2.24.31-2) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../035-libavahi-common-data_0.6.32-2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32-2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../036-libavahi-common3_0.6.32-2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../037-libdbus-1-3_1.10.32-0+deb9u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.32-0+deb9u1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../038-libavahi-client3_0.6.32-2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-2) ... Selecting previously unselected package libgmp10:amd64. Preparing to unpack .../039-libgmp10_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libnettle6:amd64. Preparing to unpack .../040-libnettle6_3.3-1+b2_amd64.deb ... Unpacking libnettle6:amd64 (3.3-1+b2) ... Selecting previously unselected package libhogweed4:amd64. Preparing to unpack .../041-libhogweed4_3.3-1+b2_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-1+b2) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../042-libidn11_1.33-1+deb9u1_amd64.deb ... Unpacking libidn11:amd64 (1.33-1+deb9u1) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../043-libp11-kit0_0.23.3-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.3-2) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../044-libtasn1-6_4.10-1.1+deb9u1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.10-1.1+deb9u1) ... Selecting previously unselected package libgnutls30:amd64. Preparing to unpack .../045-libgnutls30_3.5.8-5+deb9u5_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.8-5+deb9u5) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../046-libkeyutils1_1.5.9-9_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../047-libkrb5support0_1.15-1+deb9u1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../048-libk5crypto3_1.15-1+deb9u1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../049-libkrb5-3_1.15-1+deb9u1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../050-libgssapi-krb5-2_1.15-1+deb9u1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../051-libcups2_2.2.1-8+deb9u6_amd64.deb ... Unpacking libcups2:amd64 (2.2.1-8+deb9u6) ... Selecting previously unselected package libthai-data. Preparing to unpack .../052-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../053-libdatrie1_0.2.10-4+b1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.10-4+b1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../054-libthai0_0.1.26-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../055-libpango-1.0-0_1.40.5-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.40.5-1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../056-libgraphite2-3_1.3.10-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.10-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../057-libharfbuzz0b_1.4.2-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../058-libpangoft2-1.0-0_1.40.5-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.40.5-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../059-libpangocairo-1.0-0_1.40.5-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.40.5-1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../060-libxcomposite1_1%3a0.4.4-2_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../061-libxfixes3_1%3a5.0.3-1_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../062-libxcursor1_1%3a1.1.14-1+deb9u2_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.1.14-1+deb9u2) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../063-libxdamage1_1%3a1.1.4-2+b3_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-2+b3) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../064-libxi6_2%3a1.7.9-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../065-libxinerama1_2%3a1.1.3-1+b3_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.3-1+b3) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../066-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../067-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../068-gtk-update-icon-cache_3.22.11-1_amd64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.22.11-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../069-libcroco3_0.6.11-3_amd64.deb ... Unpacking libcroco3:amd64 (0.6.11-3) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../070-librsvg2-2_2.40.16-1+b1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.40.16-1+b1) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../071-librsvg2-common_2.40.16-1+b1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.16-1+b1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../072-adwaita-icon-theme_3.22.0-1+deb9u1_all.deb ... Unpacking adwaita-icon-theme (3.22.0-1+deb9u1) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../073-libgtk2.0-0_2.24.31-2_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.31-2) ... Selecting previously unselected package libglade2-0:amd64. Preparing to unpack .../074-libglade2-0_1%3a2.6.4-2_amd64.deb ... Unpacking libglade2-0:amd64 (1:2.6.4-2) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../075-liblqr-1-0_0.4.2-2+b2_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2+b2) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../076-libgomp1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgomp1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../077-libfftw3-double3_3.3.5-3_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.5-3) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../078-liblcms2-2_2.8-4+deb9u1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.8-4+deb9u1) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../079-libltdl7_2.4.6-2_amd64.deb ... Unpacking libltdl7:amd64 (2.4.6-2) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../080-libopenjp2-7_2.1.2-1.1+deb9u4_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.1.2-1.1+deb9u4) ... Selecting previously unselected package imagemagick-6-common. Preparing to unpack .../081-imagemagick-6-common_8%3a6.9.7.4+dfsg-11+deb9u8_all.deb ... Unpacking imagemagick-6-common (8:6.9.7.4+dfsg-11+deb9u8) ... Selecting previously unselected package libmagickcore-6.q16-3:amd64. Preparing to unpack .../082-libmagickcore-6.q16-3_8%3a6.9.7.4+dfsg-11+deb9u8_amd64.deb ... Unpacking libmagickcore-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u8) ... Selecting previously unselected package libmagickwand-6.q16-3:amd64. Preparing to unpack .../083-libmagickwand-6.q16-3_8%3a6.9.7.4+dfsg-11+deb9u8_amd64.deb ... Unpacking libmagickwand-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u8) ... Selecting previously unselected package lsb-base. Preparing to unpack .../084-lsb-base_9.20161125_all.deb ... Unpacking lsb-base (9.20161125) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../085-libgpm2_1.20.4-6.2+b1_amd64.deb ... Unpacking libgpm2:amd64 (1.20.4-6.2+b1) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../086-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3+deb9u1_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../087-libsasl2-2_2.1.27~101-g0780600+dfsg-3+deb9u1_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Selecting previously unselected package libldap-common. Preparing to unpack .../088-libldap-common_2.4.44+dfsg-5+deb9u4_all.deb ... Unpacking libldap-common (2.4.44+dfsg-5+deb9u4) ... Selecting previously unselected package libldap-2.4-2:amd64. Preparing to unpack .../089-libldap-2.4-2_2.4.44+dfsg-5+deb9u4_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u4) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../090-libsqlite3-0_3.16.2-5+deb9u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.16.2-5+deb9u1) ... Selecting previously unselected package libaspell15:amd64. Preparing to unpack .../091-libaspell15_0.60.7~20110707-3+b2_amd64.deb ... Unpacking libaspell15:amd64 (0.60.7~20110707-3+b2) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../092-libtext-iconv-perl_1.7-5+b4_amd64.deb ... Unpacking libtext-iconv-perl (1.7-5+b4) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../093-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../094-dictionaries-common_1.27.2_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.27.2) ... Selecting previously unselected package aspell. Preparing to unpack .../095-aspell_0.60.7~20110707-3+b2_amd64.deb ... Unpacking aspell (0.60.7~20110707-3+b2) ... Selecting previously unselected package aspell-en. Preparing to unpack .../096-aspell-en_2016.11.20-0-0.1_all.deb ... Unpacking aspell-en (2016.11.20-0-0.1) ... Selecting previously unselected package binutils. Preparing to unpack .../097-binutils_2.28-5_amd64.deb ... Unpacking binutils (2.28-5) ... Selecting previously unselected package coq-theories. Preparing to unpack .../098-coq-theories_8.6-4_amd64.deb ... Unpacking coq-theories (8.6-4) ... Selecting previously unselected package libncurses5:amd64. Preparing to unpack .../099-libncurses5_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../100-ocaml-base-nox_4.02.3-9_amd64.deb ... Unpacking ocaml-base-nox (4.02.3-9) ... Selecting previously unselected package libhunspell-1.4-0:amd64. Preparing to unpack .../101-libhunspell-1.4-0_1.4.1-2+b2_amd64.deb ... Unpacking libhunspell-1.4-0:amd64 (1.4.1-2+b2) ... Selecting previously unselected package libenchant1c2a:amd64. Preparing to unpack .../102-libenchant1c2a_1.6.0-11+b1_amd64.deb ... Unpacking libenchant1c2a:amd64 (1.6.0-11+b1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../103-libgtkspell0_2.0.16-1.1_amd64.deb ... Unpacking libgtkspell0 (2.0.16-1.1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../104-liblablgtk2-ocaml_2.18.3+dfsg-2_amd64.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../105-libgtksourceview2.0-common_2.10.5-3_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-3) ... Selecting previously unselected package libgtksourceview2.0-0:amd64. Preparing to unpack .../106-libgtksourceview2.0-0_2.10.5-3_amd64.deb ... Unpacking libgtksourceview2.0-0:amd64 (2.10.5-3) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../107-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_amd64.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../108-libcoq-ocaml_8.6-4_amd64.deb ... Unpacking libcoq-ocaml (8.6-4) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../109-libtinfo-dev_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../110-libc-dev-bin_2.24-11+deb9u4_amd64.deb ... Unpacking libc-dev-bin (2.24-11+deb9u4) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../111-linux-libc-dev_4.9.228-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.9.228-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../112-libc6-dev_2.24-11+deb9u4_amd64.deb ... Unpacking libc6-dev:amd64 (2.24-11+deb9u4) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../113-libncurses5-dev_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../114-ocaml-compiler-libs_4.02.3-9_amd64.deb ... Unpacking ocaml-compiler-libs (4.02.3-9) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../115-ocaml-interp_4.02.3-9_amd64.deb ... Unpacking ocaml-interp (4.02.3-9) ... Selecting previously unselected package libisl15:amd64. Preparing to unpack .../116-libisl15_0.18-1_amd64.deb ... Unpacking libisl15:amd64 (0.18-1) ... Selecting previously unselected package libmpfr4:amd64. Preparing to unpack .../117-libmpfr4_3.1.5-1_amd64.deb ... Unpacking libmpfr4:amd64 (3.1.5-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../118-libmpc3_1.0.3-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.0.3-1+b2) ... Selecting previously unselected package cpp-6. Preparing to unpack .../119-cpp-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking cpp-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package cpp. Preparing to unpack .../120-cpp_4%3a6.3.0-4_amd64.deb ... Unpacking cpp (4:6.3.0-4) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../121-libcc1-0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcc1-0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../122-libitm1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libitm1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../123-libatomic1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libatomic1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libasan3:amd64. Preparing to unpack .../124-libasan3_6.3.0-18+deb9u1_amd64.deb ... Unpacking libasan3:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../125-liblsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking liblsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../126-libtsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libtsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../127-libubsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libubsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../128-libcilkrts5_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../129-libmpx2_6.3.0-18+deb9u1_amd64.deb ... Unpacking libmpx2:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../130-libquadmath0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libquadmath0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgcc-6-dev:amd64. Preparing to unpack .../131-libgcc-6-dev_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc-6. Preparing to unpack .../132-gcc-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking gcc-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc. Preparing to unpack .../133-gcc_4%3a6.3.0-4_amd64.deb ... Unpacking gcc (4:6.3.0-4) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../134-ocaml-nox_4.02.3-9_amd64.deb ... Unpacking ocaml-nox (4.02.3-9) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../135-ocaml-native-compilers_4.02.3-9_amd64.deb ... Unpacking ocaml-native-compilers (4.02.3-9) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../136-libfindlib-ocaml_1.6.2-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.6.2-1+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../137-ocaml-findlib_1.6.2-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.6.2-1+b1) ... Selecting previously unselected package coq. Preparing to unpack .../138-coq_8.6-4_amd64.deb ... Unpacking coq (8.6-4) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../139-libdconf1_0.26.0-2+b1_amd64.deb ... Unpacking libdconf1:amd64 (0.26.0-2+b1) ... Selecting previously unselected package dconf-service. Preparing to unpack .../140-dconf-service_0.26.0-2+b1_amd64.deb ... Unpacking dconf-service (0.26.0-2+b1) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../141-dconf-gsettings-backend_0.26.0-2+b1_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.26.0-2+b1) ... Selecting previously unselected package emacs24-common. Preparing to unpack .../142-emacs24-common_24.5+1-11+deb9u1_all.deb ... Unpacking emacs24-common (24.5+1-11+deb9u1) ... Selecting previously unselected package libunbound2:amd64. Preparing to unpack .../143-libunbound2_1.6.0-3+deb9u2_amd64.deb ... Unpacking libunbound2:amd64 (1.6.0-3+deb9u2) ... Selecting previously unselected package libgnutls-dane0:amd64. Preparing to unpack .../144-libgnutls-dane0_3.5.8-5+deb9u5_amd64.deb ... Unpacking libgnutls-dane0:amd64 (3.5.8-5+deb9u5) ... Selecting previously unselected package libopts25:amd64. Preparing to unpack .../145-libopts25_1%3a5.18.12-3_amd64.deb ... Unpacking libopts25:amd64 (1:5.18.12-3) ... Selecting previously unselected package gnutls-bin. Preparing to unpack .../146-gnutls-bin_3.5.8-5+deb9u5_amd64.deb ... Unpacking gnutls-bin (3.5.8-5+deb9u5) ... Selecting previously unselected package emacs24-bin-common. Preparing to unpack .../147-emacs24-bin-common_24.5+1-11+deb9u1_amd64.deb ... Unpacking emacs24-bin-common (24.5+1-11+deb9u1) ... Selecting previously unselected package libdbus-glib-1-2:amd64. Preparing to unpack .../148-libdbus-glib-1-2_0.108-2_amd64.deb ... Unpacking libdbus-glib-1-2:amd64 (0.108-2) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../149-gconf2-common_3.2.6-4_all.deb ... Unpacking gconf2-common (3.2.6-4) ... Selecting previously unselected package libgconf-2-4:amd64. Preparing to unpack .../150-libgconf-2-4_3.2.6-4+b1_amd64.deb ... Unpacking libgconf-2-4:amd64 (3.2.6-4+b1) ... Selecting previously unselected package gconf-service. Preparing to unpack .../151-gconf-service_3.2.6-4+b1_amd64.deb ... Unpacking gconf-service (3.2.6-4+b1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../152-libasound2-data_1.1.3-5_all.deb ... Unpacking libasound2-data (1.1.3-5) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../153-libasound2_1.1.3-5_amd64.deb ... Unpacking libasound2:amd64 (1.1.3-5) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../154-libcairo-gobject2_1.14.8-1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.8-1) ... Selecting previously unselected package libgif7:amd64. Preparing to unpack .../155-libgif7_5.1.4-0.4_amd64.deb ... Unpacking libgif7:amd64 (5.1.4-0.4) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../156-libgtk-3-common_3.22.11-1_all.deb ... Unpacking libgtk-3-common (3.22.11-1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../157-libatspi2.0-0_2.22.0-6+deb9u1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.22.0-6+deb9u1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../158-libatk-bridge2.0-0_2.22.0-2_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.22.0-2) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../159-libcolord2_1.3.3-2_amd64.deb ... Unpacking libcolord2:amd64 (1.3.3-2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../160-libepoxy0_1.3.1-2_amd64.deb ... Unpacking libepoxy0:amd64 (1.3.1-2) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../161-libjson-glib-1.0-common_1.2.6-1_all.deb ... Unpacking libjson-glib-1.0-common (1.2.6-1) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../162-libjson-glib-1.0-0_1.2.6-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.2.6-1) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../163-libproxy1v5_0.4.14-2_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.14-2) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../164-glib-networking-common_2.50.0-1+deb9u1_all.deb ... Unpacking glib-networking-common (2.50.0-1+deb9u1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../165-glib-networking-services_2.50.0-1+deb9u1_amd64.deb ... Unpacking glib-networking-services (2.50.0-1+deb9u1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../166-gsettings-desktop-schemas_3.22.0-1_all.deb ... Unpacking gsettings-desktop-schemas (3.22.0-1) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../167-glib-networking_2.50.0-1+deb9u1_amd64.deb ... Unpacking glib-networking:amd64 (2.50.0-1+deb9u1) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../168-libsoup2.4-1_2.56.0-2+deb9u2_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.56.0-2+deb9u2) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../169-libsoup-gnome2.4-1_2.56.0-2+deb9u2_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.56.0-2+deb9u2) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../170-librest-0.7-0_0.8.0-2_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.0-2) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../171-libwayland-client0_1.12.0-1+deb9u1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.12.0-1+deb9u1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../172-libwayland-cursor0_1.12.0-1+deb9u1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.12.0-1+deb9u1) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../173-libdrm2_2.4.74-1_amd64.deb ... Unpacking libdrm2:amd64 (2.4.74-1) ... Selecting previously unselected package libwayland-server0:amd64. Preparing to unpack .../174-libwayland-server0_1.12.0-1+deb9u1_amd64.deb ... Unpacking libwayland-server0:amd64 (1.12.0-1+deb9u1) ... Selecting previously unselected package libgbm1:amd64. Preparing to unpack .../175-libgbm1_13.0.6-1+b2_amd64.deb ... Unpacking libgbm1:amd64 (13.0.6-1+b2) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../176-libx11-xcb1_2%3a1.6.4-3+deb9u1_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.6.4-3+deb9u1) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../177-libxcb-dri2-0_1.12-1_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../178-libxcb-dri3-0_1.12-1_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../179-libxcb-present0_1.12-1_amd64.deb ... Unpacking libxcb-present0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../180-libxcb-sync1_1.12-1_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.12-1) ... Selecting previously unselected package libxcb-xfixes0:amd64. Preparing to unpack .../181-libxcb-xfixes0_1.12-1_amd64.deb ... Unpacking libxcb-xfixes0:amd64 (1.12-1) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../182-libxshmfence1_1.2-1+b2_amd64.deb ... Unpacking libxshmfence1:amd64 (1.2-1+b2) ... Selecting previously unselected package libegl1-mesa:amd64. Preparing to unpack .../183-libegl1-mesa_13.0.6-1+b2_amd64.deb ... Unpacking libegl1-mesa:amd64 (13.0.6-1+b2) ... Selecting previously unselected package libwayland-egl1-mesa:amd64. Preparing to unpack .../184-libwayland-egl1-mesa_13.0.6-1+b2_amd64.deb ... Unpacking libwayland-egl1-mesa:amd64 (13.0.6-1+b2) ... Selecting previously unselected package xkb-data. Preparing to unpack .../185-xkb-data_2.19-1+deb9u1_all.deb ... Unpacking xkb-data (2.19-1+deb9u1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../186-libxkbcommon0_0.7.1-2~deb9u1_amd64.deb ... Unpacking libxkbcommon0:amd64 (0.7.1-2~deb9u1) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../187-libgtk-3-0_3.22.11-1_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.22.11-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../188-x11-common_1%3a7.7+19_all.deb ... Unpacking x11-common (1:7.7+19) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../189-libice6_2%3a1.0.9-2_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-2) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../190-libfribidi0_0.19.7-1+deb9u1_amd64.deb ... Unpacking libfribidi0:amd64 (0.19.7-1+deb9u1) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../191-libwebp6_0.5.2-1_amd64.deb ... Unpacking libwebp6:amd64 (0.5.2-1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../192-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../193-libgd3_2.2.4-2+deb9u5_amd64.deb ... Unpacking libgd3:amd64 (2.2.4-2+deb9u5) ... Selecting previously unselected package libotf0:amd64. Preparing to unpack .../194-libotf0_0.9.13-3+b1_amd64.deb ... Unpacking libotf0:amd64 (0.9.13-3+b1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../195-libsm6_2%3a1.2.2-1+b3_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1+b3) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../196-libxft2_2.3.2-1+b2_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-1+b2) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../197-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package m17n-db. Preparing to unpack .../198-m17n-db_1.7.0-2_all.deb ... Unpacking m17n-db (1.7.0-2) ... Selecting previously unselected package libm17n-0:amd64. Preparing to unpack .../199-libm17n-0_1.7.0-3+b1_amd64.deb ... Unpacking libm17n-0:amd64 (1.7.0-3+b1) ... Selecting previously unselected package emacs24. Preparing to unpack .../200-emacs24_24.5+1-11+deb9u1_amd64.deb ... Unpacking emacs24 (24.5+1-11+deb9u1) ... Selecting previously unselected package mmm-mode. Preparing to unpack .../201-mmm-mode_0.5.4-2_all.deb ... Unpacking mmm-mode (0.5.4-2) ... Selecting previously unselected package proofgeneral. Preparing to unpack .../202-proofgeneral_4.4.1~pre170114-1_all.deb ... Unpacking proofgeneral (4.4.1~pre170114-1) ... Selecting previously unselected package prooftree. Preparing to unpack .../203-prooftree_0.13-1_amd64.deb ... Unpacking prooftree (0.13-1) ... Setting up libquadmath0:amd64 (6.3.0-18+deb9u1) ... Setting up libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Setting up libgomp1:amd64 (6.3.0-18+deb9u1) ... Setting up libatomic1:amd64 (6.3.0-18+deb9u1) ... Setting up imagemagick-6-common (8:6.9.7.4+dfsg-11+deb9u8) ... Setting up libnettle6:amd64 (3.3-1+b2) ... Setting up liblockfile-bin (1.14-1+b1) ... Setting up libexpat1:amd64 (2.2.0-2+deb9u3) ... Setting up libcc1-0:amd64 (6.3.0-18+deb9u1) ... Setting up libasan3:amd64 (6.3.0-18+deb9u1) ... Setting up libjson-glib-1.0-common (1.2.6-1) ... Setting up libgtk2.0-common (2.24.31-2) ... Setting up libopenjp2-7:amd64 (2.1.2-1.1+deb9u4) ... Setting up glib-networking-common (2.50.0-1+deb9u1) ... Setting up libjpeg62-turbo:amd64 (1:1.5.1-2) ... Setting up libpng16-16:amd64 (1.6.28-1+deb9u1) ... Setting up liblcms2-2:amd64 (2.8-4+deb9u1) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up libgpm2:amd64 (1.20.4-6.2+b1) ... Setting up libldap-common (2.4.44+dfsg-5+deb9u4) ... Setting up libaspell15:amd64 (0.60.7~20110707-3+b2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Setting up libubsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libtsan0:amd64 (6.3.0-18+deb9u1) ... Setting up liblockfile1:amd64 (1.14-1+b1) ... Setting up libasound2-data (1.1.3-5) ... Setting up libxshmfence1:amd64 (1.2-1+b2) ... Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-9) ... Setting up xkb-data (2.19-1+deb9u1) ... Setting up libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Setting up libproxy1v5:amd64 (0.4.14-2) ... Setting up linux-libc-dev:amd64 (4.9.228-1) ... Setting up libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Setting up libtinfo-dev:amd64 (6.0+20161126-1+deb9u2) ... Setting up libgdk-pixbuf2.0-common (2.36.5-2+deb9u2) ... Setting up libdatrie1:amd64 (0.2.10-4+b1) ... Setting up libtiff5:amd64 (4.0.8-2+deb9u5) ... Setting up libgif7:amd64 (5.1.4-0.4) ... Setting up libfftw3-double3:amd64 (3.3.5-3) ... Setting up libicu57:amd64 (57.1-6+deb9u4) ... Setting up m17n-db (1.7.0-2) ... Setting up libbsd0:amd64 (0.8.3-1) ... Setting up ucf (3.0036) ... Setting up libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u2) ... Setting up libfreetype6:amd64 (2.6.3-3.2+deb9u1) ... Setting up libtasn1-6:amd64 (4.10-1.1+deb9u1) ... Setting up libasound2:amd64 (1.1.3-5) ... Setting up libdrm2:amd64 (2.4.74-1) ... Setting up lsb-base (9.20161125) ... Setting up libgraphite2-3:amd64 (1.3.10-1) ... Setting up liblsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libmpx2:amd64 (6.3.0-18+deb9u1) ... Setting up libx11-xcb1:amd64 (2:1.6.4-3+deb9u1) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1) ... Setting up libpixman-1-0:amd64 (0.34.0-1) ... Setting up libgtksourceview2.0-common (2.10.5-3) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Setting up libepoxy0:amd64 (1.3.1-2) ... Setting up libtext-iconv-perl (1.7-5+b4) ... Setting up libltdl7:amd64 (2.4.6-2) ... Setting up libopts25:amd64 (1:5.18.12-3) ... Setting up libsqlite3-0:amd64 (3.16.2-5+deb9u1) ... Setting up libfribidi0:amd64 (0.19.7-1+deb9u1) ... Setting up libmpfr4:amd64 (3.1.5-1) ... Setting up libxkbcommon0:amd64 (0.7.1-2~deb9u1) ... Setting up libmpc3:amd64 (1.0.3-1+b2) ... Setting up binutils (2.28-5) ... Setting up libffi6:amd64 (3.2.1-6) ... Setting up libc-dev-bin (2.24-11+deb9u4) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libkeyutils1:amd64 (1.5.9-9) ... Setting up x11-common (1:7.7+19) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of start. Setting up hicolor-icon-theme (0.15-1) ... Setting up libc6-dev:amd64 (2.24-11+deb9u4) ... Setting up libfindlib-ocaml (1.6.2-1+b1) ... Setting up libhunspell-1.4-0:amd64 (1.4.1-2+b2) ... Setting up ocaml-findlib (1.6.2-1+b1) ... Setting up libitm1:amd64 (6.3.0-18+deb9u1) ... Setting up libx11-data (2:1.6.4-3+deb9u1) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libidn11:amd64 (1.33-1+deb9u1) ... Setting up libdbus-1-3:amd64 (1.10.32-0+deb9u1) ... Setting up libavahi-common-data:amd64 (0.6.32-2) ... Setting up libwayland-server0:amd64 (1.12.0-1+deb9u1) ... Setting up libwebp6:amd64 (0.5.2-1) ... Setting up gconf2-common (3.2.6-4) ... Creating config file /etc/gconf/2/path with new version Setting up fontconfig-config (2.11.0-6.7) ... Setting up libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Setting up libotf0:amd64 (0.9.13-3+b1) ... Setting up dictionaries-common (1.27.2) ... Setting up emacs24-common (24.5+1-11+deb9u1) ... Setting up libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... Setting up libwayland-client0:amd64 (1.12.0-1+deb9u1) ... Setting up libgbm1:amd64 (13.0.6-1+b2) ... Setting up libharfbuzz0b:amd64 (1.4.2-1) ... Setting up glib-networking-services (2.50.0-1+deb9u1) ... Setting up libthai0:amd64 (0.1.26-1) ... Setting up libkrb5support0:amd64 (1.15-1+deb9u1) ... Setting up libjson-glib-1.0-0:amd64 (1.2.6-1) ... Setting up libhogweed4:amd64 (3.3-1+b2) ... Setting up libcroco3:amd64 (0.6.11-3) ... Setting up libncurses5-dev:amd64 (6.0+20161126-1+deb9u2) ... Setting up liblqr-1-0:amd64 (0.4.2-2+b2) ... Setting up libisl15:amd64 (0.18-1) ... Setting up libatk1.0-0:amd64 (2.22.0-1) ... Setting up libp11-kit0:amd64 (0.23.3-2) ... Setting up libice6:amd64 (2:1.0.9-2) ... Setting up libdconf1:amd64 (0.26.0-2+b1) ... Setting up shared-mime-info (1.8-1+deb9u1) ... Setting up cpp-6 (6.3.0-18+deb9u1) ... Setting up libavahi-common3:amd64 (0.6.32-2) ... Setting up libcolord2:amd64 (1.3.3-2) ... Setting up aspell (0.60.7~20110707-3+b2) ... Setting up libxcb1:amd64 (1.12-1) ... Setting up libwayland-cursor0:amd64 (1.12.0-1+deb9u1) ... Setting up cpp (4:6.3.0-4) ... Setting up libxcb-present0:amd64 (1.12-1) ... Setting up libfontconfig1:amd64 (2.11.0-6.7+b1) ... Setting up libxcb-dri2-0:amd64 (1.12-1) ... Setting up libsm6:amd64 (2:1.2.2-1+b3) ... Setting up libxcb-dri3-0:amd64 (1.12-1) ... Setting up libk5crypto3:amd64 (1.15-1+deb9u1) ... Setting up libunbound2:amd64 (1.6.0-3+deb9u2) ... Setting up libxcb-xfixes0:amd64 (1.12-1) ... Setting up libxcb-render0:amd64 (1.12-1) ... Setting up dconf-service (0.26.0-2+b1) ... Setting up libdbus-glib-1-2:amd64 (0.108-2) ... Setting up libgconf-2-4:amd64 (3.2.6-4+b1) ... Setting up libgnutls30:amd64 (3.5.8-5+deb9u5) ... Setting up libx11-6:amd64 (2:1.6.4-3+deb9u1) ... Setting up gcc-6 (6.3.0-18+deb9u1) ... Setting up libxcb-sync1:amd64 (1.12-1) ... Setting up libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u4) ... Setting up libgnutls-dane0:amd64 (3.5.8-5+deb9u5) ... Setting up aspell-en (2016.11.20-0-0.1) ... Setting up libxcomposite1:amd64 (1:0.4.4-2) ... Setting up libxcb-shm0:amd64 (1.12-1) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libavahi-client3:amd64 (0.6.32-2) ... Setting up libkrb5-3:amd64 (1.15-1+deb9u1) ... Setting up gnutls-bin (3.5.8-5+deb9u5) ... Setting up libxft2:amd64 (2.3.2-1+b2) ... Setting up dconf-gsettings-backend:amd64 (0.26.0-2+b1) ... Setting up fontconfig (2.11.0-6.7+b1) ... Regenerating fonts cache... done. Setting up emacs24-bin-common (24.5+1-11+deb9u1) ... update-alternatives: using /usr/bin/ctags.emacs24 to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs24 to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs24 to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs24 to provide /usr/bin/etags (etags) in auto mode update-alternatives: using /usr/bin/grep-changelog.emacs24 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode Setting up libegl1-mesa:amd64 (13.0.6-1+b2) ... Setting up libenchant1c2a:amd64 (1.6.0-11+b1) ... Setting up libxext6:amd64 (2:1.3.3-1+b2) ... Setting up libxfixes3:amd64 (1:5.0.3-1) ... Setting up gsettings-desktop-schemas (3.22.0-1) ... Setting up libgtk-3-common (3.22.11-1) ... Setting up libatspi2.0-0:amd64 (2.22.0-6+deb9u1) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... Setting up libgd3:amd64 (2.2.4-2+deb9u5) ... Setting up gcc (4:6.3.0-4) ... Setting up libgssapi-krb5-2:amd64 (1.15-1+deb9u1) ... Setting up gconf-service (3.2.6-4+b1) ... Setting up gtk-update-icon-cache (3.22.11-1) ... Setting up libxcursor1:amd64 (1:1.1.14-1+deb9u2) ... Setting up libm17n-0:amd64 (1.7.0-3+b1) ... Setting up glib-networking:amd64 (2.50.0-1+deb9u1) ... Setting up libpango-1.0-0:amd64 (1.40.5-1) ... Setting up libwayland-egl1-mesa:amd64 (13.0.6-1+b2) ... Setting up libatk-bridge2.0-0:amd64 (2.22.0-2) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up libcups2:amd64 (2.2.1-8+deb9u6) ... Setting up libxi6:amd64 (2:1.7.9-1) ... Setting up libcairo2:amd64 (1.14.8-1) ... Setting up libxinerama1:amd64 (2:1.1.3-1+b3) ... Setting up libmagickcore-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u8) ... Setting up libxdamage1:amd64 (1:1.1.4-2+b3) ... Setting up libcairo-gobject2:amd64 (1.14.8-1) ... Setting up libsoup2.4-1:amd64 (2.56.0-2+deb9u2) ... Setting up libsoup-gnome2.4-1:amd64 (2.56.0-2+deb9u2) ... Setting up libpangoft2-1.0-0:amd64 (1.40.5-1) ... Setting up libmagickwand-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u8) ... Setting up librest-0.7-0:amd64 (0.8.0-2) ... Setting up libpangocairo-1.0-0:amd64 (1.40.5-1) ... Setting up librsvg2-2:amd64 (2.40.16-1+b1) ... Setting up librsvg2-common:amd64 (2.40.16-1+b1) ... Setting up adwaita-icon-theme (3.22.0-1+deb9u1) ... 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 libgtk2.0-0:amd64 (2.24.31-2) ... Setting up libgtksourceview2.0-0:amd64 (2.10.5-3) ... Setting up libgtk-3-0:amd64 (3.22.11-1) ... Setting up emacs24 (24.5+1-11+deb9u1) ... update-alternatives: using /usr/bin/emacs24-x to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs24 to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs24 emacsen-common: Handling install of emacsen flavor emacs24 Wrote /etc/emacs24/site-start.d/00debian-vars.elc Wrote /usr/share/emacs24/site-lisp/debian-startup.elc Install coq for emacs24 install/coq: Handling install for emacsen flavor emacs24 Loading 00debian-vars... Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)... Info: Skip debian-el loading if run under dpkg control. Wrote /usr/share/emacs24/site-lisp/coq/coq-font-lock.elc gallina-db.el: (lambda (x y) ...) quoted with ' rather than with #' Wrote /usr/share/emacs24/site-lisp/coq/coq-inferior.elc In coq-sort-menu-entries: gallina-db.el:164:31:Warning: (lambda (x y) ...) quoted with ' rather than with #' Wrote /usr/share/emacs24/site-lisp/coq/gallina-db.elc Wrote /usr/share/emacs24/site-lisp/coq/gallina-syntax.elc Wrote /usr/share/emacs24/site-lisp/coq/gallina.elc Install dictionaries-common for emacs24 install/dictionaries-common: Byte-compiling for emacsen flavour emacs24 Wrote /usr/share/emacs24/site-lisp/dictionaries-common/debian-ispell.elc Setting up libgtkspell0 (2.0.16-1.1) ... Setting up libglade2-0:amd64 (1:2.6.4-2) ... Setting up mmm-mode (0.5.4-2) ... Install emacsen-common for emacs24 emacsen-common: Handling install of emacsen flavor emacs24 Wrote /etc/emacs24/site-start.d/00debian-vars.elc Wrote /usr/share/emacs24/site-lisp/debian-startup.elc Install mmm-mode for emacs24 install/mmm-mode: Handling install of emacsen flavor emacs24 install/mmm-mode: byte-compiling for emacs24 Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-auto.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-class.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-cmds.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-compat.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-cweb.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-mason.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-mode.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-noweb.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-region.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-rpm.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-sample.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-univ.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-utils.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-vars.elc Setting up proofgeneral (4.4.1~pre170114-1) ... Install emacsen-common for emacs24 emacsen-common: Handling install of emacsen flavor emacs24 Wrote /etc/emacs24/site-start.d/00debian-vars.elc Wrote /usr/share/emacs24/site-lisp/debian-startup.elc Install mmm-mode for emacs24 install/mmm-mode: Handling install of emacsen flavor emacs24 install/mmm-mode: byte-compiling for emacs24 Source file `/usr/share/emacs24/site-lisp/mmm-mode/mmm-vars.el' newer than byte-compiled file Source file `/usr/share/emacs24/site-lisp/mmm-mode/mmm-compat.el' newer than byte-compiled file Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-auto.elc Source file `/usr/share/emacs24/site-lisp/mmm-mode/mmm-region.el' newer than byte-compiled file Source file `/usr/share/emacs24/site-lisp/mmm-mode/mmm-utils.el' newer than byte-compiled file Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-class.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-cmds.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-compat.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-cweb.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-mason.elc Source file `/usr/share/emacs24/site-lisp/mmm-mode/mmm-univ.el' newer than byte-compiled file Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-mode.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-noweb.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-region.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-rpm.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-sample.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-univ.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-utils.elc Wrote /usr/share/emacs24/site-lisp/mmm-mode/mmm-vars.elc Install proofgeneral for emacs24 install/proofgeneral: Handling install for emacsen flavor emacs24 Loading 00debian-vars... Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)... Info: Skip debian-el loading if run under dpkg control. Loading /etc/emacs/site-start.d/50mmm-mode.el (source)... Loading /etc/emacs/site-start.d/50proofgeneral.el (source)... Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-assoc.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-autotest.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-custom.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-goals.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-movie.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-pamacs.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-pbrpm.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-pgip.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-response.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-user.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-vars.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/pg-xml.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-autoloads.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-auxmodes.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-config.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-depends.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-easy-config.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-faces.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-indent.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-maths-menu.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-menu.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-mmm.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-script.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-shell.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-site.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-splash.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-syntax.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-toolbar.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-tree.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-unicode-tokens.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-useropts.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-utils.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/generic/proof.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/bufhist.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/holes.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/local-vars-list.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/maths-menu.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/pg-dev.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/pg-fontsets.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/proof-compat.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/scomint.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/span.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/texi-docstring-magic.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/unicode-chars.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/lib/unicode-tokens.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-abbrev.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-autotest.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-compile-common.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-db.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-indent.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-local-vars.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-mmm.elc In coq-par-map-module-id-to-vo-file: coq/coq-par-compile.el:671:19:Warning: `coq-load-path-include-current' is an obsolete variable (as of 4.3); Coq 8.5 does not need it coq/coq-par-compile.el:674:10:Warning: `coq-load-path-include-current' is an obsolete variable (as of 4.3); Coq 8.5 does not need it Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-par-compile.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-par-test.elc In coq-seq-map-module-id-to-obj-file: coq/coq-seq-compile.el:299:14:Warning: `coq-load-path-include-current' is an obsolete variable (as of 4.3); Coq 8.5 does not need it coq/coq-seq-compile.el:302:10:Warning: `coq-load-path-include-current' is an obsolete variable (as of 4.3); Coq 8.5 does not need it Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-seq-compile.elc In coq-smie-rules: coq/coq-smie.el:978:27:Warning: reference to free variable `smie--parent' Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-smie.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-syntax.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-system.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc Wrote /usr/share/emacs24/site-lisp/proofgeneral/coq/coq.elc Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up libcoq-ocaml (8.6-4) ... Setting up coq-theories (8.6-4) ... Setting up ocaml-compiler-libs (4.02.3-9) ... Setting up ocaml-interp (4.02.3-9) ... Setting up ocaml-nox (4.02.3-9) ... Setting up ocaml-native-compilers (4.02.3-9) ... Setting up coq (8.6-4) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install emacsen-common for emacs24 emacsen-common: Handling install of emacsen flavor emacs24 Wrote /etc/emacs24/site-start.d/00debian-vars.elc Wrote /usr/share/emacs24/site-lisp/debian-startup.elc Install coq for emacs Install coq for emacs24 install/coq: Handling install for emacsen flavor emacs24 Loading 00debian-vars... Loading /etc/emacs/site-start.d/50coq.el (source)... Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)... Info: Skip debian-el loading if run under dpkg control. Loading /etc/emacs/site-start.d/50mmm-mode.el (source)... Loading /etc/emacs/site-start.d/50proofgeneral.el (source)... Loading /usr/share/emacs24/site-lisp/proofgeneral/generic/proof-site.elc... Wrote /usr/share/emacs24/site-lisp/coq/coq-font-lock.elc Source file `/usr/share/emacs24/site-lisp/coq/gallina.el' newer than byte-compiled file Source file `/usr/share/emacs24/site-lisp/coq/gallina-syntax.el' newer than byte-compiled file Source file `/usr/share/emacs24/site-lisp/coq/gallina-db.el' newer than byte-compiled file Wrote /usr/share/emacs24/site-lisp/coq/coq-inferior.elc In coq-sort-menu-entries: gallina-db.el:164:31:Warning: (lambda (x y) ...) quoted with ' rather than with #' Wrote /usr/share/emacs24/site-lisp/coq/gallina-db.elc Wrote /usr/share/emacs24/site-lisp/coq/gallina-syntax.elc Wrote /usr/share/emacs24/site-lisp/coq/gallina.elc Setting up prooftree (0.13-1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Processing triggers for dictionaries-common (1.27.2) ... aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_AU-variant_0]. aspell-autobuildhash: processing: en [en_AU-variant_1]. aspell-autobuildhash: processing: en [en_AU-w_accents-only]. aspell-autobuildhash: processing: en [en_AU-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... 0m35.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-y', 'install', 'prooftree'] 0m35.9s INFO: Running scripts post_install 0m35.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_install_exceptions'] 0m35.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_install_exceptions'] 0m35.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m37.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m37.4s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpggss_43p to stretch-lts 0m37.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ stretch main deb http://security.debian.org stretch/updates main 0m37.4s INFO: Running scripts pre_distupgrade 0m37.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m37.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m37.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_exceptions'] 0m37.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_exceptions'] 0m37.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m37.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m37.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m37.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m37.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m37.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m37.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'update'] 0m38.8s DUMP: Get:1 http://security.debian.org stretch/updates InRelease [59.1 kB] Ign:2 http://deb.debian.org/debian stretch InRelease Hit:3 http://deb.debian.org/debian stretch Release Get:4 http://security.debian.org stretch/updates/main amd64 Packages [782 kB] Get:5 http://security.debian.org stretch/updates/main Translation-en [368 kB] Fetched 1209 kB in 0s (2684 kB/s) Reading package lists... 0m38.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'update'] 0m38.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-yf', 'dist-upgrade'] 0m47.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt aspell debian-archive-keyring dpkg e2fslibs e2fsprogs gnutls-bin gzip imagemagick-6-common libapt-pkg5.0 libaspell15 libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo-gobject2 libcairo2 libcomerr2 libcups2 libexpat1 libfreetype6 libfribidi0 libgcrypt20 libglib2.0-0 libgmp10 libgnutls-dane0 libgnutls30 libgssapi-krb5-2 libhogweed4 libicu57 libjpeg62-turbo libk5crypto3 libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common liblz4-1 liblzma5 libmagickcore-6.q16-3 libmagickwand-6.q16-3 libnettle6 libopenjp2-7 libp11-kit0 libproxy1v5 librsvg2-2 librsvg2-common libsasl2-2 libsasl2-modules-db libsqlite3-0 libss2 libsystemd0 libtiff5 libudev1 libwebp6 libx11-6 libx11-data libx11-xcb1 libxml2 linux-libc-dev login passwd tar zlib1g 63 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 33.8 MB of archives. After this operation, 50.2 kB disk space will be freed. Get:1 http://security.debian.org stretch/updates/main amd64 tar amd64 1.29b-1.1+deb9u1 [760 kB] Get:2 http://security.debian.org stretch/updates/main amd64 dpkg amd64 1.18.26 [2117 kB] Get:3 http://security.debian.org stretch/updates/main amd64 e2fslibs amd64 1.43.4-2+deb9u2 [208 kB] Get:4 http://security.debian.org stretch/updates/main amd64 e2fsprogs amd64 1.43.4-2+deb9u2 [948 kB] Get:5 http://security.debian.org stretch/updates/main amd64 gzip amd64 1.6-5+deb9u1 [114 kB] Get:6 http://security.debian.org stretch/updates/main amd64 login amd64 1:4.4-4.1+deb9u1 [790 kB] Get:7 http://security.debian.org stretch/updates/main amd64 debian-archive-keyring all 2017.5+deb9u2 [92.4 kB] Get:8 http://security.debian.org stretch/updates/main amd64 liblz4-1 amd64 0.0~r131-2+deb9u1 [33.2 kB] Get:9 http://security.debian.org stretch/updates/main amd64 liblzma5 amd64 5.2.2-1.2+deb9u1 [234 kB] Get:10 http://security.debian.org stretch/updates/main amd64 zlib1g amd64 1:1.2.8.dfsg-5+deb9u1 [87.8 kB] Get:11 http://security.debian.org stretch/updates/main amd64 libapt-pkg5.0 amd64 1.4.11 [917 kB] Get:12 http://security.debian.org stretch/updates/main amd64 apt amd64 1.4.11 [1232 kB] Get:13 http://security.debian.org stretch/updates/main amd64 libsystemd0 amd64 232-25+deb9u14 [282 kB] Get:14 http://security.debian.org stretch/updates/main amd64 imagemagick-6-common all 8:6.9.7.4+dfsg-11+deb9u14 [187 kB] Get:15 http://security.debian.org stretch/updates/main amd64 libfreetype6 amd64 2.6.3-3.2+deb9u2 [438 kB] Get:16 http://security.debian.org stretch/updates/main amd64 libjpeg62-turbo amd64 1:1.5.1-2+deb9u2 [134 kB] Get:17 http://security.debian.org stretch/updates/main amd64 libopenjp2-7 amd64 2.1.2-1.1+deb9u7 [124 kB] Get:18 http://security.debian.org stretch/updates/main amd64 libtiff5 amd64 4.0.8-2+deb9u8 [239 kB] Get:19 http://security.debian.org stretch/updates/main amd64 libx11-data all 2:1.6.4-3+deb9u4 [291 kB] Get:20 http://security.debian.org stretch/updates/main amd64 libx11-6 amd64 2:1.6.4-3+deb9u4 [748 kB] Get:21 http://security.debian.org stretch/updates/main amd64 libicu57 amd64 57.1-6+deb9u5 [7700 kB] Get:22 http://security.debian.org stretch/updates/main amd64 libxml2 amd64 2.9.4+dfsg1-2.2+deb9u7 [920 kB] Get:23 http://security.debian.org stretch/updates/main amd64 libmagickcore-6.q16-3 amd64 8:6.9.7.4+dfsg-11+deb9u14 [1749 kB] Get:24 http://security.debian.org stretch/updates/main amd64 libmagickwand-6.q16-3 amd64 8:6.9.7.4+dfsg-11+deb9u14 [425 kB] Get:25 http://security.debian.org stretch/updates/main amd64 libcomerr2 amd64 1.43.4-2+deb9u2 [63.8 kB] Get:26 http://security.debian.org stretch/updates/main amd64 libss2 amd64 1.43.4-2+deb9u2 [68.0 kB] Get:27 http://security.debian.org stretch/updates/main amd64 passwd amd64 1:4.4-4.1+deb9u1 [997 kB] Get:28 http://security.debian.org stretch/updates/main amd64 libudev1 amd64 232-25+deb9u14 [126 kB] Get:29 http://security.debian.org stretch/updates/main amd64 libgcrypt20 amd64 1.7.6-2+deb9u4 [523 kB] Get:30 http://security.debian.org stretch/updates/main amd64 libgnutls-dane0 amd64 3.5.8-5+deb9u6 [185 kB] Get:31 http://security.debian.org stretch/updates/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1+deb9u1 [253 kB] Get:32 http://security.debian.org stretch/updates/main amd64 libhogweed4 amd64 3.3-1+deb9u1 [136 kB] Get:33 http://security.debian.org stretch/updates/main amd64 libnettle6 amd64 3.3-1+deb9u1 [192 kB] Get:34 http://security.debian.org stretch/updates/main amd64 libp11-kit0 amd64 0.23.3-2+deb9u1 [112 kB] Get:35 http://security.debian.org stretch/updates/main amd64 libgnutls30 amd64 3.5.8-5+deb9u6 [897 kB] Get:36 http://security.debian.org stretch/updates/main amd64 libgssapi-krb5-2 amd64 1.15-1+deb9u3 [155 kB] Get:37 http://security.debian.org stretch/updates/main amd64 libkrb5-3 amd64 1.15-1+deb9u3 [312 kB] Get:38 http://security.debian.org stretch/updates/main amd64 libkrb5support0 amd64 1.15-1+deb9u3 [62.3 kB] Get:39 http://security.debian.org stretch/updates/main amd64 libk5crypto3 amd64 1.15-1+deb9u3 [120 kB] Get:40 http://security.debian.org stretch/updates/main amd64 libsasl2-modules-db amd64 2.1.27~101-g0780600+dfsg-3+deb9u2 [68.5 kB] Get:41 http://security.debian.org stretch/updates/main amd64 libsasl2-2 amd64 2.1.27~101-g0780600+dfsg-3+deb9u2 [105 kB] Get:42 http://security.debian.org stretch/updates/main amd64 libldap-common all 2.4.44+dfsg-5+deb9u9 [86.3 kB] Get:43 http://security.debian.org stretch/updates/main amd64 libldap-2.4-2 amd64 2.4.44+dfsg-5+deb9u9 [220 kB] Get:44 http://security.debian.org stretch/updates/main amd64 libsqlite3-0 amd64 3.16.2-5+deb9u3 [574 kB] Get:45 http://security.debian.org stretch/updates/main amd64 aspell amd64 0.60.7~20110707-3+deb9u1 [227 kB] Get:46 http://security.debian.org stretch/updates/main amd64 libaspell15 amd64 0.60.7~20110707-3+deb9u1 [331 kB] Get:47 http://security.debian.org stretch/updates/main amd64 gnutls-bin amd64 3.5.8-5+deb9u6 [402 kB] Get:48 http://security.debian.org stretch/updates/main amd64 libavahi-common-data amd64 0.6.32-2+deb9u1 [118 kB] Get:49 http://security.debian.org stretch/updates/main amd64 libavahi-common3 amd64 0.6.32-2+deb9u1 [52.3 kB] Get:50 http://security.debian.org stretch/updates/main amd64 libavahi-client3 amd64 0.6.32-2+deb9u1 [55.6 kB] Get:51 http://security.debian.org stretch/updates/main amd64 libbsd0 amd64 0.8.3-1+deb9u1 [82.9 kB] Get:52 http://security.debian.org stretch/updates/main amd64 libcairo2 amd64 1.14.8-1+deb9u1 [771 kB] Get:53 http://security.debian.org stretch/updates/main amd64 libglib2.0-0 amd64 2.50.3-2+deb9u3 [2693 kB] Get:54 http://security.debian.org stretch/updates/main amd64 libcairo-gobject2 amd64 1.14.8-1+deb9u1 [337 kB] Get:55 http://security.debian.org stretch/updates/main amd64 libcups2 amd64 2.2.1-8+deb9u8 [307 kB] Get:56 http://security.debian.org stretch/updates/main amd64 libexpat1 amd64 2.2.0-2+deb9u5 [84.7 kB] Get:57 http://security.debian.org stretch/updates/main amd64 libfribidi0 amd64 0.19.7-1+deb9u2 [45.7 kB] Get:58 http://security.debian.org stretch/updates/main amd64 libproxy1v5 amd64 0.4.14-2+deb9u2 [55.8 kB] Get:59 http://security.debian.org stretch/updates/main amd64 librsvg2-common amd64 2.40.21-0+deb9u1 [16.6 kB] Get:60 http://security.debian.org stretch/updates/main amd64 librsvg2-2 amd64 2.40.21-0+deb9u1 [108 kB] Get:61 http://security.debian.org stretch/updates/main amd64 libwebp6 amd64 0.5.2-1+deb9u1 [235 kB] Get:62 http://security.debian.org stretch/updates/main amd64 libx11-xcb1 amd64 2:1.6.4-3+deb9u4 [184 kB] Get:63 http://security.debian.org stretch/updates/main amd64 linux-libc-dev amd64 4.9.320-2 [1633 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 33.8 MB in 0s (91.7 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 25799 files and directories currently installed.) Preparing to unpack .../tar_1.29b-1.1+deb9u1_amd64.deb ... Unpacking tar (1.29b-1.1+deb9u1) over (1.29b-1.1) ... Setting up tar (1.29b-1.1+deb9u1) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../dpkg_1.18.26_amd64.deb ... Unpacking dpkg (1.18.26) over (1.18.25) ... Setting up dpkg (1.18.26) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.43.4-2+deb9u2_amd64.deb ... Unpacking e2fslibs:amd64 (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up e2fslibs:amd64 (1.43.4-2+deb9u2) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.43.4-2+deb9u2_amd64.deb ... Unpacking e2fsprogs (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up e2fsprogs (1.43.4-2+deb9u2) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../gzip_1.6-5+deb9u1_amd64.deb ... Unpacking gzip (1.6-5+deb9u1) over (1.6-5+b1) ... Setting up gzip (1.6-5+deb9u1) ... (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 ... 25798 files and directories currently installed.) Preparing to unpack .../login_1%3a4.4-4.1+deb9u1_amd64.deb ... Unpacking login (1:4.4-4.1+deb9u1) over (1:4.4-4.1) ... Setting up login (1:4.4-4.1+deb9u1) ... Installing new version of config file /etc/securetty ... (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 ... 25798 files and directories currently installed.) Preparing to unpack .../debian-archive-keyring_2017.5+deb9u2_all.deb ... Unpacking debian-archive-keyring (2017.5+deb9u2) over (2017.5+deb9u1) ... Setting up debian-archive-keyring (2017.5+deb9u2) ... (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 ... 25801 files and directories currently installed.) Preparing to unpack .../liblz4-1_0.0~r131-2+deb9u1_amd64.deb ... Unpacking liblz4-1:amd64 (0.0~r131-2+deb9u1) over (0.0~r131-2+b1) ... Setting up liblz4-1:amd64 (0.0~r131-2+deb9u1) ... (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 ... 25800 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.2-1.2+deb9u1_amd64.deb ... Unpacking liblzma5:amd64 (5.2.2-1.2+deb9u1) over (5.2.2-1.2+b1) ... Setting up liblzma5:amd64 (5.2.2-1.2+deb9u1) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-5+deb9u1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.8.dfsg-5+deb9u1) over (1:1.2.8.dfsg-5) ... Setting up zlib1g:amd64 (1:1.2.8.dfsg-5+deb9u1) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4.11_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.4.11) over (1.4.10) ... Setting up libapt-pkg5.0:amd64 (1.4.11) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../archives/apt_1.4.11_amd64.deb ... Unpacking apt (1.4.11) over (1.4.10) ... Setting up apt (1.4.11) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../libsystemd0_232-25+deb9u14_amd64.deb ... Unpacking libsystemd0:amd64 (232-25+deb9u14) over (232-25+deb9u12) ... Setting up libsystemd0:amd64 (232-25+deb9u14) ... (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 ... 25799 files and directories currently installed.) Preparing to unpack .../00-imagemagick-6-common_8%3a6.9.7.4+dfsg-11+deb9u14_all.deb ... Unpacking imagemagick-6-common (8:6.9.7.4+dfsg-11+deb9u14) over (8:6.9.7.4+dfsg-11+deb9u8) ... Preparing to unpack .../01-libfreetype6_2.6.3-3.2+deb9u2_amd64.deb ... Unpacking libfreetype6:amd64 (2.6.3-3.2+deb9u2) over (2.6.3-3.2+deb9u1) ... Preparing to unpack .../02-libjpeg62-turbo_1%3a1.5.1-2+deb9u2_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.5.1-2+deb9u2) over (1:1.5.1-2) ... Preparing to unpack .../03-libopenjp2-7_2.1.2-1.1+deb9u7_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.1.2-1.1+deb9u7) over (2.1.2-1.1+deb9u4) ... Preparing to unpack .../04-libtiff5_4.0.8-2+deb9u8_amd64.deb ... Unpacking libtiff5:amd64 (4.0.8-2+deb9u8) over (4.0.8-2+deb9u5) ... Preparing to unpack .../05-libx11-data_2%3a1.6.4-3+deb9u4_all.deb ... Unpacking libx11-data (2:1.6.4-3+deb9u4) over (2:1.6.4-3+deb9u1) ... Preparing to unpack .../06-libx11-6_2%3a1.6.4-3+deb9u4_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3+deb9u4) over (2:1.6.4-3+deb9u1) ... Preparing to unpack .../07-libicu57_57.1-6+deb9u5_amd64.deb ... Unpacking libicu57:amd64 (57.1-6+deb9u5) over (57.1-6+deb9u4) ... Preparing to unpack .../08-libxml2_2.9.4+dfsg1-2.2+deb9u7_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u7) over (2.9.4+dfsg1-2.2+deb9u2) ... Preparing to unpack .../09-libmagickcore-6.q16-3_8%3a6.9.7.4+dfsg-11+deb9u14_amd64.deb ... Unpacking libmagickcore-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u14) over (8:6.9.7.4+dfsg-11+deb9u8) ... Preparing to unpack .../10-libmagickwand-6.q16-3_8%3a6.9.7.4+dfsg-11+deb9u14_amd64.deb ... Unpacking libmagickwand-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u14) over (8:6.9.7.4+dfsg-11+deb9u8) ... Preparing to unpack .../11-libcomerr2_1.43.4-2+deb9u2_amd64.deb ... Unpacking libcomerr2:amd64 (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up libcomerr2:amd64 (1.43.4-2+deb9u2) ... (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 ... 25800 files and directories currently installed.) Preparing to unpack .../libss2_1.43.4-2+deb9u2_amd64.deb ... Unpacking libss2:amd64 (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up libss2:amd64 (1.43.4-2+deb9u2) ... (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 ... 25800 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.4-4.1+deb9u1_amd64.deb ... Unpacking passwd (1:4.4-4.1+deb9u1) over (1:4.4-4.1) ... Setting up passwd (1:4.4-4.1+deb9u1) ... (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 ... 25800 files and directories currently installed.) Preparing to unpack .../libudev1_232-25+deb9u14_amd64.deb ... Unpacking libudev1:amd64 (232-25+deb9u14) over (232-25+deb9u12) ... Setting up libudev1:amd64 (232-25+deb9u14) ... (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 ... 25800 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.6-2+deb9u4_amd64.deb ... Unpacking libgcrypt20:amd64 (1.7.6-2+deb9u4) over (1.7.6-2+deb9u3) ... Setting up libgcrypt20:amd64 (1.7.6-2+deb9u4) ... (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 ... 25800 files and directories currently installed.) Preparing to unpack .../00-libgnutls-dane0_3.5.8-5+deb9u6_amd64.deb ... Unpacking libgnutls-dane0:amd64 (3.5.8-5+deb9u6) over (3.5.8-5+deb9u5) ... Preparing to unpack .../01-libgmp10_2%3a6.1.2+dfsg-1+deb9u1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1+deb9u1) over (2:6.1.2+dfsg-1) ... Preparing to unpack .../02-libhogweed4_3.3-1+deb9u1_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-1+deb9u1) over (3.3-1+b2) ... Preparing to unpack .../03-libnettle6_3.3-1+deb9u1_amd64.deb ... Unpacking libnettle6:amd64 (3.3-1+deb9u1) over (3.3-1+b2) ... Preparing to unpack .../04-libp11-kit0_0.23.3-2+deb9u1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.3-2+deb9u1) over (0.23.3-2) ... Preparing to unpack .../05-libgnutls30_3.5.8-5+deb9u6_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.8-5+deb9u6) over (3.5.8-5+deb9u5) ... Preparing to unpack .../06-libgssapi-krb5-2_1.15-1+deb9u3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1+deb9u3) over (1.15-1+deb9u1) ... Preparing to unpack .../07-libkrb5-3_1.15-1+deb9u3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.15-1+deb9u3) over (1.15-1+deb9u1) ... Preparing to unpack .../08-libkrb5support0_1.15-1+deb9u3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1+deb9u3) over (1.15-1+deb9u1) ... Preparing to unpack .../09-libk5crypto3_1.15-1+deb9u3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1+deb9u3) over (1.15-1+deb9u1) ... Preparing to unpack .../10-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3+deb9u2_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u2) over (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Preparing to unpack .../11-libsasl2-2_2.1.27~101-g0780600+dfsg-3+deb9u2_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u2) over (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Preparing to unpack .../12-libldap-common_2.4.44+dfsg-5+deb9u9_all.deb ... Unpacking libldap-common (2.4.44+dfsg-5+deb9u9) over (2.4.44+dfsg-5+deb9u4) ... Preparing to unpack .../13-libldap-2.4-2_2.4.44+dfsg-5+deb9u9_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u9) over (2.4.44+dfsg-5+deb9u4) ... Preparing to unpack .../14-libsqlite3-0_3.16.2-5+deb9u3_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.16.2-5+deb9u3) over (3.16.2-5+deb9u1) ... Preparing to unpack .../15-aspell_0.60.7~20110707-3+deb9u1_amd64.deb ... Unpacking aspell (0.60.7~20110707-3+deb9u1) over (0.60.7~20110707-3+b2) ... Preparing to unpack .../16-libaspell15_0.60.7~20110707-3+deb9u1_amd64.deb ... Unpacking libaspell15:amd64 (0.60.7~20110707-3+deb9u1) over (0.60.7~20110707-3+b2) ... Preparing to unpack .../17-gnutls-bin_3.5.8-5+deb9u6_amd64.deb ... Unpacking gnutls-bin (3.5.8-5+deb9u6) over (3.5.8-5+deb9u5) ... Preparing to unpack .../18-libavahi-common-data_0.6.32-2+deb9u1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32-2+deb9u1) over (0.6.32-2) ... Preparing to unpack .../19-libavahi-common3_0.6.32-2+deb9u1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-2+deb9u1) over (0.6.32-2) ... Preparing to unpack .../20-libavahi-client3_0.6.32-2+deb9u1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-2+deb9u1) over (0.6.32-2) ... Preparing to unpack .../21-libbsd0_0.8.3-1+deb9u1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.3-1+deb9u1) over (0.8.3-1) ... Preparing to unpack .../22-libcairo2_1.14.8-1+deb9u1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.8-1+deb9u1) over (1.14.8-1) ... Preparing to unpack .../23-libglib2.0-0_2.50.3-2+deb9u3_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.50.3-2+deb9u3) over (2.50.3-2+deb9u2) ... Preparing to unpack .../24-libcairo-gobject2_1.14.8-1+deb9u1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.8-1+deb9u1) over (1.14.8-1) ... Preparing to unpack .../25-libcups2_2.2.1-8+deb9u8_amd64.deb ... Unpacking libcups2:amd64 (2.2.1-8+deb9u8) over (2.2.1-8+deb9u6) ... Preparing to unpack .../26-libexpat1_2.2.0-2+deb9u5_amd64.deb ... Unpacking libexpat1:amd64 (2.2.0-2+deb9u5) over (2.2.0-2+deb9u3) ... Preparing to unpack .../27-libfribidi0_0.19.7-1+deb9u2_amd64.deb ... Unpacking libfribidi0:amd64 (0.19.7-1+deb9u2) over (0.19.7-1+deb9u1) ... Preparing to unpack .../28-libproxy1v5_0.4.14-2+deb9u2_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.14-2+deb9u2) over (0.4.14-2) ... Preparing to unpack .../29-librsvg2-common_2.40.21-0+deb9u1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.21-0+deb9u1) over (2.40.16-1+b1) ... Preparing to unpack .../30-librsvg2-2_2.40.21-0+deb9u1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.40.21-0+deb9u1) over (2.40.16-1+b1) ... Preparing to unpack .../31-libwebp6_0.5.2-1+deb9u1_amd64.deb ... Unpacking libwebp6:amd64 (0.5.2-1+deb9u1) over (0.5.2-1) ... Preparing to unpack .../32-libx11-xcb1_2%3a1.6.4-3+deb9u4_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.6.4-3+deb9u4) over (2:1.6.4-3+deb9u1) ... Preparing to unpack .../33-linux-libc-dev_4.9.320-2_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.9.320-2) over (4.9.228-1) ... Setting up imagemagick-6-common (8:6.9.7.4+dfsg-11+deb9u14) ... Setting up libnettle6:amd64 (3.3-1+deb9u1) ... Setting up libexpat1:amd64 (2.2.0-2+deb9u5) ... Setting up libopenjp2-7:amd64 (2.1.2-1.1+deb9u7) ... Setting up libjpeg62-turbo:amd64 (1:1.5.1-2+deb9u2) ... Setting up libldap-common (2.4.44+dfsg-5+deb9u9) ... Setting up libaspell15:amd64 (0.60.7~20110707-3+deb9u1) ... Setting up libglib2.0-0:amd64 (2.50.3-2+deb9u3) ... Setting up libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u2) ... Setting up libproxy1v5:amd64 (0.4.14-2+deb9u2) ... Setting up linux-libc-dev:amd64 (4.9.320-2) ... Setting up libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u2) ... Setting up libtiff5:amd64 (4.0.8-2+deb9u8) ... Setting up libicu57:amd64 (57.1-6+deb9u5) ... Setting up libbsd0:amd64 (0.8.3-1+deb9u1) ... Setting up libkrb5support0:amd64 (1.15-1+deb9u3) ... Setting up libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u7) ... Setting up libfreetype6:amd64 (2.6.3-3.2+deb9u2) ... Setting up libx11-xcb1:amd64 (2:1.6.4-3+deb9u4) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1+deb9u1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Setting up libp11-kit0:amd64 (0.23.3-2+deb9u1) ... Setting up libsqlite3-0:amd64 (3.16.2-5+deb9u3) ... Setting up libfribidi0:amd64 (0.19.7-1+deb9u2) ... Setting up aspell (0.60.7~20110707-3+deb9u1) ... Setting up libx11-data (2:1.6.4-3+deb9u4) ... Setting up libavahi-common-data:amd64 (0.6.32-2+deb9u1) ... Setting up libwebp6:amd64 (0.5.2-1+deb9u1) ... Setting up libk5crypto3:amd64 (1.15-1+deb9u3) ... Setting up libx11-6:amd64 (2:1.6.4-3+deb9u4) ... Setting up libhogweed4:amd64 (3.3-1+deb9u1) ... Setting up libkrb5-3:amd64 (1.15-1+deb9u3) ... Setting up libavahi-common3:amd64 (0.6.32-2+deb9u1) ... Setting up libcairo2:amd64 (1.14.8-1+deb9u1) ... Setting up libmagickcore-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u14) ... Setting up librsvg2-2:amd64 (2.40.21-0+deb9u1) ... Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... Setting up libcairo-gobject2:amd64 (1.14.8-1+deb9u1) ... Setting up libgnutls30:amd64 (3.5.8-5+deb9u6) ... Setting up librsvg2-common:amd64 (2.40.21-0+deb9u1) ... Setting up libgssapi-krb5-2:amd64 (1.15-1+deb9u3) ... Setting up libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u9) ... Setting up libgnutls-dane0:amd64 (3.5.8-5+deb9u6) ... Setting up libmagickwand-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u14) ... Setting up libavahi-client3:amd64 (0.6.32-2+deb9u1) ... Setting up gnutls-bin (3.5.8-5+deb9u6) ... Setting up libcups2:amd64 (2.2.1-8+deb9u8) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Processing triggers for dictionaries-common (1.27.2) ... Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... 0m47.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-yf', 'dist-upgrade'] 0m47.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m47.3s DUMP: f0660a0a38f941b755664f52e8306b99 - 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m47.5s DUMP: Package: prooftree Version: 0.13-1 Installed-Size: 3486 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libatk1.0-0 (>= 1.12.4), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0) Description-en: proof-tree visualization for Proof General Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq. Description-md5: b27f2d4918792b35e6871a08a544fafa Homepage: http://askra.de/software/prooftree Tag: uitoolkit::gtk Section: science Priority: optional Filename: pool/main/p/prooftree/prooftree_0.13-1_amd64.deb Size: 695736 MD5sum: fac2ddc7b5539937bcbebd500c8c4ae8 SHA256: a7a1e6e070c743ee71a5094b6f0091657d24037c16b7ae9b97438b7ca9368acf 0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'show', '--no-all-versions', 'prooftree'] 0m47.5s INFO: apt-cache knows about the following packages: prooftree 0m47.5s INFO: Running scripts pre_install 0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_database-server'] 0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_database-server'] 0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_exceptions'] 0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_exceptions'] 0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_extras'] 0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_extras'] 0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture'] 0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture'] 0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m47.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m47.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy'] 0m47.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org stretch/updates/main amd64 Packages release v=9,o=Debian,a=oldoldstable,n=stretch,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian stretch/main amd64 Packages release v=9.13,o=Debian,a=oldoldstable,n=stretch,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m47.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy'] 0m47.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy', 'prooftree'] 0m47.6s DUMP: prooftree: Installed: 0.13-1 Candidate: 0.13-1 Version table: *** 0.13-1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 100 /var/lib/dpkg/status 0m47.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy', 'prooftree'] 0m47.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-y', 'install', 'prooftree'] 0m47.9s DUMP: Reading package lists... Building dependency tree... Reading state information... prooftree is already the newest version (0.13-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-y', 'install', 'prooftree'] 0m47.9s INFO: Running scripts post_install 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_install_exceptions'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_install_exceptions'] 0m47.9s INFO: Running scripts post_distupgrade 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_exceptions'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_exceptions'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_zz_backports'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_distupgrade_zz_backports'] 0m48.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m49.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m49.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m50.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m50.2s INFO: Running scripts pre_install 0m50.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_database-server'] 0m50.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_database-server'] 0m50.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_exceptions'] 0m50.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_exceptions'] 0m50.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_extras'] 0m50.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_extras'] 0m50.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture'] 0m50.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture'] 0m50.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m50.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m50.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy'] 0m50.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org stretch/updates/main amd64 Packages release v=9,o=Debian,a=oldoldstable,n=stretch,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian stretch/main amd64 Packages release v=9.13,o=Debian,a=oldoldstable,n=stretch,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m50.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy'] 0m50.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy', 'prooftree'] 0m50.4s DUMP: prooftree: Installed: 0.13-1 Candidate: 0.13-1 Version table: *** 0.13-1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 100 /var/lib/dpkg/status 0m50.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-cache', 'policy', 'prooftree'] 0m50.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-y', 'install', 'prooftree=0.13-1'] 0m50.7s DUMP: Reading package lists... Building dependency tree... Reading state information... prooftree is already the newest version (0.13-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', '-y', 'install', 'prooftree=0.13-1'] 0m50.7s INFO: Running scripts post_install 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_install_exceptions'] 0m50.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_install_exceptions'] 0m50.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m51.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 0m53.3s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpggss_43p', '-ac', '--ignore-obsolete'] 0m56.9s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpggss_43p', '-ac', '--ignore-obsolete'] 0m56.9s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m57.0s DUMP: 0.15.6 0m57.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m57.0s INFO: Running adequate version 0.15.6 now. 0m57.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'prooftree'] 0m57.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'prooftree'] 0m57.1s INFO: Running scripts pre_remove 0m57.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m57.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m57.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m57.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m57.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m1.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m1.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m1.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m1.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_exceptions'] 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/pre_remove_exceptions'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m1.3s DUMP: install ok installed adduser adduser 3.115 install ok installed adwaita-icon-theme adwaita-icon-theme 3.22.0-1+deb9u1 install ok installed apt apt 1.4.11 install ok installed aspell aspell 0.60.7~20110707-3+deb9u1 install ok installed aspell-en aspell-en 2016.11.20-0-0.1 install ok installed base-files base-files 9.9+deb9u13 install ok installed base-passwd base-passwd 3.5.43 install ok installed bash bash 4.4-5 install ok installed binutils binutils 2.28-5 install ok installed bsdutils bsdutils 1:2.29.2-1+deb9u1 install ok installed coq coq 8.6-4 install ok installed coq-theories coq-theories 8.6-4 install ok installed coreutils coreutils 8.26-3 install ok installed cpp cpp 4:6.3.0-4 install ok installed cpp-6 cpp-6 6.3.0-18+deb9u1 install ok installed dash dash 0.5.8-2.4 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.26.0-2+b1 install ok installed dconf-service dconf-service 0.26.0-2+b1 install ok installed debconf debconf 1.5.61 install ok installed debian-archive-keyring debian-archive-keyring 2017.5+deb9u2 install ok installed debianutils debianutils 4.8.1.1 install ok installed dictionaries-common dictionaries-common 1.27.2 install ok installed diffutils diffutils 1:3.5-3 install ok installed dpkg dpkg 1.18.26 install ok installed e2fslibs:amd64 e2fslibs 1.43.4-2+deb9u2 install ok installed e2fsprogs e2fsprogs 1.43.4-2+deb9u2 install ok installed emacs24 emacs24 24.5+1-11+deb9u1 install ok installed emacs24-bin-common emacs24-bin-common 24.5+1-11+deb9u1 install ok installed emacs24-common emacs24-common 24.5+1-11+deb9u1 install ok installed emacsen-common emacsen-common 2.0.8 install ok installed findutils findutils 4.6.0+git+20161106-2 install ok installed fontconfig fontconfig 2.11.0-6.7+b1 install ok installed fontconfig-config fontconfig-config 2.11.0-6.7 install ok installed fonts-dejavu-core fonts-dejavu-core 2.37-1 install ok installed gcc gcc 4:6.3.0-4 install ok installed gcc-6 gcc-6 6.3.0-18+deb9u1 install ok installed gcc-6-base:amd64 gcc-6-base 6.3.0-18+deb9u1 install ok installed gconf-service gconf-service 3.2.6-4+b1 install ok installed gconf2-common gconf2-common 3.2.6-4 install ok installed glib-networking:amd64 glib-networking 2.50.0-1+deb9u1 install ok installed glib-networking-common glib-networking-common 2.50.0-1+deb9u1 install ok installed glib-networking-services glib-networking-services 2.50.0-1+deb9u1 install ok installed gnutls-bin gnutls-bin 3.5.8-5+deb9u6 install ok installed gpgv gpgv 2.1.18-8~deb9u4 install ok installed grep grep 2.27-2 install ok installed gsettings-desktop-schemas gsettings-desktop-schemas 3.22.0-1 install ok installed gtk-update-icon-cache gtk-update-icon-cache 3.22.11-1 install ok installed gzip gzip 1.6-5+deb9u1 install ok installed hicolor-icon-theme hicolor-icon-theme 0.15-1 install ok installed hostname hostname 3.18+b1 install ok installed imagemagick-6-common imagemagick-6-common 8:6.9.7.4+dfsg-11+deb9u14 install ok installed init-system-helpers init-system-helpers 1.48 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.4.11 install ok installed libasan3:amd64 libasan3 6.3.0-18+deb9u1 install ok installed libasound2:amd64 libasound2 1.1.3-5 install ok installed libasound2-data libasound2-data 1.1.3-5 install ok installed libaspell15:amd64 libaspell15 0.60.7~20110707-3+deb9u1 install ok installed libatk-bridge2.0-0:amd64 libatk-bridge2.0-0 2.22.0-2 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.22.0-1 install ok installed libatk1.0-data libatk1.0-data 2.22.0-1 install ok installed libatomic1:amd64 libatomic1 6.3.0-18+deb9u1 install ok installed libatspi2.0-0:amd64 libatspi2.0-0 2.22.0-6+deb9u1 install ok installed libattr1:amd64 libattr1 1:2.4.47-2+b2 install ok installed libaudit-common libaudit-common 1:2.6.7-2 install ok installed libaudit1:amd64 libaudit1 1:2.6.7-2 install ok installed libavahi-client3:amd64 libavahi-client3 0.6.32-2+deb9u1 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.32-2+deb9u1 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.32-2+deb9u1 install ok installed libblkid1:amd64 libblkid1 2.29.2-1+deb9u1 install ok installed libbsd0:amd64 libbsd0 0.8.3-1+deb9u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-8.1 install ok installed libc-bin libc-bin 2.24-11+deb9u4 install ok installed libc-dev-bin libc-dev-bin 2.24-11+deb9u4 install ok installed libc6:amd64 libc6 2.24-11+deb9u4 install ok installed libc6-dev:amd64 libc6-dev 2.24-11+deb9u4 install ok installed libcairo-gobject2:amd64 libcairo-gobject2 1.14.8-1+deb9u1 install ok installed libcairo2:amd64 libcairo2 1.14.8-1+deb9u1 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.7-3+b1 install ok installed libcc1-0:amd64 libcc1-0 6.3.0-18+deb9u1 install ok installed libcilkrts5:amd64 libcilkrts5 6.3.0-18+deb9u1 install ok installed libcolord2:amd64 libcolord2 1.3.3-2 install ok installed libcomerr2:amd64 libcomerr2 1.43.4-2+deb9u2 install ok installed libcoq-ocaml libcoq-ocaml 8.6-4 install ok installed libcroco3:amd64 libcroco3 0.6.11-3 install ok installed libcups2:amd64 libcups2 2.2.1-8+deb9u8 install ok installed libdatrie1:amd64 libdatrie1 0.2.10-4+b1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-12+deb9u1 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.10.32-0+deb9u1 install ok installed libdbus-glib-1-2:amd64 libdbus-glib-1-2 0.108-2 install ok installed libdconf1:amd64 libdconf1 0.26.0-2+b1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.227 install ok installed libdrm2:amd64 libdrm2 2.4.74-1 install ok installed libegl1-mesa:amd64 libegl1-mesa 13.0.6-1+b2 install ok installed libenchant1c2a:amd64 libenchant1c2a 1.6.0-11+b1 install ok installed libepoxy0:amd64 libepoxy0 1.3.1-2 install ok installed libexpat1:amd64 libexpat1 2.2.0-2+deb9u5 install ok installed libfdisk1:amd64 libfdisk1 2.29.2-1+deb9u1 install ok installed libffi6:amd64 libffi6 3.2.1-6 install ok installed libfftw3-double3:amd64 libfftw3-double3 3.3.5-3 install ok installed libfindlib-ocaml libfindlib-ocaml 1.6.2-1+b1 install ok installed libfontconfig1:amd64 libfontconfig1 2.11.0-6.7+b1 install ok installed libfreetype6:amd64 libfreetype6 2.6.3-3.2+deb9u2 install ok installed libfribidi0:amd64 libfribidi0 0.19.7-1+deb9u2 install ok installed libgbm1:amd64 libgbm1 13.0.6-1+b2 install ok installed libgcc-6-dev:amd64 libgcc-6-dev 6.3.0-18+deb9u1 install ok installed libgcc1:amd64 libgcc1 1:6.3.0-18+deb9u1 install ok installed libgconf-2-4:amd64 libgconf-2-4 3.2.6-4+b1 install ok installed libgcrypt20:amd64 libgcrypt20 1.7.6-2+deb9u4 install ok installed libgd3:amd64 libgd3 2.2.4-2+deb9u5 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.36.5-2+deb9u2 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.36.5-2+deb9u2 install ok installed libgif7:amd64 libgif7 5.1.4-0.4 install ok installed libglade2-0:amd64 libglade2-0 1:2.6.4-2 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.50.3-2+deb9u3 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-1+deb9u1 install ok installed libgnutls-dane0:amd64 libgnutls-dane0 3.5.8-5+deb9u6 install ok installed libgnutls30:amd64 libgnutls30 3.5.8-5+deb9u6 install ok installed libgomp1:amd64 libgomp1 6.3.0-18+deb9u1 install ok installed libgpg-error0:amd64 libgpg-error0 1.26-2 install ok installed libgpm2:amd64 libgpm2 1.20.4-6.2+b1 install ok installed libgraphite2-3:amd64 libgraphite2-3 1.3.10-1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.15-1+deb9u3 install ok installed libgtk-3-0:amd64 libgtk-3-0 3.22.11-1 install ok installed libgtk-3-common libgtk-3-common 3.22.11-1 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.31-2 install ok installed libgtk2.0-common libgtk2.0-common 2.24.31-2 install ok installed libgtksourceview2.0-0:amd64 libgtksourceview2.0-0 2.10.5-3 install ok installed libgtksourceview2.0-common libgtksourceview2.0-common 2.10.5-3 install ok installed libgtkspell0 libgtkspell0 2.0.16-1.1 install ok installed libharfbuzz0b:amd64 libharfbuzz0b 1.4.2-1 install ok installed libhogweed4:amd64 libhogweed4 3.3-1+deb9u1 install ok installed libhunspell-1.4-0:amd64 libhunspell-1.4-0 1.4.1-2+b2 install ok installed libice6:amd64 libice6 2:1.0.9-2 install ok installed libicu57:amd64 libicu57 57.1-6+deb9u5 install ok installed libidn11:amd64 libidn11 1.33-1+deb9u1 install ok installed libisl15:amd64 libisl15 0.18-1 install ok installed libitm1:amd64 libitm1 6.3.0-18+deb9u1 install ok installed libjbig0:amd64 libjbig0 2.1-3.1+b2 install ok installed libjpeg62-turbo:amd64 libjpeg62-turbo 1:1.5.1-2+deb9u2 install ok installed libjson-glib-1.0-0:amd64 libjson-glib-1.0-0 1.2.6-1 install ok installed libjson-glib-1.0-common libjson-glib-1.0-common 1.2.6-1 install ok installed libk5crypto3:amd64 libk5crypto3 1.15-1+deb9u3 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.9-9 install ok installed libkrb5-3:amd64 libkrb5-3 1.15-1+deb9u3 install ok installed libkrb5support0:amd64 libkrb5support0 1.15-1+deb9u3 install ok installed liblablgtk2-ocaml liblablgtk2-ocaml 2.18.3+dfsg-2 install ok installed liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml 2.18.3+dfsg-2 install ok installed liblcms2-2:amd64 liblcms2-2 2.8-4+deb9u1 install ok installed libldap-2.4-2:amd64 libldap-2.4-2 2.4.44+dfsg-5+deb9u9 install ok installed libldap-common libldap-common 2.4.44+dfsg-5+deb9u9 install ok installed liblockfile-bin liblockfile-bin 1.14-1+b1 install ok installed liblockfile1:amd64 liblockfile1 1.14-1+b1 install ok installed liblqr-1-0:amd64 liblqr-1-0 0.4.2-2+b2 install ok installed liblsan0:amd64 liblsan0 6.3.0-18+deb9u1 install ok installed libltdl7:amd64 libltdl7 2.4.6-2 install ok installed liblz4-1:amd64 liblz4-1 0.0~r131-2+deb9u1 install ok installed liblzma5:amd64 liblzma5 5.2.2-1.2+deb9u1 install ok installed libm17n-0:amd64 libm17n-0 1.7.0-3+b1 install ok installed libmagickcore-6.q16-3:amd64 libmagickcore-6.q16-3 8:6.9.7.4+dfsg-11+deb9u14 install ok installed libmagickwand-6.q16-3:amd64 libmagickwand-6.q16-3 8:6.9.7.4+dfsg-11+deb9u14 install ok installed libmount1:amd64 libmount1 2.29.2-1+deb9u1 install ok installed libmpc3:amd64 libmpc3 1.0.3-1+b2 install ok installed libmpfr4:amd64 libmpfr4 3.1.5-1 install ok installed libmpx2:amd64 libmpx2 6.3.0-18+deb9u1 install ok installed libncurses5:amd64 libncurses5 6.0+20161126-1+deb9u2 install ok installed libncurses5-dev:amd64 libncurses5-dev 6.0+20161126-1+deb9u2 install ok installed libncursesw5:amd64 libncursesw5 6.0+20161126-1+deb9u2 install ok installed libnettle6:amd64 libnettle6 3.3-1+deb9u1 install ok installed libopenjp2-7:amd64 libopenjp2-7 2.1.2-1.1+deb9u7 install ok installed libopts25:amd64 libopts25 1:5.18.12-3 install ok installed libotf0:amd64 libotf0 0.9.13-3+b1 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.3-2+deb9u1 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.6 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.6 install ok installed libpam-runtime libpam-runtime 1.1.8-3.6 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.6 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.40.5-1 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.40.5-1 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.40.5-1 install ok installed libpcre3:amd64 libpcre3 2:8.39-3 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.34.0-1 install ok installed libpng16-16:amd64 libpng16-16 1.6.28-1+deb9u1 install ok installed libproxy1v5:amd64 libproxy1v5 0.4.14-2+deb9u2 install ok installed libquadmath0:amd64 libquadmath0 6.3.0-18+deb9u1 install ok installed librest-0.7-0:amd64 librest-0.7-0 0.8.0-2 install ok installed librsvg2-2:amd64 librsvg2-2 2.40.21-0+deb9u1 install ok installed librsvg2-common:amd64 librsvg2-common 2.40.21-0+deb9u1 install ok installed libsasl2-2:amd64 libsasl2-2 2.1.27~101-g0780600+dfsg-3+deb9u2 install ok installed libsasl2-modules-db:amd64 libsasl2-modules-db 2.1.27~101-g0780600+dfsg-3+deb9u2 install ok installed libselinux1:amd64 libselinux1 2.6-3+b3 install ok installed libsemanage-common libsemanage-common 2.6-2 install ok installed libsemanage1:amd64 libsemanage1 2.6-2 install ok installed libsepol1:amd64 libsepol1 2.6-2 install ok installed libsm6:amd64 libsm6 2:1.2.2-1+b3 install ok installed libsmartcols1:amd64 libsmartcols1 2.29.2-1+deb9u1 install ok installed libsoup-gnome2.4-1:amd64 libsoup-gnome2.4-1 2.56.0-2+deb9u2 install ok installed libsoup2.4-1:amd64 libsoup2.4-1 2.56.0-2+deb9u2 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.16.2-5+deb9u3 install ok installed libss2:amd64 libss2 1.43.4-2+deb9u2 install ok installed libstdc++6:amd64 libstdc++6 6.3.0-18+deb9u1 install ok installed libsystemd0:amd64 libsystemd0 232-25+deb9u14 install ok installed libtasn1-6:amd64 libtasn1-6 4.10-1.1+deb9u1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b4 install ok installed libthai-data libthai-data 0.1.26-1 install ok installed libthai0:amd64 libthai0 0.1.26-1 install ok installed libtiff5:amd64 libtiff5 4.0.8-2+deb9u8 install ok installed libtinfo-dev:amd64 libtinfo-dev 6.0+20161126-1+deb9u2 install ok installed libtinfo5:amd64 libtinfo5 6.0+20161126-1+deb9u2 install ok installed libtsan0:amd64 libtsan0 6.3.0-18+deb9u1 install ok installed libubsan0:amd64 libubsan0 6.3.0-18+deb9u1 install ok installed libudev1:amd64 libudev1 232-25+deb9u14 install ok installed libunbound2:amd64 libunbound2 1.6.0-3+deb9u2 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-6 install ok installed libuuid1:amd64 libuuid1 2.29.2-1+deb9u1 install ok installed libwayland-client0:amd64 libwayland-client0 1.12.0-1+deb9u1 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.12.0-1+deb9u1 install ok installed libwayland-egl1-mesa:amd64 libwayland-egl1-mesa 13.0.6-1+b2 install ok installed libwayland-server0:amd64 libwayland-server0 1.12.0-1+deb9u1 install ok installed libwebp6:amd64 libwebp6 0.5.2-1+deb9u1 install ok installed libx11-6:amd64 libx11-6 2:1.6.4-3+deb9u4 install ok installed libx11-data libx11-data 2:1.6.4-3+deb9u4 install ok installed libx11-xcb1:amd64 libx11-xcb1 2:1.6.4-3+deb9u4 install ok installed libxau6:amd64 libxau6 1:1.0.8-1 install ok installed libxcb-dri2-0:amd64 libxcb-dri2-0 1.12-1 install ok installed libxcb-dri3-0:amd64 libxcb-dri3-0 1.12-1 install ok installed libxcb-present0:amd64 libxcb-present0 1.12-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.12-1 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.12-1 install ok installed libxcb-sync1:amd64 libxcb-sync1 1.12-1 install ok installed libxcb-xfixes0:amd64 libxcb-xfixes0 1.12-1 install ok installed libxcb1:amd64 libxcb1 1.12-1 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.4-2 install ok installed libxcursor1:amd64 libxcursor1 1:1.1.14-1+deb9u2 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.4-2+b3 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.2-3 install ok installed libxext6:amd64 libxext6 2:1.3.3-1+b2 install ok installed libxfixes3:amd64 libxfixes3 1:5.0.3-1 install ok installed libxft2:amd64 libxft2 2.3.2-1+b2 install ok installed libxi6:amd64 libxi6 2:1.7.9-1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.3-1+b3 install ok installed libxkbcommon0:amd64 libxkbcommon0 0.7.1-2~deb9u1 install ok installed libxml2:amd64 libxml2 2.9.4+dfsg1-2.2+deb9u7 install ok installed libxpm4:amd64 libxpm4 1:3.5.12-1 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 libxshmfence1:amd64 libxshmfence1 1.2-1+b2 install ok installed libxt6:amd64 libxt6 1:1.1.5-1 install ok installed linux-libc-dev:amd64 linux-libc-dev 4.9.320-2 install ok installed login login 1:4.4-4.1+deb9u1 install ok installed lsb-base lsb-base 9.20161125 install ok installed m17n-db m17n-db 1.7.0-2 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mmm-mode mmm-mode 0.5.4-2 install ok installed mount mount 2.29.2-1+deb9u1 install ok installed multiarch-support multiarch-support 2.24-11+deb9u4 install ok installed ncurses-base ncurses-base 6.0+20161126-1+deb9u2 install ok installed ncurses-bin ncurses-bin 6.0+20161126-1+deb9u2 install ok installed ocaml-base-nox ocaml-base-nox 4.02.3-9 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.02.3-9 install ok installed ocaml-findlib ocaml-findlib 1.6.2-1+b1 install ok installed ocaml-interp ocaml-interp 4.02.3-9 install ok installed ocaml-native-compilers ocaml-native-compilers 4.02.3-9 install ok installed ocaml-nox ocaml-nox 4.02.3-9 install ok installed passwd passwd 1:4.4-4.1+deb9u1 install ok installed perl-base perl-base 5.24.1-3+deb9u7 install ok installed proofgeneral proofgeneral 4.4.1~pre170114-1 install ok installed prooftree prooftree 0.13-1 install ok installed sed sed 4.4-1 install ok installed sensible-utils sensible-utils 0.0.9+deb9u1 install ok installed shared-mime-info shared-mime-info 1.8-1+deb9u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59.9 install ok installed tar tar 1.29b-1.1+deb9u1 install ok installed ucf ucf 3.0036 install ok installed util-linux util-linux 2.29.2-1+deb9u1 install ok installed x11-common x11-common 1:7.7+19 install ok installed xkb-data xkb-data 2.19-1+deb9u1 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-5+deb9u1 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'remove', 'adwaita-icon-theme', 'aspell', 'aspell-en', 'binutils', 'coq', 'coq-theories', 'cpp', 'cpp-6', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dictionaries-common', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-6', 'gconf-service', 'gconf2-common', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gnutls-bin', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'imagemagick-6-common', 'libasan3:amd64', 'libasound2:amd64', 'libasound2-data', 'libaspell15: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', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libdrm2:amd64', 'libegl1-mesa:amd64', 'libenchant1c2a:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgbm1:amd64', 'libgcc-6-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglade2-0:amd64', 'libglib2.0-0:amd64', 'libgmp10:amd64', 'libgnutls-dane0:amd64', 'libgnutls30:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libgtkspell0', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libhunspell-1.4-0:amd64', 'libice6:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libisl15:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk2-ocaml', 'liblablgtksourceview2-ocaml', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'libldap-common', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0:amd64', 'libmagickcore-6.q16-3:amd64', 'libmagickwand-6.q16-3:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libncurses5:amd64', 'libncurses5-dev:amd64', 'libnettle6:amd64', 'libopenjp2-7:amd64', 'libopts25:amd64', 'libotf0:amd64', 'libp11-kit0: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', 'libquadmath0:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsasl2-2:amd64', 'libsasl2-modules-db:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libtasn1-6:amd64', 'libtext-iconv-perl', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libunbound2:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1-mesa:amd64', 'libwayland-server0:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libx11-xcb1:amd64', 'libxau6:amd64', 'libxcb-dri2-0:amd64', 'libxcb-dri3-0:amd64', 'libxcb-present0:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb-sync1:amd64', 'libxcb-xfixes0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxshmfence1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'lsb-base', 'm17n-db', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-native-compilers', 'ocaml-nox', 'proofgeneral', 'shared-mime-info', 'ucf', 'x11-common', 'xkb-data', 'prooftree'] 1m4.1s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: adwaita-icon-theme aspell aspell-en binutils coq coq-theories cpp cpp-6 dconf-gsettings-backend dconf-service dictionaries-common emacs24 emacs24-bin-common emacs24-common emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-6 gconf-service gconf2-common glib-networking glib-networking-common glib-networking-services gnutls-bin gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme imagemagick-6-common libasan3 libasound2 libasound2-data libaspell15 libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcilkrts5 libcolord2 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm2 libegl1-mesa libenchant1c2a libepoxy0 libexpat1 libffi6 libfftw3-double3 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgcc-6-dev libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libglade2-0 libglib2.0-0 libgmp10 libgnutls-dane0 libgnutls30 libgomp1 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhogweed4 libhunspell-1.4-0 libice6 libicu57 libidn11 libisl15 libitm1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtksourceview2-ocaml liblcms2-2 libldap-2.4-2 libldap-common liblockfile-bin liblockfile1 liblqr-1-0 liblsan0 libltdl7 libm17n-0 libmagickcore-6.q16-3 libmagickwand-6.q16-3 libmpc3 libmpfr4 libmpx2 libncurses5 libncurses5-dev libnettle6 libopenjp2-7 libopts25 libotf0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 libproxy1v5 libquadmath0 librest-0.7-0 librsvg2-2 librsvg2-common libsasl2-2 libsasl2-modules-db libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libtasn1-6 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libtsan0 libubsan0 libunbound2 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 linux-libc-dev lsb-base m17n-db mmm-mode ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox proofgeneral prooftree shared-mime-info ucf x11-common xkb-data 0 upgraded, 0 newly installed, 204 to remove and 0 not upgraded. After this operation, 856 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 ... 25814 files and directories currently installed.) Removing prooftree (0.13-1) ... Removing proofgeneral (4.4.1~pre170114-1) ... Remove proofgeneral for emacs24 remove/proofgeneral: purging byte-compiled files for emacs24 Removing mmm-mode (0.5.4-2) ... Remove mmm-mode for emacs24 install/mmm-mode: Handling removal of emacsen flavor emacs24 install/mmm-mode: purging byte-compiled files for emacs24 Removing emacs24 (24.5+1-11+deb9u1) ... Remove dictionaries-common for emacs24 remove/dictionaries-common: Purging byte-compiled files for flavour emacs24 Remove coq for emacs24 remove/coq: purging byte-compiled files for emacs24 Remove emacsen-common for emacs24 emacsen-common: Handling removal of emacsen flavor emacs24 Removing libgtk-3-0:amd64 (3.22.11-1) ... Removing libgtk-3-common (3.22.11-1) ... Removing librest-0.7-0:amd64 (0.8.0-2) ... Removing libsoup-gnome2.4-1:amd64 (2.56.0-2+deb9u2) ... Removing libsoup2.4-1:amd64 (2.56.0-2+deb9u2) ... Removing glib-networking:amd64 (2.50.0-1+deb9u1) ... Removing gsettings-desktop-schemas (3.22.0-1) ... Removing dconf-gsettings-backend:amd64 (0.26.0-2+b1) ... Removing dconf-service (0.26.0-2+b1) ... Removing emacs24-bin-common (24.5+1-11+deb9u1) ... Removing emacs24-common (24.5+1-11+deb9u1) ... Removing libm17n-0:amd64 (1.7.0-3+b1) ... Removing libgd3:amd64 (2.2.4-2+deb9u5) ... Removing libmagickwand-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u14) ... Removing libmagickcore-6.q16-3:amd64 (8:6.9.7.4+dfsg-11+deb9u14) ... Removing gconf-service (3.2.6-4+b1) ... Removing libgconf-2-4:amd64 (3.2.6-4+b1) ... Removing gconf2-common (3.2.6-4) ... Removing glib-networking-services (2.50.0-1+deb9u1) ... Removing glib-networking-common (2.50.0-1+deb9u1) ... Removing gnutls-bin (3.5.8-5+deb9u6) ... Removing imagemagick-6-common (8:6.9.7.4+dfsg-11+deb9u14) ... Removing libasound2:amd64 (1.1.3-5) ... Removing libasound2-data (1.1.3-5) ... Removing libatk-bridge2.0-0:amd64 (2.22.0-2) ... Removing libatspi2.0-0:amd64 (2.22.0-6+deb9u1) ... Removing libcairo-gobject2:amd64 (1.14.8-1+deb9u1) ... Removing libwayland-egl1-mesa:amd64 (13.0.6-1+b2) ... Removing libegl1-mesa:amd64 (13.0.6-1+b2) ... Removing libxt6:amd64 (1:1.1.5-1) ... Removing libcolord2:amd64 (1.3.3-2) ... Removing libdbus-glib-1-2:amd64 (0.108-2) ... Removing libdconf1:amd64 (0.26.0-2+b1) ... Removing libgbm1:amd64 (13.0.6-1+b2) ... Removing libdrm2:amd64 (2.4.74-1) ... Removing libepoxy0:amd64 (1.3.1-2) ... Removing libgnutls-dane0:amd64 (3.5.8-5+deb9u6) ... Removing libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u9) ... Removing libfftw3-double3:amd64 (3.3.5-3) ... Removing libxft2:amd64 (2.3.2-1+b2) ... Removing libotf0:amd64 (0.9.13-3+b1) ... Removing libfribidi0:amd64 (0.19.7-1+deb9u2) ... Removing libgif7:amd64 (5.1.4-0.4) ... Removing libunbound2:amd64 (1.6.0-3+deb9u2) ... Removing libgpm2:amd64 (1.20.4-6.2+b1) ... Removing libjson-glib-1.0-0:amd64 (1.2.6-1) ... Removing libjson-glib-1.0-common (1.2.6-1) ... Removing liblcms2-2:amd64 (2.8-4+deb9u1) ... Removing libldap-common (2.4.44+dfsg-5+deb9u9) ... Removing liblockfile1:amd64 (1.14-1+b1) ... Removing liblockfile-bin (1.14-1+b1) ... Removing liblqr-1-0:amd64 (0.4.2-2+b2) ... Removing libltdl7:amd64 (2.4.6-2) ... Removing libopenjp2-7:amd64 (2.1.2-1.1+deb9u7) ... Removing libopts25:amd64 (1:5.18.12-3) ... Removing libproxy1v5:amd64 (0.4.14-2+deb9u2) ... Removing libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u2) ... Removing libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u2) ... Removing libsm6:amd64 (2:1.2.2-1+b3) ... Removing libsqlite3-0:amd64 (3.16.2-5+deb9u3) ... Removing libwayland-cursor0:amd64 (1.12.0-1+deb9u1) ... Removing libwayland-client0:amd64 (1.12.0-1+deb9u1) ... Removing libwayland-server0:amd64 (1.12.0-1+deb9u1) ... Removing libwebp6:amd64 (0.5.2-1+deb9u1) ... Removing libx11-xcb1:amd64 (2:1.6.4-3+deb9u4) ... Removing libxcb-dri2-0:amd64 (1.12-1) ... Removing libxcb-dri3-0:amd64 (1.12-1) ... Removing libxcb-present0:amd64 (1.12-1) ... Removing libxcb-sync1:amd64 (1.12-1) ... Removing libxcb-xfixes0:amd64 (1.12-1) ... Removing libxkbcommon0:amd64 (0.7.1-2~deb9u1) ... Removing libxpm4:amd64 (1:3.5.12-1) ... Removing libxshmfence1:amd64 (1.2-1+b2) ... Removing m17n-db (1.7.0-2) ... Removing xkb-data (2.19-1+deb9u1) ... Removing libice6:amd64 (2:1.0.9-2) ... Removing x11-common (1:7.7+19) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of stop. Removing lsb-base (9.20161125) ... Removing coq (8.6-4) ... ERROR: coq is broken - called emacs-package-remove as a new-style add-on, but has no compat file. Removing libcoq-ocaml (8.6-4) ... Removing liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Removing liblablgtk2-ocaml (2.18.3+dfsg-2) ... Removing libglade2-0:amd64 (1:2.6.4-2) ... Removing libgtkspell0 (2.0.16-1.1) ... Removing libenchant1c2a:amd64 (1.6.0-11+b1) ... Removing aspell-en (2016.11.20-0-0.1) ... update-default-aspell: Removing remove file "/var/lib/aspell/en.remove". Removing aspell (0.60.7~20110707-3+deb9u1) ... Removing ocaml-native-compilers (4.02.3-9) ... Removing ocaml-nox (4.02.3-9) ... Removing ocaml-interp (4.02.3-9) ... Removing gcc (4:6.3.0-4) ... Removing gcc-6 (6.3.0-18+deb9u1) ... Removing binutils (2.28-5) ... Removing cpp (4:6.3.0-4) ... Removing cpp-6 (6.3.0-18+deb9u1) ... Removing dictionaries-common (1.27.2) ... Removing 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Removing emacsen-common (2.0.8) ... Removing libgtksourceview2.0-0:amd64 (2.10.5-3) ... Removing libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Removing libasan3:amd64 (6.3.0-18+deb9u1) ... Removing libaspell15:amd64 (0.60.7~20110707-3+deb9u1) ... Removing libatomic1:amd64 (6.3.0-18+deb9u1) ... Removing libncurses5-dev:amd64 (6.0+20161126-1+deb9u2) ... Removing libc6-dev:amd64 (2.24-11+deb9u4) ... Removing libc-dev-bin (2.24-11+deb9u4) ... Removing libcc1-0:amd64 (6.3.0-18+deb9u1) ... Removing libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Removing ocaml-findlib (1.6.2-1+b1) ... Removing libfindlib-ocaml (1.6.2-1+b1) ... Removing libmpc3:amd64 (1.0.3-1+b2) ... Removing libmpfr4:amd64 (3.1.5-1) ... Removing libgomp1:amd64 (6.3.0-18+deb9u1) ... Removing libgtksourceview2.0-common (2.10.5-3) ... Removing libhunspell-1.4-0:amd64 (1.4.1-2+b2) ... Removing libisl15:amd64 (0.18-1) ... Removing libitm1:amd64 (6.3.0-18+deb9u1) ... Removing liblsan0:amd64 (6.3.0-18+deb9u1) ... Removing libmpx2:amd64 (6.3.0-18+deb9u1) ... Removing ocaml-base-nox (4.02.3-9) ... Removing libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Removing libquadmath0:amd64 (6.3.0-18+deb9u1) ... Removing libtext-iconv-perl (1.7-5+b4) ... Removing libtinfo-dev:amd64 (6.0+20161126-1+deb9u2) ... Removing libtsan0:amd64 (6.3.0-18+deb9u1) ... Removing libubsan0:amd64 (6.3.0-18+deb9u1) ... Removing linux-libc-dev:amd64 (4.9.320-2) ... Removing coq-theories (8.6-4) ... Removing libgtk2.0-0:amd64 (2.24.31-2) ... Removing adwaita-icon-theme (3.22.0-1+deb9u1) ... Removing ocaml-compiler-libs (4.02.3-9) ... Removing librsvg2-common:amd64 (2.40.21-0+deb9u1) ... Removing librsvg2-2:amd64 (2.40.21-0+deb9u1) ... Removing libpangocairo-1.0-0:amd64 (1.40.5-1) ... Removing libpangoft2-1.0-0:amd64 (1.40.5-1) ... Removing libpango-1.0-0:amd64 (1.40.5-1) ... Removing fontconfig (2.11.0-6.7+b1) ... Removing gtk-update-icon-cache (3.22.11-1) ... Removing hicolor-icon-theme (0.15-1) ... Removing libatk1.0-0:amd64 (2.22.0-1) ... Removing libatk1.0-data (2.22.0-1) ... Removing libcups2:amd64 (2.2.1-8+deb9u8) ... Removing libavahi-client3:amd64 (0.6.32-2+deb9u1) ... Removing libavahi-common3:amd64 (0.6.32-2+deb9u1) ... Removing libavahi-common-data:amd64 (0.6.32-2+deb9u1) ... Removing libxcursor1:amd64 (1:1.1.14-1+deb9u2) ... Removing libcairo2:amd64 (1.14.8-1+deb9u1) ... Removing libcroco3:amd64 (0.6.11-3) ... Removing libthai0:amd64 (0.1.26-1) ... Removing libdatrie1:amd64 (0.2.10-4+b1) ... Removing libdbus-1-3:amd64 (1.10.32-0+deb9u1) ... Removing libgnutls30:amd64 (3.5.8-5+deb9u6) ... Removing libp11-kit0:amd64 (0.23.3-2+deb9u1) ... Removing libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... Removing shared-mime-info (1.8-1+deb9u1) ... Removing libgdk-pixbuf2.0-common (2.36.5-2+deb9u2) ... Removing libhogweed4:amd64 (3.3-1+deb9u1) ... Removing libgmp10:amd64 (2:6.1.2+dfsg-1+deb9u1) ... Removing libharfbuzz0b:amd64 (1.4.2-1) ... Removing libgraphite2-3:amd64 (1.3.10-1) ... Removing libgssapi-krb5-2:amd64 (1.15-1+deb9u3) ... Removing libgtk2.0-common (2.24.31-2) ... Removing libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u7) ... Removing libicu57:amd64 (57.1-6+deb9u5) ... Removing libidn11:amd64 (1.33-1+deb9u1) ... Removing libtiff5:amd64 (4.0.8-2+deb9u8) ... Removing libjbig0:amd64 (2.1-3.1+b2) ... Removing libjpeg62-turbo:amd64 (1:1.5.1-2+deb9u2) ... Removing libkrb5-3:amd64 (1.15-1+deb9u3) ... Removing libk5crypto3:amd64 (1.15-1+deb9u3) ... Removing libkrb5support0:amd64 (1.15-1+deb9u3) ... Removing libkeyutils1:amd64 (1.5.9-9) ... Removing libnettle6:amd64 (3.3-1+deb9u1) ... Removing libpixman-1-0:amd64 (0.34.0-1) ... Removing libtasn1-6:amd64 (4.10-1.1+deb9u1) ... Removing libthai-data (0.1.26-1) ... Removing libxcb-render0:amd64 (1.12-1) ... Removing libxcb-shm0:amd64 (1.12-1) ... Removing libxcomposite1:amd64 (1:0.4.4-2) ... Removing libxdamage1:amd64 (1:1.1.4-2+b3) ... Removing libxrandr2:amd64 (2:1.5.1-1) ... Removing libxinerama1:amd64 (2:1.1.3-1+b3) ... Removing libxfixes3:amd64 (1:5.0.3-1) ... Removing libxi6:amd64 (2:1.7.9-1) ... Removing libxrender1:amd64 (1:0.9.10-1) ... Removing libfontconfig1:amd64 (2.11.0-6.7+b1) ... Removing fontconfig-config (2.11.0-6.7) ... Removing fonts-dejavu-core (2.37-1) ... Removing libexpat1:amd64 (2.2.0-2+deb9u5) ... Removing libglib2.0-0:amd64 (2.50.3-2+deb9u3) ... Removing libffi6:amd64 (3.2.1-6) ... Removing libfreetype6:amd64 (2.6.3-3.2+deb9u2) ... Removing libpng16-16:amd64 (1.6.28-1+deb9u1) ... Removing libxext6:amd64 (2:1.3.3-1+b2) ... Removing ucf (3.0036) ... Removing libx11-6:amd64 (2:1.6.4-3+deb9u4) ... Removing libxcb1:amd64 (1.12-1) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.8.3-1+deb9u1) ... Removing libx11-data (2:1.6.4-3+deb9u4) ... Removing libxau6:amd64 (1:1.0.8-1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'remove', 'adwaita-icon-theme', 'aspell', 'aspell-en', 'binutils', 'coq', 'coq-theories', 'cpp', 'cpp-6', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dictionaries-common', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-6', 'gconf-service', 'gconf2-common', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gnutls-bin', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'imagemagick-6-common', 'libasan3:amd64', 'libasound2:amd64', 'libasound2-data', 'libaspell15: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', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libdrm2:amd64', 'libegl1-mesa:amd64', 'libenchant1c2a:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgbm1:amd64', 'libgcc-6-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglade2-0:amd64', 'libglib2.0-0:amd64', 'libgmp10:amd64', 'libgnutls-dane0:amd64', 'libgnutls30:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libgtkspell0', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libhunspell-1.4-0:amd64', 'libice6:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libisl15:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk2-ocaml', 'liblablgtksourceview2-ocaml', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'libldap-common', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0:amd64', 'libmagickcore-6.q16-3:amd64', 'libmagickwand-6.q16-3:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libncurses5:amd64', 'libncurses5-dev:amd64', 'libnettle6:amd64', 'libopenjp2-7:amd64', 'libopts25:amd64', 'libotf0:amd64', 'libp11-kit0: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', 'libquadmath0:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsasl2-2:amd64', 'libsasl2-modules-db:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libtasn1-6:amd64', 'libtext-iconv-perl', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libunbound2:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1-mesa:amd64', 'libwayland-server0:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libx11-xcb1:amd64', 'libxau6:amd64', 'libxcb-dri2-0:amd64', 'libxcb-dri3-0:amd64', 'libxcb-present0:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb-sync1:amd64', 'libxcb-xfixes0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxshmfence1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'lsb-base', 'm17n-db', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-native-compilers', 'ocaml-nox', 'proofgeneral', 'shared-mime-info', 'ucf', 'x11-common', 'xkb-data', 'prooftree'] 1m4.1s INFO: Running scripts post_remove 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_remove_exceptions'] 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_remove_exceptions'] 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--purge', 'adwaita-icon-theme', 'aspell', 'aspell-en', 'binutils', 'coq', 'coq-theories', 'cpp', 'cpp-6', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dictionaries-common', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-6', 'gconf-service', 'gconf2-common', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gnutls-bin', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'imagemagick-6-common', 'libasan3:amd64', 'libasound2:amd64', 'libasound2-data', 'libaspell15: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', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libdrm2:amd64', 'libegl1-mesa:amd64', 'libenchant1c2a:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgbm1:amd64', 'libgcc-6-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglade2-0:amd64', 'libglib2.0-0:amd64', 'libgmp10:amd64', 'libgnutls-dane0:amd64', 'libgnutls30:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libgtkspell0', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libhunspell-1.4-0:amd64', 'libice6:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libisl15:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk2-ocaml', 'liblablgtksourceview2-ocaml', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'libldap-common', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0:amd64', 'libmagickcore-6.q16-3:amd64', 'libmagickwand-6.q16-3:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libncurses5:amd64', 'libncurses5-dev:amd64', 'libnettle6:amd64', 'libopenjp2-7:amd64', 'libopts25:amd64', 'libotf0:amd64', 'libp11-kit0: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', 'libquadmath0:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsasl2-2:amd64', 'libsasl2-modules-db:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libtasn1-6:amd64', 'libtext-iconv-perl', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libunbound2:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1-mesa:amd64', 'libwayland-server0:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libx11-xcb1:amd64', 'libxau6:amd64', 'libxcb-dri2-0:amd64', 'libxcb-dri3-0:amd64', 'libxcb-present0:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb-sync1:amd64', 'libxcb-xfixes0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxshmfence1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'lsb-base', 'm17n-db', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-native-compilers', 'ocaml-nox', 'proofgeneral', 'shared-mime-info', 'ucf', 'x11-common', 'xkb-data'] 1m4.6s DUMP: (Reading database ... 4499 files and directories currently installed.) Purging configuration files for adwaita-icon-theme (3.22.0-1+deb9u1) ... dpkg: warning: ignoring request to remove aspell which isn't installed Purging configuration files for aspell-en (2016.11.20-0-0.1) ... dpkg: warning: ignoring request to remove binutils which isn't installed Purging configuration files for coq (8.6-4) ... 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-6 which isn't installed 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 Purging configuration files for dictionaries-common (1.27.2) ... dpkg: warning: ignoring request to remove emacs24 which isn't installed dpkg: warning: ignoring request to remove emacs24-bin-common which isn't installed dpkg: warning: ignoring request to remove emacs24-common which isn't installed Purging configuration files for emacsen-common (2.0.8) ... Purging configuration files for fontconfig (2.11.0-6.7+b1) ... Purging configuration files for fontconfig-config (2.11.0-6.7) ... Purging configuration files for fonts-dejavu-core (2.37-1) ... dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-6 which isn't installed dpkg: warning: ignoring request to remove gconf-service which isn't installed Purging configuration files for gconf2-common (3.2.6-4) ... 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 gnutls-bin 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 Purging configuration files for imagemagick-6-common (8:6.9.7.4+dfsg-11+deb9u14) ... dpkg: warning: ignoring request to remove libasan3 which isn't installed dpkg: warning: ignoring request to remove libasound2 which isn't installed dpkg: warning: ignoring request to remove libasound2-data which isn't installed dpkg: warning: ignoring request to remove libaspell15 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 libbsd0 which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcairo-gobject2 which isn't installed dpkg: warning: ignoring request to remove libcairo2 which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcilkrts5 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 libcroco3 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 libdbus-glib-1-2 which isn't installed dpkg: warning: ignoring request to remove libdconf1 which isn't installed dpkg: warning: ignoring request to remove libdrm2 which isn't installed dpkg: warning: ignoring request to remove libegl1-mesa which isn't installed dpkg: warning: ignoring request to remove libenchant1c2a 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 dpkg: warning: ignoring request to remove libffi6 which isn't installed dpkg: warning: ignoring request to remove libfftw3-double3 which isn't installed Purging configuration files for libfindlib-ocaml (1.6.2-1+b1) ... 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 libgbm1 which isn't installed dpkg: warning: ignoring request to remove libgcc-6-dev which isn't installed dpkg: warning: ignoring request to remove libgconf-2-4 which isn't installed dpkg: warning: ignoring request to remove libgd3 which isn't installed Purging configuration files for libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed dpkg: warning: ignoring request to remove libgif7 which isn't installed Purging configuration files for libglade2-0:amd64 (1:2.6.4-2) ... Purging configuration files for libglib2.0-0:amd64 (2.50.3-2+deb9u3) ... dpkg: warning: ignoring request to remove libgmp10 which isn't installed dpkg: warning: ignoring request to remove libgnutls-dane0 which isn't installed dpkg: warning: ignoring request to remove libgnutls30 which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgpm2 which isn't installed dpkg: warning: ignoring request to remove libgraphite2-3 which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.15-1+deb9u3) ... Purging configuration files for libgtk-3-0:amd64 (3.22.11-1) ... Purging configuration files for libgtk-3-common (3.22.11-1) ... Purging configuration files for libgtk2.0-0:amd64 (2.24.31-2) ... Purging configuration files for libgtk2.0-common (2.24.31-2) ... dpkg: warning: ignoring request to remove libgtksourceview2.0-0 which isn't installed dpkg: warning: ignoring request to remove libgtksourceview2.0-common which isn't installed Purging configuration files for libgtkspell0 (2.0.16-1.1) ... dpkg: warning: ignoring request to remove libharfbuzz0b which isn't installed dpkg: warning: ignoring request to remove libhogweed4 which isn't installed dpkg: warning: ignoring request to remove libhunspell-1.4-0 which isn't installed dpkg: warning: ignoring request to remove libice6 which isn't installed dpkg: warning: ignoring request to remove libicu57 which isn't installed dpkg: warning: ignoring request to remove libidn11 which isn't installed dpkg: warning: ignoring request to remove libisl15 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-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 libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove liblablgtk2-ocaml which isn't installed dpkg: warning: ignoring request to remove liblablgtksourceview2-ocaml which isn't installed dpkg: warning: ignoring request to remove liblcms2-2 which isn't installed dpkg: warning: ignoring request to remove libldap-2.4-2 which isn't installed Purging configuration files for libldap-common (2.4.44+dfsg-5+deb9u9) ... dpkg: warning: ignoring request to remove liblockfile-bin which isn't installed Purging configuration files for liblockfile1:amd64 (1.14-1+b1) ... dpkg: warning: ignoring request to remove liblqr-1-0 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libltdl7 which isn't installed dpkg: warning: ignoring request to remove libm17n-0 which isn't installed dpkg: warning: ignoring request to remove libmagickcore-6.q16-3 which isn't installed dpkg: warning: ignoring request to remove libmagickwand-6.q16-3 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr4 which isn't installed dpkg: warning: ignoring request to remove libmpx2 which isn't installed dpkg: warning: ignoring request to remove libncurses5 which isn't installed dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed dpkg: warning: ignoring request to remove libnettle6 which isn't installed dpkg: warning: ignoring request to remove libopenjp2-7 which isn't installed dpkg: warning: ignoring request to remove libopts25 which isn't installed dpkg: warning: ignoring request to remove libotf0 which isn't installed dpkg: warning: ignoring request to remove libp11-kit0 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 libquadmath0 which isn't installed dpkg: warning: ignoring request to remove librest-0.7-0 which isn't installed dpkg: warning: ignoring request to remove librsvg2-2 which isn't installed dpkg: warning: ignoring request to remove librsvg2-common which isn't installed dpkg: warning: ignoring request to remove libsasl2-2 which isn't installed dpkg: warning: ignoring request to remove libsasl2-modules-db which isn't installed dpkg: warning: ignoring request to remove libsm6 which isn't installed dpkg: warning: ignoring request to remove libsoup-gnome2.4-1 which isn't installed dpkg: warning: ignoring request to remove libsoup2.4-1 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libtasn1-6 which isn't installed dpkg: warning: ignoring request to remove libtext-iconv-perl 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 libtinfo-dev which isn't installed dpkg: warning: ignoring request to remove libtsan0 which isn't installed dpkg: warning: ignoring request to remove libubsan0 which isn't installed dpkg: warning: ignoring request to remove libunbound2 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-mesa which isn't installed dpkg: warning: ignoring request to remove libwayland-server0 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 libx11-xcb1 which isn't installed Purging configuration files for libxau6:amd64 (1:1.0.8-1) ... dpkg: warning: ignoring request to remove libxcb-dri2-0 which isn't installed dpkg: warning: ignoring request to remove libxcb-dri3-0 which isn't installed dpkg: warning: ignoring request to remove libxcb-present0 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 libxcb-sync1 which isn't installed dpkg: warning: ignoring request to remove libxcb-xfixes0 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxcomposite1 which isn't installed dpkg: warning: ignoring request to remove libxcursor1 which isn't installed dpkg: warning: ignoring request to remove libxdamage1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libxext6 which isn't installed dpkg: warning: ignoring request to remove libxfixes3 which isn't installed dpkg: warning: ignoring request to remove libxft2 which isn't installed dpkg: warning: ignoring request to remove libxi6 which isn't installed dpkg: warning: ignoring request to remove libxinerama1 which isn't installed dpkg: warning: ignoring request to remove libxkbcommon0 which isn't installed dpkg: warning: ignoring request to remove libxml2 which isn't installed dpkg: warning: ignoring request to remove libxpm4 which isn't installed dpkg: warning: ignoring request to remove libxrandr2 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove libxshmfence1 which isn't installed dpkg: warning: ignoring request to remove libxt6 which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed dpkg: warning: ignoring request to remove lsb-base which isn't installed dpkg: warning: ignoring request to remove m17n-db which isn't installed Purging configuration files for mmm-mode (0.5.4-2) ... dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed Purging configuration files for ocaml-findlib (1.6.2-1+b1) ... Purging configuration files for ocaml-interp (4.02.3-9) ... dpkg: warning: ignoring request to remove ocaml-native-compilers which isn't installed Purging configuration files for ocaml-nox (4.02.3-9) ... Purging configuration files for proofgeneral (4.4.1~pre170114-1) ... Purging configuration files for shared-mime-info (1.8-1+deb9u1) ... Purging configuration files for ucf (3.0036) ... Purging configuration files for x11-common (1:7.7+19) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed 1m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--purge', 'adwaita-icon-theme', 'aspell', 'aspell-en', 'binutils', 'coq', 'coq-theories', 'cpp', 'cpp-6', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dictionaries-common', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-6', 'gconf-service', 'gconf2-common', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gnutls-bin', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'imagemagick-6-common', 'libasan3:amd64', 'libasound2:amd64', 'libasound2-data', 'libaspell15: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', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libcolord2:amd64', 'libcoq-ocaml', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libdrm2:amd64', 'libegl1-mesa:amd64', 'libenchant1c2a:amd64', 'libepoxy0:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgbm1:amd64', 'libgcc-6-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libgif7:amd64', 'libglade2-0:amd64', 'libglib2.0-0:amd64', 'libgmp10:amd64', 'libgnutls-dane0:amd64', 'libgnutls30:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtk2.0-0:amd64', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libgtkspell0', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libhunspell-1.4-0:amd64', 'libice6:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libisl15:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblablgtk2-ocaml', 'liblablgtksourceview2-ocaml', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'libldap-common', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0:amd64', 'libmagickcore-6.q16-3:amd64', 'libmagickwand-6.q16-3:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libncurses5:amd64', 'libncurses5-dev:amd64', 'libnettle6:amd64', 'libopenjp2-7:amd64', 'libopts25:amd64', 'libotf0:amd64', 'libp11-kit0: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', 'libquadmath0:amd64', 'librest-0.7-0:amd64', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libsasl2-2:amd64', 'libsasl2-modules-db:amd64', 'libsm6:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libtasn1-6:amd64', 'libtext-iconv-perl', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libunbound2:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1-mesa:amd64', 'libwayland-server0:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libx11-xcb1:amd64', 'libxau6:amd64', 'libxcb-dri2-0:amd64', 'libxcb-dri3-0:amd64', 'libxcb-present0:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb-sync1:amd64', 'libxcb-xfixes0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxshmfence1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'lsb-base', 'm17n-db', 'mmm-mode', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-native-compilers', 'ocaml-nox', 'proofgeneral', 'shared-mime-info', 'ucf', 'x11-common', 'xkb-data'] 1m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--purge', 'prooftree'] 1m4.6s DUMP: dpkg: warning: ignoring request to remove prooftree which isn't installed 1m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--purge', 'prooftree'] 1m4.6s INFO: Running scripts post_purge 1m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_purge_exceptions'] 1m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_purge_exceptions'] 1m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--purge', '--pending'] 1m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--purge', '--pending'] 1m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--remove', '--pending'] 1m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg', '--remove', '--pending'] 1m4.7s INFO: Running scripts post_test 1m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_test_exceptions'] 1m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'tmp/scripts/post_test_exceptions'] 1m4.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 1m5.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 1m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg-divert', '--list'] 1m5.0s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 1m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'dpkg-divert', '--list'] 1m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'clean'] 1m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpggss_43p', 'apt-get', 'clean'] 1m5.1s DEBUG: Recording chroot state 1m5.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/shm'] 1m5.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/shm'] 1m5.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/console'] 1m5.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/console'] 1m5.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/ptmx'] 1m5.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/ptmx'] 1m5.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/pts'] 1m5.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/dev/pts'] 1m5.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/proc'] 1m5.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpggss_43p/proc'] 1m5.8s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 1m5.9s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpggss_43p'] 1m5.9s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpggss_43p 1m5.9s INFO: PASS: Upgrading between Debian distributions. 1m5.9s INFO: PASS: All tests. 1m5.9s INFO: piuparts run ends. ret=0 End: 2023-03-16 22:57:22 GMT