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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-93

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743013

%ISIZE%
4424480

%SHA256SUM%
8518c0fdb3486d8c19f89540da0417a40c91b490882e539e597f6e6c78755a8e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYlb0ACgkQeGxj8zDXy5LGKA//chIgQYHGCYhNs19YakuljMB3Etz0Oy+gQRa9BDwm75KVRSc5aViwrmv3Geg+2iyzIJGlzVg1Naoz2QvZCmqYGBwo9BFXMsD2V795AqXF51BOWqDri+73k1KOgjPEwc3vyRW1aa4HsPdsB1ylT7iKAfMlyjDlJuB9SaQhBhMd98SBDL5ziDGhxD4Wf216IL98PhC8vT4gQuZzqQRltpfE4t/yvdadLDJamzoHrgx0L03b5fN5XqBem6Ke7Kwviy3fRXj3U4VgHDvkea8+rRRLbOELVNuCqezYgAZS0iJSWydkgmMR6Qyfewy9Umrdogq+5KrfZ7SwChs+39PvarWlUrlLLvoY4zl1PdOcIOzGHb3BnZnwekYI5aVaxZwk0hfv8qBYg22y4aGdN3oNZ2lGmX6j9XiXv188BQjtQmYwGlUuQItv71LsaWDIQFePyFWQ0RueXjIv3YpF/1svk4jge8vNv3PoYYAF81jaBYe4Q0Sn7pmI0JvzaWFDzwMOd0rTOuDJKnmau/lG7QaUMzThx2Wg0LKQ2cbKmMvHdhiY/uyoD8f4fQJLU1KWoVsUzskqCOkIjZhVpzaSN1bIgn+L5q9VV0yrdZoTX/U8JNq65UHN/Kiri46HV9HHzKKS7vEUn9wMfNCOVc9DKNjRjC1hoqdxra2CafC5t6mzNMN0dKw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792578975

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

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

%MAKEDEPENDS%
ghc

