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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-25

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

%CSIZE%
3035246

%ISIZE%
22830829

%SHA256SUM%
a9f02f8de4b989d7af19f6aa4275a13f64a4ab452f7e513dde728dfe3dbe9cf1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnvhj8ACgkQeGxj8zDXy5JL/hAAwO0xKaGY/hKjTevXauYIOV4padD86JNBVvmFEhRfZF6Sxk1dD7emfGJvJdHmjQhLVZwp7mREGi1kPGvwrMU8TIwFXFN85wGuSAoBy0neoZwEMtViriWd8uhqkPxirXRrkrDX/yv2nCKeLfiQOKAPilvCyVBoLqxd8+FLFe1QIMFIBVp8aihVX77tEJhHIRQwcaZ3pmB7WSP8Rx4ArzAzmpvR5u+vFL3oSHwpcYRjooYIPh+t9CugTAIWkQrYVh7onGjaY4/vf7xoZTAqCh+leekrXFAyrI3MNXyBO+kMDGvbVr0Bftc7zD0l6xDmU+HjuwecKSRvGmYzYu/DEFgVCsYmkF8P8hA6FIFDFu4z5HjIqF1rPIzhtd2Rs2fs4mv1RRF81xJqsZ2Z0VdEyU4NM8EiepayYHy4O+Bqtow64Y1oGlYnFUde754ZirMCX37Pvb3MXVNDZxpdNDEk4Tm0i411D03HKokhDZ0jrQW3/neGBEl0BNd0Z7dLETXWcoxQUseZ1xIVL/s3TqFKB4H9CJp2wbF/LIBcfYAQdOZgqTfuO5JMT3mzt8hVBP6CJb6uTExKkNZU97u+hAGn0V7wwoRYOqmuT89+k4LetZoOteFhWjAo0OPwq7izqW/EeRnzzBmHaYsz9v8yDKQms/xzsfjEmkRLHiDT/fsXQgOUeZQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777305054

%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

