format = 2
pkgname = agda-stdlib
pkgbase = agda-stdlib
pkgver = 1.7-1
pkgarch = x86_64
pkgbuild_sha256sum = 9bb92420c8f32e1b2be898776639f7fc5d1d13c94337ce4b25797c3d7b0a23f1
packager = Felix Yan <felixonmars@archlinux.org>
builddate = 1624526097
builddir = /build
startdir = /startdir
buildtool = makepkg
buildtoolver = 6.0.0
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 = !debug
installed = acl-2.3.1-1-x86_64
installed = agda-2.6.2-1-x86_64
installed = archlinux-keyring-20210616-1-any
installed = attr-2.5.1-1-x86_64
installed = audit-3.0.2-1-x86_64
installed = autoconf-2.71-1-any
installed = automake-1.16.3-1-any
installed = bash-5.1.008-1-x86_64
installed = binutils-2.36.1-3-x86_64
installed = bison-3.7.6-1-x86_64
installed = bzip2-1.0.8-4-x86_64
installed = ca-certificates-20210603-1-any
installed = ca-certificates-mozilla-3.67-1-x86_64
installed = ca-certificates-utils-20210603-1-any
installed = coreutils-8.32-1-x86_64
installed = curl-7.77.0-1-x86_64
installed = db-5.3.28-5-x86_64
installed = diffutils-3.7-3-x86_64
installed = e2fsprogs-1.46.2-1-x86_64
installed = elfutils-0.185-1-x86_64
installed = expat-2.4.1-1-x86_64
installed = fakeroot-1.25.3-2-x86_64
installed = file-5.40-5-x86_64
installed = filesystem-2021.05.31-1-x86_64
installed = findutils-4.8.0-1-x86_64
installed = flex-2.6.4-3-x86_64
installed = gawk-5.1.0-1-x86_64
installed = gc-8.0.4-4-x86_64
installed = gcc-11.1.0-1-x86_64
installed = gcc-libs-11.1.0-1-x86_64
installed = gdbm-1.19-2-x86_64
installed = gettext-0.21-1-x86_64
installed = ghc-8.10.5-1-x86_64
installed = ghc-libs-8.10.5-1-x86_64
installed = glib2-2.68.3-1-x86_64
installed = glibc-2.33-5-x86_64
installed = gmp-6.2.1-1-x86_64
installed = gnupg-2.2.28-2-x86_64
installed = gnutls-3.7.2-2-x86_64
installed = gpgme-1.15.1-1-x86_64
installed = grep-3.6-1-x86_64
installed = groff-1.22.4-6-x86_64
installed = guile-2.2.7-1-x86_64
installed = gzip-1.10-3-x86_64
installed = haskell-aeson-1.5.6.0-32-x86_64
installed = haskell-assoc-1.0.2-85-x86_64
installed = haskell-async-2.2.3-47-x86_64
installed = haskell-attoparsec-0.14.1-16-x86_64
installed = haskell-base-compat-0.11.2-5-x86_64
installed = haskell-base-compat-batteries-0.11.2-124-x86_64
installed = haskell-base-orphans-0.8.4-111-x86_64
installed = haskell-bifunctors-5.5.11-10-x86_64
installed = haskell-blaze-builder-0.4.2.1-3-x86_64
installed = haskell-blaze-html-0.9.1.2-116-x86_64
installed = haskell-blaze-markup-0.8.2.8-22-x86_64
installed = haskell-boxes-0.1.5-129-x86_64
installed = haskell-case-insensitive-1.2.1.0-96-x86_64
installed = haskell-comonad-5.0.8-89-x86_64
installed = haskell-cpphs-1.20.9.1-8-x86_64
installed = haskell-data-fix-0.3.1-32-x86_64
installed = haskell-data-hash-0.2.0.1-22-x86_64
installed = haskell-distributive-0.6.2.1-93-x86_64
installed = haskell-dlist-1.0-89-x86_64
installed = haskell-edit-distance-0.2.2.1-100-x86_64
installed = haskell-equivalence-0.3.5-111-x86_64
installed = haskell-filemanip-0.3.6.3-32-x86_64
installed = haskell-gitrev-1.3.1-26-x86_64
installed = haskell-hashable-1.3.2.0-11-x86_64
installed = haskell-hashtables-1.2.4.1-71-x86_64
installed = haskell-indexed-traversable-0.1.1-4-x86_64
installed = haskell-integer-logarithms-1.0.3.1-4-x86_64
installed = haskell-monad-control-1.0.2.3-157-x86_64
installed = haskell-murmur-hash-0.1.0.9-21-x86_64
installed = haskell-network-uri-2.6.4.1-26-x86_64
installed = haskell-old-locale-1.0.0.7-28-x86_64
installed = haskell-old-time-1.1.0.3-28-x86_64
installed = haskell-parallel-3.2.2.0-15-x86_64
installed = haskell-polyparse-1.13-9-x86_64
installed = haskell-primitive-0.7.1.0-139-x86_64
installed = haskell-random-1.2.0-233-x86_64
installed = haskell-regex-base-0.94.0.1-2-x86_64
installed = haskell-regex-tdfa-1.3.1.1-3-x86_64
installed = haskell-scientific-0.3.7.0-6-x86_64
installed = haskell-split-0.2.3.4-138-x86_64
installed = haskell-splitmix-0.1.0.3-119-x86_64
installed = haskell-stmonadtrans-0.4.5-49-x86_64
installed = haskell-strict-0.4.0.1-59-x86_64
installed = haskell-tagged-0.8.6.1-3-x86_64
installed = haskell-th-abstraction-0.4.2.0-3-x86_64
installed = haskell-th-compat-0.1.2-19-x86_64
installed = haskell-these-1.1.1.1-86-x86_64
installed = haskell-time-compat-1.9.6-6-x86_64
installed = haskell-transformers-base-0.4.5.2-155-x86_64
installed = haskell-transformers-compat-0.6.6-4-x86_64
installed = haskell-unix-compat-0.5.3-3-x86_64
installed = haskell-unordered-containers-0.2.14.0-6-x86_64
installed = haskell-uri-encode-1.5.0.7-101-x86_64
installed = haskell-utf8-string-1.0.2-43-x86_64
installed = haskell-uuid-types-1.0.5-10-x86_64
installed = haskell-vector-0.12.3.0-23-x86_64
installed = haskell-zlib-0.6.2.3-26-x86_64
installed = iana-etc-20210202-1-any
installed = icu-69.1-1-x86_64
installed = keyutils-1.6.3-1-x86_64
installed = krb5-1.19.1-1-x86_64
installed = less-1:581.2-1-x86_64
installed = libarchive-3.5.1-1-x86_64
installed = libassuan-2.5.5-1-x86_64
installed = libcap-2.50-2-x86_64
installed = libcap-ng-0.8.2-1-x86_64
installed = libcroco-0.6.13-2-x86_64
installed = libelf-0.185-1-x86_64
installed = libffi-3.3-4-x86_64
installed = libgcrypt-1.9.3-1-x86_64
installed = libgpg-error-1.42-1-x86_64
installed = libidn2-2.3.1-1-x86_64
installed = libksba-1.4.0-2-x86_64
installed = libldap-2.4.59-1-x86_64
installed = libmpc-1.2.1-1-x86_64
installed = libnghttp2-1.43.0-1-x86_64
installed = libp11-kit-0.24.0-1-x86_64
installed = libpsl-0.21.1-1-x86_64
installed = libsasl-2.1.27-3-x86_64
installed = libseccomp-2.5.1-2-x86_64
installed = libsecret-0.20.4-1-x86_64
installed = libssh2-1.9.0-3-x86_64
installed = libtasn1-4.17.0-1-x86_64
installed = libtirpc-1.3.2-1-x86_64
installed = libtool-2.4.6+42+gb88cebd5-16-x86_64
installed = libunistring-0.9.10-3-x86_64
installed = libxcrypt-4.4.23-1-x86_64
installed = libxml2-2.9.10-9-x86_64
installed = linux-api-headers-5.12.3-1-any
installed = lz4-1:1.9.3-2-x86_64
installed = m4-1.4.19-1-x86_64
installed = make-4.3-3-x86_64
installed = mpfr-4.1.0-2-x86_64
installed = ncurses-6.2-2-x86_64
installed = nettle-3.7.3-1-x86_64
installed = npth-1.6-3-x86_64
installed = openssl-1.1.1.k-1-x86_64
installed = p11-kit-0.24.0-1-x86_64
installed = pacman-6.0.0-3-x86_64
installed = pacman-mirrorlist-20210509-1-any
installed = pam-1.5.1-1-x86_64
installed = pambase-20210605-2-any
installed = patch-2.7.6-8-x86_64
installed = pcre-8.44-1-x86_64
installed = pcre2-10.37-1-x86_64
installed = perl-5.34.0-1-x86_64
installed = pinentry-1.1.1-1-x86_64
installed = pkgconf-1.7.3-1-x86_64
installed = readline-8.1.001-1-x86_64
installed = sed-4.8-1-x86_64
installed = shadow-4.8.1-4-x86_64
installed = sqlite-3.36.0-1-x86_64
installed = sudo-1.9.7.p1-1-x86_64
installed = systemd-libs-248.3-2-x86_64
installed = tar-1.34-1-x86_64
installed = texinfo-6.7-3-x86_64
installed = tzdata-2021a-1-x86_64
installed = util-linux-2.37-3-x86_64
installed = util-linux-libs-2.37-3-x86_64
installed = which-2.21-5-x86_64
installed = xz-5.2.5-1-x86_64
installed = zlib-1:1.2.11-4-x86_64
installed = zstd-1.5.0-1-x86_64
