Start: 2019-07-04 09:30:09 UTC [wheezy] Package: libghc-agda-dev Source: agda (2.3.0.1-2) Version: 2.3.0.1-2+b1 Installed-Size: 78777 Maintainer: Debian Haskell Group Architecture: amd64 Provides: libghc-agda-dev-2.3.0.1-1006f Depends: libghc-quickcheck-dev-2.4.2-41cb2, libghc-array-dev-0.4.0.0-59d1c, libghc-base-dev-4.5.0.0-40b99, libghc-binary-dev-0.5.1.0-d85d7, libghc-bytestring-dev-0.9.2.1-18f26, libghc-containers-dev-0.4.2.1-cfc64, libghc-directory-dev-1.1.0.2-ebaca, libghc-filepath-dev-1.3.0.0-973f5, libghc-hashable-dev-1.1.2.3-1b1ae, libghc-hashtables-dev-1.0.1.4-c8243, libghc-haskeline-dev-0.6.4.7-2c076, libghc-haskell-src-exts-dev-1.11.1-59039, libghc-mtl-dev-2.1.1-80110, libghc-old-time-dev-1.1.0.0-b7778, libghc-pretty-dev-1.1.1.0-74ee6, libghc-process-dev-1.1.0.1-18dad, libghc-syb-dev-0.3.6.1-25afc, libghc-xhtml-dev-3000.2.1-c15f9, libghc-zlib-dev-0.5.3.3-25bc9 Suggests: libghc-agda-doc Description: dependently typed functional programming language - development libraries Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 91cfdcbd0be2f6d77c9fec3bc64de860 Section: haskell Priority: extra Filename: pool/main/a/agda/libghc-agda-dev_2.3.0.1-2+b1_amd64.deb Size: 13049408 MD5sum: 201beef6b95530d5900621864b3956b1 SHA1: 7e373662b4809aeee670d36f590df71130e94daa SHA256: d4d787bd05e403b0d1439cbc099afe3462ed9da39b9bfc4f8eacb282cdb980a6 [jessie] Package: libghc-agda-dev Source: agda (2.4.0.2-2) Version: 2.4.0.2-2+b1 Installed-Size: 97049 Maintainer: Debian Haskell Group Architecture: amd64 Provides: libghc-agda-dev-2.4.0.2-19633 Depends: libghc-quickcheck-dev-2.7.6-1a837, libghc-stmonadtrans-dev-0.3.2-e8fef, libghc-array-dev-0.4.0.1-3b784, libghc-base-dev-4.6.0.1-8aa5d, libghc-binary-dev-0.7.2.1-29f19, libghc-boxes-dev-0.1.3-d497b, libghc-bytestring-dev-0.10.0.2-4f932, libghc-containers-dev-0.5.0.0-ab1da, libghc-data-hash-dev-0.2.0.0-5623c, libghc-deepseq-dev-1.3.0.1-5cc4c, libghc-directory-dev-1.2.0.1-91a78, libghc-equivalence-dev-0.2.5-c02f6, libghc-filepath-dev-1.3.0.1-b12cb, libghc-geniplate-dev-0.6.0.4-3bad6, libghc-hashable-dev-1.2.1.0-7e831, libghc-hashtables-dev-1.0.1.8-14f0b, libghc-haskeline-dev-0.7.1.3-673aa, libghc-haskell-src-exts-dev-1.14.0.1-597ed, libghc-mtl-dev-2.1.2-94c72, libghc-parallel-dev-3.2.0.4-6b28f, libghc-pretty-dev-1.1.1.0-66181, libghc-process-dev-1.1.0.2-76e05, libghc-strict-dev-0.3.2-ad9fd, libghc-text-dev-0.11.3.1-e3885, libghc-time-dev-1.4.0.1-10dc4, libghc-transformers-dev-0.3.0.0-ff2bb, libghc-unordered-containers-dev-0.2.5.0-11c50, libghc-xhtml-dev-3000.2.1-22b74, libghc-zlib-dev-0.5.4.1-13ba8 Suggests: libghc-agda-doc Description: dependently typed functional programming language Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 367dee38c949eb56c7f0325161eedb49 Ghc-Package: Agda-2.4.0.2-19633f9e91b04336a440545ce5e9844e Section: haskell Priority: extra Filename: pool/main/a/agda/libghc-agda-dev_2.4.0.2-2+b1_amd64.deb Size: 9793172 MD5sum: 491833ea297562972b90fa4a7235af2d SHA1: 8716f7513f9e716a9d984cdc0477a4fe53caee83 SHA256: 458f57944c6b8a7e01c5abce3172ba80497f96ec466c61fbb32685d02607497a 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 --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror.bm.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 -d jessie -B /srv/piuparts.debian.org/slave/refchroot/wheezy2jessie/reference-chroot-metadata.dat --apt libghc-agda-dev=2.4.0.2-2+b1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.0.1~201906172056~1.0.0-58-g7dbcf873 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror.bm.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 -d jessie -B /srv/piuparts.debian.org/slave/refchroot/wheezy2jessie/reference-chroot-metadata.dat --apt libghc-agda-dev=2.4.0.2-2+b1 0m0.0s INFO: Running on: Linux piu-slave-bm-a 4.9.0-9-amd64 #1 SMP Debian 4.9.168-1+deb9u3 (2019-06-16) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpSvGjhd 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpSvGjhd 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.9s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/proc'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/proc'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/pts'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/pts'] 0m2.0s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/ptmx'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/ptmx'] 0m2.0s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/console'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/console'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/run/shm'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/run/shm'] 0m2.0s DEBUG: sources.list: deb http://archive.debian.org/debian wheezy main 0m2.1s DEBUG: Created policy-rc.d and chmodded it. 0m2.1s DEBUG: Created resolv.conf. 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpSvGjhd/tmp/scripts/ 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts-jessie to /srv/piuparts.debian.org/tmp/tmpSvGjhd/tmp/scripts/ 0m2.1s INFO: Running scripts post_chroot_unpack 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.1s DUMP: Creating /etc/apt/apt.conf.d/unauthenticated-wheezy ... # The Release file is not getting updated. Acquire::Check-Valid-Until "false"; 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'update'] 0m5.8s DUMP: Get:1 http://archive.debian.org wheezy Release.gpg [2373 B] Get:2 http://archive.debian.org wheezy Release [191 kB] Get:3 http://archive.debian.org wheezy/main Translation-en [3846 kB] Get:4 http://archive.debian.org wheezy/main amd64 Packages [7634 kB] Fetched 11.7 MB in 2s (5168 kB/s) Reading package lists... 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'update'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-yf', 'dist-upgrade'] 0m6.4s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-yf', 'dist-upgrade'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.8s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.8s INFO: Running scripts post_setup 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_dummy_users'] 0m8.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_dummy_users'] 0m8.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_experimental'] 0m8.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_experimental'] 0m8.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_forbid_home'] 0m8.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m8.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_forbid_home'] 0m8.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_force-unsafe-io'] 0m8.5s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' `/bin/sync' -> `true' 0m8.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_force-unsafe-io'] 0m8.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m9.5s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... The following NEW packages will be installed: ucf 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 70.8 kB of archives. After this operation, 236 kB of additional disk space will be used. Get:1 http://archive.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 70.8 kB in 0s (794 kB/s) Selecting previously unselected package ucf. (Reading database ... 6639 files and directories currently installed.) Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Setting up ucf (3.0025+nmu3) ... 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_minimize'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_minimize'] 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_squeeze-backports'] 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_squeeze-backports'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_zz_backports'] 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_setup_zz_backports'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m9.6s DUMP: 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 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m9.6s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/wheezy2jessie/reference-chroot-metadata.dat 0m10.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 0m11.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 0m11.7s INFO: Running scripts is_testable 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/is_testable_uninstallable'] 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/is_testable_uninstallable'] 0m11.7s INFO: Running scripts pre_test 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_test_exceptions'] 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_test_exceptions'] 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_test_root_password'] 0m11.7s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m11.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_test_root_password'] 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'show', '--no-all-versions', 'libghc-agda-dev'] 0m11.8s DUMP: Package: libghc-agda-dev Source: agda (2.3.0.1-2) Version: 2.3.0.1-2+b1 Installed-Size: 78777 Maintainer: Debian Haskell Group Architecture: amd64 Provides: libghc-agda-dev-2.3.0.1-1006f Depends: libghc-quickcheck-dev-2.4.2-41cb2, libghc-array-dev-0.4.0.0-59d1c, libghc-base-dev-4.5.0.0-40b99, libghc-binary-dev-0.5.1.0-d85d7, libghc-bytestring-dev-0.9.2.1-18f26, libghc-containers-dev-0.4.2.1-cfc64, libghc-directory-dev-1.1.0.2-ebaca, libghc-filepath-dev-1.3.0.0-973f5, libghc-hashable-dev-1.1.2.3-1b1ae, libghc-hashtables-dev-1.0.1.4-c8243, libghc-haskeline-dev-0.6.4.7-2c076, libghc-haskell-src-exts-dev-1.11.1-59039, libghc-mtl-dev-2.1.1-80110, libghc-old-time-dev-1.1.0.0-b7778, libghc-pretty-dev-1.1.1.0-74ee6, libghc-process-dev-1.1.0.1-18dad, libghc-syb-dev-0.3.6.1-25afc, libghc-xhtml-dev-3000.2.1-c15f9, libghc-zlib-dev-0.5.3.3-25bc9 Suggests: libghc-agda-doc Description-en: dependently typed functional programming language - development libraries 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 package contains the normal library files. Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 91cfdcbd0be2f6d77c9fec3bc64de860 Section: haskell Priority: extra Filename: pool/main/a/agda/libghc-agda-dev_2.3.0.1-2+b1_amd64.deb Size: 13049408 MD5sum: 201beef6b95530d5900621864b3956b1 SHA1: 7e373662b4809aeee670d36f590df71130e94daa SHA256: d4d787bd05e403b0d1439cbc099afe3462ed9da39b9bfc4f8eacb282cdb980a6 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'show', '--no-all-versions', 'libghc-agda-dev'] 0m11.8s INFO: apt-cache knows about the following packages: libghc-agda-dev 0m11.8s INFO: Running scripts pre_install 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_database-server'] 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_database-server'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_exceptions'] 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_exceptions'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_extras'] 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_extras'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy'] 0m11.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://archive.debian.org/debian/ wheezy/main Translation-en 500 http://archive.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin archive.debian.org Pinned packages: 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy', 'libghc-agda-dev'] 0m11.9s DUMP: libghc-agda-dev: Installed: (none) Candidate: 2.3.0.1-2+b1 Version table: 2.3.0.1-2+b1 0 500 http://archive.debian.org/debian/ wheezy/main amd64 Packages 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy', 'libghc-agda-dev'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-y', 'install', 'libghc-agda-dev'] 0m26.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: binutils cpp cpp-4.7 gcc gcc-4.7 ghc libbsd-dev libbsd0 libc-dev-bin libc6-dev libffi-dev libffi5 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 libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libitm1 libmpc2 libmpfr4 libncurses5-dev libquadmath0 libtinfo-dev linux-libc-dev zlib1g-dev Suggested packages: binutils-doc cpp-doc gcc-4.7-locales 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 glibc-doc 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 ncurses-doc Recommended packages: libstdc++-dev The following NEW packages will be installed: binutils cpp cpp-4.7 gcc gcc-4.7 ghc libbsd-dev libbsd0 libc-dev-bin libc6-dev libffi-dev libffi5 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 libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libitm1 libmpc2 libmpfr4 libncurses5-dev libquadmath0 libtinfo-dev linux-libc-dev zlib1g-dev 0 upgraded, 42 newly installed, 0 to remove and 0 not upgraded. Need to get 96.5 MB of archives. After this operation, 525 MB of additional disk space will be used. Get:1 http://archive.debian.org/debian/ wheezy/main libbsd0 amd64 0.4.2-1 [59.3 kB] Get:2 http://archive.debian.org/debian/ wheezy/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:3 http://archive.debian.org/debian/ wheezy/main libgmp10 amd64 2:5.0.5+dfsg-2 [250 kB] Get:4 http://archive.debian.org/debian/ wheezy/main libgmpxx4ldbl amd64 2:5.0.5+dfsg-2 [21.6 kB] Get:5 http://archive.debian.org/debian/ wheezy/main libgomp1 amd64 4.7.2-5 [27.5 kB] Get:6 http://archive.debian.org/debian/ wheezy/main libitm1 amd64 4.7.2-5 [36.6 kB] Get:7 http://archive.debian.org/debian/ wheezy/main libmpfr4 amd64 3.1.0-5 [538 kB] Get:8 http://archive.debian.org/debian/ wheezy/main libquadmath0 amd64 4.7.2-5 [125 kB] Get:9 http://archive.debian.org/debian/ wheezy/main libmpc2 amd64 0.9-4 [40.1 kB] Get:10 http://archive.debian.org/debian/ wheezy/main binutils amd64 2.22-8+deb7u2 [4793 kB] Get:11 http://archive.debian.org/debian/ wheezy/main cpp-4.7 amd64 4.7.2-5 [5416 kB] Get:12 http://archive.debian.org/debian/ wheezy/main cpp amd64 4:4.7.2-1 [16.6 kB] Get:13 http://archive.debian.org/debian/ wheezy/main gcc-4.7 amd64 4.7.2-5 [8296 kB] Get:14 http://archive.debian.org/debian/ wheezy/main gcc amd64 4:4.7.2-1 [5064 B] Get:15 http://archive.debian.org/debian/ wheezy/main libbsd-dev amd64 0.4.2-1 [140 kB] Get:16 http://archive.debian.org/debian/ wheezy/main libc-dev-bin amd64 2.13-38+deb7u10 [228 kB] Get:17 http://archive.debian.org/debian/ wheezy/main linux-libc-dev amd64 3.2.78-1 [854 kB] Get:18 http://archive.debian.org/debian/ wheezy/main libc6-dev amd64 2.13-38+deb7u10 [2663 kB] Get:19 http://archive.debian.org/debian/ wheezy/main libffi-dev amd64 3.0.10-3 [116 kB] Get:20 http://archive.debian.org/debian/ wheezy/main libgmp-dev amd64 2:5.0.5+dfsg-2 [610 kB] Get:21 http://archive.debian.org/debian/ wheezy/main libtinfo-dev amd64 5.9-10 [105 kB] Get:22 http://archive.debian.org/debian/ wheezy/main libncurses5-dev amd64 5.9-10 [223 kB] Get:23 http://archive.debian.org/debian/ wheezy/main zlib1g-dev amd64 1:1.2.7.dfsg-13 [215 kB] Get:24 http://archive.debian.org/debian/ wheezy/main ghc amd64 7.4.1-4 [45.8 MB] Get:25 http://archive.debian.org/debian/ wheezy/main libghc-random-dev amd64 1.0.1.1-1+b1 [240 kB] Get:26 http://archive.debian.org/debian/ wheezy/main libghc-quickcheck2-dev amd64 2.4.2-1+b1 [541 kB] Get:27 http://archive.debian.org/debian/ wheezy/main libghc-text-dev amd64 0.11.2.0-1 [1935 kB] Get:28 http://archive.debian.org/debian/ wheezy/main libghc-hashable-dev amd64 1.1.2.3-1+b2 [49.4 kB] Get:29 http://archive.debian.org/debian/ wheezy/main libghc-primitive-dev amd64 0.4.1-1+b1 [101 kB] Get:30 http://archive.debian.org/debian/ wheezy/main libghc-vector-dev amd64 0.9.1-2+b1 [1689 kB] Get:31 http://archive.debian.org/debian/ wheezy/main libghc-hashtables-dev amd64 1.0.1.4-1+b1 [285 kB] Get:32 http://archive.debian.org/debian/ wheezy/main libghc-transformers-dev amd64 0.3.0.0-1 [402 kB] Get:33 http://archive.debian.org/debian/ wheezy/main libghc-mtl-dev amd64 2.1.1-1 [122 kB] Get:34 http://archive.debian.org/debian/ wheezy/main libghc-terminfo-dev amd64 0.3.2.3-1+b1 [131 kB] Get:35 http://archive.debian.org/debian/ wheezy/main libghc-utf8-string-dev amd64 0.3.7-1+b1 [142 kB] Get:36 http://archive.debian.org/debian/ wheezy/main libghc-haskeline-dev amd64 0.6.4.7-1+b1 [900 kB] Get:37 http://archive.debian.org/debian/ wheezy/main libghc-cpphs-dev amd64 1.13.3-2+b1 [249 kB] Get:38 http://archive.debian.org/debian/ wheezy/main libghc-src-exts-dev amd64 1.11.1-3+b1 [5612 kB] Get:39 http://archive.debian.org/debian/ wheezy/main libghc-syb-dev amd64 0.3.6.1-1 [135 kB] Get:40 http://archive.debian.org/debian/ wheezy/main libghc-xhtml-dev amd64 3000.2.1-1 [227 kB] Get:41 http://archive.debian.org/debian/ wheezy/main libghc-zlib-dev amd64 0.5.3.3-1+b1 [85.9 kB] Get:42 http://archive.debian.org/debian/ wheezy/main libghc-agda-dev amd64 2.3.0.1-2+b1 [13.0 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 96.5 MB in 5s (18.5 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... 6657 files and directories currently installed.) Unpacking libbsd0:amd64 (from .../libbsd0_0.4.2-1_amd64.deb) ... Selecting previously unselected package libffi5:amd64. Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3_amd64.deb) ... Selecting previously unselected package libgmp10:amd64. Unpacking libgmp10:amd64 (from .../libgmp10_2%3a5.0.5+dfsg-2_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 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 libmpfr4:amd64. Unpacking libmpfr4:amd64 (from .../libmpfr4_3.1.0-5_amd64.deb) ... Selecting previously unselected package libquadmath0:amd64. Unpacking libquadmath0:amd64 (from .../libquadmath0_4.7.2-5_amd64.deb) ... Selecting previously unselected package libmpc2:amd64. Unpacking libmpc2:amd64 (from .../libmpc2_0.9-4_amd64.deb) ... Selecting previously unselected package binutils. Unpacking binutils (from .../binutils_2.22-8+deb7u2_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 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 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 libffi-dev:amd64. Unpacking libffi-dev:amd64 (from .../libffi-dev_3.0.10-3_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 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 zlib1g-dev:amd64. Unpacking zlib1g-dev:amd64 (from .../zlib1g-dev_1%3a1.2.7.dfsg-13_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 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 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) ... Setting up libbsd0:amd64 (0.4.2-1) ... Setting up libffi5:amd64 (3.0.10-3) ... Setting up libgmp10:amd64 (2:5.0.5+dfsg-2) ... Setting up libgmpxx4ldbl:amd64 (2:5.0.5+dfsg-2) ... Setting up libgomp1:amd64 (4.7.2-5) ... Setting up libitm1:amd64 (4.7.2-5) ... Setting up libmpfr4:amd64 (3.1.0-5) ... Setting up libquadmath0:amd64 (4.7.2-5) ... Setting up libmpc2:amd64 (0.9-4) ... Setting up binutils (2.22-8+deb7u2) ... Setting up cpp-4.7 (4.7.2-5) ... Setting up cpp (4:4.7.2-1) ... Setting up gcc-4.7 (4.7.2-5) ... Setting up gcc (4:4.7.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 libffi-dev:amd64 (3.0.10-3) ... Setting up libgmp-dev:amd64 (2:5.0.5+dfsg-2) ... Setting up libtinfo-dev:amd64 (5.9-10) ... Setting up libncurses5-dev (5.9-10) ... Setting up zlib1g-dev:amd64 (1:1.2.7.dfsg-13) ... 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 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 libghc-zlib-dev (0.5.3.3-1+b1) ... Setting up libghc-agda-dev (2.3.0.1-2+b1) ... 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-y', 'install', 'libghc-agda-dev'] 0m26.4s INFO: Running scripts post_install 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_install_exceptions'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_install_exceptions'] 0m26.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 0m28.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 0m28.0s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpSvGjhd to jessie 0m28.0s DEBUG: sources.list: deb http://mirror.bm.debian.org/debian/ jessie main 0m28.0s INFO: Running scripts pre_distupgrade 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m28.1s DUMP: removed `/etc/apt/apt.conf.d/unauthenticated-wheezy' 0m28.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m28.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_exceptions'] 0m28.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_exceptions'] 0m28.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m28.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m28.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m28.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m28.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m28.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m28.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'update'] 0m33.9s DUMP: Get:1 http://mirror.bm.debian.org jessie Release.gpg [2420 B] Get:2 http://mirror.bm.debian.org jessie Release [148 kB] Get:3 http://mirror.bm.debian.org jessie/main amd64 Packages [6818 kB] Get:4 http://mirror.bm.debian.org jessie/main Translation-en [4581 kB] Fetched 11.5 MB in 3s (3275 kB/s) Reading package lists... 0m33.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'update'] 0m33.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-yf', 'dist-upgrade'] 1m18.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: cpp-4.7 gcc-4.7 gcc-4.7-base The following NEW packages will be installed: acl adduser cpp-4.9 dmsetup gcc-4.9 gcc-4.9-base init libasan1 libatomic1 libaudit-common libaudit1 libcap2 libcap2-bin libcilkrts5 libcloog-isl4 libcryptsetup4 libdb5.3 libdebconfclient0 libdevmapper1.02.1 libffi6 libgcc-4.9-dev libgcrypt20 libghc-binary-dev libghc-boxes-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-parallel-dev libghc-polyparse-dev libghc-split-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-tf-random-dev libghc-unordered-containers-dev libgpg-error0 libisl10 libkmod2 liblsan0 libmpc3 libncursesw5 libpcre3 libprocps3 libsmartcols1 libsystemd0 libtsan0 libubsan0 libudev1 procps startpar systemd systemd-sysv udev The following packages will be upgraded: apt base-files base-passwd bash binutils bsdutils coreutils cpp dash debconf debconf-i18n debian-archive-keyring debianutils diffutils dpkg e2fslibs e2fsprogs findutils gcc ghc gnupg gpgv grep gzip hostname initscripts libacl1 libapt-pkg4.12 libattr1 libblkid1 libbsd-dev libbsd0 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcomerr2 libffi-dev libgcc1 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 libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libitm1 liblocale-gettext-perl liblzma5 libmount1 libmpfr4 libncurses5 libncurses5-dev libpam-modules libpam-modules-bin libpam-runtime libpam0g libquadmath0 libreadline6 libselinux1 libsemanage-common libsemanage1 libsepol1 libslang2 libss2 libstdc++6 libtext-charwidth-perl libtext-iconv-perl libtinfo-dev libtinfo5 libusb-0.1-4 libustr-1.0-1 libuuid1 linux-libc-dev login lsb-base mount multiarch-support ncurses-base ncurses-bin passwd perl-base readline-common sed sensible-utils sysv-rc sysvinit sysvinit-utils tar tzdata ucf util-linux xz-utils zlib1g zlib1g-dev 111 upgraded, 52 newly installed, 3 to remove and 0 not upgraded. Need to get 105 MB of archives. After this operation, 96.3 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ jessie/main libc6-dev amd64 2.19-18+deb8u10 [2003 kB] Get:2 http://mirror.bm.debian.org/debian/ jessie/main libc-dev-bin amd64 2.19-18+deb8u10 [238 kB] Get:3 http://mirror.bm.debian.org/debian/ jessie/main libc6 amd64 2.19-18+deb8u10 [4665 kB] Get:4 http://mirror.bm.debian.org/debian/ jessie/main libc-bin amd64 2.19-18+deb8u10 [1281 kB] Get:5 http://mirror.bm.debian.org/debian/ jessie/main linux-libc-dev amd64 3.16.56-1+deb8u1 [1096 kB] Get:6 http://mirror.bm.debian.org/debian/ jessie/main libitm1 amd64 4.9.2-10+deb8u1 [29.3 kB] Get:7 http://mirror.bm.debian.org/debian/ jessie/main libgomp1 amd64 4.9.2-10+deb8u1 [37.8 kB] Get:8 http://mirror.bm.debian.org/debian/ jessie/main gcc-4.9-base amd64 4.9.2-10+deb8u1 [160 kB] Get:9 http://mirror.bm.debian.org/debian/ jessie/main libstdc++6 amd64 4.9.2-10+deb8u1 [273 kB] Get:10 http://mirror.bm.debian.org/debian/ jessie/main libisl10 amd64 0.12.2-2 [440 kB] Get:11 http://mirror.bm.debian.org/debian/ jessie/main libcloog-isl4 amd64 0.18.2-1+b2 [61.8 kB] Get:12 http://mirror.bm.debian.org/debian/ jessie/main libmpfr4 amd64 3.1.2-2 [527 kB] Get:13 http://mirror.bm.debian.org/debian/ jessie/main libmpc3 amd64 1.0.2-1 [39.3 kB] Get:14 http://mirror.bm.debian.org/debian/ jessie/main cpp-4.9 amd64 4.9.2-10+deb8u1 [5002 kB] Get:15 http://mirror.bm.debian.org/debian/ jessie/main cpp amd64 4:4.9.2-2 [17.3 kB] Get:16 http://mirror.bm.debian.org/debian/ jessie/main libtinfo5 amd64 5.9+20140913-1+deb8u3 [282 kB] Get:17 http://mirror.bm.debian.org/debian/ jessie/main ncurses-bin amd64 5.9+20140913-1+deb8u3 [347 kB] Get:18 http://mirror.bm.debian.org/debian/ jessie/main libncurses5-dev amd64 5.9+20140913-1+deb8u3 [175 kB] Get:19 http://mirror.bm.debian.org/debian/ jessie/main libncurses5 amd64 5.9+20140913-1+deb8u3 [96.6 kB] Get:20 http://mirror.bm.debian.org/debian/ jessie/main libtinfo-dev amd64 5.9+20140913-1+deb8u3 [77.2 kB] Get:21 http://mirror.bm.debian.org/debian/ jessie/main binutils amd64 2.25-5+deb8u1 [3496 kB] Get:22 http://mirror.bm.debian.org/debian/ jessie/main libatomic1 amd64 4.9.2-10+deb8u1 [9014 B] Get:23 http://mirror.bm.debian.org/debian/ jessie/main libasan1 amd64 4.9.2-10+deb8u1 [195 kB] Get:24 http://mirror.bm.debian.org/debian/ jessie/main liblsan0 amd64 4.9.2-10+deb8u1 [92.7 kB] Get:25 http://mirror.bm.debian.org/debian/ jessie/main libtsan0 amd64 4.9.2-10+deb8u1 [212 kB] Get:26 http://mirror.bm.debian.org/debian/ jessie/main libubsan0 amd64 4.9.2-10+deb8u1 [82.4 kB] Get:27 http://mirror.bm.debian.org/debian/ jessie/main libcilkrts5 amd64 4.9.2-10+deb8u1 [40.1 kB] Get:28 http://mirror.bm.debian.org/debian/ jessie/main libquadmath0 amd64 4.9.2-10+deb8u1 [129 kB] Get:29 http://mirror.bm.debian.org/debian/ jessie/main libgcc-4.9-dev amd64 4.9.2-10+deb8u1 [2066 kB] Get:30 http://mirror.bm.debian.org/debian/ jessie/main gcc-4.9 amd64 4.9.2-10+deb8u1 [5184 kB] Get:31 http://mirror.bm.debian.org/debian/ jessie/main gcc amd64 4:4.9.2-2 [5136 B] Get:32 http://mirror.bm.debian.org/debian/ jessie/main libgcc1 amd64 1:4.9.2-10+deb8u1 [39.5 kB] Get:33 http://mirror.bm.debian.org/debian/ jessie/main zlib1g-dev amd64 1:1.2.8.dfsg-2+b1 [206 kB] Get:34 http://mirror.bm.debian.org/debian/ jessie/main zlib1g amd64 1:1.2.8.dfsg-2+b1 [88.8 kB] Get:35 http://mirror.bm.debian.org/debian/ jessie/main libgmp-dev amd64 2:6.0.0+dfsg-6 [621 kB] Get:36 http://mirror.bm.debian.org/debian/ jessie/main libgmpxx4ldbl amd64 2:6.0.0+dfsg-6 [22.1 kB] Get:37 http://mirror.bm.debian.org/debian/ jessie/main libgmp10 amd64 2:6.0.0+dfsg-6 [253 kB] Get:38 http://mirror.bm.debian.org/debian/ jessie/main base-files amd64 8+deb8u11 [78.2 kB] Get:39 http://mirror.bm.debian.org/debian/ jessie/main sensible-utils all 0.0.9+deb8u1 [10.9 kB] Get:40 http://mirror.bm.debian.org/debian/ jessie/main debianutils amd64 4.4+b1 [99.1 kB] Get:41 http://mirror.bm.debian.org/debian/ jessie/main bash amd64 4.3-11+deb8u1 [1172 kB] Get:42 http://mirror.bm.debian.org/debian/ jessie/main libgpg-error0 amd64 1.17-3 [94.9 kB] Get:43 http://mirror.bm.debian.org/debian/ jessie/main libgcrypt20 amd64 1.6.3-2+deb8u4 [392 kB] Get:44 http://mirror.bm.debian.org/debian/ jessie/main libsystemd0 amd64 215-17+deb8u7 [89.4 kB] Get:45 http://mirror.bm.debian.org/debian/ jessie/main bsdutils amd64 1:2.25.2-6 [94.0 kB] Get:46 http://mirror.bm.debian.org/debian/ jessie/main libpcre3 amd64 2:8.35-3.3+deb8u4 [322 kB] Get:47 http://mirror.bm.debian.org/debian/ jessie/main libselinux1 amd64 2.3-2 [89.8 kB] Get:48 http://mirror.bm.debian.org/debian/ jessie/main coreutils amd64 8.23-4 [2727 kB] Get:49 http://mirror.bm.debian.org/debian/ jessie/main dpkg amd64 1.17.27 [2994 kB] Get:50 http://mirror.bm.debian.org/debian/ jessie/main dash amd64 0.5.7-4+b1 [109 kB] Get:51 http://mirror.bm.debian.org/debian/ jessie/main diffutils amd64 1:3.3-1+b1 [267 kB] Get:52 http://mirror.bm.debian.org/debian/ jessie/main e2fslibs amd64 1.42.12-2+b1 [186 kB] Get:53 http://mirror.bm.debian.org/debian/ jessie/main e2fsprogs amd64 1.42.12-2+b1 [750 kB] Get:54 http://mirror.bm.debian.org/debian/ jessie/main findutils amd64 4.4.2-9+b1 [485 kB] Get:55 http://mirror.bm.debian.org/debian/ jessie/main grep amd64 2.20-4.1 [325 kB] Get:56 http://mirror.bm.debian.org/debian/ jessie/main gzip amd64 1.6-4 [111 kB] Get:57 http://mirror.bm.debian.org/debian/ jessie/main hostname amd64 3.15 [13.9 kB] Get:58 http://mirror.bm.debian.org/debian/ jessie/main libaudit-common all 1:2.4-1 [13.5 kB] Get:59 http://mirror.bm.debian.org/debian/ jessie/main libaudit1 amd64 1:2.4-1+b1 [44.7 kB] Get:60 http://mirror.bm.debian.org/debian/ jessie/main libattr1 amd64 1:2.4.47-2 [18.3 kB] Get:61 http://mirror.bm.debian.org/debian/ jessie/main libcap2 amd64 1:2.24-8 [15.3 kB] Get:62 http://mirror.bm.debian.org/debian/ jessie/main libudev1 amd64 215-17+deb8u7 [57.8 kB] Get:63 http://mirror.bm.debian.org/debian/ jessie/main libtext-charwidth-perl amd64 0.04-7+b3 [10.7 kB] Get:64 http://mirror.bm.debian.org/debian/ jessie/main libtext-iconv-perl amd64 1.7-5+b2 [16.2 kB] Get:65 http://mirror.bm.debian.org/debian/ jessie/main perl-base amd64 5.20.2-3+deb8u11 [1230 kB] Get:66 http://mirror.bm.debian.org/debian/ jessie/main liblocale-gettext-perl amd64 1.05-8+b1 [19.0 kB] Get:67 http://mirror.bm.debian.org/debian/ jessie/main debconf all 1.5.56+deb8u1 [167 kB] Get:68 http://mirror.bm.debian.org/debian/ jessie/main libpam0g amd64 1.1.8-3.1+deb8u2+b1 [126 kB] Get:69 http://mirror.bm.debian.org/debian/ jessie/main libsemanage-common all 2.3-1 [24.6 kB] Get:70 http://mirror.bm.debian.org/debian/ jessie/main libsemanage1 amd64 2.3-1+b1 [90.2 kB] Get:71 http://mirror.bm.debian.org/debian/ jessie/main libbz2-1.0 amd64 1.0.6-7+b3 [43.5 kB] Get:72 http://mirror.bm.debian.org/debian/ jessie/main libsepol1 amd64 2.3-2 [127 kB] Get:73 http://mirror.bm.debian.org/debian/ jessie/main libustr-1.0-1 amd64 1.0.4-3+b2 [79.6 kB] Get:74 http://mirror.bm.debian.org/debian/ jessie/main libdb5.3 amd64 5.3.28-9+deb8u1 [680 kB] Get:75 http://mirror.bm.debian.org/debian/ jessie/main libpam-modules-bin amd64 1.1.8-3.1+deb8u2+b1 [104 kB] Get:76 http://mirror.bm.debian.org/debian/ jessie/main libpam-modules amd64 1.1.8-3.1+deb8u2+b1 [307 kB] Get:77 http://mirror.bm.debian.org/debian/ jessie/main passwd amd64 1:4.2-3+deb8u4 [971 kB] Get:78 http://mirror.bm.debian.org/debian/ jessie/main libuuid1 amd64 2.25.2-6 [64.7 kB] Get:79 http://mirror.bm.debian.org/debian/ jessie/main libblkid1 amd64 2.25.2-6 [156 kB] Get:80 http://mirror.bm.debian.org/debian/ jessie/main libmount1 amd64 2.25.2-6 [164 kB] Get:81 http://mirror.bm.debian.org/debian/ jessie/main libsmartcols1 amd64 2.25.2-6 [110 kB] Get:82 http://mirror.bm.debian.org/debian/ jessie/main startpar amd64 0.59-3 [21.8 kB] Get:83 http://mirror.bm.debian.org/debian/ jessie/main sysvinit-utils amd64 2.88dsf-59 [84.4 kB] Get:84 http://mirror.bm.debian.org/debian/ jessie/main sysv-rc all 2.88dsf-59 [82.8 kB] Get:85 http://mirror.bm.debian.org/debian/ jessie/main mount amd64 2.25.2-6 [168 kB] Get:86 http://mirror.bm.debian.org/debian/ jessie/main lsb-base all 4.1+Debian13+nmu1 [26.7 kB] Get:87 http://mirror.bm.debian.org/debian/ jessie/main initscripts amd64 2.88dsf-59 [87.2 kB] Get:88 http://mirror.bm.debian.org/debian/ jessie/main tzdata all 2018e-0+deb8u1 [233 kB] Get:89 http://mirror.bm.debian.org/debian/ jessie/main util-linux amd64 2.25.2-6 [845 kB] Get:90 http://mirror.bm.debian.org/debian/ jessie/main libdevmapper1.02.1 amd64 2:1.02.90-2.2+deb8u1 [145 kB] Get:91 http://mirror.bm.debian.org/debian/ jessie/main dmsetup amd64 2:1.02.90-2.2+deb8u1 [69.1 kB] Get:92 http://mirror.bm.debian.org/debian/ jessie/main libcryptsetup4 amd64 2:1.6.6-5 [103 kB] Get:93 http://mirror.bm.debian.org/debian/ jessie/main libkmod2 amd64 18-3 [46.2 kB] Get:94 http://mirror.bm.debian.org/debian/ jessie/main adduser all 3.113+nmu3 [264 kB] Get:95 http://mirror.bm.debian.org/debian/ jessie/main libncursesw5 amd64 5.9+20140913-1+deb8u3 [123 kB] Get:96 http://mirror.bm.debian.org/debian/ jessie/main libprocps3 amd64 2:3.3.9-9+deb8u1 [56.7 kB] Get:97 http://mirror.bm.debian.org/debian/ jessie/main procps amd64 2:3.3.9-9+deb8u1 [236 kB] Get:98 http://mirror.bm.debian.org/debian/ jessie/main libacl1 amd64 2.2.52-2 [27.9 kB] Get:99 http://mirror.bm.debian.org/debian/ jessie/main udev amd64 215-17+deb8u7 [876 kB] Get:100 http://mirror.bm.debian.org/debian/ jessie/main acl amd64 2.2.52-2 [58.4 kB] Get:101 http://mirror.bm.debian.org/debian/ jessie/main libcap2-bin amd64 1:2.24-8 [25.4 kB] Get:102 http://mirror.bm.debian.org/debian/ jessie/main systemd amd64 215-17+deb8u7 [2545 kB] Get:103 http://mirror.bm.debian.org/debian/ jessie/main systemd-sysv amd64 215-17+deb8u7 [36.7 kB] Get:104 http://mirror.bm.debian.org/debian/ jessie/main init amd64 1.22 [4674 B] Get:105 http://mirror.bm.debian.org/debian/ jessie/main login amd64 1:4.2-3+deb8u4 [722 kB] Get:106 http://mirror.bm.debian.org/debian/ jessie/main sed amd64 4.2.2-4+deb8u1 [243 kB] Get:107 http://mirror.bm.debian.org/debian/ jessie/main tar amd64 1.27.1-2+deb8u1 [676 kB] Get:108 http://mirror.bm.debian.org/debian/ jessie/main sysvinit amd64 2.88dsf-59 [99.9 kB] Get:109 http://mirror.bm.debian.org/debian/ jessie/main liblzma5 amd64 5.1.1alpha+20120614-2+b3 [194 kB] Get:110 http://mirror.bm.debian.org/debian/ jessie/main libapt-pkg4.12 amd64 1.0.9.8.4 [792 kB] Get:111 http://mirror.bm.debian.org/debian/ jessie/main gpgv amd64 1.4.18-7+deb8u5 [209 kB] Get:112 http://mirror.bm.debian.org/debian/ jessie/main debian-archive-keyring all 2017.5~deb8u1 [56.7 kB] Get:113 http://mirror.bm.debian.org/debian/ jessie/main readline-common all 6.3-8 [57.7 kB] Get:114 http://mirror.bm.debian.org/debian/ jessie/main libreadline6 amd64 6.3-8+b3 [143 kB] Get:115 http://mirror.bm.debian.org/debian/ jessie/main libusb-0.1-4 amd64 2:0.1.12-25 [21.9 kB] Get:116 http://mirror.bm.debian.org/debian/ jessie/main gnupg amd64 1.4.18-7+deb8u5 [1150 kB] Get:117 http://mirror.bm.debian.org/debian/ jessie/main apt amd64 1.0.9.8.4 [1109 kB] Get:118 http://mirror.bm.debian.org/debian/ jessie/main libdebconfclient0 amd64 0.192 [46.2 kB] Get:119 http://mirror.bm.debian.org/debian/ jessie/main base-passwd amd64 3.5.37 [64.5 kB] Get:120 http://mirror.bm.debian.org/debian/ jessie/main ncurses-base all 5.9+20140913-1+deb8u3 [222 kB] Get:121 http://mirror.bm.debian.org/debian/ jessie/main libslang2 amd64 2.3.0-2 [491 kB] Get:122 http://mirror.bm.debian.org/debian/ jessie/main libcomerr2 amd64 1.42.12-2+b1 [60.7 kB] Get:123 http://mirror.bm.debian.org/debian/ jessie/main libss2 amd64 1.42.12-2+b1 [65.0 kB] Get:124 http://mirror.bm.debian.org/debian/ jessie/main libbsd-dev amd64 0.7.0-2 [160 kB] Get:125 http://mirror.bm.debian.org/debian/ jessie/main libbsd0 amd64 0.7.0-2 [67.9 kB] Get:126 http://mirror.bm.debian.org/debian/ jessie/main libffi6 amd64 3.1-2+deb8u1 [20.2 kB] Get:127 http://mirror.bm.debian.org/debian/ jessie/main libghc-agda-dev amd64 2.4.0.2-2+b1 [9793 kB] Get:128 http://mirror.bm.debian.org/debian/ jessie/main libghc-quickcheck2-dev amd64 2.7.6-3 [387 kB] Get:129 http://mirror.bm.debian.org/debian/ jessie/main libghc-random-dev amd64 1.0.1.1-3 [237 kB] Get:130 http://mirror.bm.debian.org/debian/ jessie/main libghc-hashtables-dev amd64 1.0.1.8-2+b2 [155 kB] Get:131 http://mirror.bm.debian.org/debian/ jessie/main libghc-hashable-dev amd64 1.2.1.0-5 [39.7 kB] Get:132 http://mirror.bm.debian.org/debian/ jessie/main libghc-text-dev amd64 0.11.3.1-1 [1626 kB] Get:133 http://mirror.bm.debian.org/debian/ jessie/main libghc-vector-dev amd64 0.10.0.1-3 [1720 kB] Get:134 http://mirror.bm.debian.org/debian/ jessie/main libghc-primitive-dev amd64 0.5.0.1-3 [117 kB] Get:135 http://mirror.bm.debian.org/debian/ jessie/main libghc-tf-random-dev amd64 0.5-1 [68.8 kB] Get:136 http://mirror.bm.debian.org/debian/ jessie/main libghc-haskeline-dev amd64 0.7.1.3-1 [511 kB] Get:137 http://mirror.bm.debian.org/debian/ jessie/main libghc-mtl-dev amd64 2.1.2-4 [114 kB] Get:138 http://mirror.bm.debian.org/debian/ jessie/main libghc-transformers-dev amd64 0.3.0.0-5 [409 kB] Get:139 http://mirror.bm.debian.org/debian/ jessie/main libghc-stmonadtrans-dev amd64 0.3.2-1 [30.1 kB] Get:140 http://mirror.bm.debian.org/debian/ jessie/main libghc-src-exts-dev amd64 1.14.0.1-4 [3936 kB] Get:141 http://mirror.bm.debian.org/debian/ jessie/main libghc-cpphs-dev amd64 1.18.5-1 [155 kB] Get:142 http://mirror.bm.debian.org/debian/ jessie/main libghc-terminfo-dev amd64 0.3.2.5-3 [132 kB] Get:143 http://mirror.bm.debian.org/debian/ jessie/main libghc-zlib-dev amd64 0.5.4.1-1 [97.1 kB] Get:144 http://mirror.bm.debian.org/debian/ jessie/main libghc-utf8-string-dev amd64 0.3.7-3 [143 kB] Get:145 http://mirror.bm.debian.org/debian/ jessie/main libghc-syb-dev amd64 0.4.0-1 [130 kB] Get:146 http://mirror.bm.debian.org/debian/ jessie/main libghc-xhtml-dev amd64 3000.2.1-4 [218 kB] Get:147 http://mirror.bm.debian.org/debian/ jessie/main ghc amd64 7.6.3-21 [25.3 MB] Get:148 http://mirror.bm.debian.org/debian/ jessie/main libghc-binary-dev amd64 0.7.2.1-1 [172 kB] Get:149 http://mirror.bm.debian.org/debian/ jessie/main libghc-split-dev amd64 0.2.2-1 [54.6 kB] Get:150 http://mirror.bm.debian.org/debian/ jessie/main libghc-boxes-dev amd64 0.1.3-1 [30.8 kB] Get:151 http://mirror.bm.debian.org/debian/ jessie/main libghc-data-hash-dev amd64 0.2.0.0-1 [61.9 kB] Get:152 http://mirror.bm.debian.org/debian/ jessie/main libghc-equivalence-dev amd64 0.2.5-1 [59.6 kB] Get:153 http://mirror.bm.debian.org/debian/ jessie/main libghc-geniplate-dev amd64 0.6.0.4-1 [58.6 kB] Get:154 http://mirror.bm.debian.org/debian/ jessie/main libghc-polyparse-dev amd64 1.9-1 [373 kB] Get:155 http://mirror.bm.debian.org/debian/ jessie/main libghc-parallel-dev amd64 3.2.0.4-1 [40.4 kB] Get:156 http://mirror.bm.debian.org/debian/ jessie/main libghc-strict-dev amd64 0.3.2-7 [65.3 kB] Get:157 http://mirror.bm.debian.org/debian/ jessie/main libghc-unordered-containers-dev amd64 0.2.5.0-1 [143 kB] Get:158 http://mirror.bm.debian.org/debian/ jessie/main libffi-dev amd64 3.1-2+deb8u1 [157 kB] Get:159 http://mirror.bm.debian.org/debian/ jessie/main libpam-runtime all 1.1.8-3.1+deb8u2 [212 kB] Get:160 http://mirror.bm.debian.org/debian/ jessie/main multiarch-support amd64 2.19-18+deb8u10 [181 kB] Get:161 http://mirror.bm.debian.org/debian/ jessie/main debconf-i18n all 1.5.56+deb8u1 [206 kB] Get:162 http://mirror.bm.debian.org/debian/ jessie/main ucf all 3.0030 [69.7 kB] Get:163 http://mirror.bm.debian.org/debian/ jessie/main xz-utils amd64 5.1.1alpha+20120614-2+b3 [221 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 105 MB in 5s (18.2 MB/s) (Reading database ... 10483 files and directories currently installed.) Preparing to replace libc6-dev:amd64 2.13-38+deb7u10 (using .../libc6-dev_2.19-18+deb8u10_amd64.deb) ... Unpacking replacement libc6-dev:amd64 ... Preparing to replace libc-dev-bin 2.13-38+deb7u10 (using .../libc-dev-bin_2.19-18+deb8u10_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6:amd64 2.13-38+deb7u10 (using .../libc6_2.19-18+deb8u10_amd64.deb) ... Checking for services that may need to be restarted... Checking init scripts... Unpacking replacement libc6:amd64 ... Setting up libc6:amd64 (2.19-18+deb8u10) ... Checking for services that may need to be restarted... Checking init scripts... Nothing to restart. (Reading database ... 10503 files and directories currently installed.) Preparing to replace libc-bin 2.13-38+deb7u10 (using .../libc-bin_2.19-18+deb8u10_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.19-18+deb8u10) ... Installing new version of config file /etc/bindresvport.blacklist ... Installing new version of config file /etc/gai.conf ... (Reading database ... 10493 files and directories currently installed.) Preparing to replace linux-libc-dev:amd64 3.2.78-1 (using .../linux-libc-dev_3.16.56-1+deb8u1_amd64.deb) ... Unpacking replacement linux-libc-dev:amd64 ... Preparing to replace libitm1:amd64 4.7.2-5 (using .../libitm1_4.9.2-10+deb8u1_amd64.deb) ... Unpacking replacement libitm1:amd64 ... Preparing to replace libgomp1:amd64 4.7.2-5 (using .../libgomp1_4.9.2-10+deb8u1_amd64.deb) ... Unpacking replacement libgomp1:amd64 ... dpkg: gcc-4.7-base:amd64: dependency problems, but removing anyway as you requested: libstdc++6:amd64 depends on gcc-4.7-base (= 4.7.2-5). libgcc1:amd64 depends on gcc-4.7-base (= 4.7.2-5). gcc-4.7 depends on gcc-4.7-base (= 4.7.2-5). libquadmath0:amd64 depends on gcc-4.7-base (= 4.7.2-5). cpp-4.7 depends on gcc-4.7-base (= 4.7.2-5). (Reading database ... 10546 files and directories currently installed.) Removing gcc-4.7-base:amd64 ... Selecting previously unselected package gcc-4.9-base:amd64. (Reading database ... 10541 files and directories currently installed.) Unpacking gcc-4.9-base:amd64 (from .../gcc-4.9-base_4.9.2-10+deb8u1_amd64.deb) ... Setting up gcc-4.9-base:amd64 (4.9.2-10+deb8u1) ... (Reading database ... 10548 files and directories currently installed.) Preparing to replace libstdc++6:amd64 4.7.2-5 (using .../libstdc++6_4.9.2-10+deb8u1_amd64.deb) ... Unpacking replacement libstdc++6:amd64 ... Setting up libstdc++6:amd64 (4.9.2-10+deb8u1) ... Processing triggers for libc-bin ... Selecting previously unselected package libisl10:amd64. (Reading database ... 10561 files and directories currently installed.) Unpacking libisl10:amd64 (from .../libisl10_0.12.2-2_amd64.deb) ... Selecting previously unselected package libcloog-isl4:amd64. Unpacking libcloog-isl4:amd64 (from .../libcloog-isl4_0.18.2-1+b2_amd64.deb) ... Preparing to replace libmpfr4:amd64 3.1.0-5 (using .../libmpfr4_3.1.2-2_amd64.deb) ... Unpacking replacement libmpfr4:amd64 ... Selecting previously unselected package libmpc3:amd64. Unpacking libmpc3:amd64 (from .../libmpc3_1.0.2-1_amd64.deb) ... Selecting previously unselected package cpp-4.9. Unpacking cpp-4.9 (from .../cpp-4.9_4.9.2-10+deb8u1_amd64.deb) ... Preparing to replace cpp 4:4.7.2-1 (using .../cpp_4%3a4.9.2-2_amd64.deb) ... Unpacking replacement cpp ... Preparing to replace libtinfo5:amd64 5.9-10 (using .../libtinfo5_5.9+20140913-1+deb8u3_amd64.deb) ... Unpacking replacement libtinfo5:amd64 ... Setting up libtinfo5:amd64 (5.9+20140913-1+deb8u3) ... Processing triggers for libc-bin ... (Reading database ... 10585 files and directories currently installed.) Preparing to replace ncurses-bin 5.9-10 (using .../ncurses-bin_5.9+20140913-1+deb8u3_amd64.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.9+20140913-1+deb8u3) ... (Reading database ... 10583 files and directories currently installed.) Preparing to replace libncurses5-dev 5.9-10 (using .../libncurses5-dev_5.9+20140913-1+deb8u3_amd64.deb) ... Unpacking replacement libncurses5-dev:amd64 ... Preparing to replace libncurses5:amd64 5.9-10 (using .../libncurses5_5.9+20140913-1+deb8u3_amd64.deb) ... Unpacking replacement libncurses5:amd64 ... Setting up libncurses5:amd64 (5.9+20140913-1+deb8u3) ... Processing triggers for libc-bin ... (Reading database ... 10583 files and directories currently installed.) Preparing to replace libtinfo-dev:amd64 5.9-10 (using .../libtinfo-dev_5.9+20140913-1+deb8u3_amd64.deb) ... Unpacking replacement libtinfo-dev:amd64 ... Preparing to replace binutils 2.22-8+deb7u2 (using .../binutils_2.25-5+deb8u1_amd64.deb) ... Unpacking replacement binutils ... Selecting previously unselected package libatomic1:amd64. Unpacking libatomic1:amd64 (from .../libatomic1_4.9.2-10+deb8u1_amd64.deb) ... Selecting previously unselected package libasan1:amd64. Unpacking libasan1:amd64 (from .../libasan1_4.9.2-10+deb8u1_amd64.deb) ... Selecting previously unselected package liblsan0:amd64. Unpacking liblsan0:amd64 (from .../liblsan0_4.9.2-10+deb8u1_amd64.deb) ... Selecting previously unselected package libtsan0:amd64. Unpacking libtsan0:amd64 (from .../libtsan0_4.9.2-10+deb8u1_amd64.deb) ... Selecting previously unselected package libubsan0:amd64. Unpacking libubsan0:amd64 (from .../libubsan0_4.9.2-10+deb8u1_amd64.deb) ... Selecting previously unselected package libcilkrts5:amd64. Unpacking libcilkrts5:amd64 (from .../libcilkrts5_4.9.2-10+deb8u1_amd64.deb) ... Preparing to replace libquadmath0:amd64 4.7.2-5 (using .../libquadmath0_4.9.2-10+deb8u1_amd64.deb) ... Unpacking replacement libquadmath0:amd64 ... Selecting previously unselected package libgcc-4.9-dev:amd64. Unpacking libgcc-4.9-dev:amd64 (from .../libgcc-4.9-dev_4.9.2-10+deb8u1_amd64.deb) ... Selecting previously unselected package gcc-4.9. Unpacking gcc-4.9 (from .../gcc-4.9_4.9.2-10+deb8u1_amd64.deb) ... Preparing to replace gcc 4:4.7.2-1 (using .../gcc_4%3a4.9.2-2_amd64.deb) ... Removing old gcc doc directory. Unpacking replacement gcc ... (Reading database ... 10845 files and directories currently installed.) Removing gcc-4.7 ... Removing cpp-4.7 ... (Reading database ... 10733 files and directories currently installed.) Preparing to replace libgcc1:amd64 1:4.7.2-5 (using .../libgcc1_1%3a4.9.2-10+deb8u1_amd64.deb) ... Unpacking replacement libgcc1:amd64 ... Setting up libgcc1:amd64 (1:4.9.2-10+deb8u1) ... Processing triggers for libc-bin ... (Reading database ... 10733 files and directories currently installed.) Preparing to replace zlib1g-dev:amd64 1:1.2.7.dfsg-13 (using .../zlib1g-dev_1%3a1.2.8.dfsg-2+b1_amd64.deb) ... Unpacking replacement zlib1g-dev:amd64 ... Preparing to replace zlib1g:amd64 1:1.2.7.dfsg-13 (using .../zlib1g_1%3a1.2.8.dfsg-2+b1_amd64.deb) ... Unpacking replacement zlib1g:amd64 ... Setting up zlib1g:amd64 (1:1.2.8.dfsg-2+b1) ... Processing triggers for libc-bin ... (Reading database ... 10735 files and directories currently installed.) Preparing to replace libgmp-dev:amd64 2:5.0.5+dfsg-2 (using .../libgmp-dev_2%3a6.0.0+dfsg-6_amd64.deb) ... Unpacking replacement libgmp-dev:amd64 ... Preparing to replace libgmpxx4ldbl:amd64 2:5.0.5+dfsg-2 (using .../libgmpxx4ldbl_2%3a6.0.0+dfsg-6_amd64.deb) ... Unpacking replacement libgmpxx4ldbl:amd64 ... Preparing to replace libgmp10:amd64 2:5.0.5+dfsg-2 (using .../libgmp10_2%3a6.0.0+dfsg-6_amd64.deb) ... Unpacking replacement libgmp10:amd64 ... Preparing to replace base-files 7.1wheezy11 (using .../base-files_8+deb8u11_amd64.deb) ... Unpacking replacement base-files ... Setting up base-files (8+deb8u11) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Updating /etc/profile to current default. Updating /etc/nsswitch.conf to current default. (Reading database ... 10734 files and directories currently installed.) Preparing to replace sensible-utils 0.0.7 (using .../sensible-utils_0.0.9+deb8u1_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.9+deb8u1) ... (Reading database ... 10736 files and directories currently installed.) Preparing to replace debianutils 4.3.2 (using .../debianutils_4.4+b1_amd64.deb) ... Unpacking replacement debianutils ... Setting up debianutils (4.4+b1) ... (Reading database ... 10757 files and directories currently installed.) Preparing to replace bash 4.2+dfsg-0.1+deb7u3 (using .../bash_4.3-11+deb8u1_amd64.deb) ... Unpacking replacement bash ... Setting up bash (4.3-11+deb8u1) ... Installing new version of config file /etc/bash.bashrc ... Installing new version of config file /etc/skel/.bashrc ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode Selecting previously unselected package libgpg-error0:amd64. (Reading database ... 10765 files and directories currently installed.) Unpacking libgpg-error0:amd64 (from .../libgpg-error0_1.17-3_amd64.deb) ... Setting up libgpg-error0:amd64 (1.17-3) ... Processing triggers for libc-bin ... Selecting previously unselected package libgcrypt20:amd64. (Reading database ... 10790 files and directories currently installed.) Unpacking libgcrypt20:amd64 (from .../libgcrypt20_1.6.3-2+deb8u4_amd64.deb) ... Setting up libgcrypt20:amd64 (1.6.3-2+deb8u4) ... Processing triggers for libc-bin ... Selecting previously unselected package libsystemd0:amd64. (Reading database ... 10800 files and directories currently installed.) Unpacking libsystemd0:amd64 (from .../libsystemd0_215-17+deb8u7_amd64.deb) ... Setting up libsystemd0:amd64 (215-17+deb8u7) ... Processing triggers for libc-bin ... (Reading database ... 10805 files and directories currently installed.) Preparing to replace bsdutils 1:2.20.1-5.3 (using .../bsdutils_1%3a2.25.2-6_amd64.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.25.2-6) ... Selecting previously unselected package libpcre3:amd64. (Reading database ... 10811 files and directories currently installed.) Unpacking libpcre3:amd64 (from .../libpcre3_2%3a8.35-3.3+deb8u4_amd64.deb) ... Setting up libpcre3:amd64 (2:8.35-3.3+deb8u4) ... Processing triggers for libc-bin ... (Reading database ... 10824 files and directories currently installed.) Preparing to replace libselinux1:amd64 2.1.9-5 (using .../libselinux1_2.3-2_amd64.deb) ... Unpacking replacement libselinux1:amd64 ... Setting up libselinux1:amd64 (2.3-2) ... Processing triggers for libc-bin ... (Reading database ... 10822 files and directories currently installed.) Preparing to replace coreutils 8.13-3.5 (using .../coreutils_8.23-4_amd64.deb) ... Unpacking replacement coreutils ... Setting up coreutils (8.23-4) ... (Reading database ... 10830 files and directories currently installed.) Preparing to replace dpkg 1.16.18 (using .../dpkg_1.17.27_amd64.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.17.27) ... Installing new version of config file /etc/cron.daily/dpkg ... (Reading database ... 10821 files and directories currently installed.) Preparing to unpack .../dash_0.5.7-4+b1_amd64.deb ... Unpacking dash (0.5.7-4+b1) over (0.5.7-3) ... Setting up dash (0.5.7-4+b1) ... (Reading database ... 10821 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.3-1+b1_amd64.deb ... Unpacking diffutils (1:3.3-1+b1) over (1:3.2-6) ... Setting up diffutils (1:3.3-1+b1) ... (Reading database ... 10823 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.42.12-2+b1_amd64.deb ... Unpacking e2fslibs:amd64 (1.42.12-2+b1) over (1.42.5-1.1+deb7u1) ... Setting up e2fslibs:amd64 (1.42.12-2+b1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10824 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.12-2+b1_amd64.deb ... Unpacking e2fsprogs (1.42.12-2+b1) over (1.42.5-1.1+deb7u1) ... Setting up e2fsprogs (1.42.12-2+b1) ... (Reading database ... 10830 files and directories currently installed.) Preparing to unpack .../findutils_4.4.2-9+b1_amd64.deb ... Unpacking findutils (4.4.2-9+b1) over (4.4.2-4) ... Setting up findutils (4.4.2-9+b1) ... (Reading database ... 10831 files and directories currently installed.) Preparing to unpack .../grep_2.20-4.1_amd64.deb ... Unpacking grep (2.20-4.1) over (2.12-2) ... Setting up grep (2.20-4.1) ... (Reading database ... 10832 files and directories currently installed.) Preparing to unpack .../archives/gzip_1.6-4_amd64.deb ... Unpacking gzip (1.6-4) over (1.5-1.1) ... Setting up gzip (1.6-4) ... (Reading database ... 10831 files and directories currently installed.) Preparing to unpack .../hostname_3.15_amd64.deb ... Unpacking hostname (3.15) over (3.11) ... Setting up hostname (3.15) ... Selecting previously unselected package libaudit-common. (Reading database ... 10831 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a2.4-1_all.deb ... Unpacking libaudit-common (1:2.4-1) ... Setting up libaudit-common (1:2.4-1) ... Selecting previously unselected package libaudit1:amd64. (Reading database ... 10837 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.4-1+b1_amd64.deb ... Unpacking libaudit1:amd64 (1:2.4-1+b1) ... Setting up libaudit1:amd64 (1:2.4-1+b1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10844 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.4.47-2_amd64.deb ... Unpacking libattr1:amd64 (1:2.4.47-2) over (1:2.4.46-8) ... Setting up libattr1:amd64 (1:2.4.47-2) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libcap2:amd64. (Reading database ... 10844 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.24-8_amd64.deb ... Unpacking libcap2:amd64 (1:2.24-8) ... Setting up libcap2:amd64 (1:2.24-8) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libudev1:amd64. (Reading database ... 10850 files and directories currently installed.) Preparing to unpack .../libudev1_215-17+deb8u7_amd64.deb ... Unpacking libudev1:amd64 (215-17+deb8u7) ... Setting up libudev1:amd64 (215-17+deb8u7) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10856 files and directories currently installed.) Preparing to unpack .../libtext-charwidth-perl_0.04-7+b3_amd64.deb ... Unpacking libtext-charwidth-perl (0.04-7+b3) over (0.04-7+b1) ... Preparing to unpack .../libtext-iconv-perl_1.7-5+b2_amd64.deb ... Unpacking libtext-iconv-perl (1.7-5+b2) over (1.7-5) ... Preparing to unpack .../perl-base_5.20.2-3+deb8u11_amd64.deb ... Unpacking perl-base (5.20.2-3+deb8u11) over (5.14.2-21+deb7u3) ... Setting up perl-base (5.20.2-3+deb8u11) ... (Reading database ... 10364 files and directories currently installed.) Preparing to unpack .../liblocale-gettext-perl_1.05-8+b1_amd64.deb ... Unpacking liblocale-gettext-perl (1.05-8+b1) over (1.05-7+b1) ... Preparing to unpack .../debconf_1.5.56+deb8u1_all.deb ... Unpacking debconf (1.5.56+deb8u1) over (1.5.49) ... Setting up debconf (1.5.56+deb8u1) ... (Reading database ... 10358 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-3.1+deb8u2+b1_amd64.deb ... Unpacking libpam0g:amd64 (1.1.8-3.1+deb8u2+b1) over (1.1.3-7.1) ... Setting up libpam0g:amd64 (1.1.8-3.1+deb8u2+b1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10359 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.3-1_all.deb ... Unpacking libsemanage-common (2.3-1) over (2.1.6-6) ... Setting up libsemanage-common (2.3-1) ... Installing new version of config file /etc/selinux/semanage.conf ... (Reading database ... 10359 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.3-1+b1_amd64.deb ... Unpacking libsemanage1:amd64 (2.3-1+b1) over (2.1.6-6) ... Setting up libsemanage1:amd64 (2.3-1+b1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10360 files and directories currently installed.) Preparing to unpack .../libbz2-1.0_1.0.6-7+b3_amd64.deb ... Unpacking libbz2-1.0:amd64 (1.0.6-7+b3) over (1.0.6-4) ... Setting up libbz2-1.0:amd64 (1.0.6-7+b3) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10361 files and directories currently installed.) Preparing to unpack .../libsepol1_2.3-2_amd64.deb ... Unpacking libsepol1:amd64 (2.3-2) over (2.1.4-3) ... Setting up libsepol1:amd64 (2.3-2) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10361 files and directories currently installed.) Preparing to unpack .../libustr-1.0-1_1.0.4-3+b2_amd64.deb ... Unpacking libustr-1.0-1:amd64 (1.0.4-3+b2) over (1.0.4-3) ... Setting up libustr-1.0-1:amd64 (1.0.4-3+b2) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libdb5.3:amd64. (Reading database ... 10362 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28-9+deb8u1_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28-9+deb8u1) ... Setting up libdb5.3:amd64 (5.3.28-9+deb8u1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10368 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-3.1+deb8u2+b1_amd64.deb ... Unpacking libpam-modules-bin (1.1.8-3.1+deb8u2+b1) over (1.1.3-7.1) ... Replacing files in old package libpam-modules:amd64 (1.1.3-7.1) ... Setting up libpam-modules-bin (1.1.8-3.1+deb8u2+b1) ... (Reading database ... 10370 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-3.1+deb8u2+b1_amd64.deb ... Unpacking libpam-modules:amd64 (1.1.8-3.1+deb8u2+b1) over (1.1.3-7.1) ... Setting up libpam-modules:amd64 (1.1.8-3.1+deb8u2+b1) ... Installing new version of config file /etc/security/limits.conf ... Installing new version of config file /etc/security/namespace.conf ... Installing new version of config file /etc/security/namespace.init ... Installing new version of config file /etc/security/pam_env.conf ... Installing new version of config file /etc/security/time.conf ... (Reading database ... 10374 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.2-3+deb8u4_amd64.deb ... Unpacking passwd (1:4.2-3+deb8u4) over (1:4.1.5.1-1) ... Setting up passwd (1:4.2-3+deb8u4) ... (Reading database ... 10377 files and directories currently installed.) Preparing to unpack .../libuuid1_2.25.2-6_amd64.deb ... Unpacking libuuid1:amd64 (2.25.2-6) over (2.20.1-5.3) ... Setting up libuuid1:amd64 (2.25.2-6) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10376 files and directories currently installed.) Preparing to unpack .../libblkid1_2.25.2-6_amd64.deb ... Unpacking libblkid1:amd64 (2.25.2-6) over (2.20.1-5.3) ... Setting up libblkid1:amd64 (2.25.2-6) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10376 files and directories currently installed.) Preparing to unpack .../libmount1_2.25.2-6_amd64.deb ... Unpacking libmount1:amd64 (2.25.2-6) over (2.20.1-5.3) ... Setting up libmount1:amd64 (2.25.2-6) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libsmartcols1:amd64. (Reading database ... 10376 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.25.2-6_amd64.deb ... Unpacking libsmartcols1:amd64 (2.25.2-6) ... Setting up libsmartcols1:amd64 (2.25.2-6) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 10382 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.88dsf-59_amd64.deb ... Unpacking sysvinit-utils (2.88dsf-59) over (2.88dsf-41+deb7u1) ... dpkg: warning: unable to delete old directory '/etc/init': Directory not empty Selecting previously unselected package startpar. Preparing to unpack .../startpar_0.59-3_amd64.deb ... Unpacking startpar (0.59-3) ... Setting up startpar (0.59-3) ... Installing new version of config file /etc/init/startpar-bridge.conf ... Setting up sysvinit-utils (2.88dsf-59) ... (Reading database ... 10389 files and directories currently installed.) Preparing to unpack .../sysv-rc_2.88dsf-59_all.deb ... Unpacking sysv-rc (2.88dsf-59) over (2.88dsf-41+deb7u1) ... Setting up sysv-rc (2.88dsf-59) ... (Reading database ... 10389 files and directories currently installed.) Preparing to unpack .../mount_2.25.2-6_amd64.deb ... Unpacking mount (2.25.2-6) over (2.20.1-5.3) ... Setting up mount (2.25.2-6) ... (Reading database ... 10394 files and directories currently installed.) Preparing to unpack .../lsb-base_4.1+Debian13+nmu1_all.deb ... Unpacking lsb-base (4.1+Debian13+nmu1) over (4.1+Debian8+deb7u1) ... Setting up lsb-base (4.1+Debian13+nmu1) ... (Reading database ... 10394 files and directories currently installed.) Preparing to unpack .../initscripts_2.88dsf-59_amd64.deb ... Removing unmodified and obsolete conffile /etc/init.d/mtab.sh ... Unpacking initscripts (2.88dsf-59) over (2.88dsf-41+deb7u1) ... Setting up initscripts (2.88dsf-59) ... Installing new version of config file /etc/init.d/bootmisc.sh ... Installing new version of config file /etc/init.d/checkfs.sh ... Installing new version of config file /etc/init.d/checkroot.sh ... Installing new version of config file /etc/init.d/checkroot-bootclean.sh ... Installing new version of config file /etc/init.d/halt ... Installing new version of config file /etc/init.d/killprocs ... Installing new version of config file /etc/init.d/mountall.sh ... Installing new version of config file /etc/init.d/mountall-bootclean.sh ... Installing new version of config file /etc/init.d/mountnfs.sh ... Installing new version of config file /etc/init.d/mountnfs-bootclean.sh ... Installing new version of config file /etc/init.d/mountdevsubfs.sh ... Installing new version of config file /etc/init.d/mountkernfs.sh ... Installing new version of config file /etc/init.d/rc.local ... Installing new version of config file /etc/init.d/reboot ... Installing new version of config file /etc/init.d/rmnologin ... Installing new version of config file /etc/init.d/sendsigs ... Installing new version of config file /etc/init.d/single ... Installing new version of config file /etc/init.d/umountfs ... Installing new version of config file /etc/init.d/umountnfs.sh ... Installing new version of config file /etc/init.d/umountroot ... Installing new version of config file /etc/network/if-up.d/mountnfs ... (Reading database ... 10393 files and directories currently installed.) Preparing to unpack .../tzdata_2018e-0+deb8u1_all.deb ... Unpacking tzdata (2018e-0+deb8u1) over (2016d-0+deb7u1) ... Setting up tzdata (2018e-0+deb8u1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Jul 4 09:31:05 UTC 2019. Universal Time is now: Thu Jul 4 09:31:05 UTC 2019. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 10406 files and directories currently installed.) Preparing to unpack .../util-linux_2.25.2-6_amd64.deb ... Unpacking util-linux (2.25.2-6) over (2.20.1-5.3) ... Setting up util-linux (2.25.2-6) ... Installing new version of config file /etc/init.d/hwclock.sh ... Selecting previously unselected package libdevmapper1.02.1:amd64. (Reading database ... 10520 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.90-2.2+deb8u1_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.90-2.2+deb8u1) ... Selecting previously unselected package dmsetup. Preparing to unpack .../dmsetup_2%3a1.02.90-2.2+deb8u1_amd64.deb ... Unpacking dmsetup (2:1.02.90-2.2+deb8u1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.90-2.2+deb8u1) ... Setting up dmsetup (2:1.02.90-2.2+deb8u1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libcryptsetup4:amd64. (Reading database ... 10538 files and directories currently installed.) Preparing to unpack .../libcryptsetup4_2%3a1.6.6-5_amd64.deb ... Unpacking libcryptsetup4:amd64 (2:1.6.6-5) ... Setting up libcryptsetup4:amd64 (2:1.6.6-5) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libkmod2:amd64. (Reading database ... 10545 files and directories currently installed.) Preparing to unpack .../libkmod2_18-3_amd64.deb ... Unpacking libkmod2:amd64 (18-3) ... Setting up libkmod2:amd64 (18-3) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package adduser. (Reading database ... 10551 files and directories currently installed.) Preparing to unpack .../adduser_3.113+nmu3_all.deb ... Unpacking adduser (3.113+nmu3) ... Setting up adduser (3.113+nmu3) ... Selecting previously unselected package libncursesw5:amd64. (Reading database ... 10662 files and directories currently installed.) Preparing to unpack .../libncursesw5_5.9+20140913-1+deb8u3_amd64.deb ... Unpacking libncursesw5:amd64 (5.9+20140913-1+deb8u3) ... Setting up libncursesw5:amd64 (5.9+20140913-1+deb8u3) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libprocps3:amd64. (Reading database ... 10671 files and directories currently installed.) Preparing to unpack .../libprocps3_2%3a3.3.9-9+deb8u1_amd64.deb ... Unpacking libprocps3:amd64 (2:3.3.9-9+deb8u1) ... Setting up libprocps3:amd64 (2:3.3.9-9+deb8u1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package procps. (Reading database ... 10678 files and directories currently installed.) Preparing to unpack .../procps_2%3a3.3.9-9+deb8u1_amd64.deb ... Unpacking procps (2:3.3.9-9+deb8u1) ... Setting up procps (2:3.3.9-9+deb8u1) ... update-alternatives: using /usr/bin/w.procps to provide /usr/bin/w (w) in auto mode invoke-rc.d: policy-rc.d denied execution of start. (Reading database ... 10734 files and directories currently installed.) Preparing to unpack .../libacl1_2.2.52-2_amd64.deb ... Unpacking libacl1:amd64 (2.2.52-2) over (2.2.51-8) ... Setting up libacl1:amd64 (2.2.52-2) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package udev. (Reading database ... 10734 files and directories currently installed.) Preparing to unpack .../udev_215-17+deb8u7_amd64.deb ... Unpacking udev (215-17+deb8u7) ... Setting up udev (215-17+deb8u7) ... Adding group `input' (GID 150) ... Done. A chroot environment has been detected, udev not started. Selecting previously unselected package acl. (Reading database ... 10835 files and directories currently installed.) Preparing to unpack .../acl_2.2.52-2_amd64.deb ... Unpacking acl (2.2.52-2) ... Setting up acl (2.2.52-2) ... Selecting previously unselected package libcap2-bin. (Reading database ... 10858 files and directories currently installed.) Preparing to unpack .../libcap2-bin_1%3a2.24-8_amd64.deb ... Unpacking libcap2-bin (1:2.24-8) ... Setting up libcap2-bin (1:2.24-8) ... Selecting previously unselected package systemd. (Reading database ... 10873 files and directories currently installed.) Preparing to unpack .../systemd_215-17+deb8u7_amd64.deb ... Unpacking systemd (215-17+deb8u7) ... Setting up systemd (215-17+deb8u7) ... Initializing machine ID from random generator. Adding group `systemd-journal' (GID 151) ... Done. Created symlink from /etc/systemd/system/getty.target.wants/getty@tty1.service to /lib/systemd/system/getty@.service. Created symlink from /etc/systemd/system/multi-user.target.wants/remote-fs.target to /lib/systemd/system/remote-fs.target. Created symlink from /etc/systemd/system/reboot.target.wants/hwclock-save.service to /lib/systemd/system/hwclock-save.service. Created symlink from /etc/systemd/system/halt.target.wants/hwclock-save.service to /lib/systemd/system/hwclock-save.service. Created symlink from /etc/systemd/system/poweroff.target.wants/hwclock-save.service to /lib/systemd/system/hwclock-save.service. Selecting previously unselected package systemd-sysv. (Reading database ... 11501 files and directories currently installed.) Preparing to unpack .../systemd-sysv_215-17+deb8u7_amd64.deb ... Unpacking systemd-sysv (215-17+deb8u7) ... Replacing files in old package sysvinit (2.88dsf-41+deb7u1) ... Setting up systemd-sysv (215-17+deb8u7) ... Selecting previously unselected package init. (Reading database ... 11505 files and directories currently installed.) Preparing to unpack .../archives/init_1.22_amd64.deb ... Unpacking init (1.22) ... Setting up init (1.22) ... (Reading database ... 11508 files and directories currently installed.) Preparing to unpack .../login_1%3a4.2-3+deb8u4_amd64.deb ... Unpacking login (1:4.2-3+deb8u4) over (1:4.1.5.1-1) ... Setting up login (1:4.2-3+deb8u4) ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/pam.d/login ... Installing new version of config file /etc/pam.d/su ... Installing new version of config file /etc/securetty ... (Reading database ... 11508 files and directories currently installed.) Preparing to unpack .../sed_4.2.2-4+deb8u1_amd64.deb ... Unpacking sed (4.2.2-4+deb8u1) over (4.2.1-10) ... Setting up sed (4.2.2-4+deb8u1) ... (Reading database ... 11510 files and directories currently installed.) Preparing to unpack .../tar_1.27.1-2+deb8u1_amd64.deb ... Unpacking tar (1.27.1-2+deb8u1) over (1.26+dfsg-0.1) ... Setting up tar (1.27.1-2+deb8u1) ... (Reading database ... 11514 files and directories currently installed.) Preparing to unpack .../sysvinit_2.88dsf-59_amd64.deb ... Unpacking sysvinit (2.88dsf-59) over (2.88dsf-41+deb7u1) ... Setting up sysvinit (2.88dsf-59) ... (Reading database ... 11509 files and directories currently installed.) Preparing to unpack .../liblzma5_5.1.1alpha+20120614-2+b3_amd64.deb ... Unpacking liblzma5:amd64 (5.1.1alpha+20120614-2+b3) over (5.1.1alpha+20120614-2) ... Setting up liblzma5:amd64 (5.1.1alpha+20120614-2+b3) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11510 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_1.0.9.8.4_amd64.deb ... Unpacking libapt-pkg4.12:amd64 (1.0.9.8.4) over (0.9.7.9+deb7u7) ... Setting up libapt-pkg4.12:amd64 (1.0.9.8.4) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11511 files and directories currently installed.) Preparing to unpack .../gpgv_1.4.18-7+deb8u5_amd64.deb ... Unpacking gpgv (1.4.18-7+deb8u5) over (1.4.12-7+deb7u7) ... Setting up gpgv (1.4.18-7+deb8u5) ... (Reading database ... 11511 files and directories currently installed.) Preparing to unpack .../debian-archive-keyring_2017.5~deb8u1_all.deb ... Unpacking debian-archive-keyring (2017.5~deb8u1) over (2014.3~deb7u1) ... Setting up debian-archive-keyring (2017.5~deb8u1) ... Removing obsolete conffile /etc/apt/trusted.gpg.d/debian-archive-squeeze-automatic.gpg ... Removing obsolete conffile /etc/apt/trusted.gpg.d/debian-archive-squeeze-stable.gpg ... (Reading database ... 11512 files and directories currently installed.) Preparing to unpack .../readline-common_6.3-8_all.deb ... Unpacking readline-common (6.3-8) over (6.2+dfsg-0.1) ... Setting up readline-common (6.3-8) ... (Reading database ... 11513 files and directories currently installed.) Preparing to unpack .../libreadline6_6.3-8+b3_amd64.deb ... Unpacking libreadline6:amd64 (6.3-8+b3) over (6.2+dfsg-0.1) ... Setting up libreadline6:amd64 (6.3-8+b3) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11514 files and directories currently installed.) Preparing to unpack .../libusb-0.1-4_2%3a0.1.12-25_amd64.deb ... Unpacking libusb-0.1-4:amd64 (2:0.1.12-25) over (2:0.1.12-20+nmu1) ... Setting up libusb-0.1-4:amd64 (2:0.1.12-25) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11515 files and directories currently installed.) Preparing to unpack .../gnupg_1.4.18-7+deb8u5_amd64.deb ... Unpacking gnupg (1.4.18-7+deb8u5) over (1.4.12-7+deb7u7) ... Setting up gnupg (1.4.18-7+deb8u5) ... (Reading database ... 11515 files and directories currently installed.) Preparing to unpack .../apt_1.0.9.8.4_amd64.deb ... Unpacking apt (1.0.9.8.4) over (0.9.7.9+deb7u7) ... Setting up apt (1.0.9.8.4) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... Installing new version of config file /etc/cron.daily/apt ... Processing triggers for libc-bin (2.19-18+deb8u10) ... Selecting previously unselected package libdebconfclient0:amd64. (Reading database ... 11538 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.192_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.192) ... Setting up libdebconfclient0:amd64 (0.192) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11543 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.37_amd64.deb ... Unpacking base-passwd (3.5.37) over (3.5.26) ... Setting up base-passwd (3.5.37) ... Changing shell of daemon from /bin/sh to /usr/sbin/nologin Changing shell of bin from /bin/sh to /usr/sbin/nologin Changing shell of sys from /bin/sh to /usr/sbin/nologin Changing shell of games from /bin/sh to /usr/sbin/nologin Changing shell of man from /bin/sh to /usr/sbin/nologin Changing shell of lp from /bin/sh to /usr/sbin/nologin Changing shell of mail from /bin/sh to /usr/sbin/nologin Changing shell of news from /bin/sh to /usr/sbin/nologin Changing shell of uucp from /bin/sh to /usr/sbin/nologin Changing shell of proxy from /bin/sh to /usr/sbin/nologin Changing shell of www-data from /bin/sh to /usr/sbin/nologin Changing shell of backup from /bin/sh to /usr/sbin/nologin Changing shell of list from /bin/sh to /usr/sbin/nologin Changing shell of irc from /bin/sh to /usr/sbin/nologin Changing shell of gnats from /bin/sh to /usr/sbin/nologin Changing shell of nobody from /bin/sh to /usr/sbin/nologin 16 changes have been made, rewriting files Writing passwd-file to /etc/passwd Writing shadow-file to /etc/shadow Writing group-file to /etc/group (Reading database ... 11544 files and directories currently installed.) Preparing to unpack .../ncurses-base_5.9+20140913-1+deb8u3_all.deb ... Unpacking ncurses-base (5.9+20140913-1+deb8u3) over (5.9-10) ... Setting up ncurses-base (5.9+20140913-1+deb8u3) ... (Reading database ... 11544 files and directories currently installed.) Preparing to unpack .../libslang2_2.3.0-2_amd64.deb ... Unpacking libslang2:amd64 (2.3.0-2) over (2.2.4-15) ... Setting up libslang2:amd64 (2.3.0-2) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11544 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.12-2+b1_amd64.deb ... Unpacking libcomerr2:amd64 (1.42.12-2+b1) over (1.42.5-1.1+deb7u1) ... Setting up libcomerr2:amd64 (1.42.12-2+b1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11545 files and directories currently installed.) Preparing to unpack .../libss2_1.42.12-2+b1_amd64.deb ... Unpacking libss2:amd64 (1.42.12-2+b1) over (1.42.5-1.1+deb7u1) ... Setting up libss2:amd64 (1.42.12-2+b1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... (Reading database ... 11546 files and directories currently installed.) Preparing to unpack .../libbsd-dev_0.7.0-2_amd64.deb ... Unpacking libbsd-dev:amd64 (0.7.0-2) over (0.4.2-1) ... Preparing to unpack .../libbsd0_0.7.0-2_amd64.deb ... Unpacking libbsd0:amd64 (0.7.0-2) over (0.4.2-1) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../libffi6_3.1-2+deb8u1_amd64.deb ... Unpacking libffi6:amd64 (3.1-2+deb8u1) ... Preparing to unpack .../libghc-agda-dev_2.4.0.2-2+b1_amd64.deb ... Unpacking libghc-agda-dev (2.4.0.2-2+b1) over (2.3.0.1-2+b1) ... Preparing to unpack .../libghc-quickcheck2-dev_2.7.6-3_amd64.deb ... Unpacking libghc-quickcheck2-dev (2.7.6-3) over (2.4.2-1+b1) ... Preparing to unpack .../libghc-random-dev_1.0.1.1-3_amd64.deb ... Unpacking libghc-random-dev (1.0.1.1-3) over (1.0.1.1-1+b1) ... Preparing to unpack .../libghc-hashtables-dev_1.0.1.8-2+b2_amd64.deb ... Unpacking libghc-hashtables-dev (1.0.1.8-2+b2) over (1.0.1.4-1+b1) ... Preparing to unpack .../libghc-hashable-dev_1.2.1.0-5_amd64.deb ... Unpacking libghc-hashable-dev (1.2.1.0-5) over (1.1.2.3-1+b2) ... Preparing to unpack .../libghc-text-dev_0.11.3.1-1_amd64.deb ... Unpacking libghc-text-dev (0.11.3.1-1) over (0.11.2.0-1) ... Preparing to unpack .../libghc-vector-dev_0.10.0.1-3_amd64.deb ... Unpacking libghc-vector-dev (0.10.0.1-3) over (0.9.1-2+b1) ... Preparing to unpack .../libghc-primitive-dev_0.5.0.1-3_amd64.deb ... Unpacking libghc-primitive-dev (0.5.0.1-3) over (0.4.1-1+b1) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../libghc-tf-random-dev_0.5-1_amd64.deb ... Unpacking libghc-tf-random-dev (0.5-1) ... Preparing to unpack .../libghc-haskeline-dev_0.7.1.3-1_amd64.deb ... Unpacking libghc-haskeline-dev (0.7.1.3-1) over (0.6.4.7-1+b1) ... Preparing to unpack .../libghc-mtl-dev_2.1.2-4_amd64.deb ... Unpacking libghc-mtl-dev (2.1.2-4) over (2.1.1-1) ... Preparing to unpack .../libghc-transformers-dev_0.3.0.0-5_amd64.deb ... Unpacking libghc-transformers-dev (0.3.0.0-5) over (0.3.0.0-1) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../libghc-stmonadtrans-dev_0.3.2-1_amd64.deb ... Unpacking libghc-stmonadtrans-dev (0.3.2-1) ... Preparing to unpack .../libghc-src-exts-dev_1.14.0.1-4_amd64.deb ... Unpacking libghc-src-exts-dev (1.14.0.1-4) over (1.11.1-3+b1) ... Preparing to unpack .../libghc-cpphs-dev_1.18.5-1_amd64.deb ... Unpacking libghc-cpphs-dev (1.18.5-1) over (1.13.3-2+b1) ... Preparing to unpack .../libghc-terminfo-dev_0.3.2.5-3_amd64.deb ... Unpacking libghc-terminfo-dev (0.3.2.5-3) over (0.3.2.3-1+b1) ... Preparing to unpack .../libghc-zlib-dev_0.5.4.1-1_amd64.deb ... Unpacking libghc-zlib-dev (0.5.4.1-1) over (0.5.3.3-1+b1) ... Preparing to unpack .../libghc-utf8-string-dev_0.3.7-3_amd64.deb ... Unpacking libghc-utf8-string-dev (0.3.7-3) over (0.3.7-1+b1) ... Preparing to unpack .../libghc-syb-dev_0.4.0-1_amd64.deb ... Unpacking libghc-syb-dev (0.4.0-1) over (0.3.6.1-1) ... Preparing to unpack .../libghc-xhtml-dev_3000.2.1-4_amd64.deb ... Unpacking libghc-xhtml-dev (3000.2.1-4) over (3000.2.1-1) ... Preparing to unpack .../ghc_7.6.3-21_amd64.deb ... Unpacking ghc (7.6.3-21) over (7.4.1-4) ... Selecting previously unselected package libghc-binary-dev. Preparing to unpack .../libghc-binary-dev_0.7.2.1-1_amd64.deb ... Unpacking libghc-binary-dev (0.7.2.1-1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../libghc-split-dev_0.2.2-1_amd64.deb ... Unpacking libghc-split-dev (0.2.2-1) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../libghc-boxes-dev_0.1.3-1_amd64.deb ... Unpacking libghc-boxes-dev (0.1.3-1) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../libghc-data-hash-dev_0.2.0.0-1_amd64.deb ... Unpacking libghc-data-hash-dev (0.2.0.0-1) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../libghc-equivalence-dev_0.2.5-1_amd64.deb ... Unpacking libghc-equivalence-dev (0.2.5-1) ... Selecting previously unselected package libghc-geniplate-dev. Preparing to unpack .../libghc-geniplate-dev_0.6.0.4-1_amd64.deb ... Unpacking libghc-geniplate-dev (0.6.0.4-1) ... Selecting previously unselected package libghc-polyparse-dev. Preparing to unpack .../libghc-polyparse-dev_1.9-1_amd64.deb ... Unpacking libghc-polyparse-dev (1.9-1) ... Selecting previously unselected package libghc-parallel-dev. Preparing to unpack .../libghc-parallel-dev_3.2.0.4-1_amd64.deb ... Unpacking libghc-parallel-dev (3.2.0.4-1) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../libghc-strict-dev_0.3.2-7_amd64.deb ... Unpacking libghc-strict-dev (0.3.2-7) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../libghc-unordered-containers-dev_0.2.5.0-1_amd64.deb ... Unpacking libghc-unordered-containers-dev (0.2.5.0-1) ... Preparing to unpack .../libffi-dev_3.1-2+deb8u1_amd64.deb ... Unpacking libffi-dev:amd64 (3.1-2+deb8u1) over (3.0.10-3) ... Preparing to unpack .../libpam-runtime_1.1.8-3.1+deb8u2_all.deb ... Unpacking libpam-runtime (1.1.8-3.1+deb8u2) over (1.1.3-7.1) ... Setting up libpam-runtime (1.1.8-3.1+deb8u2) ... (Reading database ... 11886 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.19-18+deb8u10_amd64.deb ... Unpacking multiarch-support (2.19-18+deb8u10) over (2.13-38+deb7u10) ... Setting up multiarch-support (2.19-18+deb8u10) ... (Reading database ... 11886 files and directories currently installed.) Preparing to unpack .../debconf-i18n_1.5.56+deb8u1_all.deb ... Unpacking debconf-i18n (1.5.56+deb8u1) over (1.5.49) ... Preparing to unpack .../archives/ucf_3.0030_all.deb ... Unpacking ucf (3.0030) over (3.0025+nmu3) ... Preparing to unpack .../xz-utils_5.1.1alpha+20120614-2+b3_amd64.deb ... Unpacking xz-utils (5.1.1alpha+20120614-2+b3) over (5.1.1alpha+20120614-2) ... Setting up libc-dev-bin (2.19-18+deb8u10) ... Setting up linux-libc-dev:amd64 (3.16.56-1+deb8u1) ... Setting up libc6-dev:amd64 (2.19-18+deb8u10) ... Setting up libitm1:amd64 (4.9.2-10+deb8u1) ... Setting up libgomp1:amd64 (4.9.2-10+deb8u1) ... Setting up libgmp10:amd64 (2:6.0.0+dfsg-6) ... Setting up libisl10:amd64 (0.12.2-2) ... Setting up libcloog-isl4:amd64 (0.18.2-1+b2) ... Setting up libmpfr4:amd64 (3.1.2-2) ... Setting up libmpc3:amd64 (1.0.2-1) ... Setting up cpp-4.9 (4.9.2-10+deb8u1) ... Setting up cpp (4:4.9.2-2) ... Setting up libtinfo-dev:amd64 (5.9+20140913-1+deb8u3) ... Setting up libncurses5-dev:amd64 (5.9+20140913-1+deb8u3) ... Setting up binutils (2.25-5+deb8u1) ... Setting up libatomic1:amd64 (4.9.2-10+deb8u1) ... Setting up libasan1:amd64 (4.9.2-10+deb8u1) ... Setting up liblsan0:amd64 (4.9.2-10+deb8u1) ... Setting up libtsan0:amd64 (4.9.2-10+deb8u1) ... Setting up libubsan0:amd64 (4.9.2-10+deb8u1) ... Setting up libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Setting up libquadmath0:amd64 (4.9.2-10+deb8u1) ... Setting up libgcc-4.9-dev:amd64 (4.9.2-10+deb8u1) ... Setting up gcc-4.9 (4.9.2-10+deb8u1) ... Setting up gcc (4:4.9.2-2) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ... Setting up libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Setting up libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Setting up libtext-charwidth-perl (0.04-7+b3) ... Setting up libtext-iconv-perl (1.7-5+b2) ... Setting up liblocale-gettext-perl (1.05-8+b1) ... Setting up libbsd0:amd64 (0.7.0-2) ... Setting up libbsd-dev:amd64 (0.7.0-2) ... Setting up libffi6:amd64 (3.1-2+deb8u1) ... Setting up libffi-dev:amd64 (3.1-2+deb8u1) ... Setting up ghc (7.6.3-21) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Setting up libghc-random-dev (1.0.1.1-3) ... Setting up libghc-primitive-dev (0.5.0.1-3) ... Setting up libghc-tf-random-dev (0.5-1) ... Setting up libghc-transformers-dev (0.3.0.0-5) ... Setting up libghc-quickcheck2-dev (2.7.6-3) ... Setting up libghc-mtl-dev (2.1.2-4) ... Setting up libghc-stmonadtrans-dev (0.3.2-1) ... Setting up libghc-binary-dev (0.7.2.1-1) ... Setting up libghc-split-dev (0.2.2-1) ... Setting up libghc-boxes-dev (0.1.3-1) ... Setting up libghc-data-hash-dev (0.2.0.0-1) ... Setting up libghc-equivalence-dev (0.2.5-1) ... Setting up libghc-geniplate-dev (0.6.0.4-1) ... Setting up libghc-text-dev (0.11.3.1-1) ... Setting up libghc-hashable-dev (1.2.1.0-5) ... Setting up libghc-vector-dev (0.10.0.1-3) ... Setting up libghc-hashtables-dev (1.0.1.8-2+b2) ... Setting up libghc-terminfo-dev (0.3.2.5-3) ... Setting up libghc-haskeline-dev (0.7.1.3-1) ... Setting up libghc-polyparse-dev (1.9-1) ... Setting up libghc-cpphs-dev (1.18.5-1) ... Setting up libghc-src-exts-dev (1.14.0.1-4) ... Setting up libghc-parallel-dev (3.2.0.4-1) ... Setting up libghc-strict-dev (0.3.2-7) ... Setting up libghc-unordered-containers-dev (0.2.5.0-1) ... Setting up libghc-xhtml-dev (3000.2.1-4) ... Setting up libghc-zlib-dev (0.5.4.1-1) ... Setting up libghc-agda-dev (2.4.0.2-2+b1) ... Setting up libghc-utf8-string-dev (0.3.7-3) ... Setting up libghc-syb-dev (0.4.0-1) ... Setting up debconf-i18n (1.5.56+deb8u1) ... Setting up ucf (3.0030) ... Setting up xz-utils (5.1.1alpha+20120614-2+b3) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... 1m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-yf', 'dist-upgrade'] 1m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m21.0s DUMP: c58dd1ad19dd97acb5ff8b7cd65de431 - 1m21.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m21.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'show', '--no-all-versions', 'libghc-agda-dev'] 1m21.1s DUMP: Package: libghc-agda-dev Source: agda (2.4.0.2-2) Version: 2.4.0.2-2+b1 Installed-Size: 97049 Maintainer: Debian Haskell Group Architecture: amd64 Provides: libghc-agda-dev-2.4.0.2-19633 Depends: libghc-quickcheck-dev-2.7.6-1a837, libghc-stmonadtrans-dev-0.3.2-e8fef, libghc-array-dev-0.4.0.1-3b784, libghc-base-dev-4.6.0.1-8aa5d, libghc-binary-dev-0.7.2.1-29f19, libghc-boxes-dev-0.1.3-d497b, libghc-bytestring-dev-0.10.0.2-4f932, libghc-containers-dev-0.5.0.0-ab1da, libghc-data-hash-dev-0.2.0.0-5623c, libghc-deepseq-dev-1.3.0.1-5cc4c, libghc-directory-dev-1.2.0.1-91a78, libghc-equivalence-dev-0.2.5-c02f6, libghc-filepath-dev-1.3.0.1-b12cb, libghc-geniplate-dev-0.6.0.4-3bad6, libghc-hashable-dev-1.2.1.0-7e831, libghc-hashtables-dev-1.0.1.8-14f0b, libghc-haskeline-dev-0.7.1.3-673aa, libghc-haskell-src-exts-dev-1.14.0.1-597ed, libghc-mtl-dev-2.1.2-94c72, libghc-parallel-dev-3.2.0.4-6b28f, libghc-pretty-dev-1.1.1.0-66181, libghc-process-dev-1.1.0.2-76e05, libghc-strict-dev-0.3.2-ad9fd, libghc-text-dev-0.11.3.1-e3885, libghc-time-dev-1.4.0.1-10dc4, libghc-transformers-dev-0.3.0.0-ff2bb, libghc-unordered-containers-dev-0.2.5.0-11c50, libghc-xhtml-dev-3000.2.1-22b74, libghc-zlib-dev-0.5.4.1-13ba8 Suggests: libghc-agda-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 package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. Description-md5: 367dee38c949eb56c7f0325161eedb49 Homepage: http://wiki.portal.chalmers.se/agda/ Ghc-Package: Agda-2.4.0.2-19633f9e91b04336a440545ce5e9844e Section: haskell Priority: extra Filename: pool/main/a/agda/libghc-agda-dev_2.4.0.2-2+b1_amd64.deb Size: 9793172 MD5sum: 491833ea297562972b90fa4a7235af2d SHA1: 8716f7513f9e716a9d984cdc0477a4fe53caee83 SHA256: 458f57944c6b8a7e01c5abce3172ba80497f96ec466c61fbb32685d02607497a 1m21.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'show', '--no-all-versions', 'libghc-agda-dev'] 1m21.1s INFO: apt-cache knows about the following packages: libghc-agda-dev 1m21.1s INFO: Running scripts pre_install 1m21.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_database-server'] 1m21.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_database-server'] 1m21.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_exceptions'] 1m21.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_exceptions'] 1m21.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_extras'] 1m21.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_extras'] 1m21.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture'] 1m21.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture'] 1m21.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m21.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m21.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy'] 1m21.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror.bm.debian.org/debian/ jessie/main Translation-en 500 http://mirror.bm.debian.org/debian/ jessie/main amd64 Packages release v=8.11,o=Debian,a=oldstable,n=jessie,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 1m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy'] 1m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy', 'libghc-agda-dev'] 1m21.3s DUMP: libghc-agda-dev: Installed: 2.4.0.2-2+b1 Candidate: 2.4.0.2-2+b1 Version table: *** 2.4.0.2-2+b1 0 500 http://mirror.bm.debian.org/debian/ jessie/main amd64 Packages 100 /var/lib/dpkg/status 1m21.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy', 'libghc-agda-dev'] 1m21.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-y', 'install', 'libghc-agda-dev'] 1m21.9s DUMP: Reading package lists... Building dependency tree... Reading state information... libghc-agda-dev is already the newest version. The following packages were automatically installed and are no longer required: libffi5 libghc-syb-dev libghc-utf8-string-dev libmpc2 Use 'apt-get autoremove' to remove them. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-y', 'install', 'libghc-agda-dev'] 1m21.9s INFO: Running scripts post_install 1m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_install_exceptions'] 1m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_install_exceptions'] 1m21.9s INFO: Running scripts post_distupgrade 1m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_exceptions'] 1m21.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_exceptions'] 1m21.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_experimental'] 1m22.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_experimental'] 1m22.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m22.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m22.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_hack_debsums'] 1m22.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_hack_debsums'] 1m22.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m22.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m22.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_zz_backports'] 1m22.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_distupgrade_zz_backports'] 1m22.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m23.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m23.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m25.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m25.5s INFO: Running scripts pre_install 1m25.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_database-server'] 1m25.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_database-server'] 1m25.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_exceptions'] 1m25.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_exceptions'] 1m25.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_extras'] 1m25.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_extras'] 1m25.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture'] 1m25.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture'] 1m25.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m25.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m25.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy'] 1m25.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror.bm.debian.org/debian/ jessie/main Translation-en 500 http://mirror.bm.debian.org/debian/ jessie/main amd64 Packages release v=8.11,o=Debian,a=oldstable,n=jessie,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 1m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy'] 1m25.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy', 'libghc-agda-dev'] 1m25.7s DUMP: libghc-agda-dev: Installed: 2.4.0.2-2+b1 Candidate: 2.4.0.2-2+b1 Version table: *** 2.4.0.2-2+b1 0 500 http://mirror.bm.debian.org/debian/ jessie/main amd64 Packages 100 /var/lib/dpkg/status 1m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-cache', 'policy', 'libghc-agda-dev'] 1m25.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-y', 'install', 'libghc-agda-dev=2.4.0.2-2+b1'] 1m26.4s DUMP: Reading package lists... Building dependency tree... Reading state information... libghc-agda-dev is already the newest version. The following packages were automatically installed and are no longer required: libffi5 libghc-syb-dev libghc-utf8-string-dev libmpc2 Use 'apt-get autoremove' to remove them. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', '-y', 'install', 'libghc-agda-dev=2.4.0.2-2+b1'] 1m26.4s INFO: Running scripts post_install 1m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_install_exceptions'] 1m26.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_install_exceptions'] 1m26.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m28.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m30.0s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', '-ac', '--ignore-obsolete'] 1m34.0s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', '-ac', '--ignore-obsolete'] 1m34.0s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m34.0s DUMP: 0.15.1 1m34.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m34.0s INFO: Running adequate version 0.15.1 now. 1m34.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'libghc-agda-dev'] 1m34.2s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'libghc-agda-dev'] 1m34.2s INFO: Running scripts pre_remove 1m34.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m37.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m37.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m38.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m38.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m38.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m38.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_exceptions'] 1m38.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/pre_remove_exceptions'] 1m38.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m38.2s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed binutils binutils 2.25-5+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed cpp cpp 4:4.9.2-2 install ok installed cpp-4.9 cpp-4.9 4.9.2-10+deb8u1 install ok installed dash dash 0.5.7-4+b1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed findutils findutils 4.4.2-9+b1 install ok installed gcc gcc 4:4.9.2-2 install ok installed gcc-4.9 gcc-4.9 4.9.2-10+deb8u1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed ghc ghc 7.6.3-21 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gzip gzip 1.6-4 install ok installed hostname hostname 3.15 install ok installed init init 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libasan1:amd64 libasan1 4.9.2-10+deb8u1 install ok installed libatomic1:amd64 libatomic1 4.9.2-10+deb8u1 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbsd-dev:amd64 libbsd-dev 0.7.0-2 install ok installed libbsd0:amd64 libbsd0 0.7.0-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc-dev-bin libc-dev-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libc6-dev:amd64 libc6-dev 2.19-18+deb8u10 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcilkrts5:amd64 libcilkrts5 4.9.2-10+deb8u1 install ok installed libcloog-isl4:amd64 libcloog-isl4 0.18.2-1+b2 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libffi-dev:amd64 libffi-dev 3.1-2+deb8u1 install ok installed libffi5:amd64 libffi5 3.0.10-3 install ok installed libffi6:amd64 libffi6 3.1-2+deb8u1 install ok installed libgcc-4.9-dev:amd64 libgcc-4.9-dev 4.9.2-10+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libghc-agda-dev libghc-agda-dev 2.4.0.2-2+b1 install ok installed libghc-binary-dev libghc-binary-dev 0.7.2.1-1 install ok installed libghc-boxes-dev libghc-boxes-dev 0.1.3-1 install ok installed libghc-cpphs-dev libghc-cpphs-dev 1.18.5-1 install ok installed libghc-data-hash-dev libghc-data-hash-dev 0.2.0.0-1 install ok installed libghc-equivalence-dev libghc-equivalence-dev 0.2.5-1 install ok installed libghc-geniplate-dev libghc-geniplate-dev 0.6.0.4-1 install ok installed libghc-hashable-dev libghc-hashable-dev 1.2.1.0-5 install ok installed libghc-hashtables-dev libghc-hashtables-dev 1.0.1.8-2+b2 install ok installed libghc-haskeline-dev libghc-haskeline-dev 0.7.1.3-1 install ok installed libghc-mtl-dev libghc-mtl-dev 2.1.2-4 install ok installed libghc-parallel-dev libghc-parallel-dev 3.2.0.4-1 install ok installed libghc-polyparse-dev libghc-polyparse-dev 1.9-1 install ok installed libghc-primitive-dev libghc-primitive-dev 0.5.0.1-3 install ok installed libghc-quickcheck2-dev libghc-quickcheck2-dev 2.7.6-3 install ok installed libghc-random-dev libghc-random-dev 1.0.1.1-3 install ok installed libghc-split-dev libghc-split-dev 0.2.2-1 install ok installed libghc-src-exts-dev libghc-src-exts-dev 1.14.0.1-4 install ok installed libghc-stmonadtrans-dev libghc-stmonadtrans-dev 0.3.2-1 install ok installed libghc-strict-dev libghc-strict-dev 0.3.2-7 install ok installed libghc-syb-dev libghc-syb-dev 0.4.0-1 install ok installed libghc-terminfo-dev libghc-terminfo-dev 0.3.2.5-3 install ok installed libghc-text-dev libghc-text-dev 0.11.3.1-1 install ok installed libghc-tf-random-dev libghc-tf-random-dev 0.5-1 install ok installed libghc-transformers-dev libghc-transformers-dev 0.3.0.0-5 install ok installed libghc-unordered-containers-dev libghc-unordered-containers-dev 0.2.5.0-1 install ok installed libghc-utf8-string-dev libghc-utf8-string-dev 0.3.7-3 install ok installed libghc-vector-dev libghc-vector-dev 0.10.0.1-3 install ok installed libghc-xhtml-dev libghc-xhtml-dev 3000.2.1-4 install ok installed libghc-zlib-dev libghc-zlib-dev 0.5.4.1-1 install ok installed libgmp-dev:amd64 libgmp-dev 2:6.0.0+dfsg-6 install ok installed libgmp10:amd64 libgmp10 2:6.0.0+dfsg-6 install ok installed libgmpxx4ldbl:amd64 libgmpxx4ldbl 2:6.0.0+dfsg-6 install ok installed libgomp1:amd64 libgomp1 4.9.2-10+deb8u1 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libisl10:amd64 libisl10 0.12.2-2 install ok installed libitm1:amd64 libitm1 4.9.2-10+deb8u1 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblsan0:amd64 liblsan0 4.9.2-10+deb8u1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libmpc2:amd64 libmpc2 0.9-4 install ok installed libmpc3:amd64 libmpc3 1.0.2-1 install ok installed libmpfr4:amd64 libmpfr4 3.1.2-2 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncurses5-dev:amd64 libncurses5-dev 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libquadmath0:amd64 libquadmath0 4.9.2-10+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo-dev:amd64 libtinfo-dev 5.9+20140913-1+deb8u3 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libtsan0:amd64 libtsan0 4.9.2-10+deb8u1 install ok installed libubsan0:amd64 libubsan0 4.9.2-10+deb8u1 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed linux-libc-dev:amd64 linux-libc-dev 3.16.56-1+deb8u1 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit sysvinit 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed ucf ucf 3.0030 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2+b3 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 install ok installed zlib1g-dev:amd64 zlib1g-dev 1:1.2.8.dfsg-2+b1 1m38.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m38.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'remove', 'libghc-parallel-dev', 'libitm1:amd64', 'libghc-src-exts-dev', 'libghc-transformers-dev', 'libghc-geniplate-dev', 'libffi5:amd64', 'libghc-unordered-containers-dev', 'cpp-4.9', 'libghc-utf8-string-dev', 'libubsan0:amd64', 'libghc-haskeline-dev', 'libghc-vector-dev', 'libghc-quickcheck2-dev', 'libghc-stmonadtrans-dev', 'libcilkrts5:amd64', 'libghc-polyparse-dev', 'libghc-hashable-dev', 'libcloog-isl4:amd64', 'libgmp10:amd64', 'libquadmath0:amd64', 'libasan1:amd64', 'libtinfo-dev:amd64', 'libghc-strict-dev', 'libc6-dev:amd64', 'liblsan0:amd64', 'libdb5.1:amd64', 'libgmpxx4ldbl:amd64', 'libmpc3:amd64', 'libmpc2:amd64', 'ghc', 'libghc-mtl-dev', 'gcc', 'libghc-equivalence-dev', 'libghc-primitive-dev', 'libgmp-dev:amd64', 'libghc-hashtables-dev', 'libghc-boxes-dev', 'libgomp1:amd64', 'libghc-tf-random-dev', 'libbsd-dev:amd64', 'libmpfr4:amd64', 'libbsd0:amd64', 'libncurses5-dev:amd64', 'libisl10:amd64', 'gcc-4.9', 'libghc-terminfo-dev', 'libghc-cpphs-dev', 'libghc-zlib-dev', 'zlib1g-dev:amd64', 'libghc-syb-dev', 'libffi6:amd64', 'libghc-text-dev', 'libffi-dev:amd64', 'libghc-binary-dev', 'libghc-xhtml-dev', 'libghc-data-hash-dev', 'libgcc-4.9-dev:amd64', 'libc-dev-bin', 'libatomic1:amd64', 'cpp', 'libtsan0:amd64', 'libghc-random-dev', 'linux-libc-dev:amd64', 'binutils', 'libghc-split-dev', 'libghc-agda-dev'] 1m40.0s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils cpp cpp-4.9 gcc gcc-4.9 ghc libasan1 libatomic1 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcilkrts5 libcloog-isl4 libdb5.1 libffi-dev libffi5 libffi6 libgcc-4.9-dev libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-syb-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libisl10 libitm1 liblsan0 libmpc2 libmpc3 libmpfr4 libncurses5-dev libquadmath0 libtinfo-dev libtsan0 libubsan0 linux-libc-dev zlib1g-dev 0 upgraded, 0 newly installed, 66 to remove and 0 not upgraded. After this operation, 593 MB disk space will be freed. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11887 files and directories currently installed.) Removing libghc-agda-dev (2.4.0.2-2+b1) ... Removing libghc-haskeline-dev (0.7.1.3-1) ... Removing libghc-quickcheck2-dev (2.7.6-3) ... Removing libghc-tf-random-dev (0.5-1) ... Removing libghc-geniplate-dev (0.6.0.4-1) ... Removing libghc-src-exts-dev (1.14.0.1-4) ... Removing libghc-cpphs-dev (1.18.5-1) ... Removing libghc-polyparse-dev (1.9-1) ... Removing libghc-unordered-containers-dev (0.2.5.0-1) ... Removing libghc-hashtables-dev (1.0.1.8-2+b2) ... Removing libghc-vector-dev (0.10.0.1-3) ... Removing libghc-parallel-dev (3.2.0.4-1) ... Removing libghc-zlib-dev (0.5.4.1-1) ... Removing libghc-xhtml-dev (3000.2.1-4) ... Removing libghc-strict-dev (0.3.2-7) ... Removing libghc-random-dev (1.0.1.1-3) ... Removing libghc-primitive-dev (0.5.0.1-3) ... Removing libghc-equivalence-dev (0.2.5-1) ... Removing libghc-utf8-string-dev (0.3.7-3) ... Removing libghc-stmonadtrans-dev (0.3.2-1) ... Removing libghc-mtl-dev (2.1.2-4) ... Removing libghc-transformers-dev (0.3.0.0-5) ... Removing libghc-data-hash-dev (0.2.0.0-1) ... Removing zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ... Removing libghc-terminfo-dev (0.3.2.5-3) ... Removing libncurses5-dev:amd64 (5.9+20140913-1+deb8u3) ... Removing libdb5.1:amd64 (5.1.29-5) ... Removing libffi5:amd64 (3.0.10-3) ... Removing libghc-binary-dev (0.7.2.1-1) ... Removing libghc-boxes-dev (0.1.3-1) ... Removing libghc-split-dev (0.2.2-1) ... Removing libghc-syb-dev (0.4.0-1) ... Removing libmpc2:amd64 (0.9-4) ... Removing libtinfo-dev:amd64 (5.9+20140913-1+deb8u3) ... Removing libghc-hashable-dev (1.2.1.0-5) ... Removing libghc-text-dev (0.11.3.1-1) ... Removing ghc (7.6.3-21) ... Removing gcc (4:4.9.2-2) ... Removing gcc-4.9 (4.9.2-10+deb8u1) ... Removing binutils (2.25-5+deb8u1) ... Removing cpp (4:4.9.2-2) ... Removing cpp-4.9 (4.9.2-10+deb8u1) ... Removing libgcc-4.9-dev:amd64 (4.9.2-10+deb8u1) ... Removing libasan1:amd64 (4.9.2-10+deb8u1) ... Removing libatomic1:amd64 (4.9.2-10+deb8u1) ... Removing libbsd-dev:amd64 (0.7.0-2) ... Removing libbsd0:amd64 (0.7.0-2) ... Removing libc6-dev:amd64 (2.19-18+deb8u10) ... Removing libc-dev-bin (2.19-18+deb8u10) ... Removing libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Removing libcloog-isl4:amd64 (0.18.2-1+b2) ... Removing libffi-dev:amd64 (3.1-2+deb8u1) ... Removing libffi6:amd64 (3.1-2+deb8u1) ... Removing libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Removing libmpc3:amd64 (1.0.2-1) ... Removing libmpfr4:amd64 (3.1.2-2) ... Removing libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Removing libgomp1:amd64 (4.9.2-10+deb8u1) ... Removing libisl10:amd64 (0.12.2-2) ... Removing libitm1:amd64 (4.9.2-10+deb8u1) ... Removing liblsan0:amd64 (4.9.2-10+deb8u1) ... Removing libquadmath0:amd64 (4.9.2-10+deb8u1) ... Removing libtsan0:amd64 (4.9.2-10+deb8u1) ... Removing libubsan0:amd64 (4.9.2-10+deb8u1) ... Removing linux-libc-dev:amd64 (3.16.56-1+deb8u1) ... Removing libgmp10:amd64 (2:6.0.0+dfsg-6) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... 1m40.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'remove', 'libghc-parallel-dev', 'libitm1:amd64', 'libghc-src-exts-dev', 'libghc-transformers-dev', 'libghc-geniplate-dev', 'libffi5:amd64', 'libghc-unordered-containers-dev', 'cpp-4.9', 'libghc-utf8-string-dev', 'libubsan0:amd64', 'libghc-haskeline-dev', 'libghc-vector-dev', 'libghc-quickcheck2-dev', 'libghc-stmonadtrans-dev', 'libcilkrts5:amd64', 'libghc-polyparse-dev', 'libghc-hashable-dev', 'libcloog-isl4:amd64', 'libgmp10:amd64', 'libquadmath0:amd64', 'libasan1:amd64', 'libtinfo-dev:amd64', 'libghc-strict-dev', 'libc6-dev:amd64', 'liblsan0:amd64', 'libdb5.1:amd64', 'libgmpxx4ldbl:amd64', 'libmpc3:amd64', 'libmpc2:amd64', 'ghc', 'libghc-mtl-dev', 'gcc', 'libghc-equivalence-dev', 'libghc-primitive-dev', 'libgmp-dev:amd64', 'libghc-hashtables-dev', 'libghc-boxes-dev', 'libgomp1:amd64', 'libghc-tf-random-dev', 'libbsd-dev:amd64', 'libmpfr4:amd64', 'libbsd0:amd64', 'libncurses5-dev:amd64', 'libisl10:amd64', 'gcc-4.9', 'libghc-terminfo-dev', 'libghc-cpphs-dev', 'libghc-zlib-dev', 'zlib1g-dev:amd64', 'libghc-syb-dev', 'libffi6:amd64', 'libghc-text-dev', 'libffi-dev:amd64', 'libghc-binary-dev', 'libghc-xhtml-dev', 'libghc-data-hash-dev', 'libgcc-4.9-dev:amd64', 'libc-dev-bin', 'libatomic1:amd64', 'cpp', 'libtsan0:amd64', 'libghc-random-dev', 'linux-libc-dev:amd64', 'binutils', 'libghc-split-dev', 'libghc-agda-dev'] 1m40.0s INFO: Running scripts post_remove 1m40.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_remove_exceptions'] 1m40.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_remove_exceptions'] 1m40.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_remove_extras'] 1m40.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_remove_extras'] 1m40.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--purge', 'libghc-parallel-dev', 'libitm1:amd64', 'libghc-src-exts-dev', 'libghc-transformers-dev', 'libghc-geniplate-dev', 'libffi5:amd64', 'libghc-unordered-containers-dev', 'cpp-4.9', 'libghc-utf8-string-dev', 'libubsan0:amd64', 'libghc-haskeline-dev', 'libghc-vector-dev', 'libghc-quickcheck2-dev', 'libghc-stmonadtrans-dev', 'libcilkrts5:amd64', 'libghc-polyparse-dev', 'libghc-hashable-dev', 'libcloog-isl4:amd64', 'libgmp10:amd64', 'libquadmath0:amd64', 'libasan1:amd64', 'libtinfo-dev:amd64', 'libghc-strict-dev', 'libc6-dev:amd64', 'liblsan0:amd64', 'libdb5.1:amd64', 'libgmpxx4ldbl:amd64', 'libmpc3:amd64', 'libmpc2:amd64', 'ghc', 'libghc-mtl-dev', 'gcc', 'libghc-equivalence-dev', 'libghc-primitive-dev', 'libgmp-dev:amd64', 'libghc-hashtables-dev', 'libghc-boxes-dev', 'libgomp1:amd64', 'libghc-tf-random-dev', 'libbsd-dev:amd64', 'libmpfr4:amd64', 'libbsd0:amd64', 'libncurses5-dev:amd64', 'libisl10:amd64', 'gcc-4.9', 'libghc-terminfo-dev', 'libghc-cpphs-dev', 'libghc-zlib-dev', 'zlib1g-dev:amd64', 'libghc-syb-dev', 'libffi6:amd64', 'libghc-text-dev', 'libffi-dev:amd64', 'libghc-binary-dev', 'libghc-xhtml-dev', 'libghc-data-hash-dev', 'libgcc-4.9-dev:amd64', 'libc-dev-bin', 'libatomic1:amd64', 'cpp', 'libtsan0:amd64', 'libghc-random-dev', 'linux-libc-dev:amd64', 'binutils', 'libghc-split-dev'] 1m40.1s DUMP: dpkg: warning: ignoring request to remove libghc-parallel-dev which isn't installed (Reading database ... 7520 files and directories currently installed.) Removing libitm1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libitm1:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove libghc-src-exts-dev which isn't installed dpkg: warning: ignoring request to remove libghc-transformers-dev which isn't installed dpkg: warning: ignoring request to remove libghc-geniplate-dev which isn't installed Removing libffi5:amd64 (3.0.10-3) ... Purging configuration files for libffi5:amd64 (3.0.10-3) ... dpkg: warning: ignoring request to remove libghc-unordered-containers-dev which isn't installed dpkg: warning: ignoring request to remove cpp-4.9 which isn't installed dpkg: warning: ignoring request to remove libghc-utf8-string-dev which isn't installed Removing libubsan0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libubsan0:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove libghc-haskeline-dev which isn't installed dpkg: warning: ignoring request to remove libghc-vector-dev which isn't installed dpkg: warning: ignoring request to remove libghc-quickcheck2-dev which isn't installed dpkg: warning: ignoring request to remove libghc-stmonadtrans-dev which isn't installed Removing libcilkrts5:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libcilkrts5:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove libghc-polyparse-dev which isn't installed dpkg: warning: ignoring request to remove libghc-hashable-dev which isn't installed Removing libcloog-isl4:amd64 (0.18.2-1+b2) ... Purging configuration files for libcloog-isl4:amd64 (0.18.2-1+b2) ... Removing libgmp10:amd64 (2:6.0.0+dfsg-6) ... Purging configuration files for libgmp10:amd64 (2:6.0.0+dfsg-6) ... Removing libquadmath0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libquadmath0:amd64 (4.9.2-10+deb8u1) ... Removing libasan1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libasan1:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove libtinfo-dev which isn't installed dpkg: warning: ignoring request to remove libghc-strict-dev which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed Removing liblsan0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for liblsan0:amd64 (4.9.2-10+deb8u1) ... Removing libdb5.1:amd64 (5.1.29-5) ... Purging configuration files for libdb5.1:amd64 (5.1.29-5) ... Removing libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Purging configuration files for libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Removing libmpc3:amd64 (1.0.2-1) ... Purging configuration files for libmpc3:amd64 (1.0.2-1) ... Removing libmpc2:amd64 (0.9-4) ... Purging configuration files for libmpc2:amd64 (0.9-4) ... dpkg: warning: ignoring request to remove ghc which isn't installed dpkg: warning: ignoring request to remove libghc-mtl-dev which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove libghc-equivalence-dev which isn't installed dpkg: warning: ignoring request to remove libghc-primitive-dev which isn't installed dpkg: warning: ignoring request to remove libgmp-dev which isn't installed dpkg: warning: ignoring request to remove libghc-hashtables-dev which isn't installed dpkg: warning: ignoring request to remove libghc-boxes-dev which isn't installed Removing libgomp1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libgomp1:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove libghc-tf-random-dev which isn't installed dpkg: warning: ignoring request to remove libbsd-dev which isn't installed Removing libmpfr4:amd64 (3.1.2-2) ... Purging configuration files for libmpfr4:amd64 (3.1.2-2) ... Removing libbsd0:amd64 (0.7.0-2) ... Purging configuration files for libbsd0:amd64 (0.7.0-2) ... dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed Removing libisl10:amd64 (0.12.2-2) ... Purging configuration files for libisl10:amd64 (0.12.2-2) ... dpkg: warning: ignoring request to remove gcc-4.9 which isn't installed dpkg: warning: ignoring request to remove libghc-terminfo-dev which isn't installed dpkg: warning: ignoring request to remove libghc-cpphs-dev which isn't installed dpkg: warning: ignoring request to remove libghc-zlib-dev which isn't installed dpkg: warning: ignoring request to remove zlib1g-dev which isn't installed dpkg: warning: ignoring request to remove libghc-syb-dev which isn't installed Removing libffi6:amd64 (3.1-2+deb8u1) ... Purging configuration files for libffi6:amd64 (3.1-2+deb8u1) ... dpkg: warning: ignoring request to remove libghc-text-dev which isn't installed dpkg: warning: ignoring request to remove libffi-dev which isn't installed dpkg: warning: ignoring request to remove libghc-binary-dev which isn't installed dpkg: warning: ignoring request to remove libghc-xhtml-dev which isn't installed dpkg: warning: ignoring request to remove libghc-data-hash-dev which isn't installed dpkg: warning: ignoring request to remove libgcc-4.9-dev which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed Removing libatomic1:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libatomic1:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove cpp which isn't installed Removing libtsan0:amd64 (4.9.2-10+deb8u1) ... Purging configuration files for libtsan0:amd64 (4.9.2-10+deb8u1) ... dpkg: warning: ignoring request to remove libghc-random-dev which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Removing binutils (2.25-5+deb8u1) ... Purging configuration files for binutils (2.25-5+deb8u1) ... dpkg: warning: ignoring request to remove libghc-split-dev which isn't installed 1m40.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--purge', 'libghc-parallel-dev', 'libitm1:amd64', 'libghc-src-exts-dev', 'libghc-transformers-dev', 'libghc-geniplate-dev', 'libffi5:amd64', 'libghc-unordered-containers-dev', 'cpp-4.9', 'libghc-utf8-string-dev', 'libubsan0:amd64', 'libghc-haskeline-dev', 'libghc-vector-dev', 'libghc-quickcheck2-dev', 'libghc-stmonadtrans-dev', 'libcilkrts5:amd64', 'libghc-polyparse-dev', 'libghc-hashable-dev', 'libcloog-isl4:amd64', 'libgmp10:amd64', 'libquadmath0:amd64', 'libasan1:amd64', 'libtinfo-dev:amd64', 'libghc-strict-dev', 'libc6-dev:amd64', 'liblsan0:amd64', 'libdb5.1:amd64', 'libgmpxx4ldbl:amd64', 'libmpc3:amd64', 'libmpc2:amd64', 'ghc', 'libghc-mtl-dev', 'gcc', 'libghc-equivalence-dev', 'libghc-primitive-dev', 'libgmp-dev:amd64', 'libghc-hashtables-dev', 'libghc-boxes-dev', 'libgomp1:amd64', 'libghc-tf-random-dev', 'libbsd-dev:amd64', 'libmpfr4:amd64', 'libbsd0:amd64', 'libncurses5-dev:amd64', 'libisl10:amd64', 'gcc-4.9', 'libghc-terminfo-dev', 'libghc-cpphs-dev', 'libghc-zlib-dev', 'zlib1g-dev:amd64', 'libghc-syb-dev', 'libffi6:amd64', 'libghc-text-dev', 'libffi-dev:amd64', 'libghc-binary-dev', 'libghc-xhtml-dev', 'libghc-data-hash-dev', 'libgcc-4.9-dev:amd64', 'libc-dev-bin', 'libatomic1:amd64', 'cpp', 'libtsan0:amd64', 'libghc-random-dev', 'linux-libc-dev:amd64', 'binutils', 'libghc-split-dev'] 1m40.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--purge', 'libghc-agda-dev'] 1m40.2s DUMP: dpkg: warning: ignoring request to remove libghc-agda-dev which isn't installed 1m40.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--purge', 'libghc-agda-dev'] 1m40.2s INFO: Running scripts post_purge 1m40.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_purge_exceptions'] 1m40.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_purge_exceptions'] 1m40.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--purge', '--pending'] 1m40.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--purge', '--pending'] 1m40.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--remove', '--pending'] 1m40.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg', '--remove', '--pending'] 1m40.2s INFO: Running scripts post_test 1m40.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_test_exceptions'] 1m40.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'tmp/scripts/post_test_exceptions'] 1m40.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m41.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m41.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg-divert', '--list'] 1m41.4s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 1m41.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'dpkg-divert', '--list'] 1m41.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'clean'] 1m41.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpSvGjhd', 'apt-get', 'clean'] 1m41.5s DEBUG: Recording chroot state 1m45.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/run/shm'] 1m45.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/run/shm'] 1m45.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/console'] 1m45.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/console'] 1m45.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/ptmx'] 1m45.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/ptmx'] 1m45.4s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/pts'] 1m45.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/dev/pts'] 1m45.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/proc'] 1m45.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpSvGjhd/proc'] 1m45.5s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m45.7s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpSvGjhd'] 1m45.7s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpSvGjhd 1m45.7s INFO: PASS: Upgrading between Debian distributions. 1m45.7s INFO: PASS: All tests. 1m45.7s INFO: piuparts run ends. ret=0 End: 2019-07-04 09:31:55 UTC