format = 1
pkgname = tamarin-prover
pkgbase = tamarin-prover
pkgver = 1.4.0-98
pkgarch = armv7h
pkgbuild_sha256sum = 12248c8097879f0fbf2bca491b2342fe5d5d94442d2b3ece56a1a852b77eff8c
packager = Arch Linux ARM Build System <builder+xu1@archlinuxarm.org>
builddate = 1536889021
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.53-1-armv7h
installed = archlinuxarm-keyring-20140119-1-any
installed = argon2-20171227-3-armv7h
installed = attr-2.4.48-1-armv7h
installed = autoconf-2.69-4-any
installed = automake-1.15.1-1-any
installed = avahi-0.7+16+g1cc2b8e-2-armv7h
installed = bash-4.4.023-1-armv7h
installed = binutils-2.31.1-3-armv7h
installed = bison-3.0.5-1-armv7h
installed = boost-1.67.0-7-armv7h
installed = boost-libs-1.67.0-7-armv7h
installed = buddy-2.4-3-armv7h
installed = bzip2-1.0.6-8-armv7h
installed = ca-certificates-20180821-1-any
installed = ca-certificates-mozilla-3.39-1-armv7h
installed = ca-certificates-utils-20180821-1-any
installed = cairo-1.15.12-1-armv7h
installed = cln-1.3.4-3-armv7h
installed = coreutils-8.30-1-armv7h
installed = cracklib-2.9.6-1-armv7h
installed = cryptsetup-2.0.4-1-armv7h
installed = curl-7.61.1-1-armv7h
installed = cvc4-1.6-1-armv7h
installed = db-5.3.28-4-armv7h
installed = dbus-1.12.10-2-armv7h
installed = device-mapper-2.02.181-1-armv7h
installed = diffutils-3.6-1-armv7h
installed = distcc-3.3-3-armv7h
installed = e2fsprogs-1.44.4-1-armv7h
installed = expat-2.2.6-1-armv7h
installed = fakeroot-1.23-1-armv7h
installed = file-5.34-1-armv7h
installed = filesystem-2018.8-1-armv7h
installed = findutils-4.6.0-2-armv7h
installed = flex-2.6.4-1-armv7h
installed = fontconfig-2:2.13.0+15+gc60ed9e-1-armv7h
installed = freetype2-2.9.1-1-armv7h
installed = fribidi-1.0.5-1-armv7h
installed = gawk-4.2.1-1-armv7h
installed = gc-7.6.6-1-armv7h
installed = gcc-8.2.0-2-armv7h
installed = gcc-libs-8.2.0-2-armv7h
installed = gd-2.2.5-1-armv7h
installed = gdbm-1.17-1-armv7h
installed = gdk-pixbuf2-2.36.12-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 = ghostscript-9.24-6-armv7h
installed = giflib-5.1.4-1-armv7h
installed = glib2-2.58.0-1-armv7h
installed = glibc-2.28-4-armv7h
installed = gmp-6.1.2-1-armv7h
installed = gnupg-2.2.10-1-armv7h
installed = gnutls-3.5.19-1-armv7h
installed = gpgme-1.11.1-2-armv7h
installed = graphite-1:1.3.12-1-armv7h
installed = graphviz-2.40.1-13-armv7h
installed = grep-3.1-1-armv7h
installed = groff-1.22.3-7-armv7h
installed = gsfonts-20180524-1-any
installed = gts-0.7.6-5-armv7h
installed = guile-2.2.4-1-armv7h
installed = gzip-1.9-1-armv7h
installed = harfbuzz-1.9.0-1-armv7h
installed = haskell-aeson-1.4.0.0-5-armv7h
installed = haskell-aeson-pretty-0.8.7-33-armv7h
installed = haskell-ansi-terminal-0.8.0.4-6-armv7h
installed = haskell-ansi-wl-pprint-0.6.8.2-9-armv7h
installed = haskell-appar-0.1.4-8-armv7h
installed = haskell-async-2.2.1-2-armv7h
installed = haskell-attoparsec-0.13.2.2-27-armv7h
installed = haskell-auto-update-0.1.4-8-armv7h
installed = haskell-base-compat-0.10.4-1-armv7h
installed = haskell-base-orphans-0.8-7-armv7h
installed = haskell-base64-bytestring-1.0.0.1-12-armv7h
installed = haskell-basement-0.0.8-1-armv7h
installed = haskell-binary-orphans-0.1.8.0-55-armv7h
installed = haskell-blaze-builder-0.4.1.0-3-armv7h
installed = haskell-blaze-html-0.9.1.1-5-armv7h
installed = haskell-blaze-markup-0.8.2.1-13-armv7h
installed = haskell-bsb-http-chunked-0.0.0.2-3-armv7h
installed = haskell-byteable-0.1.1-9-armv7h
installed = haskell-byteorder-1.0.4-8-armv7h
installed = haskell-call-stack-0.1.0-7-armv7h
installed = haskell-case-insensitive-1.2.0.11-3-armv7h
installed = haskell-cereal-0.5.7.0-1-armv7h
installed = haskell-cipher-aes-0.2.11-64-armv7h
installed = haskell-clientsession-0.9.1.2-72-armv7h
installed = haskell-cmdargs-0.10.20-3-armv7h
installed = haskell-colour-2.3.4-10-armv7h
installed = haskell-conduit-1.3.0.3-33-armv7h
installed = haskell-conduit-extra-1.3.0-55-armv7h
installed = haskell-constraints-0.10.1-7-armv7h
installed = haskell-cookie-0.4.4-3-armv7h
installed = haskell-cprng-aes-0.6.1-67-armv7h
installed = haskell-crypto-api-0.13.3-8-armv7h
installed = haskell-crypto-cipher-types-0.0.9-64-armv7h
installed = haskell-crypto-random-0.0.9-68-armv7h
installed = haskell-cryptonite-0.25-18-armv7h
installed = haskell-cryptonite-conduit-0.2.2-110-armv7h
installed = haskell-css-text-0.1.3.0-25-armv7h
installed = haskell-data-default-0.7.1.1-15-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-28-armv7h
installed = haskell-data-default-instances-old-locale-0.0.1-20-armv7h
installed = haskell-dlist-0.8.0.5-1-armv7h
installed = haskell-easy-file-0.2.2-3-armv7h
installed = haskell-entropy-0.4.1.1-2-armv7h
installed = haskell-exceptions-0.10.0-5-armv7h
installed = haskell-fast-logger-2.4.11-6-armv7h
installed = haskell-fclabels-2.0.3.3-4-armv7h
installed = haskell-file-embed-0.0.11-1-armv7h
installed = haskell-foundation-0.0.21-7-armv7h
installed = haskell-gitrev-1.3.1-8-armv7h
installed = haskell-hashable-1.2.7.0-3-armv7h
installed = haskell-hjsmin-0.2.0.2-30-armv7h
installed = haskell-http-date-0.0.8-4-armv7h
installed = haskell-http-types-0.12.1-20-armv7h
installed = haskell-http2-1.6.3-29-armv7h
installed = haskell-hunit-1.6.0.0-7-armv7h
installed = haskell-integer-logarithms-1.0.2.2-1-armv7h
installed = haskell-iproute-1.7.5-25-armv7h
installed = haskell-language-javascript-0.6.0.11-4-armv7h
installed = haskell-lifted-base-0.2.3.12-17-armv7h
installed = haskell-math-functions-0.3.0.2-1-armv7h
installed = haskell-memory-0.14.16-24-armv7h
installed = haskell-microlens-0.4.9.1-3-armv7h
installed = haskell-mime-types-0.1.0.8-1-armv7h
installed = haskell-monad-control-1.0.2.3-17-armv7h
installed = haskell-monad-logger-0.3.29-13-armv7h
installed = haskell-monad-loops-0.4.3-9-armv7h
installed = haskell-monad-unlift-0.2.0-42-armv7h
installed = haskell-mono-traversable-1.0.9.0-9-armv7h
installed = haskell-mwc-random-0.14.0.0-3-armv7h
installed = haskell-network-2.7.0.2-7-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-8-armv7h
installed = haskell-parallel-3.2.2.0-1-armv7h
installed = haskell-path-pieces-0.2.1-14-armv7h
installed = haskell-primitive-0.6.4.0-1-armv7h
installed = haskell-psqueues-0.2.7.0-8-armv7h
installed = haskell-random-1.1-12-armv7h
installed = haskell-resourcet-1.2.1-20-armv7h
installed = haskell-rio-0.1.5.0-6-armv7h
installed = haskell-safe-0.3.17-2-armv7h
installed = haskell-scientific-0.3.6.2-7-armv7h
installed = haskell-securemem-0.1.10-26-armv7h
installed = haskell-setenv-0.1.1.3-9-armv7h
installed = haskell-sha-1.6.4.4-3-armv7h
installed = haskell-shakespeare-2.0.17-2-armv7h
installed = haskell-simple-sendfile-0.2.27-81-armv7h
installed = haskell-skein-1.0.9.4-21-armv7h
installed = haskell-split-0.2.3.3-5-armv7h
installed = haskell-stm-chans-3.0.0.4-11-armv7h
installed = haskell-streaming-commons-0.2.1.0-5-armv7h
installed = haskell-stringsearch-0.3.6.6-8-armv7h
installed = haskell-syb-0.7-6-armv7h
installed = haskell-tagged-0.8.6-1-armv7h
installed = haskell-tamarin-prover-term-1.4.0-17-armv7h
installed = haskell-tamarin-prover-theory-1.4.0-35-armv7h
installed = haskell-tamarin-prover-utils-1.4.0-6-armv7h
installed = haskell-text-binary-0.2.1.1-10-armv7h
installed = haskell-th-abstraction-0.2.8.0-1-armv7h
installed = haskell-threads-0.5.1.6-3-armv7h
installed = haskell-time-locale-compat-0.1.1.5-1-armv7h
installed = haskell-transformers-base-0.4.5.2-15-armv7h
installed = haskell-transformers-compat-0.6.2-2-armv7h
installed = haskell-typed-process-0.2.3.0-2-armv7h
installed = haskell-uniplate-1.6.12-29-armv7h
installed = haskell-unix-compat-0.5.1-1-armv7h
installed = haskell-unix-time-0.3.8-3-armv7h
installed = haskell-unliftio-0.2.8.0-1-armv7h
installed = haskell-unliftio-core-0.1.2.0-1-armv7h
installed = haskell-unordered-containers-0.2.9.0-9-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.2-2-armv7h
installed = haskell-vector-0.12.0.1-10-armv7h
installed = haskell-vector-algorithms-0.7.0.4-2-armv7h
installed = haskell-vector-binary-instances-0.2.4-5-armv7h
installed = haskell-vector-th-unbox-0.2.1.6-12-armv7h
installed = haskell-void-0.7.2-9-armv7h
installed = haskell-wai-3.2.1.2-32-armv7h
installed = haskell-wai-app-static-3.1.6.2-102-armv7h
installed = haskell-wai-extra-3.0.24.2-7-armv7h
installed = haskell-wai-logger-2.3.2-116-armv7h
installed = haskell-warp-3.2.25-1-armv7h
installed = haskell-word8-0.1.3-6-armv7h
installed = haskell-yesod-core-1.6.6-33-armv7h
installed = haskell-yesod-static-1.6.0-88-armv7h
installed = haskell-zlib-0.6.2-3-armv7h
installed = hwids-20180518-1-any
installed = iana-etc-20180221-1-any
installed = icu-62.1-1-armv7h
installed = ijs-0.35-1-armv7h
installed = iptables-1.8.0-1-armv7h
installed = jasper-2.0.14-1-armv7h
installed = jbig2dec-0.14-1-armv7h
installed = json-c-0.13.1-2-armv7h
installed = kbd-2.0.4-1-armv7h
installed = keyutils-1.5.11-1-armv7h
installed = kmod-25-1-armv7h
installed = krb5-1.16.1-1-armv7h
installed = lcms2-2.9-1-armv7h
installed = less-530-1-armv7h
installed = libantlr3c-3.5.2-2-armv7h
installed = libarchive-3.3.3-1-armv7h
installed = libassuan-2.5.1-1-armv7h
installed = libatomic_ops-7.6.6-1-armv7h
installed = libcap-2.25-1-armv7h
installed = libcap-ng-0.7.9-1-armv7h
installed = libcroco-0.6.12+4+g9ad7287-1-armv7h
installed = libcups-2.2.8-3-armv7h
installed = libdaemon-0.14-4-armv7h
installed = libdatrie-0.2.12-1-armv7h
installed = libedit-20180525_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.32-1-armv7h
installed = libice-1.0.9-2-armv7h
installed = libidn-1.34-2-armv7h
installed = libidn2-2.0.5-1-armv7h
installed = libjpeg-turbo-2.0.0-1-armv7h
installed = libksba-1.3.5-1-armv7h
installed = libldap-2.4.46-2-armv7h
installed = libmnl-1.0.4-1-armv7h
installed = libmpc-1.1.0-1-armv7h
installed = libnftnl-1.1.1-1-armv7h
installed = libnghttp2-1.32.0-1-armv7h
installed = libnl-3.4.0-1-armv7h
installed = libnsl-1.2.0-1-armv7h
installed = libpaper-1.1.24-10-armv7h
installed = libpcap-1.9.0-1-armv7h
installed = libpng-1.6.34-2-armv7h
installed = libpsl-0.20.2-1-armv7h
installed = librsvg-2:2.44.2-1-armv7h
installed = libsasl-2.1.26-13-armv7h
installed = libseccomp-2.3.3-1-armv7h
installed = libsecret-0.18.6-1-armv7h
installed = libsigsegv-2.12-1-armv7h
installed = libsm-1.2.2-3-armv7h
installed = libssh2-1.8.0-2-armv7h
installed = libsystemd-239.0-2-armv7h
installed = libtasn1-4.13-1-armv7h
installed = libtecla-1.6.3-1-armv7h
installed = libthai-0.1.27-1-armv7h
installed = libtiff-4.0.9-2-armv7h
installed = libtirpc-1.1.4-1-armv7h
installed = libtool-2.4.6+42+gb88cebd5-1-armv7h
installed = libunistring-0.9.10-1-armv7h
installed = libusb-1.0.22-1-armv7h
installed = libutil-linux-2.32.1-2-armv7h
installed = libwebp-1.0.0-1-armv7h
installed = libx11-1.6.6-1-armv7h
installed = libxau-1.0.8-3-armv7h
installed = libxaw-1.0.13-2-armv7h
installed = libxcb-1.13-1-armv7h
installed = libxdmcp-1.1.2-2-armv7h
installed = libxext-1.3.3-2-armv7h
installed = libxft-2.3.2-2-armv7h
installed = libxml2-2.9.8-4-armv7h
installed = libxmu-1.1.2-2-armv7h
installed = libxpm-3.5.12-1-armv7h
installed = libxrender-0.9.10-1-armv7h
installed = libxt-1.1.5-2-armv7h
installed = linux-api-headers-4.17.11-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 = lzo-2.10-1-armv7h
installed = m4-1.4.18-1-armv7h
installed = make-4.2.1-2-armv7h
installed = maude-2.7.1-3-armv7h
installed = mpfr-4.0.1-1-armv7h
installed = ncurses-6.1-3-armv7h
installed = nettle-3.4-1-armv7h
installed = npth-1.6-1-armv7h
installed = ocaml-4.07.0-1-armv7h
installed = openjpeg2-2.3.0-3-armv7h
installed = openssl-1.1.0.i-1-armv7h
installed = p11-kit-0.23.14-1-armv7h
installed = pacman-5.1.1-1-armv7h
installed = pacman-mirrorlist-20180903-1-any
installed = pam-1.3.1-1-armv7h
installed = pambase-20171006-1-any
installed = pango-1.42.4-1-armv7h
installed = patch-2.7.6-1-armv7h
installed = pcre-8.42-1-armv7h
installed = pcre2-10.31-1-armv7h
installed = perl-5.28.0-1-armv7h
installed = pinentry-1.1.0-4-armv7h
installed = pixman-0.34.0-1-armv7h
installed = pkgconf-1.5.3-1-armv7h
installed = popt-1.16-9-armv7h
installed = readline-7.0.005-1-armv7h
installed = run-parts-4.8.6-1-armv7h
installed = sed-4.5-1-armv7h
installed = shadow-4.6-1-armv7h
installed = shared-mime-info-1.10-1-armv7h
installed = sqlite-3.24.0-1-armv7h
installed = sudo-1.8.25-1-armv7h
installed = systemd-239.0-2-armv7h
installed = tar-1.30-1-armv7h
installed = texinfo-6.5-1-armv7h
installed = tzdata-2018e-2-armv7h
installed = util-linux-2.32.1-2-armv7h
installed = which-2.21-2-armv7h
installed = xcb-proto-1.13-2-any
installed = xorgproto-2018.4-1-any
installed = xz-5.2.4-1-armv7h
installed = zlib-1:1.2.11-3-armv7h
installed = zstd-1.3.5-1-armv7h
