Start: 2018-02-19 01:29:08 UTC Package: agda Version: 2.3.0.1-2 Installed-Size: 37 Maintainer: Debian Haskell Group Architecture: all Depends: libghc-agda-dev, agda-mode, agda-bin, 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.3.0.1-2_all.deb Size: 13200 MD5sum: 9ac123c03db82ba42465900bc75ce62c SHA1: c7e04be4636c08e8bcd53ed45502497e78562a89 SHA256: f4f6da784255e71f6b5e3abd64e740e1940f54e2ff289983f728c5795d8309df Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python2.7/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy --no-upgrade-test --apt agda=2.3.0.1-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 0.84~201801121524~0.83-4-g6e16ed9a starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy --no-upgrade-test --apt agda=2.3.0.1-2 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-5-amd64 #1 SMP Debian 4.9.65-3+deb9u2 (2018-01-04) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpNggXgQ 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpNggXgQ 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.6s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/proc'] 0m1.6s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/proc'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/pts'] 0m1.7s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/pts'] 0m1.7s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/ptmx'] 0m1.7s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/ptmx'] 0m1.7s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/console'] 0m1.7s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/console'] 0m1.7s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/run/shm'] 0m1.7s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/run/shm'] 0m1.7s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main 0m1.7s DEBUG: Created policy-rc.d and chmodded it. 0m1.7s DEBUG: Created resolv.conf. 0m1.7s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpNggXgQ/tmp/scripts/ 0m1.7s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpNggXgQ/tmp/scripts/ 0m1.7s INFO: Running scripts post_chroot_unpack 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'update'] 0m3.3s DUMP: Hit http://mirror-ubc.debian.org wheezy Release.gpg Hit http://mirror-ubc.debian.org wheezy Release Hit http://mirror-ubc.debian.org wheezy/main amd64 Packages Hit http://mirror-ubc.debian.org wheezy/main Translation-en Reading package lists... 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'update'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', '-yf', 'dist-upgrade'] 0m3.5s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', '-yf', 'dist-upgrade'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.7s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.7s INFO: Running scripts post_setup 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', '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/tmpNggXgQ', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', '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/tmpNggXgQ', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_minimize'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_minimize'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m5.4s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 335 kB of archives. After this operation, 1327 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 335 kB in 0s (20.5 MB/s) Selecting previously unselected package adduser. (Reading database ... 6639 files and directories currently installed.) Unpacking adduser (from .../adduser_3.113+nmu3_all.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Setting up adduser (3.113+nmu3) ... Setting up ucf (3.0025+nmu3) ... 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_zz_backports'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_setup_zz_backports'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'clean'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'clean'] 0m5.5s DEBUG: Recording chroot state 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.0s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-divert', '--list'] 0m6.0s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-divert', '--list'] 0m6.0s INFO: Running scripts is_testable 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/is_testable_uninstallable'] 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/is_testable_uninstallable'] 0m6.0s INFO: apt-cache does not know about any of the requested packages 0m6.0s INFO: Running scripts pre_test 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_test_exceptions'] 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_test_exceptions'] 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_test_root_password'] 0m6.1s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_test_root_password'] 0m6.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m6.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m6.9s DEBUG: No broken symlinks as far as we can find. 0m6.9s INFO: Running scripts pre_install 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_database-server'] 0m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_database-server'] 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_exceptions'] 0m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_exceptions'] 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_extras'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_extras'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-cache', 'show', 'agda=2.3.0.1-2'] 0m7.8s DUMP: Package: agda Version: 2.3.0.1-2 Installed-Size: 37 Maintainer: Debian Haskell Group Architecture: all Depends: libghc-agda-dev, agda-mode, agda-bin, agda-stdlib, agda-stdlib-doc Description-en: dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-L?f. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation. Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 65333dc4f3e4d00a90419d96d9785d24 Tag: role::metapackage Section: misc Priority: extra Filename: pool/main/a/agda/agda_2.3.0.1-2_all.deb Size: 13200 MD5sum: 9ac123c03db82ba42465900bc75ce62c SHA1: c7e04be4636c08e8bcd53ed45502497e78562a89 SHA256: f4f6da784255e71f6b5e3abd64e740e1940f54e2ff289983f728c5795d8309df 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-cache', 'show', 'agda=2.3.0.1-2'] 0m7.8s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: all Maintainer: piuparts developers team Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed Depends: libghc-agda-dev, agda-mode, agda-bin, agda-stdlib, agda-stdlib-doc 0m7.8s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmppnGUnJ/piuparts-depends-dummy'] 0m7.8s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmppnGUnJ/piuparts-depends-dummy.deb'. 0m7.8s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmppnGUnJ/piuparts-depends-dummy'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m7.8s DUMP: 0.9.7.9+deb7u7 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m7.8s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmppnGUnJ/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpNggXgQ/tmp 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '-i', './tmp/piuparts-depends-dummy.deb'] 0m7.9s DUMP: Selecting previously unselected package piuparts-depends-dummy. (Reading database ... 6768 files and directories currently installed.) Unpacking piuparts-depends-dummy (from .../tmp/piuparts-depends-dummy.deb) ... dpkg: dependency problems prevent configuration of piuparts-depends-dummy: piuparts-depends-dummy depends on libghc-agda-dev; however: Package libghc-agda-dev is not installed. piuparts-depends-dummy depends on agda-mode; however: Package agda-mode is not installed. piuparts-depends-dummy depends on agda-bin; however: Package agda-bin is not installed. piuparts-depends-dummy depends on agda-stdlib; however: Package agda-stdlib is not installed. piuparts-depends-dummy depends on agda-stdlib-doc; however: Package agda-stdlib-doc is not installed. dpkg: error processing piuparts-depends-dummy (--install): dependency problems - leaving unconfigured Errors were encountered while processing: piuparts-depends-dummy 0m7.9s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '-i', './tmp/piuparts-depends-dummy.deb'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', '-yf', 'install'] 0m30.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: agda-bin agda-mode agda-stdlib agda-stdlib-doc binutils cpp cpp-4.7 emacs emacs23 emacs23-bin-common emacs23-common emacsen-common fontconfig fontconfig-config gcc gcc-4.7 gconf-service gconf2-common ghc haskell-mode libasound2 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libexpat1 libffi-dev libffi5 libfontconfig1 libfreetype6 libfribidi0 libgconf-2-4 libgcrypt11 libgd2-noxpm libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libghc-agda-dev libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-src-exts-dev libghc-syb-dev libghc-terminfo-dev libghc-text-dev libghc-transformers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libglib2.0-0 libgmp-dev libgmp10 libgmpxx4ldbl libgnutls26 libgomp1 libgpg-error0 libgpm2 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libice6 libitm1 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 liblockfile-bin liblockfile1 libm17n-0 libmpc2 libmpfr4 libncurses5-dev libotf0 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libquadmath0 librsvg2-2 libsasl2-2 libsm6 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo-dev libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 linux-libc-dev m17n-contrib m17n-db shared-mime-info ttf-dejavu-core x11-common zlib1g-dev Suggested packages: binutils-doc cpp-doc gcc-4.7-locales emacs23-common-non-dfsg emacs23-el gcc-multilib make manpages-dev autoconf automake1.9 libtool flex bison gdb gcc-doc gcc-4.7-multilib libmudflap0-4.7-dev gcc-4.7-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libquadmath0-dbg libmudflap0-dbg libcloog-ppl0 libppl-c2 libppl7 binutils-gold perl ghc-prof ghc-doc haskell-doc llvm-3.0 libasound2-plugins glibc-doc cups-common rng-tools libgd-tools libghc-agda-doc libghc-cpphs-doc libghc-cpphs-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-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-src-exts-doc libghc-src-exts-prof libghc-syb-doc libghc-syb-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-transformers-doc libghc-transformers-prof libghc-utf8-string-doc libghc-utf8-string-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev gpm krb5-doc krb5-user librsvg2-common gvfs libjasper-runtime m17n-docs ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp librsvg2-bin gawk Recommended packages: dbus libglib2.0-data libstdc++-dev hicolor-icon-theme libgtk2.0-bin krb5-locales libsasl2-modules xml-core The following NEW packages will be installed: agda-bin agda-mode agda-stdlib agda-stdlib-doc binutils cpp cpp-4.7 emacs emacs23 emacs23-bin-common emacs23-common emacsen-common fontconfig fontconfig-config gcc gcc-4.7 gconf-service gconf2-common ghc haskell-mode libasound2 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libexpat1 libffi-dev libffi5 libfontconfig1 libfreetype6 libfribidi0 libgconf-2-4 libgcrypt11 libgd2-noxpm libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libghc-agda-dev libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-src-exts-dev libghc-syb-dev libghc-terminfo-dev libghc-text-dev libghc-transformers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libglib2.0-0 libgmp-dev libgmp10 libgmpxx4ldbl libgnutls26 libgomp1 libgpg-error0 libgpm2 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libice6 libitm1 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 liblockfile-bin liblockfile1 libm17n-0 libmpc2 libmpfr4 libncurses5-dev libotf0 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libquadmath0 librsvg2-2 libsasl2-2 libsm6 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo-dev libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 linux-libc-dev m17n-contrib m17n-db shared-mime-info ttf-dejavu-core x11-common zlib1g-dev 0 upgraded, 135 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 169 MB of archives. After this operation, 750 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main libgmp10 amd64 2:5.0.5+dfsg-2 [250 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main libmpfr4 amd64 3.1.0-5 [538 kB] Get:3 http://mirror-ubc.debian.org/debian/ wheezy/main libmpc2 amd64 0.9-4 [40.1 kB] Get:4 http://mirror-ubc.debian.org/debian/ wheezy/main cpp-4.7 amd64 4.7.2-5 [5416 kB] Get:5 http://mirror-ubc.debian.org/debian/ wheezy/main cpp amd64 4:4.7.2-1 [16.6 kB] Get:6 http://mirror-ubc.debian.org/debian/ wheezy/main binutils amd64 2.22-8+deb7u2 [4793 kB] Get:7 http://mirror-ubc.debian.org/debian/ wheezy/main libgomp1 amd64 4.7.2-5 [27.5 kB] Get:8 http://mirror-ubc.debian.org/debian/ wheezy/main libitm1 amd64 4.7.2-5 [36.6 kB] Get:9 http://mirror-ubc.debian.org/debian/ wheezy/main libquadmath0 amd64 4.7.2-5 [125 kB] Get:10 http://mirror-ubc.debian.org/debian/ wheezy/main gcc-4.7 amd64 4.7.2-5 [8296 kB] Get:11 http://mirror-ubc.debian.org/debian/ wheezy/main gcc amd64 4:4.7.2-1 [5064 B] Get:12 http://mirror-ubc.debian.org/debian/ wheezy/main libgmpxx4ldbl amd64 2:5.0.5+dfsg-2 [21.6 kB] Get:13 http://mirror-ubc.debian.org/debian/ wheezy/main libgmp-dev amd64 2:5.0.5+dfsg-2 [610 kB] Get:14 http://mirror-ubc.debian.org/debian/ wheezy/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:15 http://mirror-ubc.debian.org/debian/ wheezy/main libffi-dev amd64 3.0.10-3 [116 kB] Get:16 http://mirror-ubc.debian.org/debian/ wheezy/main libbsd0 amd64 0.4.2-1 [59.3 kB] Get:17 http://mirror-ubc.debian.org/debian/ wheezy/main libbsd-dev amd64 0.4.2-1 [140 kB] Get:18 http://mirror-ubc.debian.org/debian/ wheezy/main libc-dev-bin amd64 2.13-38+deb7u10 [228 kB] Get:19 http://mirror-ubc.debian.org/debian/ wheezy/main linux-libc-dev amd64 3.2.78-1 [854 kB] Get:20 http://mirror-ubc.debian.org/debian/ wheezy/main libc6-dev amd64 2.13-38+deb7u10 [2663 kB] Get:21 http://mirror-ubc.debian.org/debian/ wheezy/main ghc amd64 7.4.1-4 [45.8 MB] Get:22 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-random-dev amd64 1.0.1.1-1+b1 [240 kB] Get:23 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-quickcheck2-dev amd64 2.4.2-1+b1 [541 kB] Get:24 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-text-dev amd64 0.11.2.0-1 [1935 kB] Get:25 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-hashable-dev amd64 1.1.2.3-1+b2 [49.4 kB] Get:26 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-primitive-dev amd64 0.4.1-1+b1 [101 kB] Get:27 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-vector-dev amd64 0.9.1-2+b1 [1689 kB] Get:28 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-hashtables-dev amd64 1.0.1.4-1+b1 [285 kB] Get:29 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-transformers-dev amd64 0.3.0.0-1 [402 kB] Get:30 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-mtl-dev amd64 2.1.1-1 [122 kB] Get:31 http://mirror-ubc.debian.org/debian/ wheezy/main libtinfo-dev amd64 5.9-10 [105 kB] Get:32 http://mirror-ubc.debian.org/debian/ wheezy/main libncurses5-dev amd64 5.9-10 [223 kB] Get:33 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-terminfo-dev amd64 0.3.2.3-1+b1 [131 kB] Get:34 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-utf8-string-dev amd64 0.3.7-1+b1 [142 kB] Get:35 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-haskeline-dev amd64 0.6.4.7-1+b1 [900 kB] Get:36 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-cpphs-dev amd64 1.13.3-2+b1 [249 kB] Get:37 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-src-exts-dev amd64 1.11.1-3+b1 [5612 kB] Get:38 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-syb-dev amd64 0.3.6.1-1 [135 kB] Get:39 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-xhtml-dev amd64 3000.2.1-1 [227 kB] Get:40 http://mirror-ubc.debian.org/debian/ wheezy/main zlib1g-dev amd64 1:1.2.7.dfsg-13 [215 kB] Get:41 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-zlib-dev amd64 0.5.3.3-1+b1 [85.9 kB] Get:42 http://mirror-ubc.debian.org/debian/ wheezy/main libghc-agda-dev amd64 2.3.0.1-2+b1 [13.0 MB] Get:43 http://mirror-ubc.debian.org/debian/ wheezy/main emacsen-common all 2.0.5 [20.9 kB] Get:44 http://mirror-ubc.debian.org/debian/ wheezy/main emacs23-common all 23.4+1-4 [18.6 MB] Get:45 http://mirror-ubc.debian.org/debian/ wheezy/main liblockfile-bin amd64 1.09-5 [18.6 kB] Get:46 http://mirror-ubc.debian.org/debian/ wheezy/main liblockfile1 amd64 1.09-5 [15.5 kB] Get:47 http://mirror-ubc.debian.org/debian/ wheezy/main emacs23-bin-common amd64 23.4+1-4 [263 kB] Get:48 http://mirror-ubc.debian.org/debian/ wheezy/main libdbus-1-3 amd64 1.6.8-1+deb7u6 [174 kB] Get:49 http://mirror-ubc.debian.org/debian/ wheezy/main libpcre3 amd64 1:8.30-5 [242 kB] Get:50 http://mirror-ubc.debian.org/debian/ wheezy/main libglib2.0-0 amd64 2.33.12+really2.32.4-5 [1838 kB] Get:51 http://mirror-ubc.debian.org/debian/ wheezy/main libdbus-glib-1-2 amd64 0.100.2-1 [203 kB] Get:52 http://mirror-ubc.debian.org/debian/ wheezy/main gconf2-common all 3.2.5-1+build1 [1023 kB] Get:53 http://mirror-ubc.debian.org/debian/ wheezy/main libgconf-2-4 amd64 3.2.5-1+build1 [419 kB] Get:54 http://mirror-ubc.debian.org/debian/ wheezy/main libgpg-error0 amd64 1.10-3.1 [77.9 kB] Get:55 http://mirror-ubc.debian.org/debian/ wheezy/main libgcrypt11 amd64 1.5.0-5+deb7u4 [301 kB] Get:56 http://mirror-ubc.debian.org/debian/ wheezy/main libp11-kit0 amd64 0.12-3 [52.8 kB] Get:57 http://mirror-ubc.debian.org/debian/ wheezy/main libtasn1-3 amd64 2.13-2+deb7u2 [67.8 kB] Get:58 http://mirror-ubc.debian.org/debian/ wheezy/main libgnutls26 amd64 2.12.20-8+deb7u5 [620 kB] Get:59 http://mirror-ubc.debian.org/debian/ wheezy/main libsasl2-2 amd64 2.1.25.dfsg1-6+deb7u1 [120 kB] Get:60 http://mirror-ubc.debian.org/debian/ wheezy/main libldap-2.4-2 amd64 2.4.31-2+deb7u2 [243 kB] Get:61 http://mirror-ubc.debian.org/debian/ wheezy/main libxml2 amd64 2.8.0+dfsg1-7+wheezy5 [906 kB] Get:62 http://mirror-ubc.debian.org/debian/ wheezy/main gconf-service amd64 3.2.5-1+build1 [408 kB] Get:63 http://mirror-ubc.debian.org/debian/ wheezy/main libasound2 amd64 1.0.25-4 [461 kB] Get:64 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-data all 2.4.0-2 [240 kB] Get:65 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-0 amd64 2.4.0-2 [95.1 kB] Get:66 http://mirror-ubc.debian.org/debian/ wheezy/main libexpat1 amd64 2.1.0-1+deb7u2 [139 kB] Get:67 http://mirror-ubc.debian.org/debian/ wheezy/main libfreetype6 amd64 2.4.9-1.1+deb7u3 [452 kB] Get:68 http://mirror-ubc.debian.org/debian/ wheezy/main ttf-dejavu-core all 2.33-3 [1021 kB] Get:69 http://mirror-ubc.debian.org/debian/ wheezy/main fontconfig-config all 2.9.0-7.1 [233 kB] Get:70 http://mirror-ubc.debian.org/debian/ wheezy/main libfontconfig1 amd64 2.9.0-7.1 [300 kB] Get:71 http://mirror-ubc.debian.org/debian/ wheezy/main libpixman-1-0 amd64 0.26.0-4+deb7u2 [427 kB] Get:72 http://mirror-ubc.debian.org/debian/ wheezy/main libpng12-0 amd64 1.2.49-1+deb7u2 [191 kB] Get:73 http://mirror-ubc.debian.org/debian/ wheezy/main libxau6 amd64 1:1.0.7-1 [18.8 kB] Get:74 http://mirror-ubc.debian.org/debian/ wheezy/main libxdmcp6 amd64 1:1.1.1-1 [26.3 kB] Get:75 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb1 amd64 1.8.1-2+deb7u1 [50.2 kB] Get:76 http://mirror-ubc.debian.org/debian/ wheezy/main libx11-data all 2:1.5.0-1+deb7u2 [194 kB] Get:77 http://mirror-ubc.debian.org/debian/ wheezy/main libx11-6 amd64 2:1.5.0-1+deb7u2 [901 kB] Get:78 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-render0 amd64 1.8.1-2+deb7u1 [18.6 kB] Get:79 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-shm0 amd64 1.8.1-2+deb7u1 [10.4 kB] Get:80 http://mirror-ubc.debian.org/debian/ wheezy/main libxrender1 amd64 1:0.9.7-1+deb7u2 [32.9 kB] Get:81 http://mirror-ubc.debian.org/debian/ wheezy/main libcairo2 amd64 1.12.2-3 [912 kB] Get:82 http://mirror-ubc.debian.org/debian/ wheezy/main libjpeg8 amd64 8d-1+deb7u1 [138 kB] Get:83 http://mirror-ubc.debian.org/debian/ wheezy/main libjasper1 amd64 1.900.1-13+deb7u4 [160 kB] Get:84 http://mirror-ubc.debian.org/debian/ wheezy/main libjbig0 amd64 2.0-2+deb7u1 [32.6 kB] Get:85 http://mirror-ubc.debian.org/debian/ wheezy/main libtiff4 amd64 3.9.6-11 [202 kB] Get:86 http://mirror-ubc.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-common all 2.26.1-1+deb7u3 [287 kB] Get:87 http://mirror-ubc.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-0 amd64 2.26.1-1+deb7u3 [160 kB] Get:88 http://mirror-ubc.debian.org/debian/ wheezy/main libgif4 amd64 4.1.6-10+deb7u1 [42.6 kB] Get:89 http://mirror-ubc.debian.org/debian/ wheezy/main libgpm2 amd64 1.20.4-6 [35.8 kB] Get:90 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-common all 2.24.10-2 [3081 kB] Get:91 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common-data amd64 0.6.31-2 [135 kB] Get:92 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common3 amd64 0.6.31-2 [54.6 kB] Get:93 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-client3 amd64 0.6.31-2 [59.5 kB] Get:94 http://mirror-ubc.debian.org/debian/ wheezy/main libkeyutils1 amd64 1.5.5-3+deb7u1 [8664 B] Get:95 http://mirror-ubc.debian.org/debian/ wheezy/main libkrb5support0 amd64 1.10.1+dfsg-5+deb7u7 [50.5 kB] Get:96 http://mirror-ubc.debian.org/debian/ wheezy/main libk5crypto3 amd64 1.10.1+dfsg-5+deb7u7 [113 kB] Get:97 http://mirror-ubc.debian.org/debian/ wheezy/main libkrb5-3 amd64 1.10.1+dfsg-5+deb7u7 [394 kB] Get:98 http://mirror-ubc.debian.org/debian/ wheezy/main libgssapi-krb5-2 amd64 1.10.1+dfsg-5+deb7u7 [150 kB] Get:99 http://mirror-ubc.debian.org/debian/ wheezy/main libcups2 amd64 1.5.3-5+deb7u6 [256 kB] Get:100 http://mirror-ubc.debian.org/debian/ wheezy/main libthai-data all 0.1.18-2 [154 kB] Get:101 http://mirror-ubc.debian.org/debian/ wheezy/main libdatrie1 amd64 0.2.5-3 [28.6 kB] Get:102 http://mirror-ubc.debian.org/debian/ wheezy/main libthai0 amd64 0.1.18-2 [42.3 kB] Get:103 http://mirror-ubc.debian.org/debian/ wheezy/main libxft2 amd64 2.3.1-1 [61.0 kB] Get:104 http://mirror-ubc.debian.org/debian/ wheezy/main fontconfig amd64 2.9.0-7.1 [348 kB] Get:105 http://mirror-ubc.debian.org/debian/ wheezy/main libpango1.0-0 amd64 1.30.0-1 [461 kB] Get:106 http://mirror-ubc.debian.org/debian/ wheezy/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:107 http://mirror-ubc.debian.org/debian/ wheezy/main libxfixes3 amd64 1:5.0-4+deb7u1 [21.3 kB] Get:108 http://mirror-ubc.debian.org/debian/ wheezy/main libxcursor1 amd64 1:1.1.13-1+deb7u1 [27.1 kB] Get:109 http://mirror-ubc.debian.org/debian/ wheezy/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:110 http://mirror-ubc.debian.org/debian/ wheezy/main libxext6 amd64 2:1.3.1-2+deb7u1 [54.8 kB] Get:111 http://mirror-ubc.debian.org/debian/ wheezy/main libxi6 amd64 2:1.6.1-1+deb7u1 [75.7 kB] Get:112 http://mirror-ubc.debian.org/debian/ wheezy/main libxinerama1 amd64 2:1.1.2-1+deb7u1 [16.9 kB] Get:113 http://mirror-ubc.debian.org/debian/ wheezy/main libxrandr2 amd64 2:1.3.2-2+deb7u1 [33.0 kB] Get:114 http://mirror-ubc.debian.org/debian/ wheezy/main shared-mime-info amd64 1.0-1+b1 [595 kB] Get:115 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-0 amd64 2.24.10-2 [2200 kB] Get:116 http://mirror-ubc.debian.org/debian/ wheezy/main x11-common all 1:7.7+3~deb7u1 [284 kB] Get:117 http://mirror-ubc.debian.org/debian/ wheezy/main libice6 amd64 2:1.0.8-2 [63.1 kB] Get:118 http://mirror-ubc.debian.org/debian/ wheezy/main libfribidi0 amd64 0.19.2-3 [36.8 kB] Get:119 http://mirror-ubc.debian.org/debian/ wheezy/main libgd2-noxpm amd64 2.0.36~rc1~dfsg-6.1+deb7u2 [231 kB] Get:120 http://mirror-ubc.debian.org/debian/ wheezy/main libotf0 amd64 0.9.12-2 [52.2 kB] Get:121 http://mirror-ubc.debian.org/debian/ wheezy/main libsm6 amd64 2:1.2.1-2 [34.2 kB] Get:122 http://mirror-ubc.debian.org/debian/ wheezy/main libxt6 amd64 1:1.1.3-1+deb7u1 [212 kB] Get:123 http://mirror-ubc.debian.org/debian/ wheezy/main m17n-db all 1.6.3-2 [1852 kB] Get:124 http://mirror-ubc.debian.org/debian/ wheezy/main m17n-contrib all 1.1.13-2 [545 kB] Get:125 http://mirror-ubc.debian.org/debian/ wheezy/main libm17n-0 amd64 1.6.3-2 [275 kB] Get:126 http://mirror-ubc.debian.org/debian/ wheezy/main libcroco3 amd64 0.6.6-2 [134 kB] Get:127 http://mirror-ubc.debian.org/debian/ wheezy/main librsvg2-2 amd64 2.36.1-2+deb7u1 [239 kB] Get:128 http://mirror-ubc.debian.org/debian/ wheezy/main libxpm4 amd64 1:3.5.10-1 [49.4 kB] Get:129 http://mirror-ubc.debian.org/debian/ wheezy/main emacs23 amd64 23.4+1-4 [3432 kB] Get:130 http://mirror-ubc.debian.org/debian/ wheezy/main emacs all 45.0 [1494 B] Get:131 http://mirror-ubc.debian.org/debian/ wheezy/main haskell-mode all 2.8.0-2 [115 kB] Get:132 http://mirror-ubc.debian.org/debian/ wheezy/main agda-mode all 2.3.0.1-2 [46.1 kB] Get:133 http://mirror-ubc.debian.org/debian/ wheezy/main agda-bin amd64 2.3.0.1-1 [4912 kB] Get:134 http://mirror-ubc.debian.org/debian/ wheezy/main agda-stdlib all 0.6-2 [17.0 MB] Get:135 http://mirror-ubc.debian.org/debian/ wheezy/main agda-stdlib-doc all 0.6-2 [1705 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 169 MB in 6s (26.0 MB/s) Selecting previously unselected package libgmp10:amd64. (Reading database ... 6768 files and directories currently installed.) Unpacking libgmp10:amd64 (from .../libgmp10_2%3a5.0.5+dfsg-2_amd64.deb) ... Selecting previously unselected package libmpfr4:amd64. Unpacking libmpfr4:amd64 (from .../libmpfr4_3.1.0-5_amd64.deb) ... Selecting previously unselected package libmpc2:amd64. Unpacking libmpc2:amd64 (from .../libmpc2_0.9-4_amd64.deb) ... Selecting previously unselected package cpp-4.7. Unpacking cpp-4.7 (from .../cpp-4.7_4.7.2-5_amd64.deb) ... Selecting previously unselected package cpp. Unpacking cpp (from .../cpp_4%3a4.7.2-1_amd64.deb) ... Selecting previously unselected package binutils. Unpacking binutils (from .../binutils_2.22-8+deb7u2_amd64.deb) ... Selecting previously unselected package libgomp1:amd64. Unpacking libgomp1:amd64 (from .../libgomp1_4.7.2-5_amd64.deb) ... Selecting previously unselected package libitm1:amd64. Unpacking libitm1:amd64 (from .../libitm1_4.7.2-5_amd64.deb) ... Selecting previously unselected package libquadmath0:amd64. Unpacking libquadmath0:amd64 (from .../libquadmath0_4.7.2-5_amd64.deb) ... Selecting previously unselected package gcc-4.7. Unpacking gcc-4.7 (from .../gcc-4.7_4.7.2-5_amd64.deb) ... Selecting previously unselected package gcc. Unpacking gcc (from .../gcc_4%3a4.7.2-1_amd64.deb) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Unpacking libgmpxx4ldbl:amd64 (from .../libgmpxx4ldbl_2%3a5.0.5+dfsg-2_amd64.deb) ... Selecting previously unselected package libgmp-dev:amd64. Unpacking libgmp-dev:amd64 (from .../libgmp-dev_2%3a5.0.5+dfsg-2_amd64.deb) ... Selecting previously unselected package libffi5:amd64. Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3_amd64.deb) ... Selecting previously unselected package libffi-dev:amd64. Unpacking libffi-dev:amd64 (from .../libffi-dev_3.0.10-3_amd64.deb) ... Selecting previously unselected package libbsd0:amd64. Unpacking libbsd0:amd64 (from .../libbsd0_0.4.2-1_amd64.deb) ... Selecting previously unselected package libbsd-dev. Unpacking libbsd-dev (from .../libbsd-dev_0.4.2-1_amd64.deb) ... Selecting previously unselected package libc-dev-bin. Unpacking libc-dev-bin (from .../libc-dev-bin_2.13-38+deb7u10_amd64.deb) ... Selecting previously unselected package linux-libc-dev:amd64. Unpacking linux-libc-dev:amd64 (from .../linux-libc-dev_3.2.78-1_amd64.deb) ... Selecting previously unselected package libc6-dev:amd64. Unpacking libc6-dev:amd64 (from .../libc6-dev_2.13-38+deb7u10_amd64.deb) ... Selecting previously unselected package ghc. Unpacking ghc (from .../archives/ghc_7.4.1-4_amd64.deb) ... Selecting previously unselected package libghc-random-dev. Unpacking libghc-random-dev (from .../libghc-random-dev_1.0.1.1-1+b1_amd64.deb) ... Selecting previously unselected package libghc-quickcheck2-dev. Unpacking libghc-quickcheck2-dev (from .../libghc-quickcheck2-dev_2.4.2-1+b1_amd64.deb) ... Selecting previously unselected package libghc-text-dev. Unpacking libghc-text-dev (from .../libghc-text-dev_0.11.2.0-1_amd64.deb) ... Selecting previously unselected package libghc-hashable-dev. Unpacking libghc-hashable-dev (from .../libghc-hashable-dev_1.1.2.3-1+b2_amd64.deb) ... Selecting previously unselected package libghc-primitive-dev. Unpacking libghc-primitive-dev (from .../libghc-primitive-dev_0.4.1-1+b1_amd64.deb) ... Selecting previously unselected package libghc-vector-dev. Unpacking libghc-vector-dev (from .../libghc-vector-dev_0.9.1-2+b1_amd64.deb) ... Selecting previously unselected package libghc-hashtables-dev. Unpacking libghc-hashtables-dev (from .../libghc-hashtables-dev_1.0.1.4-1+b1_amd64.deb) ... Selecting previously unselected package libghc-transformers-dev. Unpacking libghc-transformers-dev (from .../libghc-transformers-dev_0.3.0.0-1_amd64.deb) ... Selecting previously unselected package libghc-mtl-dev. Unpacking libghc-mtl-dev (from .../libghc-mtl-dev_2.1.1-1_amd64.deb) ... Selecting previously unselected package libtinfo-dev:amd64. Unpacking libtinfo-dev:amd64 (from .../libtinfo-dev_5.9-10_amd64.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-10_amd64.deb) ... Selecting previously unselected package libghc-terminfo-dev. Unpacking libghc-terminfo-dev (from .../libghc-terminfo-dev_0.3.2.3-1+b1_amd64.deb) ... Selecting previously unselected package libghc-utf8-string-dev. Unpacking libghc-utf8-string-dev (from .../libghc-utf8-string-dev_0.3.7-1+b1_amd64.deb) ... Selecting previously unselected package libghc-haskeline-dev. Unpacking libghc-haskeline-dev (from .../libghc-haskeline-dev_0.6.4.7-1+b1_amd64.deb) ... Selecting previously unselected package libghc-cpphs-dev. Unpacking libghc-cpphs-dev (from .../libghc-cpphs-dev_1.13.3-2+b1_amd64.deb) ... Selecting previously unselected package libghc-src-exts-dev. Unpacking libghc-src-exts-dev (from .../libghc-src-exts-dev_1.11.1-3+b1_amd64.deb) ... Selecting previously unselected package libghc-syb-dev. Unpacking libghc-syb-dev (from .../libghc-syb-dev_0.3.6.1-1_amd64.deb) ... Selecting previously unselected package libghc-xhtml-dev. Unpacking libghc-xhtml-dev (from .../libghc-xhtml-dev_3000.2.1-1_amd64.deb) ... Selecting previously unselected package zlib1g-dev:amd64. Unpacking zlib1g-dev:amd64 (from .../zlib1g-dev_1%3a1.2.7.dfsg-13_amd64.deb) ... Selecting previously unselected package libghc-zlib-dev. Unpacking libghc-zlib-dev (from .../libghc-zlib-dev_0.5.3.3-1+b1_amd64.deb) ... Selecting previously unselected package libghc-agda-dev. Unpacking libghc-agda-dev (from .../libghc-agda-dev_2.3.0.1-2+b1_amd64.deb) ... Selecting previously unselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_2.0.5_all.deb) ... Selecting previously unselected package emacs23-common. Unpacking emacs23-common (from .../emacs23-common_23.4+1-4_all.deb) ... Selecting previously unselected package liblockfile-bin. Unpacking liblockfile-bin (from .../liblockfile-bin_1.09-5_amd64.deb) ... Selecting previously unselected package liblockfile1:amd64. Unpacking liblockfile1:amd64 (from .../liblockfile1_1.09-5_amd64.deb) ... Selecting previously unselected package emacs23-bin-common. Unpacking emacs23-bin-common (from .../emacs23-bin-common_23.4+1-4_amd64.deb) ... Selecting previously unselected package libdbus-1-3:amd64. Unpacking libdbus-1-3:amd64 (from .../libdbus-1-3_1.6.8-1+deb7u6_amd64.deb) ... Selecting previously unselected package libpcre3:amd64. Unpacking libpcre3:amd64 (from .../libpcre3_1%3a8.30-5_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.33.12+really2.32.4-5_amd64.deb) ... Selecting previously unselected package libdbus-glib-1-2:amd64. Unpacking libdbus-glib-1-2:amd64 (from .../libdbus-glib-1-2_0.100.2-1_amd64.deb) ... Selecting previously unselected package gconf2-common. Unpacking gconf2-common (from .../gconf2-common_3.2.5-1+build1_all.deb) ... Selecting previously unselected package libgconf-2-4:amd64. Unpacking libgconf-2-4:amd64 (from .../libgconf-2-4_3.2.5-1+build1_amd64.deb) ... Selecting previously unselected package libgpg-error0:amd64. Unpacking libgpg-error0:amd64 (from .../libgpg-error0_1.10-3.1_amd64.deb) ... Selecting previously unselected package libgcrypt11:amd64. Unpacking libgcrypt11:amd64 (from .../libgcrypt11_1.5.0-5+deb7u4_amd64.deb) ... Selecting previously unselected package libp11-kit0:amd64. Unpacking libp11-kit0:amd64 (from .../libp11-kit0_0.12-3_amd64.deb) ... Selecting previously unselected package libtasn1-3:amd64. Unpacking libtasn1-3:amd64 (from .../libtasn1-3_2.13-2+deb7u2_amd64.deb) ... Selecting previously unselected package libgnutls26:amd64. Unpacking libgnutls26:amd64 (from .../libgnutls26_2.12.20-8+deb7u5_amd64.deb) ... Selecting previously unselected package libsasl2-2:amd64. Unpacking libsasl2-2:amd64 (from .../libsasl2-2_2.1.25.dfsg1-6+deb7u1_amd64.deb) ... Selecting previously unselected package libldap-2.4-2:amd64. Unpacking libldap-2.4-2:amd64 (from .../libldap-2.4-2_2.4.31-2+deb7u2_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.8.0+dfsg1-7+wheezy5_amd64.deb) ... Selecting previously unselected package gconf-service. Unpacking gconf-service (from .../gconf-service_3.2.5-1+build1_amd64.deb) ... Selecting previously unselected package libasound2:amd64. Unpacking libasound2:amd64 (from .../libasound2_1.0.25-4_amd64.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.4.0-2_all.deb) ... Selecting previously unselected package libatk1.0-0:amd64. Unpacking libatk1.0-0:amd64 (from .../libatk1.0-0_2.4.0-2_amd64.deb) ... Selecting previously unselected package libexpat1:amd64. Unpacking libexpat1:amd64 (from .../libexpat1_2.1.0-1+deb7u2_amd64.deb) ... Selecting previously unselected package libfreetype6:amd64. Unpacking libfreetype6:amd64 (from .../libfreetype6_2.4.9-1.1+deb7u3_amd64.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-3_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-7.1_all.deb) ... Selecting previously unselected package libfontconfig1:amd64. Unpacking libfontconfig1:amd64 (from .../libfontconfig1_2.9.0-7.1_amd64.deb) ... Selecting previously unselected package libpixman-1-0:amd64. Unpacking libpixman-1-0:amd64 (from .../libpixman-1-0_0.26.0-4+deb7u2_amd64.deb) ... Selecting previously unselected package libpng12-0:amd64. Unpacking libpng12-0:amd64 (from .../libpng12-0_1.2.49-1+deb7u2_amd64.deb) ... Selecting previously unselected package libxau6:amd64. Unpacking libxau6:amd64 (from .../libxau6_1%3a1.0.7-1_amd64.deb) ... Selecting previously unselected package libxdmcp6:amd64. Unpacking libxdmcp6:amd64 (from .../libxdmcp6_1%3a1.1.1-1_amd64.deb) ... Selecting previously unselected package libxcb1:amd64. Unpacking libxcb1:amd64 (from .../libxcb1_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1+deb7u2_all.deb) ... Selecting previously unselected package libx11-6:amd64. Unpacking libx11-6:amd64 (from .../libx11-6_2%3a1.5.0-1+deb7u2_amd64.deb) ... Selecting previously unselected package libxcb-render0:amd64. Unpacking libxcb-render0:amd64 (from .../libxcb-render0_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxcb-shm0:amd64. Unpacking libxcb-shm0:amd64 (from .../libxcb-shm0_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxrender1:amd64. Unpacking libxrender1:amd64 (from .../libxrender1_1%3a0.9.7-1+deb7u2_amd64.deb) ... Selecting previously unselected package libcairo2:amd64. Unpacking libcairo2:amd64 (from .../libcairo2_1.12.2-3_amd64.deb) ... Selecting previously unselected package libjpeg8:amd64. Unpacking libjpeg8:amd64 (from .../libjpeg8_8d-1+deb7u1_amd64.deb) ... Selecting previously unselected package libjasper1:amd64. Unpacking libjasper1:amd64 (from .../libjasper1_1.900.1-13+deb7u4_amd64.deb) ... Selecting previously unselected package libjbig0:amd64. Unpacking libjbig0:amd64 (from .../libjbig0_2.0-2+deb7u1_amd64.deb) ... Selecting previously unselected package libtiff4:amd64. Unpacking libtiff4:amd64 (from .../libtiff4_3.9.6-11_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1+deb7u3_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Unpacking libgdk-pixbuf2.0-0:amd64 (from .../libgdk-pixbuf2.0-0_2.26.1-1+deb7u3_amd64.deb) ... Selecting previously unselected package libgif4. Unpacking libgif4 (from .../libgif4_4.1.6-10+deb7u1_amd64.deb) ... Selecting previously unselected package libgpm2:amd64. Unpacking libgpm2:amd64 (from .../libgpm2_1.20.4-6_amd64.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-2_all.deb) ... Selecting previously unselected package libavahi-common-data:amd64. Unpacking libavahi-common-data:amd64 (from .../libavahi-common-data_0.6.31-2_amd64.deb) ... Selecting previously unselected package libavahi-common3:amd64. Unpacking libavahi-common3:amd64 (from .../libavahi-common3_0.6.31-2_amd64.deb) ... Selecting previously unselected package libavahi-client3:amd64. Unpacking libavahi-client3:amd64 (from .../libavahi-client3_0.6.31-2_amd64.deb) ... Selecting previously unselected package libkeyutils1:amd64. Unpacking libkeyutils1:amd64 (from .../libkeyutils1_1.5.5-3+deb7u1_amd64.deb) ... Selecting previously unselected package libkrb5support0:amd64. Unpacking libkrb5support0:amd64 (from .../libkrb5support0_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libk5crypto3:amd64. Unpacking libk5crypto3:amd64 (from .../libk5crypto3_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libkrb5-3:amd64. Unpacking libkrb5-3:amd64 (from .../libkrb5-3_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Unpacking libgssapi-krb5-2:amd64 (from .../libgssapi-krb5-2_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libcups2:amd64. Unpacking libcups2:amd64 (from .../libcups2_1.5.3-5+deb7u6_amd64.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.18-2_all.deb) ... Selecting previously unselected package libdatrie1:amd64. Unpacking libdatrie1:amd64 (from .../libdatrie1_0.2.5-3_amd64.deb) ... Selecting previously unselected package libthai0:amd64. Unpacking libthai0:amd64 (from .../libthai0_0.1.18-2_amd64.deb) ... Selecting previously unselected package libxft2:amd64. Unpacking libxft2:amd64 (from .../libxft2_2.3.1-1_amd64.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.9.0-7.1_amd64.deb) ... Selecting previously unselected package libpango1.0-0:amd64. Unpacking libpango1.0-0:amd64 (from .../libpango1.0-0_1.30.0-1_amd64.deb) ... Selecting previously unselected package libxcomposite1:amd64. Unpacking libxcomposite1:amd64 (from .../libxcomposite1_1%3a0.4.3-2_amd64.deb) ... Selecting previously unselected package libxfixes3:amd64. Unpacking libxfixes3:amd64 (from .../libxfixes3_1%3a5.0-4+deb7u1_amd64.deb) ... Selecting previously unselected package libxcursor1:amd64. Unpacking libxcursor1:amd64 (from .../libxcursor1_1%3a1.1.13-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxdamage1:amd64. Unpacking libxdamage1:amd64 (from .../libxdamage1_1%3a1.1.3-2_amd64.deb) ... Selecting previously unselected package libxext6:amd64. Unpacking libxext6:amd64 (from .../libxext6_2%3a1.3.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxi6:amd64. Unpacking libxi6:amd64 (from .../libxi6_2%3a1.6.1-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxinerama1:amd64. Unpacking libxinerama1:amd64 (from .../libxinerama1_2%3a1.1.2-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxrandr2:amd64. Unpacking libxrandr2:amd64 (from .../libxrandr2_2%3a1.3.2-2+deb7u1_amd64.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.0-1+b1_amd64.deb) ... Selecting previously unselected package libgtk2.0-0:amd64. Unpacking libgtk2.0-0:amd64 (from .../libgtk2.0-0_2.24.10-2_amd64.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.7+3~deb7u1_all.deb) ... Selecting previously unselected package libice6:amd64. Unpacking libice6:amd64 (from .../libice6_2%3a1.0.8-2_amd64.deb) ... Selecting previously unselected package libfribidi0:amd64. Unpacking libfribidi0:amd64 (from .../libfribidi0_0.19.2-3_amd64.deb) ... Selecting previously unselected package libgd2-noxpm:amd64. Unpacking libgd2-noxpm:amd64 (from .../libgd2-noxpm_2.0.36~rc1~dfsg-6.1+deb7u2_amd64.deb) ... Selecting previously unselected package libotf0. Unpacking libotf0 (from .../libotf0_0.9.12-2_amd64.deb) ... Selecting previously unselected package libsm6:amd64. Unpacking libsm6:amd64 (from .../libsm6_2%3a1.2.1-2_amd64.deb) ... Selecting previously unselected package libxt6:amd64. Unpacking libxt6:amd64 (from .../libxt6_1%3a1.1.3-1+deb7u1_amd64.deb) ... Selecting previously unselected package m17n-db. Unpacking m17n-db (from .../m17n-db_1.6.3-2_all.deb) ... Selecting previously unselected package m17n-contrib. Unpacking m17n-contrib (from .../m17n-contrib_1.1.13-2_all.deb) ... Selecting previously unselected package libm17n-0. Unpacking libm17n-0 (from .../libm17n-0_1.6.3-2_amd64.deb) ... Selecting previously unselected package libcroco3:amd64. Unpacking libcroco3:amd64 (from .../libcroco3_0.6.6-2_amd64.deb) ... Selecting previously unselected package librsvg2-2:amd64. Unpacking librsvg2-2:amd64 (from .../librsvg2-2_2.36.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxpm4:amd64. Unpacking libxpm4:amd64 (from .../libxpm4_1%3a3.5.10-1_amd64.deb) ... Selecting previously unselected package emacs23. Unpacking emacs23 (from .../emacs23_23.4+1-4_amd64.deb) ... Selecting previously unselected package emacs. Unpacking emacs (from .../archives/emacs_45.0_all.deb) ... Selecting previously unselected package haskell-mode. Unpacking haskell-mode (from .../haskell-mode_2.8.0-2_all.deb) ... Selecting previously unselected package agda-mode. Unpacking agda-mode (from .../agda-mode_2.3.0.1-2_all.deb) ... Selecting previously unselected package agda-bin. Unpacking agda-bin (from .../agda-bin_2.3.0.1-1_amd64.deb) ... Selecting previously unselected package agda-stdlib. Unpacking agda-stdlib (from .../agda-stdlib_0.6-2_all.deb) ... Selecting previously unselected package agda-stdlib-doc. Unpacking agda-stdlib-doc (from .../agda-stdlib-doc_0.6-2_all.deb) ... Setting up libgmp10:amd64 (2:5.0.5+dfsg-2) ... Setting up libmpfr4:amd64 (3.1.0-5) ... Setting up libmpc2:amd64 (0.9-4) ... Setting up cpp-4.7 (4.7.2-5) ... Setting up cpp (4:4.7.2-1) ... Setting up binutils (2.22-8+deb7u2) ... Setting up libgomp1:amd64 (4.7.2-5) ... Setting up libitm1:amd64 (4.7.2-5) ... Setting up libquadmath0:amd64 (4.7.2-5) ... Setting up gcc-4.7 (4.7.2-5) ... Setting up gcc (4:4.7.2-1) ... Setting up libgmpxx4ldbl:amd64 (2:5.0.5+dfsg-2) ... Setting up libgmp-dev:amd64 (2:5.0.5+dfsg-2) ... Setting up libffi5:amd64 (3.0.10-3) ... Setting up libffi-dev:amd64 (3.0.10-3) ... Setting up libbsd0:amd64 (0.4.2-1) ... Setting up libbsd-dev (0.4.2-1) ... Setting up libc-dev-bin (2.13-38+deb7u10) ... Setting up linux-libc-dev:amd64 (3.2.78-1) ... Setting up libc6-dev:amd64 (2.13-38+deb7u10) ... Setting up ghc (7.4.1-4) ... 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 libghc-random-dev (1.0.1.1-1+b1) ... Setting up libghc-quickcheck2-dev (2.4.2-1+b1) ... Setting up libghc-text-dev (0.11.2.0-1) ... Setting up libghc-hashable-dev (1.1.2.3-1+b2) ... Setting up libghc-primitive-dev (0.4.1-1+b1) ... Setting up libghc-vector-dev (0.9.1-2+b1) ... Setting up libghc-hashtables-dev (1.0.1.4-1+b1) ... Setting up libghc-transformers-dev (0.3.0.0-1) ... Setting up libghc-mtl-dev (2.1.1-1) ... Setting up libtinfo-dev:amd64 (5.9-10) ... Setting up libncurses5-dev (5.9-10) ... Setting up libghc-terminfo-dev (0.3.2.3-1+b1) ... Setting up libghc-utf8-string-dev (0.3.7-1+b1) ... Setting up libghc-haskeline-dev (0.6.4.7-1+b1) ... Setting up libghc-cpphs-dev (1.13.3-2+b1) ... Setting up libghc-src-exts-dev (1.11.1-3+b1) ... Setting up libghc-syb-dev (0.3.6.1-1) ... Setting up libghc-xhtml-dev (3000.2.1-1) ... Setting up zlib1g-dev:amd64 (1:1.2.7.dfsg-13) ... Setting up libghc-zlib-dev (0.5.3.3-1+b1) ... Setting up libghc-agda-dev (2.3.0.1-2+b1) ... Setting up emacsen-common (2.0.5) ... Setting up emacs23-common (23.4+1-4) ... Setting up liblockfile-bin (1.09-5) ... Setting up liblockfile1:amd64 (1.09-5) ... Setting up emacs23-bin-common (23.4+1-4) ... update-alternatives: using /usr/bin/b2m.emacs23 to provide /usr/bin/b2m (b2m) in auto mode update-alternatives: using /usr/bin/ctags.emacs23 to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs23 to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs23 to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs23 to provide /usr/bin/etags (etags) in auto mode update-alternatives: using /usr/bin/grep-changelog.emacs23 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode update-alternatives: using /usr/bin/rcs-checkin.emacs23 to provide /usr/bin/rcs-checkin (rcs-checkin) in auto mode Setting up libdbus-1-3:amd64 (1.6.8-1+deb7u6) ... Setting up libpcre3:amd64 (1:8.30-5) ... Setting up libglib2.0-0:amd64 (2.33.12+really2.32.4-5) ... No schema files found: doing nothing. Setting up libdbus-glib-1-2:amd64 (0.100.2-1) ... Setting up gconf2-common (3.2.5-1+build1) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:amd64 (3.2.5-1+build1) ... Setting up libgpg-error0:amd64 (1.10-3.1) ... Setting up libgcrypt11:amd64 (1.5.0-5+deb7u4) ... Setting up libp11-kit0:amd64 (0.12-3) ... Setting up libtasn1-3:amd64 (2.13-2+deb7u2) ... Setting up libgnutls26:amd64 (2.12.20-8+deb7u5) ... Setting up libsasl2-2:amd64 (2.1.25.dfsg1-6+deb7u1) ... Setting up libldap-2.4-2:amd64 (2.4.31-2+deb7u2) ... Setting up libxml2:amd64 (2.8.0+dfsg1-7+wheezy5) ... Setting up gconf-service (3.2.5-1+build1) ... Setting up libasound2:amd64 (1.0.25-4) ... Setting up libatk1.0-data (2.4.0-2) ... Setting up libatk1.0-0:amd64 (2.4.0-2) ... Setting up libexpat1:amd64 (2.1.0-1+deb7u2) ... Setting up libfreetype6:amd64 (2.4.9-1.1+deb7u3) ... Setting up ttf-dejavu-core (2.33-3) ... Setting up fontconfig-config (2.9.0-7.1) ... Setting up libfontconfig1:amd64 (2.9.0-7.1) ... Setting up libpixman-1-0:amd64 (0.26.0-4+deb7u2) ... Setting up libpng12-0:amd64 (1.2.49-1+deb7u2) ... Setting up libxau6:amd64 (1:1.0.7-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1) ... Setting up libxcb1:amd64 (1.8.1-2+deb7u1) ... Setting up libx11-data (2:1.5.0-1+deb7u2) ... Setting up libx11-6:amd64 (2:1.5.0-1+deb7u2) ... Setting up libxcb-render0:amd64 (1.8.1-2+deb7u1) ... Setting up libxcb-shm0:amd64 (1.8.1-2+deb7u1) ... Setting up libxrender1:amd64 (1:0.9.7-1+deb7u2) ... Setting up libcairo2:amd64 (1.12.2-3) ... Setting up libjpeg8:amd64 (8d-1+deb7u1) ... Setting up libjasper1:amd64 (1.900.1-13+deb7u4) ... Setting up libjbig0:amd64 (2.0-2+deb7u1) ... Setting up libtiff4:amd64 (3.9.6-11) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1+deb7u3) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.26.1-1+deb7u3) ... Setting up libgif4 (4.1.6-10+deb7u1) ... Setting up libgpm2:amd64 (1.20.4-6) ... Setting up libgtk2.0-common (2.24.10-2) ... Setting up libavahi-common-data:amd64 (0.6.31-2) ... Setting up libavahi-common3:amd64 (0.6.31-2) ... Setting up libavahi-client3:amd64 (0.6.31-2) ... Setting up libkeyutils1:amd64 (1.5.5-3+deb7u1) ... Setting up libkrb5support0:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libk5crypto3:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libkrb5-3:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libgssapi-krb5-2:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libcups2:amd64 (1.5.3-5+deb7u6) ... Setting up libthai-data (0.1.18-2) ... Setting up libdatrie1:amd64 (0.2.5-3) ... Setting up libthai0:amd64 (0.1.18-2) ... Setting up libxft2:amd64 (2.3.1-1) ... Setting up fontconfig (2.9.0-7.1) ... Regenerating fonts cache... done. Setting up libpango1.0-0:amd64 (1.30.0-1) ... Setting up libxcomposite1:amd64 (1:0.4.3-2) ... Setting up libxfixes3:amd64 (1:5.0-4+deb7u1) ... Setting up libxcursor1:amd64 (1:1.1.13-1+deb7u1) ... Setting up libxdamage1:amd64 (1:1.1.3-2) ... Setting up libxext6:amd64 (2:1.3.1-2+deb7u1) ... Setting up libxi6:amd64 (2:1.6.1-1+deb7u1) ... Setting up libxinerama1:amd64 (2:1.1.2-1+deb7u1) ... Setting up libxrandr2:amd64 (2:1.3.2-2+deb7u1) ... Setting up shared-mime-info (1.0-1+b1) ... Setting up libgtk2.0-0:amd64 (2.24.10-2) ... Setting up x11-common (1:7.7+3~deb7u1) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.8-2) ... Setting up libfribidi0:amd64 (0.19.2-3) ... Setting up libgd2-noxpm:amd64 (2.0.36~rc1~dfsg-6.1+deb7u2) ... Setting up libotf0 (0.9.12-2) ... Setting up libsm6:amd64 (2:1.2.1-2) ... Setting up libxt6:amd64 (1:1.1.3-1+deb7u1) ... Setting up m17n-db (1.6.3-2) ... Setting up m17n-contrib (1.1.13-2) ... Setting up libm17n-0 (1.6.3-2) ... Setting up libcroco3:amd64 (0.6.6-2) ... Setting up librsvg2-2:amd64 (2.36.1-2+deb7u1) ... Setting up libxpm4:amd64 (1:3.5.10-1) ... Setting up emacs23 (23.4+1-4) ... update-alternatives: using /usr/bin/emacs23-x to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs23 to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs23 emacsen-common: Handling install of emacsen flavor emacs23 Wrote /etc/emacs23/site-start.d/00debian-vars.elc Wrote /usr/share/emacs23/site-lisp/debian-startup.elc Install haskell-mode for emacs23 install/haskell-mode: Handling install for emacsen flavor emacs23 Loading 00debian-vars... Wrote /usr/share/emacs23/site-lisp/haskell-mode/ghc-core.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-c.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-cabal.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-decl-scan.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-doc.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-font-lock.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-ghci.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-hugs.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-indent.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-indentation.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-mode.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-simple-indent.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-site-file.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/inf-haskell.elc #[nil "\300C\207" [t] 2] nilSetting up emacs (45.0) ... Setting up haskell-mode (2.8.0-2) ... Install haskell-mode for emacs install/haskell-mode: Ignoring emacsen flavor emacs Install haskell-mode for emacs23 install/haskell-mode: Handling install for emacsen flavor emacs23 Loading 00debian-vars... Loading /etc/emacs/site-start.d/50haskell-mode.el (source)... Loading haskell-site-file... Wrote /usr/share/emacs23/site-lisp/haskell-mode/ghc-core.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-c.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-cabal.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-decl-scan.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-doc.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-font-lock.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-ghci.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-hugs.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-indent.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-indentation.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-mode.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-simple-indent.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/haskell-site-file.elc Wrote /usr/share/emacs23/site-lisp/haskell-mode/inf-haskell.elc nilSetting up agda-mode (2.3.0.1-2) ... Setting up agda-bin (2.3.0.1-1) ... Setting up agda-stdlib (0.6-2) ... Setting up agda-stdlib-doc (0.6-2) ... Setting up piuparts-depends-dummy (0.invalid.0) ... 0m30.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', '-yf', 'install'] 0m30.9s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m30.9s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpNggXgQ/./tmp/piuparts-depends-dummy.deb 0m30.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m30.9s DUMP: piuparts-depends-dummy install ok installed 0m30.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m30.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m31.0s DUMP: (Reading database ... 16200 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m31.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m31.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'clean'] 0m31.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'clean'] 0m31.0s DEBUG: Recording chroot state 0m31.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m32.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m34.0s DEBUG: No broken symlinks as far as we can find. 0m34.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-cache', 'policy'] 0m35.0s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m35.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-cache', 'policy'] 0m35.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-cache', 'policy', 'agda'] 0m35.0s DUMP: agda: Installed: (none) Candidate: 2.3.0.1-2 Version table: 2.3.0.1-2 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 0m35.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-cache', 'policy', 'agda'] 0m35.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', '-y', 'install', 'agda=2.3.0.1-2'] 0m35.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: agda 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 13.2 kB of archives. After this operation, 37.9 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main agda all 2.3.0.1-2 [13.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 13.2 kB in 0s (502 kB/s) Selecting previously unselected package agda. (Reading database ... 16200 files and directories currently installed.) Unpacking agda (from .../agda_2.3.0.1-2_all.deb) ... Setting up agda (2.3.0.1-2) ... 0m35.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', '-y', 'install', 'agda=2.3.0.1-2'] 0m35.5s INFO: Running scripts post_install 0m35.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_install_exceptions'] 0m35.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_install_exceptions'] 0m35.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m36.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m37.9s DEBUG: No broken symlinks as far as we can find. 0m37.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m37.9s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed agda agda 2.3.0.1-2 install ok installed agda-bin agda-bin 2.3.0.1-1 install ok installed agda-mode agda-mode 2.3.0.1-2 install ok installed agda-stdlib agda-stdlib 0.6-2 install ok installed agda-stdlib-doc agda-stdlib-doc 0.6-2 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed binutils binutils 2.22-8+deb7u2 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed cpp cpp 4:4.7.2-1 install ok installed cpp-4.7 cpp-4.7 4.7.2-5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed emacs emacs 45.0 install ok installed emacs23 emacs23 23.4+1-4 install ok installed emacs23-bin-common emacs23-bin-common 23.4+1-4 install ok installed emacs23-common emacs23-common 23.4+1-4 install ok installed emacsen-common emacsen-common 2.0.5 install ok installed findutils findutils 4.4.2-4 install ok installed fontconfig fontconfig 2.9.0-7.1 install ok installed fontconfig-config fontconfig-config 2.9.0-7.1 install ok installed gcc gcc 4:4.7.2-1 install ok installed gcc-4.7 gcc-4.7 4.7.2-5 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gconf-service gconf-service 3.2.5-1+build1 install ok installed gconf2-common gconf2-common 3.2.5-1+build1 install ok installed ghc ghc 7.4.1-4 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed haskell-mode haskell-mode 2.8.0-2 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libasound2:amd64 libasound2 1.0.25-4 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.4.0-2 install ok installed libatk1.0-data libatk1.0-data 2.4.0-2 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libavahi-client3:amd64 libavahi-client3 0.6.31-2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.31-2 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.31-2 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbsd-dev libbsd-dev 0.4.2-1 install ok installed libbsd0:amd64 libbsd0 0.4.2-1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc-dev-bin libc-dev-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libc6-dev:amd64 libc6-dev 2.13-38+deb7u10 install ok installed libcairo2:amd64 libcairo2 1.12.2-3 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libcroco3:amd64 libcroco3 0.6.6-2 install ok installed libcups2:amd64 libcups2 1.5.3-5+deb7u6 install ok installed libdatrie1:amd64 libdatrie1 0.2.5-3 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.6.8-1+deb7u6 install ok installed libdbus-glib-1-2:amd64 libdbus-glib-1-2 0.100.2-1 install ok installed libexpat1:amd64 libexpat1 2.1.0-1+deb7u2 install ok installed libffi-dev:amd64 libffi-dev 3.0.10-3 install ok installed libffi5:amd64 libffi5 3.0.10-3 install ok installed libfontconfig1:amd64 libfontconfig1 2.9.0-7.1 install ok installed libfreetype6:amd64 libfreetype6 2.4.9-1.1+deb7u3 install ok installed libfribidi0:amd64 libfribidi0 0.19.2-3 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed libgconf-2-4:amd64 libgconf-2-4 3.2.5-1+build1 install ok installed libgcrypt11:amd64 libgcrypt11 1.5.0-5+deb7u4 install ok installed libgd2-noxpm:amd64 libgd2-noxpm 2.0.36~rc1~dfsg-6.1+deb7u2 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.26.1-1+deb7u3 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.26.1-1+deb7u3 install ok installed libghc-agda-dev libghc-agda-dev 2.3.0.1-2+b1 install ok installed libghc-cpphs-dev libghc-cpphs-dev 1.13.3-2+b1 install ok installed libghc-hashable-dev libghc-hashable-dev 1.1.2.3-1+b2 install ok installed libghc-hashtables-dev libghc-hashtables-dev 1.0.1.4-1+b1 install ok installed libghc-haskeline-dev libghc-haskeline-dev 0.6.4.7-1+b1 install ok installed libghc-mtl-dev libghc-mtl-dev 2.1.1-1 install ok installed libghc-primitive-dev libghc-primitive-dev 0.4.1-1+b1 install ok installed libghc-quickcheck2-dev libghc-quickcheck2-dev 2.4.2-1+b1 install ok installed libghc-random-dev libghc-random-dev 1.0.1.1-1+b1 install ok installed libghc-src-exts-dev libghc-src-exts-dev 1.11.1-3+b1 install ok installed libghc-syb-dev libghc-syb-dev 0.3.6.1-1 install ok installed libghc-terminfo-dev libghc-terminfo-dev 0.3.2.3-1+b1 install ok installed libghc-text-dev libghc-text-dev 0.11.2.0-1 install ok installed libghc-transformers-dev libghc-transformers-dev 0.3.0.0-1 install ok installed libghc-utf8-string-dev libghc-utf8-string-dev 0.3.7-1+b1 install ok installed libghc-vector-dev libghc-vector-dev 0.9.1-2+b1 install ok installed libghc-xhtml-dev libghc-xhtml-dev 3000.2.1-1 install ok installed libghc-zlib-dev libghc-zlib-dev 0.5.3.3-1+b1 install ok installed libgif4 libgif4 4.1.6-10+deb7u1 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.33.12+really2.32.4-5 install ok installed libgmp-dev:amd64 libgmp-dev 2:5.0.5+dfsg-2 install ok installed libgmp10:amd64 libgmp10 2:5.0.5+dfsg-2 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:5.0.5+dfsg-2 install ok installed libgnutls26:amd64 libgnutls26 2.12.20-8+deb7u5 install ok installed libgomp1:amd64 libgomp1 4.7.2-5 install ok installed libgpg-error0:amd64 libgpg-error0 1.10-3.1 install ok installed libgpm2:amd64 libgpm2 1.20.4-6 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.10.1+dfsg-5+deb7u7 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.10-2 install ok installed libgtk2.0-common libgtk2.0-common 2.24.10-2 install ok installed libice6:amd64 libice6 2:1.0.8-2 install ok installed libitm1:amd64 libitm1 4.7.2-5 install ok installed libjasper1:amd64 libjasper1 1.900.1-13+deb7u4 install ok installed libjbig0:amd64 libjbig0 2.0-2+deb7u1 install ok installed libjpeg8:amd64 libjpeg8 8d-1+deb7u1 install ok installed libk5crypto3:amd64 libk5crypto3 1.10.1+dfsg-5+deb7u7 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.5-3+deb7u1 install ok installed libkrb5-3:amd64 libkrb5-3 1.10.1+dfsg-5+deb7u7 install ok installed libkrb5support0:amd64 libkrb5support0 1.10.1+dfsg-5+deb7u7 install ok installed libldap-2.4-2:amd64 libldap-2.4-2 2.4.31-2+deb7u2 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblockfile-bin liblockfile-bin 1.09-5 install ok installed liblockfile1:amd64 liblockfile1 1.09-5 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libm17n-0 libm17n-0 1.6.3-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libmpc2:amd64 libmpc2 0.9-4 install ok installed libmpfr4:amd64 libmpfr4 3.1.0-5 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libncurses5-dev libncurses5-dev 5.9-10 install ok installed libotf0 libotf0 0.9.12-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.12-3 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libpango1.0-0:amd64 libpango1.0-0 1.30.0-1 install ok installed libpcre3:amd64 libpcre3 1:8.30-5 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.26.0-4+deb7u2 install ok installed libpng12-0:amd64 libpng12-0 1.2.49-1+deb7u2 install ok installed libquadmath0:amd64 libquadmath0 4.7.2-5 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed librsvg2-2:amd64 librsvg2-2 2.36.1-2+deb7u1 install ok installed libsasl2-2:amd64 libsasl2-2 2.1.25.dfsg1-6+deb7u1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libsm6:amd64 libsm6 2:1.2.1-2 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtasn1-3:amd64 libtasn1-3 2.13-2+deb7u2 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libthai-data libthai-data 0.1.18-2 install ok installed libthai0:amd64 libthai0 0.1.18-2 install ok installed libtiff4:amd64 libtiff4 3.9.6-11 install ok installed libtinfo-dev:amd64 libtinfo-dev 5.9-10 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed libx11-6:amd64 libx11-6 2:1.5.0-1+deb7u2 install ok installed libx11-data libx11-data 2:1.5.0-1+deb7u2 install ok installed libxau6:amd64 libxau6 1:1.0.7-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.8.1-2+deb7u1 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.8.1-2+deb7u1 install ok installed libxcb1:amd64 libxcb1 1.8.1-2+deb7u1 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.3-2 install ok installed libxcursor1:amd64 libxcursor1 1:1.1.13-1+deb7u1 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.3-2 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.1-1 install ok installed libxext6:amd64 libxext6 2:1.3.1-2+deb7u1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0-4+deb7u1 install ok installed libxft2:amd64 libxft2 2.3.1-1 install ok installed libxi6:amd64 libxi6 2:1.6.1-1+deb7u1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.2-1+deb7u1 install ok installed libxml2:amd64 libxml2 2.8.0+dfsg1-7+wheezy5 install ok installed libxpm4:amd64 libxpm4 1:3.5.10-1 install ok installed libxrandr2:amd64 libxrandr2 2:1.3.2-2+deb7u1 install ok installed libxrender1:amd64 libxrender1 1:0.9.7-1+deb7u2 install ok installed libxt6:amd64 libxt6 1:1.1.3-1+deb7u1 install ok installed linux-libc-dev:amd64 linux-libc-dev 3.2.78-1 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed m17n-contrib m17n-contrib 1.1.13-2 install ok installed m17n-db m17n-db 1.6.3-2 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed shared-mime-info shared-mime-info 1.0-1+b1 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed ttf-dejavu-core ttf-dejavu-core 2.33-3 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed x11-common x11-common 1:7.7+3~deb7u1 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 install ok installed zlib1g-dev:amd64 zlib1g-dev 1:1.2.7.dfsg-13 0m37.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m38.8s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', '-ac', '--ignore-obsolete'] 0m41.8s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', '-ac', '--ignore-obsolete'] 0m41.8s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m41.8s DUMP: 0.15.1 0m41.8s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m41.8s INFO: Running adequate version 0.15.1 now. 0m41.8s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'agda'] 0m41.9s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'agda'] 0m41.9s INFO: Running scripts pre_remove 0m41.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m41.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m41.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m41.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m41.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m45.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m45.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m45.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m45.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m45.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m45.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_exceptions'] 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/pre_remove_exceptions'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'remove', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'libghc-transformers-dev', 'libghc-utf8-string-dev', 'agda-stdlib-doc', 'm17n-db', 'libghc-quickcheck2-dev', 'libdbus-1-3:amd64', 'libdatrie1:amd64', 'fontconfig', 'libpcre3:amd64', 'libgtk2.0-0:amd64', 'agda-mode', 'libdbus-glib-1-2:amd64', 'libc6-dev:amd64', 'libxdamage1:amd64', 'libgdk-pixbuf2.0-common', 'libkrb5-3:amd64', 'libghc-mtl-dev', 'libglib2.0-0:amd64', 'libpng12-0:amd64', 'libjasper1:amd64', 'emacs23-bin-common', 'libp11-kit0:amd64', 'libbsd0:amd64', 'gconf-service', 'libatk1.0-0:amd64', 'libk5crypto3:amd64', 'libffi-dev:amd64', 'libbsd-dev', 'libghc-xhtml-dev', 'libthai0:amd64', 'libavahi-client3:amd64', 'shared-mime-info', 'libghc-src-exts-dev', 'libxi6:amd64', 'libgcrypt11:amd64', 'libx11-6:amd64', 'libatk1.0-data', 'libjpeg8:amd64', 'libtasn1-3:amd64', 'libghc-vector-dev', 'libfribidi0:amd64', 'libgnutls26:amd64', 'libghc-hashable-dev', 'libgmp10:amd64', 'libquadmath0:amd64', 'libxext6:amd64', 'libgpm2:amd64', 'm17n-contrib', 'libcroco3:amd64', 'libghc-agda-dev', 'libxdmcp6:amd64', 'libasound2:amd64', 'libgmp-dev:amd64', 'libotf0', 'libxml2:amd64', 'libmpfr4:amd64', 'libxcomposite1:amd64', 'libghc-haskeline-dev', 'libghc-cpphs-dev', 'libitm1:amd64', 'fontconfig-config', 'libxinerama1:amd64', 'binutils', 'libfreetype6:amd64', 'libgd2-noxpm:amd64', 'libthai-data', 'libfontconfig1:amd64', 'libm17n-0', 'haskell-mode', 'cpp-4.7', 'libsm6:amd64', 'libpango1.0-0:amd64', 'emacs', 'x11-common', 'libtinfo-dev:amd64', 'emacsen-common', 'libxrandr2:amd64', 'agda-stdlib', 'libgmpxx4ldbl:amd64', 'libgconf-2-4:amd64', 'libmpc2:amd64', 'libjbig0:amd64', 'libghc-primitive-dev', 'libgomp1:amd64', 'libxcb1:amd64', 'ttf-dejavu-core', 'libice6:amd64', 'libxft2:amd64', 'libxt6:amd64', 'libghc-syb-dev', 'gcc-4.7', 'agda-bin', 'libxcursor1:amd64', 'libavahi-common3:amd64', 'libghc-random-dev', 'libghc-terminfo-dev', 'libxcb-render0:amd64', 'libx11-data', 'libcairo2:amd64', 'liblockfile-bin', 'libffi5:amd64', 'libkeyutils1:amd64', 'zlib1g-dev:amd64', 'libpixman-1-0:amd64', 'liblockfile1:amd64', 'gcc', 'libtiff4:amd64', 'emacs23', 'libldap-2.4-2:amd64', 'libxfixes3:amd64', 'libncurses5-dev', 'libgtk2.0-common', 'gconf2-common', 'libgpg-error0:amd64', 'libexpat1:amd64', 'libxau6:amd64', 'libxcb-shm0:amd64', 'cpp', 'emacs23-common', 'libxrender1:amd64', 'libxpm4:amd64', 'libghc-zlib-dev', 'libsasl2-2:amd64', 'libghc-text-dev', 'libavahi-common-data:amd64', 'libkrb5support0:amd64', 'libc-dev-bin', 'ghc', 'libcups2:amd64', 'libghc-hashtables-dev', 'librsvg2-2:amd64', 'linux-libc-dev:amd64', 'libgif4', 'agda'] 0m46.6s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: agda agda-bin agda-mode agda-stdlib agda-stdlib-doc binutils cpp cpp-4.7 emacs emacs23 emacs23-bin-common emacs23-common emacsen-common fontconfig fontconfig-config gcc gcc-4.7 gconf-service gconf2-common ghc haskell-mode libasound2 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libexpat1 libffi-dev libffi5 libfontconfig1 libfreetype6 libfribidi0 libgconf-2-4 libgcrypt11 libgd2-noxpm libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libghc-agda-dev libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-src-exts-dev libghc-syb-dev libghc-terminfo-dev libghc-text-dev libghc-transformers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgif4 libglib2.0-0 libgmp-dev libgmp10 libgmpxx4ldbl libgnutls26 libgomp1 libgpg-error0 libgpm2 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libice6 libitm1 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 liblockfile-bin liblockfile1 libm17n-0 libmpc2 libmpfr4 libncurses5-dev libotf0 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libquadmath0 librsvg2-2 libsasl2-2 libsm6 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo-dev libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxpm4 libxrandr2 libxrender1 libxt6 linux-libc-dev m17n-contrib m17n-db shared-mime-info ttf-dejavu-core x11-common zlib1g-dev 0 upgraded, 0 newly installed, 136 to remove and 0 not upgraded. After this operation, 750 MB disk space will be freed. (Reading database ... 16205 files and directories currently installed.) Removing agda ... Removing agda-bin ... Removing agda-mode ... Removing agda-stdlib ... Removing agda-stdlib-doc ... Removing libghc-agda-dev ... Removing libghc-haskeline-dev ... Removing libghc-quickcheck2-dev ... Removing libghc-random-dev ... Removing libghc-src-exts-dev ... Removing libghc-cpphs-dev ... Removing libghc-hashtables-dev ... Removing libghc-hashable-dev ... Removing libghc-text-dev ... Removing libghc-vector-dev ... Removing libghc-primitive-dev ... Removing libghc-terminfo-dev ... Removing libghc-zlib-dev ... Removing libghc-utf8-string-dev ... Removing libghc-xhtml-dev ... Removing libghc-mtl-dev ... Removing libghc-transformers-dev ... Removing libghc-syb-dev ... Removing ghc ... Removing gcc ... Removing gcc-4.7 ... Removing binutils ... Removing cpp ... Removing cpp-4.7 ... Removing emacs ... Removing haskell-mode ... Remove haskell-mode for emacs Remove haskell-mode for emacs23 remove/haskell-mode: purging byte-compiled files for emacs23 Removing emacs23 ... Remove emacsen-common for emacs23 emacsen-common: Handling removal of emacsen flavor emacs23 Removing emacs23-bin-common ... Removing emacs23-common ... Removing emacsen-common ... Removing librsvg2-2:amd64 ... Removing libgtk2.0-0:amd64 ... Removing libpango1.0-0:amd64 ... Removing fontconfig ... Removing libm17n-0 ... Removing libxft2:amd64 ... Removing libcairo2:amd64 ... Removing libfontconfig1:amd64 ... Removing fontconfig-config ... Removing gconf-service ... Removing libgconf-2-4:amd64 ... Removing gconf2-common ... Removing libasound2:amd64 ... Removing libatk1.0-0:amd64 ... Removing libatk1.0-data ... Removing libcups2:amd64 ... Removing libavahi-client3:amd64 ... Removing libavahi-common3:amd64 ... Removing libavahi-common-data:amd64 ... Removing libbsd-dev ... Removing libbsd0:amd64 ... Removing zlib1g-dev:amd64 ... Removing libncurses5-dev ... Removing libc6-dev:amd64 ... Removing libc-dev-bin ... Removing libcroco3:amd64 ... Removing libthai0:amd64 ... Removing libdatrie1:amd64 ... Removing libdbus-glib-1-2:amd64 ... Removing libdbus-1-3:amd64 ... Removing libexpat1:amd64 ... Removing libffi-dev:amd64 ... Removing shared-mime-info ... Removing libgdk-pixbuf2.0-0:amd64 ... Removing libglib2.0-0:amd64 ... Removing libffi5:amd64 ... Removing libotf0 ... Removing libgd2-noxpm:amd64 ... Removing libfreetype6:amd64 ... Removing libfribidi0:amd64 ... Removing libldap-2.4-2:amd64 ... Removing libgnutls26:amd64 ... Removing libgcrypt11:amd64 ... Removing libgdk-pixbuf2.0-common ... Removing libgif4 ... Removing libgmp-dev:amd64 ... Removing libmpc2:amd64 ... Removing libmpfr4:amd64 ... Removing libgmpxx4ldbl:amd64 ... Removing libgmp10:amd64 ... Removing libgomp1:amd64 ... Removing libgpg-error0:amd64 ... Removing libgpm2:amd64 ... Removing libgssapi-krb5-2:amd64 ... Removing libgtk2.0-common ... Removing libxt6:amd64 ... Removing libsm6:amd64 ... Removing libice6:amd64 ... Removing libitm1:amd64 ... Removing libjasper1:amd64 ... Removing libtiff4:amd64 ... Removing libjbig0:amd64 ... Removing libjpeg8:amd64 ... Removing libkrb5-3:amd64 ... Removing libk5crypto3:amd64 ... Removing libkrb5support0:amd64 ... Removing libkeyutils1:amd64 ... Removing liblockfile1:amd64 ... Removing liblockfile-bin ... Removing libp11-kit0:amd64 ... Removing libpcre3:amd64 ... Removing libpixman-1-0:amd64 ... Removing libpng12-0:amd64 ... Removing libquadmath0:amd64 ... Removing libsasl2-2:amd64 ... Removing libtasn1-3:amd64 ... Removing libthai-data ... Removing libtinfo-dev:amd64 ... Removing libxrandr2:amd64 ... Removing libxcursor1:amd64 ... Removing libxrender1:amd64 ... Removing libxpm4:amd64 ... Removing libxinerama1:amd64 ... Removing libxi6:amd64 ... Removing libxdamage1:amd64 ... Removing libxfixes3:amd64 ... Removing libxext6:amd64 ... Removing libxcomposite1:amd64 ... Removing libx11-6:amd64 ... Removing libx11-data ... Removing libxcb-shm0:amd64 ... Removing libxcb-render0:amd64 ... Removing libxcb1:amd64 ... Removing libxau6:amd64 ... Removing libxdmcp6:amd64 ... Removing libxml2:amd64 ... Removing linux-libc-dev:amd64 ... Removing m17n-contrib ... Removing m17n-db ... Removing ttf-dejavu-core ... Removing x11-common ... invoke-rc.d: policy-rc.d denied execution of stop. 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'remove', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'libghc-transformers-dev', 'libghc-utf8-string-dev', 'agda-stdlib-doc', 'm17n-db', 'libghc-quickcheck2-dev', 'libdbus-1-3:amd64', 'libdatrie1:amd64', 'fontconfig', 'libpcre3:amd64', 'libgtk2.0-0:amd64', 'agda-mode', 'libdbus-glib-1-2:amd64', 'libc6-dev:amd64', 'libxdamage1:amd64', 'libgdk-pixbuf2.0-common', 'libkrb5-3:amd64', 'libghc-mtl-dev', 'libglib2.0-0:amd64', 'libpng12-0:amd64', 'libjasper1:amd64', 'emacs23-bin-common', 'libp11-kit0:amd64', 'libbsd0:amd64', 'gconf-service', 'libatk1.0-0:amd64', 'libk5crypto3:amd64', 'libffi-dev:amd64', 'libbsd-dev', 'libghc-xhtml-dev', 'libthai0:amd64', 'libavahi-client3:amd64', 'shared-mime-info', 'libghc-src-exts-dev', 'libxi6:amd64', 'libgcrypt11:amd64', 'libx11-6:amd64', 'libatk1.0-data', 'libjpeg8:amd64', 'libtasn1-3:amd64', 'libghc-vector-dev', 'libfribidi0:amd64', 'libgnutls26:amd64', 'libghc-hashable-dev', 'libgmp10:amd64', 'libquadmath0:amd64', 'libxext6:amd64', 'libgpm2:amd64', 'm17n-contrib', 'libcroco3:amd64', 'libghc-agda-dev', 'libxdmcp6:amd64', 'libasound2:amd64', 'libgmp-dev:amd64', 'libotf0', 'libxml2:amd64', 'libmpfr4:amd64', 'libxcomposite1:amd64', 'libghc-haskeline-dev', 'libghc-cpphs-dev', 'libitm1:amd64', 'fontconfig-config', 'libxinerama1:amd64', 'binutils', 'libfreetype6:amd64', 'libgd2-noxpm:amd64', 'libthai-data', 'libfontconfig1:amd64', 'libm17n-0', 'haskell-mode', 'cpp-4.7', 'libsm6:amd64', 'libpango1.0-0:amd64', 'emacs', 'x11-common', 'libtinfo-dev:amd64', 'emacsen-common', 'libxrandr2:amd64', 'agda-stdlib', 'libgmpxx4ldbl:amd64', 'libgconf-2-4:amd64', 'libmpc2:amd64', 'libjbig0:amd64', 'libghc-primitive-dev', 'libgomp1:amd64', 'libxcb1:amd64', 'ttf-dejavu-core', 'libice6:amd64', 'libxft2:amd64', 'libxt6:amd64', 'libghc-syb-dev', 'gcc-4.7', 'agda-bin', 'libxcursor1:amd64', 'libavahi-common3:amd64', 'libghc-random-dev', 'libghc-terminfo-dev', 'libxcb-render0:amd64', 'libx11-data', 'libcairo2:amd64', 'liblockfile-bin', 'libffi5:amd64', 'libkeyutils1:amd64', 'zlib1g-dev:amd64', 'libpixman-1-0:amd64', 'liblockfile1:amd64', 'gcc', 'libtiff4:amd64', 'emacs23', 'libldap-2.4-2:amd64', 'libxfixes3:amd64', 'libncurses5-dev', 'libgtk2.0-common', 'gconf2-common', 'libgpg-error0:amd64', 'libexpat1:amd64', 'libxau6:amd64', 'libxcb-shm0:amd64', 'cpp', 'emacs23-common', 'libxrender1:amd64', 'libxpm4:amd64', 'libghc-zlib-dev', 'libsasl2-2:amd64', 'libghc-text-dev', 'libavahi-common-data:amd64', 'libkrb5support0:amd64', 'libc-dev-bin', 'ghc', 'libcups2:amd64', 'libghc-hashtables-dev', 'librsvg2-2:amd64', 'linux-libc-dev:amd64', 'libgif4', 'agda'] 0m46.6s INFO: Running scripts post_remove 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_remove_exceptions'] 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_remove_exceptions'] 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'libghc-transformers-dev', 'libghc-utf8-string-dev', 'agda-stdlib-doc', 'm17n-db', 'libghc-quickcheck2-dev', 'libdbus-1-3:amd64', 'libdatrie1:amd64', 'fontconfig', 'libpcre3:amd64', 'libgtk2.0-0:amd64', 'agda-mode', 'libdbus-glib-1-2:amd64', 'libc6-dev:amd64', 'libxdamage1:amd64', 'libgdk-pixbuf2.0-common', 'libkrb5-3:amd64', 'libghc-mtl-dev', 'libglib2.0-0:amd64', 'libpng12-0:amd64', 'libjasper1:amd64', 'emacs23-bin-common', 'libp11-kit0:amd64', 'libbsd0:amd64', 'gconf-service', 'libatk1.0-0:amd64', 'libk5crypto3:amd64', 'libffi-dev:amd64', 'libbsd-dev', 'libghc-xhtml-dev', 'libthai0:amd64', 'libavahi-client3:amd64', 'shared-mime-info', 'libghc-src-exts-dev', 'libxi6:amd64', 'libgcrypt11:amd64', 'libx11-6:amd64', 'libatk1.0-data', 'libjpeg8:amd64', 'libtasn1-3:amd64', 'libghc-vector-dev', 'libfribidi0:amd64', 'libgnutls26:amd64', 'libghc-hashable-dev', 'libgmp10:amd64', 'libquadmath0:amd64', 'libxext6:amd64', 'libgpm2:amd64', 'm17n-contrib', 'libcroco3:amd64', 'libghc-agda-dev', 'libxdmcp6:amd64', 'libasound2:amd64', 'libgmp-dev:amd64', 'libotf0', 'libxml2:amd64', 'libmpfr4:amd64', 'libxcomposite1:amd64', 'libghc-haskeline-dev', 'libghc-cpphs-dev', 'libitm1:amd64', 'fontconfig-config', 'libxinerama1:amd64', 'binutils', 'libfreetype6:amd64', 'libgd2-noxpm:amd64', 'libthai-data', 'libfontconfig1:amd64', 'libm17n-0', 'haskell-mode', 'cpp-4.7', 'libsm6:amd64', 'libpango1.0-0:amd64', 'emacs', 'x11-common', 'libtinfo-dev:amd64', 'emacsen-common', 'libxrandr2:amd64', 'agda-stdlib', 'libgmpxx4ldbl:amd64', 'libgconf-2-4:amd64', 'libmpc2:amd64', 'libjbig0:amd64', 'libghc-primitive-dev', 'libgomp1:amd64', 'libxcb1:amd64', 'ttf-dejavu-core', 'libice6:amd64', 'libxft2:amd64', 'libxt6:amd64', 'libghc-syb-dev', 'gcc-4.7', 'agda-bin', 'libxcursor1:amd64', 'libavahi-common3:amd64', 'libghc-random-dev', 'libghc-terminfo-dev', 'libxcb-render0:amd64', 'libx11-data', 'libcairo2:amd64', 'liblockfile-bin', 'libffi5:amd64', 'libkeyutils1:amd64', 'zlib1g-dev:amd64', 'libpixman-1-0:amd64', 'liblockfile1:amd64', 'gcc', 'libtiff4:amd64', 'emacs23', 'libldap-2.4-2:amd64', 'libxfixes3:amd64', 'libncurses5-dev', 'libgtk2.0-common', 'gconf2-common', 'libgpg-error0:amd64', 'libexpat1:amd64', 'libxau6:amd64', 'libxcb-shm0:amd64', 'cpp', 'emacs23-common', 'libxrender1:amd64', 'libxpm4:amd64', 'libghc-zlib-dev', 'libsasl2-2:amd64', 'libghc-text-dev', 'libavahi-common-data:amd64', 'libkrb5support0:amd64', 'libc-dev-bin', 'ghc', 'libcups2:amd64', 'libghc-hashtables-dev', 'librsvg2-2:amd64', 'linux-libc-dev:amd64', 'libgif4'] 0m47.3s DUMP: (Reading database ... 6841 files and directories currently installed.) Removing libgdk-pixbuf2.0-0:amd64 ... Purging configuration files for libgdk-pixbuf2.0-0:amd64 ... Removing libgssapi-krb5-2:amd64 ... Purging configuration files for libgssapi-krb5-2:amd64 ... dpkg: warning: ignoring request to remove libghc-transformers-dev which isn't installed dpkg: warning: ignoring request to remove libghc-utf8-string-dev which isn't installed dpkg: warning: ignoring request to remove agda-stdlib-doc which isn't installed dpkg: warning: ignoring request to remove m17n-db which isn't installed dpkg: warning: ignoring request to remove libghc-quickcheck2-dev which isn't installed Removing libdbus-1-3:amd64 ... Purging configuration files for libdbus-1-3:amd64 ... Removing libdatrie1:amd64 ... Purging configuration files for libdatrie1:amd64 ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing libpcre3:amd64 ... Purging configuration files for libpcre3:amd64 ... Removing libgtk2.0-0:amd64 ... Purging configuration files for libgtk2.0-0:amd64 ... Removing agda-mode ... Purging configuration files for agda-mode ... Removing libdbus-glib-1-2:amd64 ... Purging configuration files for libdbus-glib-1-2:amd64 ... dpkg: warning: ignoring request to remove libc6-dev which isn't installed Removing libxdamage1:amd64 ... Purging configuration files for libxdamage1:amd64 ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed Removing libkrb5-3:amd64 ... Purging configuration files for libkrb5-3:amd64 ... dpkg: warning: ignoring request to remove libghc-mtl-dev which isn't installed Removing libglib2.0-0:amd64 ... Purging configuration files for libglib2.0-0:amd64 ... Removing libpng12-0:amd64 ... Purging configuration files for libpng12-0:amd64 ... Removing libjasper1:amd64 ... Purging configuration files for libjasper1:amd64 ... dpkg: warning: ignoring request to remove emacs23-bin-common which isn't installed Removing libp11-kit0:amd64 ... Purging configuration files for libp11-kit0:amd64 ... Removing libbsd0:amd64 ... Purging configuration files for libbsd0:amd64 ... dpkg: warning: ignoring request to remove gconf-service which isn't installed Removing libatk1.0-0:amd64 ... Purging configuration files for libatk1.0-0:amd64 ... Removing libk5crypto3:amd64 ... Purging configuration files for libk5crypto3:amd64 ... dpkg: warning: ignoring request to remove libffi-dev which isn't installed dpkg: warning: ignoring request to remove libbsd-dev which isn't installed dpkg: warning: ignoring request to remove libghc-xhtml-dev which isn't installed Removing libthai0:amd64 ... Purging configuration files for libthai0:amd64 ... Removing libavahi-client3:amd64 ... Purging configuration files for libavahi-client3:amd64 ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... dpkg: warning: ignoring request to remove libghc-src-exts-dev which isn't installed Removing libxi6:amd64 ... Purging configuration files for libxi6:amd64 ... Removing libgcrypt11:amd64 ... Purging configuration files for libgcrypt11:amd64 ... Removing libx11-6:amd64 ... Purging configuration files for libx11-6:amd64 ... dpkg: warning: ignoring request to remove libatk1.0-data which isn't installed dpkg: warning: ignoring request to remove libjpeg8 which isn't installed Removing libtasn1-3:amd64 ... Purging configuration files for libtasn1-3:amd64 ... dpkg: warning: ignoring request to remove libghc-vector-dev which isn't installed Removing libfribidi0:amd64 ... Purging configuration files for libfribidi0:amd64 ... Removing libgnutls26:amd64 ... Purging configuration files for libgnutls26:amd64 ... dpkg: warning: ignoring request to remove libghc-hashable-dev which isn't installed Removing libgmp10:amd64 ... Purging configuration files for libgmp10:amd64 ... Removing libquadmath0:amd64 ... Purging configuration files for libquadmath0:amd64 ... Removing libxext6:amd64 ... Purging configuration files for libxext6:amd64 ... Removing libgpm2:amd64 ... Purging configuration files for libgpm2:amd64 ... dpkg: warning: ignoring request to remove m17n-contrib which isn't installed Removing libcroco3:amd64 ... Purging configuration files for libcroco3:amd64 ... dpkg: warning: ignoring request to remove libghc-agda-dev which isn't installed Removing libxdmcp6:amd64 ... Purging configuration files for libxdmcp6:amd64 ... Removing libasound2:amd64 ... Purging configuration files for libasound2:amd64 ... dpkg: warning: ignoring request to remove libgmp-dev which isn't installed Removing libotf0 ... Purging configuration files for libotf0 ... Removing libxml2:amd64 ... Purging configuration files for libxml2:amd64 ... Removing libmpfr4:amd64 ... Purging configuration files for libmpfr4:amd64 ... Removing libxcomposite1:amd64 ... Purging configuration files for libxcomposite1:amd64 ... dpkg: warning: ignoring request to remove libghc-haskeline-dev which isn't installed dpkg: warning: ignoring request to remove libghc-cpphs-dev which isn't installed Removing libitm1:amd64 ... Purging configuration files for libitm1:amd64 ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing libxinerama1:amd64 ... Purging configuration files for libxinerama1:amd64 ... Removing binutils ... Purging configuration files for binutils ... Removing libfreetype6:amd64 ... Purging configuration files for libfreetype6:amd64 ... Removing libgd2-noxpm:amd64 ... Purging configuration files for libgd2-noxpm:amd64 ... dpkg: warning: ignoring request to remove libthai-data which isn't installed Removing libfontconfig1:amd64 ... Purging configuration files for libfontconfig1:amd64 ... Removing libm17n-0 ... Purging configuration files for libm17n-0 ... Removing haskell-mode ... Purging configuration files for haskell-mode ... dpkg: warning: ignoring request to remove cpp-4.7 which isn't installed Removing libsm6:amd64 ... Purging configuration files for libsm6:amd64 ... Removing libpango1.0-0:amd64 ... Purging configuration files for libpango1.0-0:amd64 ... dpkg: warning: ignoring request to remove emacs which isn't installed Removing x11-common ... Purging configuration files for x11-common ... dpkg: warning: ignoring request to remove libtinfo-dev which isn't installed Removing emacsen-common ... Purging configuration files for emacsen-common ... Removing libxrandr2:amd64 ... Purging configuration files for libxrandr2:amd64 ... Removing agda-stdlib ... Purging configuration files for agda-stdlib ... Removing libgmpxx4ldbl:amd64 ... Purging configuration files for libgmpxx4ldbl:amd64 ... Removing libgconf-2-4:amd64 ... Purging configuration files for libgconf-2-4:amd64 ... Removing libmpc2:amd64 ... Purging configuration files for libmpc2:amd64 ... Removing libjbig0:amd64 ... Purging configuration files for libjbig0:amd64 ... dpkg: warning: ignoring request to remove libghc-primitive-dev which isn't installed Removing libgomp1:amd64 ... Purging configuration files for libgomp1:amd64 ... Removing libxcb1:amd64 ... Purging configuration files for libxcb1:amd64 ... dpkg: warning: ignoring request to remove ttf-dejavu-core which isn't installed Removing libice6:amd64 ... Purging configuration files for libice6:amd64 ... Removing libxft2:amd64 ... Purging configuration files for libxft2:amd64 ... Removing libxt6:amd64 ... Purging configuration files for libxt6:amd64 ... dpkg: warning: ignoring request to remove libghc-syb-dev which isn't installed dpkg: warning: ignoring request to remove gcc-4.7 which isn't installed dpkg: warning: ignoring request to remove agda-bin which isn't installed Removing libxcursor1:amd64 ... Purging configuration files for libxcursor1:amd64 ... Removing libavahi-common3:amd64 ... Purging configuration files for libavahi-common3:amd64 ... dpkg: warning: ignoring request to remove libghc-random-dev which isn't installed dpkg: warning: ignoring request to remove libghc-terminfo-dev which isn't installed Removing libxcb-render0:amd64 ... Purging configuration files for libxcb-render0:amd64 ... dpkg: warning: ignoring request to remove libx11-data which isn't installed Removing libcairo2:amd64 ... Purging configuration files for libcairo2:amd64 ... dpkg: warning: ignoring request to remove liblockfile-bin which isn't installed Removing libffi5:amd64 ... Purging configuration files for libffi5:amd64 ... Removing libkeyutils1:amd64 ... Purging configuration files for libkeyutils1:amd64 ... dpkg: warning: ignoring request to remove zlib1g-dev which isn't installed Removing libpixman-1-0:amd64 ... Purging configuration files for libpixman-1-0:amd64 ... Removing liblockfile1:amd64 ... Purging configuration files for liblockfile1:amd64 ... dpkg: warning: ignoring request to remove gcc which isn't installed Removing libtiff4:amd64 ... Purging configuration files for libtiff4:amd64 ... Removing emacs23 ... Purging configuration files for emacs23 ... Removing libldap-2.4-2:amd64 ... Purging configuration files for libldap-2.4-2:amd64 ... Removing libxfixes3:amd64 ... Purging configuration files for libxfixes3:amd64 ... dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed Removing libgtk2.0-common ... Purging configuration files for libgtk2.0-common ... Removing gconf2-common ... Purging configuration files for gconf2-common ... Removing libgpg-error0:amd64 ... Purging configuration files for libgpg-error0:amd64 ... Removing libexpat1:amd64 ... Purging configuration files for libexpat1:amd64 ... Removing libxau6:amd64 ... Purging configuration files for libxau6:amd64 ... Removing libxcb-shm0:amd64 ... Purging configuration files for libxcb-shm0:amd64 ... dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove emacs23-common which isn't installed Removing libxrender1:amd64 ... Purging configuration files for libxrender1:amd64 ... Removing libxpm4:amd64 ... Purging configuration files for libxpm4:amd64 ... dpkg: warning: ignoring request to remove libghc-zlib-dev which isn't installed Removing libsasl2-2:amd64 ... Purging configuration files for libsasl2-2:amd64 ... dpkg: warning: ignoring request to remove libghc-text-dev which isn't installed dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed Removing libkrb5support0:amd64 ... Purging configuration files for libkrb5support0:amd64 ... dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove ghc which isn't installed Removing libcups2:amd64 ... Purging configuration files for libcups2:amd64 ... dpkg: warning: ignoring request to remove libghc-hashtables-dev which isn't installed Removing librsvg2-2:amd64 ... Purging configuration files for librsvg2-2:amd64 ... dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Removing libgif4 ... Purging configuration files for libgif4 ... 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'libghc-transformers-dev', 'libghc-utf8-string-dev', 'agda-stdlib-doc', 'm17n-db', 'libghc-quickcheck2-dev', 'libdbus-1-3:amd64', 'libdatrie1:amd64', 'fontconfig', 'libpcre3:amd64', 'libgtk2.0-0:amd64', 'agda-mode', 'libdbus-glib-1-2:amd64', 'libc6-dev:amd64', 'libxdamage1:amd64', 'libgdk-pixbuf2.0-common', 'libkrb5-3:amd64', 'libghc-mtl-dev', 'libglib2.0-0:amd64', 'libpng12-0:amd64', 'libjasper1:amd64', 'emacs23-bin-common', 'libp11-kit0:amd64', 'libbsd0:amd64', 'gconf-service', 'libatk1.0-0:amd64', 'libk5crypto3:amd64', 'libffi-dev:amd64', 'libbsd-dev', 'libghc-xhtml-dev', 'libthai0:amd64', 'libavahi-client3:amd64', 'shared-mime-info', 'libghc-src-exts-dev', 'libxi6:amd64', 'libgcrypt11:amd64', 'libx11-6:amd64', 'libatk1.0-data', 'libjpeg8:amd64', 'libtasn1-3:amd64', 'libghc-vector-dev', 'libfribidi0:amd64', 'libgnutls26:amd64', 'libghc-hashable-dev', 'libgmp10:amd64', 'libquadmath0:amd64', 'libxext6:amd64', 'libgpm2:amd64', 'm17n-contrib', 'libcroco3:amd64', 'libghc-agda-dev', 'libxdmcp6:amd64', 'libasound2:amd64', 'libgmp-dev:amd64', 'libotf0', 'libxml2:amd64', 'libmpfr4:amd64', 'libxcomposite1:amd64', 'libghc-haskeline-dev', 'libghc-cpphs-dev', 'libitm1:amd64', 'fontconfig-config', 'libxinerama1:amd64', 'binutils', 'libfreetype6:amd64', 'libgd2-noxpm:amd64', 'libthai-data', 'libfontconfig1:amd64', 'libm17n-0', 'haskell-mode', 'cpp-4.7', 'libsm6:amd64', 'libpango1.0-0:amd64', 'emacs', 'x11-common', 'libtinfo-dev:amd64', 'emacsen-common', 'libxrandr2:amd64', 'agda-stdlib', 'libgmpxx4ldbl:amd64', 'libgconf-2-4:amd64', 'libmpc2:amd64', 'libjbig0:amd64', 'libghc-primitive-dev', 'libgomp1:amd64', 'libxcb1:amd64', 'ttf-dejavu-core', 'libice6:amd64', 'libxft2:amd64', 'libxt6:amd64', 'libghc-syb-dev', 'gcc-4.7', 'agda-bin', 'libxcursor1:amd64', 'libavahi-common3:amd64', 'libghc-random-dev', 'libghc-terminfo-dev', 'libxcb-render0:amd64', 'libx11-data', 'libcairo2:amd64', 'liblockfile-bin', 'libffi5:amd64', 'libkeyutils1:amd64', 'zlib1g-dev:amd64', 'libpixman-1-0:amd64', 'liblockfile1:amd64', 'gcc', 'libtiff4:amd64', 'emacs23', 'libldap-2.4-2:amd64', 'libxfixes3:amd64', 'libncurses5-dev', 'libgtk2.0-common', 'gconf2-common', 'libgpg-error0:amd64', 'libexpat1:amd64', 'libxau6:amd64', 'libxcb-shm0:amd64', 'cpp', 'emacs23-common', 'libxrender1:amd64', 'libxpm4:amd64', 'libghc-zlib-dev', 'libsasl2-2:amd64', 'libghc-text-dev', 'libavahi-common-data:amd64', 'libkrb5support0:amd64', 'libc-dev-bin', 'ghc', 'libcups2:amd64', 'libghc-hashtables-dev', 'librsvg2-2:amd64', 'linux-libc-dev:amd64', 'libgif4'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', 'agda'] 0m47.3s DUMP: dpkg: warning: ignoring request to remove agda which isn't installed 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', 'agda'] 0m47.3s INFO: Running scripts post_purge 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_purge_exceptions'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_purge_exceptions'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', '--pending'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--purge', '--pending'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--remove', '--pending'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg', '--remove', '--pending'] 0m47.3s INFO: Running scripts post_test 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_test_exceptions'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'tmp/scripts/post_test_exceptions'] 0m47.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m47.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m48.3s DEBUG: No broken symlinks as far as we can find. 0m48.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-divert', '--list'] 0m48.3s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m48.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'dpkg-divert', '--list'] 0m48.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'clean'] 0m48.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpNggXgQ', 'apt-get', 'clean'] 0m48.3s DEBUG: Recording chroot state 0m49.5s INFO: PASS: Installation and purging test. 0m49.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/run/shm'] 0m49.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/run/shm'] 0m49.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/console'] 0m50.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/console'] 0m50.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/ptmx'] 0m50.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/ptmx'] 0m50.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/pts'] 0m50.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/dev/pts'] 0m50.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/proc'] 0m50.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpNggXgQ/proc'] 0m50.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m50.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpNggXgQ'] 0m50.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpNggXgQ 0m50.2s INFO: PASS: All tests. 0m50.2s INFO: piuparts run ends. ret=0 End: 2018-02-19 01:29:58 UTC