%FILENAME%
haskell-tamarin-prover-term-1.6.1-23-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-23

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
861123

%ISIZE%
5218227

%MD5SUM%
d9facee6044b4cdcc902036223133a68

%SHA256SUM%
8a56ce809dfa2ff8c07fab14b5cf596411383b44a39a3c521d8a007f2d51eb7c

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHd268ACgkQeGxj8zDXy5LD3A//UGzrgiv8QFyH5gEJFOWZRf8Lt55pYJoh1WV+X0Ny/jUIS2v+Sz1f1489VlYF3fEO0mi6WzI3CCRFOsRPur6R/xBjSu4eKixIpqfaMDoGadM0HIIXBRhnVhT0z1IKNbyYgxXaNLiVHV5GZjZ+0EzAwuTegNUOod2TFzBHqbLaVWTdiSN5yBYB05iih+SgbZ3LsQpF33Ha4+P0Zn7u7BM4PdXbFamZbHsOFY5iC5ysdJsgBwHJcmbGkFr9KSokfP+CGBe6EzXi+KF6k4N/wZKhY9oGh+ZasDdZhSRyi9NHhsU1m6lbaRoNILDRcBrk9X+diBnZBy3djiiXgX24tLKGj2d9M+/wWEATJZJYMK52jhONkjMXj7OLsKY8w7Q3Tv7Xo6gB7+jpVjweX+FYVs27O5yq/qLRVrO1s3lTI9+ii4n07cDFMjqxVBOCA6h0+WGBzRcxbhokspK3jJcNcgjTfwHppWLRF0skef/U6iYCHktzmHMH4GAatbEc1HfuHqKqAqC2qtJUFGSlekZQPAaxm2vHV2ewCKYUP2qWIHUWwO3KBggvfqkw/92jUL8ic20eQMIeQF6xgTvhwk1kyc7twa3Vz+l5n1Vfjsb/CutFuAWB18ro0T/TuzjzSx8ZVtuN2eqgK+gcWamZxFVK3aS/8UHCBxVbnpK7gQeZh5A0wo4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1641929571

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

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

%MAKEDEPENDS%
ghc

