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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-49

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132328

%ISIZE%
4375482

%SHA256SUM%
8c64663143edbb8700c079f013aed8dac9d73028ff0c1a59c07ff2d55a351094

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoFzjYACgkQeGxj8zDXy5KUnw/+NpvyFyTqipUnRNGznnLbUOojgX73lwDv9ddz3NJEmD7QDy+/cOLlXxSeidWMudgBQyJEZlM/uPPDZlWDzG9g5HrlYEZ/juTyQBic2A4LwNaHsiA08DqQZNR+mO/JHApEDaFqIdpaGNqcdCzviIRpX+cKUj5b1dw3bDbIR3Dw6ACSYQ5HV0fAS61B9UPPE6gnqPgPC2NWqk3sGmI+FIM2xbXfGOXUYGsmDTdxUENnaUtL5AHebX72LCUVFsQyTzE0GfIt3opx0mYxfNiwSPanIuKEnidYfYmZF3hW4s4bmsX7rHb2B8Y78hAQ5wQJd7xGrkO0fbUOHSoj/lEzwxISqOW3HOCnSAAh/P+QFp+Fd3v1Ia4NNGLDB2NRJmRKa6KaW1tlLv9g1r9mJ98QOSBTdwSiEzt5v+4QM12sGF6Ox/sd3zDV56yD4oNLO9cOTcZpvr24auIJXCN6C9auVNm9CvkzZ6JZ2yPxAdgmuJjSFiLi4V8bF3ml9Xxzajq4S1qNW3rOeQhlAmyM4bNLEUnMxLigy7ebJW05xwn90/W5uf7mdmAUakxYeZ1Otg/6QGqhUlxIKRJ7AZ5HQI3C+q9DpD8yPMk4AGlMewhEJZR5FSbSOaFVY7KvhxTlOoUFCQAE0f+n6SViN6EIgzu/mdnbUqjz9L47+9XIZzB/NOumWQU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778765338

%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

