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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-178

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132482

%ISIZE%
4375482

%SHA256SUM%
9b6501e1dfa2312908d2c1f4962cdc5afb13edc8c8da526d603fbd14612d39cc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2Sv4ACgkQeGxj8zDXy5KbzA//XHRBYKMc/4r3W8U+Ocw+cy36GLgDkNLFIYKkMTTJMQHDrS6JcvQC5P5OfPzwPQs+63GwbeqjBkeeAUFCU2q9KuoitywnzirP8E4NTL5So0PUswPfIL6x1ZmHKb8RRm6En0q+cB51KBsXUAs5dBFiVBUEau5JC+IT0cQX0+VcVGFmJwgpF4KHfI6AzHbzwD2qtlMyfudCXrd15+sz4TmWBiWMkJ5+W/Qx0cYbfh5QU8HHwLuYeXsNDGggQ5nINPUD5Yh5NK4nwA80XzBDNBZaTNnEnvDxx+Wk9PDQIkuk9YVyxHXsCmGfjD/5AkVIV0pFBs7j7aRcY7V9/TDMbq5F5iaT6MH0+ISwXkAzjVEYFYOBGVIIpgH/JYrllWQH4B01NqBSCI4vHHdCc5mSHNsLE03azAnElVIR4/yNfuAkLOaCSjR3QXXPp3KPiKPGWCyNq2NKmisnghS2uxuv59M1HifGwjqJMzZHn8iT6cXCrgKU1JxS+upNArnwCgT/Jpis6bxhCHtWQzJARHaqJWEIsRtZbJ3PriQCpJkLsPFfsiD/BP4Kx+TAmy+JuEwPUO2e3fKs3MDav6s+2OyeZu5pupjRhTrFi/1go/P3c2935cquhEyayPPcRXf3tcnqQ0Slo8AmHFxQkdRtgy2Z904UIm151McZJsJs+AmHatkX/ws=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794525907

%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

