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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-224

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
571518

%ISIZE%
2659122

%MD5SUM%
ac7a0f0562d05acc1997f5d83b7ef6cc

%SHA256SUM%
540b90705fc4d97ac0ef4362783099a9ff3d1d4f7ba120a80370b22789c9864f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmknoXMACgkQeGxj8zDXy5KI2Q/8CjlP8qG9rWj4lPeJyVSOO78xN2sUIgOXLjToWYAqF8InqtibgYirYigN0plBAMJz0nD8uOw0qCCI48BnbxbxMpoyuOo/sMuK15ZWXVq6I1WaadmKqHnoEIN/LlN0urI2sA8Yyi567nwHZaAeD3wfzH7kgHSaBkLlMTkIyalRpVB97Rv5JlLYOCb2Tfr8SclfbMYNIugLWXSjcMJZMRAbPytTAXoTegN/avWDXB0sxjLhGrv1PBeSQ2E/Y4OYhdVIRPQ/zSDtSt+Rm6cD38bskwRpKbzg8A/4st4xSa3vh90AUOQ2q0fqIcgUBAFhD09zqCI4a5jn/oG0Ri9ITnjXLMLca1y37IU3dOb20P7rpmnuXOVFMq2/RiTNzYDG4IpEbO7nmbH43JCyXJT58F14SpV/FnPpCjS9UVuWV3f4Pm6j84fyU5FJyjbLqMIVFd6eXi4oCPGRy5eg01AvkAf0V88915hF9ry2qrVHXbsAsd+jJO1op0gx+mHAW6FvKUd8IJ15YLYi77Bc/jn7rdJKNBw3zapBdq0DWQTTpQpC11tVet64qpkVY91O3oPGE9CumT6XwaBkCSHcZHSBI1lEpEeEFu1i0kz4UEHliJnJwPOEMA1UkWr/4xroyRWurkCU7yBa8Cp0zW4cK0bZ47fZ6k81RDw6WVnjlpdEu/49zKA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764204877

%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

