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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-219

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
584111

%ISIZE%
2743442

%SHA256SUM%
0f95a7c9bc23e22af9c053a602214955da54f38b572325da9727b32f51d9ed0f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoX9UACgkQeGxj8zDXy5LyqQ//Q8eLM2F8LBCKWfmEfZTElJnintAnjUTyk5Q6m51iWhe3E9YQR4cau9eFi6gvJXWvVgjzsBnRNZ8Wzmki3V36z1Q+Lcs7WhduOLtbB8mFQwhZV1frTPJQR+l0NZz46fgKrMwUGxdyprON2F/XE5q+yyyT8wcTSQZaXmbZwsTaLN5W9t7KN5/wH9Xpq5+PeVxFwv+/dtya6DcqPlC9B2Vjn+WZg9wHXZ8FFeB6LxKdTPLdM0IRRJ1/7upGjc+mzLKvzofd1kEoPUrKoF6/jNRiy7H5buuOjgZK0Og8/2ReHPgNgaZU7WAjIxqUdYllqAKlM1un647kI3rQaKOV64vXATMFu3or17W9s4JvUZGc7epmVFs+iaQDTjWwQq4G/iOwmr010bTlHfXMObYkUEmVffHPSvLWwvKT4JjgB5/rqdETvVjZEy5qc+VfFvpnq5YDsu+mvyPMG/C/k3thvRkVAF1pAEGGMJLEUoQ4e2QZvdCNGWmK6IQcgnG0dLJHCilUAKRo6DE2bEsdhtsF4pz5RzqeDoSaE3gj5ct0ltc0nAzdWWAv+7l0ElDpvKoFP46V+xRBsTzC5MyQmBEl+tsViCUMxpC1/3P83DcAl3Q5ao+sbrPMUAgGTTC4ne9LKYHiLfxxQ/uunUNlloTjk0qwhbvirZQyRU57zztndn8vaPA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760059301

%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

