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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-114

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132328

%ISIZE%
4375482

%SHA256SUM%
daed25aa82a358af17127e135b9de79fc0a9c794118610f31bf6f655baf3b891

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq2LXAACgkQeGxj8zDXy5KKGA//WDt6A6LXWW8krqrZIqMkpF/+1poyz+5x9U7NsImeqBL1TZp6+hcwvhxSGu1s/Jak8xjlov7J6ze53mwbqDdPUh+wZBizZsn8GvPRvvX0497QKJCaUzrxAiJEkxM8Bdm8AUEpiHVG6K1o6Yi64iO8uhHRiD2NAJ41hD1nGapnGVAHbxodV1yGXLkoSSx87tP4chGfjp29IRz2MAVqE9IYChBN1+Up1BphkoJk7wnEPqMYEoyZxNtRcRw57KPQPEF28aLquAWnyr7tZ90s4AbbsSfubbfe81s65p7n2NzMpx0Z8amsJdD3xiJglGSZNWHOGAXdxL0SjVViqFZczMu47CRyF7E9LVTgapjdkPG+ymHWZ8caU96C9T9ysu4My3YUJOC22Q87wrOI7jRoXd5n2/naeHEy+ftHOXK+/24rM/mbQ728XPBL6hGOGKSe/ZLR1XDXizKSoYov88b23bRQShCwd9gz2aVU/tGNISPZUUHoq0qJsBxIgXrTAsdPqy/PqSj6kr9LmQv/h19OKyfzSZeDGqlU3OgbPRITe6xtzh1EvaA+xUpLAaU4t+mOnVhFAqRSytzevhrYUTgD1RLIa+sZuCmdk/Fx7OE61m0ajwY6uYv+9crHxqx3prRJJmlLweq+CiiqdqJdxKBgK/jSOfQnc7UX2gnpqqcwl0WBcF0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790324037

%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

