Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/a/agda/agda_2.6.1-1+b2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/agda-2.6.1-1+b2gcmy8ija/agda_2.6.1-1+b2_amd64.buildinfo Get source package info: agda=2.6.1-1 Source URL: http://snapshot.notset.fr/mr/package/agda/2.6.1-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=alex=3.2.5-2 autoconf=2.69-11.1 automake=1:1.16.2-3 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-7 binutils=2.35-2 binutils-common=2.35-2 binutils-x86-64-linux-gnu=2.35-2 bsdextrautils=2.36-2 bsdutils=1:2.36-2 build-essential=12.8 bzip2=1.0.8-4 ca-certificates=20200601 cdbs=0.4.162 coreutils=8.32-3 cpp=4:10.1.0-1 cpp-10=10.2.0-5 cpphs=1.20.9.1-1+b1 dash=0.5.10.2-7 dctrl-tools=2.24-3+b1 debconf=1.5.74 debhelper=13.2 debianutils=4.11 dh-autoreconf=19 dh-buildinfo=0.11+nmu2 dh-elpa=2.0.4 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13-5 emacs-bin-common=1:26.3+1-2 emacs-common=1:26.3+1-2 emacs-nox=1:26.3+1-2 emacsen-common=3.0.4 file=1:5.38-5 findutils=4.7.0-1 g++=4:10.1.0-1 g++-10=10.2.0-5 gcc=4:10.1.0-1 gcc-10=10.2.0-5 gcc-10-base=10.2.0-5 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 ghc=8.8.4-1 ghc-prof=8.8.4-1 grep=3.4-1 groff-base=1.22.4-5 gzip=1.10-2 happy=1.19.12-2 haskell-devscripts=0.16.0 haskell-devscripts-minimal=0.16.0 hostname=3.23 hscolour=1.24.4-3+b1 html-xml-utils=7.7-1 init-system-helpers=1.58 install-info=6.7.0.dfsg.2-5 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-8 libapt-pkg-perl=0.1.36+b3 libapt-pkg6.0=2.1.10 libarchive-zip-perl=1.68-1 libarray-unique-perl=0.08-2 libarray-utils-perl=0.5-1 libasan6=10.2.0-5 libasound2=1.2.2-2.3 libasound2-data=1.2.2-2.3 libatomic1=10.2.0-5 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3 libaudit1=1:2.8.5-3+b1 libbinutils=2.35-2 libblkid1=2.36-2 libbrotli1=1.0.7-7 libbsd-dev=0.10.0-1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-3 libc-dev-bin=2.31-3 libc6=2.31-3 libc6-dev=2.31-3 libcap-ng0=0.7.9-2.2 libcc1-0=10.2.0-5 libcgi-pm-perl=4.50-1 libclass-accessor-perl=0.51-1 libcom-err2=1.45.6-1 libconfig-tiny-perl=2.24-1 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.16-1 libcrypt1=1:4.4.16-1 libctf-nobfd0=2.35-2 libctf0=2.35-2 libcurl3-gnutls=7.68.0-1+b1 libdb5.3=5.3.28+dfsg1-0.6 libdbus-1-3=1.12.20-1 libdebconfclient0=0.253 libdebhelper-perl=13.2 libdebian-source-perl=0.113 libdpkg-perl=1.20.5 libelf1=0.180-1+b1 libencode-locale-perl=1.05-1 liberror-perl=0.17029-1 libexporter-lite-perl=0.08-1 libexporter-tiny-perl=1.002002-1 libffi-dev=3.3-4 libffi7=3.3-4 libfile-find-rule-perl=0.34-1 libfile-listing-perl=6.04-1 libfile-stripnondeterminism-perl=1.9.0-1 libgcc-10-dev=10.2.0-5 libgcc-s1=10.2.0-5 libgcrypt20=1.8.6-2 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libghc-aeson-dev=1.4.7.1-2+b1 libghc-aeson-prof=1.4.7.1-2+b1 libghc-async-dev=2.2.2-2+b1 libghc-attoparsec-dev=0.13.2.4-2+b1 libghc-attoparsec-prof=0.13.2.4-2+b1 libghc-base-compat-batteries-dev=0.11.1-3+b1 libghc-base-compat-batteries-prof=0.11.1-3+b1 libghc-base-compat-dev=0.11.1-1+b1 libghc-base-compat-prof=0.11.1-1+b1 libghc-base-orphans-dev=0.8.2-1+b1 libghc-base-orphans-prof=0.8.2-1+b1 libghc-blaze-builder-dev=0.4.1.0-4+b1 libghc-blaze-html-dev=0.9.1.2-1+b2 libghc-blaze-markup-dev=0.8.2.7-1 libghc-boxes-dev=0.1.5-3+b1 libghc-data-hash-dev=0.2.0.1-7+b1 libghc-dlist-dev=0.8.0.8-1+b1 libghc-dlist-prof=0.8.0.8-1+b1 libghc-edit-distance-dev=0.2.2.1-11+b1 libghc-equivalence-dev=0.3.5-1+b1 libghc-equivalence-prof=0.3.5-1+b1 libghc-exceptions-dev=0.10.4-1+b1 libghc-exceptions-prof=0.10.4-1+b1 libghc-geniplate-mirror-dev=0.7.7-1+b1 libghc-gitrev-dev=1.3.1-4+b1 libghc-gitrev-prof=1.3.1-4+b1 libghc-hashable-dev=1.3.0.0-2+b1 libghc-hashable-prof=1.3.0.0-2+b1 libghc-hashtables-dev=1.2.3.4-1+b1 libghc-ieee754-dev=0.8.0-4+b1 libghc-integer-logarithms-dev=1.0.3-3+b1 libghc-integer-logarithms-prof=1.0.3-3+b1 libghc-murmur-hash-dev=0.1.0.9-4+b1 libghc-murmur-hash-prof=0.1.0.9-4+b1 libghc-network-uri-dev=2.6.3.0-1+b1 libghc-network-uri-prof=2.6.3.0-1+b1 libghc-primitive-dev=0.7.0.1-1+b1 libghc-primitive-prof=0.7.0.1-1+b1 libghc-random-dev=1.1-12+b1 libghc-random-prof=1.1-12+b1 libghc-regex-base-dev=0.94.0.0-1+b1 libghc-regex-base-prof=0.94.0.0-1+b1 libghc-regex-tdfa-dev=1.3.1.0-2+b1 libghc-regex-tdfa-prof=1.3.1.0-2+b1 libghc-scientific-dev=0.3.6.2-4+b1 libghc-scientific-prof=0.3.6.2-4+b1 libghc-split-dev=0.2.3.4-1+b1 libghc-split-prof=0.2.3.4-1+b1 libghc-stmonadtrans-dev=0.4.4-1+b1 libghc-stmonadtrans-prof=0.4.4-1+b1 libghc-strict-dev=0.3.2-16+b1 libghc-tagged-dev=0.8.6-3+b1 libghc-tagged-prof=0.8.6-3+b1 libghc-th-abstraction-dev=0.3.2.0-1+b1 libghc-th-abstraction-prof=0.3.2.0-1+b1 libghc-time-compat-dev=1.9.3-2+b1 libghc-time-compat-prof=1.9.3-2+b1 libghc-transformers-compat-dev=0.6.5-2+b1 libghc-transformers-compat-prof=0.6.5-2+b1 libghc-unordered-containers-dev=0.2.10.0-3+b1 libghc-unordered-containers-prof=0.2.10.0-3+b1 libghc-uri-encode-dev=1.5.0.6-1 libghc-uri-encode-prof=1.5.0.6-1 libghc-utf8-string-dev=1.0.1.1-9+b1 libghc-utf8-string-prof=1.0.1.1-9+b1 libghc-uuid-types-dev=1.0.3-14+b1 libghc-uuid-types-prof=1.0.3-14+b1 libghc-vector-dev=0.12.1.2-2+b1 libghc-vector-prof=0.12.1.2-2+b1 libghc-zlib-dev=0.6.2.2-1 libglib2.0-0=2.64.4-1 libgmp-dev=2:6.2.0+dfsg-6 libgmp10=2:6.2.0+dfsg-6 libgmpxx4ldbl=2:6.2.0+dfsg-6 libgnutls30=3.6.14-2+b1 libgomp1=10.2.0-5 libgpg-error0=1.38-2 libgpm2=1.20.7-6 libgssapi-krb5-2=1.17-10 libhogweed6=3.6-2 libhtml-form-perl=6.07-1 libhtml-parser-perl=3.72-5 libhtml-tagset-perl=3.20-4 libhtml-tree-perl=5.07-2 libhttp-cookies-perl=6.08-1 libhttp-date-perl=6.05-1 libhttp-message-perl=6.25-1 libhttp-negotiate-perl=6.01-1 libhttp-server-simple-perl=0.52-1 libicu67=67.1-4 libidn2-0=2.3.0-1 libio-html-perl=1.001-1 libio-socket-ssl-perl=2.067-1 libio-stringy-perl=2.111-3 libisl22=0.22.1-1 libitm1=10.2.0-5 libk5crypto3=1.17-10 libkeyutils1=1.6.1-2 libkrb5-3=1.17-10 libkrb5support0=1.17-10 liblcms2-2=2.9-4+b1 libldap-2.4-2=2.4.50+dfsg-1+b1 libldap-common=2.4.50+dfsg-1 liblist-moreutils-perl=0.416-1+b5 liblsan0=10.2.0-5 liblwp-mediatypes-perl=6.04-1 liblwp-protocol-https-perl=6.09-1 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.38-5 libmagic1=1:5.38-5 libmount1=2.36-2 libmpc3=1.2.0~rc1-1 libmpfr6=4.1.0-3 libncurses-dev=6.2-1 libncurses5-dev=6.2-1 libncurses6=6.2-1 libncursesw6=6.2-1 libnet-http-perl=6.19-1 libnet-ssleay-perl=1.88-3 libnettle8=3.6-2 libnghttp2-14=1.41.0-3 libnumber-compare-perl=0.03-1 libp11-kit0=0.23.20-1 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libparse-debcontrol-perl=2.005-4 libpcre2-8-0=10.34-7 libpcre3=2:8.39-13 libperl5.30=5.30.3-4 libpipeline1=1.5.3-1 libpsl5=0.21.0-1.1 libquadmath0=10.2.0-5 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.27+dfsg-2 libsasl2-modules-db=2.1.27+dfsg-2 libseccomp2=2.4.3-1+b1 libselinux1=3.1-2 libsigsegv2=2.12-2 libsmartcols1=2.36-2 libssh2-1=1.8.0-2.1 libssl1.1=1.1.1g-1 libstdc++-10-dev=10.2.0-5 libstdc++6=10.2.0-5 libsub-install-perl=0.928-1 libsub-name-perl=0.26-1 libsub-override-perl=0.09-2 libsystemd0=246.1-1 libtasn1-6=4.16.0-2 libtext-glob-perl=0.11-1 libtie-ixhash-perl=1.23-2 libtimedate-perl=2.3300-1 libtinfo6=6.2-1 libtool=2.4.6-14 libtry-tiny-perl=0.30-1 libtsan0=10.2.0-5 libubsan1=10.2.0-5 libuchardet0=0.0.7-1 libudev1=246.1-1 libunistring2=0.9.10-4 liburi-perl=1.76-2 libuuid1=2.36-2 libwww-mechanize-perl=2.00-2 libwww-perl=6.47-1 libwww-robotrules-perl=6.02-1 libxml2=2.9.10+dfsg-5+b1 libzstd1=1.4.5+dfsg-4 linux-libc-dev=5.7.10-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2-1 ncurses-bin=6.2-1 netbase=6.1 openssl=1.1.1g-1 patch=2.7.6-6 perl=5.30.3-4 perl-base=5.30.3-4 perl-modules-5.30=5.30.3-4 perl-openssl-defaults=5 po-debconf=1.0.21 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-4 tar=1.30+dfsg-7 util-linux=2.36-2 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-2 zlib1g-dev=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20200924T150137Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200817T205605Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d agda=2.6.1-1 && mkdir -p /build/agda-KiuGpG && dpkg-source --no-check -x /*.dsc /build/agda-KiuGpG/agda-2.6.1 && cd /build/agda-KiuGpG/agda-2.6.1 && { printf '%s' 'agda (2.6.1-1+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * uri-encode changed from 1.5.0.5 to 1.5.0.6, zlib changed from 0.6.2.1 to 0.6.2.2 -- amd64 / i386 Build Daemon (x86-ubc-01) Wed, 19 Aug 2020 19:11:17 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/agda-KiuGpG" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/agda-KiuGpG/agda-2.6.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1597864277" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/agda-KiuGpG /tmp/agda-2.6.1-1+b2gcmy8ija bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.28ijWNG62B as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.28ijWNG62B Reading package lists... Building dependency tree... util-linux is already the newest version (2.36-2). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 132 kB of archives. After this operation, 393 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable/main amd64 fakeroot amd64 1.24-1 [85.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 132 kB in 0s (705 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4577 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.24-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.24-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.24-1_amd64.deb ... Unpacking fakeroot (1.24-1) ... Setting up libfakeroot:amd64 (1.24-1) ... Setting up fakeroot (1.24-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-3) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20200924T150137Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200817T205605Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.28ijWNG62B Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200924T150137Z unstable InRelease [146 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20200924T150137Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20200924T150137Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20200924T150137Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20200924T150137Z unstable/main amd64 Packages [11.4 MB] Fetched 34.1 MB in 30s (1124 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.28ijWNG62B I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d agda=2.6.1-1 && mkdir -p /build/agda-KiuGpG && dpkg-source --no-check -x /*.dsc /build/agda-KiuGpG/agda-2.6.1 && cd /build/agda-KiuGpG/agda-2.6.1 && { printf '%s' 'agda (2.6.1-1+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * uri-encode changed from 1.5.0.5 to 1.5.0.6, zlib changed from 0.6.2.1 to 0.6.2.2 -- amd64 / i386 Build Daemon (x86-ubc-01) Wed, 19 Aug 2020 19:11:17 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/agda-KiuGpG"' exec /tmp/mmdebstrap.28ijWNG62B Reading package lists... NOTICE: 'agda' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda] to retrieve the latest (possibly unreleased) updates to the package. Need to get 2661 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main agda 2.6.1-1 (dsc) [4186 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main agda 2.6.1-1 (tar) [2646 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main agda 2.6.1-1 (diff) [10.1 kB] Fetched 2661 kB in 2s (1209 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'agda_2.6.1-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting agda in /build/agda-KiuGpG/agda-2.6.1 dpkg-source: info: unpacking agda_2.6.1.orig.tar.gz dpkg-source: info: unpacking agda_2.6.1-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying var-lib-agda I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/agda-KiuGpG/agda-2.6.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1597864277" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.28ijWNG62B dpkg-buildpackage: info: source package agda dpkg-buildpackage: info: source version 2.6.1-1+b2 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 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 binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A 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.6.1/ --datasubdir=agda --htmldir=/usr/share/doc/libghc-agda-doc/html/ --datadir=/usr/share --datasubdir=libghc-agda-dev Using Parsec parser Configuring Agda-2.6.1... Flags chosen: cpphs=False, debug=False, enable-cluster-counting=False Dependency aeson >=1.1.2.0 && <1.5: using aeson-1.4.7.1 Dependency array >=0.5.1.1 && <0.6: using array-0.5.4.0 Dependency async ==2.2.*: using async-2.2.2 Dependency base >=4.9.0.0 && <4.15: using base-4.13.0.0 Dependency binary >=0.8.3.0 && <0.9: using binary-0.8.7.0 Dependency blaze-html >=0.8 && <0.10: using blaze-html-0.9.1.2 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.5 Dependency bytestring >=0.10.8.1 && <0.11: using bytestring-0.10.10.1 Dependency containers >=0.5.7.1 && <0.7: using containers-0.6.2.1 Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 Dependency deepseq >=1.4.2.0 && <1.5: using deepseq-1.4.4.0 Dependency directory >=1.2.6.2 && <1.4: using directory-1.3.6.0 Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 Dependency equivalence >=0.3.2 && <0.4: using equivalence-0.3.5 Dependency exceptions >=0.8 && <0.11: using exceptions-0.10.4 Dependency filepath >=1.4.1.0 && <1.5: using filepath-1.4.2.1 Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.7 Dependency ghc-compact ==0.1.*: using ghc-compact-0.1.0.0 Dependency gitrev >=1.3.1 && <2.0: using gitrev-1.3.1 Dependency hashable >=1.2.1.0 && <1.4: using hashable-1.3.0.0 Dependency hashtables >=1.2.0.2 && <1.3: using hashtables-1.2.3.4 Dependency haskeline >=0.7.2.3 && <0.9: using haskeline-0.7.5.0 Dependency ieee754 >=0.7.8 && <0.9: using ieee754-0.8.0 Dependency mtl >=2.2.1 && <2.3: using mtl-2.2.2 Dependency murmur-hash ==0.1.*: using murmur-hash-0.1.0.9 Dependency pretty >=1.1.3.3 && <1.2: using pretty-1.1.3.6 Dependency process >=1.4.2.0 && <1.7: using process-1.6.9.0 Dependency regex-tdfa >=1.3.1.0 && <1.4: using regex-tdfa-1.3.1.0 Dependency split >=0.2.0.0 && <0.2.4: using split-0.2.3.4 Dependency stm >=2.4.4 && <2.6: using stm-2.5.0.0 Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 Dependency template-haskell >=2.11.0.0 && <2.17: using template-haskell-2.15.0.0 Dependency text >=1.2.3.1 && <1.3: using text-1.2.4.0 Dependency time >=1.6.0.1 && <1.10: using time-1.9.3 Dependency transformers ==0.5.6.2: using transformers-0.5.6.2 Dependency unordered-containers >=0.2.5.0 && <0.3: using unordered-containers-0.2.10.0 Dependency uri-encode >=1.5.0.4 && <1.6: using uri-encode-1.5.0.6 Dependency zlib ==0.6.*: using zlib-0.6.2.2 Dependency Agda -any: using Agda-2.6.1 Dependency base >=4.9.0.0 && <6: using base-4.13.0.0 Dependency base >=4.9.0.0 && <4.15: using base-4.13.0.0 Dependency directory >=1.2.6.2 && <1.4: using directory-1.3.6.0 Dependency filepath >=1.4.1.0 && <1.5: using filepath-1.4.2.1 Dependency process >=1.4.2.0 && <1.7: using process-1.6.9.0 Source component graph: component exe:agda-mode component lib component exe:agda dependency lib Configured component graph: component Agda-2.6.1-DDf74jljlSq6xZehuFtgzt-agda-mode include base-4.13.0.0 include directory-1.3.6.0 include filepath-1.4.2.1 include process-1.6.9.0 component Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN include aeson-1.4.7.1-I85CiJ11QzuLW12neix9Ia include array-0.5.4.0 include async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 include base-4.13.0.0 include binary-0.8.7.0 include blaze-html-0.9.1.2-9960Cyn2Ch0KTkxhGdCDFM include boxes-0.1.5-Q9SvFlNJmuH845NHEKHN9 include bytestring-0.10.10.1 include containers-0.6.2.1 include data-hash-0.2.0.1-LkjsteNecPpCZRj5UX939I include deepseq-1.4.4.0 include directory-1.3.6.0 include edit-distance-0.2.2.1-A3iKzuVmhX42DTTRS0wDWh include equivalence-0.3.5-7XCNV2HwHB4EpH29Iuwxsi include exceptions-0.10.4-9CfD2hJyZLFIbks3iYGf0k include filepath-1.4.2.1 include geniplate-mirror-0.7.7-I9tTciU1Lbh2gDibGSQjqh include ghc-compact-0.1.0.0 include gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f include hashable-1.3.0.0-AOP4LTmShW4Dax9brHgY53 include hashtables-1.2.3.4-KSRndaOk5BjAb01X79M7QH include haskeline-0.7.5.0 include ieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc include mtl-2.2.2 include murmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4 include pretty-1.1.3.6 include process-1.6.9.0 include regex-tdfa-1.3.1.0-RucjcXtCce6cZslbGK8EF include split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL include stm-2.5.0.0 include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU include template-haskell-2.15.0.0 include text-1.2.4.0 include time-1.9.3 include transformers-0.5.6.2 include unordered-containers-0.2.10.0-IpJ3IfcThvdASaOHaltDG include uri-encode-1.5.0.6-UFyGEH3igyDnFbuMzAa9v include zlib-0.6.2.2-5b26HP1zXA26xBLybZk8Ph component Agda-2.6.1-IWRyzuSEZQADgKje40weSt-agda include Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN include base-4.13.0.0 Linked component graph: unit Agda-2.6.1-DDf74jljlSq6xZehuFtgzt-agda-mode include base-4.13.0.0 include directory-1.3.6.0 include filepath-1.4.2.1 include process-1.6.9.0 unit Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN include aeson-1.4.7.1-I85CiJ11QzuLW12neix9Ia include array-0.5.4.0 include async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 include base-4.13.0.0 include binary-0.8.7.0 include blaze-html-0.9.1.2-9960Cyn2Ch0KTkxhGdCDFM include boxes-0.1.5-Q9SvFlNJmuH845NHEKHN9 include bytestring-0.10.10.1 include containers-0.6.2.1 include data-hash-0.2.0.1-LkjsteNecPpCZRj5UX939I include deepseq-1.4.4.0 include directory-1.3.6.0 include edit-distance-0.2.2.1-A3iKzuVmhX42DTTRS0wDWh include equivalence-0.3.5-7XCNV2HwHB4EpH29Iuwxsi include exceptions-0.10.4-9CfD2hJyZLFIbks3iYGf0k include filepath-1.4.2.1 include geniplate-mirror-0.7.7-I9tTciU1Lbh2gDibGSQjqh include ghc-compact-0.1.0.0 include gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f include hashable-1.3.0.0-AOP4LTmShW4Dax9brHgY53 include hashtables-1.2.3.4-KSRndaOk5BjAb01X79M7QH include haskeline-0.7.5.0 include ieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc include mtl-2.2.2 include murmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4 include pretty-1.1.3.6 include process-1.6.9.0 include regex-tdfa-1.3.1.0-RucjcXtCce6cZslbGK8EF include split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL include stm-2.5.0.0 include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU include template-haskell-2.15.0.0 include text-1.2.4.0 include time-1.9.3 include transformers-0.5.6.2 include unordered-containers-0.2.10.0-IpJ3IfcThvdASaOHaltDG include uri-encode-1.5.0.6-UFyGEH3igyDnFbuMzAa9v include zlib-0.6.2.2-5b26HP1zXA26xBLybZk8Ph Agda.Auto.Auto=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.Auto,Agda.Auto.CaseSplit=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.CaseSplit,Agda.Auto.Convert=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.Convert,Agda.Auto.NarrowingSearch=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.NarrowingSearch,Agda.Auto.Options=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.Options,Agda.Auto.SearchControl=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.SearchControl,Agda.Auto.Syntax=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.Syntax,Agda.Auto.Typecheck=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Auto.Typecheck,Agda.Benchmarking=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Benchmarking,Agda.Compiler.Backend=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Backend,Agda.Compiler.CallCompiler=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.CallCompiler,Agda.Compiler.Common=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Common,Agda.Compiler.JS.Compiler=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.JS.Compiler,Agda.Compiler.JS.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.JS.Pretty,Agda.Compiler.JS.Substitution=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.JS.Substitution,Agda.Compiler.JS.Syntax=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.JS.Syntax,Agda.Compiler.MAlonzo.Coerce=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Coerce,Agda.Compiler.MAlonzo.Compiler=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Compiler,Agda.Compiler.MAlonzo.Encode=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Encode,Agda.Compiler.MAlonzo.HaskellTypes=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.HaskellTypes,Agda.Compiler.MAlonzo.Misc=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Misc,Agda.Compiler.MAlonzo.Pragmas=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Pragmas,Agda.Compiler.MAlonzo.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Pretty,Agda.Compiler.MAlonzo.Primitives=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.MAlonzo.Primitives,Agda.Compiler.ToTreeless=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.ToTreeless,Agda.Compiler.Treeless.AsPatterns=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.AsPatterns,Agda.Compiler.Treeless.Builtin=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Builtin,Agda.Compiler.Treeless.Compare=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Compare,Agda.Compiler.Treeless.EliminateDefaults=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.EliminateDefaults,Agda.Compiler.Treeless.EliminateLiteralPatterns=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.EliminateLiteralPatterns,Agda.Compiler.Treeless.Erase=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Erase,Agda.Compiler.Treeless.GuardsToPrims=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.GuardsToPrims,Agda.Compiler.Treeless.Identity=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Identity,Agda.Compiler.Treeless.NormalizeNames=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.NormalizeNames,Agda.Compiler.Treeless.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Pretty,Agda.Compiler.Treeless.Simplify=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Simplify,Agda.Compiler.Treeless.Subst=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Subst,Agda.Compiler.Treeless.Uncase=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Uncase,Agda.Compiler.Treeless.Unused=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Compiler.Treeless.Unused,Agda.ImpossibleTest=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.ImpossibleTest,Agda.Interaction.AgdaTop=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.AgdaTop,Agda.Interaction.Base=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Base,Agda.Interaction.BasicOps=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.BasicOps,Agda.Interaction.CommandLine=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.CommandLine,Agda.Interaction.EmacsCommand=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.EmacsCommand,Agda.Interaction.EmacsTop=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.EmacsTop,Agda.Interaction.FindFile=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.FindFile,Agda.Interaction.Highlighting.Common=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Common,Agda.Interaction.Highlighting.Dot=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Dot,Agda.Interaction.Highlighting.Emacs=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Emacs,Agda.Interaction.Highlighting.Generate=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Generate,Agda.Interaction.Highlighting.HTML=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.HTML,Agda.Interaction.Highlighting.JSON=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.JSON,Agda.Interaction.Highlighting.LaTeX=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.LaTeX,Agda.Interaction.Highlighting.Precise=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Precise,Agda.Interaction.Highlighting.Range=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Range,Agda.Interaction.Highlighting.Vim=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Highlighting.Vim,Agda.Interaction.Imports=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Imports,Agda.Interaction.InteractionTop=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.InteractionTop,Agda.Interaction.JSON=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.JSON,Agda.Interaction.JSONTop=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.JSONTop,Agda.Interaction.Library=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Library,Agda.Interaction.Library.Base=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Library.Base,Agda.Interaction.Library.Parse=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Library.Parse,Agda.Interaction.MakeCase=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.MakeCase,Agda.Interaction.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Monad,Agda.Interaction.Options=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Options,Agda.Interaction.Options.Help=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Options.Help,Agda.Interaction.Options.IORefs=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Options.IORefs,Agda.Interaction.Options.Lenses=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Options.Lenses,Agda.Interaction.Options.Warnings=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Options.Warnings,Agda.Interaction.Response=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.Response,Agda.Interaction.SearchAbout=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Interaction.SearchAbout,Agda.Main=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Main,Agda.Syntax.Abstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Abstract,Agda.Syntax.Abstract.Name=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Abstract.Name,Agda.Syntax.Abstract.Pattern=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Abstract.Pattern,Agda.Syntax.Abstract.PatternSynonyms=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Abstract.PatternSynonyms,Agda.Syntax.Abstract.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Abstract.Pretty,Agda.Syntax.Abstract.Views=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Abstract.Views,Agda.Syntax.Builtin=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Builtin,Agda.Syntax.Common=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Common,Agda.Syntax.Concrete=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete,Agda.Syntax.Concrete.Attribute=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Attribute,Agda.Syntax.Concrete.Definitions=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Definitions,Agda.Syntax.Concrete.Fixity=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Fixity,Agda.Syntax.Concrete.Generic=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Generic,Agda.Syntax.Concrete.Name=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Name,Agda.Syntax.Concrete.Operators=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Operators,Agda.Syntax.Concrete.Operators.Parser=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Operators.Parser,Agda.Syntax.Concrete.Operators.Parser.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Operators.Parser.Monad,Agda.Syntax.Concrete.Pattern=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Pattern,Agda.Syntax.Concrete.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Concrete.Pretty,Agda.Syntax.DoNotation=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.DoNotation,Agda.Syntax.Fixity=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Fixity,Agda.Syntax.IdiomBrackets=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.IdiomBrackets,Agda.Syntax.Info=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Info,Agda.Syntax.Internal=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal,Agda.Syntax.Internal.Defs=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal.Defs,Agda.Syntax.Internal.Generic=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal.Generic,Agda.Syntax.Internal.MetaVars=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal.MetaVars,Agda.Syntax.Internal.Names=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal.Names,Agda.Syntax.Internal.Pattern=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal.Pattern,Agda.Syntax.Internal.SanityCheck=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Internal.SanityCheck,Agda.Syntax.Literal=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Literal,Agda.Syntax.Notation=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Notation,Agda.Syntax.Parser=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser,Agda.Syntax.Parser.Alex=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Alex,Agda.Syntax.Parser.Comments=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Comments,Agda.Syntax.Parser.Layout=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Layout,Agda.Syntax.Parser.LexActions=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.LexActions,Agda.Syntax.Parser.Lexer=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Lexer,Agda.Syntax.Parser.Literate=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Literate,Agda.Syntax.Parser.LookAhead=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.LookAhead,Agda.Syntax.Parser.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Monad,Agda.Syntax.Parser.Parser=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Parser,Agda.Syntax.Parser.StringLiterals=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.StringLiterals,Agda.Syntax.Parser.Tokens=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Parser.Tokens,Agda.Syntax.Position=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Position,Agda.Syntax.Reflected=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Reflected,Agda.Syntax.Scope.Base=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Scope.Base,Agda.Syntax.Scope.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Scope.Monad,Agda.Syntax.Translation.AbstractToConcrete=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Translation.AbstractToConcrete,Agda.Syntax.Translation.ConcreteToAbstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Translation.ConcreteToAbstract,Agda.Syntax.Translation.InternalToAbstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Translation.InternalToAbstract,Agda.Syntax.Translation.ReflectedToAbstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Translation.ReflectedToAbstract,Agda.Syntax.Treeless=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Syntax.Treeless,Agda.Termination.CallGraph=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.CallGraph,Agda.Termination.CallMatrix=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.CallMatrix,Agda.Termination.CutOff=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.CutOff,Agda.Termination.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.Monad,Agda.Termination.Order=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.Order,Agda.Termination.RecCheck=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.RecCheck,Agda.Termination.Semiring=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.Semiring,Agda.Termination.SparseMatrix=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.SparseMatrix,Agda.Termination.TermCheck=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.TermCheck,Agda.Termination.Termination=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Termination.Termination,Agda.TheTypeChecker=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TheTypeChecker,Agda.TypeChecking.Abstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Abstract,Agda.TypeChecking.CheckInternal=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.CheckInternal,Agda.TypeChecking.CompiledClause=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.CompiledClause,Agda.TypeChecking.CompiledClause.Compile=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.CompiledClause.Compile,Agda.TypeChecking.CompiledClause.Match=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.CompiledClause.Match,Agda.TypeChecking.Constraints=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Constraints,Agda.TypeChecking.Conversion=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Conversion,Agda.TypeChecking.Conversion.Pure=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Conversion.Pure,Agda.TypeChecking.Coverage=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Coverage,Agda.TypeChecking.Coverage.Match=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Coverage.Match,Agda.TypeChecking.Coverage.SplitTree=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Coverage.SplitTree,Agda.TypeChecking.Datatypes=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Datatypes,Agda.TypeChecking.DeadCode=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.DeadCode,Agda.TypeChecking.DisplayForm=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.DisplayForm,Agda.TypeChecking.DropArgs=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.DropArgs,Agda.TypeChecking.Empty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Empty,Agda.TypeChecking.Errors=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Errors,Agda.TypeChecking.EtaContract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.EtaContract,Agda.TypeChecking.EtaExpand=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.EtaExpand,Agda.TypeChecking.Forcing=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Forcing,Agda.TypeChecking.Free=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Free,Agda.TypeChecking.Free.Lazy=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Free.Lazy,Agda.TypeChecking.Free.Precompute=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Free.Precompute,Agda.TypeChecking.Free.Reduce=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Free.Reduce,Agda.TypeChecking.Functions=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Functions,Agda.TypeChecking.Generalize=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Generalize,Agda.TypeChecking.IApplyConfluence=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.IApplyConfluence,Agda.TypeChecking.Implicit=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Implicit,Agda.TypeChecking.Injectivity=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Injectivity,Agda.TypeChecking.Inlining=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Inlining,Agda.TypeChecking.InstanceArguments=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.InstanceArguments,Agda.TypeChecking.Irrelevance=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Irrelevance,Agda.TypeChecking.Level=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Level,Agda.TypeChecking.Level.Solve=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Level.Solve,Agda.TypeChecking.LevelConstraints=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.LevelConstraints,Agda.TypeChecking.MetaVars=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.MetaVars,Agda.TypeChecking.MetaVars.Mention=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.MetaVars.Mention,Agda.TypeChecking.MetaVars.Occurs=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.MetaVars.Occurs,Agda.TypeChecking.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad,Agda.TypeChecking.Monad.Base=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Base,Agda.TypeChecking.Monad.Benchmark=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Benchmark,Agda.TypeChecking.Monad.Builtin=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Builtin,Agda.TypeChecking.Monad.Caching=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Caching,Agda.TypeChecking.Monad.Closure=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Closure,Agda.TypeChecking.Monad.Constraints=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Constraints,Agda.TypeChecking.Monad.Context=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Context,Agda.TypeChecking.Monad.Debug=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Debug,Agda.TypeChecking.Monad.Env=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Env,Agda.TypeChecking.Monad.Imports=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Imports,Agda.TypeChecking.Monad.MetaVars=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.MetaVars,Agda.TypeChecking.Monad.Mutual=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Mutual,Agda.TypeChecking.Monad.Open=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Open,Agda.TypeChecking.Monad.Options=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Options,Agda.TypeChecking.Monad.Signature=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Signature,Agda.TypeChecking.Monad.SizedTypes=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.SizedTypes,Agda.TypeChecking.Monad.State=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.State,Agda.TypeChecking.Monad.Statistics=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Statistics,Agda.TypeChecking.Monad.Trace=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Monad.Trace,Agda.TypeChecking.Names=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Names,Agda.TypeChecking.Patterns.Abstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Patterns.Abstract,Agda.TypeChecking.Patterns.Internal=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Patterns.Internal,Agda.TypeChecking.Patterns.Match=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Patterns.Match,Agda.TypeChecking.Polarity=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Polarity,Agda.TypeChecking.Positivity=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Positivity,Agda.TypeChecking.Positivity.Occurrence=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Positivity.Occurrence,Agda.TypeChecking.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Pretty,Agda.TypeChecking.Pretty.Call=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Pretty.Call,Agda.TypeChecking.Pretty.Warning=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Pretty.Warning,Agda.TypeChecking.Primitive=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Primitive,Agda.TypeChecking.Primitive.Base=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Primitive.Base,Agda.TypeChecking.Primitive.Cubical=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Primitive.Cubical,Agda.TypeChecking.ProjectionLike=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.ProjectionLike,Agda.TypeChecking.Quote=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Quote,Agda.TypeChecking.ReconstructParameters=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.ReconstructParameters,Agda.TypeChecking.RecordPatterns=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.RecordPatterns,Agda.TypeChecking.Records=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Records,Agda.TypeChecking.Reduce=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Reduce,Agda.TypeChecking.Reduce.Fast=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Reduce.Fast,Agda.TypeChecking.Reduce.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Reduce.Monad,Agda.TypeChecking.Rewriting=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rewriting,Agda.TypeChecking.Rewriting.Clause=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rewriting.Clause,Agda.TypeChecking.Rewriting.Confluence=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rewriting.Confluence,Agda.TypeChecking.Rewriting.NonLinMatch=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rewriting.NonLinMatch,Agda.TypeChecking.Rewriting.NonLinPattern=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rewriting.NonLinPattern,Agda.TypeChecking.Rules.Application=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Application,Agda.TypeChecking.Rules.Builtin=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Builtin,Agda.TypeChecking.Rules.Builtin.Coinduction=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Builtin.Coinduction,Agda.TypeChecking.Rules.Data=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Data,Agda.TypeChecking.Rules.Decl=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Decl,Agda.TypeChecking.Rules.Def=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Def,Agda.TypeChecking.Rules.Display=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Display,Agda.TypeChecking.Rules.LHS=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.LHS,Agda.TypeChecking.Rules.LHS.Implicit=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.LHS.Implicit,Agda.TypeChecking.Rules.LHS.Problem=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.LHS.Problem,Agda.TypeChecking.Rules.LHS.ProblemRest=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.LHS.ProblemRest,Agda.TypeChecking.Rules.LHS.Unify=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.LHS.Unify,Agda.TypeChecking.Rules.Record=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Record,Agda.TypeChecking.Rules.Term=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Rules.Term,Agda.TypeChecking.Serialise=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise,Agda.TypeChecking.Serialise.Base=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Base,Agda.TypeChecking.Serialise.Instances=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances,Agda.TypeChecking.Serialise.Instances.Abstract=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances.Abstract,Agda.TypeChecking.Serialise.Instances.Common=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances.Common,Agda.TypeChecking.Serialise.Instances.Compilers=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances.Compilers,Agda.TypeChecking.Serialise.Instances.Errors=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances.Errors,Agda.TypeChecking.Serialise.Instances.Highlighting=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances.Highlighting,Agda.TypeChecking.Serialise.Instances.Internal=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Serialise.Instances.Internal,Agda.TypeChecking.SizedTypes=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.SizedTypes,Agda.TypeChecking.SizedTypes.Solve=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.SizedTypes.Solve,Agda.TypeChecking.SizedTypes.Syntax=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.SizedTypes.Syntax,Agda.TypeChecking.SizedTypes.Utils=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.SizedTypes.Utils,Agda.TypeChecking.SizedTypes.WarshallSolver=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.SizedTypes.WarshallSolver,Agda.TypeChecking.Sort=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Sort,Agda.TypeChecking.Substitute=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Substitute,Agda.TypeChecking.Substitute.Class=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Substitute.Class,Agda.TypeChecking.Substitute.DeBruijn=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Substitute.DeBruijn,Agda.TypeChecking.SyntacticEquality=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.SyntacticEquality,Agda.TypeChecking.Telescope=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Telescope,Agda.TypeChecking.Telescope.Path=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Telescope.Path,Agda.TypeChecking.Unquote=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Unquote,Agda.TypeChecking.Warnings=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.Warnings,Agda.TypeChecking.With=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.TypeChecking.With,Agda.Utils.AffineHole=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.AffineHole,Agda.Utils.Applicative=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Applicative,Agda.Utils.AssocList=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.AssocList,Agda.Utils.Bag=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Bag,Agda.Utils.Benchmark=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Benchmark,Agda.Utils.BiMap=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.BiMap,Agda.Utils.Cluster=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Cluster,Agda.Utils.Either=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Either,Agda.Utils.Empty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Empty,Agda.Utils.Environment=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Environment,Agda.Utils.Except=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Except,Agda.Utils.Fail=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Fail,Agda.Utils.Favorites=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Favorites,Agda.Utils.FileName=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.FileName,Agda.Utils.Float=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Float,Agda.Utils.Function=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Function,Agda.Utils.Functor=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Functor,Agda.Utils.Geniplate=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Geniplate,Agda.Utils.Graph.AdjacencyMap.Unidirectional=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Graph.AdjacencyMap.Unidirectional,Agda.Utils.Graph.TopSort=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Graph.TopSort,Agda.Utils.Hash=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Hash,Agda.Utils.Haskell.Syntax=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Haskell.Syntax,Agda.Utils.IO=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IO,Agda.Utils.IO.Binary=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IO.Binary,Agda.Utils.IO.Directory=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IO.Directory,Agda.Utils.IO.TempFile=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IO.TempFile,Agda.Utils.IO.UTF8=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IO.UTF8,Agda.Utils.IORef=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IORef,Agda.Utils.Impossible=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Impossible,Agda.Utils.IndexedList=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IndexedList,Agda.Utils.IntSet.Infinite=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.IntSet.Infinite,Agda.Utils.Lens=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Lens,Agda.Utils.Lens.Examples=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Lens.Examples,Agda.Utils.List=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.List,Agda.Utils.ListT=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.ListT,Agda.Utils.Map=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Map,Agda.Utils.Maybe=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Maybe,Agda.Utils.Maybe.Strict=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Maybe.Strict,Agda.Utils.Memo=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Memo,Agda.Utils.Monad=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Monad,Agda.Utils.Monoid=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Monoid,Agda.Utils.Null=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Null,Agda.Utils.POMonoid=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.POMonoid,Agda.Utils.Parser.MemoisedCPS=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Parser.MemoisedCPS,Agda.Utils.PartialOrd=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.PartialOrd,Agda.Utils.Permutation=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Permutation,Agda.Utils.Pointer=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Pointer,Agda.Utils.Pretty=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Pretty,Agda.Utils.SemiRing=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.SemiRing,Agda.Utils.Singleton=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Singleton,Agda.Utils.Size=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Size,Agda.Utils.SmallSet=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.SmallSet,Agda.Utils.String=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.String,Agda.Utils.Suffix=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Suffix,Agda.Utils.Three=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Three,Agda.Utils.Time=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Time,Agda.Utils.Trie=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Trie,Agda.Utils.Tuple=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Tuple,Agda.Utils.TypeLevel=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.TypeLevel,Agda.Utils.TypeLits=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.TypeLits,Agda.Utils.Update=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Update,Agda.Utils.VarSet=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.VarSet,Agda.Utils.Warshall=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Warshall,Agda.Utils.WithDefault=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.WithDefault,Agda.Utils.Zipper=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Utils.Zipper,Agda.Version=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.Version,Agda.VersionCommit=Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN:Agda.VersionCommit unit Agda-2.6.1-IWRyzuSEZQADgKje40weSt-agda include Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN include base-4.13.0.0 Ready component graph: definite Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN depends aeson-1.4.7.1-I85CiJ11QzuLW12neix9Ia depends array-0.5.4.0 depends async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 depends base-4.13.0.0 depends binary-0.8.7.0 depends blaze-html-0.9.1.2-9960Cyn2Ch0KTkxhGdCDFM depends boxes-0.1.5-Q9SvFlNJmuH845NHEKHN9 depends bytestring-0.10.10.1 depends containers-0.6.2.1 depends data-hash-0.2.0.1-LkjsteNecPpCZRj5UX939I depends deepseq-1.4.4.0 depends directory-1.3.6.0 depends edit-distance-0.2.2.1-A3iKzuVmhX42DTTRS0wDWh depends equivalence-0.3.5-7XCNV2HwHB4EpH29Iuwxsi depends exceptions-0.10.4-9CfD2hJyZLFIbks3iYGf0k depends filepath-1.4.2.1 depends geniplate-mirror-0.7.7-I9tTciU1Lbh2gDibGSQjqh depends ghc-compact-0.1.0.0 depends gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f depends hashable-1.3.0.0-AOP4LTmShW4Dax9brHgY53 depends hashtables-1.2.3.4-KSRndaOk5BjAb01X79M7QH depends haskeline-0.7.5.0 depends ieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc depends mtl-2.2.2 depends murmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4 depends pretty-1.1.3.6 depends process-1.6.9.0 depends regex-tdfa-1.3.1.0-RucjcXtCce6cZslbGK8EF depends split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL depends stm-2.5.0.0 depends strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU depends template-haskell-2.15.0.0 depends text-1.2.4.0 depends time-1.9.3 depends transformers-0.5.6.2 depends unordered-containers-0.2.10.0-IpJ3IfcThvdASaOHaltDG depends uri-encode-1.5.0.6-UFyGEH3igyDnFbuMzAa9v depends zlib-0.6.2.2-5b26HP1zXA26xBLybZk8Ph definite Agda-2.6.1-IWRyzuSEZQADgKje40weSt-agda depends Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN depends base-4.13.0.0 definite Agda-2.6.1-DDf74jljlSq6xZehuFtgzt-agda-mode depends base-4.13.0.0 depends directory-1.3.6.0 depends filepath-1.4.2.1 depends process-1.6.9.0 Using Cabal-3.0.1.0 compiled by ghc-8.8 Using compiler: ghc-8.8.4 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4 Private executables installed in: /usr/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1 Data files installed in: /usr/share/libghc-agda-dev Documentation installed in: /usr/share/doc/x86_64-linux-ghc-8.8.4/Agda-2.6.1 Configuration files installed in: /usr/etc Using alex version 3.2.5 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/x86_64-linux-gnu-ar No c2hs found Using cpphs version 1.20.9 found on system at: /usr/bin/cpphs No doctest found Using gcc version 10 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 8.8.4 found on system at: /usr/bin/ghc Using ghc-pkg version 8.8.4 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.23.0 found on system at: /usr/bin/haddock Using happy version 1.19.12 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.7 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/x86_64-linux-gnu-ld.gold No pkg-config found Using runghc version 8.8.4 found on system at: /usr/bin/runghc Using strip version 2.35 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 Preprocessing library for Agda-2.6.1.. Building library for Agda-2.6.1.. [ 1 of 369] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, dist-ghc/build/Agda/Interaction/Options/IORefs.o ) [ 2 of 369] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, dist-ghc/build/Agda/Syntax/Builtin.o ) [ 3 of 369] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o ) [ 4 of 369] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o ) [ 5 of 369] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist-ghc/build/Agda/Utils/AffineHole.o ) [ 6 of 369] Compiling Agda.Utils.Applicative ( src/full/Agda/Utils/Applicative.hs, dist-ghc/build/Agda/Utils/Applicative.o ) [ 7 of 369] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o ) [ 8 of 369] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist-ghc/build/Agda/Utils/Environment.o ) [ 9 of 369] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist-ghc/build/Agda/Utils/Except.o ) [ 10 of 369] Compiling Agda.Utils.Fail ( src/full/Agda/Utils/Fail.hs, dist-ghc/build/Agda/Utils/Fail.o ) [ 11 of 369] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o ) [ 12 of 369] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o ) [ 13 of 369] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o ) [ 14 of 369] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist-ghc/build/Agda/Utils/Haskell/Syntax.o ) [ 15 of 369] Compiling Agda.Utils.IO ( src/full/Agda/Utils/IO.hs, dist-ghc/build/Agda/Utils/IO.o ) [ 16 of 369] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o ) [ 17 of 369] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist-ghc/build/Agda/Utils/IO/Directory.o ) [ 18 of 369] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o ) [ 19 of 369] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, dist-ghc/build/Agda/Utils/IO/TempFile.o ) [ 20 of 369] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist-ghc/build/Agda/Utils/IORef.o ) [ 21 of 369] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o ) [ 22 of 369] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist-ghc/build/Agda/Utils/Empty.o ) [ 23 of 369] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist-ghc/build/Agda/Utils/Bag.o ) [ 24 of 369] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist-ghc/build/Agda/ImpossibleTest.o ) [ 25 of 369] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o ) [ 26 of 369] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist-ghc/build/Agda/Utils/IntSet/Infinite.o ) [ 27 of 369] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist-ghc/build/Agda/Utils/Lens.o ) [ 28 of 369] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist-ghc/build/Agda/Utils/IndexedList.o ) [ 29 of 369] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist-ghc/build/Agda/Interaction/Library/Base.o ) [ 30 of 369] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist-ghc/build/Agda/Auto/Options.o ) [ 31 of 369] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist-ghc/build/Agda/Utils/Lens/Examples.o ) [ 32 of 369] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o ) [ 33 of 369] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o ) [ 34 of 369] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist-ghc/build/Agda/Utils/ListT.o ) [ 35 of 369] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist-ghc/build/Agda/Interaction/Options/Warnings.o ) [ 36 of 369] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist-ghc/build/Agda/Interaction/Options/Help.o ) [ 37 of 369] Compiling Agda.Utils.Memo ( src/full/Agda/Utils/Memo.hs, dist-ghc/build/Agda/Utils/Memo.o ) [ 38 of 369] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist-ghc/build/Agda/Utils/Monoid.o ) [ 39 of 369] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o ) [ 40 of 369] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o ) [ 41 of 369] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o ) [ 42 of 369] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist-ghc/build/Agda/Utils/POMonoid.o ) [ 43 of 369] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o ) [ 44 of 369] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o ) [ 45 of 369] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist-ghc/build/Agda/Utils/Singleton.o ) [ 46 of 369] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist-ghc/build/Agda/Utils/Cluster.o ) [ 47 of 369] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o ) [ 48 of 369] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o ) [ 49 of 369] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist-ghc/build/Agda/Utils/Parser/MemoisedCPS.o ) [ 50 of 369] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o ) [ 51 of 369] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o ) [ 52 of 369] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o ) [ 53 of 369] Compiling Agda.Utils.SmallSet ( src/full/Agda/Utils/SmallSet.hs, dist-ghc/build/Agda/Utils/SmallSet.o ) [ 54 of 369] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o ) [ 55 of 369] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist-ghc/build/Agda/Utils/Three.o ) [ 56 of 369] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o ) [ 57 of 369] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o ) [ 58 of 369] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o ) [ 59 of 369] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o ) [ 60 of 369] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o ) [ 61 of 369] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o ) [ 62 of 369] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist-ghc/build/Agda/Utils/Float.o ) [ 63 of 369] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o ) [ 64 of 369] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o ) [ 65 of 369] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist-ghc/build/Agda/Utils/Benchmark.o ) [ 66 of 369] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o ) [ 67 of 369] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o ) [ 68 of 369] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o ) [ 69 of 369] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist-ghc/build/Agda/Syntax/Parser/Literate.o ) [ 70 of 369] 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 ) [ 71 of 369] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o ) [ 72 of 369] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot ) [ 73 of 369] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o ) [ 74 of 369] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o ) [ 75 of 369] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o ) [ 76 of 369] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o ) [ 77 of 369] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o ) [ 78 of 369] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o ) [ 79 of 369] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o ) [ 80 of 369] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o ) [ 81 of 369] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o ) [ 82 of 369] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o ) [ 83 of 369] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o ) [ 84 of 369] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o ) [ 85 of 369] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o ) [ 86 of 369] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist-ghc/build/Agda/Syntax/Treeless.o ) [ 87 of 369] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist-ghc/build/Agda/Compiler/Treeless/GuardsToPrims.o ) [ 88 of 369] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist-ghc/build/Agda/Compiler/Treeless/AsPatterns.o ) [ 89 of 369] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o ) [ 90 of 369] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist-ghc/build/Agda/Compiler/Backend.o-boot ) [ 91 of 369] Compiling Agda.Main[boot] ( src/full/Agda/Main.hs-boot, dist-ghc/build/Agda/Main.o-boot ) [ 92 of 369] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist-ghc/build/Agda/Interaction/Library/Parse.o ) [ 93 of 369] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o ) [ 94 of 369] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, dist-ghc/build/Agda/Utils/Graph/TopSort.o ) [ 95 of 369] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o ) [ 96 of 369] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist-ghc/build/Agda/TypeChecking/Positivity/Occurrence.o ) [ 97 of 369] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o ) [ 98 of 369] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o ) [ 99 of 369] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.o ) [100 of 369] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist-ghc/build/Agda/Benchmarking.o ) [101 of 369] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist-ghc/build/Agda/Syntax/Concrete/Pattern.o ) [102 of 369] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o ) [103 of 369] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o ) [104 of 369] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, dist-ghc/build/Agda/Syntax/Concrete/Fixity.o ) [105 of 369] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, dist-ghc/build/Agda/Syntax/Concrete/Attribute.o ) [106 of 369] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o ) [107 of 369] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist-ghc/build/Agda/Interaction/Response.o-boot ) [108 of 369] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o ) [109 of 369] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist-ghc/build/Agda/Utils/AssocList.o ) [110 of 369] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o ) [111 of 369] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist-ghc/build/Agda/Utils/Geniplate.o ) [112 of 369] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o ) [113 of 369] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o ) [114 of 369] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o ) [115 of 369] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o ) [116 of 369] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o ) [117 of 369] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o ) [118 of 369] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o ) [119 of 369] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o ) [120 of 369] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o ) [121 of 369] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot ) [122 of 369] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot ) [123 of 369] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o ) [124 of 369] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o ) [125 of 369] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o ) [126 of 369] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o ) [127 of 369] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o ) [128 of 369] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o ) [129 of 369] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o ) [130 of 369] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist-ghc/build/Agda/TypeChecking/Substitute/DeBruijn.o ) [131 of 369] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist-ghc/build/Agda/TypeChecking/Free/Precompute.o ) [132 of 369] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist-ghc/build/Agda/TypeChecking/Free/Lazy.o ) [133 of 369] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o ) [134 of 369] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist-ghc/build/Agda/TypeChecking/Substitute/Class.o ) [135 of 369] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist-ghc/build/Agda/Syntax/Reflected.o ) [136 of 369] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o ) [137 of 369] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o ) [138 of 369] Compiling Agda.Syntax.Internal.MetaVars ( src/full/Agda/Syntax/Internal/MetaVars.hs, dist-ghc/build/Agda/Syntax/Internal/MetaVars.o ) [139 of 369] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist-ghc/build/Agda/Syntax/Internal/Defs.o ) [140 of 369] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o ) [141 of 369] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o ) [142 of 369] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o ) [143 of 369] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist-ghc/build/Agda/Syntax/Abstract/PatternSynonyms.o ) [144 of 369] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist-ghc/build/Agda/Syntax/Abstract/Pattern.o ) [145 of 369] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist-ghc/build/Agda/Utils/TypeLevel.o ) [146 of 369] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist-ghc/build/Agda/Utils/TypeLits.o ) [147 of 369] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o ) [148 of 369] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o ) [149 of 369] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o ) [150 of 369] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o ) [151 of 369] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist-ghc/build/Agda/Utils/WithDefault.o ) [152 of 369] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist-ghc/build/Agda/Utils/Zipper.o ) [153 of 369] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o ) [154 of 369] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o ) [155 of 369] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist-ghc/build/Agda/VersionCommit.o ) [156 of 369] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist-ghc/build/Agda/Interaction/Library.o ) [157 of 369] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o ) [158 of 369] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o ) [159 of 369] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Base.o ) [160 of 369] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot ) [161 of 369] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot ) [162 of 369] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Application.o-boot ) [163 of 369] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist-ghc/build/Agda/TypeChecking/Rewriting.o-boot ) [164 of 369] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, dist-ghc/build/Agda/TypeChecking/Reduce/Fast.o-boot ) [165 of 369] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, dist-ghc/build/Agda/TypeChecking/Primitive.o-boot ) [166 of 369] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot ) [167 of 369] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o-boot ) [168 of 369] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o ) [169 of 369] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o ) [170 of 369] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot ) [171 of 369] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o-boot ) [172 of 369] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist-ghc/build/Agda/TypeChecking/Errors.o-boot ) [173 of 369] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o ) [174 of 369] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o ) [175 of 369] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o-boot ) [176 of 369] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o-boot ) [177 of 369] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot ) [178 of 369] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty/Warning.o-boot ) [179 of 369] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty/Call.o-boot ) [180 of 369] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist-ghc/build/Agda/TypeChecking/Monad/Caching.o ) [181 of 369] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.o ) [182 of 369] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, dist-ghc/build/Agda/TypeChecking/Irrelevance.o-boot ) [183 of 369] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot ) [184 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot ) [185 of 369] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist-ghc/build/Agda/Syntax/Internal/Names.o ) [186 of 369] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o-boot ) [187 of 369] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, dist-ghc/build/Agda/TypeChecking/Warnings.o ) [188 of 369] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot ) [189 of 369] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, dist-ghc/build/Agda/Compiler/Treeless/Erase.o-boot ) [190 of 369] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, dist-ghc/build/Agda/TypeChecking/Inlining.o ) [191 of 369] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o ) [192 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Common.o ) [193 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o ) [194 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Abstract.o ) [195 of 369] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, dist-ghc/build/Agda/Interaction/Base.o ) [196 of 369] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist-ghc/build/Agda/Interaction/Response.o ) [197 of 369] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o ) [198 of 369] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o ) [199 of 369] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o ) [200 of 369] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o ) [201 of 369] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o ) [202 of 369] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist-ghc/build/Agda/TypeChecking/Constraints.o-boot ) [203 of 369] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o ) [204 of 369] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o ) [205 of 369] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist-ghc/build/Agda/Interaction/Options/Lenses.o ) [206 of 369] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o ) [207 of 369] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o ) [208 of 369] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o ) [209 of 369] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o ) [210 of 369] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist-ghc/build/Agda/TypeChecking/Telescope.o-boot ) [211 of 369] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o ) [212 of 369] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o ) [213 of 369] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, dist-ghc/build/Agda/TypeChecking/Level.o-boot ) [214 of 369] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o ) [215 of 369] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o ) [216 of 369] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist-ghc/build/Agda/TypeChecking/DropArgs.o ) [217 of 369] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o ) [218 of 369] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o ) [219 of 369] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot ) [220 of 369] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot ) [221 of 369] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist-ghc/build/Agda/Compiler/Treeless/Subst.o ) [222 of 369] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist-ghc/build/Agda/Compiler/Treeless/Pretty.o ) [223 of 369] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist-ghc/build/Agda/Compiler/Treeless/Compare.o ) [224 of 369] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist-ghc/build/Agda/Compiler/Treeless/Uncase.o ) [225 of 369] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o ) [226 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Compilers.o ) [227 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Internal.o ) [228 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Errors.o ) [229 of 369] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances.o ) [230 of 369] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-ghc/build/Agda/TypeChecking/Serialise.o ) [231 of 369] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Def.o-boot ) [232 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot ) [233 of 369] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, dist-ghc/build/Agda/TypeChecking/Rewriting/Clause.o ) [234 of 369] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Monad.o ) [235 of 369] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc/build/Agda/TypeChecking/Records.o-boot ) [236 of 369] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o-boot ) [237 of 369] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Abstract.o ) [238 of 369] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, dist-ghc/build/Agda/TypeChecking/Names.o ) [239 of 369] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Mention.o ) [240 of 369] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc/build/Agda/TypeChecking/EtaContract.o ) [241 of 369] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Reduce.o ) [242 of 369] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc/build/Agda/TypeChecking/Telescope.o ) [243 of 369] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist-ghc/build/Agda/TypeChecking/SyntacticEquality.o ) [244 of 369] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, dist-ghc/build/Agda/TypeChecking/Primitive/Base.o ) [245 of 369] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist-ghc/build/Agda/TypeChecking/Primitive/Cubical.o ) [246 of 369] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Internal.o ) [247 of 369] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc/build/Agda/TypeChecking/Level.o ) [248 of 369] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist-ghc/build/Agda/TypeChecking/Quote.o ) [249 of 369] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc/build/Agda/TypeChecking/Primitive.o ) [250 of 369] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist-ghc/build/Agda/TypeChecking/LevelConstraints.o ) [251 of 369] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, dist-ghc/build/Agda/TypeChecking/Level/Solve.o ) [252 of 369] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Free/Reduce.o ) [253 of 369] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc/build/Agda/TypeChecking/Empty.o-boot ) [254 of 369] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc/build/Agda/TypeChecking/DisplayForm.o ) [255 of 369] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, dist-ghc/build/Agda/TypeChecking/DeadCode.o ) [256 of 369] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc/build/Agda/TypeChecking/Conversion.o-boot ) [257 of 369] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o ) [258 of 369] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, dist-ghc/build/Agda/TypeChecking/CheckInternal.o-boot ) [259 of 369] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist-ghc/build/Agda/Termination/RecCheck.o ) [260 of 369] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ReflectedToAbstract.o ) [261 of 369] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/InternalToAbstract.o ) [262 of 369] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc/build/Agda/TypeChecking/Pretty.o ) [263 of 369] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, dist-ghc/build/Agda/TypeChecking/Telescope/Path.o ) [264 of 369] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes.o ) [265 of 369] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, dist-ghc/build/Agda/TypeChecking/Rules/Display.o ) [266 of 369] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, dist-ghc/build/Agda/TypeChecking/Pretty/Call.o ) [267 of 369] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist-ghc/build/Agda/TypeChecking/Irrelevance.o ) [268 of 369] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc/build/Agda/TypeChecking/Records.o ) [269 of 369] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Problem.o ) [270 of 369] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o ) [271 of 369] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Implicit.o ) [272 of 369] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) [273 of 369] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o ) [274 of 369] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, dist-ghc/build/Agda/TypeChecking/Functions.o ) [275 of 369] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist-ghc/build/Agda/TypeChecking/Forcing.o ) [276 of 369] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist-ghc/build/Agda/TypeChecking/Datatypes.o ) [277 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, dist-ghc/build/Agda/TypeChecking/Rewriting/NonLinPattern.o ) [278 of 369] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist-ghc/build/Agda/TypeChecking/RecordPatterns.o ) [279 of 369] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc/build/Agda/TypeChecking/Positivity.o ) [280 of 369] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o ) [281 of 369] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, dist-ghc/build/Agda/TypeChecking/Sort.o ) [282 of 369] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, dist-ghc/build/Agda/TypeChecking/Pretty/Warning.o ) [283 of 369] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc/build/Agda/TypeChecking/Polarity.o ) [284 of 369] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist-ghc/build/Agda/TypeChecking/Injectivity.o ) [285 of 369] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc/build/Agda/TypeChecking/Coverage/Match.o ) [286 of 369] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, dist-ghc/build/Agda/TypeChecking/Conversion/Pure.o ) [287 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, dist-ghc/build/Agda/TypeChecking/Rewriting/NonLinMatch.o ) [288 of 369] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist-ghc/build/Agda/Termination/Monad.o ) [289 of 369] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc/build/Agda/TypeChecking/Errors.o ) [290 of 369] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o ) [291 of 369] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Constraints.o ) [292 of 369] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Occurs.o ) [293 of 369] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/MetaVars.o ) [294 of 369] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Solve.o ) [295 of 369] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist-ghc/build/Agda/TypeChecking/Conversion.o ) [296 of 369] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist-ghc/build/Agda/TypeChecking/Unquote.o ) [297 of 369] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Unify.o ) [298 of 369] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, dist-ghc/build/Agda/TypeChecking/Rewriting/Confluence.o ) [299 of 369] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist-ghc/build/Agda/TypeChecking/Rewriting.o ) [300 of 369] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Fast.o ) [301 of 369] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, dist-ghc/build/Agda/TypeChecking/IApplyConfluence.o ) [302 of 369] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, dist-ghc/build/Agda/TypeChecking/Generalize.o ) [303 of 369] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist-ghc/build/Agda/TypeChecking/Rules/Data.o ) [304 of 369] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist-ghc/build/Agda/TypeChecking/CheckInternal.o ) [305 of 369] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, dist-ghc/build/Agda/TypeChecking/ReconstructParameters.o ) [306 of 369] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, dist-ghc/build/Agda/TypeChecking/EtaExpand.o ) [307 of 369] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Abstract.o ) [308 of 369] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist-ghc/build/Agda/TypeChecking/With.o ) [309 of 369] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc/build/Agda/Termination/TermCheck.o ) [310 of 369] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, dist-ghc/build/Agda/Syntax/Internal/SanityCheck.o ) [311 of 369] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, dist-ghc/build/Agda/Syntax/IdiomBrackets.o ) [312 of 369] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, dist-ghc/build/Agda/Syntax/DoNotation.o ) [313 of 369] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc/build/Agda/Interaction/Monad.o ) [314 of 369] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, dist-ghc/build/Agda/Interaction/JSON.o ) [315 of 369] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc/build/Agda/Interaction/Highlighting/Vim.o ) [316 of 369] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot.o ) [317 of 369] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, dist-ghc/build/Agda/Interaction/Highlighting/Common.o ) [318 of 369] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, dist-ghc/build/Agda/Compiler/Treeless/Unused.o ) [319 of 369] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, dist-ghc/build/Agda/Compiler/Treeless/Simplify.o ) [320 of 369] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, dist-ghc/build/Agda/Compiler/Treeless/NormalizeNames.o ) [321 of 369] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, dist-ghc/build/Agda/Compiler/Treeless/Identity.o ) [322 of 369] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, dist-ghc/build/Agda/Compiler/Treeless/Erase.o ) [323 of 369] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, dist-ghc/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o ) [324 of 369] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, dist-ghc/build/Agda/Compiler/Treeless/EliminateDefaults.o ) [325 of 369] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, dist-ghc/build/Agda/Compiler/Treeless/Builtin.o ) [326 of 369] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) [327 of 369] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Coerce.o ) [328 of 369] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist-ghc/build/Agda/Compiler/CallCompiler.o ) [329 of 369] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, dist-ghc/build/Agda/Interaction/Highlighting/JSON.o ) [330 of 369] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o ) [331 of 369] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS.o ) [332 of 369] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o ) [333 of 369] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin.o ) [334 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o ) [335 of 369] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) [336 of 369] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist-ghc/build/Agda/TypeChecking/Coverage.o ) [337 of 369] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist-ghc/build/Agda/TypeChecking/Empty.o ) [338 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o ) [339 of 369] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist-ghc/build/Agda/TypeChecking/Rules/Record.o ) [340 of 369] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist-ghc/build/Agda/TypeChecking/Rules/Def.o ) [341 of 369] Compiling Agda.Compiler.ToTreeless ( src/full/Agda/Compiler/ToTreeless.hs, dist-ghc/build/Agda/Compiler/ToTreeless.o ) [342 of 369] Compiling Agda.TypeChecking.Rules.Application ( src/full/Agda/TypeChecking/Rules/Application.hs, dist-ghc/build/Agda/TypeChecking/Rules/Application.o ) [343 of 369] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o ) [344 of 369] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist-ghc/build/Agda/TheTypeChecker.o ) [345 of 369] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc/build/Agda/Interaction/Highlighting/Emacs.o ) [346 of 369] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist-ghc/build/Agda/Interaction/BasicOps.o ) [347 of 369] Compiling Agda.Interaction.SearchAbout ( src/full/Agda/Interaction/SearchAbout.hs, dist-ghc/build/Agda/Interaction/SearchAbout.o ) [348 of 369] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist-ghc/build/Agda/Interaction/MakeCase.o ) [349 of 369] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc/build/Agda/Auto/Convert.o ) [350 of 369] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist-ghc/build/Agda/Interaction/Imports.o ) [351 of 369] Compiling Agda.Interaction.CommandLine ( src/full/Agda/Interaction/CommandLine.hs, dist-ghc/build/Agda/Interaction/CommandLine.o ) [352 of 369] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist-ghc/build/Agda/Auto/Auto.o ) [353 of 369] Compiling Agda.Compiler.Common ( src/full/Agda/Compiler/Common.hs, dist-ghc/build/Agda/Compiler/Common.o ) [354 of 369] Compiling Agda.Compiler.MAlonzo.Pragmas ( src/full/Agda/Compiler/MAlonzo/Pragmas.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Pragmas.o ) [355 of 369] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Misc.o ) [356 of 369] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Encode.o ) [357 of 369] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Pretty.o ) [358 of 369] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Primitives.o ) [359 of 369] Compiling Agda.Compiler.MAlonzo.HaskellTypes ( src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs, dist-ghc/build/Agda/Compiler/MAlonzo/HaskellTypes.o ) [360 of 369] Compiling Agda.Compiler.Backend ( src/full/Agda/Compiler/Backend.hs, dist-ghc/build/Agda/Compiler/Backend.o ) [361 of 369] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist-ghc/build/Agda/Interaction/Highlighting/LaTeX.o ) [362 of 369] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist-ghc/build/Agda/Interaction/InteractionTop.o ) [363 of 369] Compiling Agda.Interaction.AgdaTop ( src/full/Agda/Interaction/AgdaTop.hs, dist-ghc/build/Agda/Interaction/AgdaTop.o ) [364 of 369] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist-ghc/build/Agda/Interaction/EmacsTop.o ) [365 of 369] Compiling Agda.Interaction.JSONTop ( src/full/Agda/Interaction/JSONTop.hs, dist-ghc/build/Agda/Interaction/JSONTop.o ) [366 of 369] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc/build/Agda/Interaction/Highlighting/HTML.o ) [367 of 369] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o ) [368 of 369] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist-ghc/build/Agda/Compiler/JS/Compiler.o ) [369 of 369] Compiling Agda.Main ( src/full/Agda/Main.hs, dist-ghc/build/Agda/Main.o ) Preprocessing executable 'agda' for Agda-2.6.1.. Building executable 'agda' for Agda-2.6.1.. [1 of 1] Compiling Main ( src/main/Main.hs, dist-ghc/build/agda/agda-tmp/Main.o ) Linking dist-ghc/build/agda/agda ... Preprocessing executable 'agda-mode' for Agda-2.6.1.. Building executable 'agda-mode' for Agda-2.6.1.. [1 of 2] Compiling Paths_Agda ( dist-ghc/build/agda-mode/autogen/Paths_Agda.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Paths_Agda.o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Main.o ) Linking dist-ghc/build/agda-mode/agda-mode ... Generating Agda library interface files... ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Bool.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Char.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Char/Properties.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Coinduction.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Path.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Id.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Sub.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Glue.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/HCompU.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Equality.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Equality/Erase.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Float.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Float/Properties.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/FromNat.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/FromNeg.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/FromString.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/IO.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Int.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/List.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Nat.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Reflection.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Reflection/Properties.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Sigma.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Size.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Strict.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/String.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/String/Properties.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/TrustMe.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Unit.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Word.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Word/Properties.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Primitive.agda ... /build/agda-KiuGpG/agda-2.6.1/src/data/lib/prim/Agda/Primitive/Cubical.agda touch build-ghc-stamp DEB_ENABLE_TESTS not set to yes, not running any tests. touch check-ghc-stamp Adding cdbs dependencies to debian/agda-bin.substvars dh_installdirs -pagda-bin \ dh_haskell_blurbs "ghc" -pagda-bin Adding cdbs dependencies to debian/libghc-agda-dev.substvars dh_installdirs -plibghc-agda-dev \ debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-HiLbc35vrJaCUyzSCNnAUN Installing executable agda in debian/tmp-inst-ghc/usr/bin Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search path. Installing executable agda-mode in debian/tmp-inst-ghc/usr/bin Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search path. . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ extra_depends_recipe ghc Running dh_haskell_extra_depends ghc Agda-2.6.1.conf . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_dev_recipe "libghc-agda-dev" Running cd debian/tmp-inst-ghc Running mkdir -p usr/lib/haskell-packages/ghc/lib Running find usr/lib/haskell-packages/ghc/lib/ \( \! -name \*_p.a \! -name \*.p_hi \! -type d \) -exec install -Dm 644 \{\} ../libghc-agda-dev/\{\} \; Running install -Dm 644 Agda-2.6.1.conf debian/libghc-agda-dev/var/lib/ghc/package.conf.d/Agda-2.6.1.conf Running rm -f Agda-2.6.1.conf Running dh_haskell_provides -plibghc-agda-dev Running dh_haskell_depends -plibghc-agda-dev Running dh_haskell_shlibdeps -plibghc-agda-dev dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory dh_haskell_blurbs "ghc" -plibghc-agda-dev Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Sigma.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agda -v0; Agda_datadir=/build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev debian/tmp-inst-ghc/usr/bin/agda /build/agda-KiuGpG/agda-2.6.1/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word.agda -v0; dh_installdocs -pagda-bin dh_installexamples -pagda-bin dh_installman -pagda-bin dh_installinfo -pagda-bin dh_installmenu -pagda-bin dh_installcron -pagda-bin dh_systemd_enable -pagda-bin dh_installinit -pagda-bin dh_installdebconf -pagda-bin dh_installemacsen -pagda-bin dh_installcatalogs -pagda-bin dh_installpam -pagda-bin dh_installlogrotate -pagda-bin dh_installlogcheck -pagda-bin dh_installchangelogs -pagda-bin dh_installudev -pagda-bin dh_lintian -pagda-bin dh_bugfiles -pagda-bin dh_install -pagda-bin dh_systemd_start -pagda-bin dh_link -pagda-bin dh_buildinfo -pagda-bin dh_installmime -pagda-bin dh_installgsettings -pagda-bin dh_installdocs -plibghc-agda-dev dh_installexamples -plibghc-agda-dev dh_installman -plibghc-agda-dev dh_installinfo -plibghc-agda-dev dh_installmenu -plibghc-agda-dev dh_installcron -plibghc-agda-dev dh_systemd_enable -plibghc-agda-dev dh_installinit -plibghc-agda-dev dh_installdebconf -plibghc-agda-dev dh_installemacsen -plibghc-agda-dev dh_installcatalogs -plibghc-agda-dev dh_installpam -plibghc-agda-dev dh_installlogrotate -plibghc-agda-dev dh_installlogcheck -plibghc-agda-dev dh_installchangelogs -plibghc-agda-dev dh_installudev -plibghc-agda-dev dh_lintian -plibghc-agda-dev dh_bugfiles -plibghc-agda-dev dh_install -plibghc-agda-dev dh_systemd_start -plibghc-agda-dev dh_link -plibghc-agda-dev dh_buildinfo -plibghc-agda-dev dh_installmime -plibghc-agda-dev dh_installgsettings -plibghc-agda-dev dh_strip -pagda-bin --no-automatic-dbgsym dh_strip_nondeterminism -pagda-bin dh_compress -pagda-bin -X .haddock -X .hs -X .txt dh_fixperms -pagda-bin dh_makeshlibs -pagda-bin -XlibHS dh_strip -plibghc-agda-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-agda-dev dh_compress -plibghc-agda-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-agda-dev dh_makeshlibs -plibghc-agda-dev -XlibHS dh_installdeb -pagda-bin dh_perl -pagda-bin dh_shlibdeps -pagda-bin -- --ignore-missing-info dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/agda-bin/usr/bin/agda was not linked against libutil.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/agda-bin/usr/bin/agda was not linked against librt.so.1 (it uses none of the library's symbols) dh_installdeb -plibghc-agda-dev dh_perl -plibghc-agda-dev dh_shlibdeps -plibghc-agda-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so contains an unresolvable reference to symbol stg_unmaskAsyncExceptionszh: it's probably a plugin dpkg-shlibdeps: warning: 115 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against librt.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSuuid-types-1.0.3-FhMEClLs6wcFg4Ad7mfYKz-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSprimitive-0.7.0.1-CN4ea3Jrhra6yENuqrDg51-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSuri-encode-1.5.0.6-UFyGEH3igyDnFbuMzAa9v-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSinteger-logarithms-1.0.3-Io2BpkYkr962ot9Aw78Hlo-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSbase-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libdl.so.2 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSterminfo-0.4.1.4-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSutf8-string-1.0.1.1-K3Cc2i5eeGM49mkpXdBKoc-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSparsec-3.1.14.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSghc-boot-th-8.8.4-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libgmp.so.10 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSghc-compact-0.1.0.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSgitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHStime-compat-1.9.3-I8Rym0skYuI1tMugxAzG4l-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHStagged-0.8.6-FYc8l1vwILF5OSKkSTSNII-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSbase-compat-batteries-0.11.1-LOY5lyev4zYDDSw7XooUgP-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSth-abstraction-0.3.2.0-D5zRQZUNFcq6kU1WHIrSvs-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSdeepseq-1.4.4.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSdlist-0.8.0.8-JR3J30JsCPy8t4wCS6AU0f-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSmurmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libpthread.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHStransformers-compat-0.6.5-A4x1bZ0pdPp2fWbX7DA2EW-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libutil.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSattoparsec-0.13.2.4-Ab3vFYnVhC6LY7sYuAbpTr-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSblaze-builder-0.4.1.0-82SjfGnhHM1L0mrMMN11qB-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSrandom-1.1-CUqV1zxrwrE4K5XCdTZSYy-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libz.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libtinfo.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSexceptions-0.10.4-9CfD2hJyZLFIbks3iYGf0k-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSAgda-2.6.1-HiLbc35vrJaCUyzSCNnAUN-ghc8.8.4.so was not linked against libHSbase-orphans-0.8.2-1Y1ZqNmIsRFEurBzE3x0AA-ghc8.8.4.so (it uses none of the library's symbols) dh_gencontrol -pagda-bin dpkg-gencontrol: warning: Depends field of package agda-bin: substitution variable ${haskell:Depends} used, but is not defined dpkg-gencontrol: warning: Recommends field of package agda-bin: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package agda-bin: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: package agda-bin: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -pagda-bin dh_builddeb -pagda-bin dpkg-deb: building package 'agda-bin' in '../agda-bin_2.6.1-1+b2_amd64.deb'. dh_gencontrol -plibghc-agda-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: package libghc-agda-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-agda-dev dh_builddeb -plibghc-agda-dev dpkg-deb: building package 'libghc-agda-dev' in '../libghc-agda-dev_2.6.1-1+b2_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../agda_2.6.1-1+b2_amd64.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/agda-KiuGpG /tmp/agda-2.6.1-1+b2gcmy8ija I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.28ijWNG62B... I: success in 6881.9443 seconds md5: agda-bin_2.6.1-1+b2_amd64.deb: OK md5: libghc-agda-dev_2.6.1-1+b2_amd64.deb: OK sha1: agda-bin_2.6.1-1+b2_amd64.deb: OK sha1: libghc-agda-dev_2.6.1-1+b2_amd64.deb: OK sha256: agda-bin_2.6.1-1+b2_amd64.deb: OK sha256: libghc-agda-dev_2.6.1-1+b2_amd64.deb: OK Checksums: OK