%FILENAME%
tamarin-prover-1.10.0-221-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-221

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
571794

%ISIZE%
2655026

%SHA256SUM%
bf700f0559a825dcb6addd3c2bd701e43f58d5cfd3844f31e0263525e91d67a4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuyM0ACgkQeGxj8zDXy5IjxBAAkQh8C6BljOtEOqR8/ixb5BUcwGBA+qX4hLAOR1vXQc6gNbdxeCRBmdybopSD1NSIstVX6IIv1XBdpUt/z9TH9IL9Xy5XOvHTI0WXpu1Re+lWzprUgu8x3Wrdf7NAwrH0wbSLPDu1eBCn1+NUyWBwLOE407HVGmt+/iTIPiXmNxnGWfAYmBfXKr2QyZ8xEf8zA3O5cHJHqrCLL4RcBAuKTfUKl/JUWOuPE3lLuPJ50DIMt4bU5FwhT9gO3/VdNB4eBO9IAblV/IX099Y3wyw7TvmnzO51X27fLaL/8N07eV6VJpkl9w8ALnsNFlSOJpNE3kPN7zwU4lQ6oOBGpJ0znE+kTWAw+CkKbGbuybkbuj2qOBOYJaGNYLVjXTUnWdW45pOQCBcbcOHcuArUU0Mlfyep3NfxGVsldRPb4ouJMIBp+bNYYvfBcpnMUZXsptr7leTd6Izj/FY2u/ol9Yo5kPcWAQocJdYzb5UcYOV5WR39YOcscacvJ7uKTHUUa4YAeF2rVEhu/7UuEY1teF1FQIbIOYPiQrVQ/wrx/wdbuEsCSx0Cc1beRONvNdhbsKbkrntHyfgA0MQFSha4Wzi2UiJzQ4NVZTr2zwevxit3nahjA8E10WAFK7D2X5SppToFXnLkNtWjfgLtGVsM84nPqHKsg1Cz3x5WqkNuvkBbqhU=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760479389

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-builder
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-fclabels
haskell-file-embed
haskell-gitrev
haskell-http-types
haskell-lifted-base
haskell-resourcet
haskell-safe
haskell-shakespeare
haskell-threads
haskell-wai
haskell-warp
haskell-yesod-core
haskell-yesod-static
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic
haskell-tamarin-prover-export
haskell-tamarin-prover-accountability

%MAKEDEPENDS%
ghc

