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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-34

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

%CSIZE%
3037917

%ISIZE%
22810184

%SHA256SUM%
a6bc69f83b8b82c772cf197591924ea81a659f7b5d60e300414dc255d6caa08c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEh0AACgkQeGxj8zDXy5KBaw//dzctrgyfxeszI0d+wOYI4ZN5j+TOkdSDIQmG5oR6mZ9hxb82QLwEzOc/mHzcwubuQa8crDlaxrDyEYvnj4Xax5fJ194aSUOSESQ6thzGK8aeS6Ht4u5aFrSsXOxMfl1QrPqzbu+det0dfFIMFgNm5Vnz4QvDgsqlRH6xS+ufxjtTLTq65e7UZ+BR6xL8gK7egBeHhBuXkzXmOkGXRQv4GYfOtNqDX15JSUF6rTt3/sqK/3zyN+MKzx5XnieeZql4OrQw6uuxoJosxrrzHUsN1VEpaRZGiIquG93WSN/8iRIiF+cuzFlr2MEDQyIkEHNNKokrsaphXD2aEQRx/ZNnsOeW6RVqNuCAOtK7k4iJBaAEYW94NCF+WC6ItSXhtz9UqCE4evVQCJzc4sEocbaTX6nJm/z9g60GzvXgENHMZeaKXxv71+wy0TJybgkq2rbVZ5ddXbjCFihPW9DgCVKjWcU3aFU6/VnxirnNrAViFSvX6QI2jhv9qhtHUIY6lJ0nS4lSnCMWisrCJSiWNkE5F6irMLy1WKuUaI7BOhVPqBR/TIxfVwqSIKVrgcgWkh3ETiREtZmkzyAH7bkZcamrNW0mbvrdZBWPpGuNdq8/HSfnLy2FFd2S+1N0PpAWaywm4i+vz5R+kJusYzkxZBMRoxXX7Gg6OCiySbUSLqp6FBE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778681582

%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

