%FILENAME%
tamarin-prover-1.12.0-157-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-157

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132402

%ISIZE%
4375482

%SHA256SUM%
f01f2572eadae998695bfbef48768b8cef76da668182e2a75260a2d5d6a2d617

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVXkYACgkQeGxj8zDXy5KEQw//dVGzgKBId6YRLbbUKysKB41y9jYShwiMhcdbCCPF5m4Bd6/FTCfX3lvWWBIEgXEey/epZdafuLVCjCG4T0KhWENp6UHM5qci6FlK3v8sPPM8YxUyKVyIAa4KWrhfowdnorQBq9m3MRr3SrKqZWh3ogi6GoJrY9iHVDxWfG93JYf7BUgro7ZNvB5PTne1safSVWMwz+NrrPvHPYYcXKwiiQuOAl7Xwbpvrwzeb8+5Fs9Tmn1/ie09yRjcndcOOL8QAi5ErVkSJoEJU/WTyFoQV4KjBNzrzdMJV3VDs/p5FkyZwXLvNeFduW51zKBgBArSqBHi4UKPGlEaxoahsz/ZDudsgLq/dE5Ww8xsxaQzQAq2C9e4yLedRWcxIosA/XvsK4uiqpThhwWuZp+3E6lgFKgo2VvC5rcGXQ2vspzIl7/Q/vf07r5Vi1fZd6XxXp4LIRtII+HepL0F+IWHHFDkblwZ1RJBO/le76cjLxPfx/ZahbOgLBa/8oSXsdPl2vwfZjQtFk821mZUB8eWd/94XVWMCS25NrdiBfjliq75iNO9Tlji0U2ZR7JGA49U8sskRqdjbFIaNToIqj/fdhP3PDgpNLuOTFN9Au0ZzRliF5pvj78ukElOnicuMoySz5dB+NqVl78+VTTyRbLGhC0YLbpEYoXi0veZ9zqXwKBfwK8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792368128

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-html
haskell-cmdargs
haskell-conduit
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

