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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-125

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132253

%ISIZE%
4375482

%SHA256SUM%
8382c588ef12a435481e62c3cc3fa2a16486537aacc801c68bbdfd16efcf505d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/negACgkQeGxj8zDXy5I5VBAAsxlwaYnXC/iHQRqgcTV5nhO78Au4QnU3TC3fJGGFr9TfoCRxKY1065BH+UHyaiVGUOskm5zlYVWXQVUtAhmfUsMT3HXfISJ/NFZ6QtiW9HGH+ASlmNfFONd6CVKVR67CYMNlm3OY5oiQXOQUZEvRTxnn4mA+60ERfMnzEy8COphNPEfq6cWY/VpSigLgCyDRGv5b6Pjo6SoWhJEZlpkgppSC/Z+7qydw9WQ8lOnKNbFieRvBVuy1YxROlA1uxzuybkGoiHVuNYpvZcaEXdUDpOtszDtu1pWBs4TeDRmp8uTgNdKqLmkubG03KHnyFIa4zEqvogFR8TEWHyePrCaMmtZc1NTtld4YW4zB6QTbh4m1zdcozVLyLwkJN+2722aVTpHqBIaxu1wjcnQS5VYwRTLYA364D7nykRCrDPd7Svp4pVIAWZtUWwt/Ff9GvOhecipqzNcZEInEO5iXqVfraT1jmdKJ/Tk5BF+mcBo8tkGfB0KzrTpJzbyRxbpJG43THc7vuHU4MgyEtnL8JeNVVrxvl6sPMbGd3dBBo8A151N3BH+1uHRjKK+UPFus5wI7x/7mFfYA3l/7fb26MmzKO3DykeDYJXpI+GZBCVkaPee+ODCjJjow+bDQadLZ+SyNHcGZB7CZs3kIx6LuGLBv1nQC/kDVQUhQPwWY/NiAFiA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790942562

%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

