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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-84

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

%CSIZE%
3037783

%ISIZE%
22810192

%SHA256SUM%
a04938a2d6bebc135bdc57fd5ad0c8b276cfe632e4a1b0a53f50a6cbcbff6d6d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEE50ACgkQeGxj8zDXy5Il7w/+JkFvynYYONM1O+4kF7H1xFipNV2AXfu0VVQu68VeopZhkkgille78B6sWohrkTMOcatUpVJiaog7okWtnODPKNoZl1kA6DOJ+vz7p3XMBbWUQTpCKCl1qS7xyc5SsyNpq4nSSmGs+i1WaaWw6g1Yd70IP3zIj6QHndWcp3DuMabUwILHJsZdI3h6Pxmq+i4vQzKb+A+03VYdoRk5U9/8N/3i6Ksu9igULcMq2tZzXtKhAaFZyhUd0Jet/3VeEBwpOhx3ji6BC4hVrhw0bMHz7JRZVhZfeeMfocypFg8HnL4Q2U/E/yy6LDY3i+pYwtA9COmjARMTtXTbDL8bw54Fqq8PWYDht3YPOcC7+56p2cOefjbd+UkvssQGg5rlcj5msi4w6Pw0L5HQc7Bl6tah/QMwbV14ZrSowka4zFUV943Y7JZZ6mxZX0XmqPIN0elWrpCuszGzu/z/UjOvRlTBH9N+lqNX8szfZLiou+28JXMGwdZlUNI0+pQIs3dztt9lpxtSuBKLx4TJt2bTFcwwBpzsWaGFOy1PVw+nAmDHsGwqHyya14aoqR7aUV3J8sOicpT8uaXmacw/AgRfrlyn4sfW2ggcT8FDvR/+re2yk7kxbEkJWwGwAsSTucL987VCB0mTKkpa4ooRA27ASRNapR/3ooNUbsEsZE5ZCGEwJQY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791234909

%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

