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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-178

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
585569

%ISIZE%
2756946

%MD5SUM%
dff8e0c36f7f7e143916c1fc9ed7b978

%SHA256SUM%
1ba9d74ea25743b49387f342e2d6003f803c2ea835676dd69cd60b173d0425cc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjB0w4ACgkQeGxj8zDXy5IPFQ//U/4dnmVOX+ONwT30doZWpC2Ancv6HUe9aWrDhZNLzjHny3DIdiom/BMclOc8UI5TmCb/JqYH6wz1PKZgiqrfV3llPhGX4ylc4tRj4NoKuB4+acGsx+CIk3rWzwT3mEovndjRzx18a/E8I+l0YR5xjp7C9+GPM7mwHYn7U9HvZEj7WsZJK+lvd34jAWyrYPC3SX0Ay0qEyI2sWgMqHSR5oHE+HakaIKIa8hKoeMcdD+Jj113fC+6oLn/TRBHmoDrTmMgAv2cCi+kfxRcbjyoVnrccE4h9lh7HvDbC3Swrp+y8mtJRmXPlxGrFMZ0tgclDTWBRXds+xnNodIuUQWv3pKK5qj5Q3tx3QGiGiabb4AhBwP4XoqjueTuPoWshTs2v7C/DInxqhjx0r7TlT+B84KOww218Mra8qkqXO1rYOLheNrygDTb61F5eH1xH8BQ/LP9Yj98yYjbZrKSi/psfiST4Vsfqu1YtYjfJHRa5HJUnBGDAMpzP7wfneUZVWrozOr3UpexXhCuD/iEgAXjFBxASbMH/P+wIpYEoB8aGou7ZKcC6BQPOLUB7COhV7MfnmZOiLOHTtg/GxqUwIdURDQ9UGQZkFpG5mj/8MMIgJZdBShMSAt/nlcRX0M/GO6nz43CML6m9r9dCHFN4EFxLyhh84oxhAUc066FhNjAPC4c=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757532796

%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

