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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.0-46.0

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1523406

%ISIZE%
5504352

%MD5SUM%
7ca350b91fc7473a841678915355c747

%SHA256SUM%
28191b61e255a11a05b119f6652c750772e9e335c9c829174329f39b82910ab9

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl+x3c4ACgkQLBRsAalSrA9cqxAAp9FoWfIA+51XIek4mzIgUKtwnufLNL4KEh2o6d9vVa92qYo/JFK7Ilq8XVMlCpsC6RP0EWDDbR7QkHq87beTGM9aK+vCCh5fq16UAbL6nB5XxzU2+hNnK4tgP9DGF86Z3cMXXwrdi2dUJm44Dqlk3k8AOmUCRr8lMkcl2kJOIIaKNZrv3ucewktuzBLYvVCh3qyh7h2npbQHNgbtDyw1Tg1bh7fKFAbWMNkI95RF9VcW1rY/l/W+6WMkVQLWxHG+boUX6np5UOgv5enerNSwhWaEf6+r+lueb0UWUxYYx88rSTlbVKL7C2J4XYo7pRtnnj5004aRpEbWDpAnagw5tmbT1CiIeKdmn1y6W7hkPGQFrKhiIj8UaO79cLEJict41oL3f1m1NSMeO4Vxc+LYBEmDRqeUYujNxtzujenY8La/5+D7Gtbl3kXUR9irvF+6CI5Ceo/OC+7UKu9VDE9swA7MGZAhrr4zBLeSKqrPVSbWtcz3HGOlZIuxoFm6sApSBcod1mhGeAy1rDCQTF3Tb01eu/O7ZpJ6Afn3vFMUDxqZOyOQVev3F2LPBr9RC93MHcpAlcbjqFBxfSjfnrFvYgGOnUmGCSEbw6RwjjuFGTRufk4gMj7OsNXdQZ+K3RkgUGjMxgGLMBWfWb3sZcFWad5MSJ4X0lQFlAktJ6QXf+c=

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1605492045

%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

