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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-33

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

%CSIZE%
3028593

%ISIZE%
22810515

%MD5SUM%
aba067a7d3a7ee6ffe067635e66a48ea

%SHA256SUM%
36f02e4d1c98d56d47e00754a46ae25d4b38b8d888e5d56429db921d69e77072

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC0YoACgkQeGxj8zDXy5KG9BAAl1UN3wjAuqPSnvovDz6Gca/0i9Q5idVw5b7tQEaX9UYTbk1jYqVvN7rZMsl+XCSFkjF/KrSmjTJ1TjN18TPzJkmmf+CMb+Hyu+jGTmFI45yVH4hgUS8Js+vhf9IAmmEmOWJGks+OzLBaB8M1vu+9zFMXciyXgTYRWB0oSjZCeBKc2hADyZG4c6TTTI9cPzjtkCEFYS2L52VzBZqHNzqftr6yyHBmBGL2yur6DqfWNLyn1icRjAuPuxFHx3UcsY0JoY0lHM4qbJ7HKY/5+mFvEQ0igPvdzoJPOzFD+hI90jv1f3sn0uo/hFJU5lRrs2yG4IyHTwKdywiH20mXB2TVe4MN0SNcR0234wdshDXvbUv6h1jS5yRM2SYjpzHy7hp6gLLX4v/i5Xlj+TOocycY7OiBEGaWzd9F+7NNKS3SW86y9IJKX/ju+0SBidVVDo51j2LztATaQll+1D29l+UM8oIJZnLXoQ+X7iLG3LgZrEiirY12vHEkg6gMxqdHsbEQgvGD6SoB+aP74tc2bJ2e79neh35ILlGwp7e/n0RZSlZqjEzQz5IY+CkMExELzyXltkVl7XWrSVeRzKMu4mPAEA0d54QCWlc10EPeuLKGXd8a92yyyQVdmbhGaENkHrjTWsVk7BqZkc8u95DN6qGqVnNdyac7f5cqqG2KVSD5CZo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778569401

%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

