%FILENAME%
tamarin-prover-1.6.1-329-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-329

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1656931

%ISIZE%
5710022

%MD5SUM%
0203ffdb97e3cc3b1d8b7c24666c2a37

%SHA256SUM%
43b2825308636c4526f1f62dcfa524bc335af8c1c4f0d665a162dfad1010608e

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CswACgkQrx0hme8KPM9TMA/9E2hNgUDzEWnJHDjtq11+0Iwci/mKAT0T/oj5Ydj+oqkEvBvBPwel7wi55LVTptfrYxNN/G41s0Tjf0Sf1BbpmxMzKd2l1gJC+0iNTwec6nMrTUy32JzKAvH3K4DPXd+FoYu3+o5yeY/7AUtb16FmCOMWW12TjMelOoGuidMnZi7peAb1u0A9zdqFPYdgSRh350DDF31Oy/djrMT9pFWlzxX70TM+ZhUoi/PW5EiIqwQae7sgRtniE2pt/5PU3KhLrl3lI/MC2/ip2r2yKqnzUHnDsa/tiDNu+c3KOSPGtFpBM091l48DkZvAjNS9/Hbr0xu6FWTirqfh7I6pu0c0DIrDP8LrnPh9gojHkds20yZB1VbmJIjVgLlv0LfaTJU6xM0JPwcznDckIUjtD6cXbDs/C24eiueuG657np8Hcxvp2H0b3kHKJSA2PM2KxzK8v221wGHa7Z9kbX8kT3487FhucEdNiwXcslDKd5dcXCGMt1f8X9MT99kdU+ovd+RT4OP1YZoRMgaENFxgHNBMK/Vo8mrsxLuHg31f/pwVZLoozAs7Lgs+rR458+UR8ROUG9aLMVV4QWWCVyJbOOwhiNMt9MJN8JvJhPaHMI+OajC7/eoU9RsHb6xITgpifTG/xieWN0V5v8ETK0NaRaDjWBu240sKXL5tSjXywdITc1Q=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686719559

%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

%OPTDEPENDS%
ocaml: for sapic support

%MAKEDEPENDS%
ghc
ocaml>=4.13.1

