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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-179

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132346

%ISIZE%
4375482

%SHA256SUM%
5e22e6bf6df1a151c1d03cd904236cd8e07f718a9da11782741f51ebe164e942

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2iXQACgkQeGxj8zDXy5LirQ//bEnARTjGTUYT5/xywljj7mWXo1D1adj5odWqdW/DtwWVA0iV1pj+uXBePOfcxFFD8FEN3dBt8CoduNlAtL9N23IDPENRAXJxNfZb7iNkHo4WKrNXJcoRzY+/2nIgMghW6puGQ/c2Ogj+nb56NUhAJWmL3WX7sL43GT4K+ZScjFmrl/v//f0Pf7jh1awb1q1+SQJ0d0shIm04SnZhMOWLncLfbzHz9DNk1YFDpQubL6VCNsab973qgcFVhIpyCiUZ4/ah+HJb2bgnmcDBDOnYZnbkvBMUxPsFA8Zp2VFRN0ZCT/oZZAIwGyQ4kwCRiA8zu3lhXHW3wvpBx53Rc052m/vWxwSzCj5v+u3ZRd0rnnPo4XhDN3t83euP7/3bh6Zn1VsJG6VnoyhSe/Qo0Zof1Q9fxf9jl4UJDRxlswwti30i896axJpIQAnZMXhKcr3MzwSVciK/ogRMABE1qxeH18wHj3AdxhAnhG/+R4XXYg8ljgeQDAFZ2wHwwi2UT+LT9sQWQExrnO9EenVu+N/0cK5fiX+uPa2A0Ye9RVCUuGISM4v4UurEGTJJ/dPhXn2TFdkzbUZzJYHvGxkhCzMw6IYXK/vAH7eY5cqkE915oQrz03QaDVf16M+GtQ0oyTJCik0XF5z9eDinQGhaFG5iz1t66wr6EAqhchCaq2mCsiI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794541840

%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

