%FILENAME%
tamarin-prover-1.10.0-98-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-98

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
585079

%ISIZE%
2756946

%SHA256SUM%
e045d0099cd788ac085852d4b37801d3b53e84cc616c0d53a57fda9adff66852

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkeAACgkQrx0hme8KPM97/g//fFbNl9nwycRr9NTfjGS56sqSgzMyiYXhx/dooiy1y3e3/3rA+13CZYlCfMGxVo5E+GSd2IybKVG9YPnuUeuPLX6umx4MzfCTfMfDcCyrwSWBaca1V0ssMz3zr9zInkX9Z2FZzo5SVkcl8kyuVlwZewD1ziu/Jy8i8iyoeOAtWYcqdJAUG7M/asV+jVFV8StwtFOUFXUS6LCx4uDiz+d7vBuNEacBV/9z/AVgkzOLcdot4f7Nc6tQCNsgZKDDn5avPRBT1a6hZSKvi96y9Q9VrQp1ixjELoXxJMyXQEO5k9fM46bHm1h4TcTaHguZ1w5wSJG2gcI3SPGcH3yYDIDPhsrzECQshTRLH7AuQKtoOV0gw47dhLY8ux51dxVqcyRR2TcYZkz7hQOmho2OJ5NffSwCsGx1+nUeaF22RuggXZsZFwji/zlXs0/4oTaqRRpX9aL3rRaNsJKZ6aFyKJ/ow1AAv4+yF8q/Xh69+KY7aPSmtZfeGozDYpkzDFVl40GSKRdqIhdoRacA3xd0bVe+sxwbTL5hWL56cBxOr9Pux7Uh3Rjhd3+Swewgjc7pAFAvxY/JisPeiK1+2fXJaRSsdE2XiVVKVaQBW0l1qlgwoMORBLb9E8nH1nnLu5KiRi8AyY9Y/3ZuqK8M9/GTHAo5aBv4a117qMicIAmFg+/czuk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753857811

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-builder
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-fclabels
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

