%FILENAME%
tamarin-prover-1.10.0-208-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-208

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
585347

%ISIZE%
2756946

%MD5SUM%
43a8a55989522edca420e2f0095ba61c

%SHA256SUM%
578955833a05a5dffd48a949bca2c9932efda24c5d9293e5cc72864e7fde6a5c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbFSsACgkQeGxj8zDXy5J6Fw/6ArWJwQ77MkPN9807JxDraZKTvbjkpvrtvkg55w0nSSr/mj6/LCgewW4CMRZTLU/YG4ZKTWOu21ekAu7+YiS80NolmwJKeduRUjgwtZ6j04KGLG/4F89retNgo9XKt9lH28dpOnKeED6t7iQ2S1jFmweuN2ZGngQVN8MU3JEWi9/V1tDR6nqZ0jJK8itAUec1XAuaNbAaF1rb5Uxu88itAZuBYTSI1wl92tXoqGvZNTTuXm4sO6T0UV/xTyWTPzrGTC9kpVDIc6yFxO5DVu85uHjkGhGbk1gPM7MT1e3dx4C0Qm4MkBF2qV6dOXpOdZ82XEDrFo/JSfme5z6MKRfg10Gol8Szsg7xSpuwiVUF3zSBqhIUwHlZVdHoyPJfiJ47CJgmcrW0aZqtYaMrJrh6kaL9ESfGwgzxuT+TLz4L1qjvsKj4FQdkqP+lJoYIgb47pzlvxpuNtL4XtOH6YIrnQyikVuDiZEIgPVD0hOcj3LtQOFgCEQAv1DxDmwYXq/IQD25kTHpRgJBsb5weXd9Luc9WQerh4RNvVIowIQD/SzL8Z3DoXeXTJodPcHQZhjYQKGxCs7T43DHlwiyv9S8AqWN8xXKCADOHHSllnANNGK2mYy0AODmlz45VDVTObCvu+hdkGH1+wLCFZgsCGOfvbmmIFEf/Xa+iIP2KwUvi0m4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759188226

%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

