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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-145

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132556

%ISIZE%
4375482

%SHA256SUM%
96746543372c9884cc36e0ea2fbeb077667673b8adb491cf2637cd48ac3e60cb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrJZ4wACgkQeGxj8zDXy5I9ng/+P59dIPXKTR8azEiUBBugdFwA6eCd2NsUvtSCkvXFIa5pP8+pZhpsAftP4A5jqncgoO21SmNLb/p8fsPwIRbyalM/ajvLqlsKPGvd6DyrspYetaN+xkg7r+OTJItyWICowgHYJXjKGH+WljZXaLxfXcAobLvU2A2xGa5JnSRdYCrLKBv8HYSMjeZrIFx6zXzL1urpmNXAWLaW1L6FLuaWipcGKLnSvEzvS+eme9HKpCGvvC4W8jMBhZU90Cvejs/7UsN8GY6u0P69RI3wqjsOGM0Ctrinab+T4mCJPqzEq+k0DfCBpE3qzssiW72tY7UpGFEwCaoO5S5NQ/Mdg7IzdW5EAp4UJFkol2Of1y4uCE8soo+fb352jm9z4/Szdzo2+tYRlN3aJkd3o9F51h5EFEBkBJyg4DQuVXpaAKodWy4mFZgdyR2EieketFkkAERIMYvm/zUIdaX2Xh71tEZJuOt/Pxq6I7j4b/dVzPIuhcPpJ9b+ZPL8JFRWR46/K4CAz71XvhJq8fS6VU0bo1yxWvMN9aXKAl+fr0l+y+PKC2Ic/l6F7lhYfH8hFGBGpH2oRt85LGAECatv6Y+meBIykhPWltYJO9lTJ6UBbBMP6eKXJurbrzgRhxDmg5V2g7T2mamNbGmoNZKntF4b3f9yG+yNCTd3rRp7ERRWCdU/IEE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791584090

%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

