Start: 2023-04-04 19:46:49 GMT Package: why3 Source: why3 (0.87.3-2) Version: 0.87.3-2+b1 Installed-Size: 86688 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: 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), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), ocaml-base-nox-4.02.3, tex-common (>= 6) Recommends: alt-ergo | cvc3 | why3-coq | spass | z3 Suggests: why3-examples Description: Software verification platform Homepage: http://why3.lri.fr/ Description-md5: 42102049a94ca7a372592f978ac2d805 Tag: uitoolkit::gtk, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/w/why3/why3_0.87.3-2+b1_amd64.deb Size: 13436256 MD5sum: 6392771adea2f4856ea450236bb68f8f SHA256: b162eb1987d641eb16f70cdd1f427b189efdea99800232f2227e548c77f75f75 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-recommends --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 --no-upgrade-test --apt why3=0.87.3-2+b1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.1.5 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-recommends --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 --no-upgrade-test --apt why3=0.87.3-2+b1 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/tmpf8m0agwn 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpf8m0agwn 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz'] 0m1.9s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/proc'] 0m1.9s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/proc'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/pts'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/pts'] 0m2.0s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/ptmx'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/ptmx'] 0m2.0s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/console'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/console'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/shm'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/shm'] 0m2.0s DEBUG: sources.list: deb http://deb.debian.org/debian/ stretch main 0m2.0s DEBUG: Created policy-rc.d and chmodded it. 0m2.0s DEBUG: Created resolv.conf. 0m2.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpf8m0agwn/tmp/scripts/ 0m2.0s INFO: Running scripts post_chroot_unpack 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'update'] 0m2.8s DUMP: Ign:1 http://deb.debian.org/debian stretch InRelease Hit:2 http://deb.debian.org/debian stretch Release Reading package lists... 0m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'update'] 0m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', '-yf', 'dist-upgrade'] 0m3.2s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', '-yf', 'dist-upgrade'] 0m3.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.5s DUMP: 660e5103244a20b75ca08c3f8741e16e - 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.5s INFO: Running scripts post_setup 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_dummy_users'] 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_dummy_users'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_forbid_home'] 0m4.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_forbid_home'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.4s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_minimize'] 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_minimize'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_zz_backports'] 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_setup_zz_backports'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'clean'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'clean'] 0m4.5s DEBUG: Recording chroot state 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.9s 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 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-divert', '--list'] 0m4.9s 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 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-divert', '--list'] 0m4.9s INFO: Running scripts is_testable 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/is_testable_uninstallable'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/is_testable_uninstallable'] 0m5.0s INFO: apt-cache does not know about any of the requested packages 0m5.0s INFO: Running scripts pre_test 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_test_exceptions'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_test_exceptions'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_test_root_password'] 0m5.0s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_test_root_password'] 0m5.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m5.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m5.7s DEBUG: No broken symlinks as far as we can find. 0m5.7s INFO: Running scripts pre_install 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_database-server'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_database-server'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_exceptions'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_exceptions'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_extras'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_extras'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m6.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m6.4s DEBUG: No broken symlinks as far as we can find. 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-cache', 'policy'] 0m7.4s 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: 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-cache', 'policy'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-cache', 'policy', 'why3'] 0m7.4s DUMP: why3: Installed: (none) Candidate: 0.87.3-2+b1 Version table: 0.87.3-2+b1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-cache', 'policy', 'why3'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', '-y', 'install', 'why3=0.87.3-2+b1'] 0m21.6s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: alt-ergo dbus fontconfig fontconfig-config fonts-dejavu-core gnome-icon-theme gtk-update-icon-cache hicolor-icon-theme krb5-locales libapparmor1 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libexpat1 libffi6 libfontconfig1 libfreetype6 libgail-common libgail18 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libglib2.0-data libgmp10 libgnutls30 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libharfbuzz0b libhogweed4 libicu57 libidn11 libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libncurses5 libnettle6 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 librsvg2-2 librsvg2-common libtasn1-6 libthai-data libthai0 libtiff5 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 lsb-base ocaml-base-nox sgml-base shared-mime-info tex-common ucf xdg-user-dirs xml-core Suggested packages: why default-dbus-session-bus | dbus-session-bus cups-common gnutls-bin gpm krb5-doc krb5-user gvfs librsvg2-bin sgml-base-doc debhelper why3-examples The following NEW packages will be installed: alt-ergo dbus fontconfig fontconfig-config fonts-dejavu-core gnome-icon-theme gtk-update-icon-cache hicolor-icon-theme krb5-locales libapparmor1 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libexpat1 libffi6 libfontconfig1 libfreetype6 libgail-common libgail18 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libglib2.0-data libgmp10 libgnutls30 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libharfbuzz0b libhogweed4 libicu57 libidn11 libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libncurses5 libnettle6 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 librsvg2-2 librsvg2-common libtasn1-6 libthai-data libthai0 libtiff5 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 lsb-base ocaml-base-nox sgml-base shared-mime-info tex-common ucf why3 xdg-user-dirs xml-core 0 upgraded, 91 newly installed, 0 to remove and 0 not upgraded. Need to get 60.2 MB of archives. After this operation, 239 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian stretch/main amd64 libexpat1 amd64 2.2.0-2+deb9u3 [83.7 kB] Get:2 http://deb.debian.org/debian stretch/main amd64 libpng16-16 amd64 1.6.28-1+deb9u1 [280 kB] Get:3 http://deb.debian.org/debian stretch/main amd64 libfreetype6 amd64 2.6.3-3.2+deb9u1 [438 kB] Get:4 http://deb.debian.org/debian stretch/main amd64 ucf all 3.0036 [70.2 kB] Get:5 http://deb.debian.org/debian stretch/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:6 http://deb.debian.org/debian stretch/main amd64 fontconfig-config all 2.11.0-6.7 [271 kB] Get:7 http://deb.debian.org/debian stretch/main amd64 libfontconfig1 amd64 2.11.0-6.7+b1 [331 kB] Get:8 http://deb.debian.org/debian stretch/main amd64 fontconfig amd64 2.11.0-6.7+b1 [404 kB] Get:9 http://deb.debian.org/debian stretch/main amd64 libxau6 amd64 1:1.0.8-1 [20.7 kB] Get:10 http://deb.debian.org/debian stretch/main amd64 sgml-base all 1.29 [14.8 kB] Get:11 http://deb.debian.org/debian stretch/main amd64 lsb-base all 9.20161125 [27.9 kB] Get:12 http://deb.debian.org/debian stretch/main amd64 libapparmor1 amd64 2.11.0-3+deb9u2 [78.9 kB] Get:13 http://deb.debian.org/debian stretch/main amd64 libdbus-1-3 amd64 1.10.32-0+deb9u1 [196 kB] Get:14 http://deb.debian.org/debian stretch/main amd64 dbus amd64 1.10.32-0+deb9u1 [213 kB] Get:15 http://deb.debian.org/debian stretch/main amd64 krb5-locales all 1.15-1+deb9u1 [93.8 kB] Get:16 http://deb.debian.org/debian stretch/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1 [253 kB] Get:17 http://deb.debian.org/debian stretch/main amd64 libnettle6 amd64 3.3-1+b2 [192 kB] Get:18 http://deb.debian.org/debian stretch/main amd64 libhogweed4 amd64 3.3-1+b2 [136 kB] Get:19 http://deb.debian.org/debian stretch/main amd64 libidn11 amd64 1.33-1+deb9u1 [115 kB] Get:20 http://deb.debian.org/debian stretch/main amd64 libffi6 amd64 3.2.1-6 [20.4 kB] Get:21 http://deb.debian.org/debian stretch/main amd64 libp11-kit0 amd64 0.23.3-2 [111 kB] Get:22 http://deb.debian.org/debian stretch/main amd64 libtasn1-6 amd64 4.10-1.1+deb9u1 [50.6 kB] Get:23 http://deb.debian.org/debian stretch/main amd64 libgnutls30 amd64 3.5.8-5+deb9u5 [896 kB] Get:24 http://deb.debian.org/debian stretch/main amd64 libgpm2 amd64 1.20.4-6.2+b1 [34.2 kB] Get:25 http://deb.debian.org/debian stretch/main amd64 libkeyutils1 amd64 1.5.9-9 [12.4 kB] Get:26 http://deb.debian.org/debian stretch/main amd64 libkrb5support0 amd64 1.15-1+deb9u1 [61.9 kB] Get:27 http://deb.debian.org/debian stretch/main amd64 libk5crypto3 amd64 1.15-1+deb9u1 [119 kB] Get:28 http://deb.debian.org/debian stretch/main amd64 libkrb5-3 amd64 1.15-1+deb9u1 [311 kB] Get:29 http://deb.debian.org/debian stretch/main amd64 libgssapi-krb5-2 amd64 1.15-1+deb9u1 [155 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 libglib2.0-0 amd64 2.50.3-2+deb9u2 [2692 kB] Get:33 http://deb.debian.org/debian stretch/main amd64 libatk1.0-data all 2.22.0-1 [172 kB] Get:34 http://deb.debian.org/debian stretch/main amd64 libatk1.0-0 amd64 2.22.0-1 [78.4 kB] Get:35 http://deb.debian.org/debian stretch/main amd64 libpixman-1-0 amd64 0.34.0-1 [530 kB] Get:36 http://deb.debian.org/debian stretch/main amd64 libbsd0 amd64 0.8.3-1 [83.0 kB] Get:37 http://deb.debian.org/debian stretch/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:38 http://deb.debian.org/debian stretch/main amd64 libxcb1 amd64 1.12-1 [133 kB] Get:39 http://deb.debian.org/debian stretch/main amd64 libx11-data all 2:1.6.4-3+deb9u1 [287 kB] Get:40 http://deb.debian.org/debian stretch/main amd64 libx11-6 amd64 2:1.6.4-3+deb9u1 [748 kB] Get:41 http://deb.debian.org/debian stretch/main amd64 libxcb-render0 amd64 1.12-1 [105 kB] Get:42 http://deb.debian.org/debian stretch/main amd64 libxcb-shm0 amd64 1.12-1 [95.9 kB] Get:43 http://deb.debian.org/debian stretch/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:44 http://deb.debian.org/debian stretch/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:45 http://deb.debian.org/debian stretch/main amd64 libcairo2 amd64 1.14.8-1 [771 kB] Get:46 http://deb.debian.org/debian stretch/main amd64 libjpeg62-turbo amd64 1:1.5.1-2 [134 kB] Get:47 http://deb.debian.org/debian stretch/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:48 http://deb.debian.org/debian stretch/main amd64 libtiff5 amd64 4.0.8-2+deb9u5 [239 kB] Get:49 http://deb.debian.org/debian stretch/main amd64 shared-mime-info amd64 1.8-1+deb9u1 [731 kB] Get:50 http://deb.debian.org/debian stretch/main amd64 libgdk-pixbuf2.0-common all 2.36.5-2+deb9u2 [311 kB] Get:51 http://deb.debian.org/debian stretch/main amd64 libgdk-pixbuf2.0-0 amd64 2.36.5-2+deb9u2 [170 kB] Get:52 http://deb.debian.org/debian stretch/main amd64 libgtk2.0-common all 2.24.31-2 [2693 kB] Get:53 http://deb.debian.org/debian stretch/main amd64 libavahi-common-data amd64 0.6.32-2 [118 kB] Get:54 http://deb.debian.org/debian stretch/main amd64 libavahi-common3 amd64 0.6.32-2 [52.0 kB] Get:55 http://deb.debian.org/debian stretch/main amd64 libavahi-client3 amd64 0.6.32-2 [55.3 kB] Get:56 http://deb.debian.org/debian stretch/main amd64 libcups2 amd64 2.2.1-8+deb9u6 [307 kB] Get:57 http://deb.debian.org/debian stretch/main amd64 libthai-data all 0.1.26-1 [166 kB] Get:58 http://deb.debian.org/debian stretch/main amd64 libdatrie1 amd64 0.2.10-4+b1 [36.4 kB] Get:59 http://deb.debian.org/debian stretch/main amd64 libthai0 amd64 0.1.26-1 [52.1 kB] Get:60 http://deb.debian.org/debian stretch/main amd64 libpango-1.0-0 amd64 1.40.5-1 [320 kB] Get:61 http://deb.debian.org/debian stretch/main amd64 libgraphite2-3 amd64 1.3.10-1 [84.2 kB] Get:62 http://deb.debian.org/debian stretch/main amd64 libharfbuzz0b amd64 1.4.2-1 [671 kB] Get:63 http://deb.debian.org/debian stretch/main amd64 libpangoft2-1.0-0 amd64 1.40.5-1 [205 kB] Get:64 http://deb.debian.org/debian stretch/main amd64 libpangocairo-1.0-0 amd64 1.40.5-1 [193 kB] Get:65 http://deb.debian.org/debian stretch/main amd64 libxcomposite1 amd64 1:0.4.4-2 [16.5 kB] Get:66 http://deb.debian.org/debian stretch/main amd64 libxfixes3 amd64 1:5.0.3-1 [21.9 kB] Get:67 http://deb.debian.org/debian stretch/main amd64 libxcursor1 amd64 1:1.1.14-1+deb9u2 [34.9 kB] Get:68 http://deb.debian.org/debian stretch/main amd64 libxdamage1 amd64 1:1.1.4-2+b3 [14.5 kB] Get:69 http://deb.debian.org/debian stretch/main amd64 libxi6 amd64 2:1.7.9-1 [82.6 kB] Get:70 http://deb.debian.org/debian stretch/main amd64 libxinerama1 amd64 2:1.1.3-1+b3 [16.7 kB] Get:71 http://deb.debian.org/debian stretch/main amd64 libxrandr2 amd64 2:1.5.1-1 [37.5 kB] Get:72 http://deb.debian.org/debian stretch/main amd64 hicolor-icon-theme all 0.15-1 [9550 B] Get:73 http://deb.debian.org/debian stretch/main amd64 gtk-update-icon-cache amd64 3.22.11-1 [76.6 kB] Get:74 http://deb.debian.org/debian stretch/main amd64 libcroco3 amd64 0.6.11-3 [143 kB] Get:75 http://deb.debian.org/debian stretch/main amd64 librsvg2-2 amd64 2.40.16-1+b1 [281 kB] Get:76 http://deb.debian.org/debian stretch/main amd64 librsvg2-common amd64 2.40.16-1+b1 [194 kB] Get:77 http://deb.debian.org/debian stretch/main amd64 gnome-icon-theme all 3.12.0-2 [9890 kB] Get:78 http://deb.debian.org/debian stretch/main amd64 libgtk2.0-0 amd64 2.24.31-2 [1800 kB] Get:79 http://deb.debian.org/debian stretch/main amd64 libgtksourceview2.0-common all 2.10.5-3 [470 kB] Get:80 http://deb.debian.org/debian stretch/main amd64 libgtksourceview2.0-0 amd64 2.10.5-3 [194 kB] Get:81 http://deb.debian.org/debian stretch/main amd64 alt-ergo amd64 1.30-1 [2374 kB] Get:82 http://deb.debian.org/debian stretch/main amd64 libgail18 amd64 2.24.31-2 [54.1 kB] Get:83 http://deb.debian.org/debian stretch/main amd64 libgail-common amd64 2.24.31-2 [153 kB] Get:84 http://deb.debian.org/debian stretch/main amd64 libglib2.0-data all 2.50.3-2+deb9u2 [2517 kB] Get:85 http://deb.debian.org/debian stretch/main amd64 libgtk2.0-bin amd64 2.24.31-2 [47.1 kB] Get:86 http://deb.debian.org/debian stretch/main amd64 libncurses5 amd64 6.0+20161126-1+deb9u2 [93.4 kB] Get:87 http://deb.debian.org/debian stretch/main amd64 ocaml-base-nox amd64 4.02.3-9 [543 kB] Get:88 http://deb.debian.org/debian stretch/main amd64 tex-common all 6.06 [566 kB] Get:89 http://deb.debian.org/debian stretch/main amd64 why3 amd64 0.87.3-2+b1 [13.4 MB] Get:90 http://deb.debian.org/debian stretch/main amd64 xdg-user-dirs amd64 0.15-2+b1 [52.2 kB] Get:91 http://deb.debian.org/debian stretch/main amd64 xml-core all 0.17 [23.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 60.2 MB in 1s (51.5 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4411 files and directories currently installed.) Preparing to unpack .../00-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 .../01-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 .../02-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 .../03-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 .../04-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../05-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 .../06-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 .../07-fontconfig_2.11.0-6.7+b1_amd64.deb ... Unpacking fontconfig (2.11.0-6.7+b1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../08-libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package sgml-base. Preparing to unpack .../09-sgml-base_1.29_all.deb ... Unpacking sgml-base (1.29) ... Selecting previously unselected package lsb-base. Preparing to unpack .../10-lsb-base_9.20161125_all.deb ... Unpacking lsb-base (9.20161125) ... Selecting previously unselected package libapparmor1:amd64. Preparing to unpack .../11-libapparmor1_2.11.0-3+deb9u2_amd64.deb ... Unpacking libapparmor1:amd64 (2.11.0-3+deb9u2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../12-libdbus-1-3_1.10.32-0+deb9u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.32-0+deb9u1) ... Selecting previously unselected package dbus. Preparing to unpack .../13-dbus_1.10.32-0+deb9u1_amd64.deb ... Unpacking dbus (1.10.32-0+deb9u1) ... Selecting previously unselected package krb5-locales. Preparing to unpack .../14-krb5-locales_1.15-1+deb9u1_all.deb ... Unpacking krb5-locales (1.15-1+deb9u1) ... Selecting previously unselected package libgmp10:amd64. Preparing to unpack .../15-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 .../16-libnettle6_3.3-1+b2_amd64.deb ... Unpacking libnettle6:amd64 (3.3-1+b2) ... Selecting previously unselected package libhogweed4:amd64. Preparing to unpack .../17-libhogweed4_3.3-1+b2_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-1+b2) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../18-libidn11_1.33-1+deb9u1_amd64.deb ... Unpacking libidn11:amd64 (1.33-1+deb9u1) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../19-libffi6_3.2.1-6_amd64.deb ... Unpacking libffi6:amd64 (3.2.1-6) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../20-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 .../21-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 .../22-libgnutls30_3.5.8-5+deb9u5_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.8-5+deb9u5) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../23-libgpm2_1.20.4-6.2+b1_amd64.deb ... Unpacking libgpm2:amd64 (1.20.4-6.2+b1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../24-libkeyutils1_1.5.9-9_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../25-libkrb5support0_1.15-1+deb9u1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../26-libk5crypto3_1.15-1+deb9u1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../27-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 .../28-libgssapi-krb5-2_1.15-1+deb9u1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1+deb9u1) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../29-libicu57_57.1-6+deb9u4_amd64.deb ... Unpacking libicu57:amd64 (57.1-6+deb9u4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../30-libxml2_2.9.4+dfsg1-2.2+deb9u2_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../31-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 .../32-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 .../33-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 .../34-libpixman-1-0_0.34.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.34.0-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../35-libbsd0_0.8.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.3-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../36-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 .../37-libxcb1_1.12-1_amd64.deb ... Unpacking libxcb1:amd64 (1.12-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../38-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 .../39-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 .../40-libxcb-render0_1.12-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../41-libxcb-shm0_1.12-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.12-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../42-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 .../43-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 .../44-libcairo2_1.14.8-1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.8-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../45-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 .../46-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 .../47-libtiff5_4.0.8-2+deb9u5_amd64.deb ... Unpacking libtiff5:amd64 (4.0.8-2+deb9u5) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../48-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 .../49-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 .../50-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 .../51-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 .../52-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 .../53-libavahi-common3_0.6.32-2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../54-libavahi-client3_0.6.32-2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-2) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../55-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 .../56-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../57-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 .../58-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 .../59-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 .../60-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 .../61-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 .../62-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 .../63-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 .../64-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 .../65-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 .../66-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 .../67-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 .../68-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 .../69-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 .../70-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 .../71-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 .../72-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 .../73-libcroco3_0.6.11-3_amd64.deb ... Unpacking libcroco3:amd64 (0.6.11-3) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../74-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 .../75-librsvg2-common_2.40.16-1+b1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.16-1+b1) ... Selecting previously unselected package gnome-icon-theme. Preparing to unpack .../76-gnome-icon-theme_3.12.0-2_all.deb ... Unpacking gnome-icon-theme (3.12.0-2) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../77-libgtk2.0-0_2.24.31-2_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.31-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../78-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 .../79-libgtksourceview2.0-0_2.10.5-3_amd64.deb ... Unpacking libgtksourceview2.0-0:amd64 (2.10.5-3) ... Selecting previously unselected package alt-ergo. Preparing to unpack .../80-alt-ergo_1.30-1_amd64.deb ... Unpacking alt-ergo (1.30-1) ... Selecting previously unselected package libgail18:amd64. Preparing to unpack .../81-libgail18_2.24.31-2_amd64.deb ... Unpacking libgail18:amd64 (2.24.31-2) ... Selecting previously unselected package libgail-common:amd64. Preparing to unpack .../82-libgail-common_2.24.31-2_amd64.deb ... Unpacking libgail-common:amd64 (2.24.31-2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../83-libglib2.0-data_2.50.3-2+deb9u2_all.deb ... Unpacking libglib2.0-data (2.50.3-2+deb9u2) ... Selecting previously unselected package libgtk2.0-bin. Preparing to unpack .../84-libgtk2.0-bin_2.24.31-2_amd64.deb ... Unpacking libgtk2.0-bin (2.24.31-2) ... Selecting previously unselected package libncurses5:amd64. Preparing to unpack .../85-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 .../86-ocaml-base-nox_4.02.3-9_amd64.deb ... Unpacking ocaml-base-nox (4.02.3-9) ... Selecting previously unselected package tex-common. Preparing to unpack .../87-tex-common_6.06_all.deb ... Unpacking tex-common (6.06) ... Selecting previously unselected package why3. Preparing to unpack .../88-why3_0.87.3-2+b1_amd64.deb ... Unpacking why3 (0.87.3-2+b1) ... Selecting previously unselected package xdg-user-dirs. Preparing to unpack .../89-xdg-user-dirs_0.15-2+b1_amd64.deb ... Unpacking xdg-user-dirs (0.15-2+b1) ... Selecting previously unselected package xml-core. Preparing to unpack .../90-xml-core_0.17_all.deb ... Unpacking xml-core (0.17) ... Setting up libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Setting up libnettle6:amd64 (3.3-1+b2) ... Setting up libexpat1:amd64 (2.2.0-2+deb9u3) ... Setting up libgtk2.0-common (2.24.31-2) ... Setting up libjpeg62-turbo:amd64 (1:1.5.1-2) ... Setting up libpng16-16:amd64 (1.6.28-1+deb9u1) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up libgpm2:amd64 (1.20.4-6.2+b1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up ocaml-base-nox (4.02.3-9) ... 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 sgml-base (1.29) ... Setting up libicu57:amd64 (57.1-6+deb9u4) ... 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 lsb-base (9.20161125) ... Setting up libgraphite2-3:amd64 (1.3.10-1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1) ... Setting up libpixman-1-0:amd64 (0.34.0-1) ... Setting up libglib2.0-data (2.50.3-2+deb9u2) ... Setting up libgtksourceview2.0-common (2.10.5-3) ... Setting up krb5-locales (1.15-1+deb9u1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Setting up libapparmor1:amd64 (2.11.0-3+deb9u2) ... Setting up libffi6:amd64 (3.2.1-6) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up xml-core (0.17) ... Setting up libkeyutils1:amd64 (1.5.9-9) ... Setting up hicolor-icon-theme (0.15-1) ... Setting up xdg-user-dirs (0.15-2+b1) ... 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 fontconfig-config (2.11.0-6.7) ... Setting up tex-common (6.06) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... No schema files found: doing nothing. Setting up libharfbuzz0b:amd64 (1.4.2-1) ... Setting up libthai0:amd64 (0.1.26-1) ... Setting up libkrb5support0:amd64 (1.15-1+deb9u1) ... Setting up libhogweed4:amd64 (3.3-1+b2) ... Setting up libcroco3:amd64 (0.6.11-3) ... Setting up libatk1.0-0:amd64 (2.22.0-1) ... Setting up libp11-kit0:amd64 (0.23.3-2) ... Setting up shared-mime-info (1.8-1+deb9u1) ... Setting up libavahi-common3:amd64 (0.6.32-2) ... Setting up dbus (1.10.32-0+deb9u1) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of start. Setting up libxcb1:amd64 (1.12-1) ... Setting up libfontconfig1:amd64 (2.11.0-6.7+b1) ... Setting up libk5crypto3:amd64 (1.15-1+deb9u1) ... Setting up libxcb-render0:amd64 (1.12-1) ... Setting up libgnutls30:amd64 (3.5.8-5+deb9u5) ... Setting up libx11-6:amd64 (2:1.6.4-3+deb9u1) ... Setting up libxcomposite1:amd64 (1:0.4.4-2) ... Setting up libxcb-shm0:amd64 (1.12-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 fontconfig (2.11.0-6.7+b1) ... Regenerating fonts cache... done. Setting up libxext6:amd64 (2:1.3.3-1+b2) ... Setting up libxfixes3:amd64 (1:5.0.3-1) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... Setting up libgssapi-krb5-2:amd64 (1.15-1+deb9u1) ... Setting up gtk-update-icon-cache (3.22.11-1) ... Setting up libxcursor1:amd64 (1:1.1.14-1+deb9u2) ... Setting up libpango-1.0-0:amd64 (1.40.5-1) ... 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 libxdamage1:amd64 (1:1.1.4-2+b3) ... Setting up libpangoft2-1.0-0:amd64 (1.40.5-1) ... 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 gnome-icon-theme (3.12.0-2) ... update-alternatives: using /usr/share/icons/gnome/scalable/places/debian-swirl.svg to provide /usr/share/icons/gnome/scalable/places/start-here.svg (start-here.svg) in auto mode Setting up libgtk2.0-0:amd64 (2.24.31-2) ... Setting up libgail18:amd64 (2.24.31-2) ... Setting up libgtksourceview2.0-0:amd64 (2.10.5-3) ... Setting up libgail-common:amd64 (2.24.31-2) ... Setting up alt-ergo (1.30-1) ... Setting up libgtk2.0-bin (2.24.31-2) ... Setting up why3 (0.87.3-2+b1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Processing triggers for sgml-base (1.29) ... Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... 0m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', '-y', 'install', 'why3=0.87.3-2+b1'] 0m21.6s INFO: Running scripts post_install 0m21.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_install_exceptions'] 0m21.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_install_exceptions'] 0m21.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m22.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m24.3s DEBUG: No broken symlinks as far as we can find. 0m25.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', '-ac', '--ignore-obsolete'] 0m26.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', '-ac', '--ignore-obsolete'] 0m26.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m26.2s DUMP: 0.15.6 0m26.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m26.2s INFO: Running adequate version 0.15.6 now. 0m26.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'why3'] 0m26.3s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'why3'] 0m26.3s INFO: Running scripts pre_remove 0m26.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_exceptions'] 0m28.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/pre_remove_exceptions'] 0m28.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m28.3s DUMP: install ok installed adduser adduser 3.115 install ok installed alt-ergo alt-ergo 1.30-1 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 dbus dbus 1.10.32-0+deb9u1 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 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-6-base:amd64 gcc-6-base 6.3.0-18+deb9u1 install ok installed gnome-icon-theme gnome-icon-theme 3.12.0-2 install ok installed gpgv gpgv 2.1.18-8~deb9u4 install ok installed grep grep 2.27-2 install ok installed gtk-update-icon-cache gtk-update-icon-cache 3.22.11-1 install ok installed gzip gzip 1.6-5+b1 install ok installed hicolor-icon-theme hicolor-icon-theme 0.15-1 install ok installed hostname hostname 3.18+b1 install ok installed init-system-helpers init-system-helpers 1.48 install ok installed krb5-locales krb5-locales 1.15-1+deb9u1 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapparmor1:amd64 libapparmor1 2.11.0-3+deb9u2 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.4.10 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 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 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.32-2 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.32-2 install ok installed libblkid1:amd64 libblkid1 2.29.2-1+deb9u1 install ok installed libbsd0:amd64 libbsd0 0.8.3-1 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 libcairo2:amd64 libcairo2 1.14.8-1 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 libcroco3:amd64 libcroco3 0.6.11-3 install ok installed libcups2:amd64 libcups2 2.2.1-8+deb9u6 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 libdebconfclient0:amd64 libdebconfclient0 0.227 install ok installed libexpat1:amd64 libexpat1 2.2.0-2+deb9u3 install ok installed libfdisk1:amd64 libfdisk1 2.29.2-1+deb9u1 install ok installed libffi6:amd64 libffi6 3.2.1-6 install ok installed libfontconfig1:amd64 libfontconfig1 2.11.0-6.7+b1 install ok installed libfreetype6:amd64 libfreetype6 2.6.3-3.2+deb9u1 install ok installed libgail-common:amd64 libgail-common 2.24.31-2 install ok installed libgail18:amd64 libgail18 2.24.31-2 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 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 libglib2.0-0:amd64 libglib2.0-0 2.50.3-2+deb9u2 install ok installed libglib2.0-data libglib2.0-data 2.50.3-2+deb9u2 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-1 install ok installed libgnutls30:amd64 libgnutls30 3.5.8-5+deb9u5 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+deb9u1 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.31-2 install ok installed libgtk2.0-bin libgtk2.0-bin 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 libharfbuzz0b:amd64 libharfbuzz0b 1.4.2-1 install ok installed libhogweed4:amd64 libhogweed4 3.3-1+b2 install ok installed libicu57:amd64 libicu57 57.1-6+deb9u4 install ok installed libidn11:amd64 libidn11 1.33-1+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 install ok installed libk5crypto3:amd64 libk5crypto3 1.15-1+deb9u1 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.9-9 install ok installed libkrb5-3:amd64 libkrb5-3 1.15-1+deb9u1 install ok installed libkrb5support0:amd64 libkrb5support0 1.15-1+deb9u1 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 libncurses5:amd64 libncurses5 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+b2 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.3-2 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 librsvg2-2:amd64 librsvg2-2 2.40.16-1+b1 install ok installed librsvg2-common:amd64 librsvg2-common 2.40.16-1+b1 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 libtasn1-6:amd64 libtasn1-6 4.10-1.1+deb9u1 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+deb9u5 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 libx11-6:amd64 libx11-6 2:1.6.4-3+deb9u1 install ok installed libx11-data libx11-data 2:1.6.4-3+deb9u1 install ok installed libxau6:amd64 libxau6 1:1.0.8-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 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 libxi6:amd64 libxi6 2:1.7.9-1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.3-1+b3 install ok installed libxml2:amd64 libxml2 2.9.4+dfsg1-2.2+deb9u2 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 login login 1:4.4-4.1 install ok installed lsb-base lsb-base 9.20161125 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 ocaml-base-nox ocaml-base-nox 4.02.3-9 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 sgml-base sgml-base 1.29 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 install ok installed tex-common tex-common 6.06 install ok installed ucf ucf 3.0036 install ok installed util-linux util-linux 2.29.2-1+deb9u1 install ok installed why3 why3 0.87.3-2+b1 install ok installed xdg-user-dirs xdg-user-dirs 0.15-2+b1 install ok installed xml-core xml-core 0.17 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-5 0m28.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m28.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'remove', 'alt-ergo', 'dbus', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gnome-icon-theme', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'libapparmor1:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd0:amd64', 'libcairo2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgail-common:amd64', 'libgail18:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libglib2.0-data', 'libgmp10:amd64', 'libgnutls30:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk2.0-0:amd64', 'libgtk2.0-bin', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncurses5:amd64', 'libnettle6: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', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libtasn1-6:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'lsb-base', 'ocaml-base-nox', 'sgml-base', 'shared-mime-info', 'tex-common', 'ucf', 'xdg-user-dirs', 'xml-core', 'why3'] 0m29.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: alt-ergo dbus fontconfig fontconfig-config fonts-dejavu-core gnome-icon-theme gtk-update-icon-cache hicolor-icon-theme krb5-locales libapparmor1 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libexpat1 libffi6 libfontconfig1 libfreetype6 libgail-common libgail18 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libglib2.0-data libgmp10 libgnutls30 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-bin libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libharfbuzz0b libhogweed4 libicu57 libidn11 libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libncurses5 libnettle6 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16 librsvg2-2 librsvg2-common libtasn1-6 libthai-data libthai0 libtiff5 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 lsb-base ocaml-base-nox sgml-base shared-mime-info tex-common ucf why3 xdg-user-dirs xml-core 0 upgraded, 0 newly installed, 91 to remove and 0 not upgraded. After this operation, 239 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 ... 13419 files and directories currently installed.) Removing alt-ergo (1.30-1) ... Removing dbus (1.10.32-0+deb9u1) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of stop. Removing why3 (0.87.3-2+b1) ... Removing libgtksourceview2.0-0:amd64 (2.10.5-3) ... Removing libgail-common:amd64 (2.24.31-2) ... Removing libgail18:amd64 (2.24.31-2) ... Removing libgtk2.0-bin (2.24.31-2) ... Removing krb5-locales (1.15-1+deb9u1) ... Removing libapparmor1:amd64 (2.11.0-3+deb9u2) ... Removing libglib2.0-data (2.50.3-2+deb9u2) ... Removing libgpm2:amd64 (1.20.4-6.2+b1) ... Removing libgtksourceview2.0-common (2.10.5-3) ... Removing ocaml-base-nox (4.02.3-9) ... Removing libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Removing lsb-base (9.20161125) ... Removing xml-core (0.17) ... Removing sgml-base (1.29) ... Removing tex-common (6.06) ... Removing xdg-user-dirs (0.15-2+b1) ... Removing libgtk2.0-0:amd64 (2.24.31-2) ... Removing gnome-icon-theme (3.12.0-2) ... update-alternatives: using /usr/share/icons/gnome/scalable/places/gnome-foot.svg to provide /usr/share/icons/gnome/scalable/places/start-here.svg (start-here.svg) in auto mode update-alternatives: warning: skip creation of /usr/share/icons/gnome/256x256/places/start-here.png because associated file /usr/share/icons/gnome/256x256/places/gnome-foot.png (of link group start-here.svg) doesn't exist Removing librsvg2-common:amd64 (2.40.16-1+b1) ... Removing librsvg2-2:amd64 (2.40.16-1+b1) ... 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+deb9u6) ... Removing libavahi-client3:amd64 (0.6.32-2) ... Removing libavahi-common3:amd64 (0.6.32-2) ... Removing libavahi-common-data:amd64 (0.6.32-2) ... Removing libxrandr2:amd64 (2:1.5.1-1) ... Removing libxcursor1:amd64 (1:1.1.14-1+deb9u2) ... Removing libxinerama1:amd64 (2:1.1.3-1+b3) ... Removing libcairo2:amd64 (1.14.8-1) ... Removing libxcb-shm0:amd64 (1.12-1) ... 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+deb9u5) ... Removing libp11-kit0:amd64 (0.23.3-2) ... Removing libgdk-pixbuf2.0-0:amd64 (2.36.5-2+deb9u2) ... Removing shared-mime-info (1.8-1+deb9u1) ... Removing libharfbuzz0b:amd64 (1.4.2-1) ... Removing libgdk-pixbuf2.0-common (2.36.5-2+deb9u2) ... Removing libhogweed4:amd64 (3.3-1+b2) ... Removing libgmp10:amd64 (2:6.1.2+dfsg-1) ... Removing libgraphite2-3:amd64 (1.3.10-1) ... Removing libgssapi-krb5-2:amd64 (1.15-1+deb9u1) ... Removing libgtk2.0-common (2.24.31-2) ... Removing libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u2) ... Removing libicu57:amd64 (57.1-6+deb9u4) ... Removing libidn11:amd64 (1.33-1+deb9u1) ... Removing libtiff5:amd64 (4.0.8-2+deb9u5) ... Removing libjbig0:amd64 (2.1-3.1+b2) ... Removing libjpeg62-turbo:amd64 (1:1.5.1-2) ... Removing libkrb5-3:amd64 (1.15-1+deb9u1) ... Removing libk5crypto3:amd64 (1.15-1+deb9u1) ... Removing libkrb5support0:amd64 (1.15-1+deb9u1) ... Removing libkeyutils1:amd64 (1.5.9-9) ... Removing libnettle6:amd64 (3.3-1+b2) ... 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 libxcomposite1:amd64 (1:0.4.4-2) ... Removing libxdamage1:amd64 (1:1.1.4-2+b3) ... Removing libxi6:amd64 (2:1.7.9-1) ... Removing libxext6:amd64 (2:1.3.3-1+b2) ... Removing libxfixes3:amd64 (1:5.0.3-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 libxrender1:amd64 (1:0.9.10-1) ... Removing libx11-6:amd64 (2:1.6.4-3+deb9u1) ... Removing libxcb1:amd64 (1.12-1) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.8.3-1) ... Removing libexpat1:amd64 (2.2.0-2+deb9u3) ... Removing libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... Removing libffi6:amd64 (3.2.1-6) ... Removing libfreetype6:amd64 (2.6.3-3.2+deb9u1) ... Removing libpng16-16:amd64 (1.6.28-1+deb9u1) ... Removing libx11-data (2:1.6.4-3+deb9u1) ... Removing libxau6:amd64 (1:1.0.8-1) ... Removing ucf (3.0036) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'remove', 'alt-ergo', 'dbus', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gnome-icon-theme', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'libapparmor1:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd0:amd64', 'libcairo2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgail-common:amd64', 'libgail18:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libglib2.0-data', 'libgmp10:amd64', 'libgnutls30:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk2.0-0:amd64', 'libgtk2.0-bin', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncurses5:amd64', 'libnettle6: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', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libtasn1-6:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'lsb-base', 'ocaml-base-nox', 'sgml-base', 'shared-mime-info', 'tex-common', 'ucf', 'xdg-user-dirs', 'xml-core', 'why3'] 0m29.7s INFO: Running scripts post_remove 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_remove_exceptions'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_remove_exceptions'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--purge', 'alt-ergo', 'dbus', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gnome-icon-theme', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'libapparmor1:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd0:amd64', 'libcairo2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgail-common:amd64', 'libgail18:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libglib2.0-data', 'libgmp10:amd64', 'libgnutls30:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk2.0-0:amd64', 'libgtk2.0-bin', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncurses5:amd64', 'libnettle6: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', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libtasn1-6:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'lsb-base', 'ocaml-base-nox', 'sgml-base', 'shared-mime-info', 'tex-common', 'ucf', 'xdg-user-dirs', 'xml-core'] 0m30.4s DUMP: dpkg: warning: ignoring request to remove alt-ergo which isn't installed (Reading database ... 4462 files and directories currently installed.) Purging configuration files for dbus (1.10.32-0+deb9u1) ... rmdir: failed to remove '/var/run/dbus': No such file or directory 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 gnome-icon-theme which isn't installed dpkg: warning: ignoring request to remove gtk-update-icon-cache which isn't installed dpkg: warning: ignoring request to remove hicolor-icon-theme which isn't installed dpkg: warning: ignoring request to remove krb5-locales which isn't installed dpkg: warning: ignoring request to remove libapparmor1 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 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 libcairo2 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 libexpat1 which isn't installed dpkg: warning: ignoring request to remove libffi6 which isn't installed 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 libgail-common which isn't installed dpkg: warning: ignoring request to remove libgail18 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 Purging configuration files for libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... dpkg: warning: ignoring request to remove libglib2.0-data which isn't installed dpkg: warning: ignoring request to remove libgmp10 which isn't installed dpkg: warning: ignoring request to remove libgnutls30 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+deb9u1) ... Purging configuration files for libgtk2.0-0:amd64 (2.24.31-2) ... dpkg: warning: ignoring request to remove libgtk2.0-bin which isn't installed 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 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 libicu57 which isn't installed dpkg: warning: ignoring request to remove libidn11 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 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 libncurses5 which isn't installed dpkg: warning: ignoring request to remove libnettle6 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 librsvg2-2 which isn't installed dpkg: warning: ignoring request to remove librsvg2-common which isn't installed dpkg: warning: ignoring request to remove libtasn1-6 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 libx11-6 which isn't installed dpkg: warning: ignoring request to remove libx11-data which isn't installed Purging configuration files for libxau6:amd64 (1:1.0.8-1) ... dpkg: warning: ignoring request to remove libxcb-render0 which isn't installed dpkg: warning: ignoring request to remove libxcb-shm0 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxcomposite1 which isn't installed dpkg: warning: ignoring request to remove libxcursor1 which isn't installed dpkg: warning: ignoring request to remove libxdamage1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libxext6 which isn't installed dpkg: warning: ignoring request to remove libxfixes3 which isn't installed dpkg: warning: ignoring request to remove libxi6 which isn't installed dpkg: warning: ignoring request to remove libxinerama1 which isn't installed dpkg: warning: ignoring request to remove libxml2 which isn't installed dpkg: warning: ignoring request to remove libxrandr2 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove lsb-base which isn't installed dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed Purging configuration files for sgml-base (1.29) ... Purging configuration files for shared-mime-info (1.8-1+deb9u1) ... Purging configuration files for tex-common (6.06) ... Purging configuration files for ucf (3.0036) ... Purging configuration files for xdg-user-dirs (0.15-2+b1) ... Purging configuration files for xml-core (0.17) ... 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--purge', 'alt-ergo', 'dbus', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gnome-icon-theme', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'krb5-locales', 'libapparmor1:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd0:amd64', 'libcairo2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libexpat1:amd64', 'libffi6:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgail-common:amd64', 'libgail18:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libglib2.0-data', 'libgmp10:amd64', 'libgnutls30:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk2.0-0:amd64', 'libgtk2.0-bin', 'libgtk2.0-common', 'libgtksourceview2.0-0:amd64', 'libgtksourceview2.0-common', 'libharfbuzz0b:amd64', 'libhogweed4:amd64', 'libicu57:amd64', 'libidn11:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'libncurses5:amd64', 'libnettle6: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', 'librsvg2-2:amd64', 'librsvg2-common:amd64', 'libtasn1-6:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'lsb-base', 'ocaml-base-nox', 'sgml-base', 'shared-mime-info', 'tex-common', 'ucf', 'xdg-user-dirs', 'xml-core'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--purge', 'why3'] 0m30.4s DUMP: (Reading database ... 4414 files and directories currently installed.) Purging configuration files for why3 (0.87.3-2+b1) ... 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--purge', 'why3'] 0m30.4s INFO: Running scripts post_purge 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_purge_exceptions'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_purge_exceptions'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--purge', '--pending'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--purge', '--pending'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--remove', '--pending'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg', '--remove', '--pending'] 0m30.4s INFO: Running scripts post_test 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_test_exceptions'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'tmp/scripts/post_test_exceptions'] 0m30.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m30.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m31.0s DEBUG: No broken symlinks as far as we can find. 0m31.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-divert', '--list'] 0m31.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 0m31.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'dpkg-divert', '--list'] 0m31.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'clean'] 0m31.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn', 'apt-get', 'clean'] 0m31.0s DEBUG: Recording chroot state 0m31.4s INFO: PASS: Installation and purging test. 0m31.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/shm'] 0m31.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/shm'] 0m31.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/console'] 0m31.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/console'] 0m31.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/ptmx'] 0m31.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/ptmx'] 0m31.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/pts'] 0m31.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/dev/pts'] 0m31.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/proc'] 0m31.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn/proc'] 0m31.8s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m31.8s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpf8m0agwn'] 0m31.8s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpf8m0agwn 0m31.9s INFO: PASS: All tests. 0m31.9s INFO: piuparts run ends. ret=0 End: 2023-04-04 19:47:21 GMT