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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-90

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742843

%ISIZE%
4416351

%SHA256SUM%
20b5903939cca9a0bafa908cf5ea3f0f6d43136d11daedb5e319ef5873639542

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSqqgACgkQeGxj8zDXy5LoeQ/9H1Q+Pqo0L2OxLD5n8/Ow0rVrLkCMFakR+iq4oleaTCQQlU0qk3ufL8AqZwwkEMo9lVg6V2PgZaZUkfoADs6O2iKYLOHN9uPCzRTY+JzhAQ4IrGskkV0ynxgGotZSyoar1ujqX2n2gPwFbpn9IjqJXiFC1AT51wFJdGBujXvCdg/+4RM/KjEPctNa/11UCV1RvX3HYfHyOASlI9Abq4Y/mDHB06Az/azEVFWvcd/b0dcIRDv9dDjeamPxN0g1/cJHcucwUiEDGuU+VI+uMEgCuJDo8JqT4NmmR/KGPnhhvcLPV/yk03XhVVWio0uqoU2+5ZkNPuewLVHZt4bKPGVp1LiBiWzGj8VGkX67mheuqNUTDyCicihzU1jKxDflu0Y8WkwcUyay6c+0xNVEFxmLGDFmmA7Wuj1ellhhQcIRfamKMx4EO5mSNVoB6tjmuuPEznPkWmIsoEYLC2/jLiP+oDOiPUcTx7ZZGEPZLGGCbaY3VEfr0neTB0z5RaGDcH1wgWXixcM/JhGKS5wGHS+zvzZA/mhocj2Dw5KDZeoZW1NoNb4wnwyRuHxYU0sazKb3+KniShgKQVIqk/PkSIaAtvA5mptilLC3H7LDS2H0BuyygrKjRimc9z9vkpX/TH8SYP8SHDDN8JDXbsx035ENSSauz/d56e4PigQmGsGoHjI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792191115

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

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

%MAKEDEPENDS%
ghc

