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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-29

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
577937

%ISIZE%
2663842

%SHA256SUM%
f3229c8043f46d79206b8c33c3eef434504b4a06168e888919f7b4d1e73a029a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfVvB8ACgkQeGxj8zDXy5LHIBAAlfNqgC1f00pW+ni+C6c3H7m/D4phiw9/MG0kbwy1GBsfJAg8ZvohcAdHcYHBzl5ygX3THy+JLHvWMdkHkRHiyfbQS3OefF6J/v7U4QA16E3g7u1SuZ1GfQYLZpBum5q2mjfXG/dWBCfaxj2PyY3u5EeaJvkwj5ZtJA8VubiD8Zzat4UFCR0CNs+H6PYTlV9ilr6FfkOuNw+LXBhDOVyVYZhqN3Rjo3EYoQPLzlzCEoy89ipSNWc4RBoEzMVVtVXJN5jeo4PTgAdEWeT23wNOWRchs9JLsquKON3Xrkqoxg3rmuvZjrcM0NBlfaeCbbXk8gNwPjdaYBgBCoYnMBNU9rzndDvFRsDvwb64kdt1LWeh2uXUPHNa6oomxYOuPlDr2iDg3eZtptaQYVQIC+Ey05i5duZmbU7fj2WQ/DbFvRt+4zvx0IpaAN4hmaIP+px3gkE08SVhIw6LxBOyKmcDrZAi8Bscl34vxRDz4brD6Fm0jNO1iTEZrXRrSzVHZP6P2zY31hL4OA6GQ8Zo71nfxBAbXDz/UY8OoUjn0TTNxrxwkSHmS4JrG2WMO5+ioQ5hA4u3FETpXwrJ66pQr05iYWS2SDeC8zjQpgJB4TPRdSnzFxafK8omDmgxTTafUWSLQqFCBHtjYwE8/HlEb1TsZqAZVKpeGNBK5GmO5L814t8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742060520

%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

