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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-43

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132118

%ISIZE%
4375482

%SHA256SUM%
bd111aa3e3db55e4bec06877793159e2efc329aaf6d9f81090eee880120177a6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoAww4ACgkQeGxj8zDXy5If8w/8DzjEvtRJ6zQhP0diwQ6GkVRtCsz65PW6dnbDFu8RMBxsDlL/YYI98s03yjLnJsZE8Ru3G6sci7P8duX/YcMOad9DqddzgVYRmn5EFH0FjM71UoKSDo0Ly4HwoeYrlKXe+KLb70+zGmkXBsEsFnJESK0kUPimPAmlA6JZlJuGhqMS3zxlUcQ4b6a4qW4koBTR843pgjg4KEWVszy0ApKhitjCiiWJg+tAnEzj/5aMoBvS5ZaEv1H3odnbNJRs7Lw0m3AtuqMvtTgyD19KcfwXr7Up+1VkebJrbRf5Kd1A0+4fDIp2bjdzMMdbYVOJslTngsozgbnms1Af3ac+vJ2nL9jcwQ9j5e3Jno8fld7YX0TBpDEzJmPU85j6/iSJByV7fa4n0BOrHjP859OEIe+1Xm/L8cm15e7swdWkMGWnqVQEKKJ0Gwru6QiyNN/A5Rcv0PdVzBqNVkm9ooj4VeGBgtTTg8jhwySB7TbxuQkkvMxVufURQLWHuncShIUE/J+XXAIBs02Xy+WqyqGKDkXjU5rnHy3i82Mp3UeDNyIq2jURAowUAaPYgh6r4d4W7qWWRH0ZR/7jnqCIfYirodKN2je4vkr9ZKJUnkeaPiCvQ7TaFSUrAFAAUvKSl/XitHllYl41IrmkzlVFfJP1pkoM/Ka8boxbohd1wng+ZnDW83k=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778434799

%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

