%FILENAME%
tamarin-prover-1.6.0-46.0-pentium4.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.0-46.0

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1523503

%ISIZE%
5500256

%MD5SUM%
676795a8fc8cffc326809b3e1113eb42

%SHA256SUM%
847db0846d26c7ef1692b2288dbd7c79eae0aed8c6692779764e7ca7d55833ee

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl+x3pkACgkQLBRsAalSrA9DGQ/8Dt2pSjWe8b41BsuIRXCukPLGRjessCSCY97dlbkxaC5SUFtGyRS9Vyd9YO3EO2sCggujPrFaELZlpnptLsGu0Kvw6wlOV7bx07fRJLQX0Aqbb+U9mAqnbl558P3eIQa/v6HfxfL6bOTUzLHtgGPjVuY8se9weqVL8QMkNZ4zLynXMZGWaucSkt6kxjINrKq9ouZHWSAFAjIY5+mZ+/dLJpQtmgFNHCxQmTSbJ3SMECcRGq1bS3tq1FuTIGvor0JsuQB5gueuQaAO8qDbvScykyxMVfDktFPY/SJgD/UtazDtHFevR/VEiIeorDLFlVy4Yyt8RhDdCLxqyZ6WA/nPue2p7/MyLYMu7czmVRLKsZrRMeitmmLIlD3zFyUexrzlClU15+35GAzwogTPiF8oiV69SQLL+scHirxWIORtaZzaqGWUacfU8OKWRj5BuRcy6patE7shZAfu+93wYwTehv29qo+/K1R/ihupRuf7NAwSoEymPzdeBZptyXbE75JdVKxJbefD+RI3h/lVAIeSPz1K6yAoLfNClr0zSZ61FylR3f/n4HKZV4oA2t1zJIRcBAxiA5r74kWlXK8RR6ZJUuEVUH9fjjns7P1Z43f4f3C0p40BrGYz8MCTUL0Kb7TzEUwze5MqkInueniEUE/IqE62YyVJVmemE+7wYODJEtM=

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1605492254

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%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-monad-unlift
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.11.0

