format = 1
pkgname = tamarin-prover
pkgbase = tamarin-prover
pkgver = 1.6.0-46.0
pkgarch = i686
pkgbuild_sha256sum = ef3dabd0a8a13ce10d514ca0e8fb00861d83f303f1d775646b309c594891ec45
packager = Erich Eckner <arch32 at eckner dot net>
builddate = 1605492045
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 = !debug
installed = acl-2.2.53-3.0-i686
installed = archlinux-keyring-20201028-1.0-any
installed = archlinux32-keyring-20200408-1.0-any
installed = attr-2.4.48-3.0-i686
installed = audit-2.8.5-6.1-i686
installed = autoconf-2.69-7.1-any
installed = automake-1.16.2-3.0-any
installed = avahi-0.8+15+ge8a3dd0-1.1-i686
installed = bash-5.0.018-1.0-i686
installed = binutils-2.35.1-1.0-i686
installed = bison-3.7.2-1.0-i686
installed = boost-libs-1.72.0-2.0-i686
installed = buddy-2.4-5.0-i686
installed = bzip2-1.0.8-4.0-i686
installed = ca-certificates-20181109-4.0-any
installed = ca-certificates-mozilla-3.59-1.0-i686
installed = ca-certificates-utils-20181109-4.0-any
installed = cairo-1.17.2+25+gaee96d175-1.0-i686
installed = cln-1.3.6-2.0-i686
installed = coreutils-8.32-1.4-i686
installed = curl-7.73.0-1.0-i686
installed = cvc4-1.8-2.0-i686
installed = db-5.3.28-5.0-i686
installed = dbus-1.12.20-1.0-i686
installed = diffutils-3.7-3.0-i686
installed = e2fsprogs-1.45.6-3.0-i686
installed = elfutils-0.181-1.0-i686
installed = expat-2.2.10-2.3-i686
installed = fakeroot-1.25.3-1.0-i686
installed = file-5.39-1.0-i686
installed = filesystem-2020.09.03-1.0-i686
installed = findutils-4.7.0-2.0-i686
installed = flex-2.6.4-3.0-i686
installed = fontconfig-2:2.13.91+48+gfcb0420-2.0-i686
installed = freetype2-2.10.4-1.0-i686
installed = fribidi-1.0.10-1.0-i686
installed = gawk-5.1.0-1.0-i686
installed = gc-8.0.4-4.0-i686
installed = gcc-10.2.0-3.0-i686
installed = gcc-libs-10.2.0-3.0-i686
installed = gd-2.3.0-1.0-i686
installed = gdbm-1.18.1-3.0-i686
installed = gdk-pixbuf2-2.42.0-2.0-i686
installed = gettext-0.21-1.0-i686
installed = ghc-8.10.2-1.0-i686
installed = ghc-libs-8.10.2-1.0-i686
installed = ghostscript-9.53.3-2.0-i686
installed = giflib-5.2.1-2.0-i686
installed = glib2-2.66.2-1.0-i686
installed = glibc-2.32-5.0-i686
installed = gmp-6.2.0-1.0-i686
installed = gnupg-2.2.23-1.0-i686
installed = gnutls-3.6.15-1.0-i686
installed = gpgme-1.14.0-1.0-i686
installed = graphite-1:1.3.14-1.0-i686
installed = graphviz-2.44.1-4.0-i686
installed = grep-3.6-1.0-i686
installed = groff-1.22.4-3.0-i686
installed = gsfonts-20200910-1.0-any
installed = gts-0.7.6.121130-2.0-i686
installed = guile-2.2.6-2.1-i686
installed = gzip-1.10-3.0-i686
installed = harfbuzz-2.7.2-1.0-i686
installed = haskell-aeson-1.5.4.1-14.0-i686
installed = haskell-aeson-pretty-0.8.8-89.0-i686
installed = haskell-ansi-terminal-0.11-14.1-i686
installed = haskell-ansi-wl-pprint-0.6.9-70.0-i686
installed = haskell-appar-0.1.8-8.0-i686
installed = haskell-asn1-encoding-0.9.6-55.0-i686
installed = haskell-asn1-parse-0.9.5-55.0-i686
installed = haskell-asn1-types-0.3.4-34.1-i686
installed = haskell-assoc-1.0.2-24.0-i686
installed = haskell-async-2.2.2-37.0-i686
installed = haskell-attoparsec-0.13.2.4-33.0-i686
installed = haskell-auto-update-0.1.6-97.0-i686
installed = haskell-base-compat-0.11.2-2.0-i686
installed = haskell-base-compat-batteries-0.11.2-8.0-i686
installed = haskell-base-orphans-0.8.3-11.0-i686
installed = haskell-base64-bytestring-1.2.0.0-20.0-i686
installed = haskell-basement-0.0.11-8.0-i686
installed = haskell-bifunctors-5.5.8-8.0-i686
installed = haskell-binary-instances-1.0.1-3.0-i686
installed = haskell-binary-orphans-1.0.1-50.0-i686
installed = haskell-blaze-builder-0.4.1.0-14.0-i686
installed = haskell-blaze-html-0.9.1.2-54.0-i686
installed = haskell-blaze-markup-0.8.2.7-24.0-i686
installed = haskell-bsb-http-chunked-0.0.0.4-138.0-i686
installed = haskell-byteable-0.1.1-20.0-i686
installed = haskell-byteorder-1.0.4-19.0-i686
installed = haskell-call-stack-0.2.0-63.0-i686
installed = haskell-case-insensitive-1.2.1.0-36.0-i686
installed = haskell-cereal-0.5.8.1-7.0-i686
installed = haskell-cipher-aes-0.2.11-151.0-i686
installed = haskell-clientsession-0.9.1.2-174.0-i686
installed = haskell-cmdargs-0.10.20-14.0-i686
installed = haskell-colour-2.3.5-72.0-i686
installed = haskell-comonad-5.0.6-54.0-i686
installed = haskell-conduit-1.3.3-9.0-i686
installed = haskell-conduit-extra-1.3.5-63.0-i686
installed = haskell-constraints-0.12-34.0-i686
installed = haskell-cookie-0.4.5-7.0-i686
installed = haskell-cprng-aes-0.6.1-157.0-i686
installed = haskell-crypto-api-0.13.3-25.0-i686
installed = haskell-crypto-cipher-types-0.0.9-151.0-i686
installed = haskell-crypto-random-0.0.9-158.0-i686
installed = haskell-cryptonite-0.27-29.0-i686
installed = haskell-cryptonite-conduit-0.2.2-310.0-i686
installed = haskell-css-text-0.1.3.0-111.0-i686
installed = haskell-data-default-0.7.1.1-84.0-i686
installed = haskell-data-default-class-0.1.2.0-19.0-i686
installed = haskell-data-default-instances-containers-0.0.1-31.0-i686
installed = haskell-data-default-instances-dlist-0.0.1-97.0-i686
installed = haskell-data-default-instances-old-locale-0.0.1-31.0-i686
installed = haskell-data-fix-0.3.0-24.0-i686
installed = haskell-distributive-0.6.2-36.1-i686
installed = haskell-dlist-1.0-20.0-i686
installed = haskell-easy-file-0.2.2-14.0-i686
installed = haskell-entropy-0.4.1.6-4.0-i686
installed = haskell-fast-logger-3.0.2-11.0-i686
installed = haskell-fclabels-2.0.5-29.0-i686
installed = haskell-file-embed-0.0.13.0-1.0-i686
installed = haskell-gitrev-1.3.1-23.0-i686
installed = haskell-hashable-1.3.0.0-33.0-i686
installed = haskell-hjsmin-0.2.0.4-51.0-i686
installed = haskell-hourglass-0.2.12-79.0-i686
installed = haskell-http-date-0.0.10-9.0-i686
installed = haskell-http-types-0.12.3-95.0-i686
installed = haskell-http2-2.0.5-45.0-i686
installed = haskell-hunit-1.6.1.0-5.0-i686
installed = haskell-integer-logarithms-1.0.3.1-1.0-i686
installed = haskell-iproute-1.7.9-36.0-i686
installed = haskell-language-javascript-0.7.1.0-4.0-i686
installed = haskell-lifted-base-0.2.3.12-97.0-i686
installed = haskell-memory-0.15.0-46.0-i686
installed = haskell-microlens-0.4.11.2-7.0-i686
installed = haskell-microlens-mtl-0.2.0.1-9.0-i686
installed = haskell-mime-types-0.1.0.9-9.0-i686
installed = haskell-monad-control-1.0.2.3-97.0-i686
installed = haskell-monad-logger-0.3.35-36.0-i686
installed = haskell-monad-loops-0.4.3-20.0-i686
installed = haskell-monad-unlift-0.2.0-123.0-i686
installed = haskell-mono-traversable-1.0.15.1-70.0-i686
installed = haskell-network-3.1.2.0-44.0-i686
installed = haskell-network-byte-order-0.1.6-11.0-i686
installed = haskell-old-locale-1.0.0.7-25.0-i686
installed = haskell-old-time-1.1.0.3-25.0-i686
installed = haskell-optparse-applicative-0.16.0.0-7.0-i686
installed = haskell-parallel-3.2.2.0-12.0-i686
installed = haskell-path-pieces-0.2.1-25.0-i686
installed = haskell-pem-0.2.4-111.0-i686
installed = haskell-primitive-0.7.1.0-26.0-i686
installed = haskell-psqueues-0.2.7.2-56.0-i686
installed = haskell-random-1.2.0-44.0-i686
installed = haskell-raw-strings-qq-1.1-56.0-i686
installed = haskell-resourcet-1.2.4.2-28.0-i686
installed = haskell-rio-0.1.19.0-13.0-i686
installed = haskell-safe-0.3.19-3.0-i686
installed = haskell-scientific-0.3.6.2-50.0-i686
installed = haskell-securemem-0.1.10-113.0-i686
installed = haskell-setenv-0.1.1.3-20.0-i686
installed = haskell-sha-1.6.4.4-14.0-i686
installed = haskell-shakespeare-2.0.25-26.0-i686
installed = haskell-simple-sendfile-0.2.30-107.0-i686
installed = haskell-skein-1.0.9.4-38.0-i686
installed = haskell-split-0.2.3.4-78.0-i686
installed = haskell-splitmix-0.1.0.3-2.0-i686
installed = haskell-stm-chans-3.0.0.4-22.0-i686
installed = haskell-streaming-commons-0.2.2.1-24.0-i686
installed = haskell-strict-0.4-25.0-i686
installed = haskell-syb-0.7.1-7.0-i686
installed = haskell-tagged-0.8.6-12.0-i686
installed = haskell-tamarin-prover-sapic-1.6.0-19.0-i686
installed = haskell-tamarin-prover-term-1.6.0-14.0-i686
installed = haskell-tamarin-prover-theory-1.6.0-19.0-i686
installed = haskell-tamarin-prover-utils-1.6.0-12.0-i686
installed = haskell-text-binary-0.2.1.1-21.0-i686
installed = haskell-th-abstraction-0.4.0.0-1.0-i686
installed = haskell-th-lift-0.8.2-2.0-i686
installed = haskell-these-1.1.1.1-25.0-i686
installed = haskell-threads-0.5.1.6-14.0-i686
installed = haskell-time-compat-1.9.4-2.0-i686
installed = haskell-time-manager-0.0.0-94.0-i686
installed = haskell-transformers-base-0.4.5.2-95.0-i686
installed = haskell-transformers-compat-0.6.6-1.0-i686
installed = haskell-type-equality-1-7.0-i686
installed = haskell-typed-process-0.2.6.0-59.0-i686
installed = haskell-uniplate-1.6.13-1.0-i686
installed = haskell-unix-compat-0.5.2-7.0-i686
installed = haskell-unix-time-0.4.7-61.0-i686
installed = haskell-unliftio-0.2.13.1-6.0-i686
installed = haskell-unliftio-core-0.2.0.1-4.0-i686
installed = haskell-unordered-containers-0.2.13.0-8.0-i686
installed = haskell-utf8-string-1.0.1.1-19.0-i686
installed = haskell-uuid-types-1.0.3-55.0-i686
installed = haskell-vault-0.3.1.4-35.0-i686
installed = haskell-vector-0.12.1.2-58.0-i686
installed = haskell-vector-algorithms-0.8.0.3-47.0-i686
installed = haskell-vector-binary-instances-0.2.5.1-72.0-i686
installed = haskell-void-0.7.3-36.0-i686
installed = haskell-wai-3.2.2.1-129.0-i686
installed = haskell-wai-app-static-3.1.7.2-54.0-i686
installed = haskell-wai-extra-3.1.2-2.0-i686
installed = haskell-wai-logger-2.3.6-156.0-i686
installed = haskell-warp-3.3.13-99.0-i686
installed = haskell-word8-0.1.3-17.0-i686
installed = haskell-x509-1.7.5-89.0-i686
installed = haskell-yesod-core-1.6.18.6-2.0-i686
installed = haskell-yesod-static-1.6.1.0-90.0-i686
installed = haskell-zlib-0.6.2.2-3.0-i686
installed = iana-etc-20201012-1.0-any
installed = icu-67.1-1.0-i686
installed = ijs-0.35-3.0-i686
installed = jbig2dec-0.19-1.0-i686
installed = keyutils-1.6.3-1.0-i686
installed = krb5-1.18.2-1.0-i686
installed = lcms2-2.11-2.0-i686
installed = less-563-1.0-i686
installed = libantlr3c-3.5.2-4.0-i686
installed = libarchive-3.4.3-1.0-i686
installed = libassuan-2.5.3-2.0-i686
installed = libcap-2.44-1.0-i686
installed = libcap-ng-0.8-1.0-i686
installed = libcroco-0.6.13-2.0-i686
installed = libcups-2.3.3-3.0-i686
installed = libdaemon-0.14-5.0-i686
installed = libdatrie-0.2.12-2.0-i686
installed = libelf-0.181-1.0-i686
installed = libffi-3.3-4.0-i686
installed = libgcrypt-1.8.7-1.1-i686
installed = libgpg-error-1.39-1.0-i686
installed = libice-1.0.10-3.0-i686
installed = libidn-1.36-1.0-i686
installed = libidn2-2.3.0-1.1-i686
installed = libjpeg-turbo-2.0.5-3.0-i686
installed = libksba-1.4.0-2.0-i686
installed = libldap-2.4.54-1.0-i686
installed = libmicrohttpd-0.9.71-1.0-i686
installed = libmpc-1.1.0-2.0-i686
installed = libnghttp2-1.41.0-1.0-i686
installed = libnsl-1.3.0-1.0-i686
installed = libp11-kit-0.23.21-1.0-i686
installed = libpaper-1.1.28-1.1-i686
installed = libpng-1.6.37-3.0-i686
installed = libpsl-0.21.1-1.0-i686
installed = librsvg-2:2.50.1-1.0-i686
installed = libsasl-2.1.27-3.0-i686
installed = libseccomp-2.4.2-1.3-i686
installed = libsecret-0.20.4-1.0-i686
installed = libsigsegv-2.12-2.0-i686
installed = libsm-1.2.3-2.0-i686
installed = libssh2-1.9.0-2.0-i686
installed = libtasn1-4.16.0-1.0-i686
installed = libtecla-1.6.3-2.0-i686
installed = libthai-0.1.28-2.0-i686
installed = libtiff-4.1.0-2.0-i686
installed = libtirpc-1.2.6-1.0-i686
installed = libtool-2.4.6+42+gb88cebd5-14.0-i686
installed = libunistring-0.9.10-3.0-i686
installed = libusb-1.0.23-3.0-i686
installed = libwebp-1.1.0-1.1-i686
installed = libx11-1.6.12-1.0-i686
installed = libxau-1.0.9-3.0-i686
installed = libxaw-1.0.13-3.0-i686
installed = libxcb-1.14-1.0-i686
installed = libxcrypt-4.4.17-1.0-i686
installed = libxdmcp-1.1.3-3.0-i686
installed = libxext-1.3.4-3.0-i686
installed = libxft-2.3.3-2.0-i686
installed = libxml2-2.9.10-6.0-i686
installed = libxmu-1.1.3-2.0-i686
installed = libxpm-3.5.13-2.0-i686
installed = libxrender-0.9.10-4.0-i686
installed = libxt-1.2.0-2.0-i686
installed = linux-api-headers-5.8-1.0-any
installed = lz4-1:1.9.2-2.0-i686
installed = lzo-2.10-3.0-i686
installed = m4-1.4.18-3.1-i686
installed = make-4.3-3.0-i686
installed = maude-2.7.1-3.0-i686
installed = mpfr-4.1.0-1.0-i686
installed = ncurses-6.2-1.0-i686
installed = netpbm-10.73.33-1.0-i686
installed = nettle-3.6-1.0-i686
installed = npth-1.6-2.1-i686
installed = ocaml-4.11.1-1.0-i686
installed = openjpeg2-2.3.1-2.0-i686
installed = openssl-1.1.1.h-1.0-i686
installed = p11-kit-0.23.21-1.0-i686
installed = pacman-5.2.2-1.0-i686
installed = pacman-mirrorlist-20200924-1.1-any
installed = pam-1.4.0-3.0-i686
installed = pambase-20200721.1-2.0-any
installed = pango-1:1.48.0-1.0-i686
installed = patch-2.7.6-8.0-i686
installed = pcre-8.44-1.0-i686
installed = perl-5.32.0-3.0-i686
installed = pinentry-1.1.0-5.0-i686
installed = pixman-0.40.0-1.0-i686
installed = pkgconf-1.7.3-1.0-i686
installed = readline-8.0.004-1.1-i686
installed = run-parts-4.8.6.1-2.1-i686
installed = sed-4.8-1.0-i686
installed = shadow-4.8.1-4.0-i686
installed = shared-mime-info-2.0+1+g6bf9e4f-2.0-i686
installed = sqlite-3.33.0-2.0-i686
installed = sudo-1.9.3.p1-1.0-i686
installed = systemd-libs-246.6-1.0-i686
installed = tar-1.32-3.0-i686
installed = texinfo-6.7-3.0-i686
installed = tzdata-2020d-1.0-i686
installed = util-linux-2.36-4.0-i686
installed = util-linux-libs-2.36-4.0-i686
installed = which-2.21-5.2-i686
installed = xcb-proto-1.14.1-1.0-any
installed = xorgproto-2020.1-1.0-any
installed = xz-5.2.5-1.0-i686
installed = zlib-1:1.2.11-4.0-i686
installed = zstd-1.4.5-1.0-i686
