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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-26

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744177

%ISIZE%
4424562

%SHA256SUM%
e900a05a410f94cbdf486c542c5f3e9ddccd6a45974588b0a4a073850aa5f73f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnxJR8ACgkQeGxj8zDXy5JeWw//XqrrWQ3+OAEfORZvGXBxiwMWDQHA/gwW3NsHArurAPSdn9sU367/cZAqaod98vrhdzGI5Q4pwzNbj+e8VoexujFWxfOPVj0FJ+9Fcrx5OKu7I22SR/NWpkkVFm68gmniUIlJlmlB4JZJgpNErkkyVBcn+PlBUUX+rz7eJ1E9xqh/sGX8Tu+RyDtWUkhjKuAA1lDQhy7wVDPak1HA+AYqMbj0cl3REBBWhPqhzyD03PVuardlzgoBCEmcu1cWAVwjCiiKiY6kIwC230m7pBXgJRkv/X0BX852wnhUO4Z6nJdsVWpRAIzvM2hkDjxOfhbZakoGQy6+rkRsS3SGkdDorUmQpbq+6jVXhIwco846fA/ONOkkCQoIbB6ODwvkTE4vz8d6/G7sTbHX1F6eMa12jn62M0D1R3CUknU4BNK4vHW7T7fG4RWgoD1apdlZ/yoQGYMw/IVKpRrNG8bP+QxEyfCEQGn286OTzsrW7ybJ0qzwzT4wqDMkuCS7HXzRXWA7B92eKV6jd1s8PrU3BRsZOAUE6Zb9XlBdcOV3ps3qAhmySnkPAHWPztHA8hQrwLmWahLj2h/0V2/gyUS4LH3YC+/jLMZbmNNB7V6F40zfonIi/P75S/YGke+jJgIQM1E3FRloxYe5msBKrGiHvAErgM5cPAkYsloNPWJgXAqMnK0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777411336

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

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

%MAKEDEPENDS%
ghc

