Raspbian Package Auto-Building

agda → 2.4.2.2-4 → armhf → 2015-09-30 08:34:06

sbuild (Debian sbuild) 0.65.2 (24 Mar 2015) on bm-wb-02

╔══════════════════════════════════════════════════════════════════════════════╗
║ agda 2.4.2.2-4 (armhf)                                     28 Sep 2015 19:14 ║
╚══════════════════════════════════════════════════════════════════════════════╝

Package: agda
Version: 2.4.2.2-4
Source Version: 2.4.2.2-4
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'build/agda-RitzQQ/agda-2.4.2.2' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/agda-RitzQQ' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-795b76ab-c836-4f49-b64e-6ea0d4f9f18f' with '«CHROOT»'

┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot                                                                │
└──────────────────────────────────────────────────────────────────────────────┘

Get:1 http://172.17.0.1 stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1 stretch-staging/main Sources [8330 kB]
Get:3 http://172.17.0.1 stretch-staging/main armhf Packages [10.2 MB]
Ign http://172.17.0.1 stretch-staging/main Translation-en
Fetched 18.5 MB in 34s (535 kB/s)
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files                                                           │
└──────────────────────────────────────────────────────────────────────────────┘


Check APT
─────────

Checking available source versions...

Download source files with APT
──────────────────────────────

Reading package lists...
Building dependency tree...
Reading state information...
NOTICE: 'agda' packaging is maintained in the 'Git' version control system at:
git://git.debian.org/git/pkg-haskell/agda.git
Need to get 976 kB of source archives.
Get:1 http://172.17.0.1/private/ stretch-staging/main agda 2.4.2.2-4 (dsc) [3594 B]
Get:2 http://172.17.0.1/private/ stretch-staging/main agda 2.4.2.2-4 (tar) [963 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main agda 2.4.2.2-4 (diff) [8792 B]
Fetched 976 kB in 0s (3325 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-VaVZbV/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Ign file: ./ InRelease
Get:1 file: ./ Release.gpg [299 B]
Get:2 file: ./ Release [2119 B]
Ign file: ./ Translation-en
Reading package lists...
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
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 41 not upgraded.
Need to get 0 B/768 B of archives.
After this operation, 0 B of additional disk space will be used.
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 ... 12875 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) ...
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-equivalence-dev (>= 0.2.5), libghc-equivalence-dev (<< 0.3), libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.2.0.2), libghc-hashtables-dev (<< 1.3), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.1.3.2), libghc-parallel-dev (<< 3.3), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.17), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.3), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), cpphs (>= 1.19), cpphs (<< 1.20), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev
Filtered Build-Depends: libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-equivalence-dev (>= 0.2.5), libghc-equivalence-dev (<< 0.3), libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.2.0.2), libghc-hashtables-dev (<< 1.3), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.1.3.2), libghc-parallel-dev (<< 3.3), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.17), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.3), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), cpphs (>= 1.19), cpphs (<< 1.20), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev
dpkg-deb: building package 'sbuild-build-depends-agda-dummy' in '/«BUILDDIR»/resolver-45uRHJ/apt_archive/sbuild-build-depends-agda-dummy.deb'.
OK
Ign file: ./ InRelease
Get:1 file: ./ Release.gpg [299 B]
Get:2 file: ./ Release [2119 B]
Ign file: ./ Translation-en
Reading package lists...
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Install agda build dependencies (apt-based resolver)                         │
└──────────────────────────────────────────────────────────────────────────────┘

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
  alex binfmt-support bsdmainutils cdbs cpphs dctrl-tools debhelper
  dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base happy
  haskell-devscripts hscolour html-xml-utils intltool-debian libbsd-dev
  libbsd0 libcroco3 libcurl3-gnutls libffi-dev libffi6 libghc-boxes-dev
  libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev
  libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev
  libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev
  libghc-quickcheck2-dev libghc-random-dev libghc-split-dev
  libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev
  libghc-text-dev libghc-tf-random-dev libghc-unordered-containers-dev
  libghc-vector-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl
  libgnutls-deb0-28 libgssapi-krb5-2 libhogweed4 libicu55 libidn11
  libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 libllvm3.4
  libmagic1 libncurses5-dev libnettle6 libp11-kit0 libpipeline1 librtmp1
  libsasl2-2 libsasl2-modules-db libssh2-1 libtasn1-6 libtinfo-dev
  libunistring0 libxml2 llvm-3.4 llvm-3.4-runtime man-db po-debconf zlib1g-dev
Suggested packages:
  wamerican wordlist whois vacation devscripts debtags dh-make gettext-doc
  autopoint libasprintf-dev libgettextpo-dev ghc-prof ghc-doc haskell-doc
  groff info-browser libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc
  libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof
  libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc
  libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof
  libghc-hashtables-doc libghc-hashtables-prof libghc-mtl-doc libghc-mtl-prof
  libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc
  libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof
  libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc
  libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc
  libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof
  libghc-strict-doc libghc-strict-prof libghc-text-doc libghc-text-prof
  libghc-tf-random-doc libghc-tf-random-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
  krb5-doc krb5-user ncurses-doc llvm-3.4-doc less www-browser
  libmail-box-perl
Recommended packages:
  autotools-dev curl wget lynx-cur ca-certificates libglib2.0-data
  shared-mime-info xdg-user-dirs krb5-locales libsasl2-modules xml-core
  llvm-3.4-dev libmail-sendmail-perl
The following NEW packages will be installed:
  alex binfmt-support bsdmainutils cdbs cpphs dctrl-tools debhelper
  dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base happy
  haskell-devscripts hscolour html-xml-utils intltool-debian libbsd-dev
  libbsd0 libcroco3 libcurl3-gnutls libffi-dev libffi6 libghc-boxes-dev
  libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev
  libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev
  libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev
  libghc-quickcheck2-dev libghc-random-dev libghc-split-dev
  libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev
  libghc-text-dev libghc-tf-random-dev libghc-unordered-containers-dev
  libghc-vector-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl
  libgnutls-deb0-28 libgssapi-krb5-2 libhogweed4 libicu55 libidn11
  libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 libllvm3.4
  libmagic1 libncurses5-dev libnettle6 libp11-kit0 libpipeline1 librtmp1
  libsasl2-2 libsasl2-modules-db libssh2-1 libtasn1-6 libtinfo-dev
  libunistring0 libxml2 llvm-3.4 llvm-3.4-runtime man-db po-debconf
  sbuild-build-depends-agda-dummy zlib1g-dev
0 upgraded, 80 newly installed, 0 to remove and 41 not upgraded.
Need to get 100 MB/100 MB of archives.
After this operation, 688 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ stretch-staging/main groff-base armhf 1.22.3-1 [1085 kB]
Get:2 http://172.17.0.1/private/ stretch-staging/main bsdmainutils armhf 9.0.6 [177 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main libpipeline1 armhf 1.4.1-1 [23.9 kB]
Get:4 http://172.17.0.1/private/ stretch-staging/main man-db armhf 2.7.3-1 [975 kB]
Get:5 http://172.17.0.1/private/ stretch-staging/main libtasn1-6 armhf 4.5-2 [43.9 kB]
Get:6 http://172.17.0.1/private/ stretch-staging/main libbsd0 armhf 0.7.0-2 [63.7 kB]
Get:7 http://172.17.0.1/private/ stretch-staging/main libffi6 armhf 3.2.1-3 [18.5 kB]
Get:8 http://172.17.0.1/private/ stretch-staging/main libglib2.0-0 armhf 2.44.1-1.1 [2312 kB]
Get:9 http://172.17.0.1/private/ stretch-staging/main libicu55 armhf 55.1-5 [7378 kB]
Get:10 http://172.17.0.1/private/ stretch-staging/main libxml2 armhf 2.9.2+zdfsg1-4 [797 kB]
Get:11 http://172.17.0.1/private/ stretch-staging/main libcroco3 armhf 0.6.8-3 [121 kB]
Get:12 http://172.17.0.1/private/ stretch-staging/main libssh2-1 armhf 1.5.0-2 [122 kB]
Get:13 http://172.17.0.1/private/ stretch-staging/main libunistring0 armhf 0.9.3-5.2 [253 kB]
Get:14 http://172.17.0.1/private/ stretch-staging/main binfmt-support armhf 2.1.5-1 [49.1 kB]
Get:15 http://172.17.0.1/private/ stretch-staging/main libllvm3.4 armhf 1:3.4.2-15 [5711 kB]
Get:16 http://172.17.0.1/private/ stretch-staging/main llvm-3.4-runtime armhf 1:3.4.2-15 [43.1 kB]
Get:17 http://172.17.0.1/private/ stretch-staging/main llvm-3.4 armhf 1:3.4.2-15 [908 kB]
Get:18 http://172.17.0.1/private/ stretch-staging/main libgmpxx4ldbl armhf 2:6.0.0+dfsg-7+rpi1 [21.6 kB]
Get:19 http://172.17.0.1/private/ stretch-staging/main libgmp-dev armhf 2:6.0.0+dfsg-7+rpi1 [553 kB]
Get:20 http://172.17.0.1/private/ stretch-staging/main libffi-dev armhf 3.2.1-3 [159 kB]
Get:21 http://172.17.0.1/private/ stretch-staging/main libbsd-dev armhf 0.7.0-2 [155 kB]
Get:22 http://172.17.0.1/private/ stretch-staging/main libtinfo-dev armhf 6.0+20150810-1 [65.8 kB]
Get:23 http://172.17.0.1/private/ stretch-staging/main libncurses5-dev armhf 6.0+20150810-1 [154 kB]
Get:24 http://172.17.0.1/private/ stretch-staging/main ghc armhf 7.8.4-9+rpi1 [47.9 MB]
Get:25 http://172.17.0.1/private/ stretch-staging/main libmagic1 armhf 1:5.25-2 [250 kB]
Get:26 http://172.17.0.1/private/ stretch-staging/main file armhf 1:5.25-2 [61.2 kB]
Get:27 http://172.17.0.1/private/ stretch-staging/main gettext-base armhf 0.19.6-1 [119 kB]
Get:28 http://172.17.0.1/private/ stretch-staging/main libnettle6 armhf 3.1.1-4 [200 kB]
Get:29 http://172.17.0.1/private/ stretch-staging/main libhogweed4 armhf 3.1.1-4 [126 kB]
Get:30 http://172.17.0.1/private/ stretch-staging/main libp11-kit0 armhf 0.23.1-3 [94.2 kB]
Get:31 http://172.17.0.1/private/ stretch-staging/main libgnutls-deb0-28 armhf 3.3.17-1 [646 kB]
Get:32 http://172.17.0.1/private/ stretch-staging/main libkeyutils1 armhf 1.5.9-7 [11.5 kB]
Get:33 http://172.17.0.1/private/ stretch-staging/main libkrb5support0 armhf 1.13.2+dfsg-2 [55.9 kB]
Get:34 http://172.17.0.1/private/ stretch-staging/main libk5crypto3 armhf 1.13.2+dfsg-2 [109 kB]
Get:35 http://172.17.0.1/private/ stretch-staging/main libkrb5-3 armhf 1.13.2+dfsg-2 [260 kB]
Get:36 http://172.17.0.1/private/ stretch-staging/main libgssapi-krb5-2 armhf 1.13.2+dfsg-2 [130 kB]
Get:37 http://172.17.0.1/private/ stretch-staging/main libidn11 armhf 1.32-1 [168 kB]
Get:38 http://172.17.0.1/private/ stretch-staging/main libsasl2-modules-db armhf 2.1.26.dfsg1-14 [65.5 kB]
Get:39 http://172.17.0.1/private/ stretch-staging/main libsasl2-2 armhf 2.1.26.dfsg1-14 [96.8 kB]
Get:40 http://172.17.0.1/private/ stretch-staging/main libldap-2.4-2 armhf 2.4.42+dfsg-2+rpi1 [197 kB]
Get:41 http://172.17.0.1/private/ stretch-staging/main cdbs all 0.4.130 [76.4 kB]
Get:42 http://172.17.0.1/private/ stretch-staging/main dctrl-tools armhf 2.24-1 [136 kB]
Get:43 http://172.17.0.1/private/ stretch-staging/main gettext armhf 0.19.6-1 [1393 kB]
Get:44 http://172.17.0.1/private/ stretch-staging/main intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:45 http://172.17.0.1/private/ stretch-staging/main po-debconf all 1.0.18 [248 kB]
Get:46 http://172.17.0.1/private/ stretch-staging/main debhelper all 9.20150811 [817 kB]
Get:47 http://172.17.0.1/private/ stretch-staging/main dh-buildinfo all 0.11 [18.3 kB]
Get:48 http://172.17.0.1/private/ stretch-staging/main librtmp1 armhf 2.4+20150115.gita107cef-1+b1 [54.5 kB]
Get:49 http://172.17.0.1/private/ stretch-staging/main libcurl3-gnutls armhf 7.44.0-2 [235 kB]
Get:50 http://172.17.0.1/private/ stretch-staging/main libghc-text-dev armhf 1.2.0.6-1 [1577 kB]
Get:51 http://172.17.0.1/private/ stretch-staging/main libghc-polyparse-dev armhf 1.11-2+b1 [513 kB]
Get:52 http://172.17.0.1/private/ stretch-staging/main zlib1g-dev armhf 1:1.2.8.dfsg-2+b1 [197 kB]
Get:53 http://172.17.0.1/private/ stretch-staging/main alex armhf 3.1.4-2 [1257 kB]
Get:54 http://172.17.0.1/private/ stretch-staging/main cpphs armhf 1.19.2-1 [975 kB]
Get:55 http://172.17.0.1/private/ stretch-staging/main ghc-haddock armhf 7.8.4-9+rpi1 [8587 kB]
Get:56 http://172.17.0.1/private/ stretch-staging/main happy armhf 1.19.5-1 [1169 kB]
Get:57 http://172.17.0.1/private/ stretch-staging/main html-xml-utils armhf 6.9-1 [184 kB]
Get:58 http://172.17.0.1/private/ stretch-staging/main hscolour armhf 1.22-2 [936 kB]
Get:59 http://172.17.0.1/private/ stretch-staging/main haskell-devscripts all 0.9.11 [36.5 kB]
Get:60 http://172.17.0.1/private/ stretch-staging/main libghc-split-dev armhf 0.2.2-3 [51.8 kB]
Get:61 http://172.17.0.1/private/ stretch-staging/main libghc-boxes-dev armhf 0.1.3-3 [47.0 kB]
Get:62 http://172.17.0.1/private/ stretch-staging/main libghc-cpphs-dev armhf 1.19.2-1 [232 kB]
Get:63 http://172.17.0.1/private/ stretch-staging/main libghc-data-hash-dev armhf 0.2.0.0-3 [84.3 kB]
Get:64 http://172.17.0.1/private/ stretch-staging/main libghc-mtl-dev armhf 2.1.3.1-3 [95.8 kB]
Get:65 http://172.17.0.1/private/ stretch-staging/main libghc-stmonadtrans-dev armhf 0.3.2-3 [42.9 kB]
Get:66 http://172.17.0.1/private/ stretch-staging/main libghc-equivalence-dev armhf 0.2.5-4 [86.1 kB]
Get:67 http://172.17.0.1/private/ stretch-staging/main libghc-geniplate-dev armhf 0.6.0.4-3 [119 kB]
Get:68 http://172.17.0.1/private/ stretch-staging/main libghc-hashable-dev armhf 1.2.3.3-1+b1 [55.0 kB]
Get:69 http://172.17.0.1/private/ stretch-staging/main libghc-primitive-dev armhf 0.6-1 [113 kB]
Get:70 http://172.17.0.1/private/ stretch-staging/main libghc-vector-dev armhf 0.10.12.3-2+b1 [1460 kB]
Get:71 http://172.17.0.1/private/ stretch-staging/main libghc-hashtables-dev armhf 1.2.0.2-2+b1 [233 kB]
Get:72 http://172.17.0.1/private/ stretch-staging/main libghc-parallel-dev armhf 3.2.0.6-2 [57.9 kB]
Get:73 http://172.17.0.1/private/ stretch-staging/main libghc-random-dev armhf 1.1-1 [204 kB]
Get:74 http://172.17.0.1/private/ stretch-staging/main libghc-tf-random-dev armhf 0.5-3+b1 [108 kB]
Get:75 http://172.17.0.1/private/ stretch-staging/main libghc-quickcheck2-dev armhf 2.7.6-7+b1 [548 kB]
Get:76 http://172.17.0.1/private/ stretch-staging/main libghc-src-exts-dev armhf 1.16.0.1-3+b2 [5992 kB]
Get:77 http://172.17.0.1/private/ stretch-staging/main libghc-strict-dev armhf 0.3.2-9 [58.1 kB]
Get:78 http://172.17.0.1/private/ stretch-staging/main libghc-unordered-containers-dev armhf 0.2.5.1-2+b1 [248 kB]
Get:79 http://172.17.0.1/private/ stretch-staging/main libghc-zlib-dev armhf 0.5.4.2-2 [96.4 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 100 MB in 24s (4159 kB/s)
Selecting previously unselected package groff-base.
(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 ... 12875 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-1_armhf.deb ...
Unpacking groff-base (1.22.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.6_armhf.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../libpipeline1_1.4.1-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.3-1_armhf.deb ...
Unpacking man-db (2.7.3-1) ...
Selecting previously unselected package libtasn1-6:armhf.
Preparing to unpack .../libtasn1-6_4.5-2_armhf.deb ...
Unpacking libtasn1-6:armhf (4.5-2) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../libbsd0_0.7.0-2_armhf.deb ...
Unpacking libbsd0:armhf (0.7.0-2) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.2.1-3_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-3) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.44.1-1.1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.44.1-1.1) ...
Selecting previously unselected package libicu55:armhf.
Preparing to unpack .../libicu55_55.1-5_armhf.deb ...
Unpacking libicu55:armhf (55.1-5) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.2+zdfsg1-4_armhf.deb ...
Unpacking libxml2:armhf (2.9.2+zdfsg1-4) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.8-3_armhf.deb ...
Unpacking libcroco3:armhf (0.6.8-3) ...
Selecting previously unselected package libssh2-1:armhf.
Preparing to unpack .../libssh2-1_1.5.0-2_armhf.deb ...
Unpacking libssh2-1:armhf (1.5.0-2) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.3-5.2_armhf.deb ...
Unpacking libunistring0:armhf (0.9.3-5.2) ...
Selecting previously unselected package binfmt-support.
Preparing to unpack .../binfmt-support_2.1.5-1_armhf.deb ...
Unpacking binfmt-support (2.1.5-1) ...
Selecting previously unselected package libllvm3.4:armhf.
Preparing to unpack .../libllvm3.4_1%3a3.4.2-15_armhf.deb ...
Unpacking libllvm3.4:armhf (1:3.4.2-15) ...
Selecting previously unselected package llvm-3.4-runtime.
Preparing to unpack .../llvm-3.4-runtime_1%3a3.4.2-15_armhf.deb ...
Unpacking llvm-3.4-runtime (1:3.4.2-15) ...
Selecting previously unselected package llvm-3.4.
Preparing to unpack .../llvm-3.4_1%3a3.4.2-15_armhf.deb ...
Unpacking llvm-3.4 (1:3.4.2-15) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-7+rpi1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.0.0+dfsg-7+rpi1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-7+rpi1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.0.0+dfsg-7+rpi1) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../libffi-dev_3.2.1-3_armhf.deb ...
Unpacking libffi-dev:armhf (3.2.1-3) ...
Selecting previously unselected package libbsd-dev:armhf.
Preparing to unpack .../libbsd-dev_0.7.0-2_armhf.deb ...
Unpacking libbsd-dev:armhf (0.7.0-2) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20150810-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20150810-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../libncurses5-dev_6.0+20150810-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20150810-1) ...
Selecting previously unselected package ghc.
Preparing to unpack .../ghc_7.8.4-9+rpi1_armhf.deb ...
Unpacking ghc (7.8.4-9+rpi1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.25-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.25-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.25-2_armhf.deb ...
Unpacking file (1:5.25-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.6-1_armhf.deb ...
Unpacking gettext-base (0.19.6-1) ...
Selecting previously unselected package libnettle6:armhf.
Preparing to unpack .../libnettle6_3.1.1-4_armhf.deb ...
Unpacking libnettle6:armhf (3.1.1-4) ...
Selecting previously unselected package libhogweed4:armhf.
Preparing to unpack .../libhogweed4_3.1.1-4_armhf.deb ...
Unpacking libhogweed4:armhf (3.1.1-4) ...
Selecting previously unselected package libp11-kit0:armhf.
Preparing to unpack .../libp11-kit0_0.23.1-3_armhf.deb ...
Unpacking libp11-kit0:armhf (0.23.1-3) ...
Selecting previously unselected package libgnutls-deb0-28:armhf.
Preparing to unpack .../libgnutls-deb0-28_3.3.17-1_armhf.deb ...
Unpacking libgnutls-deb0-28:armhf (3.3.17-1) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../libkeyutils1_1.5.9-7_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-7) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../libkrb5support0_1.13.2+dfsg-2_armhf.deb ...
Unpacking libkrb5support0:armhf (1.13.2+dfsg-2) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../libk5crypto3_1.13.2+dfsg-2_armhf.deb ...
Unpacking libk5crypto3:armhf (1.13.2+dfsg-2) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../libkrb5-3_1.13.2+dfsg-2_armhf.deb ...
Unpacking libkrb5-3:armhf (1.13.2+dfsg-2) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../libgssapi-krb5-2_1.13.2+dfsg-2_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.13.2+dfsg-2) ...
Selecting previously unselected package libidn11:armhf.
Preparing to unpack .../libidn11_1.32-1_armhf.deb ...
Unpacking libidn11:armhf (1.32-1) ...
Selecting previously unselected package libsasl2-modules-db:armhf.
Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-14_armhf.deb ...
Unpacking libsasl2-modules-db:armhf (2.1.26.dfsg1-14) ...
Selecting previously unselected package libsasl2-2:armhf.
Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-14_armhf.deb ...
Unpacking libsasl2-2:armhf (2.1.26.dfsg1-14) ...
Selecting previously unselected package libldap-2.4-2:armhf.
Preparing to unpack .../libldap-2.4-2_2.4.42+dfsg-2+rpi1_armhf.deb ...
Unpacking libldap-2.4-2:armhf (2.4.42+dfsg-2+rpi1) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../archives/cdbs_0.4.130_all.deb ...
Unpacking cdbs (0.4.130) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../dctrl-tools_2.24-1_armhf.deb ...
Unpacking dctrl-tools (2.24-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.6-1_armhf.deb ...
Unpacking gettext (0.19.6-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.18_all.deb ...
Unpacking po-debconf (1.0.18) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20150811_all.deb ...
Unpacking debhelper (9.20150811) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../dh-buildinfo_0.11_all.deb ...
Unpacking dh-buildinfo (0.11) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../librtmp1_2.4+20150115.gita107cef-1+b1_armhf.deb ...
Unpacking librtmp1:armhf (2.4+20150115.gita107cef-1+b1) ...
Selecting previously unselected package libcurl3-gnutls:armhf.
Preparing to unpack .../libcurl3-gnutls_7.44.0-2_armhf.deb ...
Unpacking libcurl3-gnutls:armhf (7.44.0-2) ...
Selecting previously unselected package libghc-text-dev.
Preparing to unpack .../libghc-text-dev_1.2.0.6-1_armhf.deb ...
Unpacking libghc-text-dev (1.2.0.6-1) ...
Selecting previously unselected package libghc-polyparse-dev.
Preparing to unpack .../libghc-polyparse-dev_1.11-2+b1_armhf.deb ...
Unpacking libghc-polyparse-dev (1.11-2+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.4-2_armhf.deb ...
Unpacking alex (3.1.4-2) ...
Selecting previously unselected package cpphs.
Preparing to unpack .../cpphs_1.19.2-1_armhf.deb ...
Unpacking cpphs (1.19.2-1) ...
Selecting previously unselected package ghc-haddock.
Preparing to unpack .../ghc-haddock_7.8.4-9+rpi1_armhf.deb ...
Unpacking ghc-haddock (7.8.4-9+rpi1) ...
Selecting previously unselected package happy.
Preparing to unpack .../happy_1.19.5-1_armhf.deb ...
Unpacking happy (1.19.5-1) ...
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.22-2_armhf.deb ...
Unpacking hscolour (1.22-2) ...
Selecting previously unselected package haskell-devscripts.
Preparing to unpack .../haskell-devscripts_0.9.11_all.deb ...
Unpacking haskell-devscripts (0.9.11) ...
Selecting previously unselected package libghc-split-dev.
Preparing to unpack .../libghc-split-dev_0.2.2-3_armhf.deb ...
Unpacking libghc-split-dev (0.2.2-3) ...
Selecting previously unselected package libghc-boxes-dev.
Preparing to unpack .../libghc-boxes-dev_0.1.3-3_armhf.deb ...
Unpacking libghc-boxes-dev (0.1.3-3) ...
Selecting previously unselected package libghc-cpphs-dev.
Preparing to unpack .../libghc-cpphs-dev_1.19.2-1_armhf.deb ...
Unpacking libghc-cpphs-dev (1.19.2-1) ...
Selecting previously unselected package libghc-data-hash-dev.
Preparing to unpack .../libghc-data-hash-dev_0.2.0.0-3_armhf.deb ...
Unpacking libghc-data-hash-dev (0.2.0.0-3) ...
Selecting previously unselected package libghc-mtl-dev.
Preparing to unpack .../libghc-mtl-dev_2.1.3.1-3_armhf.deb ...
Unpacking libghc-mtl-dev (2.1.3.1-3) ...
Selecting previously unselected package libghc-stmonadtrans-dev.
Preparing to unpack .../libghc-stmonadtrans-dev_0.3.2-3_armhf.deb ...
Unpacking libghc-stmonadtrans-dev (0.3.2-3) ...
Selecting previously unselected package libghc-equivalence-dev.
Preparing to unpack .../libghc-equivalence-dev_0.2.5-4_armhf.deb ...
Unpacking libghc-equivalence-dev (0.2.5-4) ...
Selecting previously unselected package libghc-geniplate-dev.
Preparing to unpack .../libghc-geniplate-dev_0.6.0.4-3_armhf.deb ...
Unpacking libghc-geniplate-dev (0.6.0.4-3) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../libghc-hashable-dev_1.2.3.3-1+b1_armhf.deb ...
Unpacking libghc-hashable-dev (1.2.3.3-1+b1) ...
Selecting previously unselected package libghc-primitive-dev.
Preparing to unpack .../libghc-primitive-dev_0.6-1_armhf.deb ...
Unpacking libghc-primitive-dev (0.6-1) ...
Selecting previously unselected package libghc-vector-dev.
Preparing to unpack .../libghc-vector-dev_0.10.12.3-2+b1_armhf.deb ...
Unpacking libghc-vector-dev (0.10.12.3-2+b1) ...
Selecting previously unselected package libghc-hashtables-dev.
Preparing to unpack .../libghc-hashtables-dev_1.2.0.2-2+b1_armhf.deb ...
Unpacking libghc-hashtables-dev (1.2.0.2-2+b1) ...
Selecting previously unselected package libghc-parallel-dev.
Preparing to unpack .../libghc-parallel-dev_3.2.0.6-2_armhf.deb ...
Unpacking libghc-parallel-dev (3.2.0.6-2) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../libghc-random-dev_1.1-1_armhf.deb ...
Unpacking libghc-random-dev (1.1-1) ...
Selecting previously unselected package libghc-tf-random-dev.
Preparing to unpack .../libghc-tf-random-dev_0.5-3+b1_armhf.deb ...
Unpacking libghc-tf-random-dev (0.5-3+b1) ...
Selecting previously unselected package libghc-quickcheck2-dev.
Preparing to unpack .../libghc-quickcheck2-dev_2.7.6-7+b1_armhf.deb ...
Unpacking libghc-quickcheck2-dev (2.7.6-7+b1) ...
Selecting previously unselected package libghc-src-exts-dev.
Preparing to unpack .../libghc-src-exts-dev_1.16.0.1-3+b2_armhf.deb ...
Unpacking libghc-src-exts-dev (1.16.0.1-3+b2) ...
Selecting previously unselected package libghc-strict-dev.
Preparing to unpack .../libghc-strict-dev_0.3.2-9_armhf.deb ...
Unpacking libghc-strict-dev (0.3.2-9) ...
Selecting previously unselected package libghc-unordered-containers-dev.
Preparing to unpack .../libghc-unordered-containers-dev_0.2.5.1-2+b1_armhf.deb ...
Unpacking libghc-unordered-containers-dev (0.2.5.1-2+b1) ...
Selecting previously unselected package libghc-zlib-dev.
Preparing to unpack .../libghc-zlib-dev_0.5.4.2-2_armhf.deb ...
Unpacking libghc-zlib-dev (0.5.4.2-2) ...
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 systemd (225-1) ...
Setting up groff-base (1.22.3-1) ...
Setting up bsdmainutils (9.0.6) ...
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 libpipeline1:armhf (1.4.1-1) ...
Setting up man-db (2.7.3-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libtasn1-6:armhf (4.5-2) ...
Setting up libbsd0:armhf (0.7.0-2) ...
Setting up libffi6:armhf (3.2.1-3) ...
Setting up libglib2.0-0:armhf (2.44.1-1.1) ...
No schema files found: doing nothing.
Setting up libicu55:armhf (55.1-5) ...
Setting up libxml2:armhf (2.9.2+zdfsg1-4) ...
Setting up libcroco3:armhf (0.6.8-3) ...
Setting up libssh2-1:armhf (1.5.0-2) ...
Setting up libunistring0:armhf (0.9.3-5.2) ...
Setting up binfmt-support (2.1.5-1) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libllvm3.4:armhf (1:3.4.2-15) ...
Setting up llvm-3.4-runtime (1:3.4.2-15) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
Setting up llvm-3.4 (1:3.4.2-15) ...
Setting up libgmpxx4ldbl:armhf (2:6.0.0+dfsg-7+rpi1) ...
Setting up libgmp-dev:armhf (2:6.0.0+dfsg-7+rpi1) ...
Setting up libffi-dev:armhf (3.2.1-3) ...
Setting up libbsd-dev:armhf (0.7.0-2) ...
Setting up libtinfo-dev:armhf (6.0+20150810-1) ...
Setting up libncurses5-dev:armhf (6.0+20150810-1) ...
Setting up ghc (7.8.4-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 libmagic1:armhf (1:5.25-2) ...
Setting up file (1:5.25-2) ...
Setting up gettext-base (0.19.6-1) ...
Setting up libnettle6:armhf (3.1.1-4) ...
Setting up libhogweed4:armhf (3.1.1-4) ...
Setting up libp11-kit0:armhf (0.23.1-3) ...
Setting up libgnutls-deb0-28:armhf (3.3.17-1) ...
Setting up libkeyutils1:armhf (1.5.9-7) ...
Setting up libkrb5support0:armhf (1.13.2+dfsg-2) ...
Setting up libk5crypto3:armhf (1.13.2+dfsg-2) ...
Setting up libkrb5-3:armhf (1.13.2+dfsg-2) ...
Setting up libgssapi-krb5-2:armhf (1.13.2+dfsg-2) ...
Setting up libidn11:armhf (1.32-1) ...
Setting up libsasl2-modules-db:armhf (2.1.26.dfsg1-14) ...
Setting up libsasl2-2:armhf (2.1.26.dfsg1-14) ...
Setting up libldap-2.4-2:armhf (2.4.42+dfsg-2+rpi1) ...
Setting up cdbs (0.4.130) ...
Setting up dctrl-tools (2.24-1) ...
Setting up gettext (0.19.6-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.18) ...
Setting up debhelper (9.20150811) ...
Setting up dh-buildinfo (0.11) ...
Setting up librtmp1:armhf (2.4+20150115.gita107cef-1+b1) ...
Setting up libcurl3-gnutls:armhf (7.44.0-2) ...
Setting up libghc-text-dev (1.2.0.6-1) ...
Setting up libghc-polyparse-dev (1.11-2+b1) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-2+b1) ...
Setting up alex (3.1.4-2) ...
Setting up cpphs (1.19.2-1) ...
Setting up ghc-haddock (7.8.4-9+rpi1) ...
Setting up happy (1.19.5-1) ...
Setting up html-xml-utils (6.9-1) ...
Setting up hscolour (1.22-2) ...
Setting up haskell-devscripts (0.9.11) ...
Setting up libghc-split-dev (0.2.2-3) ...
Setting up libghc-boxes-dev (0.1.3-3) ...
Setting up libghc-cpphs-dev (1.19.2-1) ...
Setting up libghc-data-hash-dev (0.2.0.0-3) ...
Setting up libghc-mtl-dev (2.1.3.1-3) ...
Setting up libghc-stmonadtrans-dev (0.3.2-3) ...
Setting up libghc-equivalence-dev (0.2.5-4) ...
Setting up libghc-geniplate-dev (0.6.0.4-3) ...
Setting up libghc-hashable-dev (1.2.3.3-1+b1) ...
Setting up libghc-primitive-dev (0.6-1) ...
Setting up libghc-vector-dev (0.10.12.3-2+b1) ...
Setting up libghc-hashtables-dev (1.2.0.2-2+b1) ...
Setting up libghc-parallel-dev (3.2.0.6-2) ...
Setting up libghc-random-dev (1.1-1) ...
Setting up libghc-tf-random-dev (0.5-3+b1) ...
Setting up libghc-quickcheck2-dev (2.7.6-7+b1) ...
Setting up libghc-src-exts-dev (1.16.0.1-3+b2) ...
Setting up libghc-strict-dev (0.3.2-9) ...
Setting up libghc-unordered-containers-dev (0.2.5.1-2+b1) ...
Setting up libghc-zlib-dev (0.5.4.2-2) ...
Setting up sbuild-build-depends-agda-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.19-19) ...
Processing triggers for systemd (225-1) ...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment                                                            │
└──────────────────────────────────────────────────────────────────────────────┘

Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.25.1-1 dpkg-dev_1.18.2 g++-4.9_4.9.3-4 g++-5_5.2.1-16+rpi1 gcc-4.9_4.9.3-4 gcc-5_5.2.1-16+rpi1 libc6-dev_2.19-19 libstdc++-4.9-dev_4.9.3-4 libstdc++-5-dev_5.2.1-16+rpi1 libstdc++6_5.2.1-16+rpi1 linux-libc-dev_3.16.7-ckt4-1+rpi1+b2
Package versions: acl_2.2.52-2 adduser_3.113+nmu3 alex_3.1.4-2 apt_1.0.10.2 base-files_9.4+rpi1 base-passwd_3.5.38 bash_4.3-14 binfmt-support_2.1.5-1 binutils_2.25.1-1 bsdmainutils_9.0.6 bsdutils_1:2.26.2-9 build-essential_11.7 bzip2_1.0.6-8 cdbs_0.4.130 coreutils_8.23-4 cpio_2.11+dfsg-4.1 cpp_4:5.2.1-4+rpi2 cpp-4.9_4.9.3-4 cpp-5_5.2.1-16+rpi1 cpphs_1.19.2-1 dash_0.5.7-4 dctrl-tools_2.24-1 debconf_1.5.57 debfoster_2.7-2 debhelper_9.20150811 debianutils_4.5.1 dh-buildinfo_0.11 diffutils_1:3.3-1 dmsetup_2:1.02.104-1 dpkg_1.18.2 dpkg-dev_1.18.2 e2fslibs_1.42.13-1 e2fsprogs_1.42.13-1 fakeroot_1.20.2-1 file_1:5.25-2 findutils_4.4.2-9 g++_4:5.2.1-4+rpi2 g++-4.9_4.9.3-4 g++-5_5.2.1-16+rpi1 gcc_4:5.2.1-4+rpi2 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.4-4 gcc-4.9_4.9.3-4 gcc-4.9-base_4.9.3-4 gcc-5_5.2.1-16+rpi1 gcc-5-base_5.2.1-16+rpi1 gettext_0.19.6-1 gettext-base_0.19.6-1 ghc_7.8.4-9+rpi1 ghc-haddock_7.8.4-9+rpi1 gnupg_1.4.19-5 gpgv_1.4.19-5 grep_2.21-2 groff-base_1.22.3-1 gzip_1.6-4 happy_1.19.5-1 haskell-devscripts_0.9.11 hostname_3.16 hscolour_1.22-2 html-xml-utils_6.9-1 init_1.23 init-system-helpers_1.23 initramfs-tools_0.120 initscripts_2.88dsf-59.2 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-2+rpi1 kmod_21-1 libacl1_2.2.52-2 libapparmor1_2.9.2-3 libapt-pkg4.12_1.0.9.10 libapt-pkg4.16_1.0.10.2 libasan1_4.9.3-4 libasan2_5.2.1-16+rpi1 libatomic1_5.2.1-16+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.4.4-1 libaudit1_1:2.4.4-1 libblkid1_2.26.2-9 libbsd-dev_0.7.0-2 libbsd0_0.7.0-2 libbz2-1.0_1.0.6-8 libc-bin_2.19-19 libc-dev-bin_2.19-19 libc6_2.19-19 libc6-dev_2.19-19 libcap2_1:2.24-11 libcap2-bin_1:2.24-11 libcc1-0_5.2.1-16+rpi1 libcloog-isl4_0.18.3-1 libcomerr2_1.42.13-1 libcroco3_0.6.8-3 libcryptsetup4_2:1.6.6-5 libcurl3-gnutls_7.44.0-2 libdb5.3_5.3.28-11 libdbus-1-3_1.8.20-1 libdebconfclient0_0.195 libdevmapper1.02.1_2:1.02.104-1 libdpkg-perl_1.18.2 libdrm2_2.4.64-1 libfakeroot_1.20.2-1 libfdisk1_2.26.2-9 libffi-dev_3.2.1-3 libffi6_3.2.1-3 libgc1c2_1:7.2d-6.4 libgcc-4.9-dev_4.9.3-4 libgcc-5-dev_5.2.1-16+rpi1 libgcc1_1:5.2.1-16+rpi1 libgcrypt20_1.6.3-2 libgdbm3_1.8.3-13.1 libghc-boxes-dev_0.1.3-3 libghc-cpphs-dev_1.19.2-1 libghc-data-hash-dev_0.2.0.0-3 libghc-equivalence-dev_0.2.5-4 libghc-geniplate-dev_0.6.0.4-3 libghc-hashable-dev_1.2.3.3-1+b1 libghc-hashtables-dev_1.2.0.2-2+b1 libghc-mtl-dev_2.1.3.1-3 libghc-parallel-dev_3.2.0.6-2 libghc-polyparse-dev_1.11-2+b1 libghc-primitive-dev_0.6-1 libghc-quickcheck2-dev_2.7.6-7+b1 libghc-random-dev_1.1-1 libghc-split-dev_0.2.2-3 libghc-src-exts-dev_1.16.0.1-3+b2 libghc-stmonadtrans-dev_0.3.2-3 libghc-strict-dev_0.3.2-9 libghc-text-dev_1.2.0.6-1 libghc-tf-random-dev_0.5-3+b1 libghc-unordered-containers-dev_0.2.5.1-2+b1 libghc-vector-dev_0.10.12.3-2+b1 libghc-zlib-dev_0.5.4.2-2 libglib2.0-0_2.44.1-1.1 libgmp-dev_2:6.0.0+dfsg-7+rpi1 libgmp10_2:6.0.0+dfsg-7+rpi1 libgmpxx4ldbl_2:6.0.0+dfsg-7+rpi1 libgnutls-deb0-28_3.3.17-1 libgomp1_5.2.1-16+rpi1 libgpg-error0_1.19-2 libgssapi-krb5-2_1.13.2+dfsg-2 libhogweed4_3.1.1-4 libicu55_55.1-5 libidn11_1.32-1 libisl13_0.14-2 libk5crypto3_1.13.2+dfsg-2 libkeyutils1_1.5.9-7 libklibc_2.0.4-2+rpi1 libkmod2_21-1 libkrb5-3_1.13.2+dfsg-2 libkrb5support0_1.13.2+dfsg-2 libldap-2.4-2_2.4.42+dfsg-2+rpi1 libllvm3.4_1:3.4.2-15 liblocale-gettext-perl_1.05-9 liblzma5_5.1.1alpha+20120614-2.1 libmagic1_1:5.25-2 libmount1_2.26.2-9 libmpc3_1.0.3-1 libmpfr4_3.1.3-1 libncurses5_6.0+20150810-1 libncurses5-dev_6.0+20150810-1 libncursesw5_6.0+20150810-1 libnettle6_3.1.1-4 libnih-dbus1_1.0.3-4.3 libnih1_1.0.3-4.3 libp11-kit0_0.23.1-3 libpam-modules_1.1.8-3.1 libpam-modules-bin_1.1.8-3.1 libpam-runtime_1.1.8-3.1 libpam0g_1.1.8-3.1 libpcre3_2:8.35-7.1 libpipeline1_1.4.1-1 libpng12-0_1.2.50-2+b2 libprocps3_2:3.3.9-9 libprocps4_2:3.3.10-2 libreadline6_6.3-8+b3 librtmp1_2.4+20150115.gita107cef-1+b1 libsasl2-2_2.1.26.dfsg1-14 libsasl2-modules-db_2.1.26.dfsg1-14 libseccomp2_2.2.3-2 libselinux1_2.3-2 libsemanage-common_2.3-1 libsemanage1_2.3-1 libsepol1_2.3-2 libslang2_2.3.0-2+b1 libsmartcols1_2.26.2-9 libss2_1.42.13-1 libssh2-1_1.5.0-2 libstdc++-4.9-dev_4.9.3-4 libstdc++-5-dev_5.2.1-16+rpi1 libstdc++6_5.2.1-16+rpi1 libsystemd0_225-1 libtasn1-6_4.5-2 libtext-charwidth-perl_0.04-7+b4 libtext-iconv-perl_1.7-5+b5 libtext-wrapi18n-perl_0.06-7.1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20150810-1 libtinfo5_6.0+20150810-1 libubsan0_5.2.1-16+rpi1 libudev1_225-1 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-27 libustr-1.0-1_1.0.4-5 libuuid1_2.26.2-9 libxml2_2.9.2+zdfsg1-4 linux-libc-dev_3.16.7-ckt4-1+rpi1+b2 llvm-3.4_1:3.4.2-15 llvm-3.4-runtime_1:3.4.2-15 login_1:4.2-3 lsb-base_4.1+Debian13+rpi1+nmu1 make_4.0-8.2 makedev_2.3.1-93 man-db_2.7.3-1 mawk_1.3.3-17 mount_2.26.2-9 mountall_2.54 multiarch-support_2.19-19 ncurses-base_6.0+20150810-1 ncurses-bin_6.0+20150810-1 passwd_1:4.2-3 patch_2.7.5-1 perl_5.20.2-6 perl-base_5.20.2-6 perl-modules_5.20.2-6 plymouth_0.9.0-9 po-debconf_1.0.18 procps_2:3.3.10-2 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-6.1 sensible-utils_0.0.9 startpar_0.59-3 systemd_225-1 systemd-sysv_225-1 sysv-rc_2.88dsf-59.2 sysvinit-utils_2.88dsf-59.2 tar_1.28-1 tzdata_2015f-1 udev_225-1 util-linux_2.26.2-9 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 Tue Aug  4 14:05:04 2015 UTC using RSA key ID 1C5041D4
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./agda_2.4.2.2-4.dsc
dpkg-source: info: extracting agda in agda-2.4.2.2
dpkg-source: info: unpacking agda_2.4.2.2.orig.tar.gz
dpkg-source: info: unpacking agda_2.4.2.2-4.debian.tar.xz
dpkg-source: info: applying 0001-.cabal-Supporting-only-cpphs-1.19.patch
dpkg-source: info: applying hashtables-dep

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-795b76ab-c836-4f49-b64e-6ea0d4f9f18f
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

dpkg-buildpackage
─────────────────

dpkg-buildpackage: source package agda
dpkg-buildpackage: source version 2.4.2.2-4
dpkg-buildpackage: source distribution unstable
 dpkg-source --before-build agda-2.4.2.2
dpkg-buildpackage: 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 "."
/usr/share/cdbs/1/rules/buildcore.mk:110: 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 --builddir=dist-ghc --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.4.2.2/ --datasubdir=agda --htmldir=/usr/share/doc/libghc-agda-doc/html/ --datadir=/usr/share --datasubdir=libghc-agda-dev
Configuring Agda-2.4.2.2...
Flags chosen: epic=False, cpphs=True
Dependency Agda ==2.4.2.2: using Agda-2.4.2.2
Dependency QuickCheck >=2.7.5 && <2.8: using QuickCheck-2.7.6
Dependency STMonadTrans >=0.3.2 && <0.4: using STMonadTrans-0.3.2
Dependency array >=0.1 && <0.6: using array-0.5.0.0
Dependency base >=4.2 && <4.8: using base-4.7.0.2
Dependency binary >=0.6 && <0.8: using binary-0.7.1.0
Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.3
Dependency bytestring >=0.9.0.1 && <0.11: using bytestring-0.10.4.0
Dependency containers >=0.1 && <0.6: using containers-0.5.5.1
Dependency data-hash ==0.2.0.0: using data-hash-0.2.0.0
Dependency deepseq ==1.3.*: using deepseq-1.3.0.2
Dependency directory ==1.2.*: using directory-1.2.1.0
Dependency equivalence >=0.2.5 && <0.3: using equivalence-0.2.5
Dependency filepath >=1.1 && <1.4: using filepath-1.3.0.2
Dependency geniplate >=0.6.0.3 && <0.7: using geniplate-0.6.0.4
Dependency hashable >=1.1.2.3 && <1.2 || >=1.2.1.0 && <1.3: using
hashable-1.2.3.3
Dependency hashtables >=1.0 && <1.2 || >=1.2.0.2 && <1.3: using
hashtables-1.2.0.2
Dependency haskeline ==0.7.*: using haskeline-0.7.1.2
Dependency haskell-src-exts >=1.9.6 && <1.17: using haskell-src-exts-1.16.0.1
Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.1.3.1
Dependency parallel <3.3: using parallel-3.2.0.6
Dependency pretty >=1.0 && <1.2: using pretty-1.1.1.1
Dependency process >=1.0.1.0 && <1.3: using process-1.2.0.0
Dependency strict >=0.3.2 && <0.4: using strict-0.3.2
Dependency template-haskell >=2.5 && <2.10: using template-haskell-2.9.0.0
Dependency text >=0.11 && <1.3: using text-1.2.0.6
Dependency time ==1.4.*: using time-1.4.2
Dependency transformers ==0.3.* || >=0.4.1.0 && <0.5: using
transformers-0.3.0.0
Dependency unordered-containers ==0.2.*: using unordered-containers-0.2.5.1
Dependency xhtml ==3000.2.*: using xhtml-3000.2.1
Dependency zlib >=0.4.0.1 && <0.6: using zlib-0.5.4.2
/usr/bin/ghc --info
Using Cabal-1.18.1.5 compiled by ghc-7.8
Using compiler: ghc-7.8.4
Using install prefix: /usr
Binaries installed in: /usr/bin
Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-7.8.4/Agda-2.4.2.2
Private binaries installed in: /usr/libexec
Data files installed in: /usr/share/libghc-agda-dev
Documentation installed in: /usr/share/doc/arm-linux-ghc-7.8.4/Agda-2.4.2.2
Configuration files installed in: /usr/etc
Using alex version 3.1.4 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
No c2hs found
Using cpphs version 1.19.2 found on system at: /usr/bin/cpphs
No ffihugs found
Using gcc version 5.2.1 found on system at: /usr/bin/gcc
Using ghc version 7.8.4 found on system at: /usr/bin/ghc
Using ghc-pkg version 7.8.4 found on system at: /usr/bin/ghc-pkg
No greencard found
Using haddock version 2.14.3 found on system at: /usr/bin/haddock
Using happy version 1.19.5 found on system at: /usr/bin/happy
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.22 found on system at: /usr/bin/HsColour
No hugs found
No jhc found
Using ld found on system at: /usr/bin/ld
No lhc found
No lhc-pkg found
No nhc98 found
No pkg-config found
Using ranlib found on system at: /usr/bin/ranlib
Using strip 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.4.2.2...
Preprocessing library Agda-2.4.2.2...
[  1 of 278] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o )
[  2 of 278] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist-ghc/build/Agda/Utils/IORef.o )
[  3 of 278] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o )
[  4 of 278] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o )
[  5 of 278] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist-ghc/build/Agda/Utils/Cluster.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package zlib-0.5.4.2 ... linking ... done.
Loading package xhtml-3000.2.1 ... linking ... done.
Loading package text-1.2.0.6 ... linking ... done.
Loading package hashable-1.2.3.3 ... linking ... done.
Loading package unordered-containers-0.2.5.1 ... linking ... done.
Loading package strict-0.3.2 ... linking ... done.
Loading package filepath-1.3.0.2 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package unix-2.7.0.1 ... linking ... done.
Loading package directory-1.2.1.0 ... linking ... done.
Loading package process-1.2.0.0 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package parallel-3.2.0.6 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package polyparse-1.11 ... linking ... done.
Loading package cpphs-1.19.2 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package haskell-src-exts-1.16.0.1 ... linking ... done.
Loading package terminfo-0.4.0.0 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package haskeline-0.7.1.2 ... linking ... done.
Loading package primitive-0.6 ... linking ... done.
Loading package vector-0.10.12.3 ... linking ... done.
Loading package hashtables-1.2.0.2 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package geniplate-0.6.0.4 ... linking ... done.
Loading package STMonadTrans-0.3.2 ... linking ... done.
Loading package equivalence-0.2.5 ... linking ... done.
Loading package data-hash-0.2.0.0 ... linking ... done.
Loading package split-0.2.2 ... linking ... done.
Loading package boxes-0.1.3 ... linking ... done.
Loading package binary-0.7.1.0 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.7.6 ... linking ... done.
[  6 of 278] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o )
[  7 of 278] Compiling Agda.Utils.Pointed ( src/full/Agda/Utils/Pointed.hs, dist-ghc/build/Agda/Utils/Pointed.o )
[  8 of 278] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o )
[  9 of 278] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o )
[ 10 of 278] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o )
[ 11 of 278] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o )
[ 12 of 278] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o )
[ 13 of 278] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o )
[ 14 of 278] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o )
[ 15 of 278] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist-ghc/build/Agda/Utils/TestHelpers.o )
[ 16 of 278] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist-ghc/build/Agda/Utils/QuickCheck.o )
[ 17 of 278] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o )
[ 18 of 278] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o )
[ 19 of 278] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o )
[ 20 of 278] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist-ghc/build/Agda/Utils/ReadP.o )
[ 21 of 278] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o )
[ 22 of 278] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o )
[ 23 of 278] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o )
[ 24 of 278] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o )
[ 25 of 278] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot )
[ 26 of 278] Compiling Paths_Agda       ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o )
[ 27 of 278] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist-ghc/build/Agda/Utils/HashMap.o )
[ 28 of 278] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist-ghc/build/Agda/Interaction/Response.o-boot )
[ 29 of 278] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o )
[ 30 of 278] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o )
[ 31 of 278] Compiling Agda.Utils.Graph.AdjacencyMap ( src/full/Agda/Utils/Graph/AdjacencyMap.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap.o )
[ 32 of 278] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o )
[ 33 of 278] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist-ghc/build/Agda/ImpossibleTest.o )
[ 34 of 278] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o )
[ 35 of 278] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o )
[ 36 of 278] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o )
[ 37 of 278] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist-ghc/build/Agda/Utils/Empty.o )
[ 38 of 278] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist-ghc/build/Agda/Utils/AssocList.o )
[ 39 of 278] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o )
[ 40 of 278] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o )
[ 41 of 278] Compiling Agda.Utils.Bag   ( src/full/Agda/Utils/Bag.hs, dist-ghc/build/Agda/Utils/Bag.o )
[ 42 of 278] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o )
[ 43 of 278] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o )
[ 44 of 278] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o )
[ 45 of 278] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Tests.o )
[ 46 of 278] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o )
[ 47 of 278] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o )
[ 48 of 278] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o )
[ 49 of 278] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o )
[ 50 of 278] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o )
[ 51 of 278] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist-ghc/build/Agda/Utils/Except.o )
[ 52 of 278] Compiling Agda.Version     ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o )
[ 53 of 278] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o )
[ 54 of 278] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o )
[ 55 of 278] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o )
[ 56 of 278] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o )
[ 57 of 278] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o )
[ 58 of 278] Compiling Agda.TypeChecking.Monad.Base.Benchmark ( src/full/Agda/TypeChecking/Monad/Base/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base/Benchmark.o )
[ 59 of 278] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o )
[ 60 of 278] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o )
[ 61 of 278] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o )
[ 62 of 278] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o )
[ 63 of 278] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o )
[ 64 of 278] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o )
[ 65 of 278] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o )
[ 66 of 278] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o )
[ 67 of 278] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o )
[ 68 of 278] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o )
[ 69 of 278] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o )
[ 70 of 278] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist-ghc/build/Agda/Compiler/JS/Case.o )
[ 71 of 278] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist-ghc/build/Agda/Compiler/JS/Parser.o )
[ 72 of 278] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o )
[ 73 of 278] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o )
[ 74 of 278] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o )
[ 75 of 278] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o )
[ 76 of 278] Compiling Agda.Utils.Permutation.Tests ( src/full/Agda/Utils/Permutation/Tests.hs, dist-ghc/build/Agda/Utils/Permutation/Tests.o )
[ 77 of 278] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o )
[ 78 of 278] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o )
[ 79 of 278] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o )
[ 80 of 278] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o )
[ 81 of 278] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o )
[ 82 of 278] Compiling Agda.Utils.Lens  ( src/full/Agda/Utils/Lens.hs, dist-ghc/build/Agda/Utils/Lens.o )
[ 83 of 278] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o )
[ 84 of 278] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o )
[ 85 of 278] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist-ghc/build/Agda/Utils/Lens/Examples.o )
[ 86 of 278] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o )
[ 87 of 278] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o )
[ 88 of 278] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o )
[ 89 of 278] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o )
[ 90 of 278] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot )
[ 91 of 278] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot )
[ 92 of 278] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o )
[ 93 of 278] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o )
[ 94 of 278] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o )
[ 95 of 278] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o )
[ 96 of 278] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o )
[ 97 of 278] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.o )
[ 98 of 278] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o )
[ 99 of 278] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o )
[100 of 278] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o )
[101 of 278] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o )
[102 of 278] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist-ghc/build/Agda/Utils/Geniplate.o )
[103 of 278] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o )
[104 of 278] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o )
[105 of 278] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o )
[106 of 278] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o )
[107 of 278] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist-ghc/build/Agda/Compiler/Epic/Interface.o )
[108 of 278] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist-ghc/build/Agda/Compiler/Epic/AuxAST.o )
[109 of 278] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o )
[110 of 278] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o )
[111 of 278] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist-ghc/build/Agda/Syntax/Internal/Defs.o )
[112 of 278] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o )
[113 of 278] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc/build/Agda/TypeChecking/Coverage/Match.o )
[114 of 278] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o )
[115 of 278] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o )
[116 of 278] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o )
[117 of 278] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o )
[118 of 278] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o )
[119 of 278] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist-ghc/build/Agda/Interaction/Exceptions.o )
[120 of 278] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o )
[121 of 278] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot )
[122 of 278] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist-ghc/build/Agda/TypeChecking/Errors.o-boot )
[123 of 278] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot )
[124 of 278] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o )
[125 of 278] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Abstract.o )
[126 of 278] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist-ghc/build/Agda/TypeChecking/Test/Generators.o )
[127 of 278] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist-ghc/build/Agda/Interaction/Response.o )
[128 of 278] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o-boot )
[129 of 278] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o )
[130 of 278] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.o-boot )
[131 of 278] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist-ghc/build/Agda/TypeChecking/Constraints.o-boot )
[132 of 278] Compiling Agda.TypeChecking.Monad.Base.KillRange ( src/full/Agda/TypeChecking/Monad/Base/KillRange.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base/KillRange.o )
[133 of 278] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o )
[134 of 278] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.o )
[135 of 278] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o )
[136 of 278] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist-ghc/build/Agda/Interaction/Options/Lenses.o )
[137 of 278] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o )
[138 of 278] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o )
[139 of 278] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o )
[140 of 278] Compiling Agda.TypeChecking.Monad.Sharing ( src/full/Agda/TypeChecking/Monad/Sharing.hs, dist-ghc/build/Agda/TypeChecking/Monad/Sharing.o )
[141 of 278] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist-ghc/build/Agda/Syntax/Abstract/Copatterns.o )
[142 of 278] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o )
[143 of 278] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o )
[144 of 278] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o )
[145 of 278] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o )
[146 of 278] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot )
[147 of 278] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o-boot )
[148 of 278] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot )
[149 of 278] Compiling Agda.TypeChecking.InstanceArguments[boot] ( src/full/Agda/TypeChecking/InstanceArguments.hs-boot, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o-boot )
[150 of 278] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist-ghc/build/Agda/TypeChecking/LevelConstraints.o )
[151 of 278] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot )
[152 of 278] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o )
[153 of 278] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist-ghc/build/Agda/TypeChecking/Monad/Exception.o )
[154 of 278] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot )
[155 of 278] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o )
[156 of 278] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o )
[157 of 278] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o )
[158 of 278] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o )
[159 of 278] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ConcreteToAbstract.o )
[160 of 278] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o )
[161 of 278] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o )
[162 of 278] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o )
[163 of 278] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot )
[164 of 278] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o )
[165 of 278] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o )
[166 of 278] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o )
[167 of 278] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc/build/Agda/Interaction/Monad.o )
[168 of 278] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot.o )
[169 of 278] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc/build/Agda/Interaction/Highlighting/HTML.o )
[170 of 278] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o-boot )
[171 of 278] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc/build/Agda/TypeChecking/Conversion.o-boot )
[172 of 278] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc/build/Agda/TypeChecking/Records.o-boot )
[173 of 278] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist-ghc/build/Agda/TypeChecking/Irrelevance.o )
[174 of 278] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot )
[175 of 278] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc/build/Agda/Interaction/Highlighting/Emacs.o )
[176 of 278] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o )
[177 of 278] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist-ghc/build/Agda/Compiler/CallCompiler.o )
[178 of 278] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist-ghc/build/Agda/Interaction/Highlighting/LaTeX.o )
[179 of 278] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-ghc/build/Agda/TypeChecking/Serialise.o )
[180 of 278] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Misc.o )
[181 of 278] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Encode.o )
[182 of 278] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Pretty.o )
[183 of 278] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc/build/Agda/Interaction/Highlighting/Vim.o )
[184 of 278] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist-ghc/build/Agda/TypeChecking/DropArgs.o )
[185 of 278] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist-ghc/build/Agda/Termination/RecCheck.o )
[186 of 278] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot )
[187 of 278] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Monad.o )
[188 of 278] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc/build/Agda/TypeChecking/EtaContract.o )
[189 of 278] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot )
[190 of 278] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc/build/Agda/TypeChecking/Empty.o-boot )
[191 of 278] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist-ghc/build/Agda/TypeChecking/Forcing.o )
[192 of 278] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Mention.o )
[193 of 278] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Abstract.o )
[194 of 278] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o-boot )
[195 of 278] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Reduce.o )
[196 of 278] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc/build/Agda/TypeChecking/Telescope.o )
[197 of 278] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist-ghc/build/Agda/TypeChecking/Datatypes.o )
[198 of 278] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist-ghc/build/Agda/TypeChecking/Tests.o )
[199 of 278] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist-ghc/build/Agda/Compiler/Epic/CompileState.o )
[200 of 278] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist-ghc/build/Agda/Compiler/Epic/CaseOpts.o )
[201 of 278] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist-ghc/build/Agda/Compiler/Epic/ForceConstrs.o )
[202 of 278] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist-ghc/build/Agda/Compiler/Epic/Epic.o )
[203 of 278] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist-ghc/build/Agda/Compiler/Epic/NatDetection.o )
[204 of 278] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist-ghc/build/Agda/Compiler/Epic/Primitive.o )
[205 of 278] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc/build/Agda/TypeChecking/Level.o )
[206 of 278] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc/build/Agda/TypeChecking/DisplayForm.o )
[207 of 278] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/InternalToAbstract.o )
[208 of 278] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc/build/Agda/TypeChecking/Pretty.o )
[209 of 278] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc/build/Agda/TypeChecking/Errors.o )
[210 of 278] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc/build/Agda/TypeChecking/Records.o )
[211 of 278] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist-ghc/build/Agda/Compiler/HaskellTypes.o )
[212 of 278] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist-ghc/build/Agda/Compiler/Epic/Erasure.o )
[213 of 278] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist-ghc/build/Agda/Compiler/Epic/Injection.o )
[214 of 278] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist-ghc/build/Agda/Compiler/Epic/Smashing.o )
[215 of 278] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Problem.o )
[216 of 278] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist-ghc/build/Agda/Termination/Monad.o )
[217 of 278] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist-ghc/build/Agda/Compiler/Epic/Static.o )
[218 of 278] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist-ghc/build/Agda/Compiler/Epic/FromAgda.o )
[219 of 278] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Primitives.o )
[220 of 278] Compiling Agda.Termination.Inlining ( src/full/Agda/Termination/Inlining.hs, dist-ghc/build/Agda/Termination/Inlining.o )
[221 of 278] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes.o )
[222 of 278] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc/build/Agda/Termination/TermCheck.o )
[223 of 278] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist-ghc/build/Agda/TypeChecking/RecordPatterns.o )
[224 of 278] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o )
[225 of 278] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o )
[226 of 278] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Constraints.o )
[227 of 278] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Occurs.o )
[228 of 278] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/MetaVars.o )
[229 of 278] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o )
[230 of 278] Compiling Agda.Tests       ( src/full/Agda/Tests.hs, dist-ghc/build/Agda/Tests.o )
[231 of 278] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist-ghc/build/Agda/TypeChecking/SyntacticEquality.o )
[232 of 278] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc/build/Agda/TypeChecking/Polarity.o )
[233 of 278] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Implicit.o )
[234 of 278] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Instantiate.o )
[235 of 278] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o )
[236 of 278] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc/build/Agda/TypeChecking/Positivity.o )
[237 of 278] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o )
[238 of 278] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist-ghc/build/Agda/TypeChecking/Quote.o )
[239 of 278] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc/build/Agda/TypeChecking/Primitive.o )
[240 of 278] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist-ghc/build/Agda/TypeChecking/Injectivity.o )
[241 of 278] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist-ghc/build/Agda/TypeChecking/Conversion.o )
[242 of 278] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Unify.o )
[243 of 278] Compiling Agda.Compiler.Epic.Forcing ( src/full/Agda/Compiler/Epic/Forcing.hs, dist-ghc/build/Agda/Compiler/Epic/Forcing.o )
[244 of 278] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist-ghc/build/Agda/TypeChecking/CheckInternal.o )
[245 of 278] 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 )
[246 of 278] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist-ghc/build/Agda/TypeChecking/Rules/Data.o )
[247 of 278] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Solve.o )
[248 of 278] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist-ghc/build/Agda/TypeChecking/Unquote.o )
[249 of 278] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Def.o-boot )
[250 of 278] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Split.o )
[251 of 278] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Implicit.o )
[252 of 278] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist-ghc/build/Agda/TypeChecking/With.o )
[253 of 278] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o )
[254 of 278] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS.o )
[255 of 278] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist-ghc/build/Agda/TypeChecking/Coverage.o )
[256 of 278] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o )
[257 of 278] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist-ghc/build/Agda/TypeChecking/Empty.o )
[258 of 278] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o )
[259 of 278] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist-ghc/build/Agda/TypeChecking/Rules/Record.o )
[260 of 278] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist-ghc/build/Agda/TypeChecking/Rules/Def.o )
[261 of 278] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist-ghc/build/Agda/TypeChecking/Rewriting.o-boot )
[262 of 278] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist-ghc/build/Agda/TypeChecking/Rewriting.o )
[263 of 278] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin.o )
[264 of 278] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o )
[265 of 278] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist-ghc/build/Agda/TheTypeChecker.o )
[266 of 278] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist-ghc/build/Agda/Interaction/Imports.o )
[267 of 278] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o )
[268 of 278] Compiling Agda.Compiler.Epic.Compiler ( src/full/Agda/Compiler/Epic/Compiler.hs, dist-ghc/build/Agda/Compiler/Epic/Compiler.o )
[269 of 278] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist-ghc/build/Agda/Compiler/JS/Compiler.o )
[270 of 278] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist-ghc/build/Agda/Interaction/BasicOps.o )
[271 of 278] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist-ghc/build/Agda/Interaction/CommandLine/CommandLine.o )
[272 of 278] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist-ghc/build/Agda/Interaction/MakeCase.o )
[273 of 278] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o )
[274 of 278] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc/build/Agda/Auto/Convert.o )
[275 of 278] Compiling Agda.Auto.Auto   ( src/full/Agda/Auto/Auto.hs, dist-ghc/build/Agda/Auto/Auto.o )
[276 of 278] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist-ghc/build/Agda/Interaction/InteractionTop.o )
ghc: out of memory (requested 1048576 bytes)
make: *** [build-ghc-stamp] Error 1
/usr/share/cdbs/1/class/hlibrary.mk:146: recipe for target 'build-ghc-stamp' failed
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
────────────────────────────────────────────────────────────────────────────────
Build finished at 20150930-0832

Finished
────────

E: Build failure (dpkg-buildpackage died)

┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘

Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use

┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘

Build Architecture: armhf
Build-Space: 163764
Build-Time: 133836
Distribution: stretch-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 413
Job: agda_2.4.2.2-4
Machine Architecture: armhf
Package: agda
Package-Time: 134312
Source-Version: 2.4.2.2-4
Space: 163764
Status: attempted
Version: 2.4.2.2-4
────────────────────────────────────────────────────────────────────────────────
Finished at 20150930-0832
Build needed 37:18:32, 163764k disc space

Page generated on 2024-04-18 22:29:05 UTC
Pages written by Mehdi Dogguy
Architecture specific issues should be sent to <$arch@buildd.debian.org>
Service maintained by the wanna-build team <debian-wb-team@lists.debian.org>
Download code with git: git clone https://buildd.debian.org/git/pgstatus.git
Valid XHTML  Valid CSS