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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-41

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

%CSIZE%
3036914

%ISIZE%
22810716

%SHA256SUM%
578caafd24495f18b43d7449cba23595533e440f41954aa9b6f07dc180580110

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozz+4ACgkQeGxj8zDXy5ICahAAsPJu25bf9VHcOh+rlwkccs9zsHWjiQy/0bRRpkUi+wq3yRaza8BZmePlYHgHJ7LaPP9Whn0XdpUSUlSO8eEKg2jDjFrg0JhP8onrf85u396IPmqkO1brO6YTjaEu3JXaFRVsQIztvtL2AuMLuQo691wTwGFhMKbsyovfMNRXEcNifbovz+HddcI+ZrnDxg02ra/STOrDN5d/oOtRep7BTwKouZMDzhGGgCW/iJx90RCULWHHADNRhaitjMCq9GXZlyZ8PJ7IwFDTaXE3zu1UU8o7BjJ4G94MbYQHgh7jimEes0SwRTRxJZqFAyNd0q0lBoQxqHBxKCoylHFElG9/uqAPhNGZIosHEdQlp1N1pLdFPCGyqd4jNLD5MNCIyMx/yD2U520yw99RSdcwtiTbnh8aldjNYnOitbMnCaywCIchemFtYYVLAaTk6h+HnRuJKh2w2gm/BEhs9YOF5fouPuofF7UJs4cFncmHqesdTlPBPaTrW+th2m6P9+i8+0KoRTSX00M+EEtClQKJ0sJhBSpNQ5+q9z2JSjrHqZoNfSD4WTOwWLzpPAaPelo7oZrU+zscxrnA50PYur+Via4ZLDwQ8VCrLkpm/HQR5447qxXlUFPRcMfIqKynXByOONMY5+nyFQt+J4FM/usftcUx9++I6Va0j2dvtYgqWoTnANk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781780358

%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

