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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-116

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132291

%ISIZE%
4375482

%SHA256SUM%
2e45a4bd13c4ace51c74876c9231b1fe739929d217a4f16636c95834fe5d776d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3KSUACgkQeGxj8zDXy5KyLA//UxGoTchz0phw8VpvUpfsBlLq67Uoczn2kRFUnvuIw6W5GEz/eBr2pay2xLZlTL9lOuKfEZ6MYaii4AkYtf/tvT1oJrMikLXrI4T5om9Uk3EJ3dftM91hGh7rPxiKzUyEAeAVRcCl/bGJrsd3lw9I1956qUW8rE5G7OYwDSsoI7DmvuIUKKbA1bQHFIoQtR88UHIBrqgA7bSrwbFcyr6JY/+VsxELZq4QHlS3qLDG2BR5TXmJmiETLkG6Kwb2DVk+IlWPpoiRiY5jBZml/t1b5ZxBvN0zL4RjznskvRJSLZvPsTt8R1fIlOnO0DeE1W0u1/J5Uug948sOr3m0C9FriNyoKeAXUlbVtQoTcnIEykPPf3ZIMBPUlhNii3IGwCvBJ7ICTz399E4gwY/h11UQqe+eRQMGE+PtphJpVej5sH59S+Lj9pZNugWWgDxNfG+J2VFCnbIZvKTY9a2Np9L8aYdqlDpuFuU3CVS3vKxkzQh2pihgAPGfDI0FfE21EWEcFwAPneiXqQVSM5+u1B4zwq3rDdEzMSRd6XxybOMcNRb6tQAqT+Tsv4Vyl5HGNd1fxqpc+7740CgiAYu7kelyWmD3wOSFtoxQdp2TzEKkrrzEXJQt8646lXI2/8kAQnD3QZD2VIPw8897W3Qpz6uNmyAnzNUuZuu13La8o0iTNgg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790388447

%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

