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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-31

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

%CSIZE%
3021724

%ISIZE%
22851758

%MD5SUM%
a2843d678598eba7e8f2d2494710e240

%SHA256SUM%
661baa6ea0f2e50c66b894d3b0b32e65dd944dc2be8e6d3a7d0ed0031a5fd068

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoAu8AACgkQeGxj8zDXy5L7JxAAsqrm8JqCDcF4dYw52v/KOwM1qwtYntjsXG58B03K8oGHi3vVnx4Iukb1kOM0ZVASjCb6X8/mkBU2ecJX6q6xcUGvRMZMY9weQkzv548v5S6eE82Kz3+MI3T52Bn2CE2NZ6LXNjJWciOjiojC8GPbUG+PN915Dt47DF/bxMVsT4MTc3W8Q2kB+9cPjjXhEXHR+2bQ5Xr1c7d9Dvu0lQDqiAbWqAcAeU89DYjUkBp3mFiGIg0EJ89g9xoqcV+Vs0+AU4vRUFS3l6XTZW22TYJcxQ3CmUywD1UkBBjNrnw+HCnrBHvytrLg7jzxU6QS+J36z8fvHpDSxXsgUtVyX7teqZjlYb9FxWzqGWHzXNyApyvpvd5nNKsImXpV9xSX7VUtz955qXpbb1QwpPjGWDPtnoeKLjqVjoSElbqvNNYwYX3DecOU0juEHyysCI/UBj0L9J5t/Y6kAdsJu2rvCpYH9nAuJc8jlXkK11HLGNJuKg4jdySgcX9+ZrcCaLIrmg4xKjubc2Rp1lQ0RtAq3zUhR/VERrrQN27IkG6+FgSdhe/OdGAcabOaZ0t4rsL6bBuX25MAfle7+ZU6EsfPl78RoLrC9p7JUNqWm1IqdgjSgYEotu1Li7Z2V7znf9Qf5QCIAhFLdCn+CaElORi3fd4dn+F+faIyR6d085fPBzgqU1E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778432796

%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

