%FILENAME%
tamarin-prover-1.12.0-165-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-165

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132332

%ISIZE%
4375482

%SHA256SUM%
f8297141995f3ebe9ad82ffbf0a6207ddb14ebdc51b7fde67a8374848e035eed

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAl0ACgkQrx0hme8KPM/o7Q/9HPRitla56sxF0CJtL/x2tUaowt4WGgQlUICL7moMhBczhFpoy1YgsKxvXuHC7il3lU6GBOBkPlc3jH1Cv5bqlDjy8DGaM8N5TuFjyoUoRNlauD491B1nwc5E/yllDQIbLO024UvW6CSwrcX/ZSVwx6dxSVVxILGCRIXxVO9brGUOpAbF3MsL5KzwGORrrooQNcUp8mpTVXhezw05iRkmusfTjUaNfYfR+guFWGNxXH5ZuGh1GUeRfreqd3xXCcCGVuT2wdICnd2Ze1k7JrSThSoTjm0Jf3WAbbm5MWR0eKWJRnGZjT3uWUjNitjbPdy/opI5Al9RwXjj57n3PYw6hp1oezWtPsv8kyuggperQWm3ECavArbJAG/DF9bBhK+3qZIPyYFmCPoOqmO98iEZKEH9qVCJkjkFWKuzmjEQq9OJNbzaHUl/Aav6PhnA7U6Hp8RnJhuVC4Wy4nsmVevL9nF5LWu4crBEzDTButhb7p8Trz21/SVWM8DWkf59BmS3Vt9Hxv0zXdpMDHbE93nNKNFkZ/8RVFJGiJ5QlH0jbGpvM8LdSY1PoL/MbyZiBPRqFWkKNiZb0e/Hi7AGfZDmqY/7LhTFBc37UgUbyXSRH6Q0/4k9g2B2p4Ls9ydvS2MT3NAu2mi6Bh7WcgDxNwVS9ysMzGP7hXiYpR13mHXBvso=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792813188

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

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-html
haskell-cmdargs
haskell-conduit
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

