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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-329

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1656931

%ISIZE%
5710022

%MD5SUM%
0203ffdb97e3cc3b1d8b7c24666c2a37

%SHA256SUM%
43b2825308636c4526f1f62dcfa524bc335af8c1c4f0d665a162dfad1010608e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSJTJAACgkQeGxj8zDXy5LJoQ/+OG3NB/PlpP66WxN4kc6gXH09QfClBK+u7jN5ugNAd6SDhffQhpE+DBAKEVPyDPGXf5/cEawVwt0jmBLc1oPwvNCqZOw0+irSZAEs0O23+g6Kvttuyp0pLO+jICtKDG+Q10teb0wECw1yzY0MBI2cwFGIsGHx8Y7pLEkhFLoWBr4U/zTLrHHxnIYn6b/V23qsBokujSjNwCEvFpjD80he2UKQkWAt4TEuTRQl27Pf+NfyUs3jOrLvRI8j5dXDKZsdyv4KijQ0oRo+B+ZjRtBOgFO8gbzTiLwsN+8dqiMHmAKHd2wMXdf4oSUXGd594ypcDaDRItNf4gNRKBofLOiqUz+bd5qvCdLsdFQgu3lNEbkv0AGSTvVEzUegnnf8s2UoevqGJF2e5mFdxdkNiJNo+vIAFjZ2R3M4ktLIYs7Naqwx20IjMvLPB4M6rbHppJys7sY+ep1xL3eO02weuxnLqp1UErqng+Uk0yAAFuAuRa2NuLZLVGf5ePtN7AxXctRGVWFrJ/MM6fGA1zW2bhtQkfm2kYECZq4fSBj4oZouYEewlKmE/iY3GjNAaTWcLSCEm1E9g8J1c4H8IeG2vsa/m4uG51hxa/g5hOtC2BtP7q7YQtydNthEVZ0pZbqNPdc1wdv/5CzBXDI737/lke+R4DD5rHFUnjgtYn01pLFNZKo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686719559

%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

