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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-99

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132181

%ISIZE%
4375482

%SHA256SUM%
1d14ccbe49db7a5df0542c154266ffe9bf4e20d8dd6443246f2d574b9c491c80

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp8PEYACgkQeGxj8zDXy5LlphAAquH9+YguC2xmmig8tVa7AvdDmzNfpEqx++w+AgY+FeAnIktkPtS3EyVn4BJIfYjQd6g9gtTP1k/uLIv9SbLUNMff5v7z+EIOcK9fKLetmQkc+Mv3JfYHie3JvWsNFXKlUtw6zTmzKYEc+vPRg2fi055REwcvzLWva4k5iVNjQjilogpS7uvcZ47mbyPwALOjnFv3t6oVeCI6Fq1e8dbB5KcC4EtnrOvH+9m5zSMpaTpvx6Q+mc1jAy02xkUe0Ma8tMgBLPxWQD63ahnIOzNK0FGKt9DmFM+Db8FKNyO3xGaAnsth5j2bT8dehZrLdxDSyQFDpSthCjtGXoYGmgwmFG+Hj3rMLu0dEPpSwKaXnELAe2AWZ+K6vX5EPUZZiRI3Rq7Y73O5oxr3L86gHqKbwYn0wTJWVUDf2lO+6HhALa1Sn9tvzeFH4pr3p+aL3ojSXNgMljzz9yurq5BI5jgMNBsO5VpDH4ErVtWIPS7fSPPOfEQHEVxKJ72FcM/0ZFYFMEqSQm0RA30HV6sNeAp18ujHWPDyeqO55hTztBY5itls/wC94Q+bSMV9ucKreI1QIKOLCu9uhWnMQFSy2OCoOhM/vdNtUWoTpONP0Vn+2G5TkOFxxUWNZdt7YhzlF+Bg2SdKWPtW/DNBNl2lWzm5GfOlIr/lt4n8neihff4SP8c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786526737

%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

