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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-148

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132083

%ISIZE%
4375482

%SHA256SUM%
c131a8fb9e523007febf8f4f9394a3b8933113cfd29996a1146a07bc47dbd827

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLW+UACgkQeGxj8zDXy5IIjQ//Uzfu+6YLcfGXfe5hX243x0jj3VGs//p14Mkz+D4Q2X96UO5VC+6+L4n9DfnwXdoo2MehrDWKUr3SHbim9sMX6exQRdp0MQovIzZxzJ3UPNnX6eBuOSxatyk6Q36U411YxUIR6tvtpRojiZs6IU8mlMq1uZ9xD/1f5mbTdDRBlniGqsKJREinVkcjh/JyR02riIvWjHjuvklwvBxICbGwr+qPrnkEEAAPzAndj9nCxVpbKHXJ/nz3z4V01gimJM306U93dCXTAaRe94Bs2M6tCfjNJ7iS7devcTgyFDpiR62XBAO1uGjYtU75Ko+7KO5XsU4fwP2R/fON4/tGgDQafR1ga9q0Av/ucQhrvM94A5uhDcUjjMiSmhjkik2C7gzIxe5GGQ+Hw+Na6LaamHNjnEp+4nKDgoXQkw+bcO83syVU7UdrQr3EnDD58bXTwG+uv1dmpvCGU0++XCTC16w4+WtkBxWq6oraoR7FV0O9Gn6N8DI5GRaJwXEAT5SS/jf2FV9DY/MgWrSo6tVrrRy19XgkWjsmX5flSzZVXP++WbJyHcl/L8AAUckAo9xNkutLuGiJTFXc+o8fsy6seWuFBJPJXUYyp8D1JQAIXilgOSGJGcZYctMn8YQpUyW+LI2fB23CSqQHNme5sj5h4amSbiaq10DDxmemOZKMMzjcXv0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791712186

%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

