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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-50

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132773

%ISIZE%
4375482

%MD5SUM%
87b6a66cc11f6ba54daafdf13de56d0c

%SHA256SUM%
492be07ba9db2c5f5d93ab56726fe30cfcd2d0a48f16332b56121b9f2995047d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGy+0ACgkQeGxj8zDXy5KYsBAAjFp8MQvpVgCJV2bAnsjGw+XiG/1DBtnMWnR+kdxL5TQYQNN21t3PXZHu3RWYblAHabUAvf4PCyISwanIvPituuE31wQ0T/nEkdOy/DSm4aTtYXMOXIbBNeJ4g8Iw6SG1w13GGPW4tOyPdMS6gnqV34UCWw50B7/IEZk+0Wv6co3n0CsvaPK+DaoNqhnhDgfiO9+x6fgw2DpH9bYRrSCnlAFqihW5Ia4TWmTiD+SkNYAG7xlzuq8hn7L0+7E+0kvhecelGHKnIq8QxFggxDRf3t/mKqtxUKF/MTA/1/lii/m1gfPE1sxaoDF32VVOLFpa94gRpT5CYgK/TT/veFG6Qd024msGNOdPYiq0s2s7HWQE1umUQSZU+1hX7Nh5F55xIJbZpspFidozbfNoKVkkvzIaSViAqCmYhcMqV70Vjt8qiucr47FJ//xSpF71/sSrTS0dbBfDBrUTNhddtzyISyy46SdLany9mRs0H55S+arH9VOVLDOsi4Mm5LNphzuHHaz+Kd7Nf0qbVViGfltqhSA96+eMNEfysLAFjde/f843Vq4kctJRR1003+qAJtv0/N9YgdgK99MYmtLHIBNQAeWadr+ioYQA/yAEPBlcfeen+3FHng3RW0Kbi5rA6HqIFBjY/qPkqZ9rOxtYNmyDCdQql4vtPr1tSIYucDRIqCo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778830244

%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

