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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-73

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742582

%ISIZE%
4424496

%SHA256SUM%
11b580ed37270e9a1c2b24c98fb9c1af09b7e6567c3bffbc926a9790fd1d8fbb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3HFsACgkQeGxj8zDXy5LpoBAAkIccFCkOjy34gFMMWxTv9ffvSd/IKX/JoxAiv0XULuBvH3txJBLHf4u/NJ50qmCw+nsAn6L4L00VAOoQbpfqio/BHPTEZX7uMDnn8sskUiUGu7jzLO6lFJdM/d+OzwWLz7w6CSo6adKUJOAC1S15tQ3CQ1IAthR7+nm2DxpQL1Pii27BcrFm/L+Vrxd31aSIM6kzxFU2hbChdItgnUoQ/qKEyV2DXvkb/dRcDRZObl985Ll6ZTqudFdCuW4V5SYY563xtg/QE3FiAp3TmNcLmIgGf0vX9L5n+9nxOFNXB8aCmA2Xx4UcWN1MBrakbiYi5Bzysw6q8NAYuOblnY/epAl/1P0N6ZRdR2dClTQYHP5xVPVv+a2bLP5timsrvcA0aDiirNcwj/3ZdCe8KUWZ/13Q7JcptEjYocjgJs4+pzXoS+DjoBlR7WFZuBiuB87hci7qN0cotlKHkyr+3f48w4g056w3YWEwVjbkBZ12UTEq2CSZY//9pW7n9bhHtspckHF3HPcWv+PIhkMJGCB8Rrk1qbAWIRQnRtymS1QV89pZuqmdjoF1j9akBb02h2oUjKEsxapyKoKiFYOyFFQTrnVAGFfRVsjeoJ1sqE9vyg0I1QfEqYWZO1FG8XHtBPSsIwXz5B7huWKMOCUOMqBZg1w/kEcqlfZ6UitndlbEE5k=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790385191

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

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

%MAKEDEPENDS%
ghc

