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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-40

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

%CSIZE%
3039464

%ISIZE%
22810681

%SHA256SUM%
24cf34aefaeca5045edae226c3d747d83796cc03164b361e24bee13401cc9c04

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou1xkACgkQeGxj8zDXy5LoExAAuFyUL1kOUFQdyd+3p0ze4S6OA2arsO7grWNOtnRMjSDsDNRSDgZ/om7nMtO6oS9wRyyF1SjejOS1GfMINdwXzTZUvU2/TS4dlinambjMcmZq12KW7JdtPzWlq2bH55b3znitGSFBivy6NVWjW3kDrOLCu5RDqLgx2Iy0w1SHaTfKEiooe/72Cc3SeuTkz7dxKaoZzM90HU6WZoGajv1HTdw4W2Ft1H5o/lp2eeQ58jv1NgDsYjJLO/P03DgPc6E4jTG8GKpkOnKmXnnRLsR/LTL2YLH92vpzB/BHeG3f8Qjzk8G6U0GkbIpF5BvWE7Rv0zGFgXgztR00klDxHrZTfRaOp6AHfWGeBcniLMFzMMD5CX4arhajG7XV2QMiAqdZZuxKZILxGvtif1hOovzrE6ZA9ej2NpQUlwJ5qviPePDdk7LuL64T4iuh1WZiVVLltSP1uVpevecH5PR12LWKkzsdCttmA3iy3IyXA5AzXOjDK/+estZtwejbC0CDEU+IB5YAxVnWiwqhzbaF+nD2sFt40CtMUg1u8w+aC6oBOgfjcdMKBaXhnpHkrnyI5YogDuVcCRSKnkAAc6nN+QTfAlHFfAU/dii4AY5iIonDCoqGHviKk/6rQfWEiLEubKk9HahFdY3apjICZ+s4OiUikXqD5Iz19V91DmTbowlq1aY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454479

%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

