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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-42

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132187

%ISIZE%
4375482

%SHA256SUM%
aedf0d6f3ebe8d5940ddeb7cf9388b6fda414eed9d0ae51089570e9533babff5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8X2AACgkQeGxj8zDXy5KUoxAAi/fXFP400C8Oxh9s3fNUtWyO2JzAjkwdpBh/IuzFBWKkfIe+m0NNU7/j2dkuxdvAX7EwlMDOBC/92+uaLBEwWjIbtAsSjEKtrvXvP9ZYe1snPnHhlibv+jCK4Xa2sHvF4R8ebJEF6+gbRBMUOFTzUrc+0DCnnG+R/mCoxkqq5BxZUxZW/LVmuEzbm5Ovd7zJ7MmVOBT/BVY2P22WAmpDxoqjUEdEoGBjWBP7tMuJtG0ksuevdb3oBTnnncEsX8oaOA6xoIiPEGrQk+EYQ0FwdPGvii9GeBmwyimCuzP+wuZaxCLGc6CO9GNc8h0BnaxfM7yrUT5xwVb51V9eWrgfZrpjE9SJeo8pRaoSznUTRygLlmMtYBKZ5OPe2/0/dSIbIvdo2Esp0bSq49iHJwy7E6zVlOJGp3miwHG75qzd+jXxK5ODBVk9NgkHDOJq8YJvnUaVD0bnMNK4RyM881JYMonmomb0LRUeOuxNQV3F1hg4XPDgLgVHEVt2iJLUV/V4eysfPUAxh+wlCiFbaVR5QYSCHZGamon9OyO3GTr44F7wSZwW/S1b8fTKjNQ4dyv7VEUGvTUTG5kG2FWi67MCcq8DgnbsbwnmlF93NmV3vuigdiSMx6NWwvxVlJiaBCagF1Us4yLuDjM7xLO+la+C6Jx04NS+T6EHt0fg1YQ0Gh4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778147124

%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

