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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-96

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

%CSIZE%
3036692

%ISIZE%
22845719

%SHA256SUM%
90d54e171da583bb768008f7b6680adc3b9184c74ea62a5f08dd84f7dd0734d1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbQ/0ACgkQeGxj8zDXy5K+NA//S/TgPoOzVbUjo4rmC8tmsho1k8f8YHvXsYQPBbhSngM4KNC5GOjZf0KMcai+QnpzbyLHKqRX+cbj1O59zAbVXI+0sW+3XfUsW6HmNcQOJFc+bp96BTVMwMkK2AiLU8ULLaNKnQvFgEh8/4sbeRszDbvfnF8/D2WGi2zBrVJRnz12R9lLucU+6HPZwAqVdrfkvdf43Zi4s6DLBzwU3dzAk1eZ8ZsLHwXIOAIdhMHmT2FBsv/bwJ7bNMnz/laAjvWFo0LQW2gFMtsOLZmOS/cLwOPmeZv4CAXZgv9RBv+6DErqaK5bLR2SKWeZlNgo39AbaVq2JoX+M4rP9TLVj1dXzrPjkVKXhD9/IeQYaZxQrGH2puURt3AGSbyo72azrDvPvptmQvMzDvv8nvvf6TmlE99cySvu6n5eoVqK6Q2wT6ViRdfrRjn/Zru7UP2vH57rl5mb0oURC2pUPdBUxqQkBVGoj/7PjkP1QbYE+KKNl8/nHxpCSFUwX75yCwGLBxI/IcNVLy/KRFTn/32NPxI80/IWPWI8EoU0mZnhI36F/igtzdFjwBGilQm9ZdVSFqKK+NV/ByB0SDTtTJeOvKXo7/P6FGwWURgnkCBDnNs/XUru8XGkBHUOPLXIqBh70iacmzIzIcm5+wAcqLM/ibgswYo6+Ebeq9/ppBbOMzqgvH0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754610

%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

