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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-29

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

%CSIZE%
3036121

%ISIZE%
22831355

%SHA256SUM%
70a99839bc17107b26b7dc99f425afe5c41c682cc49df10b9546192b5cc739e8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7SEQACgkQeGxj8zDXy5KH/xAAqhT5o5M0K44Dg4kGR1Tls3QzHm0wa3PvO7c5v5hq/qvsYYrhvg7B3+Sk38MHGDzsnK24w640aaNllt2tSA5w+5CPFyAvTogW1m16ZS+YxuxTblTm7uZB3UTeI6DvIRAnuD51dKeR/pXlMvxd/6rw/CsrmkZrCEnbwW/deKMZ1iZwOZ+xmiaFE70G/NhVlz+RMfmkJ6mn8lg4TIUFEFMjBZsZHoQxNTYUMXJCMEvcga1fYtqJLr1n/uiR+YRcspnbjTquy0VDfX3HzCBeVW0/buxwxKz3IW8r0SB4qoI+bxcnXo84pNyqms4cs559hzbUVQBM5G735QTr1u7e91SSj/pGOnC9X2gDstGuVSpcN2RmloVZA2FVEI4ROm5e4ieysEigZGcQ7xVW1PU4m/oy75VF1j8CceEwz6+8JwgBzWmdctzeUwJZmathK4gX3Hr0CHfqY1+7yxPhelV/0TSRGRw4z0ImXGaKHM4jYq6p/PqNOwLAjyI1+7DvMZY+bg9C6B8gxrPGC8V8rZUopLlI7pr1UAj7fLPFYf86FjfLAk3t0vIfS/72C3nQCB2OYMqW3mvIiZ2rOosjmmq5DvkW7AxvECkDXRKYaPPeblcB5LBhhHdTHnWJCctTwHE3aIQYn0vLASenqaysmYLeRtDfXraIvLQ1JDsYhNkgi9s+11s=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778075656

%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

