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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-129

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132203

%ISIZE%
4375482

%SHA256SUM%
9ebfdc92a4d337e7163589774384240ae10fcbb1a0a1100e55159c8b469d04d1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAnbkACgkQeGxj8zDXy5JftA/+L+tEGM9VzGM5TmRpKl9rMvgqj1VOr2QiG4CUgoU3XFIxr6Z3ih1u3w1qDrbEDQ4kIxfoZFq1eYbpsg0gQoYdeUKRg46a3QG33+XNFAJFswQmrI6dULeDGHBL8BO87kP4sNUzM34Gqd2ikwq2TG4QgRAjvMifKf+qqA7W0zargedhZ3JLvBamm4s9rovSOYCYcdXvZS2n3flTYq4I+oYS1App5v6YnqiguyX7KQ87SIoj9Xw4A3fd1uxkBGiKQE6Rq0/fe6IeVsZHkemwB0IeII5pbY4cHRNJK0WZuoZlPPlZEsB8cElIT96e9g6XiUwRml6lgJnBspqPu8Y/63jN5s/DCrftz0tCD81+gQfIy5Rgc2W7mZo9METQQA0n2OQZufeMopzolPUfG9CzWfHUkgox7ziBfS8vqvb3zJbgwToGNVnI4mb5n53XElrNhHQYS9M3lu0I3MLlR5X8fsHbJUGUSgPqR14OwEJlazsk8BMFiRvJz45rHIPXhPojGRWm2jmoVJwh2Q3vchoAeB+rtosfhEWqzqM6BQz1jdVJtmGCQP4+lIUrHzqQUlEWq8XFvUsdobQW7EzjrGu0z+nbHUoVD7WVMg/ayed5oTAZGOmJ8UJHVYUhsg+weJ7JDTb2kr1xKw+/iwhnFLLIAyW7DidWNGiw+VW/S0nI54iqANE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791008051

%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

