Raspbian Package Auto-Building

Build log for agda (2.5.2-2) on armhf

agda2.5.2-2armhf → 2017-10-08 14:35:30

sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-01

+==============================================================================+
| agda 2.5.2-2 (armhf)                         Sun, 08 Oct 2017 14:05:06 +0000 |
+==============================================================================+

Package: agda
Version: 2.5.2-2
Source Version: 2.5.2-2
Distribution: buster-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/buster-staging-armhf-sbuild-cf94d3ce-77c0-4454-bffa-a87ff02c927d' with '<<CHROOT>>'

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

Get:1 http://172.17.0.1/private buster-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private buster-staging/main Sources [10.3 MB]
Get:3 http://172.17.0.1/private buster-staging/main armhf Packages [12.1 MB]
Fetched 22.4 MB in 8s (2751 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

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


Check APT
---------

Checking available source versions...

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

Reading package lists...
NOTICE: 'agda' packaging is maintained in the 'Git' version control system at:
https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Please use:
git clone https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 1254 kB of source archives.
Get:1 http://172.17.0.1/private buster-staging/main agda 2.5.2-2 (dsc) [4054 B]
Get:2 http://172.17.0.1/private buster-staging/main agda 2.5.2-2 (tar) [1241 kB]
Get:3 http://172.17.0.1/private buster-staging/main agda 2.5.2-2 (diff) [9032 B]
Fetched 1254 kB in 0s (2236 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/agda-E9X5Pb/agda-2.5.2' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/agda-E9X5Pb' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install build-essential                                                      |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-Gnegpo/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-Gnegpo/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-Gnegpo/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Packages [432 B]
Fetched 2108 B in 0s (7667 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  ca-certificates libreadline5 libsasl2-modules libssl1.1 openssl
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 24 not upgraded.
Need to get 776 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [776 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 776 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 15082 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any all)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa, ghc (>= 8), happy, haskell-devscripts (>= 0.13), libghc-boxes-dev (<< 0.2), libghc-boxes-dev (>= 0.1.3), libghc-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-core-dev (<< 1.3.2), libghc-edison-core-dev (>= 1.3.1.1), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-dev (>= 0.2.1.2), libghc-equivalence-dev (<< 0.4), libghc-equivalence-dev (>= 0.2.5), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-gitrev-dev (<< 2.0), libghc-gitrev-dev (>= 1.2), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-ieee754-dev (<< 0.9), libghc-ieee754-dev (>= 0.7.8), libghc-monadplus-dev (<< 1.5), libghc-monadplus-dev (>= 1.4), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-dev (>= 0.1), libghc-mtl-dev, libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-regex-tdfa-dev (<< 1.3), libghc-regex-tdfa-dev (>= 1.2.2), libghc-strict-dev (<< 0.4), libghc-strict-dev (>= 0.3.2), libghc-transformers-compat-dev (<< 0.6), libghc-transformers-compat-dev (>= 0.3.3.3), libghc-transformers-dev, libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-dev (>= 0.2.5.0), libghc-zlib-dev (<< 0.7), libghc-zlib-dev (>= 0.4.0.1), libncurses5-dev
Filtered Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa, ghc (>= 8), happy, haskell-devscripts (>= 0.13), libghc-boxes-dev (<< 0.2), libghc-boxes-dev (>= 0.1.3), libghc-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-core-dev (<< 1.3.2), libghc-edison-core-dev (>= 1.3.1.1), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-dev (>= 0.2.1.2), libghc-equivalence-dev (<< 0.4), libghc-equivalence-dev (>= 0.2.5), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-gitrev-dev (<< 2.0), libghc-gitrev-dev (>= 1.2), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-ieee754-dev (<< 0.9), libghc-ieee754-dev (>= 0.7.8), libghc-monadplus-dev (<< 1.5), libghc-monadplus-dev (>= 1.4), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-dev (>= 0.1), libghc-mtl-dev, libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-regex-tdfa-dev (<< 1.3), libghc-regex-tdfa-dev (>= 1.2.2), libghc-strict-dev (<< 0.4), libghc-strict-dev (>= 0.3.2), libghc-transformers-compat-dev (<< 0.6), libghc-transformers-compat-dev (>= 0.3.3.3), libghc-transformers-dev, libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-dev (>= 0.2.5.0), libghc-zlib-dev (<< 0.7), libghc-zlib-dev (>= 0.4.0.1), libncurses5-dev
dpkg-deb: building package 'sbuild-build-depends-agda-dummy' in '/<<BUILDDIR>>/resolver-Gnegpo/apt_archive/sbuild-build-depends-agda-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-agda-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Sources [875 B]
Get:5 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ Packages [958 B]
Fetched 3166 B in 0s (11.2 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  libreadline5 libsasl2-modules
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  alex autoconf automake autopoint autotools-dev binfmt-support bsdmainutils
  cdbs cpphs dctrl-tools debhelper dh-autoreconf dh-buildinfo dh-elpa
  dh-strip-nondeterminism emacs25-bin-common emacs25-common emacs25-nox
  emacsen-common file gettext gettext-base ghc groff-base happy
  haskell-devscripts haskell-devscripts-minimal hscolour html-xml-utils
  install-info intltool-debian libapt-pkg-perl libarchive-zip-perl
  libarray-unique-perl libarray-utils-perl libasound2 libasound2-data
  libbsd-dev libbsd0 libcgi-pm-perl libclass-accessor-perl libconfig-tiny-perl
  libcroco3 libcurl3-gnutls libdebian-source-perl libedit2
  libencode-locale-perl liberror-perl libexporter-lite-perl
  libexporter-tiny-perl libffi-dev libfile-find-rule-perl libfile-listing-perl
  libfile-stripnondeterminism-perl libghc-boxes-dev libghc-data-hash-dev
  libghc-edison-api-dev libghc-edison-core-dev libghc-edit-distance-dev
  libghc-equivalence-dev libghc-filemanip-dev libghc-geniplate-mirror-dev
  libghc-gitrev-dev libghc-hashable-dev libghc-hashtables-dev
  libghc-ieee754-dev libghc-monadplus-dev libghc-mtl-dev
  libghc-murmur-hash-dev libghc-parallel-dev libghc-parsec3-dev
  libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev
  libghc-regex-base-dev libghc-regex-tdfa-dev libghc-split-dev
  libghc-stmonadtrans-dev libghc-strict-dev libghc-text-dev
  libghc-tf-random-dev libghc-transformers-compat-dev libghc-unix-compat-dev
  libghc-unordered-containers-dev libghc-vector-dev libghc-zlib-dev
  libglib2.0-0 libgmp-dev libgmpxx4ldbl libgpm2 libgssapi-krb5-2
  libhtml-form-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl
  libhttp-cookies-perl libhttp-daemon-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libhttp-server-simple-perl
  libicu57 libio-html-perl libio-socket-ssl-perl libio-stringy-perl
  libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  liblist-moreutils-perl libllvm3.7 liblockfile-bin liblockfile1
  liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1
  libncurses5-dev libnet-http-perl libnet-ssleay-perl libnghttp2-14
  libnumber-compare-perl libparse-debcontrol-perl libpipeline1 libpsl5
  librtmp1 libsigsegv2 libssh2-1 libsub-name-perl libtext-glob-perl
  libtie-ixhash-perl libtimedate-perl libtinfo-dev libtool liburi-perl
  libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml2 llvm-3.7
  llvm-3.7-runtime m4 man-db netbase perl-openssl-defaults po-debconf
  zlib1g-dev
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation devscripts debtags dh-make emacs25-common-non-dfsg ncurses-term
  gettext-doc libasprintf-dev libgettextpo-dev ghc-prof ghc-doc haskell-doc
  groff libasound2-plugins alsa-utils libghc-boxes-doc libghc-boxes-prof
  libghc-data-hash-doc libghc-data-hash-prof libghc-edison-api-doc
  libghc-edison-api-prof libghc-edison-core-doc libghc-edison-core-prof
  libghc-edit-distance-doc libghc-edit-distance-prof libghc-equivalence-doc
  libghc-equivalence-prof libghc-filemanip-doc libghc-filemanip-prof
  libghc-geniplate-mirror-doc libghc-geniplate-mirror-prof libghc-gitrev-doc
  libghc-gitrev-prof libghc-hashable-doc libghc-hashable-prof
  libghc-hashtables-doc libghc-hashtables-prof libghc-ieee754-doc
  libghc-ieee754-prof libghc-monadplus-doc libghc-monadplus-prof
  libghc-mtl-doc libghc-mtl-prof libghc-murmur-hash-doc
  libghc-murmur-hash-prof libghc-parallel-doc libghc-parallel-prof
  libghc-parsec3-doc libghc-parsec3-prof libghc-primitive-doc
  libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof
  libghc-random-doc libghc-random-prof libghc-regex-base-doc
  libghc-regex-base-prof libghc-regex-tdfa-doc libghc-regex-tdfa-prof
  libghc-split-doc libghc-split-prof libghc-stmonadtrans-doc
  libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof
  libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof
  libghc-transformers-compat-doc libghc-transformers-compat-prof
  libghc-unix-compat-doc libghc-unix-compat-prof
  libghc-unordered-containers-doc libghc-unordered-containers-prof
  libghc-vector-doc libghc-vector-prof libghc-zlib-doc libghc-zlib-prof
  gmp-doc libgmp10-doc libmpfr-dev gpm krb5-doc krb5-user libdata-dump-perl
  libcrypt-ssleay-perl ncurses-doc libtool-doc gfortran | fortran95-compiler
  gcj-jdk libauthen-ntlm-perl llvm-3.7-doc m4-doc less www-browser
  libmail-box-perl
Recommended packages:
  emacs25-el curl | wget | lynx-cur libcgi-fast-perl libarchive-cpio-perl
  libglib2.0-data shared-mime-info xdg-user-dirs libhtml-format-perl
  krb5-locales publicsuffix libltdl-dev libmailtools-perl llvm-3.7-dev
  libmail-sendmail-perl
The following NEW packages will be installed:
  alex autoconf automake autopoint autotools-dev binfmt-support bsdmainutils
  cdbs cpphs dctrl-tools debhelper dh-autoreconf dh-buildinfo dh-elpa
  dh-strip-nondeterminism emacs25-bin-common emacs25-common emacs25-nox
  emacsen-common file gettext gettext-base ghc groff-base happy
  haskell-devscripts haskell-devscripts-minimal hscolour html-xml-utils
  install-info intltool-debian libapt-pkg-perl libarchive-zip-perl
  libarray-unique-perl libarray-utils-perl libasound2 libasound2-data
  libbsd-dev libbsd0 libcgi-pm-perl libclass-accessor-perl libconfig-tiny-perl
  libcroco3 libcurl3-gnutls libdebian-source-perl libedit2
  libencode-locale-perl liberror-perl libexporter-lite-perl
  libexporter-tiny-perl libffi-dev libfile-find-rule-perl libfile-listing-perl
  libfile-stripnondeterminism-perl libghc-boxes-dev libghc-data-hash-dev
  libghc-edison-api-dev libghc-edison-core-dev libghc-edit-distance-dev
  libghc-equivalence-dev libghc-filemanip-dev libghc-geniplate-mirror-dev
  libghc-gitrev-dev libghc-hashable-dev libghc-hashtables-dev
  libghc-ieee754-dev libghc-monadplus-dev libghc-mtl-dev
  libghc-murmur-hash-dev libghc-parallel-dev libghc-parsec3-dev
  libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev
  libghc-regex-base-dev libghc-regex-tdfa-dev libghc-split-dev
  libghc-stmonadtrans-dev libghc-strict-dev libghc-text-dev
  libghc-tf-random-dev libghc-transformers-compat-dev libghc-unix-compat-dev
  libghc-unordered-containers-dev libghc-vector-dev libghc-zlib-dev
  libglib2.0-0 libgmp-dev libgmpxx4ldbl libgpm2 libgssapi-krb5-2
  libhtml-form-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl
  libhttp-cookies-perl libhttp-daemon-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libhttp-server-simple-perl
  libicu57 libio-html-perl libio-socket-ssl-perl libio-stringy-perl
  libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  liblist-moreutils-perl libllvm3.7 liblockfile-bin liblockfile1
  liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1
  libncurses5-dev libnet-http-perl libnet-ssleay-perl libnghttp2-14
  libnumber-compare-perl libparse-debcontrol-perl libpipeline1 libpsl5
  librtmp1 libsigsegv2 libssh2-1 libsub-name-perl libtext-glob-perl
  libtie-ixhash-perl libtimedate-perl libtinfo-dev libtool liburi-perl
  libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml2 llvm-3.7
  llvm-3.7-runtime m4 man-db netbase perl-openssl-defaults po-debconf
  sbuild-build-depends-agda-dummy zlib1g-dev
0 upgraded, 149 newly installed, 0 to remove and 24 not upgraded.
Need to get 125 MB of archives.
After this operation, 848 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-Gnegpo/apt_archive ./ sbuild-build-depends-agda-dummy 0.invalid.0 [1168 B]
Get:2 http://172.17.0.1/private buster-staging/main armhf install-info armhf 6.5.0.dfsg.1-1 [338 kB]
Get:3 http://172.17.0.1/private buster-staging/main armhf groff-base armhf 1.22.3-9 [1005 kB]
Get:4 http://172.17.0.1/private buster-staging/main armhf libbsd0 armhf 0.8.6-2 [95.8 kB]
Get:5 http://172.17.0.1/private buster-staging/main armhf bsdmainutils armhf 9.0.12+nmu1 [178 kB]
Get:6 http://172.17.0.1/private buster-staging/main armhf libpipeline1 armhf 1.4.2-1 [24.2 kB]
Get:7 http://172.17.0.1/private buster-staging/main armhf man-db armhf 2.7.6.1-2 [1014 kB]
Get:8 http://172.17.0.1/private buster-staging/main armhf liblockfile-bin armhf 1.14-1 [18.0 kB]
Get:9 http://172.17.0.1/private buster-staging/main armhf liblockfile1 armhf 1.14-1 [14.5 kB]
Get:10 http://172.17.0.1/private buster-staging/main armhf binfmt-support armhf 2.1.8-1 [50.8 kB]
Get:11 http://172.17.0.1/private buster-staging/main armhf libedit2 armhf 3.1-20170329-1 [69.0 kB]
Get:12 http://172.17.0.1/private buster-staging/main armhf libllvm3.7 armhf 1:3.7.1-5 [8015 kB]
Get:13 http://172.17.0.1/private buster-staging/main armhf llvm-3.7-runtime armhf 1:3.7.1-5 [74.9 kB]
Get:14 http://172.17.0.1/private buster-staging/main armhf llvm-3.7 armhf 1:3.7.1-5 [1229 kB]
Get:15 http://172.17.0.1/private buster-staging/main armhf libgmpxx4ldbl armhf 2:6.1.2+dfsg-1 [21.5 kB]
Get:16 http://172.17.0.1/private buster-staging/main armhf libgmp-dev armhf 2:6.1.2+dfsg-1 [563 kB]
Get:17 http://172.17.0.1/private buster-staging/main armhf libffi-dev armhf 3.2.1-6 [159 kB]
Get:18 http://172.17.0.1/private buster-staging/main armhf libbsd-dev armhf 0.8.6-2 [205 kB]
Get:19 http://172.17.0.1/private buster-staging/main armhf libtinfo-dev armhf 6.0+20170902-1 [66.6 kB]
Get:20 http://172.17.0.1/private buster-staging/main armhf libncurses5-dev armhf 6.0+20170902-1 [151 kB]
Get:21 http://172.17.0.1/private buster-staging/main armhf ghc armhf 8.0.2-10+rpi1 [59.2 MB]
Get:22 http://172.17.0.1/private buster-staging/main armhf netbase all 5.4 [19.1 kB]
Get:23 http://172.17.0.1/private buster-staging/main armhf libmagic-mgc armhf 1:5.32-1 [225 kB]
Get:24 http://172.17.0.1/private buster-staging/main armhf libmagic1 armhf 1:5.32-1 [105 kB]
Get:25 http://172.17.0.1/private buster-staging/main armhf file armhf 1:5.32-1 [63.7 kB]
Get:26 http://172.17.0.1/private buster-staging/main armhf gettext-base armhf 0.19.8.1-4 [117 kB]
Get:27 http://172.17.0.1/private buster-staging/main armhf libgpm2 armhf 1.20.4-6.2 [33.0 kB]
Get:28 http://172.17.0.1/private buster-staging/main armhf libkeyutils1 armhf 1.5.9-9 [11.9 kB]
Get:29 http://172.17.0.1/private buster-staging/main armhf libkrb5support0 armhf 1.15.1-2 [58.4 kB]
Get:30 http://172.17.0.1/private buster-staging/main armhf libk5crypto3 armhf 1.15.1-2 [115 kB]
Get:31 http://172.17.0.1/private buster-staging/main armhf libkrb5-3 armhf 1.15.1-2 [265 kB]
Get:32 http://172.17.0.1/private buster-staging/main armhf libgssapi-krb5-2 armhf 1.15.1-2 [132 kB]
Get:33 http://172.17.0.1/private buster-staging/main armhf libicu57 armhf 57.1-6 [7427 kB]
Get:34 http://172.17.0.1/private buster-staging/main armhf libxml2 armhf 2.9.4+dfsg1-4 [609 kB]
Get:35 http://172.17.0.1/private buster-staging/main armhf libsigsegv2 armhf 2.11-1 [29.3 kB]
Get:36 http://172.17.0.1/private buster-staging/main armhf m4 armhf 1.4.18-1 [185 kB]
Get:37 http://172.17.0.1/private buster-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:38 http://172.17.0.1/private buster-staging/main armhf autotools-dev all 20161112.1 [73.4 kB]
Get:39 http://172.17.0.1/private buster-staging/main armhf automake all 1:1.15.1-3 [736 kB]
Get:40 http://172.17.0.1/private buster-staging/main armhf autopoint all 0.19.8.1-4 [434 kB]
Get:41 http://172.17.0.1/private buster-staging/main armhf cdbs all 0.4.152 [82.7 kB]
Get:42 http://172.17.0.1/private buster-staging/main armhf dctrl-tools armhf 2.24-2 [94.4 kB]
Get:43 http://172.17.0.1/private buster-staging/main armhf libtool all 2.4.6-2 [545 kB]
Get:44 http://172.17.0.1/private buster-staging/main armhf dh-autoreconf all 14 [15.9 kB]
Get:45 http://172.17.0.1/private buster-staging/main armhf libarchive-zip-perl all 1.59-1 [95.5 kB]
Get:46 http://172.17.0.1/private buster-staging/main armhf libfile-stripnondeterminism-perl all 0.038-1 [17.6 kB]
Get:47 http://172.17.0.1/private buster-staging/main armhf libtimedate-perl all 2.3000-2 [42.2 kB]
Get:48 http://172.17.0.1/private buster-staging/main armhf dh-strip-nondeterminism all 0.038-1 [11.1 kB]
Get:49 http://172.17.0.1/private buster-staging/main armhf libglib2.0-0 armhf 2.54.0-1 [2650 kB]
Get:50 http://172.17.0.1/private buster-staging/main armhf libcroco3 armhf 0.6.12-1 [132 kB]
Get:51 http://172.17.0.1/private buster-staging/main armhf gettext armhf 0.19.8.1-4 [1218 kB]
Get:52 http://172.17.0.1/private buster-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:53 http://172.17.0.1/private buster-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:54 http://172.17.0.1/private buster-staging/main armhf debhelper all 10.8 [973 kB]
Get:55 http://172.17.0.1/private buster-staging/main armhf dh-buildinfo all 0.11+nmu1 [18.1 kB]
Get:56 http://172.17.0.1/private buster-staging/main armhf libapt-pkg-perl armhf 0.1.33 [65.2 kB]
Get:57 http://172.17.0.1/private buster-staging/main armhf libarray-unique-perl all 0.08-2 [11.2 kB]
Get:58 http://172.17.0.1/private buster-staging/main armhf libsub-name-perl armhf 0.21-1+b1 [13.1 kB]
Get:59 http://172.17.0.1/private buster-staging/main armhf libclass-accessor-perl all 0.34-1 [25.9 kB]
Get:60 http://172.17.0.1/private buster-staging/main armhf libexporter-tiny-perl all 0.042-1 [32.4 kB]
Get:61 http://172.17.0.1/private buster-staging/main armhf liblist-moreutils-perl armhf 0.416-1+b2 [59.2 kB]
Get:62 http://172.17.0.1/private buster-staging/main armhf libio-stringy-perl all 2.111-2 [61.2 kB]
Get:63 http://172.17.0.1/private buster-staging/main armhf libencode-locale-perl all 1.05-1 [13.7 kB]
Get:64 http://172.17.0.1/private buster-staging/main armhf libhttp-date-perl all 6.02-1 [10.7 kB]
Get:65 http://172.17.0.1/private buster-staging/main armhf libfile-listing-perl all 6.04-1 [10.3 kB]
Get:66 http://172.17.0.1/private buster-staging/main armhf libhtml-tagset-perl all 3.20-3 [12.7 kB]
Get:67 http://172.17.0.1/private buster-staging/main armhf liburi-perl all 1.72-1 [88.7 kB]
Get:68 http://172.17.0.1/private buster-staging/main armhf libhtml-parser-perl armhf 3.72-3+b1 [101 kB]
Get:69 http://172.17.0.1/private buster-staging/main armhf libhtml-tree-perl all 5.03-2 [210 kB]
Get:70 http://172.17.0.1/private buster-staging/main armhf libio-html-perl all 1.001-1 [17.6 kB]
Get:71 http://172.17.0.1/private buster-staging/main armhf liblwp-mediatypes-perl all 6.02-1 [22.1 kB]
Get:72 http://172.17.0.1/private buster-staging/main armhf libhttp-message-perl all 6.13-1 [71.6 kB]
Get:73 http://172.17.0.1/private buster-staging/main armhf libhttp-cookies-perl all 6.01-1 [17.4 kB]
Get:74 http://172.17.0.1/private buster-staging/main armhf libhttp-negotiate-perl all 6.00-2 [13.6 kB]
Get:75 http://172.17.0.1/private buster-staging/main armhf perl-openssl-defaults armhf 3 [6782 B]
Get:76 http://172.17.0.1/private buster-staging/main armhf libnet-ssleay-perl armhf 1.80-1+b1 [270 kB]
Get:77 http://172.17.0.1/private buster-staging/main armhf libio-socket-ssl-perl all 2.051-1 [201 kB]
Get:78 http://172.17.0.1/private buster-staging/main armhf libnet-http-perl all 6.16-1 [24.2 kB]
Get:79 http://172.17.0.1/private buster-staging/main armhf liblwp-protocol-https-perl all 6.07-2 [9242 B]
Get:80 http://172.17.0.1/private buster-staging/main armhf libwww-robotrules-perl all 6.01-1 [14.3 kB]
Get:81 http://172.17.0.1/private buster-staging/main armhf libwww-perl all 6.15-2 [184 kB]
Get:82 http://172.17.0.1/private buster-staging/main armhf liberror-perl all 0.17024-1 [26.9 kB]
Get:83 http://172.17.0.1/private buster-staging/main armhf libexporter-lite-perl all 0.08-1 [11.1 kB]
Get:84 http://172.17.0.1/private buster-staging/main armhf libparse-debcontrol-perl all 2.005-4 [25.7 kB]
Get:85 http://172.17.0.1/private buster-staging/main armhf libtie-ixhash-perl all 1.23-2 [11.7 kB]
Get:86 http://172.17.0.1/private buster-staging/main armhf libcgi-pm-perl all 4.36-1 [222 kB]
Get:87 http://172.17.0.1/private buster-staging/main armhf libhtml-form-perl all 6.03-1 [23.9 kB]
Get:88 http://172.17.0.1/private buster-staging/main armhf libhttp-daemon-perl all 6.01-1 [17.3 kB]
Get:89 http://172.17.0.1/private buster-staging/main armhf libhttp-server-simple-perl all 0.51-1 [30.9 kB]
Get:90 http://172.17.0.1/private buster-staging/main armhf libwww-mechanize-perl all 1.86-1 [107 kB]
Get:91 http://172.17.0.1/private buster-staging/main armhf libdebian-source-perl all 0.95 [82.3 kB]
Get:92 http://172.17.0.1/private buster-staging/main armhf emacsen-common all 2.0.8 [21.2 kB]
Get:93 http://172.17.0.1/private buster-staging/main armhf emacs25-common all 25.2+1-6+rpi1 [13.2 MB]
Get:94 http://172.17.0.1/private buster-staging/main armhf emacs25-bin-common armhf 25.2+1-6+rpi1 [126 kB]
Get:95 http://172.17.0.1/private buster-staging/main armhf libasound2-data all 1.1.3-5 [173 kB]
Get:96 http://172.17.0.1/private buster-staging/main armhf libasound2 armhf 1.1.3-5 [442 kB]
Get:97 http://172.17.0.1/private buster-staging/main armhf libjpeg62-turbo armhf 1:1.5.2-2 [110 kB]
Get:98 http://172.17.0.1/private buster-staging/main armhf emacs25-nox armhf 25.2+1-6+rpi1 [2737 kB]
Get:99 http://172.17.0.1/private buster-staging/main armhf libarray-utils-perl all 0.5-1 [6254 B]
Get:100 http://172.17.0.1/private buster-staging/main armhf libconfig-tiny-perl all 2.23-1 [15.9 kB]
Get:101 http://172.17.0.1/private buster-staging/main armhf libnumber-compare-perl all 0.03-1 [7642 B]
Get:102 http://172.17.0.1/private buster-staging/main armhf libtext-glob-perl all 0.10-1 [8362 B]
Get:103 http://172.17.0.1/private buster-staging/main armhf libfile-find-rule-perl all 0.34-1 [30.6 kB]
Get:104 http://172.17.0.1/private buster-staging/main armhf dh-elpa all 1.11 [28.2 kB]
Get:105 http://172.17.0.1/private buster-staging/main armhf libnghttp2-14 armhf 1.26.0-1 [72.2 kB]
Get:106 http://172.17.0.1/private buster-staging/main armhf libpsl5 armhf 0.18.0-4 [42.4 kB]
Get:107 http://172.17.0.1/private buster-staging/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-1 [54.2 kB]
Get:108 http://172.17.0.1/private buster-staging/main armhf libssh2-1 armhf 1.8.0-1 [126 kB]
Get:109 http://172.17.0.1/private buster-staging/main armhf libcurl3-gnutls armhf 7.55.1-1 [262 kB]
Get:110 http://172.17.0.1/private buster-staging/main armhf zlib1g-dev armhf 1:1.2.8.dfsg-5 [198 kB]
Get:111 http://172.17.0.1/private buster-staging/main armhf alex armhf 3.2.3-1 [1589 kB]
Get:112 http://172.17.0.1/private buster-staging/main armhf cpphs armhf 1.20.8-1+b2 [1058 kB]
Get:113 http://172.17.0.1/private buster-staging/main armhf happy armhf 1.19.7-1 [1354 kB]
Get:114 http://172.17.0.1/private buster-staging/main armhf html-xml-utils armhf 7.1-1 [197 kB]
Get:115 http://172.17.0.1/private buster-staging/main armhf haskell-devscripts-minimal all 0.13.3 [38.6 kB]
Get:116 http://172.17.0.1/private buster-staging/main armhf hscolour armhf 1.24.1-3+b1 [1088 kB]
Get:117 http://172.17.0.1/private buster-staging/main armhf haskell-devscripts all 0.13.3 [16.2 kB]
Get:118 http://172.17.0.1/private buster-staging/main armhf libghc-split-dev armhf 0.2.3.2-1+b1 [53.7 kB]
Get:119 http://172.17.0.1/private buster-staging/main armhf libghc-boxes-dev armhf 0.1.4-4+b2 [49.0 kB]
Get:120 http://172.17.0.1/private buster-staging/main armhf libghc-data-hash-dev armhf 0.2.0.1-4+b1 [86.7 kB]
Get:121 http://172.17.0.1/private buster-staging/main armhf libghc-mtl-dev armhf 2.2.1-5+b1 [116 kB]
Get:122 http://172.17.0.1/private buster-staging/main armhf libghc-edison-api-dev armhf 1.3.1-2+b1 [105 kB]
Get:123 http://172.17.0.1/private buster-staging/main armhf libghc-random-dev armhf 1.1-5+b1 [153 kB]
Get:124 http://172.17.0.1/private buster-staging/main armhf libghc-primitive-dev armhf 0.6.1.0-4+b1 [127 kB]
Get:125 http://172.17.0.1/private buster-staging/main armhf libghc-tf-random-dev armhf 0.5-7+b1 [104 kB]
Get:126 http://172.17.0.1/private buster-staging/main armhf libghc-quickcheck2-dev armhf 2.9.2-1+b1 [616 kB]
Get:127 http://172.17.0.1/private buster-staging/main armhf libghc-edison-core-dev armhf 1.3.1.1-3+b2 [1342 kB]
Get:128 http://172.17.0.1/private buster-staging/main armhf libghc-edit-distance-dev armhf 0.2.2.1-5+b1 [113 kB]
Get:129 http://172.17.0.1/private buster-staging/main armhf libghc-stmonadtrans-dev armhf 0.4.3-1+b1 [82.0 kB]
Get:130 http://172.17.0.1/private buster-staging/main armhf libghc-transformers-compat-dev armhf 0.5.1.4-2+b1 [20.0 kB]
Get:131 http://172.17.0.1/private buster-staging/main armhf libghc-equivalence-dev armhf 0.3.2-1+b1 [96.4 kB]
Get:132 http://172.17.0.1/private buster-staging/main armhf libghc-unix-compat-dev armhf 0.4.3.1-1+b1 [18.5 kB]
Get:133 http://172.17.0.1/private buster-staging/main armhf libghc-filemanip-dev armhf 0.3.6.3-6+b2 [94.9 kB]
Get:134 http://172.17.0.1/private buster-staging/main armhf libghc-geniplate-mirror-dev armhf 0.7.5-1+b1 [117 kB]
Get:135 http://172.17.0.1/private buster-staging/main armhf libghc-gitrev-dev armhf 1.2.0-3+b1 [25.3 kB]
Get:136 http://172.17.0.1/private buster-staging/main armhf libghc-text-dev armhf 1.2.2.2-1+b1 [1218 kB]
Get:137 http://172.17.0.1/private buster-staging/main armhf libghc-hashable-dev armhf 1.2.6.1-1+b2 [107 kB]
Get:138 http://172.17.0.1/private buster-staging/main armhf libghc-vector-dev armhf 0.12.0.1-1 [1600 kB]
Get:139 http://172.17.0.1/private buster-staging/main armhf libghc-hashtables-dev armhf 1.2.1.1-1+b1 [247 kB]
Get:140 http://172.17.0.1/private buster-staging/main armhf libghc-ieee754-dev armhf 0.8.0-1+b1 [90.1 kB]
Get:141 http://172.17.0.1/private buster-staging/main armhf libghc-monadplus-dev armhf 1.4.2-3+b1 [26.4 kB]
Get:142 http://172.17.0.1/private buster-staging/main armhf libghc-murmur-hash-dev armhf 0.1.0.9-1+b1 [44.1 kB]
Get:143 http://172.17.0.1/private buster-staging/main armhf libghc-parallel-dev armhf 3.2.1.1-1+b1 [62.3 kB]
Get:144 http://172.17.0.1/private buster-staging/main armhf libghc-parsec3-dev armhf 3.1.11-3+b2 [314 kB]
Get:145 http://172.17.0.1/private buster-staging/main armhf libghc-regex-base-dev armhf 0.93.2-10+b1 [78.3 kB]
Get:146 http://172.17.0.1/private buster-staging/main armhf libghc-regex-tdfa-dev armhf 1.2.2-3+b2 [2569 kB]
Get:147 http://172.17.0.1/private buster-staging/main armhf libghc-strict-dev armhf 0.3.2-13+b1 [59.1 kB]
Get:148 http://172.17.0.1/private buster-staging/main armhf libghc-unordered-containers-dev armhf 0.2.8.0-1+b2 [278 kB]
Get:149 http://172.17.0.1/private buster-staging/main armhf libghc-zlib-dev armhf 0.6.1.2-1+b1 [194 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 125 MB in 37s (3356 kB/s)
Selecting previously unselected package install-info.
(Reading database ... 15082 files and directories currently installed.)
Preparing to unpack .../install-info_6.5.0.dfsg.1-1_armhf.deb ...
Unpacking install-info (6.5.0.dfsg.1-1) ...
Setting up install-info (6.5.0.dfsg.1-1) ...
Selecting previously unselected package groff-base.
(Reading database ... 15096 files and directories currently installed.)
Preparing to unpack .../000-groff-base_1.22.3-9_armhf.deb ...
Unpacking groff-base (1.22.3-9) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../001-libbsd0_0.8.6-2_armhf.deb ...
Unpacking libbsd0:armhf (0.8.6-2) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../002-bsdmainutils_9.0.12+nmu1_armhf.deb ...
Unpacking bsdmainutils (9.0.12+nmu1) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../003-libpipeline1_1.4.2-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.2-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../004-man-db_2.7.6.1-2_armhf.deb ...
Unpacking man-db (2.7.6.1-2) ...
Selecting previously unselected package liblockfile-bin.
Preparing to unpack .../005-liblockfile-bin_1.14-1_armhf.deb ...
Unpacking liblockfile-bin (1.14-1) ...
Selecting previously unselected package liblockfile1:armhf.
Preparing to unpack .../006-liblockfile1_1.14-1_armhf.deb ...
Unpacking liblockfile1:armhf (1.14-1) ...
Selecting previously unselected package binfmt-support.
Preparing to unpack .../007-binfmt-support_2.1.8-1_armhf.deb ...
Unpacking binfmt-support (2.1.8-1) ...
Selecting previously unselected package libedit2:armhf.
Preparing to unpack .../008-libedit2_3.1-20170329-1_armhf.deb ...
Unpacking libedit2:armhf (3.1-20170329-1) ...
Selecting previously unselected package libllvm3.7:armhf.
Preparing to unpack .../009-libllvm3.7_1%3a3.7.1-5_armhf.deb ...
Unpacking libllvm3.7:armhf (1:3.7.1-5) ...
Selecting previously unselected package llvm-3.7-runtime.
Preparing to unpack .../010-llvm-3.7-runtime_1%3a3.7.1-5_armhf.deb ...
Unpacking llvm-3.7-runtime (1:3.7.1-5) ...
Selecting previously unselected package llvm-3.7.
Preparing to unpack .../011-llvm-3.7_1%3a3.7.1-5_armhf.deb ...
Unpacking llvm-3.7 (1:3.7.1-5) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../012-libgmpxx4ldbl_2%3a6.1.2+dfsg-1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.1.2+dfsg-1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../013-libgmp-dev_2%3a6.1.2+dfsg-1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.1.2+dfsg-1) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../014-libffi-dev_3.2.1-6_armhf.deb ...
Unpacking libffi-dev:armhf (3.2.1-6) ...
Selecting previously unselected package libbsd-dev:armhf.
Preparing to unpack .../015-libbsd-dev_0.8.6-2_armhf.deb ...
Unpacking libbsd-dev:armhf (0.8.6-2) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../016-libtinfo-dev_6.0+20170902-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20170902-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../017-libncurses5-dev_6.0+20170902-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20170902-1) ...
Selecting previously unselected package ghc.
Preparing to unpack .../018-ghc_8.0.2-10+rpi1_armhf.deb ...
Unpacking ghc (8.0.2-10+rpi1) ...
Selecting previously unselected package netbase.
Preparing to unpack .../019-netbase_5.4_all.deb ...
Unpacking netbase (5.4) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../020-libmagic-mgc_1%3a5.32-1_armhf.deb ...
Unpacking libmagic-mgc (1:5.32-1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../021-libmagic1_1%3a5.32-1_armhf.deb ...
Unpacking libmagic1:armhf (1:5.32-1) ...
Selecting previously unselected package file.
Preparing to unpack .../022-file_1%3a5.32-1_armhf.deb ...
Unpacking file (1:5.32-1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../023-gettext-base_0.19.8.1-4_armhf.deb ...
Unpacking gettext-base (0.19.8.1-4) ...
Selecting previously unselected package libgpm2:armhf.
Preparing to unpack .../024-libgpm2_1.20.4-6.2_armhf.deb ...
Unpacking libgpm2:armhf (1.20.4-6.2) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../025-libkeyutils1_1.5.9-9_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-9) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../026-libkrb5support0_1.15.1-2_armhf.deb ...
Unpacking libkrb5support0:armhf (1.15.1-2) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../027-libk5crypto3_1.15.1-2_armhf.deb ...
Unpacking libk5crypto3:armhf (1.15.1-2) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../028-libkrb5-3_1.15.1-2_armhf.deb ...
Unpacking libkrb5-3:armhf (1.15.1-2) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../029-libgssapi-krb5-2_1.15.1-2_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.15.1-2) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../030-libicu57_57.1-6_armhf.deb ...
Unpacking libicu57:armhf (57.1-6) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../031-libxml2_2.9.4+dfsg1-4_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-4) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../032-libsigsegv2_2.11-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.11-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../033-m4_1.4.18-1_armhf.deb ...
Unpacking m4 (1.4.18-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../034-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../035-autotools-dev_20161112.1_all.deb ...
Unpacking autotools-dev (20161112.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../036-automake_1%3a1.15.1-3_all.deb ...
Unpacking automake (1:1.15.1-3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../037-autopoint_0.19.8.1-4_all.deb ...
Unpacking autopoint (0.19.8.1-4) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../038-cdbs_0.4.152_all.deb ...
Unpacking cdbs (0.4.152) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../039-dctrl-tools_2.24-2_armhf.deb ...
Unpacking dctrl-tools (2.24-2) ...
Selecting previously unselected package libtool.
Preparing to unpack .../040-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../041-dh-autoreconf_14_all.deb ...
Unpacking dh-autoreconf (14) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../042-libarchive-zip-perl_1.59-1_all.deb ...
Unpacking libarchive-zip-perl (1.59-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../043-libfile-stripnondeterminism-perl_0.038-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.038-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../044-libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../045-dh-strip-nondeterminism_0.038-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.038-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../046-libglib2.0-0_2.54.0-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.54.0-1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../047-libcroco3_0.6.12-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.12-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../048-gettext_0.19.8.1-4_armhf.deb ...
Unpacking gettext (0.19.8.1-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../049-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 .../050-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../051-debhelper_10.8_all.deb ...
Unpacking debhelper (10.8) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../052-dh-buildinfo_0.11+nmu1_all.deb ...
Unpacking dh-buildinfo (0.11+nmu1) ...
Selecting previously unselected package libapt-pkg-perl.
Preparing to unpack .../053-libapt-pkg-perl_0.1.33_armhf.deb ...
Unpacking libapt-pkg-perl (0.1.33) ...
Selecting previously unselected package libarray-unique-perl.
Preparing to unpack .../054-libarray-unique-perl_0.08-2_all.deb ...
Unpacking libarray-unique-perl (0.08-2) ...
Selecting previously unselected package libsub-name-perl.
Preparing to unpack .../055-libsub-name-perl_0.21-1+b1_armhf.deb ...
Unpacking libsub-name-perl (0.21-1+b1) ...
Selecting previously unselected package libclass-accessor-perl.
Preparing to unpack .../056-libclass-accessor-perl_0.34-1_all.deb ...
Unpacking libclass-accessor-perl (0.34-1) ...
Selecting previously unselected package libexporter-tiny-perl.
Preparing to unpack .../057-libexporter-tiny-perl_0.042-1_all.deb ...
Unpacking libexporter-tiny-perl (0.042-1) ...
Selecting previously unselected package liblist-moreutils-perl.
Preparing to unpack .../058-liblist-moreutils-perl_0.416-1+b2_armhf.deb ...
Unpacking liblist-moreutils-perl (0.416-1+b2) ...
Selecting previously unselected package libio-stringy-perl.
Preparing to unpack .../059-libio-stringy-perl_2.111-2_all.deb ...
Unpacking libio-stringy-perl (2.111-2) ...
Selecting previously unselected package libencode-locale-perl.
Preparing to unpack .../060-libencode-locale-perl_1.05-1_all.deb ...
Unpacking libencode-locale-perl (1.05-1) ...
Selecting previously unselected package libhttp-date-perl.
Preparing to unpack .../061-libhttp-date-perl_6.02-1_all.deb ...
Unpacking libhttp-date-perl (6.02-1) ...
Selecting previously unselected package libfile-listing-perl.
Preparing to unpack .../062-libfile-listing-perl_6.04-1_all.deb ...
Unpacking libfile-listing-perl (6.04-1) ...
Selecting previously unselected package libhtml-tagset-perl.
Preparing to unpack .../063-libhtml-tagset-perl_3.20-3_all.deb ...
Unpacking libhtml-tagset-perl (3.20-3) ...
Selecting previously unselected package liburi-perl.
Preparing to unpack .../064-liburi-perl_1.72-1_all.deb ...
Unpacking liburi-perl (1.72-1) ...
Selecting previously unselected package libhtml-parser-perl.
Preparing to unpack .../065-libhtml-parser-perl_3.72-3+b1_armhf.deb ...
Unpacking libhtml-parser-perl (3.72-3+b1) ...
Selecting previously unselected package libhtml-tree-perl.
Preparing to unpack .../066-libhtml-tree-perl_5.03-2_all.deb ...
Unpacking libhtml-tree-perl (5.03-2) ...
Selecting previously unselected package libio-html-perl.
Preparing to unpack .../067-libio-html-perl_1.001-1_all.deb ...
Unpacking libio-html-perl (1.001-1) ...
Selecting previously unselected package liblwp-mediatypes-perl.
Preparing to unpack .../068-liblwp-mediatypes-perl_6.02-1_all.deb ...
Unpacking liblwp-mediatypes-perl (6.02-1) ...
Selecting previously unselected package libhttp-message-perl.
Preparing to unpack .../069-libhttp-message-perl_6.13-1_all.deb ...
Unpacking libhttp-message-perl (6.13-1) ...
Selecting previously unselected package libhttp-cookies-perl.
Preparing to unpack .../070-libhttp-cookies-perl_6.01-1_all.deb ...
Unpacking libhttp-cookies-perl (6.01-1) ...
Selecting previously unselected package libhttp-negotiate-perl.
Preparing to unpack .../071-libhttp-negotiate-perl_6.00-2_all.deb ...
Unpacking libhttp-negotiate-perl (6.00-2) ...
Selecting previously unselected package perl-openssl-defaults:armhf.
Preparing to unpack .../072-perl-openssl-defaults_3_armhf.deb ...
Unpacking perl-openssl-defaults:armhf (3) ...
Selecting previously unselected package libnet-ssleay-perl.
Preparing to unpack .../073-libnet-ssleay-perl_1.80-1+b1_armhf.deb ...
Unpacking libnet-ssleay-perl (1.80-1+b1) ...
Selecting previously unselected package libio-socket-ssl-perl.
Preparing to unpack .../074-libio-socket-ssl-perl_2.051-1_all.deb ...
Unpacking libio-socket-ssl-perl (2.051-1) ...
Selecting previously unselected package libnet-http-perl.
Preparing to unpack .../075-libnet-http-perl_6.16-1_all.deb ...
Unpacking libnet-http-perl (6.16-1) ...
Selecting previously unselected package liblwp-protocol-https-perl.
Preparing to unpack .../076-liblwp-protocol-https-perl_6.07-2_all.deb ...
Unpacking liblwp-protocol-https-perl (6.07-2) ...
Selecting previously unselected package libwww-robotrules-perl.
Preparing to unpack .../077-libwww-robotrules-perl_6.01-1_all.deb ...
Unpacking libwww-robotrules-perl (6.01-1) ...
Selecting previously unselected package libwww-perl.
Preparing to unpack .../078-libwww-perl_6.15-2_all.deb ...
Unpacking libwww-perl (6.15-2) ...
Selecting previously unselected package liberror-perl.
Preparing to unpack .../079-liberror-perl_0.17024-1_all.deb ...
Unpacking liberror-perl (0.17024-1) ...
Selecting previously unselected package libexporter-lite-perl.
Preparing to unpack .../080-libexporter-lite-perl_0.08-1_all.deb ...
Unpacking libexporter-lite-perl (0.08-1) ...
Selecting previously unselected package libparse-debcontrol-perl.
Preparing to unpack .../081-libparse-debcontrol-perl_2.005-4_all.deb ...
Unpacking libparse-debcontrol-perl (2.005-4) ...
Selecting previously unselected package libtie-ixhash-perl.
Preparing to unpack .../082-libtie-ixhash-perl_1.23-2_all.deb ...
Unpacking libtie-ixhash-perl (1.23-2) ...
Selecting previously unselected package libcgi-pm-perl.
Preparing to unpack .../083-libcgi-pm-perl_4.36-1_all.deb ...
Unpacking libcgi-pm-perl (4.36-1) ...
Selecting previously unselected package libhtml-form-perl.
Preparing to unpack .../084-libhtml-form-perl_6.03-1_all.deb ...
Unpacking libhtml-form-perl (6.03-1) ...
Selecting previously unselected package libhttp-daemon-perl.
Preparing to unpack .../085-libhttp-daemon-perl_6.01-1_all.deb ...
Unpacking libhttp-daemon-perl (6.01-1) ...
Selecting previously unselected package libhttp-server-simple-perl.
Preparing to unpack .../086-libhttp-server-simple-perl_0.51-1_all.deb ...
Unpacking libhttp-server-simple-perl (0.51-1) ...
Selecting previously unselected package libwww-mechanize-perl.
Preparing to unpack .../087-libwww-mechanize-perl_1.86-1_all.deb ...
Unpacking libwww-mechanize-perl (1.86-1) ...
Selecting previously unselected package libdebian-source-perl.
Preparing to unpack .../088-libdebian-source-perl_0.95_all.deb ...
Unpacking libdebian-source-perl (0.95) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../089-emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package emacs25-common.
Preparing to unpack .../090-emacs25-common_25.2+1-6+rpi1_all.deb ...
Unpacking emacs25-common (25.2+1-6+rpi1) ...
Selecting previously unselected package emacs25-bin-common.
Preparing to unpack .../091-emacs25-bin-common_25.2+1-6+rpi1_armhf.deb ...
Unpacking emacs25-bin-common (25.2+1-6+rpi1) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../092-libasound2-data_1.1.3-5_all.deb ...
Unpacking libasound2-data (1.1.3-5) ...
Selecting previously unselected package libasound2:armhf.
Preparing to unpack .../093-libasound2_1.1.3-5_armhf.deb ...
Unpacking libasound2:armhf (1.1.3-5) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../094-libjpeg62-turbo_1%3a1.5.2-2_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.5.2-2) ...
Selecting previously unselected package emacs25-nox.
Preparing to unpack .../095-emacs25-nox_25.2+1-6+rpi1_armhf.deb ...
Unpacking emacs25-nox (25.2+1-6+rpi1) ...
Selecting previously unselected package libarray-utils-perl.
Preparing to unpack .../096-libarray-utils-perl_0.5-1_all.deb ...
Unpacking libarray-utils-perl (0.5-1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../097-libconfig-tiny-perl_2.23-1_all.deb ...
Unpacking libconfig-tiny-perl (2.23-1) ...
Selecting previously unselected package libnumber-compare-perl.
Preparing to unpack .../098-libnumber-compare-perl_0.03-1_all.deb ...
Unpacking libnumber-compare-perl (0.03-1) ...
Selecting previously unselected package libtext-glob-perl.
Preparing to unpack .../099-libtext-glob-perl_0.10-1_all.deb ...
Unpacking libtext-glob-perl (0.10-1) ...
Selecting previously unselected package libfile-find-rule-perl.
Preparing to unpack .../100-libfile-find-rule-perl_0.34-1_all.deb ...
Unpacking libfile-find-rule-perl (0.34-1) ...
Selecting previously unselected package dh-elpa.
Preparing to unpack .../101-dh-elpa_1.11_all.deb ...
Unpacking dh-elpa (1.11) ...
Selecting previously unselected package libnghttp2-14:armhf.
Preparing to unpack .../102-libnghttp2-14_1.26.0-1_armhf.deb ...
Unpacking libnghttp2-14:armhf (1.26.0-1) ...
Selecting previously unselected package libpsl5:armhf.
Preparing to unpack .../103-libpsl5_0.18.0-4_armhf.deb ...
Unpacking libpsl5:armhf (0.18.0-4) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../104-librtmp1_2.4+20151223.gitfa8646d.1-1_armhf.deb ...
Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-1) ...
Selecting previously unselected package libssh2-1:armhf.
Preparing to unpack .../105-libssh2-1_1.8.0-1_armhf.deb ...
Unpacking libssh2-1:armhf (1.8.0-1) ...
Selecting previously unselected package libcurl3-gnutls:armhf.
Preparing to unpack .../106-libcurl3-gnutls_7.55.1-1_armhf.deb ...
Unpacking libcurl3-gnutls:armhf (7.55.1-1) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../107-zlib1g-dev_1%3a1.2.8.dfsg-5_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-5) ...
Selecting previously unselected package alex.
Preparing to unpack .../108-alex_3.2.3-1_armhf.deb ...
Unpacking alex (3.2.3-1) ...
Selecting previously unselected package cpphs.
Preparing to unpack .../109-cpphs_1.20.8-1+b2_armhf.deb ...
Unpacking cpphs (1.20.8-1+b2) ...
Selecting previously unselected package happy.
Preparing to unpack .../110-happy_1.19.7-1_armhf.deb ...
Unpacking happy (1.19.7-1) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../111-html-xml-utils_7.1-1_armhf.deb ...
Unpacking html-xml-utils (7.1-1) ...
Selecting previously unselected package haskell-devscripts-minimal.
Preparing to unpack .../112-haskell-devscripts-minimal_0.13.3_all.deb ...
Unpacking haskell-devscripts-minimal (0.13.3) ...
Selecting previously unselected package hscolour.
Preparing to unpack .../113-hscolour_1.24.1-3+b1_armhf.deb ...
Unpacking hscolour (1.24.1-3+b1) ...
Selecting previously unselected package haskell-devscripts.
Preparing to unpack .../114-haskell-devscripts_0.13.3_all.deb ...
Unpacking haskell-devscripts (0.13.3) ...
Selecting previously unselected package libghc-split-dev.
Preparing to unpack .../115-libghc-split-dev_0.2.3.2-1+b1_armhf.deb ...
Unpacking libghc-split-dev (0.2.3.2-1+b1) ...
Selecting previously unselected package libghc-boxes-dev.
Preparing to unpack .../116-libghc-boxes-dev_0.1.4-4+b2_armhf.deb ...
Unpacking libghc-boxes-dev (0.1.4-4+b2) ...
Selecting previously unselected package libghc-data-hash-dev.
Preparing to unpack .../117-libghc-data-hash-dev_0.2.0.1-4+b1_armhf.deb ...
Unpacking libghc-data-hash-dev (0.2.0.1-4+b1) ...
Selecting previously unselected package libghc-mtl-dev.
Preparing to unpack .../118-libghc-mtl-dev_2.2.1-5+b1_armhf.deb ...
Unpacking libghc-mtl-dev (2.2.1-5+b1) ...
Selecting previously unselected package libghc-edison-api-dev.
Preparing to unpack .../119-libghc-edison-api-dev_1.3.1-2+b1_armhf.deb ...
Unpacking libghc-edison-api-dev (1.3.1-2+b1) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../120-libghc-random-dev_1.1-5+b1_armhf.deb ...
Unpacking libghc-random-dev (1.1-5+b1) ...
Selecting previously unselected package libghc-primitive-dev.
Preparing to unpack .../121-libghc-primitive-dev_0.6.1.0-4+b1_armhf.deb ...
Unpacking libghc-primitive-dev (0.6.1.0-4+b1) ...
Selecting previously unselected package libghc-tf-random-dev.
Preparing to unpack .../122-libghc-tf-random-dev_0.5-7+b1_armhf.deb ...
Unpacking libghc-tf-random-dev (0.5-7+b1) ...
Selecting previously unselected package libghc-quickcheck2-dev.
Preparing to unpack .../123-libghc-quickcheck2-dev_2.9.2-1+b1_armhf.deb ...
Unpacking libghc-quickcheck2-dev (2.9.2-1+b1) ...
Selecting previously unselected package libghc-edison-core-dev.
Preparing to unpack .../124-libghc-edison-core-dev_1.3.1.1-3+b2_armhf.deb ...
Unpacking libghc-edison-core-dev (1.3.1.1-3+b2) ...
Selecting previously unselected package libghc-edit-distance-dev.
Preparing to unpack .../125-libghc-edit-distance-dev_0.2.2.1-5+b1_armhf.deb ...
Unpacking libghc-edit-distance-dev (0.2.2.1-5+b1) ...
Selecting previously unselected package libghc-stmonadtrans-dev.
Preparing to unpack .../126-libghc-stmonadtrans-dev_0.4.3-1+b1_armhf.deb ...
Unpacking libghc-stmonadtrans-dev (0.4.3-1+b1) ...
Selecting previously unselected package libghc-transformers-compat-dev.
Preparing to unpack .../127-libghc-transformers-compat-dev_0.5.1.4-2+b1_armhf.deb ...
Unpacking libghc-transformers-compat-dev (0.5.1.4-2+b1) ...
Selecting previously unselected package libghc-equivalence-dev.
Preparing to unpack .../128-libghc-equivalence-dev_0.3.2-1+b1_armhf.deb ...
Unpacking libghc-equivalence-dev (0.3.2-1+b1) ...
Selecting previously unselected package libghc-unix-compat-dev.
Preparing to unpack .../129-libghc-unix-compat-dev_0.4.3.1-1+b1_armhf.deb ...
Unpacking libghc-unix-compat-dev (0.4.3.1-1+b1) ...
Selecting previously unselected package libghc-filemanip-dev.
Preparing to unpack .../130-libghc-filemanip-dev_0.3.6.3-6+b2_armhf.deb ...
Unpacking libghc-filemanip-dev (0.3.6.3-6+b2) ...
Selecting previously unselected package libghc-geniplate-mirror-dev.
Preparing to unpack .../131-libghc-geniplate-mirror-dev_0.7.5-1+b1_armhf.deb ...
Unpacking libghc-geniplate-mirror-dev (0.7.5-1+b1) ...
Selecting previously unselected package libghc-gitrev-dev.
Preparing to unpack .../132-libghc-gitrev-dev_1.2.0-3+b1_armhf.deb ...
Unpacking libghc-gitrev-dev (1.2.0-3+b1) ...
Selecting previously unselected package libghc-text-dev.
Preparing to unpack .../133-libghc-text-dev_1.2.2.2-1+b1_armhf.deb ...
Unpacking libghc-text-dev (1.2.2.2-1+b1) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../134-libghc-hashable-dev_1.2.6.1-1+b2_armhf.deb ...
Unpacking libghc-hashable-dev (1.2.6.1-1+b2) ...
Selecting previously unselected package libghc-vector-dev.
Preparing to unpack .../135-libghc-vector-dev_0.12.0.1-1_armhf.deb ...
Unpacking libghc-vector-dev (0.12.0.1-1) ...
Selecting previously unselected package libghc-hashtables-dev.
Preparing to unpack .../136-libghc-hashtables-dev_1.2.1.1-1+b1_armhf.deb ...
Unpacking libghc-hashtables-dev (1.2.1.1-1+b1) ...
Selecting previously unselected package libghc-ieee754-dev.
Preparing to unpack .../137-libghc-ieee754-dev_0.8.0-1+b1_armhf.deb ...
Unpacking libghc-ieee754-dev (0.8.0-1+b1) ...
Selecting previously unselected package libghc-monadplus-dev.
Preparing to unpack .../138-libghc-monadplus-dev_1.4.2-3+b1_armhf.deb ...
Unpacking libghc-monadplus-dev (1.4.2-3+b1) ...
Selecting previously unselected package libghc-murmur-hash-dev.
Preparing to unpack .../139-libghc-murmur-hash-dev_0.1.0.9-1+b1_armhf.deb ...
Unpacking libghc-murmur-hash-dev (0.1.0.9-1+b1) ...
Selecting previously unselected package libghc-parallel-dev.
Preparing to unpack .../140-libghc-parallel-dev_3.2.1.1-1+b1_armhf.deb ...
Unpacking libghc-parallel-dev (3.2.1.1-1+b1) ...
Selecting previously unselected package libghc-parsec3-dev.
Preparing to unpack .../141-libghc-parsec3-dev_3.1.11-3+b2_armhf.deb ...
Unpacking libghc-parsec3-dev (3.1.11-3+b2) ...
Selecting previously unselected package libghc-regex-base-dev.
Preparing to unpack .../142-libghc-regex-base-dev_0.93.2-10+b1_armhf.deb ...
Unpacking libghc-regex-base-dev (0.93.2-10+b1) ...
Selecting previously unselected package libghc-regex-tdfa-dev.
Preparing to unpack .../143-libghc-regex-tdfa-dev_1.2.2-3+b2_armhf.deb ...
Unpacking libghc-regex-tdfa-dev (1.2.2-3+b2) ...
Selecting previously unselected package libghc-strict-dev.
Preparing to unpack .../144-libghc-strict-dev_0.3.2-13+b1_armhf.deb ...
Unpacking libghc-strict-dev (0.3.2-13+b1) ...
Selecting previously unselected package libghc-unordered-containers-dev.
Preparing to unpack .../145-libghc-unordered-containers-dev_0.2.8.0-1+b2_armhf.deb ...
Unpacking libghc-unordered-containers-dev (0.2.8.0-1+b2) ...
Selecting previously unselected package libghc-zlib-dev.
Preparing to unpack .../146-libghc-zlib-dev_0.6.1.2-1+b1_armhf.deb ...
Unpacking libghc-zlib-dev (0.6.1.2-1+b1) ...
Selecting previously unselected package sbuild-build-depends-agda-dummy.
Preparing to unpack .../147-sbuild-build-depends-agda-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-agda-dummy (0.invalid.0) ...
Setting up cdbs (0.4.152) ...
Setting up libhtml-tagset-perl (3.20-3) ...
Setting up libarray-unique-perl (0.08-2) ...
Setting up happy (1.19.7-1) ...
Setting up libio-stringy-perl (2.111-2) ...
Setting up liblockfile-bin (1.14-1) ...
Setting up libapt-pkg-perl (0.1.33) ...
Setting up libjpeg62-turbo:armhf (1:1.5.2-2) ...
Setting up libarchive-zip-perl (1.59-1) ...
Setting up libnghttp2-14:armhf (1.26.0-1) ...
Setting up libencode-locale-perl (1.05-1) ...
Setting up alex (3.2.3-1) ...
Setting up liberror-perl (0.17024-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libsigsegv2:armhf (2.11-1) ...
Setting up libgpm2:armhf (1.20.4-6.2) ...
Processing triggers for install-info (6.5.0.dfsg.1-1) ...
Setting up perl-openssl-defaults:armhf (3) ...
Setting up libpsl5:armhf (0.18.0-4) ...
Setting up groff-base (1.22.3-9) ...
Setting up libglib2.0-0:armhf (2.54.0-1) ...
No schema files found: doing nothing.
Setting up liblockfile1:armhf (1.14-1) ...
Setting up libasound2-data (1.1.3-5) ...
Setting up emacsen-common (2.0.8) ...
Setting up libio-html-perl (1.001-1) ...
Setting up libexporter-tiny-perl (0.042-1) ...
Setting up libconfig-tiny-perl (2.23-1) ...
Setting up libtie-ixhash-perl (1.23-2) ...
Setting up libtinfo-dev:armhf (6.0+20170902-1) ...
Setting up dctrl-tools (2.24-2) ...
Setting up libffi-dev:armhf (3.2.1-6) ...
Setting up gettext-base (0.19.8.1-4) ...
Setting up libpipeline1:armhf (1.4.2-1) ...
Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-1) ...
Setting up m4 (1.4.18-1) ...
Setting up libarray-utils-perl (0.5-1) ...
Setting up libicu57:armhf (57.1-6) ...
Setting up libbsd0:armhf (0.8.6-2) ...
Setting up libxml2:armhf (2.9.4+dfsg1-4) ...
Setting up libmagic-mgc (1:5.32-1) ...
Setting up libasound2:armhf (1.1.3-5) ...
Setting up libmagic1:armhf (1:5.32-1) ...
Setting up libcroco3:armhf (0.6.12-1) ...
Setting up libncurses5-dev:armhf (6.0+20170902-1) ...
Setting up libexporter-lite-perl (0.08-1) ...
Setting up emacs25-common (25.2+1-6+rpi1) ...
Setting up libtext-glob-perl (0.10-1) ...
Setting up libssh2-1:armhf (1.8.0-1) ...
Setting up liblwp-mediatypes-perl (6.02-1) ...
Processing triggers for libc-bin (2.24-14) ...
Setting up autotools-dev (20161112.1) ...
Setting up liburi-perl (1.72-1) ...
Setting up hscolour (1.24.1-3+b1) ...
Processing triggers for systemd (234-3) ...
Setting up libhtml-parser-perl (3.72-3+b1) ...
Setting up libcgi-pm-perl (4.36-1) ...
Setting up libnet-http-perl (6.16-1) ...
Setting up libnumber-compare-perl (0.03-1) ...
Setting up cpphs (1.20.8-1+b2) ...
Setting up libkeyutils1:armhf (1.5.9-9) ...
Setting up bsdmainutils (9.0.12+nmu1) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up libgmpxx4ldbl:armhf (2:6.1.2+dfsg-1) ...
Setting up libsub-name-perl (0.21-1+b1) ...
Setting up libwww-robotrules-perl (6.01-1) ...
Setting up autopoint (0.19.8.1-4) ...
Setting up libclass-accessor-perl (0.34-1) ...
Setting up netbase (5.4) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-5) ...
Setting up libfile-stripnondeterminism-perl (0.038-1) ...
Setting up libedit2:armhf (3.1-20170329-1) ...
Setting up liblist-moreutils-perl (0.416-1+b2) ...
Setting up libgmp-dev:armhf (2:6.1.2+dfsg-1) ...
Setting up binfmt-support (2.1.8-1) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
Created symlink /etc/systemd/system/multi-user.target.wants/binfmt-support.service -> /lib/systemd/system/binfmt-support.service.
invoke-rc.d: could not determine current runlevel
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libfile-find-rule-perl (0.34-1) ...
Setting up libhttp-date-perl (6.02-1) ...
Setting up gettext (0.19.8.1-4) ...
Setting up libnet-ssleay-perl (1.80-1+b1) ...
Setting up libbsd-dev:armhf (0.8.6-2) ...
Setting up libhttp-server-simple-perl (0.51-1) ...
Setting up autoconf (2.69-11) ...
Setting up file (1:5.32-1) ...
Setting up emacs25-bin-common (25.2+1-6+rpi1) ...
update-alternatives: using /usr/bin/ctags.emacs25 to provide /usr/bin/ctags (ctags) in auto mode
update-alternatives: using /usr/bin/ebrowse.emacs25 to provide /usr/bin/ebrowse (ebrowse) in auto mode
update-alternatives: using /usr/bin/emacsclient.emacs25 to provide /usr/bin/emacsclient (emacsclient) in auto mode
update-alternatives: using /usr/bin/etags.emacs25 to provide /usr/bin/etags (etags) in auto mode
Setting up libkrb5support0:armhf (1.15.1-2) ...
Setting up libio-socket-ssl-perl (2.051-1) ...
Setting up libhtml-tree-perl (5.03-2) ...
Setting up libllvm3.7:armhf (1:3.7.1-5) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up automake (1:1.15.1-3) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-listing-perl (6.04-1) ...
Setting up man-db (2.7.6.1-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libhttp-message-perl (6.13-1) ...
Setting up libhttp-negotiate-perl (6.00-2) ...
Setting up libtool (2.4.6-2) ...
Setting up libk5crypto3:armhf (1.15.1-2) ...
Setting up llvm-3.7-runtime (1:3.7.1-5) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
Setting up llvm-3.7 (1:3.7.1-5) ...
Setting up po-debconf (1.0.20) ...
Setting up libhttp-cookies-perl (6.01-1) ...
Setting up ghc (8.0.2-10+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 emacs25-nox (25.2+1-6+rpi1) ...
update-alternatives: using /usr/bin/emacs25-nox to provide /usr/bin/emacs (emacs) in auto mode
update-alternatives: using /usr/bin/emacs25 to provide /usr/bin/editor (editor) in auto mode
Install emacsen-common for emacs25
emacsen-common: Handling install of emacsen flavor emacs25
Setting up libhttp-daemon-perl (6.01-1) ...
Setting up libghc-split-dev (0.2.3.2-1+b1) ...
Setting up libghc-random-dev (1.1-5+b1) ...
Setting up libghc-boxes-dev (0.1.4-4+b2) ...
Setting up libghc-monadplus-dev (1.4.2-3+b1) ...
Setting up libghc-transformers-compat-dev (0.5.1.4-2+b1) ...
Setting up libhtml-form-perl (6.03-1) ...
Setting up libghc-parallel-dev (3.2.1.1-1+b1) ...
Setting up libghc-ieee754-dev (0.8.0-1+b1) ...
Setting up libkrb5-3:armhf (1.15.1-2) ...
Setting up libghc-edit-distance-dev (0.2.2.1-5+b1) ...
Setting up libghc-text-dev (1.2.2.2-1+b1) ...
Setting up libghc-data-hash-dev (0.2.0.1-4+b1) ...
Setting up libghc-hashable-dev (1.2.6.1-1+b2) ...
Setting up libghc-gitrev-dev (1.2.0-3+b1) ...
Setting up libghc-unix-compat-dev (0.4.3.1-1+b1) ...
Setting up libghc-strict-dev (0.3.2-13+b1) ...
Setting up libghc-zlib-dev (0.6.1.2-1+b1) ...
Setting up libghc-murmur-hash-dev (0.1.0.9-1+b1) ...
Setting up libghc-mtl-dev (2.2.1-5+b1) ...
Setting up libghc-primitive-dev (0.6.1.0-4+b1) ...
Setting up libghc-parsec3-dev (3.1.11-3+b2) ...
Setting up libghc-filemanip-dev (0.3.6.3-6+b2) ...
Setting up libgssapi-krb5-2:armhf (1.15.1-2) ...
Setting up libghc-geniplate-mirror-dev (0.7.5-1+b1) ...
Setting up libghc-unordered-containers-dev (0.2.8.0-1+b2) ...
Setting up libghc-regex-base-dev (0.93.2-10+b1) ...
Setting up libghc-vector-dev (0.12.0.1-1) ...
Setting up libghc-stmonadtrans-dev (0.4.3-1+b1) ...
Setting up libghc-regex-tdfa-dev (1.2.2-3+b2) ...
Setting up libghc-edison-api-dev (1.3.1-2+b1) ...
Setting up libghc-tf-random-dev (0.5-7+b1) ...
Setting up libghc-equivalence-dev (0.3.2-1+b1) ...
Setting up libcurl3-gnutls:armhf (7.55.1-1) ...
Setting up libghc-hashtables-dev (1.2.1.1-1+b1) ...
Setting up html-xml-utils (7.1-1) ...
Setting up libghc-quickcheck2-dev (2.9.2-1+b1) ...
Setting up libghc-edison-core-dev (1.3.1.1-3+b2) ...
Setting up dh-autoreconf (14) ...
Setting up liblwp-protocol-https-perl (6.07-2) ...
Setting up libwww-perl (6.15-2) ...
Setting up debhelper (10.8) ...
Setting up libparse-debcontrol-perl (2.005-4) ...
Setting up libwww-mechanize-perl (1.86-1) ...
Setting up dh-strip-nondeterminism (0.038-1) ...
Setting up libdebian-source-perl (0.95) ...
Setting up dh-buildinfo (0.11+nmu1) ...
Setting up dh-elpa (1.11) ...
Setting up haskell-devscripts-minimal (0.13.3) ...
Setting up haskell-devscripts (0.13.3) ...
Setting up sbuild-build-depends-agda-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.24-14) ...
Processing triggers for systemd (234-3) ...
W: No sandbox user '_apt' on the system, can not drop privileges

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

Kernel: Linux 4.4.0-79-generic armhf (armv8l)
Toolchain package versions: binutils_2.29.1-3+rpi1 dpkg-dev_1.18.24 g++-7_7.2.0-5 gcc-7_7.2.0-5 libc6-dev_2.24-14 libstdc++-7-dev_7.2.0-5 libstdc++6_7.2.0-5 linux-libc-dev_4.9.30-2+deb9u2+rpi1+stretch
Package versions: adduser_3.116 alex_3.2.3-1 apt_1.5 autoconf_2.69-11 automake_1:1.15.1-3 autopoint_0.19.8.1-4 autotools-dev_20161112.1 base-files_10+rpi1 base-passwd_3.5.44 bash_4.4-5 binfmt-support_2.1.8-1 binutils_2.29.1-3+rpi1 binutils-arm-linux-gnueabihf_2.29.1-3+rpi1 binutils-common_2.29.1-3+rpi1 bsdmainutils_9.0.12+nmu1 bsdutils_1:2.29.2-5 build-essential_12.4 bzip2_1.0.6-8.1 ca-certificates_20170717 cdbs_0.4.152 coreutils_8.26-3 cpio_2.11+dfsg-6 cpp_4:7.2.0-1d1 cpp-7_7.2.0-5 cpphs_1.20.8-1+b2 dash_0.5.8-2.5 dctrl-tools_2.24-2 debconf_1.5.63 debhelper_10.8 debianutils_4.8.2 dh-autoreconf_14 dh-buildinfo_0.11+nmu1 dh-elpa_1.11 dh-strip-nondeterminism_0.038-1 diffutils_1:3.6-1 dirmngr_2.2.1-1 dmsetup_2:1.02.142-1 dpkg_1.18.24 dpkg-dev_1.18.24 e2fslibs_1.43.6-1 e2fsprogs_1.43.6-1 emacs25-bin-common_25.2+1-6+rpi1 emacs25-common_25.2+1-6+rpi1 emacs25-nox_25.2+1-6+rpi1 emacsen-common_2.0.8 fakeroot_1.22-1 fdisk_2.29.2-5 file_1:5.32-1 findutils_4.6.0+git+20170729-2 g++_4:7.2.0-1d1 g++-7_7.2.0-5 gcc_4:7.2.0-1d1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.3-14 gcc-5-base_5.4.1-4 gcc-7_7.2.0-5 gcc-7-base_7.2.0-5 gettext_0.19.8.1-4 gettext-base_0.19.8.1-4 ghc_8.0.2-10+rpi1 gnupg_2.2.1-1 gnupg-agent_2.2.1-1 gnupg-l10n_2.2.1-1 gnupg-utils_2.2.1-1 gpg_2.2.1-1 gpg-agent_2.2.1-1 gpg-wks-client_2.2.1-1 gpg-wks-server_2.2.1-1 gpgconf_2.2.1-1 gpgsm_2.2.1-1 gpgv_2.2.1-1 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5 happy_1.19.7-1 haskell-devscripts_0.13.3 haskell-devscripts-minimal_0.13.3 hostname_3.18 hscolour_1.24.1-3+b1 html-xml-utils_7.1-1 init-system-helpers_1.49 initramfs-tools_0.130 initramfs-tools-core_0.130 install-info_6.5.0.dfsg.1-1 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-9+rpi1 kmod_24-1 libacl1_2.2.52-3 libapparmor1_2.11.0-11 libapt-pkg-perl_0.1.33 libapt-pkg5.0_1.5 libarchive-zip-perl_1.59-1 libarray-unique-perl_0.08-2 libarray-utils-perl_0.5-1 libasan4_7.2.0-5 libasound2_1.1.3-5 libasound2-data_1.1.3-5 libassuan0_2.4.3-3 libatomic1_7.2.0-5 libattr1_1:2.4.47-2 libaudit-common_1:2.7.7-1 libaudit1_1:2.7.7-1+b1 libbinutils_2.29.1-3+rpi1 libblkid1_2.29.2-5 libbsd-dev_0.8.6-2 libbsd0_0.8.6-2 libbz2-1.0_1.0.6-8.1 libc-bin_2.24-14 libc-dev-bin_2.24-14 libc6_2.24-14 libc6-dev_2.24-14 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_7.2.0-5 libcgi-pm-perl_4.36-1 libcilkrts5_7.2.0-5 libclass-accessor-perl_0.34-1 libcomerr2_1.43.6-1 libconfig-tiny-perl_2.23-1 libcroco3_0.6.12-1 libcryptsetup4_2:1.7.5-1 libcurl3-gnutls_7.55.1-1 libdb5.3_5.3.28-13.1 libdbus-1-3_1.11.16+really1.10.22-1 libdebconfclient0_0.230 libdebian-source-perl_0.95 libdevmapper1.02.1_2:1.02.142-1 libdpkg-perl_1.18.24 libdrm-common_2.4.82-1+rpi1 libdrm2_2.4.82-1+rpi1 libedit2_3.1-20170329-1 libencode-locale-perl_1.05-1 liberror-perl_0.17024-1 libexporter-lite-perl_0.08-1 libexporter-tiny-perl_0.042-1 libfakeroot_1.22-1 libfdisk1_2.29.2-5 libffi-dev_3.2.1-6 libffi6_3.2.1-6 libfile-find-rule-perl_0.34-1 libfile-listing-perl_6.04-1 libfile-stripnondeterminism-perl_0.038-1 libgcc-7-dev_7.2.0-5 libgcc1_1:7.2.0-5 libgcrypt20_1.7.9-1 libgdbm3_1.8.3-14 libghc-boxes-dev_0.1.4-4+b2 libghc-data-hash-dev_0.2.0.1-4+b1 libghc-edison-api-dev_1.3.1-2+b1 libghc-edison-core-dev_1.3.1.1-3+b2 libghc-edit-distance-dev_0.2.2.1-5+b1 libghc-equivalence-dev_0.3.2-1+b1 libghc-filemanip-dev_0.3.6.3-6+b2 libghc-geniplate-mirror-dev_0.7.5-1+b1 libghc-gitrev-dev_1.2.0-3+b1 libghc-hashable-dev_1.2.6.1-1+b2 libghc-hashtables-dev_1.2.1.1-1+b1 libghc-ieee754-dev_0.8.0-1+b1 libghc-monadplus-dev_1.4.2-3+b1 libghc-mtl-dev_2.2.1-5+b1 libghc-murmur-hash-dev_0.1.0.9-1+b1 libghc-parallel-dev_3.2.1.1-1+b1 libghc-parsec3-dev_3.1.11-3+b2 libghc-primitive-dev_0.6.1.0-4+b1 libghc-quickcheck2-dev_2.9.2-1+b1 libghc-random-dev_1.1-5+b1 libghc-regex-base-dev_0.93.2-10+b1 libghc-regex-tdfa-dev_1.2.2-3+b2 libghc-split-dev_0.2.3.2-1+b1 libghc-stmonadtrans-dev_0.4.3-1+b1 libghc-strict-dev_0.3.2-13+b1 libghc-text-dev_1.2.2.2-1+b1 libghc-tf-random-dev_0.5-7+b1 libghc-transformers-compat-dev_0.5.1.4-2+b1 libghc-unix-compat-dev_0.4.3.1-1+b1 libghc-unordered-containers-dev_0.2.8.0-1+b2 libghc-vector-dev_0.12.0.1-1 libghc-zlib-dev_0.6.1.2-1+b1 libglib2.0-0_2.54.0-1 libgmp-dev_2:6.1.2+dfsg-1 libgmp10_2:6.1.2+dfsg-1 libgmpxx4ldbl_2:6.1.2+dfsg-1 libgnutls30_3.5.15-2 libgomp1_7.2.0-5 libgpg-error0_1.27-3 libgpm2_1.20.4-6.2 libgssapi-krb5-2_1.15.1-2 libhogweed4_3.3-2 libhtml-form-perl_6.03-1 libhtml-parser-perl_3.72-3+b1 libhtml-tagset-perl_3.20-3 libhtml-tree-perl_5.03-2 libhttp-cookies-perl_6.01-1 libhttp-daemon-perl_6.01-1 libhttp-date-perl_6.02-1 libhttp-message-perl_6.13-1 libhttp-negotiate-perl_6.00-2 libhttp-server-simple-perl_0.51-1 libicu57_57.1-6 libidn11_1.33-2 libidn2-0_2.0.2-5 libio-html-perl_1.001-1 libio-socket-ssl-perl_2.051-1 libio-stringy-perl_2.111-2 libip4tc0_1.6.1-2 libisl15_0.18-1 libjpeg62-turbo_1:1.5.2-2 libk5crypto3_1.15.1-2 libkeyutils1_1.5.9-9 libklibc_2.0.4-9+rpi1 libkmod2_24-1 libkrb5-3_1.15.1-2 libkrb5support0_1.15.1-2 libksba8_1.3.5-2 libldap-2.4-2_2.4.45+dfsg-1 libldap-common_2.4.45+dfsg-1 liblist-moreutils-perl_0.416-1+b2 libllvm3.7_1:3.7.1-5 liblockfile-bin_1.14-1 liblockfile1_1.14-1 liblwp-mediatypes-perl_6.02-1 liblwp-protocol-https-perl_6.07-2 liblz4-1_0.0~r131-2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-1 libmagic1_1:5.32-1 libmount1_2.29.2-5 libmpc3_1.0.3-2 libmpfr4_3.1.6-1 libncurses5_6.0+20170902-1 libncurses5-dev_6.0+20170902-1 libncursesw5_6.0+20170902-1 libnet-http-perl_6.16-1 libnet-ssleay-perl_1.80-1+b1 libnettle6_3.3-2 libnghttp2-14_1.26.0-1 libnih-dbus1_1.0.3-8 libnih1_1.0.3-8 libnpth0_1.5-2 libnumber-compare-perl_0.03-1 libp11-kit0_0.23.7-3 libpam-modules_1.1.8-3.6 libpam-modules-bin_1.1.8-3.6 libpam-runtime_1.1.8-3.6 libpam0g_1.1.8-3.6 libparse-debcontrol-perl_2.005-4 libpcre3_2:8.39-4 libperl5.24_5.24.1-7 libperl5.26_5.26.0-8 libpipeline1_1.4.2-1 libplymouth4_0.9.3-1 libpng16-16_1.6.32-3 libprocps6_2:3.3.12-3 libpsl5_0.18.0-4 libreadline5_5.2+dfsg-3 libreadline7_7.0-3 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~101-g0780600+dfsg-3 libsasl2-modules_2.1.27~101-g0780600+dfsg-3 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3 libseccomp2_2.3.1-2.1 libselinux1_2.7-2 libsemanage-common_2.7-2 libsemanage1_2.7-2 libsepol1_2.7-1 libsigsegv2_2.11-1 libsmartcols1_2.29.2-5 libsqlite3-0_3.20.1-1 libss2_1.43.6-1 libssh2-1_1.8.0-1 libssl1.1_1.1.0f-5 libstdc++-7-dev_7.2.0-5 libstdc++6_7.2.0-5 libsub-name-perl_0.21-1+b1 libsystemd0_234-3 libtasn1-6_4.12-2.1 libtext-glob-perl_0.10-1 libtie-ixhash-perl_1.23-2 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20170902-1 libtinfo5_6.0+20170902-1 libtool_2.4.6-2 libubsan0_7.2.0-5 libudev1_234-3 libunistring2_0.9.7-2 liburi-perl_1.72-1 libustr-1.0-1_1.0.4-6 libuuid1_2.29.2-5 libwww-mechanize-perl_1.86-1 libwww-perl_6.15-2 libwww-robotrules-perl_6.01-1 libxml2_2.9.4+dfsg1-4 linux-base_4.5 linux-libc-dev_4.9.30-2+deb9u2+rpi1+stretch llvm-3.7_1:3.7.1-5 llvm-3.7-runtime_1:3.7.1-5 login_1:4.4-4.1 lsb-base_9.20170808+rpi1 m4_1.4.18-1 make_4.1-9.1 makedev_2.3.1-93 man-db_2.7.6.1-2 mawk_1.3.3-17 mount_2.29.2-5 mountall_2.54 multiarch-support_2.24-14 ncurses-base_6.0+20170902-1 ncurses-bin_6.0+20170902-1 netbase_5.4 openssl_1.1.0f-5 passwd_1:4.4-4.1 patch_2.7.5-1 perl_5.26.0-8 perl-base_5.26.0-8 perl-modules-5.24_5.24.1-7 perl-modules-5.26_5.26.0-8 perl-openssl-defaults_3 pinentry-curses_1.0.0-2 plymouth_0.9.3-1 po-debconf_1.0.20 procps_2:3.3.12-3 raspbian-archive-keyring_20120528.2 readline-common_7.0-3 sbuild-build-depends-agda-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.10 systemd_234-3 sysvinit-utils_2.88dsf-59.10 tar_1.29b-2 tzdata_2017b-2 udev_234-3 util-linux_2.29.2-5 xz-utils_5.2.2-1.3 zlib1g_1:1.2.8.dfsg-5 zlib1g-dev_1:1.2.8.dfsg-5

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


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

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Mon Jul 10 10:59:28 2017 UTC
gpgv:                using RSA key F34F09744E9F5DD9
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./agda_2.5.2-2.dsc
dpkg-source: info: extracting agda in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking agda_2.5.2.orig.tar.gz
dpkg-source: info: unpacking agda_2.5.2-2.debian.tar.xz
dpkg-source: info: applying bump-ieee754-bounds.patch

Check disk space
----------------

Sufficient free space for build

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=buster-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=buster-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=buster-staging-armhf-sbuild-cf94d3ce-77c0-4454-bffa-a87ff02c927d
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package agda
dpkg-buildpackage: info: source version 2.5.2-2
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build agda-2.5.2
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
test -x debian/rules
dh_clean 
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
clean_recipe
Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\*
Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp
Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs
Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs
Running rm -f debian/hlibrary.Makefile
Running rm -rf debian/dh_haskell_shlibdeps
Running rm -rf debian/tmp-db
 debian/rules build-arch
test -x debian/rules
mkdir -p "."
CDBS WARNING:    DEB_DH_STRIP_ARGS is deprecated since 0.4.85
CDBS WARNING:    DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
make_setup_recipe
Running ghc --make Setup.hs -o debian/hlibrary.setup
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking debian/hlibrary.setup ...
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
configure_recipe
Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.5.2/ --datasubdir=agda --htmldir=/usr/share/doc/libghc-agda-doc/html/ --datadir=/usr/share --datasubdir=libghc-agda-dev
Configuring Agda-2.5.2...
Flags chosen: debug=False, uhc=False, cpphs=True
Dependency Agda ==2.5.2: using Agda-2.5.2
Dependency EdisonCore >=1.3.1.1 && <1.3.2: using EdisonCore-1.3.1.1
Dependency array >=0.4.0.1 && <0.6: using array-0.5.1.1
Dependency base >=4.6.0.1 && <4.10: using base-4.9.1.0
Dependency binary >=0.7.2.1 && <0.9: using binary-0.8.3.0
Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.4
Dependency bytestring >=0.10.0.2 && <0.11: using bytestring-0.10.8.1
Dependency containers >=0.5.0.0 && <0.6: using containers-0.5.7.1
Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1
Dependency deepseq >=1.3.0.1 && <1.5: using deepseq-1.4.2.0
Dependency directory >=1.2.0.1 && <1.4: using directory-1.3.0.0
Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1
Dependency equivalence >=0.2.5 && <0.4: using equivalence-0.3.2
Dependency filepath >=1.3.0.1 && <1.5: using filepath-1.4.1.1
Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.5
Dependency gitrev >=1.2 && <2.0: using gitrev-1.2.0
Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.6.1
Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using
hashtables-1.2.1.1
Dependency haskeline >=0.7.1.3 && <0.8: using haskeline-0.7.3.0
Dependency ieee754 >=0.7.8 && <0.9: using ieee754-0.8.0
Dependency monadplus ==1.4.*: using monadplus-1.4.2
Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.2.1
Dependency murmur-hash ==0.1.*: using murmur-hash-0.1.0.9
Dependency parallel >=3.2.0.4 && <3.3: using parallel-3.2.1.1
Dependency pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2: using
pretty-1.1.3.3
Dependency process >=1.1.0.2 && <1.5: using process-1.4.3.0
Dependency regex-tdfa >=1.2.2 && <1.3: using regex-tdfa-1.2.2
Dependency strict >=0.3.2 && <0.4: using strict-0.3.2
Dependency template-haskell >=2.8.0.0 && <2.12: using
template-haskell-2.11.1.0
Dependency text >=0.11.3.1 && <1.3: using text-1.2.2.2
Dependency time >=1.4.0.1 && <1.7: using time-1.6.0.1
Dependency transformers ==0.3.* || >=0.4.1.0 && <0.6: using
transformers-0.5.2.0
Dependency transformers-compat >=0.3.3.3 && <0.6: using
transformers-compat-0.5.1.4
Dependency unordered-containers >=0.2.5.0 && <0.3: using
unordered-containers-0.2.8.0
Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1
Dependency zlib >=0.4.0.1 && <0.7: using zlib-0.6.1.2
Using Cabal-1.24.2.0 compiled by ghc-8.0
Using compiler: ghc-8.0.2
Using install prefix: /usr
Binaries installed in: /usr/bin
Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-5b0rLzMOMmYKXHCjrH6sTd
Dynamic libraries installed in:
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2
Private binaries installed in: /usr/lib
Data files installed in: /usr/share/libghc-agda-dev
Documentation installed in: /usr/share/doc/arm-linux-ghc-8.0.2/Agda-2.5.2
Configuration files installed in: /usr/etc
Using alex version 3.2.3 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
No c2hs found
Using cpphs version 1.20.8 found on system at: /usr/bin/cpphs
Using gcc version 7 found on system at: /usr/bin/gcc
Using ghc version 8.0.2 found on system at: /usr/bin/ghc
Using ghc-pkg version 8.0.2 found on system at: /usr/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.17.3 found on system at: /usr/bin/haddock
Using happy version 1.19.7 found on system at: /usr/bin/happy
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.67 found on system at: /usr/bin/hpc
Using hsc2hs version 0.68.1 found on system at: /usr/bin/hsc2hs
Using hscolour version 1.24 found on system at: /usr/bin/HsColour
No jhc found
Using ld found on system at: /usr/bin/ld.gold
No lhc found
No lhc-pkg found
No pkg-config found
Using strip version 2.29 found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar
No uhc found
touch configure-ghc-stamp
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
build_recipe
Running debian/hlibrary.setup build --builddir=dist-ghc
Building Agda-2.5.2...
Preprocessing library Agda-2.5.2...
[  1 of 334] Compiling Paths_Agda       ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o )
[  2 of 334] Compiling Agda.Version     ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o )
[  3 of 334] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist-ghc/build/Agda/VersionCommit.o )
[  4 of 334] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o )
[  5 of 334] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o )
[  6 of 334] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o )
[  7 of 334] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist-ghc/build/Agda/Utils/Singleton.o )
[  8 of 334] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o )
[  9 of 334] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o )
[ 10 of 334] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o )
[ 11 of 334] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o )
[ 12 of 334] Compiling Agda.Utils.Parser.ReadP ( src/full/Agda/Utils/Parser/ReadP.hs, dist-ghc/build/Agda/Utils/Parser/ReadP.o )
[ 13 of 334] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o )
[ 14 of 334] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o )
[ 15 of 334] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o )
[ 16 of 334] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist-ghc/build/Agda/Utils/ListT.o )
[ 17 of 334] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist-ghc/build/Agda/Utils/IORef.o )
[ 18 of 334] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o )
[ 19 of 334] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist-ghc/build/Agda/Utils/IO/Directory.o )
[ 20 of 334] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o )
[ 21 of 334] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist-ghc/build/Agda/Utils/Haskell/Syntax.o )
[ 22 of 334] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist-ghc/build/Agda/Utils/HashMap.o )
[ 23 of 334] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o )
[ 24 of 334] Compiling Agda.Utils.Lens  ( src/full/Agda/Utils/Lens.hs, dist-ghc/build/Agda/Utils/Lens.o )
[ 25 of 334] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist-ghc/build/Agda/Utils/Memo.o )
[ 26 of 334] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist-ghc/build/Agda/Utils/Lens/Examples.o )
[ 27 of 334] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o )
[ 28 of 334] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o )
[ 29 of 334] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist-ghc/build/Agda/Utils/Except.o )
[ 30 of 334] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist-ghc/build/Agda/Utils/Environment.o )
[ 31 of 334] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist-ghc/build/Agda/Utils/Empty.o )
[ 32 of 334] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o )
[ 33 of 334] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist-ghc/build/Agda/Utils/Cluster.o )
[ 34 of 334] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o )
[ 35 of 334] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o )
[ 36 of 334] Compiling Agda.Utils.Bag   ( src/full/Agda/Utils/Bag.hs, dist-ghc/build/Agda/Utils/Bag.o )
[ 37 of 334] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o )
[ 38 of 334] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o )
[ 39 of 334] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o )
[ 40 of 334] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o )
[ 41 of 334] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist-ghc/build/Agda/Utils/Parser/MemoisedCPS.o )
[ 42 of 334] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o )
[ 43 of 334] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o )
[ 44 of 334] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o )
[ 45 of 334] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o )
[ 46 of 334] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o )
[ 47 of 334] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o )
[ 48 of 334] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o )
[ 49 of 334] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o )
[ 50 of 334] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist-ghc/build/Agda/Utils/Benchmark.o )
[ 51 of 334] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist-ghc/build/Agda/Utils/AssocList.o )
[ 52 of 334] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o )
[ 53 of 334] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o )
[ 54 of 334] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o )
[ 55 of 334] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o )
[ 56 of 334] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o )
[ 57 of 334] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o )
[ 58 of 334] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o )
[ 59 of 334] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o )
[ 60 of 334] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o )
[ 61 of 334] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o )
[ 62 of 334] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o )
[ 63 of 334] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o )
[ 64 of 334] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o )
[ 65 of 334] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist-ghc/build/Agda/Syntax/Parser/Literate.o )
[ 66 of 334] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o )
[ 67 of 334] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o )
[ 68 of 334] Compiling Agda.Syntax.Fixity[boot] ( src/full/Agda/Syntax/Fixity.hs-boot, dist-ghc/build/Agda/Syntax/Fixity.o-boot )
[ 69 of 334] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o )
[ 70 of 334] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o )
[ 71 of 334] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot )
[ 72 of 334] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser/Monad.o )
[ 73 of 334] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o )
[ 74 of 334] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o )
[ 75 of 334] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o )
[ 76 of 334] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o )
[ 77 of 334] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o )
[ 78 of 334] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o )
[ 79 of 334] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot )
[ 80 of 334] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot )
[ 81 of 334] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o )
[ 82 of 334] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o )
[ 83 of 334] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o )
[ 84 of 334] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o )
[ 85 of 334] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o )
[ 86 of 334] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist-ghc/build/Agda/Syntax/Reflected.o )
[ 87 of 334] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist-ghc/build/Agda/Syntax/Treeless.o )
[ 88 of 334] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist-ghc/build/Agda/TypeChecking/Positivity/Occurrence.o )
[ 89 of 334] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o )
[ 90 of 334] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o )
[ 91 of 334] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o )
[ 92 of 334] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o )
[ 93 of 334] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o )
[ 94 of 334] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o )

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2441:19: error:
    • Couldn't match type ‘t13’ with ‘()’
      ‘t13’ is a rigid type variable bound by
        the type signature for:
          happyReduce_114 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2440:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn () t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn () t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_0 4# happyReduction_114
      In an equation for ‘happyReduce_114’:
          happyReduce_114 = happySpecReduce_0 4# happyReduction_114
    • Relevant bindings include
        happyReduce_114 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2441:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2447:19: error:
    • Couldn't match type ‘t13’ with ‘()’
      ‘t13’ is a rigid type variable bound by
        the type signature for:
          happyReduce_115 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2446:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn () t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn () t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 4# happyReduction_115
      In an equation for ‘happyReduce_115’:
          happyReduce_115 = happySpecReduce_1 4# happyReduction_115
    • Relevant bindings include
        happyReduce_115 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2447:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2454:19: error:
    • Couldn't match type ‘t14’ with ‘()’
      ‘t14’ is a rigid type variable bound by
        the type signature for:
          happyReduce_116 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2453:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 () t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 () t15 t38 t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 5# happyReduction_116
      In an equation for ‘happyReduce_116’:
          happyReduce_116 = happySpecReduce_1 5# happyReduction_116
    • Relevant bindings include
        happyReduce_116 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2454:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2461:19: error:
    • Couldn't match type ‘t14’ with ‘()’
      ‘t14’ is a rigid type variable bound by
        the type signature for:
          happyReduce_117 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2460:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 () t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 () t15 t38 t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happyMonadReduce 1# 5# happyReduction_117
      In an equation for ‘happyReduce_117’:
          happyReduce_117 = happyMonadReduce 1# 5# happyReduction_117
    • Relevant bindings include
        happyReduce_117 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2461:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2468:19: error:
    • Couldn't match type ‘t15’ with ‘Interval’
      ‘t15’ is a rigid type variable bound by
        the type signature for:
          happyReduce_118 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2467:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 Interval t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 Interval t38 t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 6# happyReduction_118
      In an equation for ‘happyReduce_118’:
          happyReduce_118 = happySpecReduce_1 6# happyReduction_118
    • Relevant bindings include
        happyReduce_118 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2468:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2476:19: error:
    • Couldn't match type ‘t15’ with ‘Interval’
      ‘t15’ is a rigid type variable bound by
        the type signature for:
          happyReduce_119 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2475:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 Interval t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 Interval t38 t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 6# happyReduction_119
      In an equation for ‘happyReduce_119’:
          happyReduce_119 = happySpecReduce_1 6# happyReduction_119
    • Relevant bindings include
        happyReduce_119 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2476:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2949:19: error:
    • Couldn't match type ‘t54’ with ‘Telescope’
      ‘t54’ is a rigid type variable bound by
        the type signature for:
          happyReduce_164 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2948:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 Telescope t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 Telescope t55 t84)
    • In the expression: happySpecReduce_2 28# happyReduction_164
      In an equation for ‘happyReduce_164’:
          happyReduce_164 = happySpecReduce_2 28# happyReduction_164
    • Relevant bindings include
        happyReduce_164 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2949:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2973:19: error:
    • Couldn't match type ‘t38’ with ‘Expr’
      ‘t38’ is a rigid type variable bound by
        the type signature for:
          happyReduce_166 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2972:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 28# happyReduction_166
      In an equation for ‘happyReduce_166’:
          happyReduce_166 = happySpecReduce_3 28# happyReduction_166
    • Relevant bindings include
        happyReduce_166 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2973:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2985:19: error:
    • Couldn't match type ‘t38’ with ‘Expr’
      ‘t38’ is a rigid type variable bound by
        the type signature for:
          happyReduce_167 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2984:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 28# happyReduction_167
      In an equation for ‘happyReduce_167’:
          happyReduce_167 = happySpecReduce_1 28# happyReduction_167
    • Relevant bindings include
        happyReduce_167 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2985:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2993:19: error:
    • Couldn't match type ‘t38’ with ‘Expr’
      ‘t38’ is a rigid type variable bound by
        the type signature for:
          happyReduce_168 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2992:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happyMonadReduce 1# 29# happyReduction_168
      In an equation for ‘happyReduce_168’:
          happyReduce_168 = happyMonadReduce 1# 29# happyReduction_168
    • Relevant bindings include
        happyReduce_168 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2993:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3024:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_171 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3023:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 31# happyReduction_171
      In an equation for ‘happyReduce_171’:
          happyReduce_171 = happySpecReduce_1 31# happyReduction_171
    • Relevant bindings include
        happyReduce_171 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3024:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3032:19: error:
    • Couldn't match type ‘t46’ with ‘Expr’
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_172 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3031:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
    • In the expression: happySpecReduce_2 31# happyReduction_172
      In an equation for ‘happyReduce_172’:
          happyReduce_172 = happySpecReduce_2 31# happyReduction_172
    • Relevant bindings include
        happyReduce_172 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3032:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3042:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_173 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3041:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 32# happyReduction_173
      In an equation for ‘happyReduce_173’:
          happyReduce_173 = happySpecReduce_3 32# happyReduction_173
    • Relevant bindings include
        happyReduce_173 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3042:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3054:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_174 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3053:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 32# happyReduction_174
      In an equation for ‘happyReduce_174’:
          happyReduce_174 = happySpecReduce_1 32# happyReduction_174
    • Relevant bindings include
        happyReduce_174 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3054:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3062:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_175 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3061:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 32# happyReduction_175
      In an equation for ‘happyReduce_175’:
          happyReduce_175 = happySpecReduce_3 32# happyReduction_175
    • Relevant bindings include
        happyReduce_175 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3062:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3073:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_176 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3072:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happyReduce 4# 32# happyReduction_176
      In an equation for ‘happyReduce_176’:
          happyReduce_176 = happyReduce 4# 32# happyReduction_176
    • Relevant bindings include
        happyReduce_176 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3073:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3088:19: error:
    • Couldn't match type ‘t41’ with ‘t46’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_177 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3087:20
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_177 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3087:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t41 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t41 t54 t55 t84)
    • In the expression: happySpecReduce_1 32# happyReduction_177
      In an equation for ‘happyReduce_177’:
          happyReduce_177 = happySpecReduce_1 32# happyReduction_177
    • Relevant bindings include
        happyReduce_177 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3088:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3096:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_178 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3095:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happyReduce 4# 32# happyReduction_178
      In an equation for ‘happyReduce_178’:
          happyReduce_178 = happyReduce 4# 32# happyReduction_178
    • Relevant bindings include
        happyReduce_178 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3096:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3111:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_179 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3110:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_2 32# happyReduction_179
      In an equation for ‘happyReduce_179’:
          happyReduce_179 = happySpecReduce_2 32# happyReduction_179
    • Relevant bindings include
        happyReduce_179 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3111:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3121:19: error:
    • Couldn't match type ‘t41’ with ‘Expr’
      ‘t41’ is a rigid type variable bound by
        the type signature for:
          happyReduce_180 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3120:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 Expr t44 t45 t46 t54 t55 t84)
    • In the expression: happyReduce 4# 32# happyReduction_180
      In an equation for ‘happyReduce_180’:
          happyReduce_180 = happyReduce 4# 32# happyReduction_180
    • Relevant bindings include
        happyReduce_180 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3121:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3183:19: error:
    • Couldn't match type ‘t46’ with ‘Expr’
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_184 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3182:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
    • In the expression: happySpecReduce_1 34# happyReduction_184
      In an equation for ‘happyReduce_184’:
          happyReduce_184 = happySpecReduce_1 34# happyReduction_184
    • Relevant bindings include
        happyReduce_184 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3183:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3191:19: error:
    • Couldn't match type ‘t46’ with ‘Expr’
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_185 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3190:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
    • In the expression: happySpecReduce_2 34# happyReduction_185
      In an equation for ‘happyReduce_185’:
          happyReduce_185 = happySpecReduce_2 34# happyReduction_185
    • Relevant bindings include
        happyReduce_185 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3191:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3201:19: error:
    • Couldn't match type ‘t44’ with ‘Expr’
      ‘t44’ is a rigid type variable bound by
        the type signature for:
          happyReduce_186 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3200:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 Expr t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 Expr t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 35# happyReduction_186
      In an equation for ‘happyReduce_186’:
          happyReduce_186 = happySpecReduce_3 35# happyReduction_186
    • Relevant bindings include
        happyReduce_186 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3201:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3213:19: error:
    • Couldn't match type ‘t44’ with ‘Expr’
      ‘t44’ is a rigid type variable bound by
        the type signature for:
          happyReduce_187 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3212:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 Expr t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 Expr t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_2 35# happyReduction_187
      In an equation for ‘happyReduce_187’:
          happyReduce_187 = happySpecReduce_2 35# happyReduction_187
    • Relevant bindings include
        happyReduce_187 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3213:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3223:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_188 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3222:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_188
      In an equation for ‘happyReduce_188’:
          happyReduce_188 = happySpecReduce_1 36# happyReduction_188
    • Relevant bindings include
        happyReduce_188 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3223:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3231:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_189 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3230:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_189
      In an equation for ‘happyReduce_189’:
          happyReduce_189 = happySpecReduce_1 36# happyReduction_189
    • Relevant bindings include
        happyReduce_189 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3231:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3239:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_190 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3238:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_190
      In an equation for ‘happyReduce_190’:
          happyReduce_190 = happySpecReduce_1 36# happyReduction_190
    • Relevant bindings include
        happyReduce_190 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3239:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3247:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_191 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3246:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_191
      In an equation for ‘happyReduce_191’:
          happyReduce_191 = happySpecReduce_1 36# happyReduction_191
    • Relevant bindings include
        happyReduce_191 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3247:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3255:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_192 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3254:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_192
      In an equation for ‘happyReduce_192’:
          happyReduce_192 = happySpecReduce_1 36# happyReduction_192
    • Relevant bindings include
        happyReduce_192 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3255:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3263:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_193 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3262:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_193
      In an equation for ‘happyReduce_193’:
          happyReduce_193 = happySpecReduce_1 36# happyReduction_193
    • Relevant bindings include
        happyReduce_193 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3263:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3271:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_194 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3270:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_194
      In an equation for ‘happyReduce_194’:
          happyReduce_194 = happySpecReduce_1 36# happyReduction_194
    • Relevant bindings include
        happyReduce_194 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3271:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3279:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_195 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3278:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_195
      In an equation for ‘happyReduce_195’:
          happyReduce_195 = happySpecReduce_1 36# happyReduction_195
    • Relevant bindings include
        happyReduce_195 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3279:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3287:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_196 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3286:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_196
      In an equation for ‘happyReduce_196’:
          happyReduce_196 = happySpecReduce_1 36# happyReduction_196
    • Relevant bindings include
        happyReduce_196 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3287:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3295:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_197 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3294:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_197
      In an equation for ‘happyReduce_197’:
          happyReduce_197 = happySpecReduce_1 36# happyReduction_197
    • Relevant bindings include
        happyReduce_197 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3295:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3303:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_198 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3302:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_1 36# happyReduction_198
      In an equation for ‘happyReduce_198’:
          happyReduce_198 = happySpecReduce_1 36# happyReduction_198
    • Relevant bindings include
        happyReduce_198 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3303:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3311:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_199 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3310:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 36# happyReduction_199
      In an equation for ‘happyReduce_199’:
          happyReduce_199 = happySpecReduce_3 36# happyReduction_199
    • Relevant bindings include
        happyReduce_199 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3311:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3324:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_200 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3323:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 36# happyReduction_200
      In an equation for ‘happyReduce_200’:
          happyReduce_200 = happySpecReduce_3 36# happyReduction_200
    • Relevant bindings include
        happyReduce_200 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3324:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3336:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_201 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3335:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_3 36# happyReduction_201
      In an equation for ‘happyReduce_201’:
          happyReduce_201 = happySpecReduce_3 36# happyReduction_201
    • Relevant bindings include
        happyReduce_201 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3336:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3348:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_202 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3347:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_2 36# happyReduction_202
      In an equation for ‘happyReduce_202’:
          happyReduce_202 = happySpecReduce_2 36# happyReduction_202
    • Relevant bindings include
        happyReduce_202 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3348:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3358:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_203 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3357:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happySpecReduce_2 36# happyReduction_203
      In an equation for ‘happyReduce_203’:
          happyReduce_203 = happySpecReduce_2 36# happyReduction_203
    • Relevant bindings include
        happyReduce_203 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3358:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3368:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_204 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3367:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr Expr t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr Expr t54 t55 t84)
    • In the expression: happySpecReduce_3 36# happyReduction_204
      In an equation for ‘happyReduce_204’:
          happyReduce_204 = happySpecReduce_3 36# happyReduction_204
    • Relevant bindings include
        happyReduce_204 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3368:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3380:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_205 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3379:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr Expr t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr Expr t54 t55 t84)
    • In the expression: happySpecReduce_2 36# happyReduction_205
      In an equation for ‘happyReduce_205’:
          happyReduce_205 = happySpecReduce_2 36# happyReduction_205
    • Relevant bindings include
        happyReduce_205 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3380:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3390:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_206 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3389:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happyReduce 4# 36# happyReduction_206
      In an equation for ‘happyReduce_206’:
          happyReduce_206 = happyReduce 4# 36# happyReduction_206
    • Relevant bindings include
        happyReduce_206 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3390:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3405:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_207 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3404:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happyReduce 5# 36# happyReduction_207
      In an equation for ‘happyReduce_207’:
          happyReduce_207 = happyReduce 5# 36# happyReduction_207
    • Relevant bindings include
        happyReduce_207 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3405:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3422:19: error:
    • Couldn't match type ‘t44’ with ‘t46’
      ‘t44’ is a rigid type variable bound by
        the type signature for:
          happyReduce_208 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3421:20
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_208 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3421:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t44 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t44 t54 t55 t84)
    • In the expression: happySpecReduce_1 37# happyReduction_208
      In an equation for ‘happyReduce_208’:
          happyReduce_208 = happySpecReduce_1 37# happyReduction_208
    • Relevant bindings include
        happyReduce_208 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3422:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3430:19: error:
    • Couldn't match type ‘t45’ with ‘t46’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_209 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3429:20
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_209 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3429:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t45 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t45 t54 t55 t84)
    • In the expression: happySpecReduce_1 37# happyReduction_209
      In an equation for ‘happyReduce_209’:
          happyReduce_209 = happySpecReduce_1 37# happyReduction_209
    • Relevant bindings include
        happyReduce_209 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3430:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3543:19: error:
    • Couldn't match type ‘t54’ with ‘t55’
      ‘t54’ is a rigid type variable bound by
        the type signature for:
          happyReduce_222 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3542:20
      ‘t55’ is a rigid type variable bound by
        the type signature for:
          happyReduce_222 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3542:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t54 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t54 t84)
    • In the expression: happySpecReduce_2 45# happyReduction_222
      In an equation for ‘happyReduce_222’:
          happyReduce_222 = happySpecReduce_2 45# happyReduction_222
    • Relevant bindings include
        happyReduce_222 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3543:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3552:19: error:
    • Couldn't match type ‘t55’ with ‘[TypedBindings]’
      ‘t55’ is a rigid type variable bound by
        the type signature for:
          happyReduce_223 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3551:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 [TypedBindings] t84)
                     -> Parser
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 [TypedBindings] t84)
    • In the expression: happySpecReduce_1 46# happyReduction_223
      In an equation for ‘happyReduce_223’:
          happyReduce_223 = happySpecReduce_1 46# happyReduction_223
    • Relevant bindings include
        happyReduce_223 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:3552:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4366:19: error:
    • Couldn't match type ‘t84’ with ‘[ImportedName]’
      ‘t84’ is a rigid type variable bound by
        the type signature for:
          happyReduce_301 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4365:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 [ImportedName])
                     -> Parser
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 [ImportedName])
    • In the expression: happySpecReduce_1 74# happyReduction_301
      In an equation for ‘happyReduce_301’:
          happyReduce_301 = happySpecReduce_1 74# happyReduction_301
    • Relevant bindings include
        happyReduce_301 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4366:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4374:19: error:
    • Couldn't match type ‘t84’ with ‘[ImportedName]’
      ‘t84’ is a rigid type variable bound by
        the type signature for:
          happyReduce_302 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4373:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 [ImportedName])
                     -> Parser
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 [ImportedName])
    • In the expression: happySpecReduce_1 75# happyReduction_302
      In an equation for ‘happyReduce_302’:
          happyReduce_302 = happySpecReduce_1 75# happyReduction_302
    • Relevant bindings include
        happyReduce_302 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4374:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4382:19: error:
    • Couldn't match type ‘t84’ with ‘[ImportedName]’
      ‘t84’ is a rigid type variable bound by
        the type signature for:
          happyReduce_303 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4381:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 [ImportedName])
                     -> Parser
                          (HappyAbsSyn
                             t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 [ImportedName])
    • In the expression: happySpecReduce_3 75# happyReduction_303
      In an equation for ‘happyReduce_303’:
          happyReduce_303 = happySpecReduce_3 75# happyReduction_303
    • Relevant bindings include
        happyReduce_303 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4382:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4393:19: error:
    • Couldn't match type ‘t38’ with ‘Expr’
      ‘t38’ is a rigid type variable bound by
        the type signature for:
          happyReduce_304 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4392:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happyMonadReduce 3# 76# happyReduction_304
      In an equation for ‘happyReduce_304’:
          happyReduce_304 = happyMonadReduce 3# 76# happyReduction_304
    • Relevant bindings include
        happyReduce_304 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4393:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4459:19: error:
    • Couldn't match type ‘t38’ with ‘Expr’
      ‘t38’ is a rigid type variable bound by
        the type signature for:
          happyReduce_311 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4458:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 Expr t41 t44 t45 t46 t54 t55 t84)
    • In the expression: happySpecReduce_2 79# happyReduction_311
      In an equation for ‘happyReduce_311’:
          happyReduce_311 = happySpecReduce_2 79# happyReduction_311
    • Relevant bindings include
        happyReduce_311 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4459:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4864:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_351 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4863:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happyMonadReduce 7# 89# happyReduction_351
      In an equation for ‘happyReduce_351’:
          happyReduce_351 = happyMonadReduce 7# 89# happyReduction_351
    • Relevant bindings include
        happyReduce_351 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4864:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4884:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_352 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4883:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happyMonadReduce 5# 89# happyReduction_352
      In an equation for ‘happyReduce_352’:
          happyReduce_352 = happyMonadReduce 5# 89# happyReduction_352
    • Relevant bindings include
        happyReduce_352 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4884:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4900:19: error:
    • Couldn't match type ‘t45’ with ‘Expr’
      ‘t45’ is a rigid type variable bound by
        the type signature for:
          happyReduce_353 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4899:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 Expr t46 t54 t55 t84)
    • In the expression: happyMonadReduce 5# 90# happyReduction_353
      In an equation for ‘happyReduce_353’:
          happyReduce_353 = happyMonadReduce 5# 90# happyReduction_353
    • Relevant bindings include
        happyReduce_353 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:4900:1)

dist-ghc/build/Agda/Syntax/Parser/Parser.hs:5444:19: error:
    • Couldn't match type ‘t46’ with ‘Expr’
      ‘t46’ is a rigid type variable bound by
        the type signature for:
          happyReduce_396 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:5443:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
                     -> Parser
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 Expr t54 t55 t84)
    • In the expression: happySpecReduce_2 113# happyReduction_396
      In an equation for ‘happyReduce_396’:
          happyReduce_396 = happySpecReduce_2 113# happyReduction_396
    • Relevant bindings include
        happyReduce_396 :: Happy_GHC_Exts.Int#
                           -> Token
                           -> Happy_GHC_Exts.Int#
                           -> Happy_IntList
                           -> HappyStk
                                (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
                           -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84)
          (bound at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:5444:1)
/usr/share/cdbs/1/class/hlibrary.mk:147: recipe for target 'build-ghc-stamp' failed
make: *** [build-ghc-stamp] Error 1
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
--------------------------------------------------------------------------------
Build finished at 2017-10-08T14:35:27Z

Finished
--------


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

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
E: Build failure (dpkg-buildpackage died)

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

Build Architecture: armhf
Build-Space: 78492
Build-Time: 1185
Distribution: buster-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 619
Job: agda_2.5.2-2
Machine Architecture: armhf
Package: agda
Package-Time: 1821
Source-Version: 2.5.2-2
Space: 78492
Status: attempted
Version: 2.5.2-2
--------------------------------------------------------------------------------
Finished at 2017-10-08T14:35:27Z
Build needed 00:30:21, 78492k disk space