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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-127

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132302

%ISIZE%
4375482

%SHA256SUM%
c1d12fdf9ad420e09efda4034da9aa958484eb1d027b0d0e31274f951fc4a0b7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/1JYACgkQeGxj8zDXy5LS3A/+LIox5vmT0QetTWPNiLylT3gs8/mjx9PDK6gp381wPClp50Ht8EJRKfp83CpfGKd1hP+nNe8S+OUSBoNwbfYxj92pt8Kfwrgp5bOhnX0oTAtb7PZ/lalJtPYgUbqHd4H4PTABol53N/85/ZcZZ+v5OMtraHW5/4DtuOPfOc/zzrk12q2mLdtAmEM60ECcH6V/eaMqKh0Zu0mGGcsW+SadEkgYs2HVBu97TjESkyNbJHJp3GzT8jDpjgc9xqxJfHzvNlO9j+LsDQlwhcLj1vwAbAvcGPMbnYk8bQZmwXmT7OUO9FfbDfXvM7sza6LtlcRs9gDfdY/BCVyy7O8eBy/OGOKtGETXX/umNPiZVd7z+mi5bo+1A5akRTt4EukGwUVGuuklN0HuxIsKeChKV1CgWBOUSaFLSwhS+57sSDED9YZjpiPPL5jKmoaDBhtVZPXe+oRo7VlnwD5BQDJhtXdb/1JLEBqTjlyehQJ8LeaGMUjnEHr6dvY65ZMWvm0BiMbqRQVhTsfvgwJ1rixYmlSI3Z1XL2qulq5tuFSq5MRVBwCO71ZBTDIdxKL7G0bWqJ5qOTSsLPICTY97/sGFFuftxdcXB+4VpIBvNcy8yOFCOlcL3kqSwl5g2NUINmQuUxKTMSGvW8xn8ZaYL+flBlFCKVZ7AA3f7GdIw1nXUz1uj2g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790956664

%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

