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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-155

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132566

%ISIZE%
4375482

%SHA256SUM%
4cf86c20a1b5a2768a5ac7866fb4d7e3df6edc7722eb391077a83b9bf5ca23d0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrT1nUACgkQeGxj8zDXy5Ln2RAAsEhveZQB+kZLirrAIwznYw4apddKefBBb/3Mw4sHZNEWW7cJKEDvyBpYg0OmrKI8oeFnXQ/GEcPfauW8/N26IqEbHPVE8QOfhLJgNNyBwtuwWFmcjbi8Y1fLX/+BwZoUyK8Wx5EYwxghDHK+mOa6sYppbmQj95kcM0B28B5H9AHQi4wQjpL4rxHmvzFWHhdHuV4vHvbMnS1X6VQOKD0DGpF8hK4StPmNOHrIa3FOhB3zgt+j4/HGUoqIWFxjJKJ3E145+hUQrvrD0fFJxl0uLd6SptKWDOny0K+hXqneTqoQoivozNcUQtm3F5VTDuXvqs24VTmfWzMd4wror2gmnhor7Z11/hvQmDfJrIHODI8EzI+eYOYkTD0RJadLOe6pWK2hokAMXVbgPCIA+NXdTsYVxBl3TREc1xtIbynV2tk5lLdALtokn6SffLm4rA3/fk7kUxGQSJb9HLO1073CZN9OBcUTt8CUdpnnUhuFrcEsY77MW6746bhUAR1vo6d0oJ7TJJ/Skw+hGQVWMne9A9VpJVaiAlLM1cM0M3n9lzY66G+tvIiLr1bZE4FN3xpkYm1kUPc9jcf4TbLd/p/CrwX97z5D1qMSoCF2or5RH/9Ppp5qUsNnV6UEYP+LdOxK2+DePBzxIJMV256Le9v53tkyHpaE9Ex1GTS7S8I9eSw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792267856

%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

