%FILENAME%
haskell-tamarin-prover-term-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-3

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
739533

%ISIZE%
4433131

%SHA256SUM%
e8cc7b547ed6345f49103b612c8b58e7a153541bd6b61283020f37b8bf69cff0

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOooACgkQrx0hme8KPM8eJRAA6F7FfFyuQv8lMwuGKfWw+/dfPjOkI3QVEH5qA/n6ODi6MnfeFkQNbJdQC5OJevn2mkJraY7ivQ566dEQMfBlFwq+UAWSOfPkzLwOiB/1f/rLI63qjdC0eRNiBFZ6Vnqo38H2Uyj8Rgjz3zR87qILbpZVRyiHrHfxg72hG6e63P4vsGqrxYjoWNdddzdqAtZpoEL8/NcsV0ZIvSg4VzkctB9E9oWb3EGDvwLAfXhCsCg1B2tZPwfO/x2nnE+cSWTRgCM5ZO/FPWUQXa5E/vgS0Q2bEeazi9Bwr2/cO3FCwBXE9qmP+kYH3oUI9C/VUlJ5UcWaPIk2cKFDRspLPAIv887OIRpDOLKfr7gLsuAHv+r4F6oCwl1CC0D8sz0PKwe+3ZSfZTcMwpepNJQ8M35ynWuSjFvUV0ke8lSRaaBayuW5REBw2MW/xvvvkJZC2gAt8yl1AF+VebQ+fb/VmNOMZZ9bT1AXA/PiSaXj5r1OUf42CJZlivhp+trsGFcMMoZp0JPJf+aGqnn6QhFAZqjv+ekDrZEuyRO6ObIkalS2Nq1V9AKagzBd4WF6NKoQya2Xc5Rj0eQBSB/AOaLUBM63edxYSV+pNbhWyUvJNELgPeMnRqBrwvLXT8hCPhPYoxirL3aUnJPEsP6J+79eNRVgweOxELWQWx+ifdEHFKnWAhg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933412

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

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

%MAKEDEPENDS%
ghc

