%FILENAME%
haskell-tamarin-prover-term-1.8.0-25-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.8.0-25

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
679359

%ISIZE%
4025549

%MD5SUM%
dedd07cd1bc5bc520b1d4fb7fcb5e774

%SHA256SUM%
3928dda28e97ab0645ed676abedcc01142b9cacb47c0816a085da6256c9258b6

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcu8UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZeuQ//eILnWCPHIhA8ycgQdO2lM9XlZS3gaaA5OdG9j1GbyUoTQiHBIna8Q8ANrKq59BFLcbyJltdttk8YRp2onuW6qaBFU74IDKCKCaR+hbqljDEsT+ZEp+0gydkySiVGia+RTvU3e2wtal81VxpSluzlsNQr8GPuGoG8NAZqlAlsRcAFrIu9QKbA6A25AZ3Yh2qnVFYahzNSaMUTYXyt1/dxEPV2ilKwGOt9vyG5Yx/F9ES1vqqHyErTCEJYuS+VCDk2v9oPGC4obEMB9IFtocqWL/K197p7VZIrfAjS7OiP3fzI84Wyy6boVbzdSEIxEynNOFnHWuTO2PHQm3GrAwZrEAWQalBjzNSe4gOVVUfK2jFQkLPDe5rudSPe7I9wg/qWw+NUK6rs8TGqu4E14FVZ3F4gg/42YqykU6/Hl4dWoqlN6756aMWN8h6yFaLzZEtCIff3hFMlbVhedlTJ6B3AFBgLJ7f2kqXt8eh1T8IRxWzsJvvoOJQTs1KDNMxTmamKV+lMK8pGDcZyhBf3UIBH7dUh1ddIPrwv/34/iGGPazTdPOQbUteBh8WTnOlq5YiOY5xWtbW+mG3p5R8Jz/jOtVZYw132gaUmuKPSosnrlonMAfzEiqokpBVmMKI9elnB5qcyKdZuC0NnIL97lDaRnocdQsTgkAs4nJWYQ52M8Pw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1713862755

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

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

%MAKEDEPENDS%
ghc

