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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-131

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1575674

%ISIZE%
5484592

%MD5SUM%
1a17b8e1e7ea0920002c7fa31cfecb8a

%SHA256SUM%
19d51db46bcfa24f126d329aa6a59caab2d038799138398ac82e85db36f1f0e0

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhOgEUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZnAg/6AyBnKlBFVlgcLOh+iiN6BIkOARvVTA9mvUeCSkNv9H88YnLjIJ5LB0GsfPaYVqABRKnhQlyC1gZvpVKHNRX8F06orHBnYygFzPVTTV9ETh1sejVev/K0OnDuUEUXbMFvRQrf3iOE/MIWDsQc9hAsfz42Ll9yuvWlKhFKJFjh6jV9YKIF1z0QKNctdN+tyXyJk+lwGcXHgDLDiKxxclCQzU7BMSJDbAYMh8RA5o8PUS2XOQUCwCb+xnsr+mPz2mMOw9pyZVwVNm0N087hn0YlCCs4OcZcGHInye0ccyBi/EugOkepT/Q2zhNrS2XO1HLFnyTA4/vAZMRD7jR0W2cZ/untUnQxbGq8PS+oJ6gWa/dlWHBaGEDwmjwXEMANM4kt0QKxJXovk0gAb8YDZwyAXozWSB0Igkv+0LlT9LdKbWoNY4mbNfng7Zm3nuat7QoSV9F63bbN4OLNfi3vqg1HNKld3yETuVqnSLmACgUIuL/DRg9og751TvwN+BoGdNbgY4jISZC3tx2KkcaBdbWciCpvYqxsJbmzHME00mTwqEJsMIgkJzFDjiHLIcd1DcjewSV6jZQPrmcJmJXbjr5fbquv3Wb02Ba2k2lPyQKq1PVwlxMLEmXdiwhdG0kHzeW066ZwyaJ6oeHgtL5Etq/O+bnPNNLJBaqcizJcFGyIiKU=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1649006179

%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

