%FILENAME%
haskell-tamarin-prover-theory-1.6.0-82-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.0-82

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

%CSIZE%
2148536

%ISIZE%
16136168

%MD5SUM%
6629967cdf41eaf37303596fa68bcff7

%SHA256SUM%
5ef3260462286d5ac1bbb4652b94151fca95093290992dee5bd35e734a56d0df

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBcs8YACgkQeGxj8zDXy5Jpdw//W5TituNzWHe0pxXh2aRUHAwZ3JXCT4b3LITNorK6hFtIMWPYOPuZ1Si/U/DAlwFxXeTIiSBtR4q6sqEnnDh68UQIbcScChQbnIh+pY+63tdzdJy7nyAh6Ka2lE/AcBMOeo428iyl0Tk/X4kBWrUp8EAPKXt+W3Rezpgk9jtx7FZHGVTgqQSOQPCStqZBQsVyegUmEno+proL900py8gizmgtxYbV1JWl1MMkGCcoGBZ4YRFOOdoX40DmeTgXLGj+C4gvrX5TM2JLo10iiK5WXEfTNrs914RgBRkI59V4MOS7thkKp2TPCIJKhw/WDdriIsBFkaHBwOMDufIDj34zpOvl+f9YNwE8AKFbiunXYq7eC5PhUMTbVW7IRssKUJH8BZ1hJnK7E1fWdZFU908zyJ6g8XCFT9BfrDXWT8f5hslADQXuE2mEmz1gbcguX/WQy7BamrhFOv22yFMSNvb+GIGQnhUxv4WNxJLeVUdKa/qxHvhXEbCfMH8OSw5FjfN7bVjyb7ijU/vXIzI3lFMCcAygIsoeZX4AfK2ZQUzwLklkU4dgpVM1EVegcDxGytB121a8yuAb3aPvqEMkrM+ggJq0WPErIEiJxlR4GCxT6lwTCGK6uddpVKaosuovvqoSqnNttrSLeWx0wTnz4+9caoaPYFs1Ntd8BodzU1OkA80=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1616687829

%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

