%FILENAME%
haskell-tamarin-prover-term-1.2.3-1-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.3-1

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
598500

%ISIZE%
4336640

%MD5SUM%
61cc5f15199f103d8c8ae72e62c3f9dc

%SHA256SUM%
c20eb689d782fccb3e1ce7dd1843968c49105d84de95d3c84076366f74929412

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXtSMACgkQdxk/FSvb5qY7PRAAw6LNmA2jETBoAujzOW7pzhpowsGWGUNz5Hnd6xfl2Tnc0n4eNxOKaipNaao0ukrSgm9VEWwKZrT6djoOya8MNcV7cxqyHIRF+/w97G3Kdu4WVgViRSwydMxDGad5jNFbzBHCn1bSqgF53+oFHH24x2OozbTjYgYX7xE0sPllJvo5dEvYAMNwExCaUlfuQDBzKU9qqyURxJmonLHLHsSXX9o+BI5vycB7fdFN7qOacXhYF+k0s345xsxnChcgW50uoWTUjoq8u+x8Sk0J4oRpCtl/e1JQksl+yhU7u6va1Qk9WHgHThqeyotvjxC/rz3xr2ksbuT4J/t9kcJpIdswOxvII+9zaxGv/vVPVuaUMitfeB/q7DzQ+HYKerbXtLIH0BmFcUG6Taix+jXUpwFhsG0QpY0Hh7eMY5f5pSshMsORJ3QLQNcv50ZSPSUYPFDui8KZHj7xmLCObYTetudjksa4llK7zTBRf85ibyLGBlQIlnzrc6ZWnN52ZJUdWUaBxGaj0yG4fRC+1sBEBycXS085drzWqaQ4ggQ2NMmPrulRvGGU17loBDsgPYDWfIWlMnO0B5lpGjf41MGyprTNsuAooYMl8pkOP3jtaKfDbRP4b6UaY5Xx+3dA7y1Nu24zBVRJQjdJ0JZ2J69FjAk3Zyt82tyeOulV85SQR7z4La8=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1519891742

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

