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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-108

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132245

%ISIZE%
4375482

%SHA256SUM%
bd5c7feffd11e71d78b33d0960a1f34e7a3906d1f32429ae7816b3c4fb7c7e55

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdhu8ACgkQeGxj8zDXy5LzsQ/+PsWG7YNwdNp3t/MU3a9c7UuuDsUSKzLeCfXk6nxZgFCT+EUKxRpyH3JIm7sYiVu9sMKCR6mtSMMTq0W1NLdIbwaCBFkwlPXFbLftW9mWlTuzN3PmLmPfHAoQjZrzFR5PM/FGc4x7MLnmsWyp/APfQFciBhvY2viJgdouO/hgQlHimnLieeDqG72bBTtUsxvenRcrBWuFD5mZSKAfG+j+XX1VEsOTSAS0qBlxWuD5Oolktd1RHy6373Ew5Lx5oOfPzT5wBaqm5CH0vX5xUq07afe8nCpqyWCrZ9Slg3FyyL2OtUpxtT+kNnWnP+WnKODCb8lyhQyOjbg29lOOvCmAWd+RfzCRsOmVstXcTUIytZ9Geg0IaYR5ZKljPn9LUXyDgia1MUp5rencx/hzPpU+nuKzWRnlfOwdkqlMlzvMrLcdLt9Roh4EvuhjPLr6QV+EQkn+CdO60tfGPhWMB3HvMv4F9QCrJkO3FwB+eQxPkTuIfmqm9Wemvb+emPKSo3gf8PppkV/m2e4rA5yC+K4J/jHN+4fMVkc0X15Ufy7hP9LVQRX2Me3mj9IGULbL0HVSIrgti2YGIIXFPmpQrgcW4MEVbCeWmBeoq2/QRAeqt7OeafAxaigBxntYiQlCQWPl+aQ8NR/fKQVRwk3pbxMvhSqchlNFT9N7/+PgoApH7FM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788708524

%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

