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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-33

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132608

%ISIZE%
4375482

%SHA256SUM%
b08394fc7ad2979742f86c8b27e9fd3f123ae311b906f659ae5dd812c243ea4a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnshDUACgkQeGxj8zDXy5K/xBAAsbg1SKGDWyYzklOSV9aXCpNYxA3lfGny4D4yJaOzaBEDIX+/VAcSXXHSI8t9buWAFzUSeU3irkfUarSG0j7VplpZ9YIKCnmW0i+DVd8cFqaORSpuhZtDwLM2RoVj59wOlPqiW45/Z94vztNu3hTd/ZiSkIfHGP7y4lf2FqUiXvwFMNvC5/5qqgfFAH6JluMjkXRAe/vR9D64yHuo3vIcmG40H5nG5zyCDoC+NQ/A8cvv3NbYsOdfp4JVPjDsQslS/SKDE5NaLyqX6axKaNB5Vjn6ZN7+VK0JjbVoyZtbdZta93kP0UdzvzAs5Uu5wHeGETXhvDJMuHRyZdWJRJ4CMW7jf5LuR2Pk+aujH5P3HMTkosW/MPhtG9rd7zuBNNJlc/FbkckV2gqd94YYt1z/AKKn74ROQ/sCc/sHBF8//diFeBZ8DVKGvL5Y4LhvwynLMSMhmCQivfnYXKqJgJ1wPBgXrr0K4IDdvYbSgX7d62z3v8boKVkm2cfRRaYhUWK0FfwzMvOLYsUbG1o1PaBkZWqmJtpu3i1/IbsEbT5ct4EX+PD4V7IDoGZPIFah8VVLdhLajxNUdWA806C6KRbJ3daySMMpFz82enb2uUjfE50bFJT6g1e1DEW4uZM+4XD050DUACpvMhysy5hcOfnFJ5NH2P9lzKCzP5oLWtbm5Zo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777107942

%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

