Arch Linux

agda-stdlib has not been built against agda for over 5 months. Agda has since updated and the PKGBUILD no longer works. Here is a build log from a clean chroot:

$ aur chroot -D.
==> Creating install root at /home/user/software/agda-stdlib/repos/community-x86_64/root
==> Installing packages to /home/user/software/agda-stdlib/repos/community-x86_64/root
:: Synchronizing package databases...
core 133.3 KiB 657K/s 00:00 [#############################################################################] 100%
extra 1667.8 KiB 1080K/s 00:02 [#############################################################################] 100%
community 4.8 MiB 7.36M/s 00:01 [#############################################################################] 100%
multilib 175.9 KiB 8.59M/s 00:00 [#############################################################################] 100%
:: There are 26 members in group base-devel:
:: Repository core
1) autoconf 2) automake 3) binutils 4) bison 5) fakeroot 6) file 7) findutils 8) flex 9) gawk 10) gcc 11) gettext 12) grep 13) groff 14) gzip 15) libtool 16) m4 17) make 18) pacman
19) patch 20) pkgconf 21) sed 22) sudo 23) systemd 24) texinfo 25) util-linux 26) which

Enter a selection (default=all):
resolving dependencies...
looking for conflicting packages...

Packages (124) acl-2.2.53-1 archlinux-keyring-20190123-2 argon2-20171227-3 attr-2.4.48-1 audit-2.8.4-3 bash-5.0.003-1 bzip2-1.0.6-8 ca-certificates-20181109-1 ca-certificates-mozilla-3.43-1
ca-certificates-utils-20181109-1 coreutils-8.31-1 cracklib-2.9.7-1 cryptsetup-2.1.0-1 curl-7.64.1-2 db-5.3.28-4 dbus-1.12.12-1 device-mapper-2.02.184-4 diffutils-3.7-1 e2fsprogs-1.45.0-1
expat-2.2.6-1 filesystem-2018.12-2 gc-7.6.8-1 gcc-libs-8.3.0-1 gdbm-1.18.1-2 glib2-2.60.1-1 glibc-2.29-1 gmp-6.1.2-2 gnupg-2.2.15-1 gnutls-3.6.7-1 gpgme-1.13.0-1 guile-2.2.4-2
hwids-20190316-1 iana-etc-20190415-1 icu-64.1-1 iptables-1:1.8.2-1 json-c-0.13.1-2 kbd-2.0.4-2 keyutils-1.6-1 kmod-26-2 krb5-1.16.1-1 less-530-1 libarchive-3.3.3-1 libassuan-2.5.3-1
libatomic_ops-7.6.10-1 libcap-2.27-1 libcap-ng-0.7.9-1 libcroco-0.6.13-1 libelf-0.176-1 libffi-3.2.1-3 libgcrypt-1.8.4-1 libgpg-error-1.36-1 libidn2-2.1.1-2 libksba-1.3.5-1
libldap-2.4.47-1 libmnl-1.0.4-2 libmpc-1.1.0-1 libnetfilter_conntrack-1.0.7-1 libnfnetlink-1.0.1-3 libnftnl-1.1.1-1 libnghttp2-1.36.0-1 libnl-3.4.0-1 libpcap-1.9.0-1 libpsl-0.20.2-5
libsasl-2.1.27-1 libseccomp-2.4.0-1 libsecret-0.18.8-2 libssh2-1.8.1-1 libtasn1-4.13-1 libtirpc-1.1.4-1 libunistring-0.9.10-1 libusb-1.0.22-1 libutil-linux-2.33.2-1 libxml2-2.9.9-2
linux-api-headers-5.0.7-1 lz4-1:1.9.0-1 mpfr-4.0.2-1 ncurses-6.1-6 nettle-3.4.1-1 npth-1.6-1 openssl-1.1.1.b-1 p11-kit-0.23.15-1 pacman-mirrorlist-20190109-1 pam-1.3.1-1
pambase-20190105.1-1 pcre-8.43-1 pcre2-10.32-2 perl-5.28.2-1 pinentry-1.1.0-4 popt-1.16-10 readline-8.0.0-1 shadow-4.6-2 sqlite-3.27.2-1 systemd-libs-241.93-1 tar-1.32-1 tzdata-2019a-1
xz-5.2.4-1 zlib-1:1.2.11-3 zstd-1.4.0-1 autoconf-2.69-5 automake-1.16.1-1 binutils-2.32-1 bison-3.3.2-1 fakeroot-1.23-1 file-5.36-1 findutils-4.6.0-4 flex-2.6.4-2 gawk-4.2.1-2
gcc-8.3.0-1 gettext-0.19.8.1-3 grep-3.3-1 groff-1.22.4-1 gzip-1.10-1 libtool-2.4.6+42+gb88cebd5-3 m4-1.4.18-2 make-4.2.1-3 pacman-5.1.3-1 patch-2.7.6-7 pkgconf-1.6.1-1 sed-4.7-1
sudo-1.8.27-1 systemd-241.93-1 texinfo-6.6-1 util-linux-2.33.2-1 which-2.21-3

Total Download Size: 118.16 MiB
Total Installed Size: 724.24 MiB

:: Proceed with installation? [Y/n]
:: Retrieving packages...
linux-api-headers-5.0.7-1-any 970.7 KiB 8.94M/s 00:00 [#############################################################################] 100%
tzdata-2019a-1-x86_64 362.2 KiB 8.84M/s 00:00 [#############################################################################] 100%
iana-etc-20190415-1-any 367.0 KiB 8.96M/s 00:00 [#############################################################################] 100%
glibc-2.29-1-x86_64 9.1 MiB 8.49M/s 00:01 [#############################################################################] 100%
gcc-libs-8.3.0-1-x86_64 20.4 MiB 8.54M/s 00:02 [#############################################################################] 100%
bash-5.0.003-1-x86_64 1537.1 KiB 7.90M/s 00:00 [#############################################################################] 100%
perl-5.28.2-1-x86_64 14.2 MiB 8.70M/s 00:02 [#############################################################################] 100%
binutils-2.32-1-x86_64 4.8 MiB 8.55M/s 00:01 [#############################################################################] 100%
bison-3.3.2-1-x86_64 603.3 KiB 8.79M/s 00:00 [#############################################################################] 100%
cracklib-2.9.7-1-x86_64 249.9 KiB 7.40M/s 00:00 [#############################################################################] 100%
libutil-linux-2.33.2-1-x86_64 367.9 KiB 9.71M/s 00:00 [#############################################################################] 100%
libcap-2.27-1-x86_64 39.1 KiB 12.7M/s 00:00 [#############################################################################] 100%
coreutils-8.31-1-x86_64 2.4 MiB 8.43M/s 00:00 [#############################################################################] 100%
libgpg-error-1.36-1-x86_64 195.8 KiB 7.97M/s 00:00 [#############################################################################] 100%
lz4-1:1.9.0-1-x86_64 103.7 KiB 10.1M/s 00:00 [#############################################################################] 100%
systemd-libs-241.93-1-x86_64 389.9 KiB 9.52M/s 00:00 [#############################################################################] 100%
util-linux-2.33.2-1-x86_64 2.0 MiB 8.72M/s 00:00 [#############################################################################] 100%
gcc-8.3.0-1-x86_64 33.1 MiB 8.22M/s 00:04 [#############################################################################] 100%
glib2-2.60.1-1-x86_64 2.4 MiB 7.10M/s 00:00 [#############################################################################] 100%
icu-64.1-1-x86_64 8.8 MiB 7.96M/s 00:01 [#############################################################################] 100%
groff-1.22.4-1-x86_64 2043.9 KiB 8.68M/s 00:00 [#############################################################################] 100%
libtool-2.4.6+42+gb88cebd5-3-x86_64 399.5 KiB 9.07M/s 00:00 [#############################################################################] 100%
zstd-1.4.0-1-x86_64 375.4 KiB 9.17M/s 00:00 [#############################################################################] 100%
device-mapper-2.02.184-4-x86_64 269.7 KiB 9.75M/s 00:00 [#############################################################################] 100%
hwids-20190316-1-any 366.5 KiB 8.95M/s 00:00 [#############################################################################] 100%
libseccomp-2.4.0-1-x86_64 76.0 KiB 10.6M/s 00:00 [#############################################################################] 100%
systemd-241.93-1-x86_64 4.5 MiB 8.64M/s 00:01 [#############################################################################] 100%
ca-certificates-mozilla-3.43-1-x86_64 337.2 KiB 9.68M/s 00:00 [#############################################################################] 100%
libssh2-1.8.1-1-x86_64 183.2 KiB 8.94M/s 00:00 [#############################################################################] 100%
curl-7.64.1-2-x86_64 974.8 KiB 8.65M/s 00:00 [#############################################################################] 100%
gnutls-3.6.7-1-x86_64 2.5 MiB 8.67M/s 00:00 [#############################################################################] 100%
gnupg-2.2.15-1-x86_64 2.1 MiB 8.73M/s 00:00 [#############################################################################] 100%
gpgme-1.13.0-1-x86_64 407.9 KiB 9.26M/s 00:00 [#############################################################################] 100%
pkgconf-1.6.1-1-x86_64 54.4 KiB 7.59M/s 00:00 [#############################################################################] 100%
libxml2-2.9.9-2-x86_64 1268.8 KiB 8.60M/s 00:00 [#############################################################################] 100%
libcroco-0.6.13-1-x86_64 146.0 KiB 11.0M/s 00:00 [#############################################################################] 100%
(124/124) checking keys in keyring [#############################################################################] 100%
(124/124) checking package integrity [#############################################################################] 100%
(124/124) loading package files [#############################################################################] 100%
(124/124) checking for file conflicts [#############################################################################] 100%
:: Processing package changes...
( 1/124) installing linux-api-headers [#############################################################################] 100%
( 2/124) installing tzdata [#############################################################################] 100%
( 3/124) installing iana-etc [#############################################################################] 100%
( 4/124) installing filesystem [#############################################################################] 100%
( 5/124) installing glibc [#############################################################################] 100%
Optional dependencies for glibc
gd: for memusagestat
( 6/124) installing gcc-libs [#############################################################################] 100%
( 7/124) installing ncurses [#############################################################################] 100%
( 8/124) installing readline [#############################################################################] 100%
( 9/124) installing bash [#############################################################################] 100%
Optional dependencies for bash
bash-completion: for tab completion
( 10/124) installing gmp [#############################################################################] 100%
( 11/124) installing mpfr [#############################################################################] 100%
( 12/124) installing gawk [#############################################################################] 100%
( 13/124) installing m4 [#############################################################################] 100%
( 14/124) installing diffutils [#############################################################################] 100%
( 15/124) installing autoconf [#############################################################################] 100%
( 16/124) installing gdbm [#############################################################################] 100%
( 17/124) installing db [#############################################################################] 100%
( 18/124) installing perl [#############################################################################] 100%
( 19/124) installing automake [#############################################################################] 100%
( 20/124) installing zlib [#############################################################################] 100%
( 21/124) installing binutils [#############################################################################] 100%
( 22/124) installing bison [#############################################################################] 100%
( 23/124) installing attr [#############################################################################] 100%
( 24/124) installing acl [#############################################################################] 100%
( 25/124) installing sed [#############################################################################] 100%
( 26/124) installing cracklib [#############################################################################] 100%
( 27/124) installing libutil-linux [#############################################################################] 100%
( 28/124) installing e2fsprogs [#############################################################################] 100%
( 29/124) installing openssl [#############################################################################] 100%
Optional dependencies for openssl
ca-certificates [pending]
( 30/124) installing libsasl [#############################################################################] 100%
( 31/124) installing libldap [#############################################################################] 100%
( 32/124) installing keyutils [#############################################################################] 100%
( 33/124) installing krb5 [#############################################################################] 100%
( 34/124) installing libtirpc [#############################################################################] 100%
( 35/124) installing pambase [#############################################################################] 100%
( 36/124) installing pam [#############################################################################] 100%
( 37/124) installing shadow [#############################################################################] 100%
( 38/124) installing libcap [#############################################################################] 100%
( 39/124) installing coreutils [#############################################################################] 100%
( 40/124) installing libgpg-error [#############################################################################] 100%
( 41/124) installing libgcrypt [#############################################################################] 100%
( 42/124) installing lz4 [#############################################################################] 100%
( 43/124) installing xz [#############################################################################] 100%
( 44/124) installing systemd-libs [#############################################################################] 100%
( 45/124) installing libcap-ng [#############################################################################] 100%
( 46/124) installing util-linux [#############################################################################] 100%
Optional dependencies for util-linux
python: python bindings to libmount
words: default dictionary for look
( 47/124) installing fakeroot [#############################################################################] 100%
( 48/124) installing file [#############################################################################] 100%
( 49/124) installing findutils [#############################################################################] 100%
( 50/124) installing flex [#############################################################################] 100%
( 51/124) installing libmpc [#############################################################################] 100%
( 52/124) installing gcc [#############################################################################] 100%
Optional dependencies for gcc
lib32-gcc-libs: for generating code for 32-bit ABI
( 53/124) installing bzip2 [#############################################################################] 100%
( 54/124) installing pcre [#############################################################################] 100%
( 55/124) installing libffi [#############################################################################] 100%
( 56/124) installing glib2 [#############################################################################] 100%
Optional dependencies for glib2
python: gdbus-codegen, glib-genmarshal, glib-mkenums, gtester-report
libelf: gresource inspection tool [pending]
( 57/124) installing libunistring [#############################################################################] 100%
( 58/124) installing icu [#############################################################################] 100%
( 59/124) installing libxml2 [#############################################################################] 100%
( 60/124) installing libcroco [#############################################################################] 100%
( 61/124) installing gettext [#############################################################################] 100%
Optional dependencies for gettext
git: for autopoint infrastructure updates
( 62/124) installing grep [#############################################################################] 100%
( 63/124) installing groff [#############################################################################] 100%
Optional dependencies for groff
netpbm: for use together with man -H command interaction in browsers
psutils: for use together with man -H command interaction in browsers
libxaw: for gxditview
( 64/124) installing less [#############################################################################] 100%
( 65/124) installing gzip [#############################################################################] 100%
( 66/124) installing tar [#############################################################################] 100%
( 67/124) installing libtool [#############################################################################] 100%
( 68/124) installing texinfo [#############################################################################] 100%
( 69/124) installing libatomic_ops [#############################################################################] 100%
( 70/124) installing gc [#############################################################################] 100%
( 71/124) installing guile [#############################################################################] 100%
( 72/124) installing make [#############################################################################] 100%
( 73/124) installing expat [#############################################################################] 100%
( 74/124) installing zstd [#############################################################################] 100%
( 75/124) installing libarchive [#############################################################################] 100%
( 76/124) installing libtasn1 [#############################################################################] 100%
( 77/124) installing device-mapper [#############################################################################] 100%
( 78/124) installing popt [#############################################################################] 100%
( 79/124) installing json-c [#############################################################################] 100%
( 80/124) installing argon2 [#############################################################################] 100%
( 81/124) installing cryptsetup [#############################################################################] 100%
( 82/124) installing audit [#############################################################################] 100%
( 83/124) installing dbus [#############################################################################] 100%
( 84/124) installing libmnl [#############################################################################] 100%
( 85/124) installing libnftnl [#############################################################################] 100%
( 86/124) installing libnl [#############################################################################] 100%
( 87/124) installing libusb [#############################################################################] 100%
( 88/124) installing libpcap [#############################################################################] 100%
( 89/124) installing libnfnetlink [#############################################################################] 100%
( 90/124) installing libnetfilter_conntrack [#############################################################################] 100%
( 91/124) installing iptables [#############################################################################] 100%
( 92/124) installing kbd [#############################################################################] 100%
( 93/124) installing kmod [#############################################################################] 100%
( 94/124) installing hwids [#############################################################################] 100%
( 95/124) installing libidn2 [#############################################################################] 100%
( 96/124) installing libelf [#############################################################################] 100%
( 97/124) installing libseccomp [#############################################################################] 100%
( 98/124) installing pcre2 [#############################################################################] 100%
( 99/124) installing systemd [#############################################################################] 100%
Initializing machine ID from random generator.
Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service → /usr/lib/systemd/system/getty@.service.
Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target → /usr/lib/systemd/system/remote-fs.target.
:: Append 'init=/usr/lib/systemd/systemd' to your kernel command line in your
bootloader to replace sysvinit with systemd, or install systemd-sysvcompat
Optional dependencies for systemd
libmicrohttpd: remote journald capabilities
quota-tools: kernel-level quota management
systemd-sysvcompat: symlink package to provide sysvinit binaries
polkit: allow administration as unprivileged user
curl: machinectl pull-tar and pull-raw [pending]
(100/124) installing p11-kit [#############################################################################] 100%
Created symlink /etc/systemd/user/sockets.target.wants/p11-kit-server.socket → /usr/lib/systemd/user/p11-kit-server.socket.
(101/124) installing ca-certificates-utils [#############################################################################] 100%
(102/124) installing ca-certificates-mozilla [#############################################################################] 100%
(103/124) installing ca-certificates [#############################################################################] 100%
(104/124) installing libssh2 [#############################################################################] 100%
(105/124) installing libpsl [#############################################################################] 100%
(106/124) installing libnghttp2 [#############################################################################] 100%
(107/124) installing curl [#############################################################################] 100%
(108/124) installing npth [#############################################################################] 100%
(109/124) installing libksba [#############################################################################] 100%
(110/124) installing libassuan [#############################################################################] 100%
(111/124) installing libsecret [#############################################################################] 100%
Optional dependencies for libsecret
gnome-keyring: key storage service, or use any other service implementing org.freedesktop.secrets
(112/124) installing pinentry [#############################################################################] 100%
Optional dependencies for pinentry
gtk2: gtk2 backend
qt5-base: qt backend
gcr: gnome3 backend
(113/124) installing nettle [#############################################################################] 100%
(114/124) installing gnutls [#############################################################################] 100%
(115/124) installing sqlite [#############################################################################] 100%
(116/124) installing gnupg [#############################################################################] 100%
Optional dependencies for gnupg
libldap: gpg2keys_ldap [installed]
libusb-compat: scdaemon
pcsclite: scdaemon
(117/124) installing gpgme [#############################################################################] 100%
(118/124) installing pacman-mirrorlist [#############################################################################] 100%
(119/124) installing archlinux-keyring [#############################################################################] 100%
(120/124) installing pacman [#############################################################################] 100%
Optional dependencies for pacman
perl-locale-gettext: translation support in makepkg-template
xdelta3: delta support in repo-add
(121/124) installing patch [#############################################################################] 100%
Optional dependencies for patch
ed: for patch -e functionality
(122/124) installing pkgconf [#############################################################################] 100%
(123/124) installing sudo [#############################################################################] 100%
(124/124) installing which [#############################################################################] 100%
:: Running post-transaction hooks...
( 1/12) Warn about old perl modules
( 2/12) Removing old cached pacakges...
call to execv failed (No such file or directory)
error: command failed to execute correctly
( 3/12) Updating journal message catalog...
( 4/12) Reloading system manager configuration...
Running in chroot, ignoring request: daemon-reload
( 5/12) Updating udev hardware database...
( 6/12) Applying kernel sysctl settings...
( 7/12) Creating system user accounts...
( 8/12) Creating temporary files...
( 9/12) Reloading device manager configuration...
Running in chroot, ignoring request.
(10/12) Arming ConditionNeedsUpdate...
(11/12) Updating the info directory file...
(12/12) Rebuilding certificate stores...
Generating locales...
en_US.UTF-8... done
de_DE.UTF-8... done
Generation complete.
==> Synchronizing chroot copy [/home/sean/software/agda-stdlib/repos/community-x86_64/root] -> [sean]...done
:: Synchronizing package databases...
core is up to date
extra is up to date
community is up to date
multilib is up to date
:: Starting full system upgrade...
there is nothing to do
==> Making package: agda-stdlib 0.17-2 (Mon Apr 22 00:11:42 2019)
==> Retrieving sources...
-> Found agda-stdlib-0.17.tar.gz
-> Found standard-library.agda-lib
==> Validating source files with sha512sums...
agda-stdlib-0.17.tar.gz ... Passed
standard-library.agda-lib ... Passed
==> Making package: agda-stdlib 0.17-2 (Mon 22 Apr 2019 12:11:42 AM EDT)
==> Checking runtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (49) ghc-libs-8.6.4-1 haskell-aeson-1.4.2.0-17 haskell-async-2.2.1-6 haskell-attoparsec-0.13.2.2-43 haskell-base-compat-0.10.5-4 haskell-blaze-builder-0.4.1.0-7 haskell-blaze-html-0.9.1.1-18
haskell-blaze-markup-0.8.2.2-12 haskell-boxes-0.1.5-9 haskell-cpphs-1.20.8-14 haskell-data-hash-0.2.0.1-12 haskell-dlist-0.8.0.6-1 haskell-edisonapi-1.3.1-12 haskell-edisoncore-1.3.2.1-11
haskell-edit-distance-0.2.2.1-13 haskell-equivalence-0.3.4-4 haskell-erf-2.0.0.0-12 haskell-geniplate-mirror-0.7.6-8 haskell-gitrev-1.3.1-13 haskell-hashable-1.2.7.0-7
haskell-hashtables-1.2.3.1-15 haskell-ieee754-0.8.0-11 haskell-integer-logarithms-1.0.3-1 haskell-murmur-hash-0.1.0.9-11 haskell-network-uri-2.6.1.0-17 haskell-old-locale-1.0.0.7-18
haskell-old-time-1.1.0.3-18 haskell-polyparse-1.12.1-4 haskell-primitive-0.6.4.0-5 haskell-quickcheck-2.12.6.1-2 haskell-random-1.1-16 haskell-regex-base-0.93.2-37
haskell-regex-tdfa-1.2.3.1-5 haskell-scientific-0.3.6.2-12 haskell-split-0.2.3.3-10 haskell-stmonadtrans-0.4.3-12 haskell-strict-0.3.2-12 haskell-tagged-0.8.6-5 haskell-tf-random-0.5-23
haskell-th-abstraction-0.2.11.0-2 haskell-time-locale-compat-0.1.1.5-5 haskell-transformers-compat-0.6.4-1 haskell-unordered-containers-0.2.10.0-3 haskell-uri-encode-1.5.0.5-12
haskell-utf8-string-1.0.1.1-12 haskell-uuid-types-1.0.3-19 haskell-vector-0.12.0.2-9 haskell-zlib-0.6.2-7 agda-2.5.99.20190207-13

Total Download Size: 13.33 MiB
Total Installed Size: 345.55 MiB

:: Proceed with installation? [Y/n]
:: Retrieving packages...
haskell-integer-logarithms-1.0.3-1-x86_64 23.4 KiB 898K/s 00:00 [#############################################################################] 100%
haskell-scientific-0.3.6.2-12-x86_64 86.8 KiB 2.49M/s 00:00 [#############################################################################] 100%
haskell-attoparsec-0.13.2.2-43-x86_64 305.3 KiB 2.64M/s 00:00 [#############################################################################] 100%
haskell-dlist-0.8.0.6-1-x86_64 25.6 KiB 6.26M/s 00:00 [#############################################################################] 100%
haskell-vector-0.12.0.2-9-x86_64 720.2 KiB 3.52M/s 00:00 [#############################################################################] 100%
haskell-aeson-1.4.2.0-17-x86_64 775.3 KiB 4.53M/s 00:00 [#############################################################################] 100%
haskell-blaze-markup-0.8.2.2-12-x86_64 70.9 KiB 9.89M/s 00:00 [#############################################################################] 100%
haskell-blaze-html-0.9.1.1-18-x86_64 533.5 KiB 5.79M/s 00:00 [#############################################################################] 100%
haskell-transformers-compat-0.6.4-1-x86_64 55.2 KiB 13.5M/s 00:00 [#############################################################################] 100%
haskell-equivalence-0.3.4-4-x86_64 56.4 KiB 9.18M/s 00:00 [#############################################################################] 100%
haskell-hashtables-1.2.3.1-15-x86_64 140.3 KiB 10.5M/s 00:00 [#############################################################################] 100%
agda-2.5.99.20190207-13-x86_64 10.6 MiB 7.98M/s 00:01 [#############################################################################] 100%
(49/49) checking keys in keyring [#############################################################################] 100%
(49/49) checking package integrity [#############################################################################] 100%
(49/49) loading package files [#############################################################################] 100%
(49/49) checking for file conflicts [#############################################################################] 100%
:: Processing package changes...
( 1/49) installing ghc-libs [#############################################################################] 100%
( 2/49) installing haskell-hashable [#############################################################################] 100%
( 3/49) installing haskell-integer-logarithms [#############################################################################] 100%
( 4/49) installing haskell-primitive [#############################################################################] 100%
( 5/49) installing haskell-scientific [#############################################################################] 100%
( 6/49) installing haskell-attoparsec [#############################################################################] 100%
( 7/49) installing haskell-base-compat [#############################################################################] 100%
( 8/49) installing haskell-dlist [#############################################################################] 100%
( 9/49) installing haskell-tagged [#############################################################################] 100%
(10/49) installing haskell-th-abstraction [#############################################################################] 100%
(11/49) installing haskell-time-locale-compat [#############################################################################] 100%
(12/49) installing haskell-unordered-containers [#############################################################################] 100%
(13/49) installing haskell-random [#############################################################################] 100%
(14/49) installing haskell-uuid-types [#############################################################################] 100%
(15/49) installing haskell-vector [#############################################################################] 100%
(16/49) installing haskell-aeson [#############################################################################] 100%
(17/49) installing haskell-async [#############################################################################] 100%
(18/49) installing haskell-blaze-builder [#############################################################################] 100%
(19/49) installing haskell-blaze-markup [#############################################################################] 100%
(20/49) installing haskell-blaze-html [#############################################################################] 100%
(21/49) installing haskell-split [#############################################################################] 100%
(22/49) installing haskell-boxes [#############################################################################] 100%
(23/49) installing haskell-old-locale [#############################################################################] 100%
(24/49) installing haskell-old-time [#############################################################################] 100%
(25/49) installing haskell-polyparse [#############################################################################] 100%
(26/49) installing haskell-cpphs [#############################################################################] 100%
(27/49) installing haskell-data-hash [#############################################################################] 100%
(28/49) installing haskell-edisonapi [#############################################################################] 100%
(29/49) installing haskell-erf [#############################################################################] 100%
(30/49) installing haskell-tf-random [#############################################################################] 100%
(31/49) installing haskell-quickcheck [#############################################################################] 100%
(32/49) installing haskell-edisoncore [#############################################################################] 100%
(33/49) installing haskell-edit-distance [#############################################################################] 100%
(34/49) installing haskell-stmonadtrans [#############################################################################] 100%
(35/49) installing haskell-transformers-compat [#############################################################################] 100%
(36/49) installing haskell-equivalence [#############################################################################] 100%
(37/49) installing haskell-geniplate-mirror [#############################################################################] 100%
(38/49) installing haskell-gitrev [#############################################################################] 100%
(39/49) installing haskell-hashtables [#############################################################################] 100%
(40/49) installing haskell-ieee754 [#############################################################################] 100%
(41/49) installing haskell-murmur-hash [#############################################################################] 100%
(42/49) installing haskell-regex-base [#############################################################################] 100%
(43/49) installing haskell-regex-tdfa [#############################################################################] 100%
(44/49) installing haskell-strict [#############################################################################] 100%
(45/49) installing haskell-network-uri [#############################################################################] 100%
(46/49) installing haskell-utf8-string [#############################################################################] 100%
(47/49) installing haskell-uri-encode [#############################################################################] 100%
(48/49) installing haskell-zlib [#############################################################################] 100%
(49/49) installing agda [#############################################################################] 100%
Optional dependencies for agda
agda-stdlib: for standard library
:: Running post-transaction hooks...
(1/2) Registering Haskell modules...
(2/2) Arming ConditionNeedsUpdate...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (3) haskell-unix-compat-0.5.1-5 ghc-8.6.4-1 haskell-filemanip-0.3.6.3-20

Total Installed Size: 161.36 MiB

:: Proceed with installation? [Y/n]
(3/3) checking keys in keyring [#############################################################################] 100%
(3/3) checking package integrity [#############################################################################] 100%
(3/3) loading package files [#############################################################################] 100%
(3/3) checking for file conflicts [#############################################################################] 100%
:: Processing package changes...
(1/3) installing ghc [#############################################################################] 100%
(2/3) installing haskell-unix-compat [#############################################################################] 100%
(3/3) installing haskell-filemanip [#############################################################################] 100%
:: Running post-transaction hooks...
(1/2) Registering Haskell modules...
(2/2) Arming ConditionNeedsUpdate...
==> Retrieving sources...
-> Found agda-stdlib-0.17.tar.gz
-> Found standard-library.agda-lib
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Extracting agda-stdlib-0.17.tar.gz with bsdtar
==> Starting build()...
Configuring lib-0.17...
Preprocessing executable 'AllNonAsciiChars' for lib-0.17..
Building executable 'AllNonAsciiChars' for lib-0.17..
[1 of 1] Compiling Main ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.dyn_o )
Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ...
Preprocessing executable 'GenerateEverything' for lib-0.17..
Building executable 'GenerateEverything' for lib-0.17..
[1 of 1] Compiling Main ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.dyn_o )
Linking dist/build/GenerateEverything/GenerateEverything ...
Checking Everything (/build/agda-stdlib/src/agda-stdlib-0.17/Everything.agda).
Checking Algebra (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra.agda).
Checking Relation.Binary (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary.agda).
Checking Data.Product (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Product.agda).
Checking Function (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function.agda).
Checking Level (/build/agda-stdlib/src/agda-stdlib-0.17/src/Level.agda).
Checking Strict (/build/agda-stdlib/src/agda-stdlib-0.17/src/Strict.agda).
Checking Relation.Nullary (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Nullary.agda).
Checking Data.Empty (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Empty.agda).
Checking Data.Empty.Irrelevant (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Empty/Irrelevant.agda).
Checking Data.Sum (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Sum.agda).
Checking Data.Unit.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Unit/Base.agda).
Checking Data.Maybe.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Maybe/Base.agda).
Checking Data.Bool.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bool/Base.agda).
Checking Relation.Binary.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Core.agda).
Checking Data.Sum.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Sum/Base.agda).
Checking Relation.Binary.PropositionalEquality.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality/Core.agda).
Checking Data.These (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/These.agda).
Checking Relation.Binary.Consequences (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Consequences.agda).
Checking Relation.Unary (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Unary.agda).
Checking Algebra.FunctionProperties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/FunctionProperties.agda).
Checking Algebra.FunctionProperties.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/FunctionProperties/Core.agda).
Checking Algebra.Structures (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Structures.agda).
Checking Algebra.FunctionProperties.Consequences (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/FunctionProperties/Consequences.agda).
Checking Relation.Binary.EqReasoning (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/EqReasoning.agda).
Checking Relation.Binary.PreorderReasoning (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/PreorderReasoning.agda).
Checking Relation.Binary.PropositionalEquality (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality.agda).
Checking Function.Equality (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Equality.agda).
Checking Relation.Binary.Indexed.Heterogeneous (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous.agda).
Checking Relation.Binary.Indexed.Heterogeneous.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous/Core.agda).
Checking Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda).
Checking Relation.Binary.HeterogeneousEquality.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/HeterogeneousEquality/Core.agda).
Checking Algebra.Morphism (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Morphism.agda).
Checking Algebra.Properties.Group (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/Group.agda).
Checking Algebra.Operations.CommutativeMonoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Operations/CommutativeMonoid.agda).
Checking Data.Nat.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat/Base.agda).
Checking Data.List (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List.agda).
Checking Data.List.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Base.agda).
Checking Data.Fin (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Fin.agda).
Checking Data.Fin.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Fin/Base.agda).
Checking Data.Nat (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat.agda).
Checking Data.Nat.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat/Properties.agda).
Checking Function.Injection (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Injection.agda).
Checking Relation.Nullary.Decidable (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Nullary/Decidable.agda).
Checking Data.Unit (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Unit.agda).
Checking Function.Equivalence (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Equivalence.agda).
Checking Relation.Nullary.Negation (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Nullary/Negation.agda).
Checking Category.Monad (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad.agda).
Checking Category.Monad.Indexed (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad/Indexed.agda).
Checking Category.Applicative.Indexed (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Applicative/Indexed.agda).
Checking Category.Functor (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Functor.agda).
Checking Relation.Binary.PartialOrderReasoning (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/PartialOrderReasoning.agda).
Checking Data.Fin.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Fin/Properties.agda).
Checking Category.Applicative (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Applicative.agda).
Checking Relation.Unary.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Unary/Properties.agda).
Checking Relation.Nullary.Product (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Nullary/Product.agda).
Checking Relation.Nullary.Sum (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Nullary/Sum.agda).
Checking Data.Table.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Table/Base.agda).
Checking Data.Vec (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec.agda).
Checking Algebra.Operations.Semiring (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Operations/Semiring.agda).
Checking Algebra.Properties.AbelianGroup (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/AbelianGroup.agda).
Checking Algebra.Properties.BooleanAlgebra (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/BooleanAlgebra.agda).
Checking Algebra.Properties.DistributiveLattice (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/DistributiveLattice.agda).
Checking Algebra.Properties.Lattice (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/Lattice.agda).
Checking Relation.Binary.Lattice (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Lattice.agda).
Checking Algebra.Properties.BooleanAlgebra.Expression (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/BooleanAlgebra/Expression.agda).
Checking Data.Vec.Categorical (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec/Categorical.agda).
Checking Function.Identity.Categorical (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Identity/Categorical.agda).
Checking Category.Comonad (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Comonad.agda).
Checking Data.Vec.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec/Properties.agda).
Checking Data.List.Any (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Any.agda).
Checking Data.List.Membership.Propositional (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Membership/Propositional.agda).
Checking Data.List.Membership.Setoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Membership/Setoid.agda).
Checking Function.Inverse (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Inverse.agda).
Checking Function.Bijection (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Bijection.agda).
Checking Function.Surjection (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Surjection.agda).
Checking Function.LeftInverse (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/LeftInverse.agda).
Checking Relation.Binary.HeterogeneousEquality (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/HeterogeneousEquality.agda).
Checking Data.Unit.NonEta (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Unit/NonEta.agda).
Checking Relation.Binary.Indexed.Heterogeneous.Construct.At (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda).
Checking Data.Vec.Relation.Pointwise.Extensional (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec/Relation/Pointwise/Extensional.agda).
Checking Data.Vec.Relation.Pointwise.Inductive (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec/Relation/Pointwise/Inductive.agda).
Checking Data.Vec.All (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec/All.agda).
Checking Relation.Binary.Construct.Closure.Transitive (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/Transitive.agda).
Checking Relation.Binary.Reflection (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Reflection.agda).
Checking Data.Vec.N-ary (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Vec/N-ary.agda).
Checking Algebra.Properties.CommutativeMonoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/CommutativeMonoid.agda).
Checking Algebra.Solver.CommutativeMonoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/CommutativeMonoid.agda).
Checking Data.Maybe (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Maybe.agda).
Checking Data.Nat.GeneralisedArithmetic (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat/GeneralisedArithmetic.agda).
Checking Data.Fin.Permutation (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Fin/Permutation.agda).
Checking Data.Fin.Permutation.Components (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Fin/Permutation/Components.agda).
Checking Data.Table (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Table.agda).
Checking Data.Bool (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bool.agda).
Checking Data.Table.Relation.Equality (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Table/Relation/Equality.agda).
Checking Data.Table.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Table/Properties.agda).
Checking Algebra.Properties.Ring (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Properties/Ring.agda).
Checking Algebra.Solver.CommutativeMonoid.Example (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/CommutativeMonoid/Example.agda).
Checking Data.Bool.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bool/Properties.agda).
Checking Algebra.Solver.IdempotentCommutativeMonoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/IdempotentCommutativeMonoid.agda).
Checking Algebra.Solver.IdempotentCommutativeMonoid.Example (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda).
Checking Algebra.Solver.Monoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/Monoid.agda).
Checking Data.List.Relation.Equality.DecPropositional (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Equality/DecPropositional.agda).
Checking Data.List.Relation.Equality.Propositional (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Equality/Propositional.agda).
Checking Data.List.Relation.Equality.Setoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Equality/Setoid.agda).
Checking Data.List.Relation.Pointwise (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Pointwise.agda).
Checking Data.List.Relation.Equality.DecSetoid (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Equality/DecSetoid.agda).
Checking Algebra.Solver.Ring (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/Ring.agda).
Checking Algebra.Solver.Ring.AlmostCommutativeRing (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda).
Checking Algebra.Solver.Ring.Lemmas (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/Ring/Lemmas.agda).
Checking Algebra.Solver.Ring.NaturalCoefficients (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/Ring/NaturalCoefficients.agda).
Checking Algebra.Solver.Ring.Simple (/build/agda-stdlib/src/agda-stdlib-0.17/src/Algebra/Solver/Ring/Simple.agda).
Checking Category.Applicative.Predicate (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Applicative/Predicate.agda).
Checking Category.Functor.Predicate (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Functor/Predicate.agda).
Checking Relation.Unary.PredicateTransformer (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Unary/PredicateTransformer.agda).
Checking Category.Monad.Continuation (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad/Continuation.agda).
Checking Category.Monad.Partiality (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad/Partiality.agda).
Checking Codata.Musical.Notation (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Notation.agda).
Checking Category.Monad.Partiality.All (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad/Partiality/All.agda).
Checking Category.Monad.Predicate (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad/Predicate.agda).
Checking Category.Monad.State (/build/agda-stdlib/src/agda-stdlib-0.17/src/Category/Monad/State.agda).
Checking Codata.Cofin (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Cofin.agda).
Checking Size (/build/agda-stdlib/src/agda-stdlib-0.17/src/Size.agda).
Checking Codata.Thunk (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Thunk.agda).
Checking Codata.Conat (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Conat.agda).
Checking Codata.Musical.Conat (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Conat.agda).
Checking Codata.Conat.Bisimilarity (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Conat/Bisimilarity.agda).
Checking Codata.Musical.Cofin (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Cofin.agda).
Checking Codata.Cofin.Literals (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Cofin/Literals.agda).
Checking Codata.Conat.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Conat/Properties.agda).
Checking Codata.Colist (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Colist.agda).
Checking Data.List.NonEmpty (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/NonEmpty.agda).
Checking Data.BoundedVec (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/BoundedVec.agda).
Checking Data.BoundedVec.Inefficient (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/BoundedVec/Inefficient.agda).
Checking Data.Nat.Solver (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat/Solver.agda).
Checking Codata.Delay (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Delay.agda).
Checking Codata.Stream (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Stream.agda).
Checking Codata.Musical.Stream (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Stream.agda).
Checking Codata.Musical.Colist (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Colist.agda).
Checking Relation.Binary.Construct.FromRel (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Construct/FromRel.agda).
Checking Codata.Colist.Bisimilarity (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Colist/Bisimilarity.agda).
Checking Codata.Colist.Categorical (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Colist/Categorical.agda).
Checking Codata.Colist.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Colist/Properties.agda).
Checking Codata.Conat.Literals (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Conat/Literals.agda).
Checking Codata.Covec (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Covec.agda).
Checking Codata.Musical.Covec (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Covec.agda).
Checking Codata.Covec.Bisimilarity (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Covec/Bisimilarity.agda).
Checking Codata.Covec.Categorical (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Covec/Categorical.agda).
Checking Codata.Covec.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Covec/Properties.agda).
Checking Codata.Delay.Bisimilarity (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Delay/Bisimilarity.agda).
Checking Codata.Delay.Categorical (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Delay/Categorical.agda).
Checking Codata.Delay.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Delay/Properties.agda).
Checking Codata.M (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/M.agda).
Checking Data.Container.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Container/Core.agda).
Checking Data.Container (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Container.agda).
Checking Codata.Musical.M (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/M.agda).
Checking Data.W (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/W.agda).
Checking Function.Related (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Related.agda).
Checking Codata.Musical.Colist.Infinite-merge (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Colist/Infinite-merge.agda).
Checking Data.Sum.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Sum/Properties.agda).
Checking Data.Sum.Relation.Pointwise (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Sum/Relation/Pointwise.agda).
Checking Data.Sum.Relation.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Sum/Relation/Core.agda).
Checking Function.Related.TypeIsomorphisms (/build/agda-stdlib/src/agda-stdlib-0.17/src/Function/Related/TypeIsomorphisms.agda).
Checking Data.Product.Relation.Pointwise.NonDependent (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Product/Relation/Pointwise/NonDependent.agda).
Checking Data.Product.Relation.Pointwise.Dependent (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Product/Relation/Pointwise/Dependent.agda).
Checking Induction.Nat (/build/agda-stdlib/src/agda-stdlib-0.17/src/Induction/Nat.agda).
Checking Induction (/build/agda-stdlib/src/agda-stdlib-0.17/src/Induction.agda).
Checking Induction.WellFounded (/build/agda-stdlib/src/agda-stdlib-0.17/src/Induction/WellFounded.agda).
Checking Codata.Musical.Costring (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/Costring.agda).
Checking Data.Char (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Char.agda).
Checking Relation.Binary.Construct.On (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/Construct/On.agda).
Checking Data.Char.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Char/Base.agda).
Checking Data.String.Base (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/String/Base.agda).
Checking Data.String (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/String.agda).
Checking Data.List.Relation.Lex.Strict (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Lex/Strict.agda).
Checking Data.List.Relation.Lex.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Relation/Lex/Core.agda).
Checking Codata.Musical.M.Indexed (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Musical/M/Indexed.agda).
Checking Data.Container.Indexed.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Container/Indexed/Core.agda).
Checking Codata.Stream.Bisimilarity (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Stream/Bisimilarity.agda).
Checking Codata.Stream.Categorical (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Stream/Categorical.agda).
Checking Codata.Stream.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Codata/Stream/Properties.agda).
Checking Data.AVL (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/AVL.agda).
Checking Data.DifferenceList (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/DifferenceList.agda).
Checking Data.AVL.Indexed (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/AVL/Indexed.agda).
Checking Data.AVL.Key (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/AVL/Key.agda).
Checking Data.AVL.Height (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/AVL/Height.agda).
Checking Data.AVL.IndexedMap (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/AVL/IndexedMap.agda).
Checking Data.AVL.Sets (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/AVL/Sets.agda).
Checking Data.Bin (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bin.agda).
Checking Data.Digit (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Digit.agda).
Checking Data.Nat.DivMod (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat/DivMod.agda).
Checking Data.Nat.DivMod.Core (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Nat/DivMod/Core.agda).
Checking Data.Bin.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bin/Properties.agda).
Checking Data.List.Properties (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/Properties.agda).
Checking Data.List.All (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/List/All.agda).
Checking Data.Bool.Show (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bool/Show.agda).
Checking Data.Bool.Solver (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Bool/Solver.agda).
Checking Data.Char.Unsafe (/build/agda-stdlib/src/agda-stdlib-0.17/src/Data/Char/Unsafe.agda).
Checking Relation.Binary.PropositionalEquality.TrustMe (/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality/TrustMe.agda).
Checking Agda.Builtin.Equality.Erase (/usr/share/agda/lib/prim/Agda/Builtin/Equality/Erase.agda).
Failed to write interface /usr/share/agda/lib/prim/Agda/Builtin/Equality/Erase.agdai.
/build/agda-stdlib/src/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality/TrustMe.agda:11,1-33
/usr/share/agda/lib/prim/Agda/Builtin/Equality/Erase.agdai:
openBinaryFile: permission denied (Permission denied)
==> ERROR: A failure occurred in build().
Aborting...
==> ERROR: Build failed, check /home/sean/software/agda-stdlib/repos/community-x86_64/sean/build