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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-8

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
578411

%ISIZE%
2663866

%SHA256SUM%
8cdf025abc233ea79955dbc23c2a9a5c8e871aa222c73c6c809935380c771cc0

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4XA0ACgkQeGxj8zDXy5JPEQ//YTsd2SxR0JoIyFG16WCVJWyc5udIatLlqsV5Y4DmXfE/VXwG7Qgu2lJVMQr/eNwx2wXhv1uUd3x22nmvlT93RJ8Gbz1S0h0ZnXUflXe1dvanA01hGOqzR9CjcQCBvoiDMIKL4aA5I0An7Vf+F6WmIjxQRXHcWRMUfF60ooBSBGefkj8s9lQCwKk0ZQrmqLyb4VdahDucB4DTs830NqO+Q8BqMp7OdlWH0ET1bWQgQmU7IlmQHNgWNDCvr1ywLalHdoesT4tYPOvQuSDHWFfjrY/Y8ixhw1cdZN2SKR9VhDz3RiXXWpZWbl1ow/Ce6qi7WPVf9VJax4GKHzYj6ammsSW3oQMhACbbF/VoohqQ0di4W3zptCqtdYQ1QNTdkkSFIHM7eZbS76ll2sV0taHPjkT5Klu4ev0LOo6FbZhCVcsMKsx/GN8USsHzMn16lradEDFX8siEQ1FtZdmFniHEcGO30lwBFGR0AV/YT8Iw/Eo5OndwMShkO+SFXGIRUb6N6YuYmIZr1wAnhMAdKxweCD9vJPvCph/UXcWJKtcdgoUvWDV9z6TfGANstDxRBLm9z4VSZ+Lgx3deeMcCWlAOx0li7BsJ35fkc2OFIMvyxB3PNGi7V7x2gVWp7ymh+lHaDNewKH4dVhVkb1r2l/9gq6kGJwb39aRwrt9QwZa7uK4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735941082

%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

