format = 1
pkgname = idris
pkgbase = idris
pkgver = 1.3.0-12
pkgarch = armv7h
pkgbuild_sha256sum = b848da0d8be2d9e6e154ed22ff7dc867b42683e2eeed406542925f3a49ea0d81
packager = Arch Linux ARM Build System <builder+xu5@archlinuxarm.org>
builddate = 1529028995
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 = !upx
options = !debug
installed = acl-2.2.52-4-armv7h
installed = archlinuxarm-keyring-20140119-1-any
installed = argon2-20171227-3-armv7h
installed = attr-2.4.47-3-armv7h
installed = autoconf-2.69-4-any
installed = automake-1.15.1-1-any
installed = bash-4.4.023-1-armv7h
installed = binutils-2.30-4-armv7h
installed = bison-3.0.5-1-armv7h
installed = bzip2-1.0.6-7-armv7h
installed = c-ares-1.14.0-1-armv7h
installed = ca-certificates-20170307-1-any
installed = ca-certificates-cacert-20140824-4-any
installed = ca-certificates-mozilla-3.37.3-1-armv7h
installed = ca-certificates-utils-20170307-1-any
installed = coreutils-8.29-1-armv7h
installed = cracklib-2.9.6-1-armv7h
installed = cryptsetup-2.0.3-2-armv7h
installed = curl-7.60.0-1-armv7h
installed = db-5.3.28-4-armv7h
installed = dbus-1.12.8-1-armv7h
installed = device-mapper-2.02.177-5-armv7h
installed = diffutils-3.6-1-armv7h
installed = distcc-3.3-2-armv7h
installed = e2fsprogs-1.44.2-1-armv7h
installed = expat-2.2.5-1-armv7h
installed = fakeroot-1.22-1-armv7h
installed = file-5.33-3-armv7h
installed = filesystem-2018.1-2-armv7h
installed = findutils-4.6.0-2-armv7h
installed = flex-2.6.4-1-armv7h
installed = gawk-4.2.1-1-armv7h
installed = gc-7.6.4-1-armv7h
installed = gcc-8.1.0-1-armv7h
installed = gcc-libs-8.1.0-1-armv7h
installed = gdbm-1.14.1-1-armv7h
installed = gettext-0.19.8.1-2-armv7h
installed = ghc-8.4.3-1-armv7h
installed = ghc-libs-8.4.3-1-armv7h
installed = glib2-2.56.1-1-armv7h
installed = glibc-2.27-3-armv7h
installed = gmp-6.1.2-1-armv7h
installed = gnupg-2.2.8-1-armv7h
installed = gnutls-3.5.18-1-armv7h
installed = gpgme-1.11.1-1-armv7h
installed = grep-3.1-1-armv7h
installed = groff-1.22.3-7-armv7h
installed = guile-2.2.3-1-armv7h
installed = gzip-1.9-1-armv7h
installed = haskell-aeson-1.3.1.1-13-armv7h
installed = haskell-annotated-wl-pprint-0.7.0-8-armv7h
installed = haskell-ansi-terminal-0.8.0.4-5-armv7h
installed = haskell-ansi-wl-pprint-0.6.8.2-8-armv7h
installed = haskell-appar-0.1.4-8-armv7h
installed = haskell-async-2.2.1-2-armv7h
installed = haskell-attoparsec-0.13.2.2-22-armv7h
installed = haskell-auto-update-0.1.4-8-armv7h
installed = haskell-base-compat-0.10.1-2-armv7h
installed = haskell-base-orphans-0.7-5-armv7h
installed = haskell-base64-bytestring-1.0.0.1-12-armv7h
installed = haskell-bifunctors-5.5.2-19-armv7h
installed = haskell-blaze-builder-0.4.1.0-3-armv7h
installed = haskell-blaze-html-0.9.1.1-1-armv7h
installed = haskell-blaze-markup-0.8.2.1-9-armv7h
installed = haskell-byteorder-1.0.4-8-armv7h
installed = haskell-case-insensitive-1.2.0.11-3-armv7h
installed = haskell-cheapskate-0.1.1-92-armv7h
installed = haskell-clock-0.7.2-8-armv7h
installed = haskell-code-page-0.1.3-7-armv7h
installed = haskell-colour-2.3.4-8-armv7h
installed = haskell-comonad-5.0.3-10-armv7h
installed = haskell-contravariant-1.4.1-6-armv7h
installed = haskell-cookie-0.4.4-3-armv7h
installed = haskell-css-text-0.1.3.0-20-armv7h
installed = haskell-data-default-0.7.1.1-14-armv7h
installed = haskell-data-default-class-0.1.2.0-8-armv7h
installed = haskell-data-default-instances-containers-0.0.1-20-armv7h
installed = haskell-data-default-instances-dlist-0.0.1-27-armv7h
installed = haskell-data-default-instances-old-locale-0.0.1-20-armv7h
installed = haskell-digest-0.0.1.2-9-armv7h
installed = haskell-distributive-0.5.3-11-armv7h
installed = haskell-dlist-0.8.0.4-5-armv7h
installed = haskell-easy-file-0.2.2-3-armv7h
installed = haskell-exceptions-0.10.0-4-armv7h
installed = haskell-fast-logger-2.4.11-6-armv7h
installed = haskell-fingertree-0.1.4.1-4-armv7h
installed = haskell-fsnotify-0.2.1.2-2-armv7h
installed = haskell-hashable-1.2.7.0-3-armv7h
installed = haskell-hinotify-0.3.10-2-armv7h
installed = haskell-http-types-0.12.1-9-armv7h
installed = haskell-ieee754-0.8.0-7-armv7h
installed = haskell-integer-logarithms-1.0.2.1-3-armv7h
installed = haskell-iproute-1.7.5-12-armv7h
installed = haskell-libffi-0.1-8-armv7h
installed = haskell-lifted-base-0.2.3.12-7-armv7h
installed = haskell-megaparsec-6.5.0-12-armv7h
installed = haskell-monad-control-1.0.2.3-7-armv7h
installed = haskell-network-2.7.0.0-1-armv7h
installed = haskell-network-uri-2.6.1.0-13-armv7h
installed = haskell-old-locale-1.0.0.7-14-armv7h
installed = haskell-old-time-1.1.0.3-14-armv7h
installed = haskell-optparse-applicative-0.14.2.0-7-armv7h
installed = haskell-parser-combinators-1.0.0-2-armv7h
installed = haskell-primitive-0.6.4.0-1-armv7h
installed = haskell-random-1.1-12-armv7h
installed = haskell-reducers-3.12.2-34-armv7h
installed = haskell-regex-base-0.93.2-33-armv7h
installed = haskell-regex-tdfa-1.2.3-3-armv7h
installed = haskell-resourcet-1.2.1-10-armv7h
installed = haskell-safe-0.3.17-2-armv7h
installed = haskell-scientific-0.3.6.2-6-armv7h
installed = haskell-semigroupoids-5.2.2-27-armv7h
installed = haskell-split-0.2.3.3-5-armv7h
installed = haskell-statevar-1.1.1.0-3-armv7h
installed = haskell-streaming-commons-0.2.0.0-10-armv7h
installed = haskell-stringsearch-0.3.6.6-8-armv7h
installed = haskell-syb-0.7-6-armv7h
installed = haskell-tagged-0.8.5-8-armv7h
installed = haskell-tagsoup-0.14.6-5-armv7h
installed = haskell-tasty-1.1.0.1-1-armv7h
installed = haskell-tasty-golden-2.3.1.3-14-armv7h
installed = haskell-tasty-rerun-1.1.12-12-armv7h
installed = haskell-temporary-1.3-4-armv7h
installed = haskell-terminal-size-0.3.2.1-8-armv7h
installed = haskell-th-abstraction-0.2.6.0-5-armv7h
installed = haskell-time-locale-compat-0.1.1.4-3-armv7h
installed = haskell-transformers-base-0.4.5.2-5-armv7h
installed = haskell-transformers-compat-0.6.2-2-armv7h
installed = haskell-unbounded-delays-0.1.1.0-7-armv7h
installed = haskell-uniplate-1.6.12-28-armv7h
installed = haskell-unix-compat-0.5.0.1-3-armv7h
installed = haskell-unix-time-0.3.8-3-armv7h
installed = haskell-unliftio-core-0.1.1.0-3-armv7h
installed = haskell-unordered-containers-0.2.9.0-8-armv7h
installed = haskell-utf8-string-1.0.1.1-8-armv7h
installed = haskell-uuid-types-1.0.3-15-armv7h
installed = haskell-vault-0.3.1.1-3-armv7h
installed = haskell-vector-0.12.0.1-10-armv7h
installed = haskell-vector-binary-instances-0.2.4-5-armv7h
installed = haskell-void-0.7.2-9-armv7h
installed = haskell-wai-3.2.1.2-18-armv7h
installed = haskell-wai-extra-3.0.22.1-13-armv7h
installed = haskell-wai-logger-2.3.2-64-armv7h
installed = haskell-word8-0.1.3-6-armv7h
installed = haskell-xss-sanitize-0.3.5.7-55-armv7h
installed = haskell-zip-archive-0.3.2.5-4-armv7h
installed = haskell-zlib-0.6.2-3-armv7h
installed = http-parser-2.8.1-1-armv7h
installed = hwids-20171003-1-any
installed = iana-etc-20180221-1-any
installed = icu-61.1-1-armv7h
installed = iptables-1.6.2-2-armv7h
installed = json-c-0.13.1-1-armv7h
installed = kbd-2.0.4-1-armv7h
installed = keyutils-1.5.10-2-armv7h
installed = kmod-25-1-armv7h
installed = krb5-1.16.1-1-armv7h
installed = less-530-1-armv7h
installed = libarchive-3.3.2-2-armv7h
installed = libassuan-2.5.1-1-armv7h
installed = libatomic_ops-7.6.4-1-armv7h
installed = libcap-2.25-1-armv7h
installed = libcap-ng-0.7.9-1-armv7h
installed = libedit-20170329_3.1-1-armv7h
installed = libelf-0.171-1-armv7h
installed = libffi-3.2.1-2-armv7h
installed = libgcrypt-1.8.3-1-armv7h
installed = libgpg-error-1.31-1-armv7h
installed = libidn-1.34-2-armv7h
installed = libidn2-2.0.5-1-armv7h
installed = libksba-1.3.5-1-armv7h
installed = libldap-2.4.46-1-armv7h
installed = libmnl-1.0.4-1-armv7h
installed = libmpc-1.1.0-1-armv7h
installed = libnftnl-1.1.0-1-armv7h
installed = libnghttp2-1.31.1-1-armv7h
installed = libnl-3.4.0-1-armv7h
installed = libnsl-1.2.0-1-armv7h
installed = libpcap-1.8.1-2-armv7h
installed = libpsl-0.20.2-1-armv7h
installed = libsasl-2.1.26-12-armv7h
installed = libseccomp-2.3.2-2-armv7h
installed = libsecret-0.18.6-1-armv7h
installed = libssh2-1.8.0-2-armv7h
installed = libsystemd-238.133-4-armv7h
installed = libtasn1-4.13-1-armv7h
installed = libtirpc-1.0.3-2-armv7h
installed = libtool-2.4.6+40+g6ca5e224-6-armv7h
installed = libunistring-0.9.10-1-armv7h
installed = libusb-1.0.22-1-armv7h
installed = libutil-linux-2.32-3-armv7h
installed = libuv-1.20.3-1-armv7h
installed = linux-api-headers-4.16.1-1-any
installed = llvm50-5.0.2-2-armv7h
installed = llvm50-libs-5.0.2-2-armv7h
installed = lz4-1:1.8.2-2-armv7h
installed = m4-1.4.18-1-armv7h
installed = make-4.2.1-2-armv7h
installed = mpfr-4.0.1-1-armv7h
installed = ncurses-6.1-3-armv7h
installed = nettle-3.4-1-armv7h
installed = nodejs-10.4.1-1-armv7h
installed = npth-1.5-1-armv7h
installed = openssl-1.1.0.h-1-armv7h
installed = p11-kit-0.23.12-1-armv7h
installed = pacman-5.1.0-2-armv7h
installed = pacman-mirrorlist-20180323-1-any
installed = pam-1.3.0-2-armv7h
installed = pambase-20171006-1-any
installed = patch-2.7.6-1-armv7h
installed = pcre-8.42-1-armv7h
installed = pcre2-10.31-1-armv7h
installed = perl-5.26.2-1-armv7h
installed = pinentry-1.1.0-3-armv7h
installed = pkgconf-1.4.2-2-armv7h
installed = popt-1.16-9-armv7h
installed = readline-7.0.005-1-armv7h
installed = sed-4.5-1-armv7h
installed = shadow-4.5-4-armv7h
installed = sqlite-3.24.0-1-armv7h
installed = sudo-1.8.23-2-armv7h
installed = systemd-238.133-4-armv7h
installed = tar-1.30-1-armv7h
installed = texinfo-6.5-1-armv7h
installed = tzdata-2018e-1-any
installed = util-linux-2.32-3-armv7h
installed = which-2.21-2-armv7h
installed = xz-5.2.4-1-armv7h
installed = zlib-1:1.2.11-2-armv7h
