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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-69

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744640

%ISIZE%
4424685

%SHA256SUM%
74cc4caad68deb29b26979aaf7e5f46deecdc55170f7e76eef3f870e45038dc7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVUcgACgkQeGxj8zDXy5KWsQ//bbSL2zph7++BFzJDAjZ2kNIhYdCjNAYjBca282sZR7xcfJy64oVPozIRzlb2BPsNQdiAjbV/JOU4/qqvR1FPTzPQ9xT8w0N2WXpLUeBAM5X9pjj2h/wtsGxxxdRD1sH3/D4YkK4cTNgudYnAfW6qik+RcgdhrqYm7eG9UCjb9PJRi2jc0e2WfqPwZOxlSS/hd0YK5Iops2VPXssmsRQo1WoXDpSgt+Go+CT3WOwj2StsqwD7gSsX7AyZDrSnROPQv3BKJrUkl1IRa7YxSAMP7st+pc3BFjJGjsAnD4U4cQNi89B6pTuYYgD62XY3rxk+AJvrHxDXdftC4ueNN47bWYI/m3Rt+2xEtiA+zDiRdIArPuhL7pZknuZ5ctx9Afbr4GRbQKur+Tt338q+m6qZ65x2Bf4TU6ILPvcm0aQBe3dxcGLsJa1wR/ZBvdZM7CXp87OJB/95ASzbu8YzICr/sCsOCiwUKTMHVyaF3hQuMSn2bqWrbhQ8lMj6daZiLratg6Dv7Z5IFeeM+sQH3WR6NcJcNeb5sjanMl2cRc13A5lmAmwchXWvs8ngAK2pfBPxxx7dMUfsiXjb2yi4ldaEdif3WrvvtgR+WFB0soujQvSUKiJLjufzshG/bbcz6ODAQc2bppLVU4NzZQIJ5GQTzHpPq/Y28FMSSVkoRbSAvXQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788170665

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

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

%MAKEDEPENDS%
ghc

