%FILENAME%
haskell-tamarin-prover-term-1.2.2-6-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.2-6

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
594784

%ISIZE%
4298752

%MD5SUM%
384f3a67da79319fc0148a27a82fc763

%SHA256SUM%
609f58a5cd036587815dbcd9324b08ae3d82bcf23ed9ca76a9568e2a735de55a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpH1lcACgkQdxk/FSvb5qaxRQ/+OdbaBfaVb6HYWplYtmcwcnfwO05ExfBLV9HCLU3WRMZH4wC3cO1whEeGBRthTrc/iemAypf1XPrKGMb3RYoSRsoBaum0ScVjgGwphiwyajHMrYzx7H7xlwpC3DIdSqSqGk1/FUttnCcScL0/9+yRlf6r/IQmCnuc//+T6GMbNj4J1geSfI6seOHgBf5ijgrbLhrxfSqexDeJmDjysnvmXmL7sAovVKk4zePZEDXOpfjpAVtMcMQpSQL2yLbZBo+8zmIAiPzLpDHHve8Pv6/jYz32OTyeCn+DLhYaHt788XKfYqjgIdC6nKZpjZQl0IBUVb2we7nl9WmW4X02LOQBtOMRxhdTJfYtQhjLcoMHC7wVdKKF9G2VYfDxkPFfQPMgPkfb2N0e3nHQPSYVYSH+wYtrbXdIN139fujjz0Dl93RqNuPTORgBVOBcTymgl3OevMDwDq+gwCqoW9ABmBtg540c6GKfhpnCErw2dAkppluOq1foc9RC8Nf1qhztxB1tRDC3B/XJBdFUQMlkIv7svTmo3CehNC/nnnG0bD11gtYr7tKe5ZbqWoNJyJ4g1xvB1lSG+T0EwP6jbNdxcEfusfckY2/XgS96NdAyiYFghtRjfll9hE24XPFZtm82it+qMWt70CNKkLj1cc/O8L5ZWEyMzhxtmnC+HdNX8UybnYE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1514657361

%PACKAGER%
Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>

