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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-130

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132149

%ISIZE%
4375482

%SHA256SUM%
51040afbf08cc6c033496b9bde60ddef747f5ca58d1dc3dd6c2923d87abb684a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBZY8ACgkQeGxj8zDXy5JqZg//WsuJg7moeqeAdsPwHikXChPIjvApX4FhitYdgEDozZ123lpo1btQi4pi/UQZOVtkbG2gq2yGwhoK225LKcnysl4iNdufUoYlCGZ2IM1QCxMomtYOPp28rVE04PYy/lKSPlAE2zz/NwQN4elfLt0h0NGwjgmL+WqIzv4JGuQOPS9NOzj6vLk/vQVYMI51tHBGS3Mr3jBcXjY/92R89CbXmt0IxBL6bE9f/XXLWYS2docXZ/mmjLEV8DzEJtmf1XupN+fYflsKYpKVLW11k/E3fjmdf5kR5MB5L87tqakz/P18v3sdbjiu0bMhDgyEFE9rUdizqBCt5gqVs1bFSziTgYf8Eo/zZcb2ZR5kzPYdTrAWGLRHOtsfnQc+3PZDuFYhoCR7z+rTbBnrjp+uG28FHxByBnHe4TPIlbCuPjNnTyoNLbzHhSVjFmjDthiEN1EUPicSjmZJ7QV1evw2qwt3uKztB/iJxD5EP7yEqHnx84CNELHVo5STvTE02E8TMxc01Jac+uRjdWGSz90zcqdeo5F/6tEsghqC2jPsc1woVZ8IOu9vYzor9ANOvqSJJdckKRRZtTHrSZ78GMbKXYPX5u4pXJA1CS0sNktR1/wr/5IVjuAO+dilyoTOLQpcYyUbDeKvIppqATO+jWQTiKPzImpw+Q/neXw71xNzfim5iwQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791059301

%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

