Build log for agda (2.5.1-2) on armhf

agda → 2.5.1-2 → armhf → 2016-07-17 10:16:29

sbuild (Debian sbuild) 0.66.0 (04 Oct 2015) on bm-wb-02

+==============================================================================+
| agda 2.5.1-2 (armhf)                                       15 Jul 2016 16:34 |
+==============================================================================+

Package: agda
Version: 2.5.1-2
Source Version: 2.5.1-2
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'build/agda-4Wafxh/agda-2.5.1' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/agda-4Wafxh' with '<<BUILDDIR>>'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-d32f28c3-ae20-44f9-831d-50da7fafc434' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.0.1/private stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private stretch-staging/main Sources [9161 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [11.1 MB]
Fetched 20.3 MB in 24s (818 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
NOTICE: 'agda' packaging is maintained in the 'Git' version control system at:
https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Please use:
git clone https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 1186 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main agda 2.5.1-2 (dsc) [4035 B]
Get:2 http://172.17.0.1/private stretch-staging/main agda 2.5.1-2 (tar) [1173 kB]
Get:3 http://172.17.0.1/private stretch-staging/main agda 2.5.1-2 (diff) [8712 B]
Fetched 1186 kB in 0s (6088 kB/s)
Download complete and in download only mode

Check architectures
-------------------


Check dependencies
------------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-PABDGW/apt_archive/sbuild-build-depends-core-dummy.deb'.
Warning: apt-key output should not be parsed (stdout is not a terminal)
OK
Get:1 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ Sources [194 B]
Get:5 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ Packages [508 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-PABDGW/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
Reading package lists...

+------------------------------------------------------------------------------+
| Install core build dependencies (apt-based resolver)                         |
+------------------------------------------------------------------------------+

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 5 not upgraded.
Need to get 0 B/762 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-PABDGW/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [762 B]
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package sbuild-build-depends-core-dummy.
(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 ... 13670 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
Merged Build-Depends: alex, cdbs, cpphs (>= 1.19), debhelper (>= 9), dh-elpa, ghc, happy, haskell-devscripts (>= 0.9), libghc-boxes-dev (<< 0.2), libghc-boxes-dev (>= 0.1.3), libghc-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-api-dev (<< 1.4), libghc-edison-api-dev (>= 1.3), libghc-edison-core-dev (<< 1.3.2), libghc-edison-core-dev (>= 1.3.1.1), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-dev (>= 0.2.1.2), libghc-equivalence-dev (<< 0.4), libghc-equivalence-dev (>= 0.2.5), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-monadplus-dev (<< 1.5), libghc-monadplus-dev (>= 1.4), libghc-mtl-dev, libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-quickcheck2-dev (<< 2.9), libghc-quickcheck2-dev (>= 2.8.2), libghc-src-exts-dev (<< 1.18), libghc-src-exts-dev (>= 1.16.0.1), libghc-strict-dev (<< 0.4), libghc-strict-dev (>= 0.3.2), libghc-transformers-compat-dev (<< 0.6), libghc-transformers-compat-dev (>= 0.3.3.3), libghc-transformers-dev, libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-dev (>= 0.2.5.0), libghc-zlib-dev (<< 0.7), libghc-zlib-dev (>= 0.4.0.1), libncurses5-dev
Filtered Build-Depends: alex, cdbs, cpphs (>= 1.19), debhelper (>= 9), dh-elpa, ghc, happy, haskell-devscripts (>= 0.9), libghc-boxes-dev (<< 0.2), libghc-boxes-dev (>= 0.1.3), libghc-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-api-dev (<< 1.4), libghc-edison-api-dev (>= 1.3), libghc-edison-core-dev (<< 1.3.2), libghc-edison-core-dev (>= 1.3.1.1), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-dev (>= 0.2.1.2), libghc-equivalence-dev (<< 0.4), libghc-equivalence-dev (>= 0.2.5), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-monadplus-dev (<< 1.5), libghc-monadplus-dev (>= 1.4), libghc-mtl-dev, libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-quickcheck2-dev (<< 2.9), libghc-quickcheck2-dev (>= 2.8.2), libghc-src-exts-dev (<< 1.18), libghc-src-exts-dev (>= 1.16.0.1), libghc-strict-dev (<< 0.4), libghc-strict-dev (>= 0.3.2), libghc-transformers-compat-dev (<< 0.6), libghc-transformers-compat-dev (>= 0.3.3.3), libghc-transformers-dev, libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-dev (>= 0.2.5.0), libghc-zlib-dev (<< 0.7), libghc-zlib-dev (>= 0.4.0.1), libncurses5-dev
dpkg-deb: building package 'sbuild-build-depends-agda-dummy' in '/<<BUILDDIR>>/resolver-TWB6X1/apt_archive/sbuild-build-depends-agda-dummy.deb'.
Warning: apt-key output should not be parsed (stdout is not a terminal)
OK
Get:1 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ Sources [559 B]
Get:5 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ Packages [884 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-TWB6X1/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
Reading package lists...

+------------------------------------------------------------------------------+
| Install agda build dependencies (apt-based resolver)                         |
+------------------------------------------------------------------------------+

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  alex autoconf automake autopoint autotools-dev binfmt-support bsdmainutils
  ca-certificates cdbs cpphs dctrl-tools debhelper dh-autoreconf dh-buildinfo
  dh-elpa dh-make-perl dh-strip-nondeterminism emacs24-bin-common
  emacs24-common emacs24-nox emacsen-common file gettext gettext-base ghc
  groff-base happy haskell-devscripts hscolour html-xml-utils intltool-debian
  libalgorithm-c3-perl libapt-pkg-perl libarchive-zip-perl
  libarray-unique-perl libarray-utils-perl libasound2 libasound2-data
  libbsd-dev libbsd0 libcgi-pm-perl libclass-accessor-chained-perl
  libclass-accessor-perl libclass-c3-perl libconfig-ini-perl libcroco3
  libcurl3-gnutls libdata-optlist-perl libdata-section-perl
  libdebian-source-perl libedit2 libemail-address-perl
  libemail-date-format-perl libencode-locale-perl libenv-sanctify-perl
  liberror-perl libexporter-lite-perl libexporter-tiny-perl libffi-dev libffi6
  libfile-chdir-perl libfile-find-rule-perl libfile-listing-perl
  libfile-stripnondeterminism-perl libfile-which-perl libghc-boxes-dev
  libghc-cpphs-dev libghc-data-hash-dev libghc-edison-api-dev
  libghc-edison-core-dev libghc-edit-distance-dev libghc-equivalence-dev
  libghc-filemanip-dev libghc-geniplate-mirror-dev libghc-hashable-dev
  libghc-hashtables-dev libghc-monadplus-dev libghc-mtl-dev
  libghc-old-locale-dev libghc-old-time-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-text-dev
  libghc-tf-random-dev libghc-transformers-compat-dev libghc-unix-compat-dev
  libghc-unordered-containers-dev libghc-vector-dev libghc-zlib-dev
  libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls30 libgpm2 libgssapi-krb5-2
  libhogweed4 libhtml-form-perl libhtml-parser-perl libhtml-tagset-perl
  libhtml-tree-perl libhttp-cookies-perl libhttp-daemon-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libhttp-server-simple-perl
  libicu55 libio-html-perl libio-socket-ssl-perl libio-string-perl
  libio-stringy-perl libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  libldap-2.4-2 liblist-moreutils-perl libllvm3.5v5 liblocale-gettext-perl
  liblockfile-bin liblockfile1 liblwp-mediatypes-perl
  liblwp-protocol-https-perl libmagic1 libmixin-linewise-perl
  libmodule-depends-perl libmro-compat-perl libncurses5-dev libnet-http-perl
  libnet-ssleay-perl libnettle6 libnghttp2-14 libnumber-compare-perl
  libp11-kit0 libparams-util-perl libparse-debcontrol-perl
  libparse-debianchangelog-perl libperlio-utf8-strict-perl libpipeline1
  librtmp1 libsasl2-2 libsasl2-modules-db libsigsegv2 libsoftware-license-perl
  libssh2-1 libssl1.0.2 libsub-exporter-perl libsub-install-perl
  libsub-name-perl libtasn1-6 libtext-glob-perl libtext-template-perl
  libtie-ixhash-perl libtinfo-dev libtool libunistring0 liburi-perl
  libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml2
  libyaml-libyaml-perl libyaml-perl llvm-3.5 llvm-3.5-runtime m4 man-db
  netbase openssl po-debconf zlib1g-dev
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation devscripts debtags dh-make emacs24-common-non-dfsg ncurses-term
  gettext-doc libasprintf-dev libgettextpo-dev ghc-prof ghc-doc haskell-doc
  groff libasound2-plugins alsa-utils libghc-boxes-doc libghc-boxes-prof
  libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc
  libghc-data-hash-prof libghc-edison-api-doc libghc-edison-api-prof
  libghc-edison-core-doc libghc-edison-core-prof libghc-edit-distance-doc
  libghc-edit-distance-prof libghc-equivalence-doc libghc-equivalence-prof
  libghc-filemanip-doc libghc-filemanip-prof libghc-geniplate-mirror-doc
  libghc-geniplate-mirror-prof libghc-hashable-doc libghc-hashable-prof
  libghc-hashtables-doc libghc-hashtables-prof libghc-monadplus-doc
  libghc-monadplus-prof libghc-mtl-doc libghc-mtl-prof libghc-old-locale-doc
  libghc-old-locale-prof libghc-old-time-doc libghc-old-time-prof
  libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc
  libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof
  libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc
  libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc
  libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof
  libghc-strict-doc libghc-strict-prof libghc-text-doc libghc-text-prof
  libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-compat-doc
  libghc-transformers-compat-prof libghc-unix-compat-doc
  libghc-unix-compat-prof libghc-unordered-containers-doc
  libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof
  libghc-zlib-doc libghc-zlib-prof gmp-doc libgmp10-doc libmpfr-dev gnutls-bin
  gpm krb5-doc krb5-user libdata-dump-perl libcrypt-ssleay-perl ncurses-doc
  libhtml-template-perl libxml-simple-perl libtool-doc gfortran
  | fortran95-compiler gcj-jdk libauthen-ntlm-perl libyaml-shell-perl
  llvm-3.5-doc less www-browser libmail-box-perl
Recommended packages:
  apt-file git libdpkg-parse-perl libmodule-build-perl pristine-tar emacs24-el
  curl | wget | lynx-cur libcgi-fast-perl libclass-c3-xs-perl libglib2.0-data
  shared-mime-info xdg-user-dirs libhtml-format-perl krb5-locales
  libsasl2-modules libltdl-dev libmailtools-perl xml-core llvm-3.5-dev
  ifupdown libmail-sendmail-perl
The following NEW packages will be installed:
  alex autoconf automake autopoint autotools-dev binfmt-support bsdmainutils
  ca-certificates cdbs cpphs dctrl-tools debhelper dh-autoreconf dh-buildinfo
  dh-elpa dh-make-perl dh-strip-nondeterminism emacs24-bin-common
  emacs24-common emacs24-nox emacsen-common file gettext gettext-base ghc
  groff-base happy haskell-devscripts hscolour html-xml-utils intltool-debian
  libalgorithm-c3-perl libapt-pkg-perl libarchive-zip-perl
  libarray-unique-perl libarray-utils-perl libasound2 libasound2-data
  libbsd-dev libbsd0 libcgi-pm-perl libclass-accessor-chained-perl
  libclass-accessor-perl libclass-c3-perl libconfig-ini-perl libcroco3
  libcurl3-gnutls libdata-optlist-perl libdata-section-perl
  libdebian-source-perl libedit2 libemail-address-perl
  libemail-date-format-perl libencode-locale-perl libenv-sanctify-perl
  liberror-perl libexporter-lite-perl libexporter-tiny-perl libffi-dev libffi6
  libfile-chdir-perl libfile-find-rule-perl libfile-listing-perl
  libfile-stripnondeterminism-perl libfile-which-perl libghc-boxes-dev
  libghc-cpphs-dev libghc-data-hash-dev libghc-edison-api-dev
  libghc-edison-core-dev libghc-edit-distance-dev libghc-equivalence-dev
  libghc-filemanip-dev libghc-geniplate-mirror-dev libghc-hashable-dev
  libghc-hashtables-dev libghc-monadplus-dev libghc-mtl-dev
  libghc-old-locale-dev libghc-old-time-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-text-dev
  libghc-tf-random-dev libghc-transformers-compat-dev libghc-unix-compat-dev
  libghc-unordered-containers-dev libghc-vector-dev libghc-zlib-dev
  libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls30 libgpm2 libgssapi-krb5-2
  libhogweed4 libhtml-form-perl libhtml-parser-perl libhtml-tagset-perl
  libhtml-tree-perl libhttp-cookies-perl libhttp-daemon-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libhttp-server-simple-perl
  libicu55 libio-html-perl libio-socket-ssl-perl libio-string-perl
  libio-stringy-perl libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  libldap-2.4-2 liblist-moreutils-perl libllvm3.5v5 liblocale-gettext-perl
  liblockfile-bin liblockfile1 liblwp-mediatypes-perl
  liblwp-protocol-https-perl libmagic1 libmixin-linewise-perl
  libmodule-depends-perl libmro-compat-perl libncurses5-dev libnet-http-perl
  libnet-ssleay-perl libnettle6 libnghttp2-14 libnumber-compare-perl
  libp11-kit0 libparams-util-perl libparse-debcontrol-perl
  libparse-debianchangelog-perl libperlio-utf8-strict-perl libpipeline1
  librtmp1 libsasl2-2 libsasl2-modules-db libsigsegv2 libsoftware-license-perl
  libssh2-1 libssl1.0.2 libsub-exporter-perl libsub-install-perl
  libsub-name-perl libtasn1-6 libtext-glob-perl libtext-template-perl
  libtie-ixhash-perl libtinfo-dev libtool libunistring0 liburi-perl
  libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml2
  libyaml-libyaml-perl libyaml-perl llvm-3.5 llvm-3.5-runtime m4 man-db
  netbase openssl po-debconf sbuild-build-depends-agda-dummy zlib1g-dev
0 upgraded, 179 newly installed, 0 to remove and 5 not upgraded.
Need to get 113 MB/123 MB of archives.
After this operation, 827 MB of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-TWB6X1/apt_archive ./ sbuild-build-depends-agda-dummy 0.invalid.0 [1142 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf liblocale-gettext-perl armhf 1.07-3 [18.0 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-8 [1087 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf libbsd0 armhf 0.8.3-1 [89.0 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.10 [177 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.5-1 [975 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf libedit2 armhf 3.1-20150325-1 [70.7 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf liblockfile-bin armhf 1.09-6 [18.2 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf liblockfile1 armhf 1.09-6 [14.7 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf binfmt-support armhf 2.1.6-1 [52.3 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf libllvm3.5v5 armhf 1:3.5.2-3 [6503 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf llvm-3.5-runtime armhf 1:3.5.2-3 [49.6 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf llvm-3.5 armhf 1:3.5.2-3 [947 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf libgmpxx4ldbl armhf 2:6.1.1+dfsg-1 [21.5 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf libgmp-dev armhf 2:6.1.1+dfsg-1 [561 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf libffi-dev armhf 3.2.1-4 [159 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf libbsd-dev armhf 0.8.3-1 [183 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20160319-2 [65.6 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf libncurses5-dev armhf 6.0+20160319-2 [154 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf ghc armhf 7.10.3-9+rpi1 [53.6 MB]
Get:22 http://172.17.0.1/private stretch-staging/main armhf libssl1.0.2 armhf 1.0.2h-1 [889 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf netbase all 5.3 [19.0 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.28-2 [269 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.28-2 [62.4 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.8.1-1 [117 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf libnettle6 armhf 3.2-1 [202 kB]
Get:28 http://172.17.0.1/private stretch-staging/main armhf libhogweed4 armhf 3.2-1 [126 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf libp11-kit0 armhf 0.23.2-3 [93.3 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf libtasn1-6 armhf 4.8-1 [44.1 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf libgnutls30 armhf 3.4.13-1 [737 kB]
Get:32 http://172.17.0.1/private stretch-staging/main armhf libgpm2 armhf 1.20.4-6.2 [33.0 kB]
Get:33 http://172.17.0.1/private stretch-staging/main armhf libkeyutils1 armhf 1.5.9-9 [11.9 kB]
Get:34 http://172.17.0.1/private stretch-staging/main armhf libkrb5support0 armhf 1.14.2+dfsg-1 [57.2 kB]
Get:35 http://172.17.0.1/private stretch-staging/main armhf libk5crypto3 armhf 1.14.2+dfsg-1 [111 kB]
Get:36 http://172.17.0.1/private stretch-staging/main armhf libkrb5-3 armhf 1.14.2+dfsg-1 [261 kB]
Get:37 http://172.17.0.1/private stretch-staging/main armhf libgssapi-krb5-2 armhf 1.14.2+dfsg-1 [131 kB]
Get:38 http://172.17.0.1/private stretch-staging/main armhf libsasl2-modules-db armhf 2.1.26.dfsg1-15 [65.6 kB]
Get:39 http://172.17.0.1/private stretch-staging/main armhf libsasl2-2 armhf 2.1.26.dfsg1-15 [96.7 kB]
Get:40 http://172.17.0.1/private stretch-staging/main armhf libldap-2.4-2 armhf 2.4.42+dfsg-2+rpi1+b2 [198 kB]
Get:41 http://172.17.0.1/private stretch-staging/main armhf libsigsegv2 armhf 2.10-5 [28.4 kB]
Get:42 http://172.17.0.1/private stretch-staging/main armhf m4 armhf 1.4.17-5 [239 kB]
Get:43 http://172.17.0.1/private stretch-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:44 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20160430.1 [72.6 kB]
Get:45 http://172.17.0.1/private stretch-staging/main armhf automake all 1:1.15-4 [735 kB]
Get:46 http://172.17.0.1/private stretch-staging/main armhf autopoint all 0.19.8.1-1 [433 kB]
Get:47 http://172.17.0.1/private stretch-staging/main armhf openssl armhf 1.0.2h-1 [667 kB]
Get:48 http://172.17.0.1/private stretch-staging/main armhf ca-certificates all 20160104 [200 kB]
Get:49 http://172.17.0.1/private stretch-staging/main armhf cdbs all 0.4.142 [80.7 kB]
Get:50 http://172.17.0.1/private stretch-staging/main armhf dctrl-tools armhf 2.24-2 [94.4 kB]
Get:51 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-1 [131 kB]
Get:52 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.6+really0.9.3-0.1 [252 kB]
Get:53 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.8.1-1 [1433 kB]
Get:54 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:55 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.19 [249 kB]
Get:56 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.57-1 [95.1 kB]
Get:57 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.019-1 [12.2 kB]
Get:58 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.019-1 [7352 B]
Get:59 http://172.17.0.1/private stretch-staging/main armhf libtool all 2.4.6-0.1 [200 kB]
Get:60 http://172.17.0.1/private stretch-staging/main armhf dh-autoreconf all 12 [15.8 kB]
Get:61 http://172.17.0.1/private stretch-staging/main armhf debhelper all 9.20160403 [800 kB]
Get:62 http://172.17.0.1/private stretch-staging/main armhf dh-buildinfo all 0.11+nmu1 [18.1 kB]
Get:63 http://172.17.0.1/private stretch-staging/main armhf libapt-pkg-perl armhf 0.1.29+b6 [62.7 kB]
Get:64 http://172.17.0.1/private stretch-staging/main armhf libarray-unique-perl all 0.08-2 [11.2 kB]
Get:65 http://172.17.0.1/private stretch-staging/main armhf libsub-name-perl armhf 0.15-1 [12.0 kB]
Get:66 http://172.17.0.1/private stretch-staging/main armhf libclass-accessor-perl all 0.34-1 [25.9 kB]
Get:67 http://172.17.0.1/private stretch-staging/main armhf libperlio-utf8-strict-perl armhf 0.006-1+b1 [10.8 kB]
Get:68 http://172.17.0.1/private stretch-staging/main armhf libparams-util-perl armhf 1.07-3 [21.7 kB]
Get:69 http://172.17.0.1/private stretch-staging/main armhf libsub-install-perl all 0.928-1 [11.4 kB]
Get:70 http://172.17.0.1/private stretch-staging/main armhf libdata-optlist-perl all 0.110-1 [10.6 kB]
Get:71 http://172.17.0.1/private stretch-staging/main armhf libsub-exporter-perl all 0.986-1 [49.9 kB]
Get:72 http://172.17.0.1/private stretch-staging/main armhf libmixin-linewise-perl all 0.108-1 [15.2 kB]
Get:73 http://172.17.0.1/private stretch-staging/main armhf libconfig-ini-perl all 1:0.025-1 [24.8 kB]
Get:74 http://172.17.0.1/private stretch-staging/main armhf libexporter-tiny-perl all 0.042-1 [32.4 kB]
Get:75 http://172.17.0.1/private stretch-staging/main armhf liblist-moreutils-perl armhf 0.415-1 [59.2 kB]
Get:76 http://172.17.0.1/private stretch-staging/main armhf libio-stringy-perl all 2.110-5 [98.3 kB]
Get:77 http://172.17.0.1/private stretch-staging/main armhf libencode-locale-perl all 1.05-1 [13.7 kB]
Get:78 http://172.17.0.1/private stretch-staging/main armhf libhttp-date-perl all 6.02-1 [10.7 kB]
Get:79 http://172.17.0.1/private stretch-staging/main armhf libfile-listing-perl all 6.04-1 [10.3 kB]
Get:80 http://172.17.0.1/private stretch-staging/main armhf libhtml-tagset-perl all 3.20-2 [13.5 kB]
Get:81 http://172.17.0.1/private stretch-staging/main armhf liburi-perl all 1.71-1 [88.6 kB]
Get:82 http://172.17.0.1/private stretch-staging/main armhf libhtml-parser-perl armhf 3.72-2 [101 kB]
Get:83 http://172.17.0.1/private stretch-staging/main armhf libhtml-tree-perl all 5.03-2 [210 kB]
Get:84 http://172.17.0.1/private stretch-staging/main armhf libio-html-perl all 1.001-1 [17.6 kB]
Get:85 http://172.17.0.1/private stretch-staging/main armhf liblwp-mediatypes-perl all 6.02-1 [22.1 kB]
Get:86 http://172.17.0.1/private stretch-staging/main armhf libhttp-message-perl all 6.11-1 [75.9 kB]
Get:87 http://172.17.0.1/private stretch-staging/main armhf libhttp-cookies-perl all 6.01-1 [17.4 kB]
Get:88 http://172.17.0.1/private stretch-staging/main armhf libhttp-negotiate-perl all 6.00-2 [13.6 kB]
Get:89 http://172.17.0.1/private stretch-staging/main armhf libnet-ssleay-perl armhf 1.74-1 [264 kB]
Get:90 http://172.17.0.1/private stretch-staging/main armhf libio-socket-ssl-perl all 2.029-1 [191 kB]
Get:91 http://172.17.0.1/private stretch-staging/main armhf libnet-http-perl all 6.09-1 [25.1 kB]
Get:92 http://172.17.0.1/private stretch-staging/main armhf liblwp-protocol-https-perl all 6.06-2 [9582 B]
Get:93 http://172.17.0.1/private stretch-staging/main armhf libwww-robotrules-perl all 6.01-1 [14.3 kB]
Get:94 http://172.17.0.1/private stretch-staging/main armhf libwww-perl all 6.15-1 [195 kB]
Get:95 http://172.17.0.1/private stretch-staging/main armhf liberror-perl all 0.17-1.3 [21.1 kB]
Get:96 http://172.17.0.1/private stretch-staging/main armhf libexporter-lite-perl all 0.08-1 [11.1 kB]
Get:97 http://172.17.0.1/private stretch-staging/main armhf libparse-debcontrol-perl all 2.005-4 [25.7 kB]
Get:98 http://172.17.0.1/private stretch-staging/main armhf libtie-ixhash-perl all 1.23-2 [11.7 kB]
Get:99 http://172.17.0.1/private stretch-staging/main armhf libcgi-pm-perl all 4.28-1 [220 kB]
Get:100 http://172.17.0.1/private stretch-staging/main armhf libhtml-form-perl all 6.03-1 [23.9 kB]
Get:101 http://172.17.0.1/private stretch-staging/main armhf libhttp-daemon-perl all 6.01-1 [17.3 kB]
Get:102 http://172.17.0.1/private stretch-staging/main armhf libhttp-server-simple-perl all 0.51-1 [30.9 kB]
Get:103 http://172.17.0.1/private stretch-staging/main armhf libwww-mechanize-perl all 1.75-1 [107 kB]
Get:104 http://172.17.0.1/private stretch-staging/main armhf libdebian-source-perl all 0.91 [81.3 kB]
Get:105 http://172.17.0.1/private stretch-staging/main armhf libemail-address-perl all 1.908-1 [30.4 kB]
Get:106 http://172.17.0.1/private stretch-staging/main armhf libemail-date-format-perl all 1.005-1 [7050 B]
Get:107 http://172.17.0.1/private stretch-staging/main armhf libfile-which-perl all 1.21-1 [14.3 kB]
Get:108 http://172.17.0.1/private stretch-staging/main armhf libclass-accessor-chained-perl all 0.01.1~debian-4 [8300 B]
Get:109 http://172.17.0.1/private stretch-staging/main armhf libenv-sanctify-perl all 1.12-1 [8152 B]
Get:110 http://172.17.0.1/private stretch-staging/main armhf libfile-chdir-perl all 0.1008-1 [13.3 kB]
Get:111 http://172.17.0.1/private stretch-staging/main armhf libmodule-depends-perl all 0.16-2 [12.6 kB]
Get:112 http://172.17.0.1/private stretch-staging/main armhf libio-string-perl all 1.08-3 [12.3 kB]
Get:113 http://172.17.0.1/private stretch-staging/main armhf libparse-debianchangelog-perl all 1.2.0-8 [59.0 kB]
Get:114 http://172.17.0.1/private stretch-staging/main armhf libalgorithm-c3-perl all 0.10-1 [12.0 kB]
Get:115 http://172.17.0.1/private stretch-staging/main armhf libclass-c3-perl all 0.31-1 [22.0 kB]
Get:116 http://172.17.0.1/private stretch-staging/main armhf libmro-compat-perl all 0.12-1 [13.2 kB]
Get:117 http://172.17.0.1/private stretch-staging/main armhf libdata-section-perl all 0.200006-1 [13.4 kB]
Get:118 http://172.17.0.1/private stretch-staging/main armhf libtext-template-perl all 1.46-1 [53.1 kB]
Get:119 http://172.17.0.1/private stretch-staging/main armhf libsoftware-license-perl all 0.103012-1 [112 kB]
Get:120 http://172.17.0.1/private stretch-staging/main armhf libyaml-perl all 1.15-1 [69.7 kB]
Get:121 http://172.17.0.1/private stretch-staging/main armhf libyaml-libyaml-perl armhf 0.41-6+b1 [55.8 kB]
Get:122 http://172.17.0.1/private stretch-staging/main armhf dh-make-perl all 0.91 [116 kB]
Get:123 http://172.17.0.1/private stretch-staging/main armhf emacsen-common all 2.0.8 [21.2 kB]
Get:124 http://172.17.0.1/private stretch-staging/main armhf emacs24-common all 24.5+1-6 [12.8 MB]
Get:125 http://172.17.0.1/private stretch-staging/main armhf emacs24-bin-common armhf 24.5+1-6+b2 [239 kB]
Get:126 http://172.17.0.1/private stretch-staging/main armhf libasound2-data all 1.1.1-2 [198 kB]
Get:127 http://172.17.0.1/private stretch-staging/main armhf libasound2 armhf 1.1.1-2 [467 kB]
Get:128 http://172.17.0.1/private stretch-staging/main armhf emacs24-nox armhf 24.5+1-6+b2 [2761 kB]
Get:129 http://172.17.0.1/private stretch-staging/main armhf libarray-utils-perl all 0.5-1 [6254 B]
Get:130 http://172.17.0.1/private stretch-staging/main armhf libnumber-compare-perl all 0.03-1 [7642 B]
Get:131 http://172.17.0.1/private stretch-staging/main armhf libtext-glob-perl all 0.09-2 [8728 B]
Get:132 http://172.17.0.1/private stretch-staging/main armhf libfile-find-rule-perl all 0.34-1 [30.6 kB]
Get:133 http://172.17.0.1/private stretch-staging/main armhf dh-elpa all 0.0.21 [19.7 kB]
Get:134 http://172.17.0.1/private stretch-staging/main armhf libnghttp2-14 armhf 1.12.0-2 [73.8 kB]
Get:135 http://172.17.0.1/private stretch-staging/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-1 [54.2 kB]
Get:136 http://172.17.0.1/private stretch-staging/main armhf libssh2-1 armhf 1.5.0-2.1 [121 kB]
Get:137 http://172.17.0.1/private stretch-staging/main armhf libcurl3-gnutls armhf 7.47.0-1 [244 kB]
Get:138 http://172.17.0.1/private stretch-staging/main armhf libghc-text-dev armhf 1.2.2.1-1 [1216 kB]
Get:139 http://172.17.0.1/private stretch-staging/main armhf libghc-polyparse-dev armhf 1.12-1+b1 [390 kB]
Get:140 http://172.17.0.1/private stretch-staging/main armhf zlib1g-dev armhf 1:1.2.8.dfsg-2+b1 [197 kB]
Get:141 http://172.17.0.1/private stretch-staging/main armhf alex armhf 3.1.7-1 [1272 kB]
Get:142 http://172.17.0.1/private stretch-staging/main armhf cpphs armhf 1.20.1-1+b1 [952 kB]
Get:143 http://172.17.0.1/private stretch-staging/main armhf happy armhf 1.19.5-5 [1174 kB]
Get:144 http://172.17.0.1/private stretch-staging/main armhf html-xml-utils armhf 6.9-1 [184 kB]
Get:145 http://172.17.0.1/private stretch-staging/main armhf hscolour armhf 1.24-1 [946 kB]
Get:146 http://172.17.0.1/private stretch-staging/main armhf haskell-devscripts all 0.10.2.3 [37.1 kB]
Get:147 http://172.17.0.1/private stretch-staging/main armhf libghc-split-dev armhf 0.2.3.1-1 [49.4 kB]
Get:148 http://172.17.0.1/private stretch-staging/main armhf libghc-boxes-dev armhf 0.1.4-2+b1 [44.9 kB]
Get:149 http://172.17.0.1/private stretch-staging/main armhf libghc-old-locale-dev armhf 1.0.0.7-3 [37.9 kB]
Get:150 http://172.17.0.1/private stretch-staging/main armhf libghc-old-time-dev armhf 1.1.0.3-2 [133 kB]
Get:151 http://172.17.0.1/private stretch-staging/main armhf libghc-cpphs-dev armhf 1.20.1-1+b1 [196 kB]
Get:152 http://172.17.0.1/private stretch-staging/main armhf libghc-data-hash-dev armhf 0.2.0.1-2 [72.4 kB]
Get:153 http://172.17.0.1/private stretch-staging/main armhf libghc-mtl-dev armhf 2.2.1-3 [102 kB]
Get:154 http://172.17.0.1/private stretch-staging/main armhf libghc-edison-api-dev armhf 1.3-1 [92.3 kB]
Get:155 http://172.17.0.1/private stretch-staging/main armhf libghc-random-dev armhf 1.1-3 [154 kB]
Get:156 http://172.17.0.1/private stretch-staging/main armhf libghc-primitive-dev armhf 0.6.1.0-2 [114 kB]
Get:157 http://172.17.0.1/private stretch-staging/main armhf libghc-tf-random-dev armhf 0.5-5 [97.8 kB]
Get:158 http://172.17.0.1/private stretch-staging/main armhf libghc-quickcheck2-dev armhf 2.8.2-1 [537 kB]
Get:159 http://172.17.0.1/private stretch-staging/main armhf libghc-edison-core-dev armhf 1.3.1.1-1 [1319 kB]
Get:160 http://172.17.0.1/private stretch-staging/main armhf libghc-edit-distance-dev armhf 0.2.2.1-3 [91.2 kB]
Get:161 http://172.17.0.1/private stretch-staging/main armhf libghc-stmonadtrans-dev armhf 0.3.3-2 [41.7 kB]
Get:162 http://172.17.0.1/private stretch-staging/main armhf libghc-transformers-compat-dev armhf 0.4.0.4-5 [16.3 kB]
Get:163 http://172.17.0.1/private stretch-staging/main armhf libghc-equivalence-dev armhf 0.3.1-2+b1 [82.7 kB]
Get:164 http://172.17.0.1/private stretch-staging/main armhf libghc-unix-compat-dev armhf 0.4.1.4-4 [15.5 kB]
Get:165 http://172.17.0.1/private stretch-staging/main armhf libghc-filemanip-dev armhf 0.3.6.3-4 [85.8 kB]
Get:166 http://172.17.0.1/private stretch-staging/main armhf libghc-geniplate-mirror-dev armhf 0.7.4-1 [104 kB]
Get:167 http://172.17.0.1/private stretch-staging/main armhf libghc-hashable-dev armhf 1.2.4.0-1+b1 [60.0 kB]
Get:168 http://172.17.0.1/private stretch-staging/main armhf libghc-vector-dev armhf 0.11.0.0-1 [1468 kB]
Get:169 http://172.17.0.1/private stretch-staging/main armhf libghc-hashtables-dev armhf 1.2.1.0-1+b2 [228 kB]
Get:170 http://172.17.0.1/private stretch-staging/main armhf libghc-monadplus-dev armhf 1.4.2-1 [27.3 kB]
Get:171 http://172.17.0.1/private stretch-staging/main armhf libghc-parallel-dev armhf 3.2.1.0-1 [59.0 kB]
Get:172 http://172.17.0.1/private stretch-staging/main armhf libghc-src-exts-dev armhf 1.17.1-1+b1 [6031 kB]
Get:173 http://172.17.0.1/private stretch-staging/main armhf libghc-strict-dev armhf 0.3.2-11 [53.7 kB]
Get:174 http://172.17.0.1/private stretch-staging/main armhf libghc-unordered-containers-dev armhf 0.2.7.0-1 [252 kB]
Get:175 http://172.17.0.1/private stretch-staging/main armhf libghc-zlib-dev armhf 0.6.1.1-1 [199 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 113 MB in 13s (8177 kB/s)
Selecting previously unselected package liblocale-gettext-perl.
(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 ... 13670 files and directories currently installed.)
Preparing to unpack .../liblocale-gettext-perl_1.07-3_armhf.deb ...
Unpacking liblocale-gettext-perl (1.07-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../groff-base_1.22.3-8_armhf.deb ...
Unpacking groff-base (1.22.3-8) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../libbsd0_0.8.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.10_armhf.deb ...
Unpacking bsdmainutils (9.0.10) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../libpipeline1_1.4.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.5-1_armhf.deb ...
Unpacking man-db (2.7.5-1) ...
Selecting previously unselected package libedit2:armhf.
Preparing to unpack .../libedit2_3.1-20150325-1_armhf.deb ...
Unpacking libedit2:armhf (3.1-20150325-1) ...
Selecting previously unselected package liblockfile-bin.
Preparing to unpack .../liblockfile-bin_1.09-6_armhf.deb ...
Unpacking liblockfile-bin (1.09-6) ...
Selecting previously unselected package liblockfile1:armhf.
Preparing to unpack .../liblockfile1_1.09-6_armhf.deb ...
Unpacking liblockfile1:armhf (1.09-6) ...
Selecting previously unselected package binfmt-support.
Preparing to unpack .../binfmt-support_2.1.6-1_armhf.deb ...
Unpacking binfmt-support (2.1.6-1) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.2.1-4_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-4) ...
Selecting previously unselected package libllvm3.5v5:armhf.
Preparing to unpack .../libllvm3.5v5_1%3a3.5.2-3_armhf.deb ...
Unpacking libllvm3.5v5:armhf (1:3.5.2-3) ...
Selecting previously unselected package llvm-3.5-runtime.
Preparing to unpack .../llvm-3.5-runtime_1%3a3.5.2-3_armhf.deb ...
Unpacking llvm-3.5-runtime (1:3.5.2-3) ...
Selecting previously unselected package llvm-3.5.
Preparing to unpack .../llvm-3.5_1%3a3.5.2-3_armhf.deb ...
Unpacking llvm-3.5 (1:3.5.2-3) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../libgmpxx4ldbl_2%3a6.1.1+dfsg-1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.1.1+dfsg-1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../libgmp-dev_2%3a6.1.1+dfsg-1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.1.1+dfsg-1) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../libffi-dev_3.2.1-4_armhf.deb ...
Unpacking libffi-dev:armhf (3.2.1-4) ...
Selecting previously unselected package libbsd-dev:armhf.
Preparing to unpack .../libbsd-dev_0.8.3-1_armhf.deb ...
Unpacking libbsd-dev:armhf (0.8.3-1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20160319-2_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20160319-2) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../libncurses5-dev_6.0+20160319-2_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20160319-2) ...
Selecting previously unselected package ghc.
Preparing to unpack .../ghc_7.10.3-9+rpi1_armhf.deb ...
Unpacking ghc (7.10.3-9+rpi1) ...
Selecting previously unselected package libssl1.0.2:armhf.
Preparing to unpack .../libssl1.0.2_1.0.2h-1_armhf.deb ...
Unpacking libssl1.0.2:armhf (1.0.2h-1) ...
Selecting previously unselected package netbase.
Preparing to unpack .../archives/netbase_5.3_all.deb ...
Unpacking netbase (5.3) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.28-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.28-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.28-2_armhf.deb ...
Unpacking file (1:5.28-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.8.1-1_armhf.deb ...
Unpacking gettext-base (0.19.8.1-1) ...
Selecting previously unselected package libnettle6:armhf.
Preparing to unpack .../libnettle6_3.2-1_armhf.deb ...
Unpacking libnettle6:armhf (3.2-1) ...
Selecting previously unselected package libhogweed4:armhf.
Preparing to unpack .../libhogweed4_3.2-1_armhf.deb ...
Unpacking libhogweed4:armhf (3.2-1) ...
Selecting previously unselected package libp11-kit0:armhf.
Preparing to unpack .../libp11-kit0_0.23.2-3_armhf.deb ...
Unpacking libp11-kit0:armhf (0.23.2-3) ...
Selecting previously unselected package libtasn1-6:armhf.
Preparing to unpack .../libtasn1-6_4.8-1_armhf.deb ...
Unpacking libtasn1-6:armhf (4.8-1) ...
Selecting previously unselected package libgnutls30:armhf.
Preparing to unpack .../libgnutls30_3.4.13-1_armhf.deb ...
Unpacking libgnutls30:armhf (3.4.13-1) ...
Selecting previously unselected package libgpm2:armhf.
Preparing to unpack .../libgpm2_1.20.4-6.2_armhf.deb ...
Unpacking libgpm2:armhf (1.20.4-6.2) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../libkeyutils1_1.5.9-9_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-9) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../libkrb5support0_1.14.2+dfsg-1_armhf.deb ...
Unpacking libkrb5support0:armhf (1.14.2+dfsg-1) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../libk5crypto3_1.14.2+dfsg-1_armhf.deb ...
Unpacking libk5crypto3:armhf (1.14.2+dfsg-1) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../libkrb5-3_1.14.2+dfsg-1_armhf.deb ...
Unpacking libkrb5-3:armhf (1.14.2+dfsg-1) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../libgssapi-krb5-2_1.14.2+dfsg-1_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.14.2+dfsg-1) ...
Selecting previously unselected package libsasl2-modules-db:armhf.
Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-15_armhf.deb ...
Unpacking libsasl2-modules-db:armhf (2.1.26.dfsg1-15) ...
Selecting previously unselected package libsasl2-2:armhf.
Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-15_armhf.deb ...
Unpacking libsasl2-2:armhf (2.1.26.dfsg1-15) ...
Selecting previously unselected package libldap-2.4-2:armhf.
Preparing to unpack .../libldap-2.4-2_2.4.42+dfsg-2+rpi1+b2_armhf.deb ...
Unpacking libldap-2.4-2:armhf (2.4.42+dfsg-2+rpi1+b2) ...
Selecting previously unselected package libicu55:armhf.
Preparing to unpack .../libicu55_55.1-7_armhf.deb ...
Unpacking libicu55:armhf (55.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.3+dfsg1-1.2_armhf.deb ...
Unpacking libxml2:armhf (2.9.3+dfsg1-1.2) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../libsigsegv2_2.10-5_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-5) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.17-5_armhf.deb ...
Unpacking m4 (1.4.17-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20160430.1_all.deb ...
Unpacking autotools-dev (20160430.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.15-4_all.deb ...
Unpacking automake (1:1.15-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../autopoint_0.19.8.1-1_all.deb ...
Unpacking autopoint (0.19.8.1-1) ...
Selecting previously unselected package openssl.
Preparing to unpack .../openssl_1.0.2h-1_armhf.deb ...
Unpacking openssl (1.0.2h-1) ...
Selecting previously unselected package ca-certificates.
Preparing to unpack .../ca-certificates_20160104_all.deb ...
Unpacking ca-certificates (20160104) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../archives/cdbs_0.4.142_all.deb ...
Unpacking cdbs (0.4.142) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../dctrl-tools_2.24-2_armhf.deb ...
Unpacking dctrl-tools (2.24-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.48.1-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.48.1-1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.11-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.11-1) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.6+really0.9.3-0.1_armhf.deb ...
Unpacking libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.8.1-1_armhf.deb ...
Unpacking gettext (0.19.8.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.19_all.deb ...
Unpacking po-debconf (1.0.19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../libarchive-zip-perl_1.57-1_all.deb ...
Unpacking libarchive-zip-perl (1.57-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../libfile-stripnondeterminism-perl_0.019-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.019-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../dh-strip-nondeterminism_0.019-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.019-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../libtool_2.4.6-0.1_all.deb ...
Unpacking libtool (2.4.6-0.1) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../dh-autoreconf_12_all.deb ...
Unpacking dh-autoreconf (12) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20160403_all.deb ...
Unpacking debhelper (9.20160403) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../dh-buildinfo_0.11+nmu1_all.deb ...
Unpacking dh-buildinfo (0.11+nmu1) ...
Selecting previously unselected package libapt-pkg-perl.
Preparing to unpack .../libapt-pkg-perl_0.1.29+b6_armhf.deb ...
Unpacking libapt-pkg-perl (0.1.29+b6) ...
Selecting previously unselected package libarray-unique-perl.
Preparing to unpack .../libarray-unique-perl_0.08-2_all.deb ...
Unpacking libarray-unique-perl (0.08-2) ...
Selecting previously unselected package libsub-name-perl.
Preparing to unpack .../libsub-name-perl_0.15-1_armhf.deb ...
Unpacking libsub-name-perl (0.15-1) ...
Selecting previously unselected package libclass-accessor-perl.
Preparing to unpack .../libclass-accessor-perl_0.34-1_all.deb ...
Unpacking libclass-accessor-perl (0.34-1) ...
Selecting previously unselected package libperlio-utf8-strict-perl.
Preparing to unpack .../libperlio-utf8-strict-perl_0.006-1+b1_armhf.deb ...
Unpacking libperlio-utf8-strict-perl (0.006-1+b1) ...
Selecting previously unselected package libparams-util-perl.
Preparing to unpack .../libparams-util-perl_1.07-3_armhf.deb ...
Unpacking libparams-util-perl (1.07-3) ...
Selecting previously unselected package libsub-install-perl.
Preparing to unpack .../libsub-install-perl_0.928-1_all.deb ...
Unpacking libsub-install-perl (0.928-1) ...
Selecting previously unselected package libdata-optlist-perl.
Preparing to unpack .../libdata-optlist-perl_0.110-1_all.deb ...
Unpacking libdata-optlist-perl (0.110-1) ...
Selecting previously unselected package libsub-exporter-perl.
Preparing to unpack .../libsub-exporter-perl_0.986-1_all.deb ...
Unpacking libsub-exporter-perl (0.986-1) ...
Selecting previously unselected package libmixin-linewise-perl.
Preparing to unpack .../libmixin-linewise-perl_0.108-1_all.deb ...
Unpacking libmixin-linewise-perl (0.108-1) ...
Selecting previously unselected package libconfig-ini-perl.
Preparing to unpack .../libconfig-ini-perl_1%3a0.025-1_all.deb ...
Unpacking libconfig-ini-perl (1:0.025-1) ...
Selecting previously unselected package libexporter-tiny-perl.
Preparing to unpack .../libexporter-tiny-perl_0.042-1_all.deb ...
Unpacking libexporter-tiny-perl (0.042-1) ...
Selecting previously unselected package liblist-moreutils-perl.
Preparing to unpack .../liblist-moreutils-perl_0.415-1_armhf.deb ...
Unpacking liblist-moreutils-perl (0.415-1) ...
Selecting previously unselected package libio-stringy-perl.
Preparing to unpack .../libio-stringy-perl_2.110-5_all.deb ...
Unpacking libio-stringy-perl (2.110-5) ...
Selecting previously unselected package libencode-locale-perl.
Preparing to unpack .../libencode-locale-perl_1.05-1_all.deb ...
Unpacking libencode-locale-perl (1.05-1) ...
Selecting previously unselected package libhttp-date-perl.
Preparing to unpack .../libhttp-date-perl_6.02-1_all.deb ...
Unpacking libhttp-date-perl (6.02-1) ...
Selecting previously unselected package libfile-listing-perl.
Preparing to unpack .../libfile-listing-perl_6.04-1_all.deb ...
Unpacking libfile-listing-perl (6.04-1) ...
Selecting previously unselected package libhtml-tagset-perl.
Preparing to unpack .../libhtml-tagset-perl_3.20-2_all.deb ...
Unpacking libhtml-tagset-perl (3.20-2) ...
Selecting previously unselected package liburi-perl.
Preparing to unpack .../liburi-perl_1.71-1_all.deb ...
Unpacking liburi-perl (1.71-1) ...
Selecting previously unselected package libhtml-parser-perl.
Preparing to unpack .../libhtml-parser-perl_3.72-2_armhf.deb ...
Unpacking libhtml-parser-perl (3.72-2) ...
Selecting previously unselected package libhtml-tree-perl.
Preparing to unpack .../libhtml-tree-perl_5.03-2_all.deb ...
Unpacking libhtml-tree-perl (5.03-2) ...
Selecting previously unselected package libio-html-perl.
Preparing to unpack .../libio-html-perl_1.001-1_all.deb ...
Unpacking libio-html-perl (1.001-1) ...
Selecting previously unselected package liblwp-mediatypes-perl.
Preparing to unpack .../liblwp-mediatypes-perl_6.02-1_all.deb ...
Unpacking liblwp-mediatypes-perl (6.02-1) ...
Selecting previously unselected package libhttp-message-perl.
Preparing to unpack .../libhttp-message-perl_6.11-1_all.deb ...
Unpacking libhttp-message-perl (6.11-1) ...
Selecting previously unselected package libhttp-cookies-perl.
Preparing to unpack .../libhttp-cookies-perl_6.01-1_all.deb ...
Unpacking libhttp-cookies-perl (6.01-1) ...
Selecting previously unselected package libhttp-negotiate-perl.
Preparing to unpack .../libhttp-negotiate-perl_6.00-2_all.deb ...
Unpacking libhttp-negotiate-perl (6.00-2) ...
Selecting previously unselected package libnet-ssleay-perl.
Preparing to unpack .../libnet-ssleay-perl_1.74-1_armhf.deb ...
Unpacking libnet-ssleay-perl (1.74-1) ...
Selecting previously unselected package libio-socket-ssl-perl.
Preparing to unpack .../libio-socket-ssl-perl_2.029-1_all.deb ...
Unpacking libio-socket-ssl-perl (2.029-1) ...
Selecting previously unselected package libnet-http-perl.
Preparing to unpack .../libnet-http-perl_6.09-1_all.deb ...
Unpacking libnet-http-perl (6.09-1) ...
Selecting previously unselected package liblwp-protocol-https-perl.
Preparing to unpack .../liblwp-protocol-https-perl_6.06-2_all.deb ...
Unpacking liblwp-protocol-https-perl (6.06-2) ...
Selecting previously unselected package libwww-robotrules-perl.
Preparing to unpack .../libwww-robotrules-perl_6.01-1_all.deb ...
Unpacking libwww-robotrules-perl (6.01-1) ...
Selecting previously unselected package libwww-perl.
Preparing to unpack .../libwww-perl_6.15-1_all.deb ...
Unpacking libwww-perl (6.15-1) ...
Selecting previously unselected package liberror-perl.
Preparing to unpack .../liberror-perl_0.17-1.3_all.deb ...
Unpacking liberror-perl (0.17-1.3) ...
Selecting previously unselected package libexporter-lite-perl.
Preparing to unpack .../libexporter-lite-perl_0.08-1_all.deb ...
Unpacking libexporter-lite-perl (0.08-1) ...
Selecting previously unselected package libparse-debcontrol-perl.
Preparing to unpack .../libparse-debcontrol-perl_2.005-4_all.deb ...
Unpacking libparse-debcontrol-perl (2.005-4) ...
Selecting previously unselected package libtie-ixhash-perl.
Preparing to unpack .../libtie-ixhash-perl_1.23-2_all.deb ...
Unpacking libtie-ixhash-perl (1.23-2) ...
Selecting previously unselected package libcgi-pm-perl.
Preparing to unpack .../libcgi-pm-perl_4.28-1_all.deb ...
Unpacking libcgi-pm-perl (4.28-1) ...
Selecting previously unselected package libhtml-form-perl.
Preparing to unpack .../libhtml-form-perl_6.03-1_all.deb ...
Unpacking libhtml-form-perl (6.03-1) ...
Selecting previously unselected package libhttp-daemon-perl.
Preparing to unpack .../libhttp-daemon-perl_6.01-1_all.deb ...
Unpacking libhttp-daemon-perl (6.01-1) ...
Selecting previously unselected package libhttp-server-simple-perl.
Preparing to unpack .../libhttp-server-simple-perl_0.51-1_all.deb ...
Unpacking libhttp-server-simple-perl (0.51-1) ...
Selecting previously unselected package libwww-mechanize-perl.
Preparing to unpack .../libwww-mechanize-perl_1.75-1_all.deb ...
Unpacking libwww-mechanize-perl (1.75-1) ...
Selecting previously unselected package libdebian-source-perl.
Preparing to unpack .../libdebian-source-perl_0.91_all.deb ...
Unpacking libdebian-source-perl (0.91) ...
Selecting previously unselected package libemail-address-perl.
Preparing to unpack .../libemail-address-perl_1.908-1_all.deb ...
Unpacking libemail-address-perl (1.908-1) ...
Selecting previously unselected package libemail-date-format-perl.
Preparing to unpack .../libemail-date-format-perl_1.005-1_all.deb ...
Unpacking libemail-date-format-perl (1.005-1) ...
Selecting previously unselected package libfile-which-perl.
Preparing to unpack .../libfile-which-perl_1.21-1_all.deb ...
Unpacking libfile-which-perl (1.21-1) ...
Selecting previously unselected package libclass-accessor-chained-perl.
Preparing to unpack .../libclass-accessor-chained-perl_0.01.1~debian-4_all.deb ...
Unpacking libclass-accessor-chained-perl (0.01.1~debian-4) ...
Selecting previously unselected package libenv-sanctify-perl.
Preparing to unpack .../libenv-sanctify-perl_1.12-1_all.deb ...
Unpacking libenv-sanctify-perl (1.12-1) ...
Selecting previously unselected package libfile-chdir-perl.
Preparing to unpack .../libfile-chdir-perl_0.1008-1_all.deb ...
Unpacking libfile-chdir-perl (0.1008-1) ...
Selecting previously unselected package libmodule-depends-perl.
Preparing to unpack .../libmodule-depends-perl_0.16-2_all.deb ...
Unpacking libmodule-depends-perl (0.16-2) ...
Selecting previously unselected package libio-string-perl.
Preparing to unpack .../libio-string-perl_1.08-3_all.deb ...
Unpacking libio-string-perl (1.08-3) ...
Selecting previously unselected package libparse-debianchangelog-perl.
Preparing to unpack .../libparse-debianchangelog-perl_1.2.0-8_all.deb ...
Unpacking libparse-debianchangelog-perl (1.2.0-8) ...
Selecting previously unselected package libalgorithm-c3-perl.
Preparing to unpack .../libalgorithm-c3-perl_0.10-1_all.deb ...
Unpacking libalgorithm-c3-perl (0.10-1) ...
Selecting previously unselected package libclass-c3-perl.
Preparing to unpack .../libclass-c3-perl_0.31-1_all.deb ...
Unpacking libclass-c3-perl (0.31-1) ...
Selecting previously unselected package libmro-compat-perl.
Preparing to unpack .../libmro-compat-perl_0.12-1_all.deb ...
Unpacking libmro-compat-perl (0.12-1) ...
Selecting previously unselected package libdata-section-perl.
Preparing to unpack .../libdata-section-perl_0.200006-1_all.deb ...
Unpacking libdata-section-perl (0.200006-1) ...
Selecting previously unselected package libtext-template-perl.
Preparing to unpack .../libtext-template-perl_1.46-1_all.deb ...
Unpacking libtext-template-perl (1.46-1) ...
Selecting previously unselected package libsoftware-license-perl.
Preparing to unpack .../libsoftware-license-perl_0.103012-1_all.deb ...
Unpacking libsoftware-license-perl (0.103012-1) ...
Selecting previously unselected package libyaml-perl.
Preparing to unpack .../libyaml-perl_1.15-1_all.deb ...
Unpacking libyaml-perl (1.15-1) ...
Selecting previously unselected package libyaml-libyaml-perl.
Preparing to unpack .../libyaml-libyaml-perl_0.41-6+b1_armhf.deb ...
Unpacking libyaml-libyaml-perl (0.41-6+b1) ...
Selecting previously unselected package dh-make-perl.
Preparing to unpack .../dh-make-perl_0.91_all.deb ...
Unpacking dh-make-perl (0.91) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package emacs24-common.
Preparing to unpack .../emacs24-common_24.5+1-6_all.deb ...
Unpacking emacs24-common (24.5+1-6) ...
Selecting previously unselected package emacs24-bin-common.
Preparing to unpack .../emacs24-bin-common_24.5+1-6+b2_armhf.deb ...
Unpacking emacs24-bin-common (24.5+1-6+b2) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../libasound2-data_1.1.1-2_all.deb ...
Unpacking libasound2-data (1.1.1-2) ...
Selecting previously unselected package libasound2:armhf.
Preparing to unpack .../libasound2_1.1.1-2_armhf.deb ...
Unpacking libasound2:armhf (1.1.1-2) ...
Selecting previously unselected package emacs24-nox.
Preparing to unpack .../emacs24-nox_24.5+1-6+b2_armhf.deb ...
Unpacking emacs24-nox (24.5+1-6+b2) ...
Selecting previously unselected package libarray-utils-perl.
Preparing to unpack .../libarray-utils-perl_0.5-1_all.deb ...
Unpacking libarray-utils-perl (0.5-1) ...
Selecting previously unselected package libnumber-compare-perl.
Preparing to unpack .../libnumber-compare-perl_0.03-1_all.deb ...
Unpacking libnumber-compare-perl (0.03-1) ...
Selecting previously unselected package libtext-glob-perl.
Preparing to unpack .../libtext-glob-perl_0.09-2_all.deb ...
Unpacking libtext-glob-perl (0.09-2) ...
Selecting previously unselected package libfile-find-rule-perl.
Preparing to unpack .../libfile-find-rule-perl_0.34-1_all.deb ...
Unpacking libfile-find-rule-perl (0.34-1) ...
Selecting previously unselected package dh-elpa.
Preparing to unpack .../dh-elpa_0.0.21_all.deb ...
Unpacking dh-elpa (0.0.21) ...
Selecting previously unselected package libnghttp2-14:armhf.
Preparing to unpack .../libnghttp2-14_1.12.0-2_armhf.deb ...
Unpacking libnghttp2-14:armhf (1.12.0-2) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../librtmp1_2.4+20151223.gitfa8646d.1-1_armhf.deb ...
Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-1) ...
Selecting previously unselected package libssh2-1:armhf.
Preparing to unpack .../libssh2-1_1.5.0-2.1_armhf.deb ...
Unpacking libssh2-1:armhf (1.5.0-2.1) ...
Selecting previously unselected package libcurl3-gnutls:armhf.
Preparing to unpack .../libcurl3-gnutls_7.47.0-1_armhf.deb ...
Unpacking libcurl3-gnutls:armhf (7.47.0-1) ...
Selecting previously unselected package libghc-text-dev.
Preparing to unpack .../libghc-text-dev_1.2.2.1-1_armhf.deb ...
Unpacking libghc-text-dev (1.2.2.1-1) ...
Selecting previously unselected package libghc-polyparse-dev.
Preparing to unpack .../libghc-polyparse-dev_1.12-1+b1_armhf.deb ...
Unpacking libghc-polyparse-dev (1.12-1+b1) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2+b1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-2+b1) ...
Selecting previously unselected package alex.
Preparing to unpack .../alex_3.1.7-1_armhf.deb ...
Unpacking alex (3.1.7-1) ...
Selecting previously unselected package cpphs.
Preparing to unpack .../cpphs_1.20.1-1+b1_armhf.deb ...
Unpacking cpphs (1.20.1-1+b1) ...
Selecting previously unselected package happy.
Preparing to unpack .../happy_1.19.5-5_armhf.deb ...
Unpacking happy (1.19.5-5) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../html-xml-utils_6.9-1_armhf.deb ...
Unpacking html-xml-utils (6.9-1) ...
Selecting previously unselected package hscolour.
Preparing to unpack .../hscolour_1.24-1_armhf.deb ...
Unpacking hscolour (1.24-1) ...
Selecting previously unselected package haskell-devscripts.
Preparing to unpack .../haskell-devscripts_0.10.2.3_all.deb ...
Unpacking haskell-devscripts (0.10.2.3) ...
Selecting previously unselected package libghc-split-dev.
Preparing to unpack .../libghc-split-dev_0.2.3.1-1_armhf.deb ...
Unpacking libghc-split-dev (0.2.3.1-1) ...
Selecting previously unselected package libghc-boxes-dev.
Preparing to unpack .../libghc-boxes-dev_0.1.4-2+b1_armhf.deb ...
Unpacking libghc-boxes-dev (0.1.4-2+b1) ...
Selecting previously unselected package libghc-old-locale-dev.
Preparing to unpack .../libghc-old-locale-dev_1.0.0.7-3_armhf.deb ...
Unpacking libghc-old-locale-dev (1.0.0.7-3) ...
Selecting previously unselected package libghc-old-time-dev.
Preparing to unpack .../libghc-old-time-dev_1.1.0.3-2_armhf.deb ...
Unpacking libghc-old-time-dev (1.1.0.3-2) ...
Selecting previously unselected package libghc-cpphs-dev.
Preparing to unpack .../libghc-cpphs-dev_1.20.1-1+b1_armhf.deb ...
Unpacking libghc-cpphs-dev (1.20.1-1+b1) ...
Selecting previously unselected package libghc-data-hash-dev.
Preparing to unpack .../libghc-data-hash-dev_0.2.0.1-2_armhf.deb ...
Unpacking libghc-data-hash-dev (0.2.0.1-2) ...
Selecting previously unselected package libghc-mtl-dev.
Preparing to unpack .../libghc-mtl-dev_2.2.1-3_armhf.deb ...
Unpacking libghc-mtl-dev (2.2.1-3) ...
Selecting previously unselected package libghc-edison-api-dev.
Preparing to unpack .../libghc-edison-api-dev_1.3-1_armhf.deb ...
Unpacking libghc-edison-api-dev (1.3-1) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../libghc-random-dev_1.1-3_armhf.deb ...
Unpacking libghc-random-dev (1.1-3) ...
Selecting previously unselected package libghc-primitive-dev.
Preparing to unpack .../libghc-primitive-dev_0.6.1.0-2_armhf.deb ...
Unpacking libghc-primitive-dev (0.6.1.0-2) ...
Selecting previously unselected package libghc-tf-random-dev.
Preparing to unpack .../libghc-tf-random-dev_0.5-5_armhf.deb ...
Unpacking libghc-tf-random-dev (0.5-5) ...
Selecting previously unselected package libghc-quickcheck2-dev.
Preparing to unpack .../libghc-quickcheck2-dev_2.8.2-1_armhf.deb ...
Unpacking libghc-quickcheck2-dev (2.8.2-1) ...
Selecting previously unselected package libghc-edison-core-dev.
Preparing to unpack .../libghc-edison-core-dev_1.3.1.1-1_armhf.deb ...
Unpacking libghc-edison-core-dev (1.3.1.1-1) ...
Selecting previously unselected package libghc-edit-distance-dev.
Preparing to unpack .../libghc-edit-distance-dev_0.2.2.1-3_armhf.deb ...
Unpacking libghc-edit-distance-dev (0.2.2.1-3) ...
Selecting previously unselected package libghc-stmonadtrans-dev.
Preparing to unpack .../libghc-stmonadtrans-dev_0.3.3-2_armhf.deb ...
Unpacking libghc-stmonadtrans-dev (0.3.3-2) ...
Selecting previously unselected package libghc-transformers-compat-dev.
Preparing to unpack .../libghc-transformers-compat-dev_0.4.0.4-5_armhf.deb ...
Unpacking libghc-transformers-compat-dev (0.4.0.4-5) ...
Selecting previously unselected package libghc-equivalence-dev.
Preparing to unpack .../libghc-equivalence-dev_0.3.1-2+b1_armhf.deb ...
Unpacking libghc-equivalence-dev (0.3.1-2+b1) ...
Selecting previously unselected package libghc-unix-compat-dev.
Preparing to unpack .../libghc-unix-compat-dev_0.4.1.4-4_armhf.deb ...
Unpacking libghc-unix-compat-dev (0.4.1.4-4) ...
Selecting previously unselected package libghc-filemanip-dev.
Preparing to unpack .../libghc-filemanip-dev_0.3.6.3-4_armhf.deb ...
Unpacking libghc-filemanip-dev (0.3.6.3-4) ...
Selecting previously unselected package libghc-geniplate-mirror-dev.
Preparing to unpack .../libghc-geniplate-mirror-dev_0.7.4-1_armhf.deb ...
Unpacking libghc-geniplate-mirror-dev (0.7.4-1) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../libghc-hashable-dev_1.2.4.0-1+b1_armhf.deb ...
Unpacking libghc-hashable-dev (1.2.4.0-1+b1) ...
Selecting previously unselected package libghc-vector-dev.
Preparing to unpack .../libghc-vector-dev_0.11.0.0-1_armhf.deb ...
Unpacking libghc-vector-dev (0.11.0.0-1) ...
Selecting previously unselected package libghc-hashtables-dev.
Preparing to unpack .../libghc-hashtables-dev_1.2.1.0-1+b2_armhf.deb ...
Unpacking libghc-hashtables-dev (1.2.1.0-1+b2) ...
Selecting previously unselected package libghc-monadplus-dev.
Preparing to unpack .../libghc-monadplus-dev_1.4.2-1_armhf.deb ...
Unpacking libghc-monadplus-dev (1.4.2-1) ...
Selecting previously unselected package libghc-parallel-dev.
Preparing to unpack .../libghc-parallel-dev_3.2.1.0-1_armhf.deb ...
Unpacking libghc-parallel-dev (3.2.1.0-1) ...
Selecting previously unselected package libghc-src-exts-dev.
Preparing to unpack .../libghc-src-exts-dev_1.17.1-1+b1_armhf.deb ...
Unpacking libghc-src-exts-dev (1.17.1-1+b1) ...
Selecting previously unselected package libghc-strict-dev.
Preparing to unpack .../libghc-strict-dev_0.3.2-11_armhf.deb ...
Unpacking libghc-strict-dev (0.3.2-11) ...
Selecting previously unselected package libghc-unordered-containers-dev.
Preparing to unpack .../libghc-unordered-containers-dev_0.2.7.0-1_armhf.deb ...
Unpacking libghc-unordered-containers-dev (0.2.7.0-1) ...
Selecting previously unselected package libghc-zlib-dev.
Preparing to unpack .../libghc-zlib-dev_0.6.1.1-1_armhf.deb ...
Unpacking libghc-zlib-dev (0.6.1.1-1) ...
Selecting previously unselected package sbuild-build-depends-agda-dummy.
Preparing to unpack .../sbuild-build-depends-agda-dummy.deb ...
Unpacking sbuild-build-depends-agda-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.23-1+rpi1) ...
Processing triggers for systemd (230-5) ...
Setting up cdbs (0.4.142) ...
Setting up libhtml-tagset-perl (3.20-2) ...
Setting up libsub-install-perl (0.928-1) ...
Setting up libarray-unique-perl (0.08-2) ...
Setting up libio-stringy-perl (2.110-5) ...
Setting up libnettle6:armhf (3.2-1) ...
Setting up libicu55:armhf (55.1-7) ...
Setting up liblockfile-bin (1.09-6) ...
Setting up libhttp-date-perl (6.02-1) ...
Setting up libapt-pkg-perl (0.1.29+b6) ...
Setting up libarchive-zip-perl (1.57-1) ...
Setting up libnghttp2-14:armhf (1.12.0-2) ...
Setting up libfile-which-perl (1.21-1) ...
Setting up libencode-locale-perl (1.05-1) ...
Setting up liberror-perl (0.17-1.3) ...
Setting up libsigsegv2:armhf (2.10-5) ...
Setting up libgpm2:armhf (1.20.4-6.2) ...
Setting up libemail-date-format-perl (1.005-1) ...
Setting up groff-base (1.22.3-8) ...
Setting up liblockfile1:armhf (1.09-6) ...
Setting up libasound2-data (1.1.1-2) ...
Setting up emacsen-common (2.0.8) ...
Setting up libio-html-perl (1.001-1) ...
Setting up libexporter-tiny-perl (0.042-1) ...
Setting up libsasl2-modules-db:armhf (2.1.26.dfsg1-15) ...
Setting up libtie-ixhash-perl (1.23-2) ...
Setting up libsasl2-2:armhf (2.1.26.dfsg1-15) ...
Setting up libtinfo-dev:armhf (6.0+20160319-2) ...
Setting up libyaml-perl (1.15-1) ...
Setting up libperlio-utf8-strict-perl (0.006-1+b1) ...
Setting up dctrl-tools (2.24-2) ...
Setting up gettext-base (0.19.8.1-1) ...
Setting up libpipeline1:armhf (1.4.1-2) ...
Setting up m4 (1.4.17-5) ...
Setting up libarray-utils-perl (0.5-1) ...
Setting up libbsd0:armhf (0.8.3-1) ...
Setting up libemail-address-perl (1.908-1) ...
Setting up libxml2:armhf (2.9.3+dfsg1-1.2) ...
Setting up libtasn1-6:armhf (4.8-1) ...
Setting up libasound2:armhf (1.1.1-2) ...
Setting up libmagic1:armhf (1:5.28-2) ...
Setting up libhogweed4:armhf (3.2-1) ...
Setting up libncurses5-dev:armhf (6.0+20160319-2) ...
Setting up libfile-chdir-perl (0.1008-1) ...
Setting up libexporter-lite-perl (0.08-1) ...
Setting up libssl1.0.2:armhf (1.0.2h-1) ...
Setting up libtext-glob-perl (0.09-2) ...
Setting up libssh2-1:armhf (1.5.0-2.1) ...
Setting up liblwp-mediatypes-perl (6.02-1) ...
Setting up autotools-dev (20160430.1) ...
Setting up libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Setting up liburi-perl (1.71-1) ...
Setting up libhtml-parser-perl (3.72-2) ...
Setting up openssl (1.0.2h-1) ...
Setting up libcgi-pm-perl (4.28-1) ...
Setting up libfile-listing-perl (6.04-1) ...
Setting up libio-string-perl (1.08-3) ...
Setting up liblocale-gettext-perl (1.07-3) ...
Setting up libhttp-message-perl (6.11-1) ...
Setting up libnet-http-perl (6.09-1) ...
Setting up libnumber-compare-perl (0.03-1) ...
Setting up libffi6:armhf (3.2.1-4) ...
Setting up libkeyutils1:armhf (1.5.9-9) ...
Setting up bsdmainutils (9.0.10) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up libgmpxx4ldbl:armhf (2:6.1.1+dfsg-1) ...
Setting up libparams-util-perl (1.07-3) ...
Setting up libenv-sanctify-perl (1.12-1) ...
Setting up libsub-name-perl (0.15-1) ...
Setting up ca-certificates (20160104) ...
Setting up libyaml-libyaml-perl (0.41-6+b1) ...
Setting up libwww-robotrules-perl (6.01-1) ...
Setting up libtext-template-perl (1.46-1) ...
Setting up autopoint (0.19.8.1-1) ...
Setting up libclass-accessor-perl (0.34-1) ...
Setting up libalgorithm-c3-perl (0.10-1) ...
Setting up libclass-c3-perl (0.31-1) ...
Setting up libhttp-negotiate-perl (6.00-2) ...
Setting up netbase (5.3) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-2+b1) ...
Setting up libfile-stripnondeterminism-perl (0.019-1) ...
Setting up libedit2:armhf (3.1-20150325-1) ...
Setting up liblist-moreutils-perl (0.415-1) ...
Setting up libgmp-dev:armhf (2:6.1.1+dfsg-1) ...
Setting up binfmt-support (2.1.6-1) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
Created symlink /etc/systemd/system/multi-user.target.wants/binfmt-support.service → /lib/systemd/system/binfmt-support.service.
Running in chroot, ignoring request.
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up happy (1.19.5-5) ...
Setting up libdata-optlist-perl (0.110-1) ...
Setting up libfile-find-rule-perl (0.34-1) ...
Setting up libllvm3.5v5:armhf (1:3.5.2-3) ...
Setting up llvm-3.5-runtime (1:3.5.2-3) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
Setting up libhttp-cookies-perl (6.01-1) ...
Setting up alex (3.1.7-1) ...
Setting up libnet-ssleay-perl (1.74-1) ...
Setting up libbsd-dev:armhf (0.8.3-1) ...
Setting up libhttp-server-simple-perl (0.51-1) ...
Setting up emacs24-common (24.5+1-6) ...
Setting up libglib2.0-0:armhf (2.48.1-1) ...
No schema files found: doing nothing.
Setting up libffi-dev:armhf (3.2.1-4) ...
Setting up libhttp-daemon-perl (6.01-1) ...
Setting up autoconf (2.69-10) ...
Setting up libmro-compat-perl (0.12-1) ...
Setting up file (1:5.28-2) ...
Setting up libclass-accessor-chained-perl (0.01.1~debian-4) ...
Setting up libkrb5support0:armhf (1.14.2+dfsg-1) ...
Setting up libio-socket-ssl-perl (2.029-1) ...
Setting up libhtml-tree-perl (5.03-2) ...
Setting up libcroco3:armhf (0.6.11-1) ...
Setting up libsub-exporter-perl (0.986-1) ...
Setting up hscolour (1.24-1) ...
Setting up libp11-kit0:armhf (0.23.2-3) ...
Setting up automake (1:1.15-4) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up libmixin-linewise-perl (0.108-1) ...
Setting up llvm-3.5 (1:3.5.2-3) ...
Setting up libhtml-form-perl (6.03-1) ...
Setting up libparse-debianchangelog-perl (1.2.0-8) ...
Setting up man-db (2.7.5-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up cpphs (1.20.1-1+b1) ...
Setting up emacs24-bin-common (24.5+1-6+b2) ...
update-alternatives: using /usr/bin/ctags.emacs24 to provide /usr/bin/ctags (ctags) in auto mode
update-alternatives: using /usr/bin/ebrowse.emacs24 to provide /usr/bin/ebrowse (ebrowse) in auto mode
update-alternatives: using /usr/bin/emacsclient.emacs24 to provide /usr/bin/emacsclient (emacsclient) in auto mode
update-alternatives: using /usr/bin/etags.emacs24 to provide /usr/bin/etags (etags) in auto mode
update-alternatives: using /usr/bin/grep-changelog.emacs24 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode
Setting up libtool (2.4.6-0.1) ...
Setting up libk5crypto3:armhf (1.14.2+dfsg-1) ...
Setting up libdata-section-perl (0.200006-1) ...
Setting up libconfig-ini-perl (1:0.025-1) ...
Setting up libmodule-depends-perl (0.16-2) ...
Setting up gettext (0.19.8.1-1) ...
Setting up ghc (7.10.3-9+rpi1) ...
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 libgnutls30:armhf (3.4.13-1) ...
Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-1) ...
Setting up libghc-split-dev (0.2.3.1-1) ...
Setting up libsoftware-license-perl (0.103012-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up libghc-random-dev (1.1-3) ...
Setting up libghc-boxes-dev (0.1.4-2+b1) ...
Setting up libghc-monadplus-dev (1.4.2-1) ...
Setting up libldap-2.4-2:armhf (2.4.42+dfsg-2+rpi1+b2) ...
Setting up libghc-transformers-compat-dev (0.4.0.4-5) ...
Setting up libghc-parallel-dev (3.2.1.0-1) ...
Setting up libkrb5-3:armhf (1.14.2+dfsg-1) ...
Setting up libghc-edit-distance-dev (0.2.2.1-3) ...
Setting up libghc-text-dev (1.2.2.1-1) ...
Setting up libghc-data-hash-dev (0.2.0.1-2) ...
Setting up libghc-hashable-dev (1.2.4.0-1+b1) ...
Setting up emacs24-nox (24.5+1-6+b2) ...
update-alternatives: using /usr/bin/emacs24-nox to provide /usr/bin/emacs (emacs) in auto mode
Install emacsen-common for emacs24
emacsen-common: Handling install of emacsen flavor emacs24
Wrote /etc/emacs24/site-start.d/00debian-vars.elc
Wrote /usr/share/emacs24/site-lisp/debian-startup.elc
Setting up libghc-unix-compat-dev (0.4.1.4-4) ...
Setting up libghc-old-locale-dev (1.0.0.7-3) ...
Setting up libghc-strict-dev (0.3.2-11) ...
Setting up libghc-old-time-dev (1.1.0.3-2) ...
Setting up libghc-zlib-dev (0.6.1.1-1) ...
Setting up libghc-polyparse-dev (1.12-1+b1) ...
Setting up po-debconf (1.0.19) ...
Setting up libghc-mtl-dev (2.2.1-3) ...
Setting up libghc-primitive-dev (0.6.1.0-2) ...
Setting up libghc-filemanip-dev (0.3.6.3-4) ...
Setting up libgssapi-krb5-2:armhf (1.14.2+dfsg-1) ...
Setting up libghc-geniplate-mirror-dev (0.7.4-1) ...
Setting up libghc-unordered-containers-dev (0.2.7.0-1) ...
Setting up libghc-vector-dev (0.11.0.0-1) ...
Setting up libghc-stmonadtrans-dev (0.3.3-2) ...
Setting up libghc-cpphs-dev (1.20.1-1+b1) ...
Setting up libghc-edison-api-dev (1.3-1) ...
Setting up libghc-tf-random-dev (0.5-5) ...
Setting up libghc-equivalence-dev (0.3.1-2+b1) ...
Setting up libcurl3-gnutls:armhf (7.47.0-1) ...
Setting up libghc-hashtables-dev (1.2.1.0-1+b2) ...
Setting up libghc-src-exts-dev (1.17.1-1+b1) ...
Setting up html-xml-utils (6.9-1) ...
Setting up libghc-quickcheck2-dev (2.8.2-1) ...
Setting up libghc-edison-core-dev (1.3.1.1-1) ...
Setting up dh-strip-nondeterminism (0.019-1) ...
Setting up dh-autoreconf (12) ...
Setting up liblwp-protocol-https-perl (6.06-2) ...
Setting up libwww-perl (6.15-1) ...
Setting up debhelper (9.20160403) ...
Setting up libparse-debcontrol-perl (2.005-4) ...
Setting up libwww-mechanize-perl (1.75-1) ...
Setting up libdebian-source-perl (0.91) ...
Setting up dh-make-perl (0.91) ...
Setting up dh-buildinfo (0.11+nmu1) ...
Setting up dh-elpa (0.0.21) ...
Setting up haskell-devscripts (0.10.2.3) ...
Setting up sbuild-build-depends-agda-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.23-1+rpi1) ...
Processing triggers for ca-certificates (20160104) ...
Updating certificates in /etc/ssl/certs...
173 added, 0 removed; done.
Running hooks in /etc/ca-certificates/update.d...
done.
Processing triggers for systemd (230-5) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.26.1-1 dpkg-dev_1.18.7 g++-5_5.4.0-4 gcc-5_5.4.0-4 libc6-dev_2.23-1+rpi1 libstdc++-4.9-dev_4.9.3-14 libstdc++-5-dev_5.4.0-4 libstdc++6_6.1.1-1+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: acl_2.2.52-3 adduser_3.115 alex_3.1.7-1 apt_1.3~pre2 autoconf_2.69-10 automake_1:1.15-4 autopoint_0.19.8.1-1 autotools-dev_20160430.1 base-files_9.6+rpi1 base-passwd_3.5.39 bash_4.3-15 binfmt-support_2.1.6-1 binutils_2.26.1-1 bsdmainutils_9.0.10 bsdutils_1:2.28-5 build-essential_11.7 bzip2_1.0.6-8 ca-certificates_20160104 cdbs_0.4.142 coreutils_8.25-2 cpio_2.11+dfsg-5 cpp_4:5.3.1-3 cpp-5_5.4.0-4 cpphs_1.20.1-1+b1 dash_0.5.8-2.3 dctrl-tools_2.24-2 debconf_1.5.59 debfoster_2.7-2 debhelper_9.20160403 debianutils_4.8 dh-autoreconf_12 dh-buildinfo_0.11+nmu1 dh-elpa_0.0.21 dh-make-perl_0.91 dh-strip-nondeterminism_0.019-1 diffutils_1:3.3-3 dmsetup_2:1.02.127-1 dpkg_1.18.7 dpkg-dev_1.18.7 e2fslibs_1.43.1-1 e2fsprogs_1.43.1-1 emacs24-bin-common_24.5+1-6+b2 emacs24-common_24.5+1-6 emacs24-nox_24.5+1-6+b2 emacsen-common_2.0.8 fakeroot_1.21-1 file_1:5.28-2 findutils_4.6.0+git+20160517-5 fuse2fs_1.43.1-1 g++_4:5.3.1-3 g++-5_5.4.0-4 gcc_4:5.3.1-3 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.3-14 gcc-5_5.4.0-4 gcc-5-base_5.4.0-4 gcc-6-base_6.1.1-1+rpi1 gettext_0.19.8.1-1 gettext-base_0.19.8.1-1 ghc_7.10.3-9+rpi1 gnupg_1.4.20-6 gpgv_1.4.20-6 grep_2.25-6 groff-base_1.22.3-8 gzip_1.6-5 happy_1.19.5-5 haskell-devscripts_0.10.2.3 hostname_3.18 hscolour_1.24-1 html-xml-utils_6.9-1 init_1.36 init-system-helpers_1.36 initscripts_2.88dsf-59.7 insserv_1.14.0-5.3 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-9+rpi1 kmod_22-1.1 libacl1_2.2.52-3 libalgorithm-c3-perl_0.10-1 libapparmor1_2.10.95-4 libapt-pkg-perl_0.1.29+b6 libapt-pkg4.12_1.0.9.10 libapt-pkg5.0_1.3~pre2 libarchive-zip-perl_1.57-1 libarray-unique-perl_0.08-2 libarray-utils-perl_0.5-1 libasan1_4.9.3-14 libasan2_5.4.0-4 libasound2_1.1.1-2 libasound2-data_1.1.1-2 libatomic1_6.1.1-1+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.5.2-1+rpi1 libaudit1_1:2.5.2-1+rpi1 libblkid1_2.28-5 libbsd-dev_0.8.3-1 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8 libc-bin_2.23-1+rpi1 libc-dev-bin_2.23-1+rpi1 libc6_2.23-1+rpi1 libc6-dev_2.23-1+rpi1 libcap2_1:2.25-1 libcap2-bin_1:2.25-1 libcc1-0_6.1.1-1+rpi1 libcgi-pm-perl_4.28-1 libclass-accessor-chained-perl_0.01.1~debian-4 libclass-accessor-perl_0.34-1 libclass-c3-perl_0.31-1 libcomerr2_1.43.1-1 libconfig-ini-perl_1:0.025-1 libcroco3_0.6.11-1 libcryptsetup4_2:1.7.0-2 libcurl3-gnutls_7.47.0-1 libdata-optlist-perl_0.110-1 libdata-section-perl_0.200006-1 libdb5.3_5.3.28-11 libdbus-1-3_1.10.8-1 libdebconfclient0_0.213 libdebian-source-perl_0.91 libdevmapper1.02.1_2:1.02.127-1 libdpkg-perl_1.18.7 libdrm2_2.4.68-1 libedit2_3.1-20150325-1 libemail-address-perl_1.908-1 libemail-date-format-perl_1.005-1 libencode-locale-perl_1.05-1 libenv-sanctify-perl_1.12-1 liberror-perl_0.17-1.3 libexporter-lite-perl_0.08-1 libexporter-tiny-perl_0.042-1 libfakeroot_1.21-1 libfdisk1_2.28-5 libffi-dev_3.2.1-4 libffi6_3.2.1-4 libfile-chdir-perl_0.1008-1 libfile-find-rule-perl_0.34-1 libfile-listing-perl_6.04-1 libfile-stripnondeterminism-perl_0.019-1 libfile-which-perl_1.21-1 libfuse2_2.9.7-1 libgc1c2_1:7.4.2-8 libgcc-4.9-dev_4.9.3-14 libgcc-5-dev_5.4.0-4 libgcc1_1:6.1.1-1+rpi1 libgcrypt20_1.7.1-2 libgdbm3_1.8.3-14 libghc-boxes-dev_0.1.4-2+b1 libghc-cpphs-dev_1.20.1-1+b1 libghc-data-hash-dev_0.2.0.1-2 libghc-edison-api-dev_1.3-1 libghc-edison-core-dev_1.3.1.1-1 libghc-edit-distance-dev_0.2.2.1-3 libghc-equivalence-dev_0.3.1-2+b1 libghc-filemanip-dev_0.3.6.3-4 libghc-geniplate-mirror-dev_0.7.4-1 libghc-hashable-dev_1.2.4.0-1+b1 libghc-hashtables-dev_1.2.1.0-1+b2 libghc-monadplus-dev_1.4.2-1 libghc-mtl-dev_2.2.1-3 libghc-old-locale-dev_1.0.0.7-3 libghc-old-time-dev_1.1.0.3-2 libghc-parallel-dev_3.2.1.0-1 libghc-polyparse-dev_1.12-1+b1 libghc-primitive-dev_0.6.1.0-2 libghc-quickcheck2-dev_2.8.2-1 libghc-random-dev_1.1-3 libghc-split-dev_0.2.3.1-1 libghc-src-exts-dev_1.17.1-1+b1 libghc-stmonadtrans-dev_0.3.3-2 libghc-strict-dev_0.3.2-11 libghc-text-dev_1.2.2.1-1 libghc-tf-random-dev_0.5-5 libghc-transformers-compat-dev_0.4.0.4-5 libghc-unix-compat-dev_0.4.1.4-4 libghc-unordered-containers-dev_0.2.7.0-1 libghc-vector-dev_0.11.0.0-1 libghc-zlib-dev_0.6.1.1-1 libglib2.0-0_2.48.1-1 libgmp-dev_2:6.1.1+dfsg-1 libgmp10_2:6.1.1+dfsg-1 libgmpxx4ldbl_2:6.1.1+dfsg-1 libgnutls30_3.4.13-1 libgomp1_6.1.1-1+rpi1 libgpg-error0_1.23-1 libgpm2_1.20.4-6.2 libgssapi-krb5-2_1.14.2+dfsg-1 libhogweed4_3.2-1 libhtml-form-perl_6.03-1 libhtml-parser-perl_3.72-2 libhtml-tagset-perl_3.20-2 libhtml-tree-perl_5.03-2 libhttp-cookies-perl_6.01-1 libhttp-daemon-perl_6.01-1 libhttp-date-perl_6.02-1 libhttp-message-perl_6.11-1 libhttp-negotiate-perl_6.00-2 libhttp-server-simple-perl_0.51-1 libicu55_55.1-7 libidn11_1.32-3.1 libio-html-perl_1.001-1 libio-socket-ssl-perl_2.029-1 libio-string-perl_1.08-3 libio-stringy-perl_2.110-5 libisl15_0.17.1-1 libk5crypto3_1.14.2+dfsg-1 libkeyutils1_1.5.9-9 libklibc_2.0.4-9+rpi1 libkmod2_22-1.1 libkrb5-3_1.14.2+dfsg-1 libkrb5support0_1.14.2+dfsg-1 libldap-2.4-2_2.4.42+dfsg-2+rpi1+b2 liblist-moreutils-perl_0.415-1 libllvm3.5v5_1:3.5.2-3 liblocale-gettext-perl_1.07-3 liblockfile-bin_1.09-6 liblockfile1_1.09-6 liblwp-mediatypes-perl_6.02-1 liblwp-protocol-https-perl_6.06-2 liblz4-1_0.0~r131-2 liblzma5_5.1.1alpha+20120614-2.1 libmagic1_1:5.28-2 libmixin-linewise-perl_0.108-1 libmodule-depends-perl_0.16-2 libmount1_2.28-5 libmpc3_1.0.3-1 libmpfr4_3.1.4-2 libmro-compat-perl_0.12-1 libncurses5_6.0+20160319-2 libncurses5-dev_6.0+20160319-2 libncursesw5_6.0+20160319-2 libnet-http-perl_6.09-1 libnet-ssleay-perl_1.74-1 libnettle6_3.2-1 libnghttp2-14_1.12.0-2 libnumber-compare-perl_0.03-1 libp11-kit0_0.23.2-3 libpam-modules_1.1.8-3.3 libpam-modules-bin_1.1.8-3.3 libpam-runtime_1.1.8-3.3 libpam0g_1.1.8-3.3 libparams-util-perl_1.07-3 libparse-debcontrol-perl_2.005-4 libparse-debianchangelog-perl_1.2.0-8 libpcre3_2:8.38-3.1 libperl5.22_5.22.2-2 libperlio-utf8-strict-perl_0.006-1+b1 libpipeline1_1.4.1-2 libpng12-0_1.2.54-6 libprocps3_2:3.3.9-9 libprocps5_2:3.3.11-3 libreadline6_6.3-8+b3 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.26.dfsg1-15 libsasl2-modules-db_2.1.26.dfsg1-15 libseccomp2_2.3.1-2 libselinux1_2.5-3 libsemanage-common_2.5-1 libsemanage1_2.5-1 libsepol1_2.5-1 libsigsegv2_2.10-5 libslang2_2.3.0-3 libsmartcols1_2.28-5 libsoftware-license-perl_0.103012-1 libss2_1.43.1-1 libssh2-1_1.5.0-2.1 libssl1.0.2_1.0.2h-1 libstdc++-4.9-dev_4.9.3-14 libstdc++-5-dev_5.4.0-4 libstdc++6_6.1.1-1+rpi1 libsub-exporter-perl_0.986-1 libsub-install-perl_0.928-1 libsub-name-perl_0.15-1 libsystemd0_230-5 libtasn1-6_4.8-1 libtext-glob-perl_0.09-2 libtext-template-perl_1.46-1 libtie-ixhash-perl_1.23-2 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160319-2 libtinfo5_6.0+20160319-2 libtool_2.4.6-0.1 libubsan0_6.1.1-1+rpi1 libudev1_230-5 libunistring0_0.9.6+really0.9.3-0.1 liburi-perl_1.71-1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-5 libuuid1_2.28-5 libwww-mechanize-perl_1.75-1 libwww-perl_6.15-1 libwww-robotrules-perl_6.01-1 libxml2_2.9.3+dfsg1-1.2 libyaml-libyaml-perl_0.41-6+b1 libyaml-perl_1.15-1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch llvm-3.5_1:3.5.2-3 llvm-3.5-runtime_1:3.5.2-3 login_1:4.2-3.1 lsb-base_9.20160629+rpi1 m4_1.4.17-5 make_4.1-9 makedev_2.3.1-93 man-db_2.7.5-1 manpages_4.06-1 mawk_1.3.3-17 mount_2.28-5 multiarch-support_2.23-1+rpi1 nano_2.6.1-1 ncurses-base_6.0+20160319-2 ncurses-bin_6.0+20160319-2 netbase_5.3 openssl_1.0.2h-1 passwd_1:4.2-3.1 patch_2.7.5-1 perl_5.22.2-2 perl-base_5.22.2-2 perl-modules-5.22_5.22.2-2 po-debconf_1.0.19 procps_2:3.3.11-3 raspbian-archive-keyring_20120528.2 readline-common_6.3-8 sbuild-build-depends-agda-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-7.1 sensible-utils_0.0.9 startpar_0.59-3 systemd_230-5 systemd-sysv_230-5 sysv-rc_2.88dsf-59.7 sysvinit-utils_2.88dsf-59.7 tar_1.29-1+rpi1 tzdata_2016f-1 udev_230-5 util-linux_2.28-5 xz-utils_5.1.1alpha+20120614-2.1 zlib1g_1:1.2.8.dfsg-2+b1 zlib1g-dev_1:1.2.8.dfsg-2+b1

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Mon Jun 20 09:10:33 2016 UTC using RSA key ID F0FBF51F
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./agda_2.5.1-2.dsc
dpkg-source: info: extracting agda in agda-2.5.1
dpkg-source: info: unpacking agda_2.5.1.orig.tar.gz
dpkg-source: info: unpacking agda_2.5.1-2.debian.tar.xz
dpkg-source: info: applying add-elpa-pkg-el-file.patch

Check disc space
----------------

Sufficient free space for build

User Environment
----------------

DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=stretch-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=stretch-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=stretch-staging-armhf-sbuild-d32f28c3-ae20-44f9-831d-50da7fafc434
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package agda
dpkg-buildpackage: info: source version 2.5.1-2
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build agda-2.5.1
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
test -x debian/rules
dh_clean 
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
clean_recipe
Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\*
Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp
Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs
Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs
Running rm -f debian/libghc-agda-doc.links debian/libghcjs-agda-doc.links
Running rm -f debian/hlibrary.Makefile
Running rm -rf debian/dh_haskell_shlibdeps
 debian/rules build-arch
test -x debian/rules
mkdir -p "."
CDBS WARNING:    DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
make_setup_recipe
Running ghc --make Setup.hs -o debian/hlibrary.setup
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking debian/hlibrary.setup ...
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
configure_recipe
Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.5.1/ --datasubdir=agda --htmldir=/usr/share/doc/libghc-agda-doc/html/ --datadir=/usr/share --datasubdir=libghc-agda-dev --ghc-options=-optc--param\ -optcggc-min-expand=10
Configuring Agda-2.5.1...
Flags chosen: uhc=False, cpphs=True
Dependency Agda ==2.5.1: using Agda-2.5.1
Dependency EdisonAPI ==1.3: using EdisonAPI-1.3
Dependency EdisonCore >=1.3.1.1 && <1.3.2: using EdisonCore-1.3.1.1
Dependency QuickCheck >=2.8.2 && <2.9: using QuickCheck-2.8.2
Dependency array >=0.4.0.1 && <0.6: using array-0.5.1.0
Dependency base >=4.6.0.1 && <4.10: using base-4.8.2.0
Dependency binary >=0.7.2.1 && <0.9: using binary-0.7.5.0
Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.4
Dependency bytestring >=0.10.0.2 && <0.11: using bytestring-0.10.6.0
Dependency containers >=0.5.0.0 && <0.6: using containers-0.5.6.2
Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1
Dependency deepseq >=1.3.0.1 && <1.5: using deepseq-1.4.1.1
Dependency directory >=1.2.0.1 && <1.3: using directory-1.2.2.0
Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1
Dependency equivalence >=0.2.5 && <0.4: using equivalence-0.3.1
Dependency filemanip >=0.3.6.3 && <0.4: using filemanip-0.3.6.3
Dependency filepath >=1.3.0.1 && <1.5: using filepath-1.4.0.0
Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.4
Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.4.0
Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using
hashtables-1.2.1.0
Dependency haskeline >=0.7.1.3 && <0.8: using haskeline-0.7.2.1
Dependency haskell-src-exts >=1.16.0.1 && <1.18: using haskell-src-exts-1.17.1
Dependency monadplus ==1.4.*: using monadplus-1.4.2
Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.2.1
Dependency parallel >=3.2.0.4 && <3.3: using parallel-3.2.1.0
Dependency pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2: using
pretty-1.1.2.0
Dependency process >=1.1.0.2 && <1.5: using process-1.2.3.0
Dependency strict >=0.3.2 && <0.4: using strict-0.3.2
Dependency template-haskell >=2.8.0.0 && <2.12: using
template-haskell-2.10.0.0
Dependency text >=0.11.3.1 && <1.3: using text-1.2.2.1
Dependency time >=1.4.0.1 && <1.7: using time-1.5.0.1
Dependency transformers ==0.3.* || >=0.4.1.0 && <0.6: using
transformers-0.4.2.0
Dependency transformers-compat >=0.3.3.3 && <0.6: using
transformers-compat-0.4.0.4
Dependency unordered-containers >=0.2.5.0 && <0.3: using
unordered-containers-0.2.7.0
Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1
Dependency zlib >=0.4.0.1 && <0.7: using zlib-0.6.1.1
Using Cabal-1.22.5.0 compiled by ghc-7.10
Using compiler: ghc-7.10.3
Using install prefix: /usr
Binaries installed in: /usr/bin
Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-7.10.3/Agda-2.5.1-AgxpG1fPRTIGRKAbyx5Vu1
Private binaries installed in: /usr/lib
Data files installed in: /usr/share/libghc-agda-dev
Documentation installed in: /usr/share/doc/arm-linux-ghc-7.10.3/Agda-2.5.1
Configuration files installed in: /usr/etc
Using alex version 3.1.7 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
No c2hs found
Using cpphs version 1.20.1 found on system at: /usr/bin/cpphs
Using gcc version 5.4.0 found on system at: /usr/bin/gcc
Using ghc version 7.10.3 found on system at: /usr/bin/ghc
Using ghc-pkg version 7.10.3 found on system at: /usr/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.16.1 found on system at: /usr/bin/haddock
Using happy version 1.19.5 found on system at: /usr/bin/happy
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.67 found on system at: /usr/bin/hpc
Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs
Using hscolour version 1.24 found on system at: /usr/bin/HsColour
No jhc found
Using ld found on system at: /usr/bin/ld
No lhc found
No lhc-pkg found
No pkg-config found
Using strip version 2.26 found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar
No uhc found
touch configure-ghc-stamp
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
build_recipe
Running debian/hlibrary.setup build --builddir=dist-ghc
Building Agda-2.5.1...
Preprocessing library Agda-2.5.1...
[  1 of 333] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist-ghc/build/Agda/Utils/IORef.o )
[  2 of 333] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o )
[  3 of 333] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist-ghc/build/Agda/Utils/Cluster.o )
[  4 of 333] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o )
[  5 of 333] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o )
[  6 of 333] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o )
[  7 of 333] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o )
[  8 of 333] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o )
[  9 of 333] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist-ghc/build/Agda/Utils/Environment.o )
[ 10 of 333] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist-ghc/build/Agda/Interaction/Library/Base.o )
[ 11 of 333] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o )
[ 12 of 333] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist-ghc/build/Agda/Utils/TestHelpers.o )
[ 13 of 333] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist-ghc/build/Agda/Utils/QuickCheck.o )
[ 14 of 333] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o )
[ 15 of 333] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o )
[ 16 of 333] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist-ghc/build/Agda/Utils/Singleton.o )
[ 17 of 333] Compiling Agda.Utils.Parser.ReadP ( src/full/Agda/Utils/Parser/ReadP.hs, dist-ghc/build/Agda/Utils/Parser/ReadP.o )
[ 18 of 333] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o )
[ 19 of 333] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o )
[ 20 of 333] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o )
[ 21 of 333] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o )
[ 22 of 333] Compiling Paths_Agda       ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o )
[ 23 of 333] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist-ghc/build/Agda/Utils/IO/Directory.o )
[ 24 of 333] Compiling Agda.Version     ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o )
[ 25 of 333] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o )
[ 26 of 333] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o )
[ 27 of 333] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o )
[ 28 of 333] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o )
[ 29 of 333] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o )
[ 30 of 333] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o )
[ 31 of 333] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist-ghc/build/Agda/Utils/ListT.o )
[ 32 of 333] Compiling Agda.Utils.ListT.Tests ( src/full/Agda/Utils/ListT/Tests.hs, dist-ghc/build/Agda/Utils/ListT/Tests.o )
[ 33 of 333] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o )
[ 34 of 333] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o )
[ 35 of 333] Compiling Agda.Compiler.UHC.Bridge ( src/full/Agda/Compiler/UHC/Bridge.hs, dist-ghc/build/Agda/Compiler/UHC/Bridge.o )
[ 36 of 333] Compiling Agda.Compiler.UHC.MagicTypes ( src/full/Agda/Compiler/UHC/MagicTypes.hs, dist-ghc/build/Agda/Compiler/UHC/MagicTypes.o )
[ 37 of 333] Compiling Agda.Compiler.UHC.Pragmas.Base ( src/full/Agda/Compiler/UHC/Pragmas/Base.hs, dist-ghc/build/Agda/Compiler/UHC/Pragmas/Base.o )
[ 38 of 333] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist-ghc/build/Agda/ImpossibleTest.o )
[ 39 of 333] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o )
[ 40 of 333] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist-ghc/build/Agda/Utils/Empty.o )
[ 41 of 333] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist-ghc/build/Agda/Utils/AssocList.o )
[ 42 of 333] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o )
[ 43 of 333] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o )
[ 44 of 333] Compiling Agda.Utils.Lens  ( src/full/Agda/Utils/Lens.hs, dist-ghc/build/Agda/Utils/Lens.o )
[ 45 of 333] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist-ghc/build/Agda/Utils/Memo.o )
[ 46 of 333] Compiling Agda.Utils.Bag   ( src/full/Agda/Utils/Bag.hs, dist-ghc/build/Agda/Utils/Bag.o )
[ 47 of 333] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o )
[ 48 of 333] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o )
[ 49 of 333] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o )
[ 50 of 333] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o )
[ 51 of 333] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o )
[ 52 of 333] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o )
[ 53 of 333] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o )
[ 54 of 333] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o )
[ 55 of 333] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o )
[ 56 of 333] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o )
[ 57 of 333] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o )
[ 58 of 333] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Tests.o )
[ 59 of 333] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist-ghc/build/Agda/Utils/Lens/Examples.o )
[ 60 of 333] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist-ghc/build/Agda/Utils/Except.o )
[ 61 of 333] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o )
[ 62 of 333] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist-ghc/build/Agda/Utils/Benchmark.o )
[ 63 of 333] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist-ghc/build/Agda/Benchmarking.o )
[ 64 of 333] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist-ghc/build/Agda/Utils/Parser/MemoisedCPS.o )
[ 65 of 333] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o )
[ 66 of 333] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o )
[ 67 of 333] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o )
[ 68 of 333] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o )
[ 69 of 333] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o )
[ 70 of 333] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist-ghc/build/Agda/Interaction/Library/Parse.o )
[ 71 of 333] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist-ghc/build/Agda/Interaction/Library.o )
[ 72 of 333] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o )
[ 73 of 333] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o )
[ 74 of 333] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o )
[ 75 of 333] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o )
[ 76 of 333] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o )
[ 77 of 333] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o )
[ 78 of 333] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist-ghc/build/Agda/Utils/HashMap.o )
[ 79 of 333] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o )
[ 80 of 333] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o )
[ 81 of 333] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o )
[ 82 of 333] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o )
[ 83 of 333] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o )
[ 84 of 333] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist-ghc/build/Agda/Compiler/JS/Case.o )
[ 85 of 333] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist-ghc/build/Agda/Compiler/JS/Parser.o )
[ 86 of 333] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o )
[ 87 of 333] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o )
[ 88 of 333] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot )
[ 89 of 333] Compiling Agda.Syntax.Fixity[boot] ( src/full/Agda/Syntax/Fixity.hs-boot, dist-ghc/build/Agda/Syntax/Fixity.o-boot )
[ 90 of 333] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o )
[ 91 of 333] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o )
[ 92 of 333] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist-ghc/build/Agda/Syntax/Treeless.o )
[ 93 of 333] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist-ghc/build/Agda/Compiler/Treeless/Pretty.o )
[ 94 of 333] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist-ghc/build/Agda/Syntax/Reflected.o )
[ 95 of 333] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o )
[ 96 of 333] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o )
[ 97 of 333] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o )
[ 98 of 333] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o )
[ 99 of 333] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o )
[100 of 333] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o )
[101 of 333] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist-ghc/build/Agda/Utils/Geniplate.o )
[102 of 333] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o )
[103 of 333] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist-ghc/build/Agda/Interaction/Response.o )
[104 of 333] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o )
[105 of 333] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o )
[106 of 333] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o )
[107 of 333] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o )
[108 of 333] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o )
[109 of 333] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o )
[110 of 333] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o )
[111 of 333] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot )
[112 of 333] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o )
[113 of 333] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot )
[114 of 333] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o )
[115 of 333] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o )
[116 of 333] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o )
[117 of 333] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o )
[118 of 333] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o )
[119 of 333] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o )
[120 of 333] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o )
[121 of 333] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist-ghc/build/Agda/Interaction/Exceptions.o )
[122 of 333] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist-ghc/build/Agda/TypeChecking/Positivity/Occurrence.o )
[123 of 333] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional.Tests ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional/Tests.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional/Tests.o )
[124 of 333] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o )
[125 of 333] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o )
[126 of 333] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o )
[127 of 333] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o )
[128 of 333] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist-ghc/build/Agda/Compiler/Epic/Interface.o )
[129 of 333] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist-ghc/build/Agda/Compiler/Epic/AuxAST.o )
[130 of 333] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o )
[131 of 333] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist-ghc/build/Agda/Syntax/Internal/Defs.o )
[132 of 333] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o )
[133 of 333] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.o )
[134 of 333] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist-ghc/build/Agda/TypeChecking/Free/Lazy.o )
[135 of 333] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o )
[136 of 333] Compiling Agda.TypeChecking.Free.Old ( src/full/Agda/TypeChecking/Free/Old.hs, dist-ghc/build/Agda/TypeChecking/Free/Old.o )
[137 of 333] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o )
[138 of 333] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o )
[139 of 333] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o )
[140 of 333] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist-ghc/build/Agda/Compiler/Treeless/Subst.o )
[141 of 333] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist-ghc/build/Agda/Compiler/Treeless/Compare.o )
[142 of 333] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist-ghc/build/Agda/Compiler/Treeless/Uncase.o )
[143 of 333] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist-ghc/build/Agda/Compiler/Treeless/GuardsToPrims.o )
[144 of 333] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist-ghc/build/Agda/TypeChecking/Test/Generators.o )
[145 of 333] Compiling Agda.TypeChecking.Free.Tests ( src/full/Agda/TypeChecking/Free/Tests.hs, dist-ghc/build/Agda/TypeChecking/Free/Tests.o )
[146 of 333] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist-ghc/build/Agda/TypeChecking/Telescope.o-boot )
[147 of 333] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot )
[148 of 333] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o )
[149 of 333] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot )
[150 of 333] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.o-boot )
[151 of 333] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o )
[152 of 333] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist-ghc/build/Agda/Syntax/Internal/Names.o )
[153 of 333] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot )
[154 of 333] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, dist-ghc/build/Agda/TypeChecking/CheckInternal.o-boot )
[155 of 333] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist-ghc/build/Agda/TypeChecking/Constraints.o-boot )
[156 of 333] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist-ghc/build/Agda/TypeChecking/Errors.o-boot )
[157 of 333] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.o )
[158 of 333] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o )
[159 of 333] Compiling Agda.Interaction.InteractionTop[boot] ( src/full/Agda/Interaction/InteractionTop.hs-boot, dist-ghc/build/Agda/Interaction/InteractionTop.o-boot )
[160 of 333] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o-boot )
[161 of 333] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist-ghc/build/Agda/TypeChecking/Rewriting.o-boot )
[162 of 333] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist-ghc/build/Agda/Interaction/Options/Lenses.o )
[163 of 333] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o )
[164 of 333] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o )
[165 of 333] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o )
[166 of 333] Compiling Agda.TypeChecking.Monad.Sharing ( src/full/Agda/TypeChecking/Monad/Sharing.hs, dist-ghc/build/Agda/TypeChecking/Monad/Sharing.o )
[167 of 333] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist-ghc/build/Agda/Syntax/Abstract/Copatterns.o )
[168 of 333] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o )
[169 of 333] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o )
[170 of 333] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o )
[171 of 333] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot )
[172 of 333] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o-boot )
[173 of 333] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot )
[174 of 333] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot )
[175 of 333] Compiling Agda.TypeChecking.InstanceArguments[boot] ( src/full/Agda/TypeChecking/InstanceArguments.hs-boot, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o-boot )
[176 of 333] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist-ghc/build/Agda/TypeChecking/LevelConstraints.o )
[177 of 333] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot )
[178 of 333] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist-ghc/build/Agda/TypeChecking/Monad/Exception.o )
[179 of 333] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o )
[180 of 333] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o )
[181 of 333] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist-ghc/build/Agda/TypeChecking/Monad/Caching.o )
[182 of 333] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o )
[183 of 333] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o )
[184 of 333] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o )
[185 of 333] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o )
[186 of 333] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o )
[187 of 333] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o )
[188 of 333] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Base.o )
[189 of 333] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Common.o )
[190 of 333] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o )
[191 of 333] Compiling Agda.TypeChecking.Substitute.Pattern ( src/full/Agda/TypeChecking/Substitute/Pattern.hs, dist-ghc/build/Agda/TypeChecking/Substitute/Pattern.o )
[192 of 333] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o )
[193 of 333] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot )
[194 of 333] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o )
[195 of 333] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o )
[196 of 333] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o )
[197 of 333] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot )
[198 of 333] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist-ghc/build/Agda/Compiler/CallCompiler.o )
[199 of 333] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o-boot )
[200 of 333] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, dist-ghc/build/Agda/Compiler/Treeless/Unused.o )
[201 of 333] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc/build/Agda/TypeChecking/Records.o-boot )
[202 of 333] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, dist-ghc/build/Agda/Compiler/Treeless/Builtin.o )
[203 of 333] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, dist-ghc/build/Agda/Compiler/Treeless/NormalizeNames.o )
[204 of 333] Compiling Agda.Compiler.UHC.Pragmas.Parse ( src/full/Agda/Compiler/UHC/Pragmas/Parse.hs, dist-ghc/build/Agda/Compiler/UHC/Pragmas/Parse.o )
[205 of 333] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc/build/Agda/TypeChecking/Conversion.o-boot )
[206 of 333] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist-ghc/build/Agda/TypeChecking/Irrelevance.o )
[207 of 333] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc/build/Agda/Interaction/Monad.o )
[208 of 333] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc/build/Agda/Interaction/Highlighting/Emacs.o )
[209 of 333] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot.o )
[210 of 333] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc/build/Agda/Interaction/Highlighting/HTML.o )
[211 of 333] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc/build/Agda/Interaction/Highlighting/Vim.o )
[212 of 333] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist-ghc/build/Agda/Interaction/Highlighting/LaTeX.o )
[213 of 333] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ReflectedToAbstract.o )
[214 of 333] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist-ghc/build/Agda/Termination/RecCheck.o )
[215 of 333] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot )
[216 of 333] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Monad.o )
[217 of 333] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc/build/Agda/TypeChecking/EtaContract.o )
[218 of 333] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc/build/Agda/TypeChecking/Empty.o-boot )
[219 of 333] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Mention.o )
[220 of 333] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Abstract.o )
[221 of 333] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o-boot )
[222 of 333] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Reduce.o )
[223 of 333] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc/build/Agda/TypeChecking/Telescope.o )
[224 of 333] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist-ghc/build/Agda/TypeChecking/Datatypes.o )
[225 of 333] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc/build/Agda/TypeChecking/Level.o )
[226 of 333] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc/build/Agda/TypeChecking/DisplayForm.o )
[227 of 333] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist-ghc/build/Agda/Compiler/Epic/CompileState.o )
[228 of 333] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist-ghc/build/Agda/Compiler/Epic/CaseOpts.o )
[229 of 333] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist-ghc/build/Agda/Compiler/Epic/ForceConstrs.o )
[230 of 333] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist-ghc/build/Agda/Compiler/Epic/Epic.o )
[231 of 333] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist-ghc/build/Agda/Compiler/Epic/NatDetection.o )
[232 of 333] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist-ghc/build/Agda/Compiler/Epic/Primitive.o )
[233 of 333] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, dist-ghc/build/Agda/TypeChecking/DeadCode.o )
[234 of 333] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist-ghc/build/Agda/TypeChecking/SyntacticEquality.o )
[235 of 333] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot )
[236 of 333] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Def.o-boot )
[237 of 333] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Abstract.o )
[238 of 333] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Compilers.o )
[239 of 333] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc/build/Agda/Auto/Convert.o )
[240 of 333] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist-ghc/build/Agda/TypeChecking/DropArgs.o )
[241 of 333] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/InternalToAbstract.o )
[242 of 333] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc/build/Agda/TypeChecking/Pretty.o )
[243 of 333] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist-ghc/build/Agda/Compiler/Epic/Erasure.o )
[244 of 333] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist-ghc/build/Agda/Compiler/Epic/Injection.o )
[245 of 333] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist-ghc/build/Agda/Compiler/Epic/Smashing.o )
[246 of 333] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Problem.o )
[247 of 333] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist-ghc/build/Agda/Compiler/Epic/Static.o )
[248 of 333] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist-ghc/build/Agda/Compiler/Epic/FromAgda.o )
[249 of 333] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist-ghc/build/Agda/Compiler/HaskellTypes.o )
[250 of 333] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc/build/Agda/TypeChecking/Records.o )
[251 of 333] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, dist-ghc/build/Agda/Compiler/Treeless/Erase.o )
[252 of 333] Compiling Agda.Compiler.UHC.Smashing ( src/full/Agda/Compiler/UHC/Smashing.hs, dist-ghc/build/Agda/Compiler/UHC/Smashing.o )
[253 of 333] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist-ghc/build/Agda/TypeChecking/RecordPatterns.o )
[254 of 333] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist-ghc/build/Agda/Termination/Monad.o )
[255 of 333] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes.o )
[256 of 333] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o )
[257 of 333] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Implicit.o )
[258 of 333] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o )
[259 of 333] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, dist-ghc/build/Agda/TypeChecking/Rewriting/NonLinMatch.o )
[260 of 333] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, dist-ghc/build/Agda/TypeChecking/Rules/Display.o )
[261 of 333] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc/build/Agda/TypeChecking/Errors.o )
[262 of 333] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o )
[263 of 333] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Constraints.o )
[264 of 333] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Implicit.o )
[265 of 333] Compiling Agda.Termination.Inlining ( src/full/Agda/Termination/Inlining.hs, dist-ghc/build/Agda/Termination/Inlining.o )
[266 of 333] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc/build/Agda/Termination/TermCheck.o )
[267 of 333] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc/build/Agda/TypeChecking/Positivity.o )
[268 of 333] Compiling Agda.TypeChecking.Positivity.Tests ( src/full/Agda/TypeChecking/Positivity/Tests.hs, dist-ghc/build/Agda/TypeChecking/Positivity/Tests.o )
[269 of 333] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist-ghc/build/Agda/TypeChecking/Tests.o )
[270 of 333] Compiling Agda.Utils.Permutation.Tests ( src/full/Agda/Utils/Permutation/Tests.hs, dist-ghc/build/Agda/Utils/Permutation/Tests.o )
[271 of 333] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o )
[272 of 333] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Occurs.o )
[273 of 333] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/MetaVars.o )
[274 of 333] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o )
[275 of 333] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc/build/Agda/TypeChecking/Polarity.o )
[276 of 333] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc/build/Agda/TypeChecking/Coverage/Match.o )
[277 of 333] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist-ghc/build/Agda/TypeChecking/Quote.o )
[278 of 333] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc/build/Agda/TypeChecking/Primitive.o )
[279 of 333] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, dist-ghc/build/Agda/Compiler/Treeless/Simplify.o )
ghc: out of memory (requested 2097152 bytes)
/usr/share/cdbs/1/class/hlibrary.mk:147: recipe for target 'build-ghc-stamp' failed
make: *** [build-ghc-stamp] Error 1
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
--------------------------------------------------------------------------------
Build finished at 20160717-1013

Finished
--------

E: Build failure (dpkg-buildpackage died)

+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build-Space: 199044
Build-Time: 149106
Distribution: stretch-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 743
Job: agda_2.5.1-2
Machine Architecture: armhf
Package: agda
Package-Time: 149897
Source-Version: 2.5.1-2
Space: 199044
Status: attempted
Version: 2.5.1-2
--------------------------------------------------------------------------------
Finished at 20160717-1013
Build needed 41:38:17, 199044k disc space
Raspbian Package Auto-Building

Build log for agda (2.5.1-2) on armhf
