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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-75

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1571697

%ISIZE%
5476304

%MD5SUM%
311be1cda900f04dffca1a7149174571

%SHA256SUM%
1f8bafc759c5bedd1143e3c4d8be0b94fe14bb347ead179b55f8b805776905a9

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHxi5AACgkQeGxj8zDXy5L94w/9Gg8gZiwYByWeNJzVXfo/MJdPgP4E8I603aHsxhT44pgbrLnr4pX0FOMRYysp7zBrIO/kYIcAnimvEXbw9xyQNNKXo8JOc1NBU4scdvvKHBBrE4C8dXydeAAzWAy9HaMpyYk2/T02+qKUo58UUCi1PDwH7gYjdBNognF4DeFNdUSdKc6nEGZU6lfn2APPoRc1XCQAnUoi3nsCykormWZgWotZrt+O0333p61wegsfNttz7vFJIeH5L/junhX711op+cHUa792SUJRN81rO3FGgAQsESmPx4qGmgF813+V+YT64sXdfFdHXAaNO+KgphI6Em81wsPCAoV5oeduSd3znFfqGNJZP/CaYyJhbCnAgawWli1HjOLwff2hLuqm0bCUHZlLaDNZRo3ANwQMeEicvTtzDO+q7r4Lzn7C2cGlVpLoPyu140eanCTLfK4oRBCApgYsVkgyRTKazVByJFCE8K3WL1aaIRaMtzYZFT6ukw46A3xL1nxqFBh52PAmuIkXqCZLE3Cpvw53XIQcM6/9AQRrEeoDWkH/QjkcdFOCdAjkiMaxXjTHr7f/Z45yxYKXLN2WcxYfonCo9DFZkDg8Er1oqEvE2g6Frelya0rjYHJ1aLIGL4X1PbkiDmROO7ZsYBByaSUBlhxjPHIzMrzYacTHYMl1kROYRpbkY4a0X60=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1643219819

%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

