%FILENAME%
haskell-tamarin-prover-term-1.12.0-79-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-79

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744411

%ISIZE%
4428729

%SHA256SUM%
6a34c71fbea1d7c6903d6aa3808eda9beca5728a4c5ed9327bdba8b70f51958a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXYEACgkQeGxj8zDXy5IdsQ//SSGJuV/OTwgBiyOwQDxugGiNNxxuH2zp99TRNYwJgIXur7fpOua1lyHLcfkg5P/2B30DtWvDr0AXIT2cLKK8rTXFOX66QqT4Tvhq8G5pPd4WyuLbJ16kMd2DEuJv3jbsSTA2tf4zXuLsoeL7AN2tCtnHOK3KRBorx1ZucXQqWySJOA18/XS5AeN/7YDkM/wVpob1cULzwcxoARCY21J/JhEJrKQ/hIQqsHOlfusTs9gAxvATT3N2A87ybnafc2PoRd9jfabrcKmhEBsw9WjIHOO0Nm/1nenv1gerYe6GajQvpzlokdl382pwwHmAl+r/cD3re7xOHT/Z6W7A2gz7fXG/z2LOe2Va0z+sqvemfRBo6Cf5qF0wbbqCP8vzOJZdRv5KYzOfsm5fT3hXVBpA9wbTzikLngNYUqFJc2syyV19eaWBzErbKfmKLQmHUfQqR79sbLRayS1Icq8cIKCNR0g8YlOLakxRe2BnmmOlIdarDSl0WaWZxIAFVYIZycyJGpAdmMbggALItI+Xh0k91Cumc68YA9ANlq4OV9XfPp5Bs/zwmvhKA8ALo5IAJUuRH+848ParoRGfPzGnL8FZqxzg8Cu8rMnQ+Yo/gednVlS7WT4yFM8g/NH0775nQhZqj2HOZbNR3mGQhJ8dl5lhiqo85l2diKDY7NjIJZw7nTg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991723

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

