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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-92

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

%CSIZE%
3038076

%ISIZE%
22800960

%SHA256SUM%
0576ef0d13d06a0b4691bfd1df0ea037fe1823351ffb68c45599a6e185a81bc6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVTD8ACgkQeGxj8zDXy5JJFQ//fOZx25CGYk9Ox/yEe1G1Qr3fKeFXe5JS2oUNAXjlZy+sPsw6R2gBSqMCnMeCym522tMPUtyAtl6p/4FgZLiucFXkSAY9Xkwbbm2yW0YqAAL66aQMQMRtdtA/0ZhWWtEZzyOHTlrD92lQisaagtvQQLiU20aGK9SZghrFpC+VuvQ8KU1rr9FIBI7LkeCeIqbwnTPXnTCJSmA5C70butT+HTDiiCLMcPCrdmz+b5qMdxMUz5j1neiU1hISN7Gxtsun66yvE1Ec0PGKf3GT4wSX39lCGGkjoJH8mdzM1Irg0N9nfnejvlE+ZcKb0Yrfknk7LIkYcB0Z5X0RYbxkafQNwLC3LBFhRwMbP53M/mS5oH1qh4T5KKPvhA6/jVC+7R73hkTX+8DgGws33xaAPSDz0kidX2EhJPnhqVimLDUuU7MbvQ68RZMTlxFlAklSO4Rpj9SiimvNnH3H1h7XsdehB1vPZ7WlotshHBrRu4IP3olNpFPWcEPAg/P150drFe0y2Ly/XWbi/can4XZ42f7LamJZrpCIjTH42SF+YkL9/SP+J0ukls1wZoDn8uk1Nlro7vp319aQQUWa2s3MRkP7gKZj1YXnGf9ttIryBpI7WQblIU+UHBIJmTpRQM0RKqUTjh0UZuuVEtppDGkeIZXh+HO02Zsr46gwCB/NkSlME38=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792363417

%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

