format = 2
pkgname = tamarin-prover
pkgbase = tamarin-prover
pkgver = 1.10.0-222
pkgarch = x86_64
pkgbuild_sha256sum = 3aafdc253a5954cd1543e63ebd5ebae804be81a28870c62cb465ec2a34ae1bad
packager = Felix Yan <felixonmars@archlinux.org>
builddate = 1760616946
builddir = /build
startdir = /startdir
buildtool = devtools
buildtoolver = 1:1.3.2-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.13.1-1-x86_64
installed = archlinux-keyring-20251012-1-any
installed = attr-2.5.2-1-x86_64
installed = audit-4.0.5-1-x86_64
installed = autoconf-2.72-1-any
installed = automake-1.18.1-1-any
installed = avahi-1:0.9rc2-1-x86_64
installed = base-devel-1-2-any
installed = bash-5.3.3-2-x86_64
installed = binutils-2.45+r29+g2b2e51a31ec7-1-x86_64
installed = bison-3.8.2-8-x86_64
installed = brotli-1.1.0-3-x86_64
installed = bubblewrap-0.11.0-1-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.117-1-x86_64
installed = ca-certificates-utils-20240618-1-any
installed = cairo-1.18.4-1-x86_64
installed = cln-1.3.7-2-x86_64
installed = coreutils-9.8-2-x86_64
installed = cryptsetup-2.8.1-1-x86_64
installed = cudd-3.0.0-2-x86_64
installed = curl-8.16.0-1-x86_64
installed = cvc4-1.8-3-x86_64
installed = dav1d-1.5.1-1-x86_64
installed = db5.3-5.3.28-5-x86_64
installed = dbus-1.16.2-1-x86_64
installed = dbus-broker-37-2-x86_64
installed = dbus-broker-units-37-2-x86_64
installed = dbus-units-37-2-x86_64
installed = debugedit-5.2-1-x86_64
installed = device-mapper-2.03.35-1-x86_64
installed = diffutils-3.12-2-x86_64
installed = e2fsprogs-1.47.3-1-x86_64
installed = expat-2.7.3-1-x86_64
installed = fakeroot-1.37.1.2-1-x86_64
installed = file-5.46-5-x86_64
installed = filesystem-2025.10.12-1-any
installed = findutils-4.10.0-3-x86_64
installed = flex-2.6.4-5-x86_64
installed = fontconfig-2:2.17.1-1-x86_64
installed = freetype2-2.14.1-1-x86_64
installed = fribidi-1.0.16-2-x86_64
installed = gawk-5.3.2-1-x86_64
installed = gc-8.2.8-2-x86_64
installed = gcc-15.2.1+r22+gc4e96a094636-1-x86_64
installed = gcc-libs-15.2.1+r22+gc4e96a094636-1-x86_64
installed = gd-2.3.3-9-x86_64
installed = gdbm-1.26-1-x86_64
installed = gdk-pixbuf2-2.44.3-1-x86_64
installed = gettext-0.26-1-x86_64
installed = ghc-9.6.6-1-x86_64
installed = ghc-libs-9.6.6-1-x86_64
installed = ghostscript-10.06.0-1-x86_64
installed = giflib-5.2.2-2-x86_64
installed = glib2-2.86.0-2-x86_64
installed = glibc-2.42+r17+gd7274d718e6f-1-x86_64
installed = glycin-2.0.3-1-x86_64
installed = gmp-6.3.0-2-x86_64
installed = gnulib-l10n-20241231-1-any
installed = gnupg-2.4.8-1-x86_64
installed = gnutls-3.8.10-1-x86_64
installed = gperftools-2.17.2-1-x86_64
installed = gpgme-2.0.1-1-x86_64
installed = graphite-1:1.3.14-5-x86_64
installed = graphviz-14.0.1-1-x86_64
installed = grep-3.12-2-x86_64
installed = groff-1.23.0-7-x86_64
installed = gsfonts-20200910-6-any
installed = gtest-1.17.0-1-x86_64
installed = gts-0.7.6.121130-5-x86_64
installed = guile-3.0.10-1-x86_64
installed = gzip-1.14-2-x86_64
installed = harfbuzz-12.1.0-1-x86_64
installed = haskell-aeson-2.1.2.1-182-x86_64
installed = haskell-aeson-pretty-0.8.10-142-x86_64
installed = haskell-ansi-terminal-1.0.2-154-x86_64
installed = haskell-ansi-terminal-types-0.11.5-194-x86_64
installed = haskell-appar-0.1.8-16-x86_64
installed = haskell-asn1-encoding-0.9.6-330-x86_64
installed = haskell-asn1-parse-0.9.5-329-x86_64
installed = haskell-asn1-types-0.3.4-308-x86_64
installed = haskell-assoc-1.1.1-40-x86_64
installed = haskell-async-2.2.5-268-x86_64
installed = haskell-attoparsec-0.14.4-174-x86_64
installed = haskell-attoparsec-aeson-2.1.0.0-166-x86_64
installed = haskell-auto-update-0.1.6-448-x86_64
installed = haskell-base-compat-0.14.1-2-x86_64
installed = haskell-base-compat-batteries-0.14.1-42-x86_64
installed = haskell-base-orphans-0.9.3-82-x86_64
installed = haskell-base64-bytestring-1.2.1.0-268-x86_64
installed = haskell-basement-0.0.16-4-x86_64
installed = haskell-bifunctors-5.6.2-57-x86_64
installed = haskell-binary-instances-1.0.4-153-x86_64
installed = haskell-binary-orphans-1.0.5-109-x86_64
installed = haskell-bitvec-1.1.5.0-35-x86_64
installed = haskell-blaze-builder-0.4.4.1-25-x86_64
installed = haskell-blaze-html-0.9.2.0-102-x86_64
installed = haskell-blaze-markup-0.8.3.0-112-x86_64
installed = haskell-bsb-http-chunked-0.0.0.4-496-x86_64
installed = haskell-byteorder-1.0.4-27-x86_64
installed = haskell-call-stack-0.4.0-380-x86_64
installed = haskell-case-insensitive-1.2.1.0-372-x86_64
installed = haskell-cereal-0.5.8.3-4-x86_64
installed = haskell-clientsession-0.9.3.0-66-x86_64
installed = haskell-cmdargs-0.10.22-4-x86_64
installed = haskell-colour-2.3.6-404-x86_64
installed = haskell-comonad-5.0.9-120-x86_64
installed = haskell-conduit-1.3.6.1-125-x86_64
installed = haskell-conduit-extra-1.3.8-67-x86_64
installed = haskell-contravariant-1.5.5-6-x86_64
installed = haskell-cookie-0.5.0-2-x86_64
installed = haskell-crypto-api-0.13.3-43-x86_64
installed = haskell-crypton-1.0.4-9-x86_64
installed = haskell-crypton-x509-1.7.7-64-x86_64
installed = haskell-cryptonite-0.30-172-x86_64
installed = haskell-cryptonite-conduit-0.2.2-783-x86_64
installed = haskell-css-text-0.1.3.0-385-x86_64
installed = haskell-data-default-0.7.1.3-31-x86_64
installed = haskell-data-default-class-0.1.2.2-2-x86_64
installed = haskell-data-default-instances-containers-0.1.0.3-4-x86_64
installed = haskell-data-default-instances-dlist-0.0.1.2-134-x86_64
installed = haskell-data-default-instances-old-locale-0.0.1.2-2-x86_64
installed = haskell-data-fix-0.3.4-140-x86_64
installed = haskell-distributive-0.6.2.1-410-x86_64
installed = haskell-dlist-1.0-384-x86_64
installed = haskell-easy-file-0.2.5-120-x86_64
installed = haskell-entropy-0.4.1.11-3-x86_64
installed = haskell-erf-2.0.0.0-27-x86_64
installed = haskell-fast-logger-3.2.4-34-x86_64
installed = haskell-fclabels-2.0.5.1-212-x86_64
installed = haskell-fgl-5.8.3.0-99-x86_64
installed = haskell-file-embed-0.0.16.0-2-x86_64
installed = haskell-foldable1-classes-compat-0.1.2-54-x86_64
installed = haskell-foldl-1.4.18-87-x86_64
installed = haskell-generically-0.1.1-87-x86_64
installed = haskell-gitrev-1.3.1-39-x86_64
installed = haskell-graphviz-2999.20.2.1-89-x86_64
installed = haskell-hashable-1.4.7.0-17-x86_64
installed = haskell-hjsmin-0.2.1-89-x86_64
installed = haskell-hourglass-0.2.12-345-x86_64
installed = haskell-http-date-0.0.11-237-x86_64
installed = haskell-http-types-0.12.4-133-x86_64
installed = haskell-http2-5.1.0-7-x86_64
installed = haskell-hunit-1.6.2.0-423-x86_64
installed = haskell-indexed-traversable-0.1.4-175-x86_64
installed = haskell-indexed-traversable-instances-0.1.2-124-x86_64
installed = haskell-integer-logarithms-1.0.4-140-x86_64
installed = haskell-iproute-1.7.15-83-x86_64
installed = haskell-language-javascript-0.7.1.0-261-x86_64
installed = haskell-lifted-base-0.2.3.12-432-x86_64
installed = haskell-list-t-1.0.5.7-55-x86_64
installed = haskell-logict-0.8.2.0-32-x86_64
installed = haskell-memory-0.18.0-107-x86_64
installed = haskell-microlens-0.4.14.0-2-x86_64
installed = haskell-microlens-mtl-0.2.1.0-2-x86_64
installed = haskell-mime-types-0.1.2.0-4-x86_64
installed = haskell-mmorph-1.2.1-2-x86_64
installed = haskell-monad-control-1.0.3.1-266-x86_64
installed = haskell-monad-logger-0.3.42-103-x86_64
installed = haskell-monad-loops-0.4.3-28-x86_64
installed = haskell-mono-traversable-1.0.21.0-127-x86_64
installed = haskell-network-3.1.4.0-120-x86_64
installed = haskell-network-byte-order-0.1.7-4-x86_64
installed = haskell-network-control-0.1.3-14-x86_64
installed = haskell-old-locale-1.0.0.7-33-x86_64
installed = haskell-old-time-1.1.0.4-5-x86_64
installed = haskell-onetuple-0.4.2-180-x86_64
installed = haskell-optparse-applicative-0.18.1.0-252-x86_64
installed = haskell-os-string-2.0.8-86-x86_64
installed = haskell-parallel-3.2.2.0-20-x86_64
installed = haskell-path-pieces-0.2.1-33-x86_64
installed = haskell-pem-0.2.4-385-x86_64
installed = haskell-polyparse-1.13.1-2-x86_64
installed = haskell-prettyprinter-1.7.1-358-x86_64
installed = haskell-prettyprinter-ansi-terminal-1.1.3-464-x86_64
installed = haskell-primitive-0.9.1.0-110-x86_64
installed = haskell-profunctors-5.6.3-77-x86_64
installed = haskell-psqueues-0.2.8.2-50-x86_64
installed = haskell-quickcheck-2.15.0.1-90-x86_64
installed = haskell-random-1.2.1.3-176-x86_64
installed = haskell-raw-strings-qq-1.1-322-x86_64
installed = haskell-recv-0.1.1-70-x86_64
installed = haskell-regex-base-0.94.0.3-3-x86_64
installed = haskell-regex-pcre-0.95.0.1-3-x86_64
installed = haskell-regex-posix-0.96.0.2-3-x86_64
installed = haskell-resourcet-1.2.6-240-x86_64
installed = haskell-rio-0.1.22.0-229-x86_64
installed = haskell-safe-0.3.21-104-x86_64
installed = haskell-safe-exceptions-0.1.7.4-186-x86_64
installed = haskell-scientific-0.3.8.0-147-x86_64
installed = haskell-semialign-1.3.1-52-x86_64
installed = haskell-semigroupoids-6.0.1-96-x86_64
installed = haskell-setenv-0.1.1.3-28-x86_64
installed = haskell-sha-1.6.4.4-22-x86_64
installed = haskell-shakespeare-2.1.7-6-x86_64
installed = haskell-simple-sendfile-0.2.32-187-x86_64
installed = haskell-skein-1.0.9.4-56-x86_64
installed = haskell-split-0.2.5-144-x86_64
installed = haskell-splitmix-0.1.3-4-x86_64
installed = haskell-statevar-1.2.2-5-x86_64
installed = haskell-stm-chans-3.0.0.9-4-x86_64
installed = haskell-streaming-commons-0.2.3.0-83-x86_64
installed = haskell-strict-0.5.1-15-x86_64
installed = haskell-syb-0.7.3-66-x86_64
installed = haskell-tagged-0.8.9-3-x86_64
installed = haskell-tamarin-prover-accountability-1.10.0-140-x86_64
installed = haskell-tamarin-prover-export-1.10.0-140-x86_64
installed = haskell-tamarin-prover-sapic-1.10.0-140-x86_64
installed = haskell-tamarin-prover-term-1.10.0-139-x86_64
installed = haskell-tamarin-prover-theory-1.10.0-140-x86_64
installed = haskell-tamarin-prover-utils-1.10.0-139-x86_64
installed = haskell-tasty-1.5.2-62-x86_64
installed = haskell-temporary-1.3-897-x86_64
installed = haskell-text-binary-0.2.1.1-29-x86_64
installed = haskell-text-short-0.1.6-178-x86_64
installed = haskell-th-abstraction-0.5.0.0-2-x86_64
installed = haskell-th-lift-0.8.6-2-x86_64
installed = haskell-these-1.2.1-224-x86_64
installed = haskell-threads-0.5.1.8-117-x86_64
installed = haskell-time-compat-1.9.8-25-x86_64
installed = haskell-time-manager-0.0.1-145-x86_64
installed = haskell-transformers-base-0.4.6-266-x86_64
installed = haskell-transformers-compat-0.7.2-4-x86_64
installed = haskell-typed-process-0.2.13.0-151-x86_64
installed = haskell-uniplate-1.6.13-334-x86_64
installed = haskell-unix-compat-0.7.4.1-45-x86_64
installed = haskell-unix-time-0.4.17-68-x86_64
installed = haskell-unliftio-0.2.25.1-88-x86_64
installed = haskell-unliftio-core-0.2.1.0-4-x86_64
installed = haskell-unordered-containers-0.2.20.1-15-x86_64
installed = haskell-utf8-string-1.0.2-254-x86_64
installed = haskell-uuid-types-1.0.6-222-x86_64
installed = haskell-vault-0.3.1.5-296-x86_64
installed = haskell-vector-0.13.2.0-325-x86_64
installed = haskell-vector-algorithms-0.9.1.0-115-x86_64
installed = haskell-vector-binary-instances-0.2.5.2-219-x86_64
installed = haskell-vector-stream-0.1.0.1-4-x86_64
installed = haskell-wai-3.2.4-146-x86_64
installed = haskell-wai-app-static-3.1.9-221-x86_64
installed = haskell-wai-extra-3.1.18-29-x86_64
installed = haskell-wai-logger-2.5.0-134-x86_64
installed = haskell-warp-3.4.0-7-x86_64
installed = haskell-witherable-0.4.2-229-x86_64
installed = haskell-wl-pprint-text-1.2.0.2-13-x86_64
installed = haskell-word8-0.1.3-25-x86_64
installed = haskell-yesod-core-1.6.27.1-102-x86_64
installed = haskell-yesod-static-1.6.1.0-964-x86_64
installed = haskell-zlib-0.7.0.0-66-x86_64
installed = highway-1.3.0-1-x86_64
installed = hwdata-0.400-1-any
installed = iana-etc-20250612-1-any
installed = icu-76.1-1-x86_64
installed = ijs-0.35-6-x86_64
installed = jansson-2.14.1-1-x86_64
installed = jbig2dec-0.20-1-x86_64
installed = jbigkit-2.1-8-x86_64
installed = json-c-0.18-2-x86_64
installed = kbd-2.9.0-1-x86_64
installed = keyutils-1.6.3-3-x86_64
installed = kmod-34.2-1-x86_64
installed = krb5-1.21.3-2-x86_64
installed = lcms2-2.17-1-x86_64
installed = leancrypto-1.5.1-1-x86_64
installed = libantlr3c-3.5.3-1-x86_64
installed = libarchive-3.8.2-1-x86_64
installed = libassuan-3.0.0-1-x86_64
installed = libavif-1.3.0-2-x86_64
installed = libcap-2.76-1-x86_64
installed = libcap-ng-0.8.5-3-x86_64
installed = libcups-2:2.4.14-1-x86_64
installed = libdaemon-0.14-6-x86_64
installed = libdatrie-0.2.13-4-x86_64
installed = libde265-1.0.16-2-x86_64
installed = libdeflate-1.24-1-x86_64
installed = libelf-0.193-5-x86_64
installed = libevent-2.1.12-4-x86_64
installed = libffi-3.5.2-1-x86_64
installed = libgcrypt-1.11.2-1-x86_64
installed = libgpg-error-1.56-1-x86_64
installed = libheif-1.20.2-2-x86_64
installed = libice-1.1.2-1-x86_64
installed = libidn-1.43-1-x86_64
installed = libidn2-2.3.7-1-x86_64
installed = libisl-0.27-1-x86_64
installed = libjpeg-turbo-3.1.2-1-x86_64
installed = libjxl-0.11.1-4-x86_64
installed = libksba-1.6.7-2-x86_64
installed = libldap-2.6.10-2-x86_64
installed = libmpc-1.3.1-2-x86_64
installed = libnghttp2-1.67.1-1-x86_64
installed = libnghttp3-1.12.0-1-x86_64
installed = libnsl-2.0.1-1-x86_64
installed = libp11-kit-0.25.10-2-x86_64
installed = libpaper-2.2.6-1-x86_64
installed = libpng-1.6.50-1-x86_64
installed = libpoly-0.2.0-1-x86_64
installed = libpsl-0.21.5-2-x86_64
installed = librsvg-2:2.61.1-1-x86_64
installed = libsasl-2.1.28-5-x86_64
installed = libseccomp-2.5.6-1-x86_64
installed = libsecret-0.21.7-1-x86_64
installed = libsigsegv-2.15-1-x86_64
installed = libsm-1.2.6-1-x86_64
installed = libssh2-1.11.1-1-x86_64
installed = libsysprof-capture-49.0-1-x86_64
installed = libtasn1-4.20.0-1-x86_64
installed = libtecla-1.6.3-2-x86_64
installed = libthai-0.1.29-3-x86_64
installed = libtiff-4.7.1-1-x86_64
installed = libtirpc-1.3.7-1-x86_64
installed = libtool-2.6.0-1-x86_64
installed = libunistring-1.3-1-x86_64
installed = libunwind-1.8.2-1-x86_64
installed = libusb-1.0.29-1-x86_64
installed = libverto-0.3.2-5-x86_64
installed = libwebp-1.6.0-2-x86_64
installed = libx11-1.8.12-1-x86_64
installed = libxau-1.0.12-1-x86_64
installed = libxcb-1.17.0-1-x86_64
installed = libxcrypt-4.4.38-1-x86_64
installed = libxdmcp-1.1.5-1-x86_64
installed = libxext-1.3.6-1-x86_64
installed = libxft-2.3.9-1-x86_64
installed = libxml2-2.15.0-1-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.16-2-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.20-1-x86_64
installed = make-4.4.1-2-x86_64
installed = maude-3.5-1-x86_64
installed = mpfr-4.2.2-1-x86_64
installed = ncurses-6.5-4-x86_64
installed = netpbm-10.86.48-1-x86_64
installed = nettle-3.10.2-1-x86_64
installed = npth-1.8-1-x86_64
installed = numactl-2.0.19-1-x86_64
installed = openh264-2.6.0-1-x86_64
installed = openjpeg2-2.5.4-1-x86_64
installed = openssl-3.6.0-1-x86_64
installed = p11-kit-0.25.10-2-x86_64
installed = pacman-7.0.0.r6.gc685ae6-6-x86_64
installed = pacman-mirrorlist-20251003-1-any
installed = pam-1.7.1-1-x86_64
installed = pambase-20250719-1-any
installed = pango-1:1.57.0-2-x86_64
installed = patch-2.8-1-x86_64
installed = pcre-8.45-4-x86_64
installed = pcre2-10.46-1-x86_64
installed = perl-5.42.0-1-x86_64
installed = pinentry-1.3.2-2-x86_64
installed = pixman-0.46.4-1-x86_64
installed = pkgconf-2.5.1-1-x86_64
installed = poppler-data-0.4.12-2-any
installed = popt-1.19-2-x86_64
installed = rav1e-0.8.1-2-x86_64
installed = readline-8.3.001-1-x86_64
installed = sed-4.9-3-x86_64
installed = shadow-4.18.0-1-x86_64
installed = shared-mime-info-2.4-2-x86_64
installed = sqlite-3.50.4-2-x86_64
installed = sudo-1.9.17.p2-1-x86_64
installed = svt-av1-3.1.2-1-x86_64
installed = systemd-258.1-1-x86_64
installed = systemd-libs-258.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-2025b-1-x86_64
installed = util-linux-2.41.2-1-x86_64
installed = util-linux-libs-2.41.2-1-x86_64
installed = which-2.23-1-x86_64
installed = x265-4.1-1-x86_64
installed = xcb-proto-1.17.0-3-any
installed = xorgproto-2024.1-2-any
installed = xxhash-0.8.3-1-x86_64
installed = xz-5.8.1-1-x86_64
installed = yices-2.6.4-2-x86_64
installed = zlib-1:1.3.1-2-x86_64
installed = zstd-1.5.7-2-x86_64
