%FILENAME%
tamarin-prover-1.10.0-225-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-225

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
571255

%ISIZE%
2655026

%SHA256SUM%
69a7391dc52b7e9bf07b4e8d950f0a196118a8e3d464f80a2491baf260d63c8a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkswD0ACgkQeGxj8zDXy5JZ1A//ZMGhe5TWA2lQqCnuO4k07WpX3cDIxXWhNRkr/2EeSD02kjH5+ge9u+/n0g0SjoVQvOY/djwYlCKz2wJk+BAhUsToe9rFGXv1a6RFKTkAl2X/rS83ICvIOvNU1oHiBD8gxSKJE6n+p3Lsh0RYMjSYonq1lWqC9RzQuIZ4ft7qlGtzYtch45Ap1CtyCY0wxsIv1FX8VjxNjNpo3Is+7WpCjJ/6DfXzSntCDhdyYuJ0Fm3Ds8jQIu3h2fy1Te14rkuCUZyUtwD0EOxgQuCJF86Xd3EO5C8RgCrWu/gDIx1CzqXu6d5NZEsCOlgjSTuNPm0jnaxsORi5fQTfyHyCFlcjAcr449k0Vet/woDdDi92IDF88iKYKcqR4ySouB1VATBm2wHlUvH9u2AD1kpvr2wyamdnyfbb80F/Bjz0SLE8pm35XFq7YOpgLyR9h3ecKOBfthMFrP1QS7v4bU/DMKADbpnYrSQx9GswlmmCIWDurN6KuM5/GKCpL32JY0mrUGXb5OzCZ6bl99dlfS9oSyJVIqJ+l05TtU8pqoTiUVpjewf+4VZsqq+0gvuisAEOEcj04ThD9l4a/m13aloP6bEGrdVceAWGHhzF6zuSFiv4CvdCr7NnAPyg6F1Blu4M3C7MSxf+WR3um4RDvYovJ3lU29Xt8vTAcGbEsC0GCmZggnE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764540402

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-builder
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-fclabels
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

