%FILENAME%
haskell-tamarin-prover-term-1.6.0-64-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.0-64

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
704449

%ISIZE%
4289502

%MD5SUM%
fcd3c3dfdbcc7f4b317b6499beb40562

%SHA256SUM%
e5222bbfba51025ae63fa3a6628a494bcc79e5585814ef0b382505315ccf21ee

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBcsrgACgkQeGxj8zDXy5JIxQ//euaI7+cOy7Yz2C1Lp6YIlWIQoUtmcflVgLF0lzHdQLQPDyqnJ/EF3f3XT5Fm6eUbkBPnul4tNPQAVsBy8PeEqvKu9pEB/RNYmhcWEImYRT/nG9IQq6yW36yk8JrfzhQvSwscZTPaTgGSfPGJLkNuQJEDezcdRpBzZVwf+HNIOMW2XLLL2WbC0FgR0Hih3vQs82CRp+kDRYRglG/sWbfNFnv56JGpfh9OPXdAuA1uOkvjJu8h2IeHjwZZ0QgdzHe6CuMJ/ivTyxdpMEsoO/2LiQGdLB9Kv8WQ01gVwVlMDDG/hXrm/yz2+DjQUzFVPAaPKCPGi3l2oELvyjA0+7UUGSFQoBhoocxnVM2nCpJ2pvXGncqleJtkesdRLtPkVR5anEVmX+81qzYIENPLYjVIBf46vHRaEz5H0SnouD7Q7sRwQvMt5VRIYN0q9b6DgMRU4Z7GxIztodA6I+hi0U27lfllB/OcDJLWRLC7hJqvCcWErD38Vbev/hbxR0Mk8/qN4PQYVHkrWwLfTuaDm50Miflo+RtgJEsO9QDCNWpfTHVDXqVUzqe6Z8pEO9ui3bEMLmkxkW66TIUISPMJRTMcCTYnjsf3A/+QvlT4th1hMkeZTTSCD0SfR+Te3XtIjXum9NLKwFaUVnTN+YrXiGrt/tvq4+T3RxONBzEXiyz8iMI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1616687712

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

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

%MAKEDEPENDS%
ghc

