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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-13

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
619468

%ISIZE%
4456448

%MD5SUM%
1496061c942e7426d8a7f1fef89817d4

%SHA256SUM%
aae2f723be47d87b3a0a46f9277f224c98829a8de4696b7fb8b43625891ffdae

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls7qVoACgkQdxk/FSvb5qZQGxAAvRqld3e0XJdwFoAElk1uTwE3+J18wMmcLydXbZfXOuygZuKGEduxfBqMFQlDROICfEzhOmbHYmZ4e8svEJhY28rqSIkfm5sCEk8UaCGgFqyWXaSxLQ5jgkixnxpfT7GQaO55TNtFwqOSdY4YhEeU9Osrr1NZyMA+FBlDiYHohmQICwwIUYphvghXR/+nGIvvdUmy86+vXh8kdaMdCRFi3UbYmIhLzjcq72ip+lmR2+whHUhJlzUg6TQxUw0RgvmpfN5N6fRky38ciFbbyCnYrskUmHdsiXVSUIbDqjLvKTWv1amAsVQg7QvZhQOV79qUgNcLbx6f6lsWClayRE8iDnlgcL2VPXQLSjHni58eTzA8EBDYiXuYyFj2crqeOZRo0Yc7cOkXROIMWOmstKDyFlCwollgcCmQr/BVxhnzhCK1MDeSJ8ASasurXXGLifz+bEHRYGisr5Xk1tx/Fg4diRtv0mFJmsm8KOQPhCnPvtIjY/jBNh+1Nql+PWg4LeTrVADqYU2A6yjYNwejrPaFujWsu9HeBU4iTP6A+MVRJ1Zm/ZX6nw89AN3pPJl4kiQbiPj/8iDNCaQRCnRxNFGMj1n8+TbIunqCxhg5U/27u4+VMlgWxQ6GxZe2rpDIzBgBa5bkADTvZpll0U0XCvZrINQm2srAhiLpl+O713F7Coc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530636335

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

