%FILENAME%
tamarin-prover-1.6.0-174-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.0-174

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1544344

%ISIZE%
5797388

%MD5SUM%
e59fc9b4ba2450eba4a2ae3657b806d5

%SHA256SUM%
94b4a97c3c40d8c10210d34b7159e6c16979f59f81a0ff8fb3bba05a84fc81bf

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBc9pkACgkQeGxj8zDXy5INdQ/5AQhe7catsVu7QapwAVkRBLx8hz2TryJh2w9g0phEvQcdwbujlWdr8Vc5qWavPr/tdUGuMMtfoJNMHJMgH9tIuorOvorxGtn3GNsPBdOg8bSb1zA+VPK2Ilz/souvTdstIHHlAqR+aN9ySGNaI3WtCxKSBavIAlOGSbYywb/a7YDkBSNOGU+XfT8vA5qQsQXHvbf87VRlVWwb5yF2CW4cEY74Pad9jCko20H3bNO40WaHNTGybbPjAo6Kw0iqqheaxTRDBG4/ROMnEzs6KRZHgwlBisPfIm8nofFU6eoL3UrhxBml6AZZ0RmJTRkYrheHaIN+l2HvlKRo7FAJfDhcQ4p6r9D8vACQHHzkJHS39XcSJAF7PiNJGTpHdgEmIyHS0+gCMT/qzOrREHnljgQDFBtSVQPwqQw2fAP7CTxuF2zGC9Ke+awFYIJwESWDjcfnDkFql3GNBuA4NCzH2asZPXbXehHSKcyrbo7Pr/vRgr+0HElWFOvNQcP7vwM8jwzZWwDt/DeYAd4mOV89La3LCmx/L53mDhLKk9GAKEK+lt33hSdrDfSEZKQtfPd/1HnzTWm7GnWr9wnWXuHXH142Da1gvQd6raYLj4y0rhR9l83aIiSDUE4Mns7AO8iXrBax2fEJo2tlPS3Eub40FC5KHFXnbaMGBfotPIVgIWQkBHM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1616705076

%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-monad-unlift
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.11.0

