%FILENAME%
tamarin-prover-1.8.0-64-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.8.0-64

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
575942

%ISIZE%
2690978

%MD5SUM%
f3eeebb18ada6323aebba63f664b7ec8

%SHA256SUM%
85349c465cad88350f08035b35ccd1ff7e1f85c212ca8e55091f56e156661504

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEQYACgkQrx0hme8KPM/wiBAA3pV7vQydSNhnhLdsdYK+1Re50DVUhvRyE4mWgniBcRhntsOJwHkwnbHFun1+LXOm02E1HExdkScSjUNbMjSxx3mHlEXapyW/SX0wiqaUdgXUu1yunJRlojCAhXQ//gz/4Hdkcv++luyFganEA9HQRICENqpAZLLiVPibb9pECBheb/mKA0XpoJVtDe66ebwn8sHSAqbciKgjoj78CF5ZDeyFft6nPj/fu6aFkaniHIQSB9ZuTlhwBHYZCQh332cQTq5nad5hhUBcW6EP7C81VvsE39uGY+yw0rmbxD/MwleBeiUhaOWPJdO9GnynlWNi84KZdWEWK5uC55mC4Vq+a8gkDnGcDh2gkX+0Hxda8/bHXCls3H6DDRISOvYS18TU06BDRI9gNN/dWVBZBPvC+hrLteNByWvbplZ3tU65M2JArm30KfJWSMiIB/t8HFYNr6ZKoP00f5TqNM7/G4TAbFbVs4TWCN8HKF9yOYS8+4gzgKx72k2zFCys5xJVBo5G2olehK0rGmKSx4LhDbf59rgd20a36RilbN9lGBiVbj1w2/c9jR9WcAiCWr8fCAEKPDy+xdx1YBSUCKgg6MUlRufhgxoVnty0dxnmWevoF/NTathYvKF2AiW1dbpnhxPgl98CZEiZffb27R+DrnQ5C0U2oHJMjrh8kb68pK0tIkI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707524620

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-builder
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-fclabels
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

