Start: 2022-10-10 11:51:39 GMT Package: agda Version: 2.4.0.2-2 Installed-Size: 79 Maintainer: Debian Haskell Group Architecture: all Depends: libghc-agda-dev, agda-bin, agda-mode, agda-stdlib, agda-stdlib-doc Description: dependently typed functional programming language Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 65333dc4f3e4d00a90419d96d9785d24 Tag: role::metapackage Section: misc Priority: extra Filename: pool/main/a/agda/agda_2.4.0.2-2_all.deb Size: 56362 MD5sum: 6f06a8f18cfecf7cf37fcb3cb5252a5a SHA1: f99a9e07e7d96ef507830d62cca9a75c7e5ac94b SHA256: d5201f682c2d0cdb32283feb47778824d2df56bef80d0d4b11aa0f643ceab5fb 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 --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie --no-upgrade-test --apt agda=2.4.0.2-2 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 --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie --no-upgrade-test --apt agda=2.4.0.2-2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-18-amd64 #1 SMP Debian 5.10.140-1 (2022-09-02) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp9sekxlhy 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp9sekxlhy 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/proc'] 0m1.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/proc'] 0m1.4s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/pts'] 0m1.4s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/pts'] 0m1.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/ptmx'] 0m1.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/ptmx'] 0m1.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/console'] 0m1.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/console'] 0m1.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/shm'] 0m1.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/shm'] 0m1.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ jessie main 0m1.4s DEBUG: Created policy-rc.d and chmodded it. 0m1.4s DEBUG: Created resolv.conf. 0m1.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp9sekxlhy/tmp/scripts/ 0m1.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts-jessie to /srv/piuparts.debian.org/tmp/tmp9sekxlhy/tmp/scripts/ 0m1.5s INFO: Running scripts post_chroot_unpack 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'update'] 0m3.6s DUMP: Ign http://deb.debian.org jessie InRelease Hit http://deb.debian.org jessie Release.gpg Hit http://deb.debian.org jessie Release Hit http://deb.debian.org jessie/main amd64 Packages Hit http://deb.debian.org jessie/main Translation-en Reading package lists... 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'update'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', '-yf', 'dist-upgrade'] 0m3.8s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', '-yf', 'dist-upgrade'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.0s DUMP: c58dd1ad19dd97acb5ff8b7cd65de431 - 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.0s INFO: Running scripts post_setup 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.8s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m5.3s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... The following NEW packages will be installed: init-system-helpers ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 83.7 kB of archives. After this operation, 334 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian/ jessie/main init-system-helpers all 1.22 [14.0 kB] Get:2 http://deb.debian.org/debian/ jessie/main ucf all 3.0030 [69.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 83.7 kB in 0s (3227 kB/s) Selecting previously unselected package init-system-helpers. (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 ... 7449 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.22_all.deb ... Unpacking init-system-helpers (1.22) ... Selecting previously unselected package ucf. Preparing to unpack .../archives/ucf_3.0030_all.deb ... Moving old data out of the way Unpacking ucf (3.0030) ... Setting up init-system-helpers (1.22) ... Setting up ucf (3.0030) ... 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_zz_backports'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_setup_zz_backports'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'clean'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'clean'] 0m5.4s DEBUG: Recording chroot state 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.7s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed dash dash 0.5.7-4+b1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed findutils findutils 4.4.2-9+b1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gzip gzip 1.6-4 install ok installed hostname hostname 3.15 install ok installed init init 1.22 install ok installed init-system-helpers init-system-helpers 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed ucf ucf 3.0030 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-divert', '--list'] 0m5.7s 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 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-divert', '--list'] 0m5.7s INFO: Running scripts is_testable 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/is_testable_uninstallable'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/is_testable_uninstallable'] 0m5.7s INFO: apt-cache does not know about any of the requested packages 0m5.7s INFO: Running scripts pre_test 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_test_exceptions'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_test_exceptions'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_test_root_password'] 0m5.8s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_test_root_password'] 0m5.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 0m6.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 0m6.8s DEBUG: No broken symlinks as far as we can find. 0m6.8s INFO: Running scripts pre_install 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_database-server'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_database-server'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_exceptions'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_exceptions'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_extras'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_extras'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 0m7.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 0m7.8s DEBUG: No broken symlinks as far as we can find. 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-cache', 'policy'] 0m9.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian/ jessie/main Translation-en 500 http://deb.debian.org/debian/ jessie/main amd64 Packages release v=8.11,o=Debian,a=oldoldstable,n=jessie,l=Debian,c=main origin deb.debian.org Pinned packages: 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-cache', 'policy'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-cache', 'policy', 'agda'] 0m9.6s DUMP: agda: Installed: (none) Candidate: 2.4.0.2-2 Version table: 2.4.0.2-2 0 500 http://deb.debian.org/debian/ jessie/main amd64 Packages 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-cache', 'policy', 'agda'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', '-y', 'install', 'agda=2.4.0.2-2'] 0m53.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: adwaita-icon-theme agda-bin agda-mode agda-stdlib agda-stdlib-doc binutils cpp cpp-4.9 dconf-gsettings-backend dconf-service emacs emacs24 emacs24-bin-common emacs24-common emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-4.9 gconf-service gconf2-common ghc glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas hicolor-icon-theme imagemagick-common libasan1 libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcilkrts5 libcloog-isl4 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libexpat1 libffi-dev libffi6 libfftw3-double3 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.9-dev libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libglib2.0-0 libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-bin libgtk-3-common libharfbuzz0b libhogweed2 libice6 libisl10 libitm1 libjasper1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 liblockfile-bin liblockfile1 liblqr-1-0 liblsan0 libltdl7 libm17n-0 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmpc3 libmpfr4 libncurses5-dev libnettle4 libotf0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng12-0 libproxy1 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 libthai-data libthai0 libtiff5 libtinfo-dev libtsan0 libubsan0 libvpx1 libwayland-client0 libwayland-cursor0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 linux-libc-dev m17n-db shared-mime-info x11-common xkb-data zlib1g-dev Suggested packages: binutils-doc cpp-doc gcc-4.9-locales emacs24-common-non-dfsg emacs24-el gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-4.9-multilib gcc-4.9-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan1-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libquadmath0-dbg perl ghc-prof ghc-doc haskell-doc llvm libasound2-plugins alsa-utils glibc-doc cups-common libfftw3-bin libfftw3-dev libgd-tools libghc-agda-doc libghc-binary-doc libghc-binary-prof libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev gnutls-bin gpm krb5-doc krb5-user gvfs libjasper-runtime liblcms2-utils m17n-docs libmagickcore-6.q16-2-extra ncurses-doc librsvg2-bin gawk Recommended packages: at-spi2-core colord dbus libglib2.0-data xdg-user-dirs libstdc++-4.8-dev libstdc++-dev krb5-locales ghostscript gsfonts libsasl2-modules xml-core The following NEW packages will be installed: adwaita-icon-theme agda agda-bin agda-mode agda-stdlib agda-stdlib-doc binutils cpp cpp-4.9 dconf-gsettings-backend dconf-service emacs emacs24 emacs24-bin-common emacs24-common emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-4.9 gconf-service gconf2-common ghc glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas hicolor-icon-theme imagemagick-common libasan1 libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcilkrts5 libcloog-isl4 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libexpat1 libffi-dev libffi6 libfftw3-double3 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.9-dev libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libglib2.0-0 libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-bin libgtk-3-common libharfbuzz0b libhogweed2 libice6 libisl10 libitm1 libjasper1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 liblockfile-bin liblockfile1 liblqr-1-0 liblsan0 libltdl7 libm17n-0 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmpc3 libmpfr4 libncurses5-dev libnettle4 libotf0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng12-0 libproxy1 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 libthai-data libthai0 libtiff5 libtinfo-dev libtsan0 libubsan0 libvpx1 libwayland-client0 libwayland-cursor0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 linux-libc-dev m17n-db shared-mime-info x11-common xkb-data zlib1g-dev 0 upgraded, 192 newly installed, 0 to remove and 0 not upgraded. Need to get 157 MB of archives. After this operation, 890 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian/ jessie/main libgmp10 amd64 2:6.0.0+dfsg-6 [253 kB] Get:2 http://deb.debian.org/debian/ jessie/main libnettle4 amd64 2.7.1-5+deb8u2 [176 kB] Get:3 http://deb.debian.org/debian/ jessie/main libhogweed2 amd64 2.7.1-5+deb8u2 [125 kB] Get:4 http://deb.debian.org/debian/ jessie/main libffi6 amd64 3.1-2+deb8u1 [20.2 kB] Get:5 http://deb.debian.org/debian/ jessie/main libp11-kit0 amd64 0.20.7-1 [81.2 kB] Get:6 http://deb.debian.org/debian/ jessie/main libtasn1-6 amd64 4.2-3+deb8u3 [49.2 kB] Get:7 http://deb.debian.org/debian/ jessie/main libgnutls-deb0-28 amd64 3.3.8-6+deb8u7 [696 kB] Get:8 http://deb.debian.org/debian/ jessie/main libgpm2 amd64 1.20.4-6.1+b2 [34.0 kB] Get:9 http://deb.debian.org/debian/ jessie/main libkeyutils1 amd64 1.5.9-5+b1 [12.0 kB] Get:10 http://deb.debian.org/debian/ jessie/main libkrb5support0 amd64 1.12.1+dfsg-19+deb8u4 [59.4 kB] Get:11 http://deb.debian.org/debian/ jessie/main libk5crypto3 amd64 1.12.1+dfsg-19+deb8u4 [116 kB] Get:12 http://deb.debian.org/debian/ jessie/main libkrb5-3 amd64 1.12.1+dfsg-19+deb8u4 [303 kB] Get:13 http://deb.debian.org/debian/ jessie/main libgssapi-krb5-2 amd64 1.12.1+dfsg-19+deb8u4 [152 kB] Get:14 http://deb.debian.org/debian/ jessie/main libsasl2-modules-db amd64 2.1.26.dfsg1-13+deb8u1 [67.1 kB] Get:15 http://deb.debian.org/debian/ jessie/main libsasl2-2 amd64 2.1.26.dfsg1-13+deb8u1 [105 kB] Get:16 http://deb.debian.org/debian/ jessie/main libldap-2.4-2 amd64 2.4.40+dfsg-1+deb8u4 [218 kB] Get:17 http://deb.debian.org/debian/ jessie/main liblockfile-bin amd64 1.09-6 [18.9 kB] Get:18 http://deb.debian.org/debian/ jessie/main liblockfile1 amd64 1.09-6 [15.8 kB] Get:19 http://deb.debian.org/debian/ jessie/main libsqlite3-0 amd64 3.8.7.1-1+deb8u2 [438 kB] Get:20 http://deb.debian.org/debian/ jessie/main libxml2 amd64 2.9.1+dfsg1-5+deb8u6 [802 kB] Get:21 http://deb.debian.org/debian/ jessie/main libexpat1 amd64 2.1.0-6+deb8u4 [80.2 kB] Get:22 http://deb.debian.org/debian/ jessie/main libpng12-0 amd64 1.2.50-2+deb8u3 [173 kB] Get:23 http://deb.debian.org/debian/ jessie/main libfreetype6 amd64 2.5.2-3+deb8u2 [466 kB] Get:24 http://deb.debian.org/debian/ jessie/main fonts-dejavu-core all 2.34-1 [1047 kB] Get:25 http://deb.debian.org/debian/ jessie/main fontconfig-config all 2.11.0-6.3+deb8u1 [274 kB] Get:26 http://deb.debian.org/debian/ jessie/main libfontconfig1 amd64 2.11.0-6.3+deb8u1 [329 kB] Get:27 http://deb.debian.org/debian/ jessie/main fontconfig amd64 2.11.0-6.3+deb8u1 [403 kB] Get:28 http://deb.debian.org/debian/ jessie/main imagemagick-common all 8:6.8.9.9-5+deb8u12 [154 kB] Get:29 http://deb.debian.org/debian/ jessie/main libasan1 amd64 4.9.2-10+deb8u1 [195 kB] Get:30 http://deb.debian.org/debian/ jessie/main libasound2-data all 1.0.28-1 [64.8 kB] Get:31 http://deb.debian.org/debian/ jessie/main libasound2 amd64 1.0.28-1 [374 kB] Get:32 http://deb.debian.org/debian/ jessie/main libglib2.0-0 amd64 2.42.1-1+b1 [2401 kB] Get:33 http://deb.debian.org/debian/ jessie/main libatk1.0-data all 2.14.0-1 [181 kB] Get:34 http://deb.debian.org/debian/ jessie/main libatk1.0-0 amd64 2.14.0-1 [92.0 kB] Get:35 http://deb.debian.org/debian/ jessie/main libdbus-1-3 amd64 1.8.22-0+deb8u1 [170 kB] Get:36 http://deb.debian.org/debian/ jessie/main libxau6 amd64 1:1.0.8-1 [20.7 kB] Get:37 http://deb.debian.org/debian/ jessie/main libxdmcp6 amd64 1:1.1.1-1+b1 [24.9 kB] Get:38 http://deb.debian.org/debian/ jessie/main libxcb1 amd64 1.10-3+b1 [44.4 kB] Get:39 http://deb.debian.org/debian/ jessie/main libx11-data all 2:1.6.2-3+deb8u1 [126 kB] Get:40 http://deb.debian.org/debian/ jessie/main libx11-6 amd64 2:1.6.2-3+deb8u1 [728 kB] Get:41 http://deb.debian.org/debian/ jessie/main libatspi2.0-0 amd64 2.14.0-1 [57.7 kB] Get:42 http://deb.debian.org/debian/ jessie/main libatk-bridge2.0-0 amd64 2.14.0-2 [54.8 kB] Get:43 http://deb.debian.org/debian/ jessie/main libatomic1 amd64 4.9.2-10+deb8u1 [9014 B] Get:44 http://deb.debian.org/debian/ jessie/main libavahi-common-data amd64 0.6.31-5 [98.6 kB] Get:45 http://deb.debian.org/debian/ jessie/main libavahi-common3 amd64 0.6.31-5 [51.1 kB] Get:46 http://deb.debian.org/debian/ jessie/main libavahi-client3 amd64 0.6.31-5 [54.4 kB] Get:47 http://deb.debian.org/debian/ jessie/main libbsd0 amd64 0.7.0-2 [67.9 kB] Get:48 http://deb.debian.org/debian/ jessie/main libpixman-1-0 amd64 0.32.6-3 [507 kB] Get:49 http://deb.debian.org/debian/ jessie/main libxcb-render0 amd64 1.10-3+b1 [17.5 kB] Get:50 http://deb.debian.org/debian/ jessie/main libxcb-shm0 amd64 1.10-3+b1 [11.5 kB] Get:51 http://deb.debian.org/debian/ jessie/main libxext6 amd64 2:1.3.3-1 [52.7 kB] Get:52 http://deb.debian.org/debian/ jessie/main libxrender1 amd64 1:0.9.8-1+b1 [31.4 kB] Get:53 http://deb.debian.org/debian/ jessie/main libcairo2 amd64 1.14.0-2.1+deb8u2 [742 kB] Get:54 http://deb.debian.org/debian/ jessie/main libcairo-gobject2 amd64 1.14.0-2.1+deb8u2 [304 kB] Get:55 http://deb.debian.org/debian/ jessie/main libcilkrts5 amd64 4.9.2-10+deb8u1 [40.1 kB] Get:56 http://deb.debian.org/debian/ jessie/main libisl10 amd64 0.12.2-2 [440 kB] Get:57 http://deb.debian.org/debian/ jessie/main libcloog-isl4 amd64 0.18.2-1+b2 [61.8 kB] Get:58 http://deb.debian.org/debian/ jessie/main liblcms2-2 amd64 2.6-3+deb8u1 [141 kB] Get:59 http://deb.debian.org/debian/ jessie/main libcolord2 amd64 1.2.1-1+b2 [229 kB] Get:60 http://deb.debian.org/debian/ jessie/main libcroco3 amd64 0.6.8-3+b1 [135 kB] Get:61 http://deb.debian.org/debian/ jessie/main libcups2 amd64 1.7.5-11+deb8u2 [284 kB] Get:62 http://deb.debian.org/debian/ jessie/main libdatrie1 amd64 0.2.8-1 [32.6 kB] Get:63 http://deb.debian.org/debian/ jessie/main libdbus-glib-1-2 amd64 0.102-1 [201 kB] Get:64 http://deb.debian.org/debian/ jessie/main libdconf1 amd64 0.22.0-1 [35.2 kB] Get:65 http://deb.debian.org/debian/ jessie/main libgomp1 amd64 4.9.2-10+deb8u1 [37.8 kB] Get:66 http://deb.debian.org/debian/ jessie/main libfftw3-double3 amd64 3.3.4-2 [722 kB] Get:67 http://deb.debian.org/debian/ jessie/main libfribidi0 amd64 0.19.6-3 [44.4 kB] Get:68 http://deb.debian.org/debian/ jessie/main gconf2-common all 3.2.6-3 [1040 kB] Get:69 http://deb.debian.org/debian/ jessie/main libgconf-2-4 amd64 3.2.6-3 [426 kB] Get:70 http://deb.debian.org/debian/ jessie/main libjpeg62-turbo amd64 1:1.3.1-12 [116 kB] Get:71 http://deb.debian.org/debian/ jessie/main libjbig0 amd64 2.1-3.1 [30.7 kB] Get:72 http://deb.debian.org/debian/ jessie/main libtiff5 amd64 4.0.3-12.3+deb8u5 [221 kB] Get:73 http://deb.debian.org/debian/ jessie/main libvpx1 amd64 1.3.0-3+deb8u1 [600 kB] Get:74 http://deb.debian.org/debian/ jessie/main libxpm4 amd64 1:3.5.12-0+deb8u1 [49.2 kB] Get:75 http://deb.debian.org/debian/ jessie/main libgd3 amd64 2.1.0-5+deb8u11 [148 kB] Get:76 http://deb.debian.org/debian/ jessie/main libjasper1 amd64 1.900.1-debian1-2.4+deb8u3 [134 kB] Get:77 http://deb.debian.org/debian/ jessie/main libgdk-pixbuf2.0-common all 2.31.1-2+deb8u7 [294 kB] Get:78 http://deb.debian.org/debian/ jessie/main libgdk-pixbuf2.0-0 amd64 2.31.1-2+deb8u7 [167 kB] Get:79 http://deb.debian.org/debian/ jessie/main libgif4 amd64 4.1.6-11+deb8u1 [40.0 kB] Get:80 http://deb.debian.org/debian/ jessie/main libgmpxx4ldbl amd64 2:6.0.0+dfsg-6 [22.1 kB] Get:81 http://deb.debian.org/debian/ jessie/main libgraphite2-3 amd64 1.3.10-1~deb8u1 [85.4 kB] Get:82 http://deb.debian.org/debian/ jessie/main dconf-service amd64 0.22.0-1 [41.6 kB] Get:83 http://deb.debian.org/debian/ jessie/main dconf-gsettings-backend amd64 0.22.0-1 [33.9 kB] Get:84 http://deb.debian.org/debian/ jessie/main hicolor-icon-theme all 0.13-1 [8600 B] Get:85 http://deb.debian.org/debian/ jessie/main libthai-data all 0.1.21-1 [159 kB] Get:86 http://deb.debian.org/debian/ jessie/main libthai0 amd64 0.1.21-1 [46.1 kB] Get:87 http://deb.debian.org/debian/ jessie/main libpango-1.0-0 amd64 1.36.8-3 [291 kB] Get:88 http://deb.debian.org/debian/ jessie/main libharfbuzz0b amd64 0.9.35-2 [485 kB] Get:89 http://deb.debian.org/debian/ jessie/main libpangoft2-1.0-0 amd64 1.36.8-3 [213 kB] Get:90 http://deb.debian.org/debian/ jessie/main libpangocairo-1.0-0 amd64 1.36.8-3 [200 kB] Get:91 http://deb.debian.org/debian/ jessie/main libwayland-client0 amd64 1.6.0-2 [23.4 kB] Get:92 http://deb.debian.org/debian/ jessie/main libwayland-cursor0 amd64 1.6.0-2 [12.5 kB] Get:93 http://deb.debian.org/debian/ jessie/main libxcomposite1 amd64 1:0.4.4-1 [17.4 kB] Get:94 http://deb.debian.org/debian/ jessie/main libxfixes3 amd64 1:5.0.1-2+deb8u1 [21.1 kB] Get:95 http://deb.debian.org/debian/ jessie/main libxcursor1 amd64 1:1.1.14-1+deb8u1 [35.0 kB] Get:96 http://deb.debian.org/debian/ jessie/main libxdamage1 amd64 1:1.1.4-2+b1 [14.7 kB] Get:97 http://deb.debian.org/debian/ jessie/main libxi6 amd64 2:1.7.4-1+deb8u1 [79.9 kB] Get:98 http://deb.debian.org/debian/ jessie/main libxinerama1 amd64 2:1.1.3-1+b1 [16.9 kB] Get:99 http://deb.debian.org/debian/ jessie/main xkb-data all 2.12-1 [597 kB] Get:100 http://deb.debian.org/debian/ jessie/main libxkbcommon0 amd64 0.4.3-2 [115 kB] Get:101 http://deb.debian.org/debian/ jessie/main libxrandr2 amd64 2:1.4.2-1+deb8u1 [35.5 kB] Get:102 http://deb.debian.org/debian/ jessie/main libgtk-3-bin amd64 3.14.5-1+deb8u1 [93.7 kB] Get:103 http://deb.debian.org/debian/ jessie/main librsvg2-2 amd64 2.40.5-1+deb8u2 [249 kB] Get:104 http://deb.debian.org/debian/ jessie/main librsvg2-common amd64 2.40.5-1+deb8u2 [170 kB] Get:105 http://deb.debian.org/debian/ jessie/main adwaita-icon-theme all 3.14.0-2 [9978 kB] Get:106 http://deb.debian.org/debian/ jessie/main libgtk-3-common all 3.14.5-1+deb8u1 [3155 kB] Get:107 http://deb.debian.org/debian/ jessie/main libjson-glib-1.0-common all 1.0.2-1 [147 kB] Get:108 http://deb.debian.org/debian/ jessie/main libjson-glib-1.0-0 amd64 1.0.2-1 [158 kB] Get:109 http://deb.debian.org/debian/ jessie/main libproxy1 amd64 0.4.11-4+b2 [56.8 kB] Get:110 http://deb.debian.org/debian/ jessie/main glib-networking-common all 2.42.0-2 [52.1 kB] Get:111 http://deb.debian.org/debian/ jessie/main glib-networking-services amd64 2.42.0-2 [17.0 kB] Get:112 http://deb.debian.org/debian/ jessie/main gsettings-desktop-schemas all 3.14.1-1 [391 kB] Get:113 http://deb.debian.org/debian/ jessie/main glib-networking amd64 2.42.0-2 [51.9 kB] Get:114 http://deb.debian.org/debian/ jessie/main libsoup2.4-1 amd64 2.48.0-1+deb8u1 [259 kB] Get:115 http://deb.debian.org/debian/ jessie/main libsoup-gnome2.4-1 amd64 2.48.0-1+deb8u1 [57.4 kB] Get:116 http://deb.debian.org/debian/ jessie/main librest-0.7-0 amd64 0.7.92-3 [33.2 kB] Get:117 http://deb.debian.org/debian/ jessie/main shared-mime-info amd64 1.3-1 [634 kB] Get:118 http://deb.debian.org/debian/ jessie/main libgtk-3-0 amd64 3.14.5-1+deb8u1 [2249 kB] Get:119 http://deb.debian.org/debian/ jessie/main x11-common all 1:7.7+7 [287 kB] Get:120 http://deb.debian.org/debian/ jessie/main libice6 amd64 2:1.0.9-1+b1 [58.8 kB] Get:121 http://deb.debian.org/debian/ jessie/main libitm1 amd64 4.9.2-10+deb8u1 [29.3 kB] Get:122 http://deb.debian.org/debian/ jessie/main liblqr-1-0 amd64 0.4.2-2 [24.6 kB] Get:123 http://deb.debian.org/debian/ jessie/main liblsan0 amd64 4.9.2-10+deb8u1 [92.7 kB] Get:124 http://deb.debian.org/debian/ jessie/main libltdl7 amd64 2.4.2-1.11+b1 [45.4 kB] Get:125 http://deb.debian.org/debian/ jessie/main libmagickcore-6.q16-2 amd64 8:6.8.9.9-5+deb8u12 [1696 kB] Get:126 http://deb.debian.org/debian/ jessie/main libmagickwand-6.q16-2 amd64 8:6.8.9.9-5+deb8u12 [409 kB] Get:127 http://deb.debian.org/debian/ jessie/main libmpfr4 amd64 3.1.2-2 [527 kB] Get:128 http://deb.debian.org/debian/ jessie/main libquadmath0 amd64 4.9.2-10+deb8u1 [129 kB] Get:129 http://deb.debian.org/debian/ jessie/main libsm6 amd64 2:1.2.2-1+b1 [33.6 kB] Get:130 http://deb.debian.org/debian/ jessie/main libtsan0 amd64 4.9.2-10+deb8u1 [212 kB] Get:131 http://deb.debian.org/debian/ jessie/main libubsan0 amd64 4.9.2-10+deb8u1 [82.4 kB] Get:132 http://deb.debian.org/debian/ jessie/main libxft2 amd64 2.3.2-1 [55.4 kB] Get:133 http://deb.debian.org/debian/ jessie/main libxt6 amd64 1:1.1.4-1+b1 [186 kB] Get:134 http://deb.debian.org/debian/ jessie/main libmpc3 amd64 1.0.2-1 [39.3 kB] Get:135 http://deb.debian.org/debian/ jessie/main cpp-4.9 amd64 4.9.2-10+deb8u1 [5002 kB] Get:136 http://deb.debian.org/debian/ jessie/main cpp amd64 4:4.9.2-2 [17.3 kB] Get:137 http://deb.debian.org/debian/ jessie/main binutils amd64 2.25-5+deb8u1 [3496 kB] Get:138 http://deb.debian.org/debian/ jessie/main libgcc-4.9-dev amd64 4.9.2-10+deb8u1 [2066 kB] Get:139 http://deb.debian.org/debian/ jessie/main gcc-4.9 amd64 4.9.2-10+deb8u1 [5184 kB] Get:140 http://deb.debian.org/debian/ jessie/main gcc amd64 4:4.9.2-2 [5136 B] Get:141 http://deb.debian.org/debian/ jessie/main libgmp-dev amd64 2:6.0.0+dfsg-6 [621 kB] Get:142 http://deb.debian.org/debian/ jessie/main libffi-dev amd64 3.1-2+deb8u1 [157 kB] Get:143 http://deb.debian.org/debian/ jessie/main libbsd-dev amd64 0.7.0-2 [160 kB] Get:144 http://deb.debian.org/debian/ jessie/main libc-dev-bin amd64 2.19-18+deb8u10 [238 kB] Get:145 http://deb.debian.org/debian/ jessie/main linux-libc-dev amd64 3.16.56-1+deb8u1 [1096 kB] Get:146 http://deb.debian.org/debian/ jessie/main libc6-dev amd64 2.19-18+deb8u10 [2003 kB] Get:147 http://deb.debian.org/debian/ jessie/main ghc amd64 7.6.3-21 [25.3 MB] Get:148 http://deb.debian.org/debian/ jessie/main emacsen-common all 2.0.8 [21.2 kB] Get:149 http://deb.debian.org/debian/ jessie/main emacs24-common all 24.4+1-5+deb8u1 [12.8 MB] Get:150 http://deb.debian.org/debian/ jessie/main emacs24-bin-common amd64 24.4+1-5+deb8u1 [251 kB] Get:151 http://deb.debian.org/debian/ jessie/main gconf-service amd64 3.2.6-3 [414 kB] Get:152 http://deb.debian.org/debian/ jessie/main libotf0 amd64 0.9.13-2 [52.9 kB] Get:153 http://deb.debian.org/debian/ jessie/main m17n-db all 1.6.5-1 [1309 kB] Get:154 http://deb.debian.org/debian/ jessie/main libm17n-0 amd64 1.6.4-3 [247 kB] Get:155 http://deb.debian.org/debian/ jessie/main emacs24 amd64 24.4+1-5+deb8u1 [3522 kB] Get:156 http://deb.debian.org/debian/ jessie/main emacs all 46.1 [1634 B] Get:157 http://deb.debian.org/debian/ jessie/main agda-bin amd64 2.4.0.2-2+b1 [3920 kB] Get:158 http://deb.debian.org/debian/ jessie/main libghc-random-dev amd64 1.0.1.1-3 [237 kB] Get:159 http://deb.debian.org/debian/ jessie/main libghc-primitive-dev amd64 0.5.0.1-3 [117 kB] Get:160 http://deb.debian.org/debian/ jessie/main libghc-tf-random-dev amd64 0.5-1 [68.8 kB] Get:161 http://deb.debian.org/debian/ jessie/main libghc-transformers-dev amd64 0.3.0.0-5 [409 kB] Get:162 http://deb.debian.org/debian/ jessie/main libghc-quickcheck2-dev amd64 2.7.6-3 [387 kB] Get:163 http://deb.debian.org/debian/ jessie/main libghc-mtl-dev amd64 2.1.2-4 [114 kB] Get:164 http://deb.debian.org/debian/ jessie/main libghc-stmonadtrans-dev amd64 0.3.2-1 [30.1 kB] Get:165 http://deb.debian.org/debian/ jessie/main libghc-binary-dev amd64 0.7.2.1-1 [172 kB] Get:166 http://deb.debian.org/debian/ jessie/main libghc-split-dev amd64 0.2.2-1 [54.6 kB] Get:167 http://deb.debian.org/debian/ jessie/main libghc-boxes-dev amd64 0.1.3-1 [30.8 kB] Get:168 http://deb.debian.org/debian/ jessie/main libghc-data-hash-dev amd64 0.2.0.0-1 [61.9 kB] Get:169 http://deb.debian.org/debian/ jessie/main libghc-equivalence-dev amd64 0.2.5-1 [59.6 kB] Get:170 http://deb.debian.org/debian/ jessie/main libghc-geniplate-dev amd64 0.6.0.4-1 [58.6 kB] Get:171 http://deb.debian.org/debian/ jessie/main libghc-text-dev amd64 0.11.3.1-1 [1626 kB] Get:172 http://deb.debian.org/debian/ jessie/main libghc-hashable-dev amd64 1.2.1.0-5 [39.7 kB] Get:173 http://deb.debian.org/debian/ jessie/main libghc-vector-dev amd64 0.10.0.1-3 [1720 kB] Get:174 http://deb.debian.org/debian/ jessie/main libghc-hashtables-dev amd64 1.0.1.8-2+b2 [155 kB] Get:175 http://deb.debian.org/debian/ jessie/main libtinfo-dev amd64 5.9+20140913-1+deb8u3 [77.2 kB] Get:176 http://deb.debian.org/debian/ jessie/main libncurses5-dev amd64 5.9+20140913-1+deb8u3 [175 kB] Get:177 http://deb.debian.org/debian/ jessie/main libghc-terminfo-dev amd64 0.3.2.5-3 [132 kB] Get:178 http://deb.debian.org/debian/ jessie/main libghc-haskeline-dev amd64 0.7.1.3-1 [511 kB] Get:179 http://deb.debian.org/debian/ jessie/main libghc-polyparse-dev amd64 1.9-1 [373 kB] Get:180 http://deb.debian.org/debian/ jessie/main libghc-cpphs-dev amd64 1.18.5-1 [155 kB] Get:181 http://deb.debian.org/debian/ jessie/main libghc-src-exts-dev amd64 1.14.0.1-4 [3936 kB] Get:182 http://deb.debian.org/debian/ jessie/main libghc-parallel-dev amd64 3.2.0.4-1 [40.4 kB] Get:183 http://deb.debian.org/debian/ jessie/main libghc-strict-dev amd64 0.3.2-7 [65.3 kB] Get:184 http://deb.debian.org/debian/ jessie/main libghc-unordered-containers-dev amd64 0.2.5.0-1 [143 kB] Get:185 http://deb.debian.org/debian/ jessie/main libghc-xhtml-dev amd64 3000.2.1-4 [218 kB] Get:186 http://deb.debian.org/debian/ jessie/main zlib1g-dev amd64 1:1.2.8.dfsg-2+b1 [206 kB] Get:187 http://deb.debian.org/debian/ jessie/main libghc-zlib-dev amd64 0.5.4.1-1 [97.1 kB] Get:188 http://deb.debian.org/debian/ jessie/main libghc-agda-dev amd64 2.4.0.2-2+b1 [9793 kB] Get:189 http://deb.debian.org/debian/ jessie/main agda-mode all 2.4.0.2-2 [88.3 kB] Get:190 http://deb.debian.org/debian/ jessie/main agda-stdlib all 0.8-2 [23.5 MB] Get:191 http://deb.debian.org/debian/ jessie/main agda-stdlib-doc all 0.8-2 [1235 kB] Get:192 http://deb.debian.org/debian/ jessie/main agda all 2.4.0.2-2 [56.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 157 MB in 16s (9254 kB/s) Selecting previously unselected package libgmp10: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 ... 7475 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.0.0+dfsg-6_amd64.deb ... Unpacking libgmp10:amd64 (2:6.0.0+dfsg-6) ... Selecting previously unselected package libnettle4:amd64. Preparing to unpack .../libnettle4_2.7.1-5+deb8u2_amd64.deb ... Unpacking libnettle4:amd64 (2.7.1-5+deb8u2) ... Selecting previously unselected package libhogweed2:amd64. Preparing to unpack .../libhogweed2_2.7.1-5+deb8u2_amd64.deb ... Unpacking libhogweed2:amd64 (2.7.1-5+deb8u2) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../libffi6_3.1-2+deb8u1_amd64.deb ... Unpacking libffi6:amd64 (3.1-2+deb8u1) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../libp11-kit0_0.20.7-1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.20.7-1) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../libtasn1-6_4.2-3+deb8u3_amd64.deb ... Unpacking libtasn1-6:amd64 (4.2-3+deb8u3) ... Selecting previously unselected package libgnutls-deb0-28:amd64. Preparing to unpack .../libgnutls-deb0-28_3.3.8-6+deb8u7_amd64.deb ... Unpacking libgnutls-deb0-28:amd64 (3.3.8-6+deb8u7) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../libgpm2_1.20.4-6.1+b2_amd64.deb ... Unpacking libgpm2:amd64 (1.20.4-6.1+b2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../libkeyutils1_1.5.9-5+b1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-5+b1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../libkrb5support0_1.12.1+dfsg-19+deb8u4_amd64.deb ... Unpacking libkrb5support0:amd64 (1.12.1+dfsg-19+deb8u4) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../libk5crypto3_1.12.1+dfsg-19+deb8u4_amd64.deb ... Unpacking libk5crypto3:amd64 (1.12.1+dfsg-19+deb8u4) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../libkrb5-3_1.12.1+dfsg-19+deb8u4_amd64.deb ... Unpacking libkrb5-3:amd64 (1.12.1+dfsg-19+deb8u4) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-19+deb8u4_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.12.1+dfsg-19+deb8u4) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-13+deb8u1_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.26.dfsg1-13+deb8u1) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-13+deb8u1_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.26.dfsg1-13+deb8u1) ... Selecting previously unselected package libldap-2.4-2:amd64. Preparing to unpack .../libldap-2.4-2_2.4.40+dfsg-1+deb8u4_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.40+dfsg-1+deb8u4) ... Selecting previously unselected package liblockfile-bin. Preparing to unpack .../liblockfile-bin_1.09-6_amd64.deb ... Unpacking liblockfile-bin (1.09-6) ... Selecting previously unselected package liblockfile1:amd64. Preparing to unpack .../liblockfile1_1.09-6_amd64.deb ... Unpacking liblockfile1:amd64 (1.09-6) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../libsqlite3-0_3.8.7.1-1+deb8u2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.8.7.1-1+deb8u2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.1+dfsg1-5+deb8u6_amd64.deb ... Unpacking libxml2:amd64 (2.9.1+dfsg1-5+deb8u6) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.1.0-6+deb8u4_amd64.deb ... Unpacking libexpat1:amd64 (2.1.0-6+deb8u4) ... Selecting previously unselected package libpng12-0:amd64. Preparing to unpack .../libpng12-0_1.2.50-2+deb8u3_amd64.deb ... Unpacking libpng12-0:amd64 (1.2.50-2+deb8u3) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../libfreetype6_2.5.2-3+deb8u2_amd64.deb ... Unpacking libfreetype6:amd64 (2.5.2-3+deb8u2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1_all.deb ... Unpacking fonts-dejavu-core (2.34-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-6.3+deb8u1_all.deb ... Unpacking fontconfig-config (2.11.0-6.3+deb8u1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../libfontconfig1_2.11.0-6.3+deb8u1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.0-6.3+deb8u1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.0-6.3+deb8u1_amd64.deb ... Unpacking fontconfig (2.11.0-6.3+deb8u1) ... Selecting previously unselected package imagemagick-common. Preparing to unpack .../imagemagick-common_8%3a6.8.9.9-5+deb8u12_all.deb ... Unpacking imagemagick-common (8:6.8.9.9-5+deb8u12) ... Selecting previously unselected package libasan1:amd64. Preparing to unpack .../libasan1_4.9.2-10+deb8u1_amd64.deb ... Unpacking libasan1:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../libasound2-data_1.0.28-1_all.deb ... Unpacking libasound2-data (1.0.28-1) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../libasound2_1.0.28-1_amd64.deb ... Unpacking libasound2:amd64 (1.0.28-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.42.1-1+b1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.42.1-1+b1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.14.0-1_all.deb ... Unpacking libatk1.0-data (2.14.0-1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../libatk1.0-0_2.14.0-1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.14.0-1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../libdbus-1-3_1.8.22-0+deb8u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.8.22-0+deb8u1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.1-1+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../libxcb1_1.10-3+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.10-3+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.2-3+deb8u1_all.deb ... Unpacking libx11-data (2:1.6.2-3+deb8u1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../libx11-6_2%3a1.6.2-3+deb8u1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.2-3+deb8u1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../libatspi2.0-0_2.14.0-1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.14.0-1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../libatk-bridge2.0-0_2.14.0-2_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.14.0-2) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../libatomic1_4.9.2-10+deb8u1_amd64.deb ... Unpacking libatomic1:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../libavahi-common-data_0.6.31-5_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.31-5) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../libavahi-common3_0.6.31-5_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.31-5) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../libavahi-client3_0.6.31-5_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.31-5) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../libbsd0_0.7.0-2_amd64.deb ... Unpacking libbsd0:amd64 (0.7.0-2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../libpixman-1-0_0.32.6-3_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.32.6-3) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../libxcb-render0_1.10-3+b1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../libxcb-shm0_1.10-3+b1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../libxrender1_1%3a0.9.8-1+b1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.8-1+b1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../libcairo2_1.14.0-2.1+deb8u2_amd64.deb ... Unpacking libcairo2:amd64 (1.14.0-2.1+deb8u2) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../libcairo-gobject2_1.14.0-2.1+deb8u2_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.0-2.1+deb8u2) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../libcilkrts5_4.9.2-10+deb8u1_amd64.deb ... Unpacking libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libisl10:amd64. Preparing to unpack .../libisl10_0.12.2-2_amd64.deb ... Unpacking libisl10:amd64 (0.12.2-2) ... Selecting previously unselected package libcloog-isl4:amd64. Preparing to unpack .../libcloog-isl4_0.18.2-1+b2_amd64.deb ... Unpacking libcloog-isl4:amd64 (0.18.2-1+b2) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../liblcms2-2_2.6-3+deb8u1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.6-3+deb8u1) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../libcolord2_1.2.1-1+b2_amd64.deb ... Unpacking libcolord2:amd64 (1.2.1-1+b2) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-3+b1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-3+b1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../libcups2_1.7.5-11+deb8u2_amd64.deb ... Unpacking libcups2:amd64 (1.7.5-11+deb8u2) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../libdatrie1_0.2.8-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.8-1) ... Selecting previously unselected package libdbus-glib-1-2:amd64. Preparing to unpack .../libdbus-glib-1-2_0.102-1_amd64.deb ... Unpacking libdbus-glib-1-2:amd64 (0.102-1) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../libdconf1_0.22.0-1_amd64.deb ... Unpacking libdconf1:amd64 (0.22.0-1) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../libgomp1_4.9.2-10+deb8u1_amd64.deb ... Unpacking libgomp1:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../libfftw3-double3_3.3.4-2_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.4-2) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../libfribidi0_0.19.6-3_amd64.deb ... Unpacking libfribidi0:amd64 (0.19.6-3) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../gconf2-common_3.2.6-3_all.deb ... Unpacking gconf2-common (3.2.6-3) ... Selecting previously unselected package libgconf-2-4:amd64. Preparing to unpack .../libgconf-2-4_3.2.6-3_amd64.deb ... Unpacking libgconf-2-4:amd64 (3.2.6-3) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../libjpeg62-turbo_1%3a1.3.1-12_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.3.1-12) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../libjbig0_2.1-3.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../libtiff5_4.0.3-12.3+deb8u5_amd64.deb ... Unpacking libtiff5:amd64 (4.0.3-12.3+deb8u5) ... Selecting previously unselected package libvpx1:amd64. Preparing to unpack .../libvpx1_1.3.0-3+deb8u1_amd64.deb ... Unpacking libvpx1:amd64 (1.3.0-3+deb8u1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../libxpm4_1%3a3.5.12-0+deb8u1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-0+deb8u1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../libgd3_2.1.0-5+deb8u11_amd64.deb ... Unpacking libgd3:amd64 (2.1.0-5+deb8u11) ... Selecting previously unselected package libjasper1:amd64. Preparing to unpack .../libjasper1_1.900.1-debian1-2.4+deb8u3_amd64.deb ... Unpacking libjasper1:amd64 (1.900.1-debian1-2.4+deb8u3) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.31.1-2+deb8u7_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.31.1-2+deb8u7) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../libgdk-pixbuf2.0-0_2.31.1-2+deb8u7_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.31.1-2+deb8u7) ... Selecting previously unselected package libgif4:amd64. Preparing to unpack .../libgif4_4.1.6-11+deb8u1_amd64.deb ... Unpacking libgif4:amd64 (4.1.6-11+deb8u1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-6_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../libgraphite2-3_1.3.10-1~deb8u1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.10-1~deb8u1) ... Selecting previously unselected package dconf-service. Preparing to unpack .../dconf-service_0.22.0-1_amd64.deb ... Unpacking dconf-service (0.22.0-1) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../dconf-gsettings-backend_0.22.0-1_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.22.0-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../hicolor-icon-theme_0.13-1_all.deb ... Unpacking hicolor-icon-theme (0.13-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../libthai-data_0.1.21-1_all.deb ... Unpacking libthai-data (0.1.21-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../libthai0_0.1.21-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.21-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../libpango-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../libharfbuzz0b_0.9.35-2_amd64.deb ... Unpacking libharfbuzz0b:amd64 (0.9.35-2) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../libpangoft2-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../libpangocairo-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../libwayland-client0_1.6.0-2_amd64.deb ... Unpacking libwayland-client0:amd64 (1.6.0-2) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../libwayland-cursor0_1.6.0-2_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.6.0-2) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../libxfixes3_1%3a5.0.1-2+deb8u1_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.1-2+deb8u1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../libxcursor1_1%3a1.1.14-1+deb8u1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.1.14-1+deb8u1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../libxdamage1_1%3a1.1.4-2+b1_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-2+b1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../libxi6_2%3a1.7.4-1+deb8u1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.4-1+deb8u1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../libxinerama1_2%3a1.1.3-1+b1_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.3-1+b1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../xkb-data_2.12-1_all.deb ... Unpacking xkb-data (2.12-1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../libxkbcommon0_0.4.3-2_amd64.deb ... Unpacking libxkbcommon0:amd64 (0.4.3-2) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../libxrandr2_2%3a1.4.2-1+deb8u1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.4.2-1+deb8u1) ... Selecting previously unselected package libgtk-3-bin. Preparing to unpack .../libgtk-3-bin_3.14.5-1+deb8u1_amd64.deb ... Adding 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin' Adding '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' Unpacking libgtk-3-bin (3.14.5-1+deb8u1) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../librsvg2-2_2.40.5-1+deb8u2_amd64.deb ... Unpacking librsvg2-2:amd64 (2.40.5-1+deb8u2) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../librsvg2-common_2.40.5-1+deb8u2_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.5-1+deb8u2) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../adwaita-icon-theme_3.14.0-2_all.deb ... Unpacking adwaita-icon-theme (3.14.0-2) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../libgtk-3-common_3.14.5-1+deb8u1_all.deb ... Unpacking libgtk-3-common (3.14.5-1+deb8u1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../libjson-glib-1.0-common_1.0.2-1_all.deb ... Unpacking libjson-glib-1.0-common (1.0.2-1) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../libjson-glib-1.0-0_1.0.2-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.0.2-1) ... Selecting previously unselected package libproxy1:amd64. Preparing to unpack .../libproxy1_0.4.11-4+b2_amd64.deb ... Unpacking libproxy1:amd64 (0.4.11-4+b2) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../glib-networking-common_2.42.0-2_all.deb ... Unpacking glib-networking-common (2.42.0-2) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../glib-networking-services_2.42.0-2_amd64.deb ... Unpacking glib-networking-services (2.42.0-2) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../gsettings-desktop-schemas_3.14.1-1_all.deb ... Unpacking gsettings-desktop-schemas (3.14.1-1) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../glib-networking_2.42.0-2_amd64.deb ... Unpacking glib-networking:amd64 (2.42.0-2) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../libsoup2.4-1_2.48.0-1+deb8u1_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.48.0-1+deb8u1) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../libsoup-gnome2.4-1_2.48.0-1+deb8u1_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.48.0-1+deb8u1) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../librest-0.7-0_0.7.92-3_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.7.92-3) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.3-1_amd64.deb ... Unpacking shared-mime-info (1.3-1) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../libgtk-3-0_3.14.5-1+deb8u1_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.14.5-1+deb8u1) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+7_all.deb ... Unpacking x11-common (1:7.7+7) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../libice6_2%3a1.0.9-1+b1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-1+b1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../libitm1_4.9.2-10+deb8u1_amd64.deb ... Unpacking libitm1:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../liblqr-1-0_0.4.2-2_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../liblsan0_4.9.2-10+deb8u1_amd64.deb ... Unpacking liblsan0:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../libltdl7_2.4.2-1.11+b1_amd64.deb ... Unpacking libltdl7:amd64 (2.4.2-1.11+b1) ... Selecting previously unselected package libmagickcore-6.q16-2:amd64. Preparing to unpack .../libmagickcore-6.q16-2_8%3a6.8.9.9-5+deb8u12_amd64.deb ... Unpacking libmagickcore-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Selecting previously unselected package libmagickwand-6.q16-2:amd64. Preparing to unpack .../libmagickwand-6.q16-2_8%3a6.8.9.9-5+deb8u12_amd64.deb ... Unpacking libmagickwand-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Selecting previously unselected package libmpfr4:amd64. Preparing to unpack .../libmpfr4_3.1.2-2_amd64.deb ... Unpacking libmpfr4:amd64 (3.1.2-2) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../libquadmath0_4.9.2-10+deb8u1_amd64.deb ... Unpacking libquadmath0:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../libsm6_2%3a1.2.2-1+b1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1+b1) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../libtsan0_4.9.2-10+deb8u1_amd64.deb ... Unpacking libtsan0:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../libubsan0_4.9.2-10+deb8u1_amd64.deb ... Unpacking libubsan0:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../libxft2_2.3.2-1_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../libxt6_1%3a1.1.4-1+b1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.4-1+b1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../libmpc3_1.0.2-1_amd64.deb ... Unpacking libmpc3:amd64 (1.0.2-1) ... Selecting previously unselected package cpp-4.9. Preparing to unpack .../cpp-4.9_4.9.2-10+deb8u1_amd64.deb ... Unpacking cpp-4.9 (4.9.2-10+deb8u1) ... Selecting previously unselected package cpp. Preparing to unpack .../cpp_4%3a4.9.2-2_amd64.deb ... Unpacking cpp (4:4.9.2-2) ... Selecting previously unselected package binutils. Preparing to unpack .../binutils_2.25-5+deb8u1_amd64.deb ... Unpacking binutils (2.25-5+deb8u1) ... Selecting previously unselected package libgcc-4.9-dev:amd64. Preparing to unpack .../libgcc-4.9-dev_4.9.2-10+deb8u1_amd64.deb ... Unpacking libgcc-4.9-dev:amd64 (4.9.2-10+deb8u1) ... Selecting previously unselected package gcc-4.9. Preparing to unpack .../gcc-4.9_4.9.2-10+deb8u1_amd64.deb ... Unpacking gcc-4.9 (4.9.2-10+deb8u1) ... Selecting previously unselected package gcc. Preparing to unpack .../gcc_4%3a4.9.2-2_amd64.deb ... Unpacking gcc (4:4.9.2-2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-6_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Selecting previously unselected package libffi-dev:amd64. Preparing to unpack .../libffi-dev_3.1-2+deb8u1_amd64.deb ... Unpacking libffi-dev:amd64 (3.1-2+deb8u1) ... Selecting previously unselected package libbsd-dev:amd64. Preparing to unpack .../libbsd-dev_0.7.0-2_amd64.deb ... Unpacking libbsd-dev:amd64 (0.7.0-2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../libc-dev-bin_2.19-18+deb8u10_amd64.deb ... Unpacking libc-dev-bin (2.19-18+deb8u10) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../linux-libc-dev_3.16.56-1+deb8u1_amd64.deb ... Unpacking linux-libc-dev:amd64 (3.16.56-1+deb8u1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../libc6-dev_2.19-18+deb8u10_amd64.deb ... Unpacking libc6-dev:amd64 (2.19-18+deb8u10) ... Selecting previously unselected package ghc. Preparing to unpack .../ghc_7.6.3-21_amd64.deb ... Unpacking ghc (7.6.3-21) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package emacs24-common. Preparing to unpack .../emacs24-common_24.4+1-5+deb8u1_all.deb ... Unpacking emacs24-common (24.4+1-5+deb8u1) ... Selecting previously unselected package emacs24-bin-common. Preparing to unpack .../emacs24-bin-common_24.4+1-5+deb8u1_amd64.deb ... Unpacking emacs24-bin-common (24.4+1-5+deb8u1) ... Selecting previously unselected package gconf-service. Preparing to unpack .../gconf-service_3.2.6-3_amd64.deb ... Unpacking gconf-service (3.2.6-3) ... Selecting previously unselected package libotf0. Preparing to unpack .../libotf0_0.9.13-2_amd64.deb ... Unpacking libotf0 (0.9.13-2) ... Selecting previously unselected package m17n-db. Preparing to unpack .../m17n-db_1.6.5-1_all.deb ... Unpacking m17n-db (1.6.5-1) ... Selecting previously unselected package libm17n-0. Preparing to unpack .../libm17n-0_1.6.4-3_amd64.deb ... Unpacking libm17n-0 (1.6.4-3) ... Selecting previously unselected package emacs24. Preparing to unpack .../emacs24_24.4+1-5+deb8u1_amd64.deb ... Unpacking emacs24 (24.4+1-5+deb8u1) ... Selecting previously unselected package emacs. Preparing to unpack .../archives/emacs_46.1_all.deb ... Unpacking emacs (46.1) ... Selecting previously unselected package agda-bin. Preparing to unpack .../agda-bin_2.4.0.2-2+b1_amd64.deb ... Unpacking agda-bin (2.4.0.2-2+b1) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../libghc-random-dev_1.0.1.1-3_amd64.deb ... Unpacking libghc-random-dev (1.0.1.1-3) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../libghc-primitive-dev_0.5.0.1-3_amd64.deb ... Unpacking libghc-primitive-dev (0.5.0.1-3) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../libghc-tf-random-dev_0.5-1_amd64.deb ... Unpacking libghc-tf-random-dev (0.5-1) ... Selecting previously unselected package libghc-transformers-dev. Preparing to unpack .../libghc-transformers-dev_0.3.0.0-5_amd64.deb ... Unpacking libghc-transformers-dev (0.3.0.0-5) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../libghc-quickcheck2-dev_2.7.6-3_amd64.deb ... Unpacking libghc-quickcheck2-dev (2.7.6-3) ... Selecting previously unselected package libghc-mtl-dev. Preparing to unpack .../libghc-mtl-dev_2.1.2-4_amd64.deb ... Unpacking libghc-mtl-dev (2.1.2-4) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../libghc-stmonadtrans-dev_0.3.2-1_amd64.deb ... Unpacking libghc-stmonadtrans-dev (0.3.2-1) ... Selecting previously unselected package libghc-binary-dev. Preparing to unpack .../libghc-binary-dev_0.7.2.1-1_amd64.deb ... Unpacking libghc-binary-dev (0.7.2.1-1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../libghc-split-dev_0.2.2-1_amd64.deb ... Unpacking libghc-split-dev (0.2.2-1) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../libghc-boxes-dev_0.1.3-1_amd64.deb ... Unpacking libghc-boxes-dev (0.1.3-1) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../libghc-data-hash-dev_0.2.0.0-1_amd64.deb ... Unpacking libghc-data-hash-dev (0.2.0.0-1) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../libghc-equivalence-dev_0.2.5-1_amd64.deb ... Unpacking libghc-equivalence-dev (0.2.5-1) ... Selecting previously unselected package libghc-geniplate-dev. Preparing to unpack .../libghc-geniplate-dev_0.6.0.4-1_amd64.deb ... Unpacking libghc-geniplate-dev (0.6.0.4-1) ... Selecting previously unselected package libghc-text-dev. Preparing to unpack .../libghc-text-dev_0.11.3.1-1_amd64.deb ... Unpacking libghc-text-dev (0.11.3.1-1) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../libghc-hashable-dev_1.2.1.0-5_amd64.deb ... Unpacking libghc-hashable-dev (1.2.1.0-5) ... Selecting previously unselected package libghc-vector-dev. Preparing to unpack .../libghc-vector-dev_0.10.0.1-3_amd64.deb ... Unpacking libghc-vector-dev (0.10.0.1-3) ... Selecting previously unselected package libghc-hashtables-dev. Preparing to unpack .../libghc-hashtables-dev_1.0.1.8-2+b2_amd64.deb ... Unpacking libghc-hashtables-dev (1.0.1.8-2+b2) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_5.9+20140913-1+deb8u3_amd64.deb ... Unpacking libtinfo-dev:amd64 (5.9+20140913-1+deb8u3) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../libncurses5-dev_5.9+20140913-1+deb8u3_amd64.deb ... Unpacking libncurses5-dev:amd64 (5.9+20140913-1+deb8u3) ... Selecting previously unselected package libghc-terminfo-dev. Preparing to unpack .../libghc-terminfo-dev_0.3.2.5-3_amd64.deb ... Unpacking libghc-terminfo-dev (0.3.2.5-3) ... Selecting previously unselected package libghc-haskeline-dev. Preparing to unpack .../libghc-haskeline-dev_0.7.1.3-1_amd64.deb ... Unpacking libghc-haskeline-dev (0.7.1.3-1) ... Selecting previously unselected package libghc-polyparse-dev. Preparing to unpack .../libghc-polyparse-dev_1.9-1_amd64.deb ... Unpacking libghc-polyparse-dev (1.9-1) ... Selecting previously unselected package libghc-cpphs-dev. Preparing to unpack .../libghc-cpphs-dev_1.18.5-1_amd64.deb ... Unpacking libghc-cpphs-dev (1.18.5-1) ... Selecting previously unselected package libghc-src-exts-dev. Preparing to unpack .../libghc-src-exts-dev_1.14.0.1-4_amd64.deb ... Unpacking libghc-src-exts-dev (1.14.0.1-4) ... Selecting previously unselected package libghc-parallel-dev. Preparing to unpack .../libghc-parallel-dev_3.2.0.4-1_amd64.deb ... Unpacking libghc-parallel-dev (3.2.0.4-1) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../libghc-strict-dev_0.3.2-7_amd64.deb ... Unpacking libghc-strict-dev (0.3.2-7) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../libghc-unordered-containers-dev_0.2.5.0-1_amd64.deb ... Unpacking libghc-unordered-containers-dev (0.2.5.0-1) ... Selecting previously unselected package libghc-xhtml-dev. Preparing to unpack .../libghc-xhtml-dev_3000.2.1-4_amd64.deb ... Unpacking libghc-xhtml-dev (3000.2.1-4) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2+b1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ... Selecting previously unselected package libghc-zlib-dev. Preparing to unpack .../libghc-zlib-dev_0.5.4.1-1_amd64.deb ... Unpacking libghc-zlib-dev (0.5.4.1-1) ... Selecting previously unselected package libghc-agda-dev. Preparing to unpack .../libghc-agda-dev_2.4.0.2-2+b1_amd64.deb ... Unpacking libghc-agda-dev (2.4.0.2-2+b1) ... Selecting previously unselected package agda-mode. Preparing to unpack .../agda-mode_2.4.0.2-2_all.deb ... Unpacking agda-mode (2.4.0.2-2) ... Selecting previously unselected package agda-stdlib. Preparing to unpack .../agda-stdlib_0.8-2_all.deb ... Unpacking agda-stdlib (0.8-2) ... Selecting previously unselected package agda-stdlib-doc. Preparing to unpack .../agda-stdlib-doc_0.8-2_all.deb ... Unpacking agda-stdlib-doc (0.8-2) ... Selecting previously unselected package agda. Preparing to unpack .../agda_2.4.0.2-2_all.deb ... Unpacking agda (2.4.0.2-2) ... Processing triggers for systemd (215-17+deb8u7) ... Setting up libgmp10:amd64 (2:6.0.0+dfsg-6) ... Setting up libnettle4:amd64 (2.7.1-5+deb8u2) ... Setting up libhogweed2:amd64 (2.7.1-5+deb8u2) ... Setting up libffi6:amd64 (3.1-2+deb8u1) ... Setting up libp11-kit0:amd64 (0.20.7-1) ... Setting up libtasn1-6:amd64 (4.2-3+deb8u3) ... Setting up libgnutls-deb0-28:amd64 (3.3.8-6+deb8u7) ... Setting up libgpm2:amd64 (1.20.4-6.1+b2) ... Setting up libkeyutils1:amd64 (1.5.9-5+b1) ... Setting up libkrb5support0:amd64 (1.12.1+dfsg-19+deb8u4) ... Setting up libk5crypto3:amd64 (1.12.1+dfsg-19+deb8u4) ... Setting up libkrb5-3:amd64 (1.12.1+dfsg-19+deb8u4) ... Setting up libgssapi-krb5-2:amd64 (1.12.1+dfsg-19+deb8u4) ... Setting up libsasl2-modules-db:amd64 (2.1.26.dfsg1-13+deb8u1) ... Setting up libsasl2-2:amd64 (2.1.26.dfsg1-13+deb8u1) ... Setting up libldap-2.4-2:amd64 (2.4.40+dfsg-1+deb8u4) ... Setting up liblockfile-bin (1.09-6) ... Setting up liblockfile1:amd64 (1.09-6) ... Setting up libsqlite3-0:amd64 (3.8.7.1-1+deb8u2) ... Setting up libxml2:amd64 (2.9.1+dfsg1-5+deb8u6) ... Setting up libexpat1:amd64 (2.1.0-6+deb8u4) ... Setting up libpng12-0:amd64 (1.2.50-2+deb8u3) ... Setting up libfreetype6:amd64 (2.5.2-3+deb8u2) ... Setting up fonts-dejavu-core (2.34-1) ... Setting up fontconfig-config (2.11.0-6.3+deb8u1) ... Setting up libfontconfig1:amd64 (2.11.0-6.3+deb8u1) ... Setting up fontconfig (2.11.0-6.3+deb8u1) ... Regenerating fonts cache... done. Setting up imagemagick-common (8:6.8.9.9-5+deb8u12) ... Setting up libasan1:amd64 (4.9.2-10+deb8u1) ... Setting up libasound2-data (1.0.28-1) ... Setting up libasound2:amd64 (1.0.28-1) ... Setting up libglib2.0-0:amd64 (2.42.1-1+b1) ... Setting up libatk1.0-data (2.14.0-1) ... Setting up libatk1.0-0:amd64 (2.14.0-1) ... Setting up libdbus-1-3:amd64 (1.8.22-0+deb8u1) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1+b1) ... Setting up libxcb1:amd64 (1.10-3+b1) ... Setting up libx11-data (2:1.6.2-3+deb8u1) ... Setting up libx11-6:amd64 (2:1.6.2-3+deb8u1) ... Setting up libatspi2.0-0:amd64 (2.14.0-1) ... Setting up libatk-bridge2.0-0:amd64 (2.14.0-2) ... Setting up libatomic1:amd64 (4.9.2-10+deb8u1) ... Setting up libavahi-common-data:amd64 (0.6.31-5) ... Setting up libavahi-common3:amd64 (0.6.31-5) ... Setting up libavahi-client3:amd64 (0.6.31-5) ... Setting up libbsd0:amd64 (0.7.0-2) ... Setting up libpixman-1-0:amd64 (0.32.6-3) ... Setting up libxcb-render0:amd64 (1.10-3+b1) ... Setting up libxcb-shm0:amd64 (1.10-3+b1) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up libxrender1:amd64 (1:0.9.8-1+b1) ... Setting up libcairo2:amd64 (1.14.0-2.1+deb8u2) ... Setting up libcairo-gobject2:amd64 (1.14.0-2.1+deb8u2) ... Setting up libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Setting up libisl10:amd64 (0.12.2-2) ... Setting up libcloog-isl4:amd64 (0.18.2-1+b2) ... Setting up liblcms2-2:amd64 (2.6-3+deb8u1) ... Setting up libcolord2:amd64 (1.2.1-1+b2) ... Setting up libcroco3:amd64 (0.6.8-3+b1) ... Setting up libcups2:amd64 (1.7.5-11+deb8u2) ... Setting up libdatrie1:amd64 (0.2.8-1) ... Setting up libdbus-glib-1-2:amd64 (0.102-1) ... Setting up libdconf1:amd64 (0.22.0-1) ... Setting up libgomp1:amd64 (4.9.2-10+deb8u1) ... Setting up libfftw3-double3:amd64 (3.3.4-2) ... Setting up libfribidi0:amd64 (0.19.6-3) ... Setting up gconf2-common (3.2.6-3) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:amd64 (3.2.6-3) ... Setting up libjpeg62-turbo:amd64 (1:1.3.1-12) ... Setting up libjbig0:amd64 (2.1-3.1) ... Setting up libtiff5:amd64 (4.0.3-12.3+deb8u5) ... Setting up libvpx1:amd64 (1.3.0-3+deb8u1) ... Setting up libxpm4:amd64 (1:3.5.12-0+deb8u1) ... Setting up libgd3:amd64 (2.1.0-5+deb8u11) ... Setting up libjasper1:amd64 (1.900.1-debian1-2.4+deb8u3) ... Setting up libgdk-pixbuf2.0-common (2.31.1-2+deb8u7) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.31.1-2+deb8u7) ... Setting up libgif4:amd64 (4.1.6-11+deb8u1) ... Setting up libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Setting up libgraphite2-3:amd64 (1.3.10-1~deb8u1) ... Setting up dconf-service (0.22.0-1) ... Setting up dconf-gsettings-backend:amd64 (0.22.0-1) ... Setting up hicolor-icon-theme (0.13-1) ... Setting up libthai-data (0.1.21-1) ... Setting up libthai0:amd64 (0.1.21-1) ... Setting up libpango-1.0-0:amd64 (1.36.8-3) ... Setting up libharfbuzz0b:amd64 (0.9.35-2) ... Setting up libpangoft2-1.0-0:amd64 (1.36.8-3) ... Setting up libpangocairo-1.0-0:amd64 (1.36.8-3) ... Setting up libwayland-client0:amd64 (1.6.0-2) ... Setting up libwayland-cursor0:amd64 (1.6.0-2) ... Setting up libxcomposite1:amd64 (1:0.4.4-1) ... Setting up libxfixes3:amd64 (1:5.0.1-2+deb8u1) ... Setting up libxcursor1:amd64 (1:1.1.14-1+deb8u1) ... Setting up libxdamage1:amd64 (1:1.1.4-2+b1) ... Setting up libxi6:amd64 (2:1.7.4-1+deb8u1) ... Setting up libxinerama1:amd64 (2:1.1.3-1+b1) ... Setting up xkb-data (2.12-1) ... Setting up libxkbcommon0:amd64 (0.4.3-2) ... Setting up libxrandr2:amd64 (2:1.4.2-1+deb8u1) ... Setting up librsvg2-2:amd64 (2.40.5-1+deb8u2) ... Setting up librsvg2-common:amd64 (2.40.5-1+deb8u2) ... Setting up libjson-glib-1.0-common (1.0.2-1) ... Setting up libjson-glib-1.0-0:amd64 (1.0.2-1) ... Setting up libproxy1:amd64 (0.4.11-4+b2) ... Setting up glib-networking-common (2.42.0-2) ... Setting up glib-networking-services (2.42.0-2) ... Setting up gsettings-desktop-schemas (3.14.1-1) ... Setting up glib-networking:amd64 (2.42.0-2) ... Setting up libsoup2.4-1:amd64 (2.48.0-1+deb8u1) ... Setting up libsoup-gnome2.4-1:amd64 (2.48.0-1+deb8u1) ... Setting up librest-0.7-0:amd64 (0.7.92-3) ... Setting up shared-mime-info (1.3-1) ... Setting up x11-common (1:7.7+7) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.9-1+b1) ... Setting up libitm1:amd64 (4.9.2-10+deb8u1) ... Setting up liblqr-1-0:amd64 (0.4.2-2) ... Setting up liblsan0:amd64 (4.9.2-10+deb8u1) ... Setting up libltdl7:amd64 (2.4.2-1.11+b1) ... Setting up libmagickcore-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Setting up libmagickwand-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Setting up libmpfr4:amd64 (3.1.2-2) ... Setting up libquadmath0:amd64 (4.9.2-10+deb8u1) ... Setting up libsm6:amd64 (2:1.2.2-1+b1) ... Setting up libtsan0:amd64 (4.9.2-10+deb8u1) ... Setting up libubsan0:amd64 (4.9.2-10+deb8u1) ... Setting up libxft2:amd64 (2.3.2-1) ... Setting up libxt6:amd64 (1:1.1.4-1+b1) ... Setting up libmpc3:amd64 (1.0.2-1) ... Setting up cpp-4.9 (4.9.2-10+deb8u1) ... Setting up cpp (4:4.9.2-2) ... Setting up binutils (2.25-5+deb8u1) ... Setting up libgcc-4.9-dev:amd64 (4.9.2-10+deb8u1) ... Setting up gcc-4.9 (4.9.2-10+deb8u1) ... Setting up gcc (4:4.9.2-2) ... Setting up libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Setting up libffi-dev:amd64 (3.1-2+deb8u1) ... Setting up libbsd-dev:amd64 (0.7.0-2) ... Setting up libc-dev-bin (2.19-18+deb8u10) ... Setting up linux-libc-dev:amd64 (3.16.56-1+deb8u1) ... Setting up libc6-dev:amd64 (2.19-18+deb8u10) ... Setting up ghc (7.6.3-21) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Setting up emacsen-common (2.0.8) ... Setting up emacs24-common (24.4+1-5+deb8u1) ... Setting up emacs24-bin-common (24.4+1-5+deb8u1) ... 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 gconf-service (3.2.6-3) ... Setting up libotf0 (0.9.13-2) ... Setting up m17n-db (1.6.5-1) ... Setting up libm17n-0 (1.6.4-3) ... Setting up agda-bin (2.4.0.2-2+b1) ... Setting up libghc-random-dev (1.0.1.1-3) ... Setting up libghc-primitive-dev (0.5.0.1-3) ... Setting up libghc-tf-random-dev (0.5-1) ... Setting up libghc-transformers-dev (0.3.0.0-5) ... Setting up libghc-quickcheck2-dev (2.7.6-3) ... Setting up libghc-mtl-dev (2.1.2-4) ... Setting up libghc-stmonadtrans-dev (0.3.2-1) ... Setting up libghc-binary-dev (0.7.2.1-1) ... Setting up libghc-split-dev (0.2.2-1) ... Setting up libghc-boxes-dev (0.1.3-1) ... Setting up libghc-data-hash-dev (0.2.0.0-1) ... Setting up libghc-equivalence-dev (0.2.5-1) ... Setting up libghc-geniplate-dev (0.6.0.4-1) ... Setting up libghc-text-dev (0.11.3.1-1) ... Setting up libghc-hashable-dev (1.2.1.0-5) ... Setting up libghc-vector-dev (0.10.0.1-3) ... Setting up libghc-hashtables-dev (1.0.1.8-2+b2) ... Setting up libtinfo-dev:amd64 (5.9+20140913-1+deb8u3) ... Setting up libncurses5-dev:amd64 (5.9+20140913-1+deb8u3) ... Setting up libghc-terminfo-dev (0.3.2.5-3) ... Setting up libghc-haskeline-dev (0.7.1.3-1) ... Setting up libghc-polyparse-dev (1.9-1) ... Setting up libghc-cpphs-dev (1.18.5-1) ... Setting up libghc-src-exts-dev (1.14.0.1-4) ... Setting up libghc-parallel-dev (3.2.0.4-1) ... Setting up libghc-strict-dev (0.3.2-7) ... Setting up libghc-unordered-containers-dev (0.2.5.0-1) ... Setting up libghc-xhtml-dev (3000.2.1-4) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ... Setting up libghc-zlib-dev (0.5.4.1-1) ... Setting up libghc-agda-dev (2.4.0.2-2+b1) ... Setting up agda-stdlib (0.8-2) ... Setting up agda-stdlib-doc (0.8-2) ... Setting up libgtk-3-bin (3.14.5-1+deb8u1) ... Setting up adwaita-icon-theme (3.14.0-2) ... Setting up libgtk-3-common (3.14.5-1+deb8u1) ... Setting up libgtk-3-0:amd64 (3.14.5-1+deb8u1) ... Setting up emacs24 (24.4+1-5+deb8u1) ... 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 Setting up emacs (46.1) ... Setting up agda-mode (2.4.0.2-2) ... Setting up agda (2.4.0.2-2) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.31.1-2+deb8u7) ... Processing triggers for systemd (215-17+deb8u7) ... 0m53.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', '-y', 'install', 'agda=2.4.0.2-2'] 0m53.4s INFO: Running scripts post_install 0m53.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_install_exceptions'] 0m53.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_install_exceptions'] 0m53.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 0m55.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 0m57.2s DEBUG: No broken symlinks as far as we can find. 0m58.5s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', '-ac', '--ignore-obsolete'] 1m2.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', '-ac', '--ignore-obsolete'] 1m2.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m2.2s DUMP: 0.15.6 1m2.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m2.2s INFO: Running adequate version 0.15.6 now. 1m2.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'agda'] 1m2.3s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'agda'] 1m2.3s INFO: Running scripts pre_remove 1m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_exceptions'] 1m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/pre_remove_exceptions'] 1m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m8.2s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed adwaita-icon-theme adwaita-icon-theme 3.14.0-2 install ok installed agda agda 2.4.0.2-2 install ok installed agda-bin agda-bin 2.4.0.2-2+b1 install ok installed agda-mode agda-mode 2.4.0.2-2 install ok installed agda-stdlib agda-stdlib 0.8-2 install ok installed agda-stdlib-doc agda-stdlib-doc 0.8-2 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed binutils binutils 2.25-5+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed cpp cpp 4:4.9.2-2 install ok installed cpp-4.9 cpp-4.9 4.9.2-10+deb8u1 install ok installed dash dash 0.5.7-4+b1 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.22.0-1 install ok installed dconf-service dconf-service 0.22.0-1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed emacs emacs 46.1 install ok installed emacs24 emacs24 24.4+1-5+deb8u1 install ok installed emacs24-bin-common emacs24-bin-common 24.4+1-5+deb8u1 install ok installed emacs24-common emacs24-common 24.4+1-5+deb8u1 install ok installed emacsen-common emacsen-common 2.0.8 install ok installed findutils findutils 4.4.2-9+b1 install ok installed fontconfig fontconfig 2.11.0-6.3+deb8u1 install ok installed fontconfig-config fontconfig-config 2.11.0-6.3+deb8u1 install ok installed fonts-dejavu-core fonts-dejavu-core 2.34-1 install ok installed gcc gcc 4:4.9.2-2 install ok installed gcc-4.9 gcc-4.9 4.9.2-10+deb8u1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed gconf-service gconf-service 3.2.6-3 install ok installed gconf2-common gconf2-common 3.2.6-3 install ok installed ghc ghc 7.6.3-21 install ok installed glib-networking:amd64 glib-networking 2.42.0-2 install ok installed glib-networking-common glib-networking-common 2.42.0-2 install ok installed glib-networking-services glib-networking-services 2.42.0-2 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gsettings-desktop-schemas gsettings-desktop-schemas 3.14.1-1 install ok installed gzip gzip 1.6-4 install ok installed hicolor-icon-theme hicolor-icon-theme 0.13-1 install ok installed hostname hostname 3.15 install ok installed imagemagick-common imagemagick-common 8:6.8.9.9-5+deb8u12 install ok installed init init 1.22 install ok installed init-system-helpers init-system-helpers 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libasan1:amd64 libasan1 4.9.2-10+deb8u1 install ok installed libasound2:amd64 libasound2 1.0.28-1 install ok installed libasound2-data libasound2-data 1.0.28-1 install ok installed libatk-bridge2.0-0:amd64 libatk-bridge2.0-0 2.14.0-2 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.14.0-1 install ok installed libatk1.0-data libatk1.0-data 2.14.0-1 install ok installed libatomic1:amd64 libatomic1 4.9.2-10+deb8u1 install ok installed libatspi2.0-0:amd64 libatspi2.0-0 2.14.0-1 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libavahi-client3:amd64 libavahi-client3 0.6.31-5 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.31-5 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.31-5 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbsd-dev:amd64 libbsd-dev 0.7.0-2 install ok installed libbsd0:amd64 libbsd0 0.7.0-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc-dev-bin libc-dev-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libc6-dev:amd64 libc6-dev 2.19-18+deb8u10 install ok installed libcairo-gobject2:amd64 libcairo-gobject2 1.14.0-2.1+deb8u2 install ok installed libcairo2:amd64 libcairo2 1.14.0-2.1+deb8u2 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcilkrts5:amd64 libcilkrts5 4.9.2-10+deb8u1 install ok installed libcloog-isl4:amd64 libcloog-isl4 0.18.2-1+b2 install ok installed libcolord2:amd64 libcolord2 1.2.1-1+b2 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcroco3:amd64 libcroco3 0.6.8-3+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libcups2:amd64 libcups2 1.7.5-11+deb8u2 install ok installed libdatrie1:amd64 libdatrie1 0.2.8-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.8.22-0+deb8u1 install ok installed libdbus-glib-1-2:amd64 libdbus-glib-1-2 0.102-1 install ok installed libdconf1:amd64 libdconf1 0.22.0-1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libexpat1:amd64 libexpat1 2.1.0-6+deb8u4 install ok installed libffi-dev:amd64 libffi-dev 3.1-2+deb8u1 install ok installed libffi6:amd64 libffi6 3.1-2+deb8u1 install ok installed libfftw3-double3:amd64 libfftw3-double3 3.3.4-2 install ok installed libfontconfig1:amd64 libfontconfig1 2.11.0-6.3+deb8u1 install ok installed libfreetype6:amd64 libfreetype6 2.5.2-3+deb8u2 install ok installed libfribidi0:amd64 libfribidi0 0.19.6-3 install ok installed libgcc-4.9-dev:amd64 libgcc-4.9-dev 4.9.2-10+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgconf-2-4:amd64 libgconf-2-4 3.2.6-3 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libgd3:amd64 libgd3 2.1.0-5+deb8u11 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.31.1-2+deb8u7 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.31.1-2+deb8u7 install ok installed libghc-agda-dev libghc-agda-dev 2.4.0.2-2+b1 install ok installed libghc-binary-dev libghc-binary-dev 0.7.2.1-1 install ok installed libghc-boxes-dev libghc-boxes-dev 0.1.3-1 install ok installed libghc-cpphs-dev libghc-cpphs-dev 1.18.5-1 install ok installed libghc-data-hash-dev libghc-data-hash-dev 0.2.0.0-1 install ok installed libghc-equivalence-dev libghc-equivalence-dev 0.2.5-1 install ok installed libghc-geniplate-dev libghc-geniplate-dev 0.6.0.4-1 install ok installed libghc-hashable-dev libghc-hashable-dev 1.2.1.0-5 install ok installed libghc-hashtables-dev libghc-hashtables-dev 1.0.1.8-2+b2 install ok installed libghc-haskeline-dev libghc-haskeline-dev 0.7.1.3-1 install ok installed libghc-mtl-dev libghc-mtl-dev 2.1.2-4 install ok installed libghc-parallel-dev libghc-parallel-dev 3.2.0.4-1 install ok installed libghc-polyparse-dev libghc-polyparse-dev 1.9-1 install ok installed libghc-primitive-dev libghc-primitive-dev 0.5.0.1-3 install ok installed libghc-quickcheck2-dev libghc-quickcheck2-dev 2.7.6-3 install ok installed libghc-random-dev libghc-random-dev 1.0.1.1-3 install ok installed libghc-split-dev libghc-split-dev 0.2.2-1 install ok installed libghc-src-exts-dev libghc-src-exts-dev 1.14.0.1-4 install ok installed libghc-stmonadtrans-dev libghc-stmonadtrans-dev 0.3.2-1 install ok installed libghc-strict-dev libghc-strict-dev 0.3.2-7 install ok installed libghc-terminfo-dev libghc-terminfo-dev 0.3.2.5-3 install ok installed libghc-text-dev libghc-text-dev 0.11.3.1-1 install ok installed libghc-tf-random-dev libghc-tf-random-dev 0.5-1 install ok installed libghc-transformers-dev libghc-transformers-dev 0.3.0.0-5 install ok installed libghc-unordered-containers-dev libghc-unordered-containers-dev 0.2.5.0-1 install ok installed libghc-vector-dev libghc-vector-dev 0.10.0.1-3 install ok installed libghc-xhtml-dev libghc-xhtml-dev 3000.2.1-4 install ok installed libghc-zlib-dev libghc-zlib-dev 0.5.4.1-1 install ok installed libgif4:amd64 libgif4 4.1.6-11+deb8u1 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.42.1-1+b1 install ok installed libgmp-dev:amd64 libgmp-dev 2:6.0.0+dfsg-6 install ok installed libgmp10:amd64 libgmp10 2:6.0.0+dfsg-6 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.0.0+dfsg-6 install ok installed libgnutls-deb0-28:amd64 libgnutls-deb0-28 3.3.8-6+deb8u7 install ok installed libgomp1:amd64 libgomp1 4.9.2-10+deb8u1 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libgpm2:amd64 libgpm2 1.20.4-6.1+b2 install ok installed libgraphite2-3:amd64 libgraphite2-3 1.3.10-1~deb8u1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.12.1+dfsg-19+deb8u4 install ok installed libgtk-3-0:amd64 libgtk-3-0 3.14.5-1+deb8u1 install ok installed libgtk-3-bin libgtk-3-bin 3.14.5-1+deb8u1 install ok installed libgtk-3-common libgtk-3-common 3.14.5-1+deb8u1 install ok installed libharfbuzz0b:amd64 libharfbuzz0b 0.9.35-2 install ok installed libhogweed2:amd64 libhogweed2 2.7.1-5+deb8u2 install ok installed libice6:amd64 libice6 2:1.0.9-1+b1 install ok installed libisl10:amd64 libisl10 0.12.2-2 install ok installed libitm1:amd64 libitm1 4.9.2-10+deb8u1 install ok installed libjasper1:amd64 libjasper1 1.900.1-debian1-2.4+deb8u3 install ok installed libjbig0:amd64 libjbig0 2.1-3.1 install ok installed libjpeg62-turbo:amd64 libjpeg62-turbo 1:1.3.1-12 install ok installed libjson-glib-1.0-0:amd64 libjson-glib-1.0-0 1.0.2-1 install ok installed libjson-glib-1.0-common libjson-glib-1.0-common 1.0.2-1 install ok installed libk5crypto3:amd64 libk5crypto3 1.12.1+dfsg-19+deb8u4 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.9-5+b1 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed libkrb5-3:amd64 libkrb5-3 1.12.1+dfsg-19+deb8u4 install ok installed libkrb5support0:amd64 libkrb5support0 1.12.1+dfsg-19+deb8u4 install ok installed liblcms2-2:amd64 liblcms2-2 2.6-3+deb8u1 install ok installed libldap-2.4-2:amd64 libldap-2.4-2 2.4.40+dfsg-1+deb8u4 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblockfile-bin liblockfile-bin 1.09-6 install ok installed liblockfile1:amd64 liblockfile1 1.09-6 install ok installed liblqr-1-0:amd64 liblqr-1-0 0.4.2-2 install ok installed liblsan0:amd64 liblsan0 4.9.2-10+deb8u1 install ok installed libltdl7:amd64 libltdl7 2.4.2-1.11+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libm17n-0 libm17n-0 1.6.4-3 install ok installed libmagickcore-6.q16-2:amd64 libmagickcore-6.q16-2 8:6.8.9.9-5+deb8u12 install ok installed libmagickwand-6.q16-2:amd64 libmagickwand-6.q16-2 8:6.8.9.9-5+deb8u12 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libmpc3:amd64 libmpc3 1.0.2-1 install ok installed libmpfr4:amd64 libmpfr4 3.1.2-2 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncurses5-dev:amd64 libncurses5-dev 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libnettle4:amd64 libnettle4 2.7.1-5+deb8u2 install ok installed libotf0 libotf0 0.9.13-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.20.7-1 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.36.8-3 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.36.8-3 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.36.8-3 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.32.6-3 install ok installed libpng12-0:amd64 libpng12-0 1.2.50-2+deb8u3 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libproxy1:amd64 libproxy1 0.4.11-4+b2 install ok installed libquadmath0:amd64 libquadmath0 4.9.2-10+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed librest-0.7-0:amd64 librest-0.7-0 0.7.92-3 install ok installed librsvg2-2:amd64 librsvg2-2 2.40.5-1+deb8u2 install ok installed librsvg2-common:amd64 librsvg2-common 2.40.5-1+deb8u2 install ok installed libsasl2-2:amd64 libsasl2-2 2.1.26.dfsg1-13+deb8u1 install ok installed libsasl2-modules-db:amd64 libsasl2-modules-db 2.1.26.dfsg1-13+deb8u1 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsm6:amd64 libsm6 2:1.2.2-1+b1 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libsoup-gnome2.4-1:amd64 libsoup-gnome2.4-1 2.48.0-1+deb8u1 install ok installed libsoup2.4-1:amd64 libsoup2.4-1 2.48.0-1+deb8u1 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.8.7.1-1+deb8u2 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtasn1-6:amd64 libtasn1-6 4.2-3+deb8u3 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libthai-data libthai-data 0.1.21-1 install ok installed libthai0:amd64 libthai0 0.1.21-1 install ok installed libtiff5:amd64 libtiff5 4.0.3-12.3+deb8u5 install ok installed libtinfo-dev:amd64 libtinfo-dev 5.9+20140913-1+deb8u3 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libtsan0:amd64 libtsan0 4.9.2-10+deb8u1 install ok installed libubsan0:amd64 libubsan0 4.9.2-10+deb8u1 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed libvpx1:amd64 libvpx1 1.3.0-3+deb8u1 install ok installed libwayland-client0:amd64 libwayland-client0 1.6.0-2 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.6.0-2 install ok installed libx11-6:amd64 libx11-6 2:1.6.2-3+deb8u1 install ok installed libx11-data libx11-data 2:1.6.2-3+deb8u1 install ok installed libxau6:amd64 libxau6 1:1.0.8-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.10-3+b1 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.10-3+b1 install ok installed libxcb1:amd64 libxcb1 1.10-3+b1 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.4-1 install ok installed libxcursor1:amd64 libxcursor1 1:1.1.14-1+deb8u1 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.4-2+b1 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.1-1+b1 install ok installed libxext6:amd64 libxext6 2:1.3.3-1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0.1-2+deb8u1 install ok installed libxft2:amd64 libxft2 2.3.2-1 install ok installed libxi6:amd64 libxi6 2:1.7.4-1+deb8u1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.3-1+b1 install ok installed libxkbcommon0:amd64 libxkbcommon0 0.4.3-2 install ok installed libxml2:amd64 libxml2 2.9.1+dfsg1-5+deb8u6 install ok installed libxpm4:amd64 libxpm4 1:3.5.12-0+deb8u1 install ok installed libxrandr2:amd64 libxrandr2 2:1.4.2-1+deb8u1 install ok installed libxrender1:amd64 libxrender1 1:0.9.8-1+b1 install ok installed libxt6:amd64 libxt6 1:1.1.4-1+b1 install ok installed linux-libc-dev:amd64 linux-libc-dev 3.16.56-1+deb8u1 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed m17n-db m17n-db 1.6.5-1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed shared-mime-info shared-mime-info 1.3-1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed ucf ucf 3.0030 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed x11-common x11-common 1:7.7+7 install ok installed xkb-data xkb-data 2.12-1 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 install ok installed zlib1g-dev:amd64 zlib1g-dev 1:1.2.8.dfsg-2+b1 1m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'remove', 'adwaita-icon-theme', 'agda-bin', 'agda-mode', 'agda-stdlib', 'agda-stdlib-doc', 'binutils', 'cpp', 'cpp-4.9', 'dconf-gsettings-backend:amd64', 'dconf-service', 'emacs', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-4.9', 'gconf-service', 'gconf2-common', 'ghc', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'hicolor-icon-theme', 'imagemagick-common', 'libasan1:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd-dev:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcilkrts5:amd64', 'libcloog-isl4:amd64', 'libcolord2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libexpat1:amd64', 'libffi-dev:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-4.9-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libghc-agda-dev', 'libghc-binary-dev', 'libghc-boxes-dev', 'libghc-cpphs-dev', 'libghc-data-hash-dev', 'libghc-equivalence-dev', 'libghc-geniplate-dev', 'libghc-hashable-dev', 'libghc-hashtables-dev', 'libghc-haskeline-dev', 'libghc-mtl-dev', 'libghc-parallel-dev', 'libghc-polyparse-dev', 'libghc-primitive-dev', 'libghc-quickcheck2-dev', 'libghc-random-dev', 'libghc-split-dev', 'libghc-src-exts-dev', 'libghc-stmonadtrans-dev', 'libghc-strict-dev', 'libghc-terminfo-dev', 'libghc-text-dev', 'libghc-tf-random-dev', 'libghc-transformers-dev', 'libghc-unordered-containers-dev', 'libghc-vector-dev', 'libghc-xhtml-dev', 'libghc-zlib-dev', 'libgif4:amd64', 'libglib2.0-0:amd64', 'libgmp-dev:amd64', 'libgmp10:amd64', 'libgmpxx4ldbl:amd64', 'libgnutls-deb0-28:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libharfbuzz0b:amd64', 'libhogweed2:amd64', 'libice6:amd64', 'libisl10:amd64', 'libitm1:amd64', 'libjasper1: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', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0', 'libmagickcore-6.q16-2:amd64', 'libmagickwand-6.q16-2:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libncurses5-dev:amd64', 'libnettle4:amd64', 'libotf0', 'libp11-kit0:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng12-0:amd64', 'libproxy1: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', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libvpx1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'm17n-db', 'shared-mime-info', 'x11-common', 'xkb-data', 'zlib1g-dev:amd64', 'agda'] 1m11.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: adwaita-icon-theme agda agda-bin agda-mode agda-stdlib agda-stdlib-doc binutils cpp cpp-4.9 dconf-gsettings-backend dconf-service emacs emacs24 emacs24-bin-common emacs24-common emacsen-common fontconfig fontconfig-config fonts-dejavu-core gcc gcc-4.9 gconf-service gconf2-common ghc glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas hicolor-icon-theme imagemagick-common libasan1 libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcilkrts5 libcloog-isl4 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libexpat1 libffi-dev libffi6 libfftw3-double3 libfontconfig1 libfreetype6 libfribidi0 libgcc-4.9-dev libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libglib2.0-0 libgmp-dev libgmp10 libgmpxx4ldbl libgnutls-deb0-28 libgomp1 libgpm2 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-bin libgtk-3-common libharfbuzz0b libhogweed2 libice6 libisl10 libitm1 libjasper1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 liblockfile-bin liblockfile1 liblqr-1-0 liblsan0 libltdl7 libm17n-0 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmpc3 libmpfr4 libncurses5-dev libnettle4 libotf0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng12-0 libproxy1 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 libthai-data libthai0 libtiff5 libtinfo-dev libtsan0 libubsan0 libvpx1 libwayland-client0 libwayland-cursor0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 linux-libc-dev m17n-db shared-mime-info x11-common xkb-data zlib1g-dev 0 upgraded, 0 newly installed, 192 to remove and 0 not upgraded. After this operation, 890 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 ... 21735 files and directories currently installed.) Removing agda (2.4.0.2-2) ... Removing agda-mode (2.4.0.2-2) ... Removing emacs (46.1) ... Removing emacs24 (24.4+1-5+deb8u1) ... Remove emacsen-common for emacs24 emacsen-common: Handling removal of emacsen flavor emacs24 Removing agda-bin (2.4.0.2-2+b1) ... Removing agda-stdlib (0.8-2) ... Removing agda-stdlib-doc (0.8-2) ... Removing libghc-agda-dev (2.4.0.2-2+b1) ... Removing libghc-haskeline-dev (0.7.1.3-1) ... Removing libghc-quickcheck2-dev (2.7.6-3) ... Removing libghc-tf-random-dev (0.5-1) ... Removing libghc-geniplate-dev (0.6.0.4-1) ... Removing libghc-src-exts-dev (1.14.0.1-4) ... Removing libghc-cpphs-dev (1.18.5-1) ... Removing libghc-polyparse-dev (1.9-1) ... Removing libghc-unordered-containers-dev (0.2.5.0-1) ... Removing libghc-hashtables-dev (1.0.1.8-2+b2) ... Removing libghc-vector-dev (0.10.0.1-3) ... Removing libghc-parallel-dev (3.2.0.4-1) ... Removing libghc-zlib-dev (0.5.4.1-1) ... Removing libghc-xhtml-dev (3000.2.1-4) ... Removing libghc-strict-dev (0.3.2-7) ... Removing libghc-random-dev (1.0.1.1-3) ... Removing libghc-primitive-dev (0.5.0.1-3) ... Removing libghc-equivalence-dev (0.2.5-1) ... Removing libghc-binary-dev (0.7.2.1-1) ... Removing libghc-stmonadtrans-dev (0.3.2-1) ... Removing libghc-mtl-dev (2.1.2-4) ... Removing libghc-transformers-dev (0.3.0.0-5) ... Removing libghc-data-hash-dev (0.2.0.0-1) ... Removing emacs24-bin-common (24.4+1-5+deb8u1) ... Removing emacs24-common (24.4+1-5+deb8u1) ... Removing emacsen-common (2.0.8) ... Removing libm17n-0 (1.6.4-3) ... Removing libxft2:amd64 (2.3.2-1) ... Removing libgd3:amd64 (2.1.0-5+deb8u11) ... Removing gconf-service (3.2.6-3) ... Removing libgconf-2-4:amd64 (3.2.6-3) ... Removing gconf2-common (3.2.6-3) ... Removing libmagickwand-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Removing libmagickcore-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Removing imagemagick-common (8:6.8.9.9-5+deb8u12) ... Removing libasound2:amd64 (1.0.28-1) ... Removing libasound2-data (1.0.28-1) ... Removing zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ... Removing libghc-terminfo-dev (0.3.2.5-3) ... Removing libncurses5-dev:amd64 (5.9+20140913-1+deb8u3) ... Removing libdbus-glib-1-2:amd64 (0.102-1) ... Removing libldap-2.4-2:amd64 (2.4.40+dfsg-1+deb8u4) ... Removing libfftw3-double3:amd64 (3.3.4-2) ... Removing libotf0 (0.9.13-2) ... Removing libfribidi0:amd64 (0.19.6-3) ... Removing libghc-boxes-dev (0.1.3-1) ... Removing libghc-split-dev (0.2.2-1) ... Removing libgif4:amd64 (4.1.6-11+deb8u1) ... Removing liblqr-1-0:amd64 (0.4.2-2) ... Removing libgpm2:amd64 (1.20.4-6.1+b2) ... Removing libxt6:amd64 (1:1.1.4-1+b1) ... Removing libsm6:amd64 (2:1.2.2-1+b1) ... Removing libice6:amd64 (2:1.0.9-1+b1) ... Removing liblockfile1:amd64 (1.09-6) ... Removing liblockfile-bin (1.09-6) ... Removing libltdl7:amd64 (2.4.2-1.11+b1) ... Removing libsasl2-2:amd64 (2.1.26.dfsg1-13+deb8u1) ... Removing libsasl2-modules-db:amd64 (2.1.26.dfsg1-13+deb8u1) ... Removing libtinfo-dev:amd64 (5.9+20140913-1+deb8u3) ... Removing libvpx1:amd64 (1.3.0-3+deb8u1) ... Removing libxpm4:amd64 (1:3.5.12-0+deb8u1) ... Removing m17n-db (1.6.5-1) ... Removing x11-common (1:7.7+7) ... invoke-rc.d: policy-rc.d denied execution of stop. Removing libghc-hashable-dev (1.2.1.0-5) ... Removing libghc-text-dev (0.11.3.1-1) ... Removing ghc (7.6.3-21) ... Removing gcc (4:4.9.2-2) ... Removing gcc-4.9 (4.9.2-10+deb8u1) ... Removing binutils (2.25-5+deb8u1) ... Removing cpp (4:4.9.2-2) ... Removing cpp-4.9 (4.9.2-10+deb8u1) ... Removing libgcc-4.9-dev:amd64 (4.9.2-10+deb8u1) ... Removing libasan1:amd64 (4.9.2-10+deb8u1) ... Removing libatomic1:amd64 (4.9.2-10+deb8u1) ... Removing libbsd-dev:amd64 (0.7.0-2) ... Removing libbsd0:amd64 (0.7.0-2) ... Removing libc6-dev:amd64 (2.19-18+deb8u10) ... Removing libc-dev-bin (2.19-18+deb8u10) ... Removing libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Removing libcloog-isl4:amd64 (0.18.2-1+b2) ... Removing libffi-dev:amd64 (3.1-2+deb8u1) ... Removing libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Removing libmpc3:amd64 (1.0.2-1) ... Removing libmpfr4:amd64 (3.1.2-2) ... Removing libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Removing libgomp1:amd64 (4.9.2-10+deb8u1) ... Removing libisl10:amd64 (0.12.2-2) ... Removing libitm1:amd64 (4.9.2-10+deb8u1) ... Removing liblsan0:amd64 (4.9.2-10+deb8u1) ... Removing libquadmath0:amd64 (4.9.2-10+deb8u1) ... Removing libtsan0:amd64 (4.9.2-10+deb8u1) ... Removing libubsan0:amd64 (4.9.2-10+deb8u1) ... Removing linux-libc-dev:amd64 (3.16.56-1+deb8u1) ... Removing libgtk-3-0:amd64 (3.14.5-1+deb8u1) ... Removing libgtk-3-common (3.14.5-1+deb8u1) ... Removing adwaita-icon-theme (3.14.0-2) ... Removing libgtk-3-bin (3.14.5-1+deb8u1) ... Removing 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin' Removing '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' Removing librest-0.7-0:amd64 (0.7.92-3) ... Removing libsoup-gnome2.4-1:amd64 (2.48.0-1+deb8u1) ... Removing libsoup2.4-1:amd64 (2.48.0-1+deb8u1) ... Removing glib-networking:amd64 (2.42.0-2) ... Removing gsettings-desktop-schemas (3.14.1-1) ... Removing dconf-gsettings-backend:amd64 (0.22.0-1) ... Removing dconf-service (0.22.0-1) ... Removing librsvg2-common:amd64 (2.40.5-1+deb8u2) ... Removing librsvg2-2:amd64 (2.40.5-1+deb8u2) ... Removing libpangocairo-1.0-0:amd64 (1.36.8-3) ... Removing libpangoft2-1.0-0:amd64 (1.36.8-3) ... Removing libpango-1.0-0:amd64 (1.36.8-3) ... Removing fontconfig (2.11.0-6.3+deb8u1) ... Removing glib-networking-services (2.42.0-2) ... Removing glib-networking-common (2.42.0-2) ... Removing hicolor-icon-theme (0.13-1) ... Removing libatk-bridge2.0-0:amd64 (2.14.0-2) ... Removing libatk1.0-0:amd64 (2.14.0-1) ... Removing libatk1.0-data (2.14.0-1) ... Removing libatspi2.0-0:amd64 (2.14.0-1) ... Removing libcups2:amd64 (1.7.5-11+deb8u2) ... Removing libavahi-client3:amd64 (0.6.31-5) ... Removing libavahi-common3:amd64 (0.6.31-5) ... Removing libavahi-common-data:amd64 (0.6.31-5) ... Removing libcairo-gobject2:amd64 (1.14.0-2.1+deb8u2) ... Removing libcairo2:amd64 (1.14.0-2.1+deb8u2) ... Removing libcolord2:amd64 (1.2.1-1+b2) ... Removing libcroco3:amd64 (0.6.8-3+b1) ... Removing libthai0:amd64 (0.1.21-1) ... Removing libdatrie1:amd64 (0.2.8-1) ... Removing libdbus-1-3:amd64 (1.8.22-0+deb8u1) ... Removing libdconf1:amd64 (0.22.0-1) ... Removing libwayland-cursor0:amd64 (1.6.0-2) ... Removing libwayland-client0:amd64 (1.6.0-2) ... Removing libgnutls-deb0-28:amd64 (3.3.8-6+deb8u7) ... Removing libp11-kit0:amd64 (0.20.7-1) ... Removing libharfbuzz0b:amd64 (0.9.35-2) ... Removing libgdk-pixbuf2.0-0:amd64 (2.31.1-2+deb8u7) ... Removing libgdk-pixbuf2.0-common (2.31.1-2+deb8u7) ... Removing shared-mime-info (1.3-1) ... Removing libhogweed2:amd64 (2.7.1-5+deb8u2) ... Removing libgmp10:amd64 (2:6.0.0+dfsg-6) ... Removing libgraphite2-3:amd64 (1.3.10-1~deb8u1) ... Removing libgssapi-krb5-2:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libjasper1:amd64 (1.900.1-debian1-2.4+deb8u3) ... Removing libtiff5:amd64 (4.0.3-12.3+deb8u5) ... Removing libjbig0:amd64 (2.1-3.1) ... Removing libjpeg62-turbo:amd64 (1:1.3.1-12) ... Removing libjson-glib-1.0-0:amd64 (1.0.2-1) ... Removing libjson-glib-1.0-common (1.0.2-1) ... Removing libkrb5-3:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libk5crypto3:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libkrb5support0:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libkeyutils1:amd64 (1.5.9-5+b1) ... Removing liblcms2-2:amd64 (2.6-3+deb8u1) ... Removing libnettle4:amd64 (2.7.1-5+deb8u2) ... Removing libpixman-1-0:amd64 (0.32.6-3) ... Removing libproxy1:amd64 (0.4.11-4+b2) ... Removing libsqlite3-0:amd64 (3.8.7.1-1+deb8u2) ... Removing libtasn1-6:amd64 (4.2-3+deb8u3) ... Removing libthai-data (0.1.21-1) ... Removing libxrandr2:amd64 (2:1.4.2-1+deb8u1) ... Removing libxcursor1:amd64 (1:1.1.14-1+deb8u1) ... Removing libxrender1:amd64 (1:0.9.8-1+b1) ... Removing libxcb-shm0:amd64 (1.10-3+b1) ... Removing libxcb-render0:amd64 (1.10-3+b1) ... Removing libxcomposite1:amd64 (1:0.4.4-1) ... Removing libxdamage1:amd64 (1:1.1.4-2+b1) ... Removing libxinerama1:amd64 (2:1.1.3-1+b1) ... Removing libxi6:amd64 (2:1.7.4-1+deb8u1) ... Removing libxext6:amd64 (2:1.3.3-1) ... Removing libxfixes3:amd64 (1:5.0.1-2+deb8u1) ... Removing libxkbcommon0:amd64 (0.4.3-2) ... Removing libxml2:amd64 (2.9.1+dfsg1-5+deb8u6) ... Removing xkb-data (2.12-1) ... Removing libfontconfig1:amd64 (2.11.0-6.3+deb8u1) ... Removing fontconfig-config (2.11.0-6.3+deb8u1) ... Removing fonts-dejavu-core (2.34-1) ... Removing libexpat1:amd64 (2.1.0-6+deb8u4) ... Removing libfreetype6:amd64 (2.5.2-3+deb8u2) ... Removing libglib2.0-0:amd64 (2.42.1-1+b1) ... Removing libpng12-0:amd64 (1.2.50-2+deb8u3) ... Removing libx11-6:amd64 (2:1.6.2-3+deb8u1) ... Removing libx11-data (2:1.6.2-3+deb8u1) ... Removing libxcb1:amd64 (1.10-3+b1) ... Removing libxau6:amd64 (1:1.0.8-1) ... Removing libxdmcp6:amd64 (1:1.1.1-1+b1) ... Removing libffi6:amd64 (3.1-2+deb8u1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... 1m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'remove', 'adwaita-icon-theme', 'agda-bin', 'agda-mode', 'agda-stdlib', 'agda-stdlib-doc', 'binutils', 'cpp', 'cpp-4.9', 'dconf-gsettings-backend:amd64', 'dconf-service', 'emacs', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-4.9', 'gconf-service', 'gconf2-common', 'ghc', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'hicolor-icon-theme', 'imagemagick-common', 'libasan1:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd-dev:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcilkrts5:amd64', 'libcloog-isl4:amd64', 'libcolord2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libexpat1:amd64', 'libffi-dev:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-4.9-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libghc-agda-dev', 'libghc-binary-dev', 'libghc-boxes-dev', 'libghc-cpphs-dev', 'libghc-data-hash-dev', 'libghc-equivalence-dev', 'libghc-geniplate-dev', 'libghc-hashable-dev', 'libghc-hashtables-dev', 'libghc-haskeline-dev', 'libghc-mtl-dev', 'libghc-parallel-dev', 'libghc-polyparse-dev', 'libghc-primitive-dev', 'libghc-quickcheck2-dev', 'libghc-random-dev', 'libghc-split-dev', 'libghc-src-exts-dev', 'libghc-stmonadtrans-dev', 'libghc-strict-dev', 'libghc-terminfo-dev', 'libghc-text-dev', 'libghc-tf-random-dev', 'libghc-transformers-dev', 'libghc-unordered-containers-dev', 'libghc-vector-dev', 'libghc-xhtml-dev', 'libghc-zlib-dev', 'libgif4:amd64', 'libglib2.0-0:amd64', 'libgmp-dev:amd64', 'libgmp10:amd64', 'libgmpxx4ldbl:amd64', 'libgnutls-deb0-28:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libharfbuzz0b:amd64', 'libhogweed2:amd64', 'libice6:amd64', 'libisl10:amd64', 'libitm1:amd64', 'libjasper1: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', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0', 'libmagickcore-6.q16-2:amd64', 'libmagickwand-6.q16-2:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libncurses5-dev:amd64', 'libnettle4:amd64', 'libotf0', 'libp11-kit0:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng12-0:amd64', 'libproxy1: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', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libvpx1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'm17n-db', 'shared-mime-info', 'x11-common', 'xkb-data', 'zlib1g-dev:amd64', 'agda'] 1m11.5s INFO: Running scripts post_remove 1m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_remove_exceptions'] 1m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_remove_exceptions'] 1m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--purge', 'adwaita-icon-theme', 'agda-bin', 'agda-mode', 'agda-stdlib', 'agda-stdlib-doc', 'binutils', 'cpp', 'cpp-4.9', 'dconf-gsettings-backend:amd64', 'dconf-service', 'emacs', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-4.9', 'gconf-service', 'gconf2-common', 'ghc', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'hicolor-icon-theme', 'imagemagick-common', 'libasan1:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd-dev:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcilkrts5:amd64', 'libcloog-isl4:amd64', 'libcolord2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libexpat1:amd64', 'libffi-dev:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-4.9-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libghc-agda-dev', 'libghc-binary-dev', 'libghc-boxes-dev', 'libghc-cpphs-dev', 'libghc-data-hash-dev', 'libghc-equivalence-dev', 'libghc-geniplate-dev', 'libghc-hashable-dev', 'libghc-hashtables-dev', 'libghc-haskeline-dev', 'libghc-mtl-dev', 'libghc-parallel-dev', 'libghc-polyparse-dev', 'libghc-primitive-dev', 'libghc-quickcheck2-dev', 'libghc-random-dev', 'libghc-split-dev', 'libghc-src-exts-dev', 'libghc-stmonadtrans-dev', 'libghc-strict-dev', 'libghc-terminfo-dev', 'libghc-text-dev', 'libghc-tf-random-dev', 'libghc-transformers-dev', 'libghc-unordered-containers-dev', 'libghc-vector-dev', 'libghc-xhtml-dev', 'libghc-zlib-dev', 'libgif4:amd64', 'libglib2.0-0:amd64', 'libgmp-dev:amd64', 'libgmp10:amd64', 'libgmpxx4ldbl:amd64', 'libgnutls-deb0-28:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libharfbuzz0b:amd64', 'libhogweed2:amd64', 'libice6:amd64', 'libisl10:amd64', 'libitm1:amd64', 'libjasper1: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', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0', 'libmagickcore-6.q16-2:amd64', 'libmagickwand-6.q16-2:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libncurses5-dev:amd64', 'libnettle4:amd64', 'libotf0', 'libp11-kit0:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng12-0:amd64', 'libproxy1: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', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libvpx1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'm17n-db', 'shared-mime-info', 'x11-common', 'xkb-data', 'zlib1g-dev:amd64'] 1m13.0s DUMP: (Reading database ... 7551 files and directories currently installed.) Removing adwaita-icon-theme (3.14.0-2) ... Purging configuration files for adwaita-icon-theme (3.14.0-2) ... dpkg: warning: ignoring request to remove agda-bin which isn't installed Removing agda-mode (2.4.0.2-2) ... Purging configuration files for agda-mode (2.4.0.2-2) ... Removing agda-stdlib (0.8-2) ... Purging configuration files for agda-stdlib (0.8-2) ... dpkg: warning: ignoring request to remove agda-stdlib-doc which isn't installed Removing binutils (2.25-5+deb8u1) ... Purging configuration files for binutils (2.25-5+deb8u1) ... dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-4.9 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 dpkg: warning: ignoring request to remove emacs which isn't installed Removing emacs24 (24.4+1-5+deb8u1) ... Purging configuration files for emacs24 (24.4+1-5+deb8u1) ... 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 Removing emacsen-common (2.0.8) ... Purging configuration files for emacsen-common (2.0.8) ... Removing fontconfig (2.11.0-6.3+deb8u1) ... Purging configuration files for fontconfig (2.11.0-6.3+deb8u1) ... Removing fontconfig-config (2.11.0-6.3+deb8u1) ... Purging configuration files for fontconfig-config (2.11.0-6.3+deb8u1) ... Removing fonts-dejavu-core (2.34-1) ... Purging configuration files for fonts-dejavu-core (2.34-1) ... dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-4.9 which isn't installed dpkg: warning: ignoring request to remove gconf-service which isn't installed Removing gconf2-common (3.2.6-3) ... Purging configuration files for gconf2-common (3.2.6-3) ... dpkg: warning: ignoring request to remove ghc which isn't installed dpkg: warning: ignoring request to remove glib-networking which isn't installed dpkg: warning: ignoring request to remove glib-networking-common which isn't installed dpkg: warning: ignoring request to remove glib-networking-services which isn't installed dpkg: warning: ignoring request to remove gsettings-desktop-schemas which isn't installed dpkg: warning: ignoring request to remove hicolor-icon-theme which isn't installed Removing imagemagick-common (8:6.8.9.9-5+deb8u12) ... Purging configuration files for imagemagick-common (8:6.8.9.9-5+deb8u12) ... Removing libasan1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libasan1:amd64 (4.9.2-10+deb8u1) ... Removing libasound2:amd64 (1.0.28-1) ... Purging configuration files for libasound2:amd64 (1.0.28-1) ... dpkg: warning: ignoring request to remove libasound2-data which isn't installed Removing libatk-bridge2.0-0:amd64 (2.14.0-2) ... Purging configuration files for libatk-bridge2.0-0:amd64 (2.14.0-2) ... Removing libatk1.0-0:amd64 (2.14.0-1) ... Purging configuration files for libatk1.0-0:amd64 (2.14.0-1) ... dpkg: warning: ignoring request to remove libatk1.0-data which isn't installed Removing libatomic1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libatomic1:amd64 (4.9.2-10+deb8u1) ... Removing libatspi2.0-0:amd64 (2.14.0-1) ... Purging configuration files for libatspi2.0-0:amd64 (2.14.0-1) ... Removing libavahi-client3:amd64 (0.6.31-5) ... Purging configuration files for libavahi-client3:amd64 (0.6.31-5) ... dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed Removing libavahi-common3:amd64 (0.6.31-5) ... Purging configuration files for libavahi-common3:amd64 (0.6.31-5) ... dpkg: warning: ignoring request to remove libbsd-dev which isn't installed Removing libbsd0:amd64 (0.7.0-2) ... Purging configuration files for libbsd0:amd64 (0.7.0-2) ... 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 Removing libcairo-gobject2:amd64 (1.14.0-2.1+deb8u2) ... Purging configuration files for libcairo-gobject2:amd64 (1.14.0-2.1+deb8u2) ... Removing libcairo2:amd64 (1.14.0-2.1+deb8u2) ... Purging configuration files for libcairo2:amd64 (1.14.0-2.1+deb8u2) ... Removing libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Removing libcloog-isl4:amd64 (0.18.2-1+b2) ... Purging configuration files for libcloog-isl4:amd64 (0.18.2-1+b2) ... Removing libcolord2:amd64 (1.2.1-1+b2) ... Purging configuration files for libcolord2:amd64 (1.2.1-1+b2) ... Removing libcroco3:amd64 (0.6.8-3+b1) ... Purging configuration files for libcroco3:amd64 (0.6.8-3+b1) ... Removing libcups2:amd64 (1.7.5-11+deb8u2) ... Purging configuration files for libcups2:amd64 (1.7.5-11+deb8u2) ... Removing libdatrie1:amd64 (0.2.8-1) ... Purging configuration files for libdatrie1:amd64 (0.2.8-1) ... Removing libdbus-1-3:amd64 (1.8.22-0+deb8u1) ... Purging configuration files for libdbus-1-3:amd64 (1.8.22-0+deb8u1) ... Removing libdbus-glib-1-2:amd64 (0.102-1) ... Purging configuration files for libdbus-glib-1-2:amd64 (0.102-1) ... Removing libdconf1:amd64 (0.22.0-1) ... Purging configuration files for libdconf1:amd64 (0.22.0-1) ... Removing libexpat1:amd64 (2.1.0-6+deb8u4) ... Purging configuration files for libexpat1:amd64 (2.1.0-6+deb8u4) ... dpkg: warning: ignoring request to remove libffi-dev which isn't installed Removing libffi6:amd64 (3.1-2+deb8u1) ... Purging configuration files for libffi6:amd64 (3.1-2+deb8u1) ... Removing libfftw3-double3:amd64 (3.3.4-2) ... Purging configuration files for libfftw3-double3:amd64 (3.3.4-2) ... Removing libfontconfig1:amd64 (2.11.0-6.3+deb8u1) ... Purging configuration files for libfontconfig1:amd64 (2.11.0-6.3+deb8u1) ... Removing libfreetype6:amd64 (2.5.2-3+deb8u2) ... Purging configuration files for libfreetype6:amd64 (2.5.2-3+deb8u2) ... Removing libfribidi0:amd64 (0.19.6-3) ... Purging configuration files for libfribidi0:amd64 (0.19.6-3) ... dpkg: warning: ignoring request to remove libgcc-4.9-dev which isn't installed Removing libgconf-2-4:amd64 (3.2.6-3) ... Purging configuration files for libgconf-2-4:amd64 (3.2.6-3) ... Removing libgd3:amd64 (2.1.0-5+deb8u11) ... Purging configuration files for libgd3:amd64 (2.1.0-5+deb8u11) ... Removing libgdk-pixbuf2.0-0:amd64 (2.31.1-2+deb8u7) ... Purging configuration files for libgdk-pixbuf2.0-0:amd64 (2.31.1-2+deb8u7) ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed dpkg: warning: ignoring request to remove libghc-agda-dev which isn't installed dpkg: warning: ignoring request to remove libghc-binary-dev which isn't installed dpkg: warning: ignoring request to remove libghc-boxes-dev which isn't installed dpkg: warning: ignoring request to remove libghc-cpphs-dev which isn't installed dpkg: warning: ignoring request to remove libghc-data-hash-dev which isn't installed dpkg: warning: ignoring request to remove libghc-equivalence-dev which isn't installed dpkg: warning: ignoring request to remove libghc-geniplate-dev which isn't installed dpkg: warning: ignoring request to remove libghc-hashable-dev which isn't installed dpkg: warning: ignoring request to remove libghc-hashtables-dev which isn't installed dpkg: warning: ignoring request to remove libghc-haskeline-dev which isn't installed dpkg: warning: ignoring request to remove libghc-mtl-dev which isn't installed dpkg: warning: ignoring request to remove libghc-parallel-dev which isn't installed dpkg: warning: ignoring request to remove libghc-polyparse-dev which isn't installed dpkg: warning: ignoring request to remove libghc-primitive-dev which isn't installed dpkg: warning: ignoring request to remove libghc-quickcheck2-dev which isn't installed dpkg: warning: ignoring request to remove libghc-random-dev which isn't installed dpkg: warning: ignoring request to remove libghc-split-dev which isn't installed dpkg: warning: ignoring request to remove libghc-src-exts-dev which isn't installed dpkg: warning: ignoring request to remove libghc-stmonadtrans-dev which isn't installed dpkg: warning: ignoring request to remove libghc-strict-dev which isn't installed dpkg: warning: ignoring request to remove libghc-terminfo-dev which isn't installed dpkg: warning: ignoring request to remove libghc-text-dev which isn't installed dpkg: warning: ignoring request to remove libghc-tf-random-dev which isn't installed dpkg: warning: ignoring request to remove libghc-transformers-dev which isn't installed dpkg: warning: ignoring request to remove libghc-unordered-containers-dev which isn't installed dpkg: warning: ignoring request to remove libghc-vector-dev which isn't installed dpkg: warning: ignoring request to remove libghc-xhtml-dev which isn't installed dpkg: warning: ignoring request to remove libghc-zlib-dev which isn't installed Removing libgif4:amd64 (4.1.6-11+deb8u1) ... Purging configuration files for libgif4:amd64 (4.1.6-11+deb8u1) ... Removing libglib2.0-0:amd64 (2.42.1-1+b1) ... Purging configuration files for libglib2.0-0:amd64 (2.42.1-1+b1) ... dpkg: warning: ignoring request to remove libgmp-dev which isn't installed Removing libgmp10:amd64 (2:6.0.0+dfsg-6) ... Purging configuration files for libgmp10:amd64 (2:6.0.0+dfsg-6) ... Removing libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Purging configuration files for libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Removing libgnutls-deb0-28:amd64 (3.3.8-6+deb8u7) ... Purging configuration files for libgnutls-deb0-28:amd64 (3.3.8-6+deb8u7) ... Removing libgomp1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libgomp1:amd64 (4.9.2-10+deb8u1) ... Removing libgpm2:amd64 (1.20.4-6.1+b2) ... Purging configuration files for libgpm2:amd64 (1.20.4-6.1+b2) ... Removing libgraphite2-3:amd64 (1.3.10-1~deb8u1) ... Purging configuration files for libgraphite2-3:amd64 (1.3.10-1~deb8u1) ... Removing libgssapi-krb5-2:amd64 (1.12.1+dfsg-19+deb8u4) ... Purging configuration files for libgssapi-krb5-2:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libgtk-3-0:amd64 (3.14.5-1+deb8u1) ... Purging configuration files for libgtk-3-0:amd64 (3.14.5-1+deb8u1) ... Removing libgtk-3-bin (3.14.5-1+deb8u1) ... Purging configuration files for libgtk-3-bin (3.14.5-1+deb8u1) ... Removing libgtk-3-common (3.14.5-1+deb8u1) ... Purging configuration files for libgtk-3-common (3.14.5-1+deb8u1) ... Removing libharfbuzz0b:amd64 (0.9.35-2) ... Purging configuration files for libharfbuzz0b:amd64 (0.9.35-2) ... Removing libhogweed2:amd64 (2.7.1-5+deb8u2) ... Purging configuration files for libhogweed2:amd64 (2.7.1-5+deb8u2) ... Removing libice6:amd64 (2:1.0.9-1+b1) ... Purging configuration files for libice6:amd64 (2:1.0.9-1+b1) ... Removing libisl10:amd64 (0.12.2-2) ... Purging configuration files for libisl10:amd64 (0.12.2-2) ... Removing libitm1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libitm1:amd64 (4.9.2-10+deb8u1) ... Removing libjasper1:amd64 (1.900.1-debian1-2.4+deb8u3) ... Purging configuration files for libjasper1:amd64 (1.900.1-debian1-2.4+deb8u3) ... Removing libjbig0:amd64 (2.1-3.1) ... Purging configuration files for libjbig0:amd64 (2.1-3.1) ... Removing libjpeg62-turbo:amd64 (1:1.3.1-12) ... Purging configuration files for libjpeg62-turbo:amd64 (1:1.3.1-12) ... Removing libjson-glib-1.0-0:amd64 (1.0.2-1) ... Purging configuration files for libjson-glib-1.0-0:amd64 (1.0.2-1) ... dpkg: warning: ignoring request to remove libjson-glib-1.0-common which isn't installed Removing libk5crypto3:amd64 (1.12.1+dfsg-19+deb8u4) ... Purging configuration files for libk5crypto3:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libkeyutils1:amd64 (1.5.9-5+b1) ... Purging configuration files for libkeyutils1:amd64 (1.5.9-5+b1) ... Removing libkrb5-3:amd64 (1.12.1+dfsg-19+deb8u4) ... Purging configuration files for libkrb5-3:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing libkrb5support0:amd64 (1.12.1+dfsg-19+deb8u4) ... Purging configuration files for libkrb5support0:amd64 (1.12.1+dfsg-19+deb8u4) ... Removing liblcms2-2:amd64 (2.6-3+deb8u1) ... Purging configuration files for liblcms2-2:amd64 (2.6-3+deb8u1) ... Removing libldap-2.4-2:amd64 (2.4.40+dfsg-1+deb8u4) ... Purging configuration files for libldap-2.4-2:amd64 (2.4.40+dfsg-1+deb8u4) ... dpkg: warning: ignoring request to remove liblockfile-bin which isn't installed Removing liblockfile1:amd64 (1.09-6) ... Purging configuration files for liblockfile1:amd64 (1.09-6) ... Removing liblqr-1-0:amd64 (0.4.2-2) ... Purging configuration files for liblqr-1-0:amd64 (0.4.2-2) ... Removing liblsan0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for liblsan0:amd64 (4.9.2-10+deb8u1) ... Removing libltdl7:amd64 (2.4.2-1.11+b1) ... Purging configuration files for libltdl7:amd64 (2.4.2-1.11+b1) ... Removing libm17n-0 (1.6.4-3) ... Purging configuration files for libm17n-0 (1.6.4-3) ... Removing libmagickcore-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Purging configuration files for libmagickcore-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Removing libmagickwand-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Purging configuration files for libmagickwand-6.q16-2:amd64 (8:6.8.9.9-5+deb8u12) ... Removing libmpc3:amd64 (1.0.2-1) ... Purging configuration files for libmpc3:amd64 (1.0.2-1) ... Removing libmpfr4:amd64 (3.1.2-2) ... Purging configuration files for libmpfr4:amd64 (3.1.2-2) ... dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed Removing libnettle4:amd64 (2.7.1-5+deb8u2) ... Purging configuration files for libnettle4:amd64 (2.7.1-5+deb8u2) ... Removing libotf0 (0.9.13-2) ... Purging configuration files for libotf0 (0.9.13-2) ... Removing libp11-kit0:amd64 (0.20.7-1) ... Purging configuration files for libp11-kit0:amd64 (0.20.7-1) ... Removing libpango-1.0-0:amd64 (1.36.8-3) ... Purging configuration files for libpango-1.0-0:amd64 (1.36.8-3) ... Removing libpangocairo-1.0-0:amd64 (1.36.8-3) ... Purging configuration files for libpangocairo-1.0-0:amd64 (1.36.8-3) ... Removing libpangoft2-1.0-0:amd64 (1.36.8-3) ... Purging configuration files for libpangoft2-1.0-0:amd64 (1.36.8-3) ... Removing libpixman-1-0:amd64 (0.32.6-3) ... Purging configuration files for libpixman-1-0:amd64 (0.32.6-3) ... Removing libpng12-0:amd64 (1.2.50-2+deb8u3) ... Purging configuration files for libpng12-0:amd64 (1.2.50-2+deb8u3) ... Removing libproxy1:amd64 (0.4.11-4+b2) ... Purging configuration files for libproxy1:amd64 (0.4.11-4+b2) ... Removing libquadmath0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libquadmath0:amd64 (4.9.2-10+deb8u1) ... Removing librest-0.7-0:amd64 (0.7.92-3) ... Purging configuration files for librest-0.7-0:amd64 (0.7.92-3) ... Removing librsvg2-2:amd64 (2.40.5-1+deb8u2) ... Purging configuration files for librsvg2-2:amd64 (2.40.5-1+deb8u2) ... dpkg: warning: ignoring request to remove librsvg2-common which isn't installed Removing libsasl2-2:amd64 (2.1.26.dfsg1-13+deb8u1) ... Purging configuration files for libsasl2-2:amd64 (2.1.26.dfsg1-13+deb8u1) ... dpkg: warning: ignoring request to remove libsasl2-modules-db which isn't installed Removing libsm6:amd64 (2:1.2.2-1+b1) ... Purging configuration files for libsm6:amd64 (2:1.2.2-1+b1) ... Removing libsoup-gnome2.4-1:amd64 (2.48.0-1+deb8u1) ... Purging configuration files for libsoup-gnome2.4-1:amd64 (2.48.0-1+deb8u1) ... Removing libsoup2.4-1:amd64 (2.48.0-1+deb8u1) ... Purging configuration files for libsoup2.4-1:amd64 (2.48.0-1+deb8u1) ... Removing libsqlite3-0:amd64 (3.8.7.1-1+deb8u2) ... Purging configuration files for libsqlite3-0:amd64 (3.8.7.1-1+deb8u2) ... Removing libtasn1-6:amd64 (4.2-3+deb8u3) ... Purging configuration files for libtasn1-6:amd64 (4.2-3+deb8u3) ... dpkg: warning: ignoring request to remove libthai-data which isn't installed Removing libthai0:amd64 (0.1.21-1) ... Purging configuration files for libthai0:amd64 (0.1.21-1) ... Removing libtiff5:amd64 (4.0.3-12.3+deb8u5) ... Purging configuration files for libtiff5:amd64 (4.0.3-12.3+deb8u5) ... dpkg: warning: ignoring request to remove libtinfo-dev which isn't installed Removing libtsan0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libtsan0:amd64 (4.9.2-10+deb8u1) ... Removing libubsan0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libubsan0:amd64 (4.9.2-10+deb8u1) ... Removing libvpx1:amd64 (1.3.0-3+deb8u1) ... Purging configuration files for libvpx1:amd64 (1.3.0-3+deb8u1) ... Removing libwayland-client0:amd64 (1.6.0-2) ... Purging configuration files for libwayland-client0:amd64 (1.6.0-2) ... Removing libwayland-cursor0:amd64 (1.6.0-2) ... Purging configuration files for libwayland-cursor0:amd64 (1.6.0-2) ... Removing libx11-6:amd64 (2:1.6.2-3+deb8u1) ... Purging configuration files for libx11-6:amd64 (2:1.6.2-3+deb8u1) ... dpkg: warning: ignoring request to remove libx11-data which isn't installed Removing libxau6:amd64 (1:1.0.8-1) ... Purging configuration files for libxau6:amd64 (1:1.0.8-1) ... Removing libxcb-render0:amd64 (1.10-3+b1) ... Purging configuration files for libxcb-render0:amd64 (1.10-3+b1) ... Removing libxcb-shm0:amd64 (1.10-3+b1) ... Purging configuration files for libxcb-shm0:amd64 (1.10-3+b1) ... Removing libxcb1:amd64 (1.10-3+b1) ... Purging configuration files for libxcb1:amd64 (1.10-3+b1) ... Removing libxcomposite1:amd64 (1:0.4.4-1) ... Purging configuration files for libxcomposite1:amd64 (1:0.4.4-1) ... Removing libxcursor1:amd64 (1:1.1.14-1+deb8u1) ... Purging configuration files for libxcursor1:amd64 (1:1.1.14-1+deb8u1) ... Removing libxdamage1:amd64 (1:1.1.4-2+b1) ... Purging configuration files for libxdamage1:amd64 (1:1.1.4-2+b1) ... Removing libxdmcp6:amd64 (1:1.1.1-1+b1) ... Purging configuration files for libxdmcp6:amd64 (1:1.1.1-1+b1) ... Removing libxext6:amd64 (2:1.3.3-1) ... Purging configuration files for libxext6:amd64 (2:1.3.3-1) ... Removing libxfixes3:amd64 (1:5.0.1-2+deb8u1) ... Purging configuration files for libxfixes3:amd64 (1:5.0.1-2+deb8u1) ... Removing libxft2:amd64 (2.3.2-1) ... Purging configuration files for libxft2:amd64 (2.3.2-1) ... Removing libxi6:amd64 (2:1.7.4-1+deb8u1) ... Purging configuration files for libxi6:amd64 (2:1.7.4-1+deb8u1) ... Removing libxinerama1:amd64 (2:1.1.3-1+b1) ... Purging configuration files for libxinerama1:amd64 (2:1.1.3-1+b1) ... Removing libxkbcommon0:amd64 (0.4.3-2) ... Purging configuration files for libxkbcommon0:amd64 (0.4.3-2) ... Removing libxml2:amd64 (2.9.1+dfsg1-5+deb8u6) ... Purging configuration files for libxml2:amd64 (2.9.1+dfsg1-5+deb8u6) ... Removing libxpm4:amd64 (1:3.5.12-0+deb8u1) ... Purging configuration files for libxpm4:amd64 (1:3.5.12-0+deb8u1) ... Removing libxrandr2:amd64 (2:1.4.2-1+deb8u1) ... Purging configuration files for libxrandr2:amd64 (2:1.4.2-1+deb8u1) ... Removing libxrender1:amd64 (1:0.9.8-1+b1) ... Purging configuration files for libxrender1:amd64 (1:0.9.8-1+b1) ... Removing libxt6:amd64 (1:1.1.4-1+b1) ... Purging configuration files for libxt6:amd64 (1:1.1.4-1+b1) ... dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed dpkg: warning: ignoring request to remove m17n-db which isn't installed Removing shared-mime-info (1.3-1) ... Purging configuration files for shared-mime-info (1.3-1) ... Removing x11-common (1:7.7+7) ... Purging configuration files for x11-common (1:7.7+7) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed dpkg: warning: ignoring request to remove zlib1g-dev which isn't installed 1m13.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--purge', 'adwaita-icon-theme', 'agda-bin', 'agda-mode', 'agda-stdlib', 'agda-stdlib-doc', 'binutils', 'cpp', 'cpp-4.9', 'dconf-gsettings-backend:amd64', 'dconf-service', 'emacs', 'emacs24', 'emacs24-bin-common', 'emacs24-common', 'emacsen-common', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-4.9', 'gconf-service', 'gconf2-common', 'ghc', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'hicolor-icon-theme', 'imagemagick-common', 'libasan1:amd64', 'libasound2:amd64', 'libasound2-data', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbsd-dev:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcilkrts5:amd64', 'libcloog-isl4:amd64', 'libcolord2:amd64', 'libcroco3:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdbus-glib-1-2:amd64', 'libdconf1:amd64', 'libexpat1:amd64', 'libffi-dev:amd64', 'libffi6:amd64', 'libfftw3-double3:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-4.9-dev:amd64', 'libgconf-2-4:amd64', 'libgd3:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libghc-agda-dev', 'libghc-binary-dev', 'libghc-boxes-dev', 'libghc-cpphs-dev', 'libghc-data-hash-dev', 'libghc-equivalence-dev', 'libghc-geniplate-dev', 'libghc-hashable-dev', 'libghc-hashtables-dev', 'libghc-haskeline-dev', 'libghc-mtl-dev', 'libghc-parallel-dev', 'libghc-polyparse-dev', 'libghc-primitive-dev', 'libghc-quickcheck2-dev', 'libghc-random-dev', 'libghc-split-dev', 'libghc-src-exts-dev', 'libghc-stmonadtrans-dev', 'libghc-strict-dev', 'libghc-terminfo-dev', 'libghc-text-dev', 'libghc-tf-random-dev', 'libghc-transformers-dev', 'libghc-unordered-containers-dev', 'libghc-vector-dev', 'libghc-xhtml-dev', 'libghc-zlib-dev', 'libgif4:amd64', 'libglib2.0-0:amd64', 'libgmp-dev:amd64', 'libgmp10:amd64', 'libgmpxx4ldbl:amd64', 'libgnutls-deb0-28:amd64', 'libgomp1:amd64', 'libgpm2:amd64', 'libgraphite2-3:amd64', 'libgssapi-krb5-2:amd64', 'libgtk-3-0:amd64', 'libgtk-3-bin', 'libgtk-3-common', 'libharfbuzz0b:amd64', 'libhogweed2:amd64', 'libice6:amd64', 'libisl10:amd64', 'libitm1:amd64', 'libjasper1: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', 'liblcms2-2:amd64', 'libldap-2.4-2:amd64', 'liblockfile-bin', 'liblockfile1:amd64', 'liblqr-1-0:amd64', 'liblsan0:amd64', 'libltdl7:amd64', 'libm17n-0', 'libmagickcore-6.q16-2:amd64', 'libmagickwand-6.q16-2:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libncurses5-dev:amd64', 'libnettle4:amd64', 'libotf0', 'libp11-kit0:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libpixman-1-0:amd64', 'libpng12-0:amd64', 'libproxy1: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', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtinfo-dev:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libvpx1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxft2:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxpm4:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libxt6:amd64', 'linux-libc-dev:amd64', 'm17n-db', 'shared-mime-info', 'x11-common', 'xkb-data', 'zlib1g-dev:amd64'] 1m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--purge', 'agda'] 1m13.1s DUMP: dpkg: warning: ignoring request to remove agda which isn't installed 1m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--purge', 'agda'] 1m13.1s INFO: Running scripts post_purge 1m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_purge_exceptions'] 1m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_purge_exceptions'] 1m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--purge', '--pending'] 1m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--purge', '--pending'] 1m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--remove', '--pending'] 1m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg', '--remove', '--pending'] 1m13.1s INFO: Running scripts post_test 1m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_test_exceptions'] 1m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'tmp/scripts/post_test_exceptions'] 1m13.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 1m13.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 1m14.4s DEBUG: No broken symlinks as far as we can find. 1m14.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-divert', '--list'] 1m14.4s 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 1m14.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'dpkg-divert', '--list'] 1m14.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'clean'] 1m14.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy', 'apt-get', 'clean'] 1m14.4s DEBUG: Recording chroot state 1m15.0s INFO: PASS: Installation and purging test. 1m15.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/shm'] 1m15.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/shm'] 1m15.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/console'] 1m15.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/console'] 1m15.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/ptmx'] 1m15.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/ptmx'] 1m15.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/pts'] 1m15.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/dev/pts'] 1m15.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/proc'] 1m15.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy/proc'] 1m15.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 1m15.7s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp9sekxlhy'] 1m15.7s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp9sekxlhy 1m15.7s INFO: PASS: All tests. 1m15.7s INFO: piuparts run ends. ret=0 End: 2022-10-10 11:52:55 GMT