%FILENAME%
tamarin-prover-1.8.0-82-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.8.0-82

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
570866

%ISIZE%
2630938

%MD5SUM%
7e1df5f69bed7616881b14e6400e360c

%SHA256SUM%
37021ddc7b55d06b9caca6047a55ee057eb2bd00dbc8cb886b488eddbc0a4363

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCaRsUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbJTBAAvMpKnxQxkuXjsj1+oaFNHMiUPps6O7SGgVTl3NcuFz26T7wUm509yNxYIBYyiB81yZaNgqRutrRCtPGmYmjVYx863mtBNmZi+KQqMT7AyrgvDVBfzzNTnuK5L7Avz46aONJgT4h84h6PEyJSXG50DZx5anR/9Kdm+GDSHvuajyVoiZpvzX3bCWFLpUWM7kh74zQsW9/uFVyZU5qs66S0Zk00euWbcx+9ztm5/KRk+dvBK1HYF/lsJ94YG28ZdYk/W4LUHjQ8ZXBESB1GdnuqbaHqxRnk+jjZOegHLhEOsprd9hmjwn+4VBB1G77V/rXD9GuLajoCKf54Rwe1ByNQI2MliTxNeFcUGBR2a0T5SXBdcfnmQbuFykg3kbLZApovJjglZahmI5DW/Fr9hR9C5r6tryHrVPnI8w0KIxBMUk7rfaMJA1hmF5PlhdEXCEIZ80PRB6Ju58SHcpgDQiMqslnpY+bCDnCt6t07SAF/7iRuphnIdl3OaRNBakHd62PDDPhP9Apg7v2LA/gwSZAafH8L7BrFRFlhzID+j/RyiZHXfsDAogY4SYoAkGJBB3mgDu4xWHORrcWyLxbelexGJnmaqdHh5Z/NBdrhlAUbiIA/fFwlOh5AedyupyLCucfN+1+U7SqxDEN+0HbVA0WshlYFEvD/Xuk7BIkS4+Hiquc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1715411542

%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

