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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-100

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

%CSIZE%
3037105

%ISIZE%
22820929

%SHA256SUM%
0a136fe9c3d1bbe94bafff15bede80866a23ab666c95dd75d78cf5fd008adf27

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2fZ0ACgkQeGxj8zDXy5IUkRAAq0pwqcrVxExN5XrxNQ8qmS1os0Ci2rZIR/Jt9iJ5ysc+Fr+8/kw0Txryc0ep4UgwtViZe9eMJo5od6V4TbASTcBkh1hMfp/IHF7K/4GsvUkKJlHcyfFysiiSfEeMEFGxtQGZzJlFAOx4kkClrCXwNxJhMAGSkBXuE0t7bcjt0y3yY96fB0BAG9OsWYNvIqLHJuthpA4obuLsfhfPJW4AuINGan2HKOAHhK/deJyTTWLnA4yCByZeSnTYpUAJGxzeK7C8PkrFJ6hYLcWmplVpiKVN6IHthwJdLCSz44A5kBzHTHYGCEsr8EfzK63EzQXHWgjy2n6iWfQeotz0y/r0r44YMqx+4H+LQ/aoBOlkAkfO+ZBcWQp2bmTa+w/EtBUq7iKIeRZ9PBalxisob70jyX5M1KLhf0hENXHgEIXW2YlTg3dAU7zh90fuS/QnSsfhHFDcBxiYekiwRthjez0rZbKIEIfiTG7w2g+gAOa9yqkTUNfJJ4UeKMoU0jghcls/n4sj2UHg+N+hqJvfcjBhdXe8DNibpONaoENZuNj0gLn9qjl8hwiIVzCT+cwS5dAI1yVPbdyj5rk+P3Ogh6EoH602UVvve3QCokK4PBE0jUMfjguNl3N8qNl24lgB40cTBsR+0gXfLsmVdxk2Z24M09sJFbysnLtLyPkmRWO/t0c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794538802

%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

