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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-132

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132219

%ISIZE%
4375482

%SHA256SUM%
0ad3c5869813c23baf57ebf9f58ca164c9ba649a74c100c8be54c1ae8ef321bd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCGpkACgkQeGxj8zDXy5IyIw/5AQUVw3Q+efvc6ZdjQ7fHjf4Eqv7acr5Ivtl85eYwBZhHUgDMZMokS2kZDHCz94Kt5/GnriK9lyfiM+LPnE09C4WSxG7SmLb7qZcqoKCi+W6Nf/R92dzjOBuAOgTktGwASdvUumsbec1GAMzYiKqa5Rav0cCL8Ow2eRxgLIfH2WjnrMBfkzEJ6KFAkImSwUSCZlGdM8boyzq4JEzDXw3HZtsRprGKyMFJKLPK3G2UjsDigXGJvD8bgcfBrOuuHlxcypYp+SxdGo6FdujCgfdeicSYmoTLIOrZyRT+AOb8cdlFv6mWXbX2BFFP6WCP4F9+xjhyTvvgml1R5zqfyduZYBn9OdhoDqoiX+be/uN6wihuQwKFgd6IRoISYwMplPe3yaQxLfyOuKxAOaccaG1NydJHT+IyYK0URViq5ztcPhBfs8si60CAbPmdaiAb+/hJqP72GUY5kYxcSWynZWWddAvks1FTcpjU9z04n9QaOrfEWCMBgr185TdupG9hMkuQZW4LkblTG0nmRLvWvx/tLJSwozlyBUEEv/6uMLPKkJI+78BOwpmNWoCF13c9BMDqCg4pM9abQO9dS3Fa/kOs+Ak9rFlNpd6rFOd41+LHzxFjEGRdeqFmo6gAqRoR5ozsGMXIaO1OKhCGpajWLY2chf2fXfzuVcgo5EydAAOPaeo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791105646

%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

