%FILENAME%
haskell-tamarin-prover-theory-1.6.1-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-143

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

%CSIZE%
2824999

%ISIZE%
20684949

%MD5SUM%
c0cd71e7a70a0df17e00c55cfa12ed47

%SHA256SUM%
cc4f3b0454e515a69b37b743bfa690d3172c38da01b8e69133b080244ac930b1

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHLosACgkQeGxj8zDXy5Ltiw//emD308zsSD4S7ySLz0XND8e85gnmNA9cDE0JuyINSnk2aNjrX7nyjxVaEaFk3mqen9n1POEUd8TV2I3yB5OWzgnbAF71CIg2eJqp3eaqDcv7UiA9GYa2TmYGh1e0JkRM8CMKflp6c/tDrn95uyQopy3se2uCwNA7bZmvld4pnaVl5IgCJmreL7rdk4kdb6YqbUQVbhdKzQEOAICyBsirLUjcNaYDSW0GFE5Pj59hvj11An2Y0UTUkE1XiFbn2Q1E4iCWa90VnVwmPr0j/giOhKnfKdgXiT9kGttqb9f4IkZeV8wKMthuQThdwAOe+hXlQJygxSLg9kHchjyixBuhYPCbbs4lGo1tMWBtgzfzi5Czg/c11Uyan2F79fl11IicHRo3NP9eB6jpqGcpYQzpcqod3Lo5cbpyz8Omn6Jyt1lT+FaKVU1pGEeDxqflTtY9y0kpiutezI1Bm0GteavuUFVbnrIz7Ld1CEKpruzdzL8kTiijKQG6du6VA/GkG/UB5J1jH3hF6YSPWT4bRahrEUoLk9VWpq5NLQs1LN+DyDGLn1JQuq2ALiOUDn5MfvqlFD8IfL4EaiY607KdMeHy9jL0E2J/ak7xlDETTt8oyvBTrabx/1stf9OfLS5Wc577C60HKO9yAUVJJKkUUDBuGQnLkwCV8tKOdl2Unjsia1Q=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686580696

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc

