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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-57

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

%CSIZE%
3036575

%ISIZE%
22785780

%SHA256SUM%
01a526116c00670e7f4922e6fe518501f306f9c5d2f0d0bba30bd992ffc87dad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/Ip8ACgkQeGxj8zDXy5IVcg/+N4g48T6z5hyzl/KnOFFGbrQydHPnmEIYCoUV77rpVyzPufVxdIdR9EzGwe3Mkerc9FX6kteWilaUioWD5msxrXyL0PSL+7AiTsNiXN/O4t6c/OSWCQu3962S6O1DTwO93B3SkMUE0BKPEUv+2aBmJxP6h6mSMPyIANmmn9GGxfkgeAKCcIXC6UBSTwcVAne0OsYbS28Ls85mvjAGJn3YOzKnJqaZffxNCJQsss45vh0CO1KCbe+G6To4+m+T6D0j/571KZkb46ilkL++JYwKiH7eexTgy/B1+y43Q1hUx1RAvjoqH/qTBIyvvYnifh2ljbNdVrQLZWdJhjmjqM4LrZrlKuUNiFCLARtvsbqWDXrC8MN3D3bS8m46omCkO3GMO0mFUxdcIOj5mMcLFcQuyZx4CIA2lfoTAr2hl/aBHIQf0GQLXtZDnYfqYSQrcmL2e3pg/92UfqHytn1vnclIlYav+qqjONTS2u3CUkU9RnC6SaZ5tsQb+vIZtjjVCcLbfDgfLopI0By+OKqKYOQp1x3vi/hz45E2QrLko0mYlJvncruFoOAFQrEpk3rKW0SPsD/wB03xmCR1Rj8CdYdimC3QX/zjhkpH5Mw0+lFAkeIj0+bIGcb5E84Qk34C73JVgklKcLkKj8eohXT7HLS0rl8BICSTSkhqxb33WzDVB8k=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782522418

%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

