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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-154

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132648

%ISIZE%
4375482

%SHA256SUM%
37db2b98e518b610b397d7c10545157a570ceab1c87abeb33ad5cb571f761c8a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSslcACgkQeGxj8zDXy5L6Cw//ZxhGEyumZ+FvnzYid6bJ8hR/npX4OA1xtFmulXy6KvL3OFFBIomzTlcuxF7BumH53rdGquGk3CtKZl9VtDBO1araWRiYVIFK5yDdHPCgkHE8aii0bPqEphYKfDeFBNngmOZef3/xeiimnxDRDrYw6tEx3hKFiiMOI1oTyja7k9LD5SoGlyz5rdF6cO0Ir+wV8zPy/BkkiLO98Hk8Qu6GhG6F8ptoY5Y3ob9nzi+zdiYutSetYykebUhXDPZX+u6+8uq1mCBqwM+EaZecoZKrx2KMSgNttwCqWDfrBnQD+k6GAQ15X65JyTaZXZ7wfAXtgDix0t7mzaPNXzyoBp3yCdXcM9NPbsMzL//AKox+8pVlVrs79GVXz5NFHD1P2en8oiesvs6Zp1NZSNUcfX/0zOf2VsppgfcYvry+Dj/yKzvonrmFKpxHLwf7dYQD24qmzIoRL6zp+rujmqFhH42dsH+octwF4NJGXQImcnzK3wc2XcNej7xFHdpk3tCHrYfawIoYV98rDzeuMNDSR5EbyMBRvbCPVoOEftezgxXi2L2zXfZkwMn3+Cc4M95HXmB2Mp5OmuAigP6cKYfdXSfbRKeFa6RQTv/QAugVxnFHR+9hm88Lufsd8wfW3CGOajPLev4HptmWAlkkrmo1lw3hUTC3q/hSuLaG7SftVO4koEc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792193080

%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

