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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-32

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
578045

%ISIZE%
2663842

%MD5SUM%
e38fa0bbb225b1c0e01e5e31c0bedb46

%SHA256SUM%
2bacc6fb4d4c201e1b26fc85cccd2446491ac97ead028077a09c66f302e8a242

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfdIqwACgkQeGxj8zDXy5KdrRAAgLWaT377VjDST2jU/G9/cun9KMjXb5v28m37P/eBBsc5DEdjeXHz+mevd/LlgBuOnr1E523fh7FJChi5zgv7wt5EA2RdnbXGQCtOpevxZ5Ul5vKvnG4FhLwTIu3VcOG/QQ9XqekP2bR+v3RbUnuLJyAJrPiorUS1j3mIpQh9S6RL86QZ4Gzi0/9j7iK/K6hy6zGIuAMSjzuDdruxewUyyvqN6q3zyeVn90iYu74IAQry/NXC7aFnGTiJJkgJFbsAEMLdOAWOYML9YMOKCdR8IlBrmv2GUcICYgMx7JIU9tzkem7qA4ECWj2BUZmX9hgC3SuE3R+iJoFrFkf2FahqTFxwsbuZ7hi3Kn1TOzLublcECo9MgmjZ5b+66ah8g1K11cHtcGlCpaod/3cw66Xxc9UUz7BrrK5vXMSTzLXqSlfGW97ogO1DOL63LX3ojfuNfvz8aXgPoaOclJXH0BBmB1VoJShyqTK2HYvRALlIzeRqLhQ2zCjLsP9oBmo9jfnmcGRRJ3nydxZhMN4frOPpWdAfE2pC0L24HckX7zoxol2YK08+90pCENQJ0amzBu4sgbK57/obnWnlZT2/zfmjmevqtRy8Zv/oM7sex4ORlo15GxUC5yk0qVyJWgY7NUERSALmYe3ND5SEbBDyVKctHxSzBLKnJ4YceUm4rcbqsQU=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742545530

%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

