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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-86

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742815

%ISIZE%
4424668

%SHA256SUM%
3c8f065859b3303db03968d57f6ce82cf3a545e01aee5b283f51c21e6cf427da

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrHZmYACgkQeGxj8zDXy5JzmA/8C3dqPDcGMYgVDvNzdQt1/l9roM9faeIlU0UUa2iJeXncdpCa13t88NsIZWacdq4u10pd0wm56AtCrAfZbveclElrKiq8bgia2g9Qmodx3oh1Zccq6uq87/BmO4guxeYNXfUFurO7xKVfiH56n0rtljSog9b7GCrbru8h2dsvR0+USZnVOR+qX1SSh6nH8KmHp5iTtw3wieVM/C2XRbc3+KIkff+9utvkupt+h0GwECFTdaFhu+PtQfnGgxhqRLz3j0GNT9eDJBmRJ+PLskqVbCrAWZRw68bVvmUJk2OK/Ls1eze0JAKn+MZs3YMeU+kDct0IPSZn/JRzAjq9GQa9IcksZ6+WOIkh4WK6/7wxy70BULdk1NfwM80uLolkuwQjiUa/r7cfKdFzkBsldr6if8JvCaTtvRMwEuD7e7Y5U8OsXWbj6jXouVWv/6mVO0jCCRLmiHjPNNxNzbWTVietrWe0x2QsnjiHnOAGLzH1BGXCKroLKygI3byQ0/GqmeENvZJsqZAE9fb7ONB+q+EUAl5UAd77/4xCJckp6gcLTPet35XHgFpn9EcfAwWL9tHV4fbcJVMPY42G8tIvvjBxQUrdl4mXxYsN5ABkfSjfRXXbiqSd+4/T95nVD/S+j6Kt+xQYfJJPgzW5BaeKtK2C/auG56iWKiD+wIv4AVXqZRA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791452732

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

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

%MAKEDEPENDS%
ghc

