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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-93

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1131899

%ISIZE%
4375482

%MD5SUM%
30e8790be6f9e2349af4dda79f13a0ab

%SHA256SUM%
3afda5fa65136ffab6db34254954e36d14f3c0375058c19fbe83ffc95a2090b1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHqhkACgkQeGxj8zDXy5IljBAAlvxMK2gJgEY7U4JIZO28lh4l0WoYHc4xgaM4Dv3jrWVyy0nc1bUlKFWst0CcIhZY6RanLO2IOy2+Ctsf2tq1VVNrSn3Phh/zXmK0Pp1TyZvRiR99HVXf6S5L+Oa4NJfpt+w4CCIcqwtxYYlb38nyOH5dEKQNkq+Yid0/BYpaCSFB+l/1knHlJuu0cQyjD036FL/Kq+BHXt6t1lWPjHunBGSHpRSB78yklZRXFwYYwH9ig0xsBe2wbc3Y0+3RwERUM5Y8fQ6H+6BgKEtwIITNBPJcOMICENSKSXDVGI0xprHEkEK1a8EaKgKlILHN0kKDN705UB5NbKF6eO9xth1Jxohx/kpQz3ZgAkpvVlKZkF/JZ8c/APwVvi2YUCzSai0mZRfmH7XbOQJHgK+orFUVWXVPrA85n4gfpFMfGZWS0ipxda24rlckUh5hVKa8dwMzxC6kH1k7bLSXeIV34gS2QDKXQKheb1cTJ/G39xioq/x0WCZMZwm3OKjAy32Pq7O01OM9vCPzR3/fL3j6f+o0uyjmxFwjkD/yA5N8iBylkxUvW6E3hFIN01FJB2oGrnSBsHDwhCGNSFIdUyh9TcT8ebPWPxATSmzjctZjLrEy4EPEXXeHDDyXsK/Huo+9OtfsM/oX0WYgrG7YjT66jkEGAjcmSiyHRtPit9eTmp/SHN4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783081426

%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

