%FILENAME%
tamarin-prover-1.6.1-258-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-258

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1621970

%ISIZE%
5615211

%MD5SUM%
b8d562d6a2fab36a0bf6ac44a9028ae4

%SHA256SUM%
d7d9115b77fc6dba35c2a34c1f6663a7fd51bec8e31ad694f3420d69a24e7c82

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmOHlE0ACgkQeGxj8zDXy5J2ww/+P131/aPQoh7Ul/U5DxgLip/pniuhT4/vxe1qeMDvbULydoSF8JyLqxq9LVhOagABNnmfhq25tfhxtMQXW9P8O1ISIEFHKF+ORtWZ0NYvJxzIWk5Jgzn3lDv3jFVgCY+6FgUIQAkSmlbKtR6QVCurByNHvCR2ruYrimPO0Wm0b15r+VAI7GsYillnL9wqI7buUNxn4CXqaE/ngpY9x2MqQu7yK83K+ogCfNx/Esr+gpQ2MHIjZVyBgMsmg2j7VT+mG/tQsy1SjpJ2M6hRv9XXaZVqjBGRdUWRg8s2yVirg71tODtx07FLfJ9n2abX7HL4AixJWV6E0///xGV3dP7+slpALaLpfkGdJ0uB7bYugZTyyUsO2ASh9DQPfdLXP/gmorxJXVRGS0yMvEJ7dzoeb7L9YepsbBg1KY5vTVKM/L6fA5Q1DH2acm1O6BdEu+9z+boWInhVfNMWu07ngR7oCYlTApeB5Unr+1h3Rzgwnikp56MTxFfIf+3To4DYInz4efG7vZxs250cZvUR/ujNU/BaIVYDYAPYZBOWrRIKdDXHEntX4r5WrghZpEAjNgUJtXEkiBi9VtrNwQvNmnyheqADuwt0lftTNh/P/i0aNUmNf+8d1pHf+/NcdK1fkQdU3NoUO+40IJQ2X2gcs1TrGrYR2mlfDOycfHZu8VLWGjs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1669829645

%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

%OPTDEPENDS%
ocaml: for sapic support

%MAKEDEPENDS%
ghc
ocaml>=4.13.1

