format = 1
pkgname = agda-stdlib
pkgbase = agda-stdlib
pkgver = 0.17-1
pkgarch = x86_64
pkgbuild_sha256sum = b2dd125776894ce9a917a2eb45d29ef990292bc7459f77bbe427cd8f8e5bc4a9
packager = Felix Yan <felixonmars@archlinux.org>
builddate = 1543942341
builddir = /build
buildenv = !distcc
buildenv = color
buildenv = !ccache
buildenv = check
buildenv = !sign
options = strip
options = docs
options = !libtool
options = !staticlibs
options = emptydirs
options = zipman
options = purge
options = !optipng
options = !upx
options = !debug
installed = acl-2.2.53-1-x86_64
installed = agda-2.5.99.20181017-6-x86_64
installed = archlinux-keyring-20181128-1-any
installed = argon2-20171227-3-x86_64
installed = attr-2.4.48-1-x86_64
installed = audit-2.8.4-2-x86_64
installed = autoconf-2.69-5-any
installed = automake-1.16.1-1-any
installed = bash-4.4.023-1-x86_64
installed = binutils-2.31.1-3-x86_64
installed = bison-3.2-1-x86_64
installed = bzip2-1.0.6-8-x86_64
installed = ca-certificates-20181109-1-any
installed = ca-certificates-mozilla-3.40-2-x86_64
installed = ca-certificates-utils-20181109-1-any
installed = coreutils-8.30-1-x86_64
installed = cracklib-2.9.6-3-x86_64
installed = cryptsetup-2.0.5-1-x86_64
installed = curl-7.62.0-1-x86_64
installed = db-5.3.28-4-x86_64
installed = dbus-1.12.10-2-x86_64
installed = device-mapper-2.02.182-1-x86_64
installed = diffutils-3.6-2-x86_64
installed = e2fsprogs-1.44.4-1-x86_64
installed = expat-2.2.6-1-x86_64
installed = fakeroot-1.23-1-x86_64
installed = file-5.35-1-x86_64
installed = filesystem-2018.8-1-x86_64
installed = findutils-4.6.0-4-x86_64
installed = flex-2.6.4-2-x86_64
installed = gawk-4.2.1-1-x86_64
installed = gc-7.6.8-1-x86_64
installed = gcc-8.2.1+20180831-1-x86_64
installed = gcc-libs-8.2.1+20180831-1-x86_64
installed = gdbm-1.18.1-1-x86_64
installed = gettext-0.19.8.1-3-x86_64
installed = ghc-8.6.2-1-x86_64
installed = ghc-libs-8.6.2-1-x86_64
installed = glib2-2.58.1+67+g17519e039-1-x86_64
installed = glibc-2.28-5-x86_64
installed = gmp-6.1.2-2-x86_64
installed = gnupg-2.2.11-1-x86_64
installed = gnutls-3.5.19-2-x86_64
installed = gpgme-1.12.0-1-x86_64
installed = grep-3.1-2-x86_64
installed = groff-1.22.3-8-x86_64
installed = guile-2.2.4-1-x86_64
installed = gzip-1.9-2-x86_64
installed = haskell-aeson-1.4.2.0-1-x86_64
installed = haskell-async-2.2.1-4-x86_64
installed = haskell-attoparsec-0.13.2.2-33-x86_64
installed = haskell-base-compat-0.10.5-2-x86_64
installed = haskell-blaze-builder-0.4.1.0-5-x86_64
installed = haskell-blaze-html-0.9.1.1-12-x86_64
installed = haskell-blaze-markup-0.8.2.2-6-x86_64
installed = haskell-boxes-0.1.5-6-x86_64
installed = haskell-cpphs-1.20.8-12-x86_64
installed = haskell-data-hash-0.2.0.1-10-x86_64
installed = haskell-dlist-0.8.0.5-3-x86_64
installed = haskell-edisonapi-1.3.1-10-x86_64
installed = haskell-edisoncore-1.3.2.1-8-x86_64
installed = haskell-edit-distance-0.2.2.1-11-x86_64
installed = haskell-equivalence-0.3.3-3-x86_64
installed = haskell-filemanip-0.3.6.3-18-x86_64
installed = haskell-geniplate-mirror-0.7.6-6-x86_64
installed = haskell-gitrev-1.3.1-11-x86_64
installed = haskell-hashable-1.2.7.0-5-x86_64
installed = haskell-hashtables-1.2.3.1-6-x86_64
installed = haskell-ieee754-0.8.0-9-x86_64
installed = haskell-integer-logarithms-1.0.2.2-3-x86_64
installed = haskell-murmur-hash-0.1.0.9-9-x86_64
installed = haskell-network-uri-2.6.1.0-15-x86_64
installed = haskell-old-locale-1.0.0.7-16-x86_64
installed = haskell-old-time-1.1.0.3-16-x86_64
installed = haskell-polyparse-1.12.1-2-x86_64
installed = haskell-primitive-0.6.4.0-3-x86_64
installed = haskell-quickcheck-2.11.3-6-x86_64
installed = haskell-random-1.1-14-x86_64
installed = haskell-regex-base-0.93.2-35-x86_64
installed = haskell-regex-tdfa-1.2.3.1-3-x86_64
installed = haskell-scientific-0.3.6.2-9-x86_64
installed = haskell-split-0.2.3.3-7-x86_64
installed = haskell-stmonadtrans-0.4.3-10-x86_64
installed = haskell-strict-0.3.2-10-x86_64
installed = haskell-tagged-0.8.6-3-x86_64
installed = haskell-tf-random-0.5-21-x86_64
installed = haskell-th-abstraction-0.2.8.0-3-x86_64
installed = haskell-time-locale-compat-0.1.1.5-3-x86_64
installed = haskell-transformers-compat-0.6.2-4-x86_64
installed = haskell-unix-compat-0.5.1-3-x86_64
installed = haskell-unordered-containers-0.2.9.0-14-x86_64
installed = haskell-uri-encode-1.5.0.5-10-x86_64
installed = haskell-utf8-string-1.0.1.1-10-x86_64
installed = haskell-uuid-types-1.0.3-17-x86_64
installed = haskell-vector-0.12.0.1-12-x86_64
installed = haskell-zlib-0.6.2-5-x86_64
installed = hwids-20180917-1-any
installed = iana-etc-20180913-1-any
installed = icu-63.1-2-x86_64
installed = iptables-1:1.8.2-1-x86_64
installed = json-c-0.13.1-2-x86_64
installed = kbd-2.0.4-2-x86_64
installed = keyutils-1.6-1-x86_64
installed = kmod-25-1-x86_64
installed = krb5-1.16.1-1-x86_64
installed = less-530-1-x86_64
installed = libarchive-3.3.3-1-x86_64
installed = libassuan-2.5.1-1-x86_64
installed = libatomic_ops-7.6.6-1-x86_64
installed = libcap-2.26-1-x86_64
installed = libcap-ng-0.7.9-1-x86_64
installed = libcroco-0.6.12+4+g9ad7287-2-x86_64
installed = libelf-0.174-1-x86_64
installed = libffi-3.2.1-3-x86_64
installed = libgcrypt-1.8.4-1-x86_64
installed = libgpg-error-1.32-1-x86_64
installed = libidn2-2.0.5-1-x86_64
installed = libksba-1.3.5-1-x86_64
installed = libldap-2.4.46-2-x86_64
installed = libmnl-1.0.4-2-x86_64
installed = libmpc-1.1.0-1-x86_64
installed = libnetfilter_conntrack-1.0.7-1-x86_64
installed = libnfnetlink-1.0.1-3-x86_64
installed = libnftnl-1.1.1-1-x86_64
installed = libnghttp2-1.34.0-1-x86_64
installed = libnl-3.4.0-1-x86_64
installed = libpcap-1.9.0-1-x86_64
installed = libpsl-0.20.2-1-x86_64
installed = libsasl-2.1.26-13-x86_64
installed = libseccomp-2.3.3-1-x86_64
installed = libsecret-0.18.6-1-x86_64
installed = libssh2-1.8.0-3-x86_64
installed = libsystemd-239.303-1-x86_64
installed = libtasn1-4.13-1-x86_64
installed = libtirpc-1.1.4-1-x86_64
installed = libtool-2.4.6+42+gb88cebd5-2-x86_64
installed = libunistring-0.9.10-1-x86_64
installed = libusb-1.0.22-1-x86_64
installed = libutil-linux-2.33-2-x86_64
installed = libxml2-2.9.8-6-x86_64
installed = linux-api-headers-4.17.11-1-any
installed = lz4-1:1.8.3-1-x86_64
installed = m4-1.4.18-2-x86_64
installed = make-4.2.1-3-x86_64
installed = mpfr-4.0.1-1-x86_64
installed = ncurses-6.1-4-x86_64
installed = nettle-3.4-1-x86_64
installed = npth-1.6-1-x86_64
installed = openssl-1.1.1.a-1-x86_64
installed = p11-kit-0.23.14-1-x86_64
installed = pacman-5.1.1-1-x86_64
installed = pacman-mirrorlist-20180912-1-any
installed = pam-1.3.1-1-x86_64
installed = pambase-20171006-1-any
installed = patch-2.7.6-7-x86_64
installed = pcre-8.42-1-x86_64
installed = pcre2-10.32-1-x86_64
installed = perl-5.28.0-1-x86_64
installed = pinentry-1.1.0-4-x86_64
installed = pkgconf-1.5.4-1-x86_64
installed = popt-1.16-10-x86_64
installed = readline-7.0.005-1-x86_64
installed = sed-4.5-1-x86_64
installed = shadow-4.6-1-x86_64
installed = sqlite-3.26.0-1-x86_64
installed = sudo-1.8.26-2-x86_64
installed = systemd-239.303-1-x86_64
installed = tar-1.30-2-x86_64
installed = texinfo-6.5-2-x86_64
installed = tzdata-2018g-1-x86_64
installed = util-linux-2.33-2-x86_64
installed = which-2.21-3-x86_64
installed = xz-5.2.4-1-x86_64
installed = zlib-1:1.2.11-3-x86_64
installed = zstd-1.3.7-1-x86_64
