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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-79

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
585186

%ISIZE%
2756946

%SHA256SUM%
30e0c8a27ca1a7a23f595d78e2579ff04520fc33c2efcb2c06b399cff548e4a8

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgzDDQACgkQeGxj8zDXy5IrpQ//e2pOrG0DVMUcicr32POKjcw1gdfEAd9X2VRQUJ0flBJw0BR0FLWPu9zHZ79IpFR5Q8Dv8+HJMqCWk6lrtGkCV1T2YwcR+3IeSAW6uuVR6BFxSAl24Sj/13fuDOaEcqjshDxrm49lfO1QLm5Izif9bGyNop6E57vEKR/0lAWLmijiQUZpAnHl+RQWSe3+F1a2tW+/DkZQrcG1p18LFRwgOzwkD5gqxGK5ETqxMsQfWVLyzNnVz+zrDXhMSCZo5TF+kw/JKn1pN2LGxkWNpTAVdnxaGSWTIojzvHY5VlUz9Y4VrDFStZO/473bJ0yO52OThjqIet+3IlF1+UYOvx4LQfcz8ZR7OBXR9LddBuDkBEpvEX7diV64OCJAxLKBkqFZBRuEJmrHI750RmxINAsw7AmK7zVMC6XEQ37h2Hrc4RHUuGA6KJeqYWn/3AKe++D4WnjS4O1Yyg2owm6fXUHDPvQtwXNpnOY/+DU0hSR7OO1cm9RtnbvX5T7VqiMJJTfd6V0Vg6uPrkJVQn5FPHZ5xWFCQXm+ONCAGd+QBXES38sE7ckCdJbrreies78PtGoc4+C/r6NrfmDTS6OtkNJq25zjGNSkeKBHoRHciV1BPvFaZ6UIGEaj7P2J6G3d6OaaBGXSKrLaxMd+YDvg1eqw9YDHWGLIOVVAo2ycV2tv0mk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1748175772

%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

