%FILENAME%
tamarin-prover-1.10.0-8-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-8

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
578411

%ISIZE%
2663866

%SHA256SUM%
8cdf025abc233ea79955dbc23c2a9a5c8e871aa222c73c6c809935380c771cc0

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOsIACgkQrx0hme8KPM8aSw/+KPneYu08tx9JXFRfkWuqg+h0LcQfvnpEEn1fyJ+BJ2U2hH8RHgir8Xd9E6jxaYJhlLhtwfoI18Y5WOCz7uIK+75UxdzD7V9mEiPwd5gvLK8E/+bwfN9yxIiDShmi+/TEA+slKXJoOOYAtoMnoMUpLbwpsgPWl+tpjDlvbiSFeYQMwo/gRFUe2OtDD4jSeth0EOytlCBbjWprfyojWUTdcsIUGmQslA2Q4w1qSDebnINeUc4Vt6JyjZL95YqoK7x9kRzKkQRraRrkW/ErHfvuPIGvvF8QPFPrUlgRjA2SvE/PfkbyBU65RVd1hGuPyxGb9b/w2kSdyB2WLtufkyxWzm7g+6UJjcNpAno5+OiBoQMuakya8dGE1T9Ns9VUxGYrFXewJr/p9dDGXuDrZ4ZH3C8uELkVXqJOATraov+bnTv6UBdailUG04tdQstlENS0iva8mfyWY6ltnvqguJUPtXet7JYsWyKW3R3IxTKOwx4I+PWdTkeL46Cgvc3FrFy0SziJZc2D2kHrQoaGqUoQgmUklSmNzWnCEJ/iqEg949KRnDBzVH5cfpObadxEBAvuvr/WmxUR6e/bZTQ06FHP2ptKU7ABuuJGad4dKP2j43Qjdg9jQ5oYgagKj40pj1Bz3LoOjehiT85hGaTe4w/vFyxegIt1hPO9KI4A0MSOPw0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735941082

%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
haskell-tamarin-prover-export
haskell-tamarin-prover-accountability

%MAKEDEPENDS%
ghc

