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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-174

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132356

%ISIZE%
4375482

%SHA256SUM%
eb9e7933356ec8c2bbbb739ae54ba3f479cf0367f890e5291fa0e43f126d6b11

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr08vgACgkQeGxj8zDXy5IOMQ/7BWI+QKaHW81eb9aC+3OLCj8AlvJS/NB3Y4hrwx87E3kXcsThb3WU4TmnFSYaa+luGiljn7sDVDCKmNDcoRLWdbpzrm8DG3w/ZJhNwNISJA1ewgU+fGQ4uSO+Gf1iFXUkWsmSRO2mSBFKyS7KWnF7EIICLqEQvN8q7/FC7RptcfW65EKVeH1ikOq3m4YYYMqX0cYsMuoHYbompc8nb1HKuoQufkj+kZOH65LnAMyw5S0O+O0b+sPmoWPfLxme/RKHTevuBdxPqIA8gtUgNdLIIKDaMtRIWmtkWOINyEOUmz58jCFWGlH1JXiG8FEY4dxkR71WGWgOi+YN9QjbDYBY9G2W3QHb67iZfAVIPgmWc4PgELCBKxXDimQ3Lytlzv+WapQd3rq+OWRspN/MazassrvN6XZjXaA87IvhR7MmDSr+pcM/kmHE0xyJCctElNo0O+9Tsq2DLUbvEcqU/oAOBqQ9c0mDHrJCZfmaibYhgJWYmSrv6wq7qGN20iXLW+nm6fz5qCIA2ocI0N4S6MWyyYjn0LxT3gfagJJffOXoUzVAXJguxNVfhKgxd350xi6HRJMgyB3aoKAe6NQ89xvOztDaTb2TP2ps2EqWAVjYpFFwsJxK/14YralQNv0y9WP0LWFqoEZtHM6qOv6mHwCJB0dW2AS9ffSv7QP7UqyaOME=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794437836

%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

