format = 2
pkgname = tamarin-prover
pkgbase = tamarin-prover
pkgver = 1.10.0-6
pkgarch = x86_64
pkgbuild_sha256sum = 5de073ac930be7cf2c600d0cc483c736c644db583cc206a111e4e0361eb15cbc
packager = Felix Yan <felixonmars@archlinux.org>
builddate = 1735503166
builddir = /build
startdir = /startdir
buildtool = devtools
buildtoolver = 1:1.3.0-1-any
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
options = lto
installed = acl-2.3.2-1-x86_64
installed = aom-3.11.0-1-x86_64
installed = archlinux-keyring-20241203-1-any
installed = argon2-20190702-6-x86_64
installed = attr-2.5.2-1-x86_64
installed = audit-4.0.2-3-x86_64
installed = autoconf-2.72-1-any
installed = automake-1.17-1-any
installed = avahi-1:0.8+r194+g3f79789-3-x86_64
installed = base-devel-1-2-any
installed = bash-5.2.037-1-x86_64
installed = binutils-2.43+r4+g7999dae6961-1-x86_64
installed = bison-3.8.2-8-x86_64
installed = brotli-1.1.0-3-x86_64
installed = buddy-2.4-7-x86_64
installed = bzip2-1.0.8-6-x86_64
installed = ca-certificates-20240618-1-any
installed = ca-certificates-mozilla-3.107-1-x86_64
installed = ca-certificates-utils-20240618-1-any
installed = cairo-1.18.2-2-x86_64
installed = cln-1.3.7-1-x86_64
installed = coreutils-9.5-2-x86_64
installed = cryptsetup-2.7.5-1-x86_64
installed = cudd-3.0.0-2-x86_64
installed = curl-8.11.1-3-x86_64
installed = cvc4-1.8-3-x86_64
installed = dav1d-1.5.0-1-x86_64
installed = db5.3-5.3.28-5-x86_64
installed = dbus-1.16.0-1-x86_64
installed = dbus-broker-36-4-x86_64
installed = dbus-broker-units-36-4-x86_64
installed = dbus-units-36-4-x86_64
installed = debugedit-5.1-1-x86_64
installed = device-mapper-2.03.29-1-x86_64
installed = diffutils-3.10-1-x86_64
installed = e2fsprogs-1.47.1-4-x86_64
installed = expat-2.6.4-1-x86_64
installed = fakeroot-1.36.2-1-x86_64
installed = file-5.46-2-x86_64
installed = filesystem-2024.11.21-1-any
installed = findutils-4.10.0-2-x86_64
installed = flex-2.6.4-5-x86_64
installed = fontconfig-2:2.15.0-2-x86_64
installed = freetype2-2.13.3-1-x86_64
installed = fribidi-1.0.16-1-x86_64
installed = gawk-5.3.1-1-x86_64
installed = gc-8.2.8-2-x86_64
installed = gcc-14.2.1+r134+gab884fffe3fc-2-x86_64
installed = gcc-libs-14.2.1+r134+gab884fffe3fc-2-x86_64
installed = gd-2.3.3-8-x86_64
installed = gdbm-1.24-1-x86_64
installed = gdk-pixbuf2-2.42.12-2-x86_64
installed = gettext-0.23-1-x86_64
installed = ghc-9.2.8-1-x86_64
installed = ghc-libs-9.2.8-1-x86_64
installed = ghostscript-10.04.0-1-x86_64
installed = giflib-5.2.2-1-x86_64
installed = glib2-2.82.4-2-x86_64
installed = glibc-2.40+r16+gaa533d58ff-2-x86_64
installed = gmp-6.3.0-2-x86_64
installed = gnupg-2.4.7-1-x86_64
installed = gnutls-3.8.8-1-x86_64
installed = gpgme-1.24.1-3-x86_64
installed = graphite-1:1.3.14-4-x86_64
installed = graphviz-12.1.2-2-x86_64
installed = grep-3.11-1-x86_64
installed = groff-1.23.0-7-x86_64
installed = gsfonts-20200910-4-any
installed = gts-0.7.6.121130-3-x86_64
installed = guile-3.0.10-1-x86_64
installed = gzip-1.13-4-x86_64
installed = harfbuzz-10.1.0-1-x86_64
installed = haskell-aeson-2.1.2.1-59-x86_64
installed = haskell-aeson-pretty-0.8.10-19-x86_64
installed = haskell-ansi-terminal-0.11.5-8-x86_64
installed = haskell-ansi-terminal-types-0.11.5-9-x86_64
installed = haskell-ansi-wl-pprint-0.6.9-428-x86_64
installed = haskell-appar-0.1.8-14-x86_64
installed = haskell-asn1-encoding-0.9.6-235-x86_64
installed = haskell-asn1-parse-0.9.5-235-x86_64
installed = haskell-asn1-types-0.3.4-214-x86_64
installed = haskell-assoc-1.0.2-288-x86_64
installed = haskell-async-2.2.5-42-x86_64
installed = haskell-attoparsec-0.14.4-79-x86_64
installed = haskell-attoparsec-aeson-2.1.0.0-43-x86_64
installed = haskell-auto-update-0.1.6-344-x86_64
installed = haskell-base-compat-0.12.2-2-x86_64
installed = haskell-base-compat-batteries-0.12.2-93-x86_64
installed = haskell-base-orphans-0.8.8.2-23-x86_64
installed = haskell-base64-bytestring-1.2.1.0-109-x86_64
installed = haskell-basement-0.0.16-2-x86_64
installed = haskell-bifunctors-5.6-99-x86_64
installed = haskell-binary-instances-1.0.4-28-x86_64
installed = haskell-binary-orphans-1.0.4.1-52-x86_64
installed = haskell-bitvec-1.1.3.0-106-x86_64
installed = haskell-blaze-builder-0.4.2.3-2-x86_64
installed = haskell-blaze-html-0.9.2.0-5-x86_64
installed = haskell-blaze-markup-0.8.3.0-15-x86_64
installed = haskell-bsb-http-chunked-0.0.0.4-388-x86_64
installed = haskell-byteable-0.1.1-26-x86_64
installed = haskell-byteorder-1.0.4-25-x86_64
installed = haskell-call-stack-0.4.0-195-x86_64
installed = haskell-case-insensitive-1.2.1.0-208-x86_64
installed = haskell-cereal-0.5.8.3-2-x86_64
installed = haskell-clientsession-0.9.2.0-30-x86_64
installed = haskell-cmdargs-0.10.22-2-x86_64
installed = haskell-colour-2.3.6-220-x86_64
installed = haskell-comonad-5.0.8-283-x86_64
installed = haskell-conduit-1.3.6-8-x86_64
installed = haskell-conduit-extra-1.3.6-149-x86_64
installed = haskell-contravariant-1.5.5-4-x86_64
installed = haskell-cookie-0.4.6-2-x86_64
installed = haskell-crypto-api-0.13.3-39-x86_64
installed = haskell-crypto-random-0.0.9-338-x86_64
installed = haskell-crypton-0.34-16-x86_64
installed = haskell-crypton-x509-1.7.6-33-x86_64
installed = haskell-cryptonite-0.30-78-x86_64
installed = haskell-cryptonite-conduit-0.2.2-647-x86_64
installed = haskell-css-text-0.1.3.0-289-x86_64
installed = haskell-data-array-byte-0.1.0.1-65-x86_64
installed = haskell-data-default-0.7.1.1-313-x86_64
installed = haskell-data-default-class-0.1.2.0-25-x86_64
installed = haskell-data-default-instances-containers-0.0.1-37-x86_64
installed = haskell-data-default-instances-dlist-0.0.1.1-3-x86_64
installed = haskell-data-default-instances-old-locale-0.0.1-37-x86_64
installed = haskell-data-fix-0.3.2-107-x86_64
installed = haskell-distributive-0.6.2.1-214-x86_64
installed = haskell-dlist-1.0-248-x86_64
installed = haskell-easy-file-0.2.5-26-x86_64
installed = haskell-entropy-0.4.1.10-2-x86_64
installed = haskell-erf-2.0.0.0-25-x86_64
installed = haskell-fast-logger-3.1.2-89-x86_64
installed = haskell-fclabels-2.0.5.1-117-x86_64
installed = haskell-fgl-5.8.3.0-4-x86_64
installed = haskell-file-embed-0.0.15.0-2-x86_64
installed = haskell-foldable1-classes-compat-0.1-99-x86_64
installed = haskell-foldl-1.4.17-6-x86_64
installed = haskell-generically-0.1.1-2-x86_64
installed = haskell-ghc-bignum-orphans-0.1.1-2-x86_64
installed = haskell-gitrev-1.3.1-32-x86_64
installed = haskell-graphviz-2999.20.2.0-8-x86_64
installed = haskell-hashable-1.4.4.0-17-x86_64
installed = haskell-hjsmin-0.2.0.4-230-x86_64
installed = haskell-hourglass-0.2.12-251-x86_64
installed = haskell-http-date-0.0.11-141-x86_64
installed = haskell-http-types-0.12.4-17-x86_64
installed = haskell-http2-4.1.0-36-x86_64
installed = haskell-hunit-1.6.2.0-237-x86_64
installed = haskell-indexed-traversable-0.1.4-12-x86_64
installed = haskell-indexed-traversable-instances-0.1.2-6-x86_64
installed = haskell-integer-logarithms-1.0.3.1-7-x86_64
installed = haskell-iproute-1.7.14-1-x86_64
installed = haskell-language-javascript-0.7.1.0-164-x86_64
installed = haskell-lifted-base-0.2.3.12-272-x86_64
installed = haskell-list-t-1.0.5.5-6-x86_64
installed = haskell-logict-0.7.1.0-257-x86_64
installed = haskell-memory-0.18.0-13-x86_64
installed = haskell-microlens-0.4.13.1-2-x86_64
installed = haskell-microlens-mtl-0.2.0.3-2-x86_64
installed = haskell-mime-types-0.1.2.0-2-x86_64
installed = haskell-mmorph-1.2.0-6-x86_64
installed = haskell-monad-control-1.0.3.1-107-x86_64
installed = haskell-monad-logger-0.3.40-80-x86_64
installed = haskell-monad-loops-0.4.3-26-x86_64
installed = haskell-mono-traversable-1.0.20.0-9-x86_64
installed = haskell-network-3.1.4.0-25-x86_64
installed = haskell-network-byte-order-0.1.7-2-x86_64
installed = haskell-old-locale-1.0.0.7-31-x86_64
installed = haskell-old-time-1.1.0.4-2-x86_64
installed = haskell-onetuple-0.4.1.1-8-x86_64
installed = haskell-optparse-applicative-0.17.1.0-39-x86_64
installed = haskell-os-string-2.0.6-9-x86_64
installed = haskell-parallel-3.2.2.0-18-x86_64
installed = haskell-path-pieces-0.2.1-31-x86_64
installed = haskell-pem-0.2.4-291-x86_64
installed = haskell-polyparse-1.13-12-x86_64
installed = haskell-primitive-0.7.4.0-121-x86_64
installed = haskell-profunctors-5.6.2-184-x86_64
installed = haskell-psqueues-0.2.8.0-15-x86_64
installed = haskell-quickcheck-2.14.3-78-x86_64
installed = haskell-random-1.2.1.2-22-x86_64
installed = haskell-raw-strings-qq-1.1-228-x86_64
installed = haskell-recv-0.1.0-35-x86_64
installed = haskell-regex-base-0.94.0.2-3-x86_64
installed = haskell-regex-pcre-0.95.0.0-14-x86_64
installed = haskell-regex-posix-0.96.0.1-4-x86_64
installed = haskell-resourcet-1.2.6-56-x86_64
installed = haskell-rio-0.1.22.0-120-x86_64
installed = haskell-safe-0.3.21-10-x86_64
installed = haskell-safe-exceptions-0.1.7.4-26-x86_64
installed = haskell-scientific-0.3.7.0-118-x86_64
installed = haskell-securemem-0.1.10-293-x86_64
installed = haskell-semialign-1.2.0.1-172-x86_64
installed = haskell-semigroupoids-5.3.7-153-x86_64
installed = haskell-setenv-0.1.1.3-26-x86_64
installed = haskell-sha-1.6.4.4-20-x86_64
installed = haskell-shakespeare-2.1.0.1-56-x86_64
installed = haskell-simple-sendfile-0.2.32-51-x86_64
installed = haskell-skein-1.0.9.4-52-x86_64
installed = haskell-split-0.2.5-11-x86_64
installed = haskell-splitmix-0.1.0.5-33-x86_64
installed = haskell-statevar-1.2.2-3-x86_64
installed = haskell-stm-chans-3.0.0.9-2-x86_64
installed = haskell-streaming-commons-0.2.2.6-31-x86_64
installed = haskell-strict-0.4.0.1-262-x86_64
installed = haskell-syb-0.7.2.4-15-x86_64
installed = haskell-tagged-0.8.8-2-x86_64
installed = haskell-tamarin-prover-accountability-1.10.0-2-x86_64
installed = haskell-tamarin-prover-export-1.10.0-2-x86_64
installed = haskell-tamarin-prover-sapic-1.10.0-2-x86_64
installed = haskell-tamarin-prover-term-1.10.0-2-x86_64
installed = haskell-tamarin-prover-theory-1.10.0-2-x86_64
installed = haskell-tamarin-prover-utils-1.10.0-2-x86_64
installed = haskell-temporary-1.3-602-x86_64
installed = haskell-text-binary-0.2.1.1-27-x86_64
installed = haskell-text-short-0.1.6-4-x86_64
installed = haskell-th-abstraction-0.4.5.0-2-x86_64
installed = haskell-th-lift-0.8.4-2-x86_64
installed = haskell-these-1.1.1.1-289-x86_64
installed = haskell-threads-0.5.1.8-23-x86_64
installed = haskell-time-compat-1.9.6.1-102-x86_64
installed = haskell-time-manager-0.0.1-40-x86_64
installed = haskell-transformers-base-0.4.6-107-x86_64
installed = haskell-transformers-compat-0.7.2-2-x86_64
installed = haskell-typed-process-0.2.11.1-20-x86_64
installed = haskell-uniplate-1.6.13-229-x86_64
installed = haskell-unix-compat-0.7.2-7-x86_64
installed = haskell-unix-time-0.4.14-4-x86_64
installed = haskell-unliftio-0.2.25.0-15-x86_64
installed = haskell-unliftio-core-0.2.1.0-2-x86_64
installed = haskell-unordered-containers-0.2.20-24-x86_64
installed = haskell-utf8-string-1.0.2-155-x86_64
installed = haskell-uuid-types-1.0.5.1-21-x86_64
installed = haskell-vault-0.3.1.5-191-x86_64
installed = haskell-vector-0.13.1.0-45-x86_64
installed = haskell-vector-algorithms-0.9.0.2-15-x86_64
installed = haskell-vector-binary-instances-0.2.5.2-123-x86_64
installed = haskell-vector-stream-0.1.0.1-2-x86_64
installed = haskell-wai-3.2.4-30-x86_64
installed = haskell-wai-app-static-3.1.9-42-x86_64
installed = haskell-wai-extra-3.1.15-35-x86_64
installed = haskell-wai-logger-2.5.0-6-x86_64
installed = haskell-warp-3.3.30-80-x86_64
installed = haskell-witherable-0.4.2-113-x86_64
installed = haskell-wl-pprint-text-1.2.0.2-6-x86_64
installed = haskell-word8-0.1.3-23-x86_64
installed = haskell-yesod-core-1.6.26.0-28-x86_64
installed = haskell-yesod-static-1.6.1.0-756-x86_64
installed = haskell-zlib-0.6.3.0-65-x86_64
installed = hwdata-0.390-1-any
installed = iana-etc-20241206-1-any
installed = icu-75.1-2-x86_64
installed = ijs-0.35-6-x86_64
installed = jansson-2.14-4-x86_64
installed = jbig2dec-0.20-1-x86_64
installed = jbigkit-2.1-8-x86_64
installed = json-c-0.18-1-x86_64
installed = kbd-2.7.1-1-x86_64
installed = keyutils-1.6.3-3-x86_64
installed = kmod-33-3-x86_64
installed = krb5-1.21.3-1-x86_64
installed = lcms2-2.16-1-x86_64
installed = libantlr3c-3.5.3-1-x86_64
installed = libarchive-3.7.7-1-x86_64
installed = libassuan-3.0.0-1-x86_64
installed = libavif-1.1.1-2-x86_64
installed = libcap-2.71-1-x86_64
installed = libcap-ng-0.8.5-3-x86_64
installed = libcups-2:2.4.11-1-x86_64
installed = libdaemon-0.14-6-x86_64
installed = libdatrie-0.2.13-4-x86_64
installed = libde265-1.0.15-3-x86_64
installed = libelf-0.192-2-x86_64
installed = libevent-2.1.12-4-x86_64
installed = libffi-3.4.6-1-x86_64
installed = libgcrypt-1.11.0-2-x86_64
installed = libgpg-error-1.51-1-x86_64
installed = libheif-1.19.5-1-x86_64
installed = libice-1.1.2-1-x86_64
installed = libidn-1.42-1-x86_64
installed = libidn2-2.3.7-1-x86_64
installed = libisl-0.27-1-x86_64
installed = libjpeg-turbo-3.1.0-1-x86_64
installed = libksba-1.6.7-1-x86_64
installed = libldap-2.6.9-1-x86_64
installed = libmpc-1.3.1-2-x86_64
installed = libnghttp2-1.64.0-1-x86_64
installed = libnghttp3-1.7.0-1-x86_64
installed = libnsl-2.0.1-1-x86_64
installed = libp11-kit-0.25.5-1-x86_64
installed = libpaper-2.2.5-1-x86_64
installed = libpng-1.6.44-1-x86_64
installed = libpoly-0.1.13-1-x86_64
installed = libpsl-0.21.5-2-x86_64
installed = librsvg-2:2.59.2-1-x86_64
installed = libsasl-2.1.28-5-x86_64
installed = libseccomp-2.5.5-4-x86_64
installed = libsecret-0.21.4-1-x86_64
installed = libsigsegv-2.14-3-x86_64
installed = libsm-1.2.5-1-x86_64
installed = libssh2-1.11.0-1-x86_64
installed = libsysprof-capture-47.2-1-x86_64
installed = libtasn1-4.19.0-2-x86_64
installed = libtecla-1.6.3-2-x86_64
installed = libthai-0.1.29-3-x86_64
installed = libtiff-4.7.0-1-x86_64
installed = libtirpc-1.3.6-1-x86_64
installed = libtool-2.5.4+r1+gbaa1fe41-1-x86_64
installed = libunistring-1.3-1-x86_64
installed = libusb-1.0.27-1-x86_64
installed = libverto-0.3.2-5-x86_64
installed = libwebp-1.5.0-1-x86_64
installed = libx11-1.8.10-1-x86_64
installed = libxau-1.0.12-1-x86_64
installed = libxcb-1.17.0-1-x86_64
installed = libxcrypt-4.4.36-2-x86_64
installed = libxdmcp-1.1.5-1-x86_64
installed = libxext-1.3.6-1-x86_64
installed = libxft-2.3.8-2-x86_64
installed = libxml2-2.13.5-2-x86_64
installed = libxpm-3.5.17-2-x86_64
installed = libxrender-0.9.12-1-x86_64
installed = libxt-1.3.1-1-x86_64
installed = libyuv-r2426+464c51a03-1-x86_64
installed = linux-api-headers-6.10-1-x86_64
installed = lmdb-0.9.33-1-x86_64
installed = lz4-1:1.10.0-2-x86_64
installed = lzo-2.10-5-x86_64
installed = m4-1.4.19-3-x86_64
installed = make-4.4.1-2-x86_64
installed = maude-3.3-1-x86_64
installed = mpfr-4.2.1-4-x86_64
installed = ncurses-6.5-3-x86_64
installed = netpbm-10.86.44-1-x86_64
installed = nettle-3.10-1-x86_64
installed = npth-1.8-1-x86_64
installed = numactl-2.0.19-1-x86_64
installed = openjpeg2-2.5.3-1-x86_64
installed = openssl-3.4.0-1-x86_64
installed = p11-kit-0.25.5-1-x86_64
installed = pacman-7.0.0.r6.gc685ae6-1-x86_64
installed = pacman-mirrorlist-20240717-1-any
installed = pam-1.7.0-1-x86_64
installed = pambase-20230918-2-any
installed = pango-1:1.54.0-1-x86_64
installed = patch-2.7.6-10-x86_64
installed = pcre-8.45-4-x86_64
installed = pcre2-10.44-1-x86_64
installed = perl-5.40.0-1-x86_64
installed = pinentry-1.3.1-5-x86_64
installed = pixman-0.44.2-1-x86_64
installed = pkgconf-2.3.0-1-x86_64
installed = poppler-data-0.4.12-2-any
installed = popt-1.19-2-x86_64
installed = rav1e-0.7.1-1-x86_64
installed = readline-8.2.013-1-x86_64
installed = sed-4.9-3-x86_64
installed = shadow-4.16.0-1-x86_64
installed = shared-mime-info-2.4-1-x86_64
installed = sqlite-3.47.2-1-x86_64
installed = sudo-1.9.16.p2-2-x86_64
installed = svt-av1-2.2.1-1-x86_64
installed = systemd-257.1-1-x86_64
installed = systemd-libs-257.1-1-x86_64
installed = tar-1.35-2-x86_64
installed = texinfo-7.2-1-x86_64
installed = tpm2-tss-4.1.3-1-x86_64
installed = tzdata-2024b-2-x86_64
installed = util-linux-2.40.2-2-x86_64
installed = util-linux-libs-2.40.2-2-x86_64
installed = which-2.21-6-x86_64
installed = x265-4.0-1-x86_64
installed = xcb-proto-1.17.0-3-any
installed = xorgproto-2024.1-2-any
installed = xxhash-0.8.2-1-x86_64
installed = xz-5.6.3-1-x86_64
installed = yices-2.6.4-2-x86_64
installed = zlib-1:1.3.1-2-x86_64
installed = zstd-1.5.6-1-x86_64
