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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-316

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1620657

%ISIZE%
5619483

%MD5SUM%
b1d448840fa808b42bd6607aabcf4eea

%SHA256SUM%
f2ae2e0569bb9e54e51a75cc2a80ee1d8ceb164ce65413b099f9beaa5a97b7c6

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRj7acACgkQeGxj8zDXy5JBjg/9HvjbtrbOPB16gpDOTqNdeMzyBrTlBHdzshzgSNd9VEUIDMf+gjTdnp1HgwyLuulpeIYc1vle5YGTBXboqPNhz1z1WFmBbIHW+kfxcNWbXbEqm4R3ls+gHadqDKM5ZycjaMK03K07qknOELdZXVepUX9K5mdqVScRh5WVT548ypZpnforfmREC3u7Prz9F9rz677Hux7VXB7P/0yaunnG14eWfPqimH8yVHl6Skxy+IN8NDWYDm9xYkYmj+bt1Cfca7xZaBILhxtVDaPg7REHlzTP77bJ5+1erqpK+MT++eVPrFSjghIj1OFe6nBer7lBoRJt20/tMvEzFbJkFwBNQfeVsHwOrDgA75RS2pLzUSMzuj6qTGqpcOEgTWIsBT3YBd63k5prLKx3QBl+EBMmp9nDswDzFc7tdnUYE3Dm8okX4WIz7UDfOfgpmAFNIk7NX/J5HysBwFH9ApYNrBac50TaMQWzLQOzsT21dPU1NtCnOOyS40QJebkZN0Jt3ZZazlGTmPpTlCYZrRg3MkUcuQ+sdTe5WmVnbWz1aYQRSWsih7sY4Qs4UcyEJYvLpORzitqtsfp6dXpG6m9WZIttSJt+Cf6kw11EI+gWYoPX5hnU7/jhVDU0GgKPWxyTv/58dHLpjqKaUBC9du/jj8plTonv8B+L3DoqKVmV0c5ya0U=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1684270448

%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

