%FILENAME%
haskell-tamarin-prover-term-1.4.0-22-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-22

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
624796

%ISIZE%
4520960

%MD5SUM%
de491f263a85669d2ba963daca244e77

%SHA256SUM%
81de043bd02b83cd79b73d7025a35a4b6a9a27be7e0f5fa85f0659f7785ceeb4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvaW74ACgkQdxk/FSvb5qbdQA//XAHwv0Mu4BL3BLjPdccHwWO55Q3naPDAPfAsKWiVoyDnuZwPIb/6946U0V2sX2QOwBHSc3KFMmvIbyrKORgLl0HuwnRvdtvQUBPrHda/unlPVSB4IJYGvIT+F42PSp88e+oVut9PTD9IpXZ31n8n/XM+mXHK/722/FUuyB9OKcb+UGEDEMxOzDKPdjdZ2qaus5jfdCai6wiYe+22CV7SbFqR57cFYpozwjnUeRJ4pO5hxhBfdR3vqmdEevL/38/Gk5UErpNFDKOlDGN8X5d/YRDv7o4doatcM+1Lz4QgPRmmjEEymxXwO5msRIkzjPS5tA45O6PQbGafHuSsa5dXKhFPmOqBiKi04ScNGHFUZIsdyFNnzdi7fywimBpApyX70vOhb8CGRJfltIynxad5K1u1BdQW4odiU8Y/qhPN8XvMrC8gGEz1yb+LXDXGvt6JUrQdDH3FUWHH51SO3qS+mz6SklQs1CVIy3awfWmsymwkjFkPD/LmgxqIYe5zibsQJOIyxL0AmF/Qvg3ryEUQV9XPThdzimUeKkO0OPbEWqlCzAnuk37uyJyr8aZQkE1IBoF+N6M2Pl3Av923oir1Jg1NG3YMS674cGbe3Rm/rMu6vD8LrBFyboimob6clZ901qljZzvo8vFr5Cf2POvZVSB0pGZkIG4gJ0eZjh7M2zo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1541036702

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

