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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-68

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744349

%ISIZE%
4424466

%SHA256SUM%
125e46558685771b0e19109cee39d93af06c8be0160ff6326876725ad1814b1e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUREwACgkQeGxj8zDXy5LqXxAAo3L0KAS7ttVW46p8+nhTb98dQhCVjAEjfIssSXqz68ViuvbgAB1qcdQe4HIfpf88CMY69U/Yl/McqgPDVT1D+unTVGL3L7Ig0W0HEQjXYZsy9KwQea1DxJ2u9XXqs9/AURM43lwc1YN3WMhgDLK5Cvay0dE/SMv8Hr9RFSteDf2E2+bDppvjEqpMzJO+jtgPqbq5PojfGvRJHPHfzAvtN0upCRK/lsDn/6sTN/FWpWVFLLZoR2KLSvJ7mFU6GMl/cx8sGyvUt/iFMe7fI6EvTMjnbxKh/F6RSI0xVamftMSuhKifmSMNKjW7sx7rDe1l6Lf5TAK6WIKHyqca7dJLi0igxwQR8b7ygxF3mOhuODBYpJApi9oy4uwE8jULUNLlyNnCsNRzqtNcYjbhGHKaKJP4IcP2/bHYyNQzmqcbfWDsrI6QPj5YDFCZiF9CZaWmZbIPf+rM+I4VCvHAGolYM/8vnCH4vVeMnv6FHNgKJ039W8SxUaO6vL3STHM17ehGt4+G0FQ3cWjhrvuS4mTwVRSf5RmjFL0ib9Fmp/MJHHeqpAUgzOTI6dVrdh+i03MvSllmeqlXMK9QyZrFsz3lT/GOJgsjYGi+X5/fWb8afsBINeoILUk5jvCbqz5WG3Kfoa382BhC1TlwTeIikZyyfafVv/FgxaXyClzCfHvus8w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788101671

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

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

%MAKEDEPENDS%
ghc

