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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-66

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1571373

%ISIZE%
5476304

%MD5SUM%
af1f98eb9b02a2ffa8f9259fb62c8cbe

%SHA256SUM%
d19c584b72e52f14a1472128973c8d313caca77aae842b780f73c47b57368a04

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHkLfcACgkQeGxj8zDXy5JEiQ//WmK0agW94X9tjMXW/IPzWandqW1oRZaI/C66y6IvxzECNUGnBCqpeBJm4pyiwn+G0+JTYWAnjte65AtR4cEqGcbqoxIj8+b8P7xvqTr5zuvJ4cNJAWBidYvhRxT3xA0arLw/L5bx7E1uL94j4Y0L54Jw57GtzysdlJdum5I4tWhj4+RXJVz9efhCe7MHWUlixiUT5MvrlizfOlF+2g+IKHxwmFnttQ8QUBb70ukt1Rs58PFULvYnTjOugFJ9DPRi0IK3SBUNLDotVMCqfRSujlC9Xxm8PJ77jUJuB8TPPdgaly1LkG1PqlZBcMhZHBPeE2YLJ2Y1IzOxnhe8ia29rsMmL8QsgQKBor5ZXOwp8xZTC08aMsl5u7PZoIV2kATq7R+eCKC1118Neo1a1tNI+LNaPCjduS59+2ACvdFkJ8Go1sKnJbQ+CzzqUXcX5hv6pRIe8bpQQ6zlbJaY0Y55/Js/vZZanmKyOXAJWBYkwg3REvra32tFTBUpDtQj/YHp/HbpfhO8ZhV6ukCBsoH4rmcf3wmZQPgH85VorjgMn/bq12/m2UfBkVFRggd4TOlCkgdXTBl+9c70NsbHn9W6dmB6hxEnaTVh4qM9ByHtJrQrvvPVqWfc9z4ETRGYcOkFI2uzYKkmn/dhbcJ4okAjpgUqIJORiCsAghMMuRShFHs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1642343712

%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

