%FILENAME%
haskell-tamarin-prover-theory-1.12.0-30-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-30

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3022272

%ISIZE%
22811033

%SHA256SUM%
93501edbceaf932725a8075a92d63bebe47a83d7903a752b48eec2dfd2d81436

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8U+cACgkQeGxj8zDXy5JGEhAAr/A8abNHzRVI0RJmH3V68RaCJLhsj2W0oC6kIYjD3Vsb7X0naAi/Cn0cvXBh0mTzcvNBXHDL1qMob+nb82eCyq+9zGVnK+H+TabRNuS+oMwA1VwiMfVfZNJs2BaxMEdUTU+G+DY5gz9/cWbkV09JLd/qe+qz9ZdnGNM4YOmjXbp0UbIbkrkY/QOtUJLMeAgxrA6BSSTqTAgENWDYnNcE7YwReZOCKAj/H90XdDuvNhsYcg9+RDunpVgp4sy2zxtDH/sf2dFF5yBHNCmaexRAxI0Na/9rxAxUMjV4Cbv28bOTDwXBniUU2y4lQiELox0NA6stZ4wbUTnXqGoW7zWaS/FNUwBkLb+JxAneUvnbIGFs4BR52mVgad27P7R9BDitbRzpauco/AuRjnSld9mctC9BQKZ2L7THX7iKGywi+AHt3o6jT4Oip1yR8Mx0cP3OAtH+1aUJmnvpE/jszVc5x2RHw286lDuYHzlcNFpSyuJ4U//cAhHZHlAnISkqgV9UxgaOXBU5cKEYC+dv0CVwDA8uX+zhEEmb70b/A0ChvoCQ7s/xaL816kYQOQBX7oDcvTPl7V3P4sE8LwTR3UB3rHs6oIjlJQ88FXLJWSYPF249mzJeqJ55x23DZ9mvnIND0mD5NGB3YYLZmkjB+ZkiRDK57azz99u/XYBWHbzJsMY=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144127

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

