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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-227

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
571876

%ISIZE%
2659122

%MD5SUM%
463e7abb47e281b75b1b4ba4375a6662

%SHA256SUM%
1c157e20d1a5dff11db0f7c047493d01a891149bf824fd01b5aa649d2739b230

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlajdEACgkQeGxj8zDXy5LEAg//Us7jQjtOo8PW/22DduqD0oobRz8q/3m9unY9kBokYKgd3lStk17vlbRdZ8EPSJO1u+jfkr7+aRPz5SEBgrR4rEdlGCRDMHf29FD4WyF8jibp7uz8bT5DgjI/xMaYzL3Z/d3X+yTyPvf4DZg3B9xf5/lxOVnwjJQgZBJi4wiGygzd/8/Ho2tqsy5VStjr3a+h5q84HlAuzTJOXzxDnk7mGbyWIo3L0fNNZX2unsW/prcQfKG1TYLg77qRp+auNWa6sMxOh0iPEOpZtUCqtxP+4NpZ5T/q/9fbLH3th6I5yQduiQDRlFERmOxj4pwvMYNW1ziV9YPg622K9uMNuav9Algzph43fZJQAUJzK1XNK7lJrlI88Rkw4BglSGhzNJZeiDMDGfNNd3ZylJI2jRfSq9bL7laVxidvWzmp7kmQV27b59suSsevgwJJBR3BDR0FNHraN5qVsjP0KepGzAsph4UyMlL/dLx8WVqG6SP8aH8N3JNxUCv1ZMAQB1hpJs53Xhu1xFllLJqzlIJVg/adG7DoQlGDHihLwT8BqKpm+tbkSWrOn6pWVn4GU0tGjlOXsvEsIdEbLkBk6B1PCtb/nFrEO4yoXQ56KcQSGTVHLOHVoSZ9R2Xuihuw97vEC117GgtqRn+IAMETamyeJ8edS4dfWx5LNW2XOMFJRxmrFVQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767542113

%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

