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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-120

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132383

%ISIZE%
4375482

%SHA256SUM%
e4cb460a9c24c2b96aa9721e77516b6b415837ed67e831e811267640d31b7c22

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9WEgACgkQeGxj8zDXy5KAeA//ZIrGYyFSGy/O++RbLw62+kUq7ZoDwes57K2tEH1Fb4gFF+b8ibN1f/ZtjRw3Gn6uk9ayJsWGaP/w2o5d9JjWIb7w7awahLBvJ/tLHB1RhVuJRc9603TzDBUrMIGpuB+/3cfPMxM6wTA6v7exzYtBlDTBRaRS//UitdCwLmR4aQFPI1S9ZxdwOkWVIxcW4Y++TNJo9uL4WA3i0rXDZ4e8fvQ4b+aGrjA6fWA5q/QjNppTfQUvpaQDA976vXPrdVqgGi+k1yvAm7IBuVFWxyCMskmkT2iO+rMxE3QpaGwr3aLnyL2W4J0NrEgznTifa5M1mK71qIcLZckCDaDBpKlosM5eAyD7hMCSyLFlweWPzubWVeJgstUBjC4UQpqrq9AzOD0M+YB2ksHNNERT962G3F0DOkOb65Emm0Y2anOi9Vvg87BwwCSQhkhAmKdrRfeCi1CjVV4OmzTIPznIe63u+MXhsXsfFGtb/o4QHFR38ChAnn4QXYAV3zuUBRtJLtD1VeaB27PIObwJtRb9NPkA3ZX0WtjUgaR9rcwNzFf+sITzvqZKQ9yx/Nye1rDPngnqjPu4GjaIm2BFr5VhZKILy+q+99Q0S0dEzyWGDqJM+Wwg3P2/Ouydm8kFspYtIHlrFcfNujddaFqygs3UXODHwx93Selt0LKbqxN1KRMsH+M=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790793765

%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

