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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-110

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132395

%ISIZE%
4375482

%SHA256SUM%
af0bca86ac2bb40880169e6e5aa682eaf7f5478e0ce27353aecd5476c278515c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqqhPQACgkQeGxj8zDXy5I+VA/7BwSAnniNM1HMy6r6QXbMxcZpj8hNg0eHhAbEI2hJuvNWVwH1uWKpPU+kdqggAvzT9sl9mCbWnFwRYOcTLUUiAJEUm03H/Zp+ckjOGcE5ThchhQKiBN8cCaZO2aZU0Wi1+aMjyGYXzF9KpYGKbWOUZxT/t80HozVf+K+PaxxLcAIHaj/kABoKoOQr/XMy31aHTD8xuDBPk9JdNR9LBaYOeyJk3/s5H+3xKvG1Q+qEp5KW4/fJMKry7e5885Vd6RcQ7OHf3FJjNXq7Zj/l0US3mGuvidnuwTJcqRZgGDTIX1RvDxb27Fg65vjaSbmwXUd8jO7VvR3hlWJjAwtIFcrXmF+k+oSMxPZUNpG4zrkkP9pmPuwKWSxOs7RnSh8mbslmYzNhgFvB1W/5RtEJu5W5fp8rI4TOrWj9aG1lGxrhxpqXl904dRHRnOjIGGwPqusDV7jy2LJINAerhj6/5jU6UKlKBnMb97nW7WS7WmKadqoPOp0B+psVxk0yOrI4aGuUlozzRfaJ14hpt5edaVAQj3/ep/tcYnzoJX+nFEhtV+4z2lgEkyUtEgaY+/nK57QBuOcUzusMFICQwMEojaILwRnmM/4bayymTDpcLzhLo+Hy4A5CDikv1zkpbd3n59WGoL/2uGLGjWAK8geNUA/naoYwKAIipq4AkfiCLfoKBA8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789559983

%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

