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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-152

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132176

%ISIZE%
4375482

%SHA256SUM%
c99e92c8ef34e77890a14fc218cb3ca465dfd018501d9592621d2d68fef71655

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrQIqMACgkQeGxj8zDXy5L2rA/9EVsT0SOBZK8utYogs3yrEprgI6ftw2CIRutggKAFcRntUB7/8UtjHETlByzpPxArQlEG8EGYVS1DKkr+hFiOqACwagCk5Bwe/oOF096Hk0t5k2/WS+qMs5IJ6nnr57eMl7J4wzCs5Oy/WK6oHattwKRGi1CSadIfUEULtfaHE6Xn8pvg1cc3rgTfgupQsobh1+YSaj5RwHUDadaVBSHlBU85iwogChHke/yVR2K+KJWC2jXvkMMTpecZOZJvC35IwWTYZT/dH+QRAZcXgw899+RUkBS6CC3rYZLOgzrB/ik14D+cBmgQZLWtHs40plV/hToZMpfZDwfUgIGrsQfDMATX2bKHSR+d7iDx5OOlhWpJ4LjCpcgOmvCFrjoNLp2zGx3NXsL/ZRI2V17s79zxwjnPNdWnsBpWRe9rNFOxovVVO8uR4nqDs4u09RV5XWSkqHSiz3aQObkDuzOB5FFz+yoBMZ/71vVcZfethl73u6zmfywyPXt+FK/OtkGPmYmbndB0DoDImm2g7tiW6Zl60D//bJr2OkJlLotndNqAyC7iih2W/5fTIr8czEiW8gq/YLwHaHOwcdUAYjlaHq01PN1SbuPTjxmn7gMwKlFNAXHWvTLuuFTiFeJD1Ea8jkjEz16usL3B1VmNdSAnsDVERQmtKHQdbDXVT+FilXJPPXI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792025215

%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

