%FILENAME%
tamarin-prover-1.4.0-31-armv7h.pkg.tar.xz

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-31

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1053328

%ISIZE%
4311040

%MD5SUM%
a4ea62751575c0142bac4fd99665bdcb

%SHA256SUM%
72890199e00722218f6e0e775ec89d7ba9f23295de240992d27001b6d4ce98b5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsZSoAACgkQdxk/FSvb5qZJ+RAAibAXrVf59gm98mRCRPtqDFaU5QcCrtAQsw646ggnfMuLR9YWyu7jbxSjEWs3a3AT2TL/v1AemmQ321NmOXaNuSRgrBelyAKIaqY7QCnSBDz0Mpb+0xSQujpd/erz1TgFf1Yox657u8SDCz5TyNalGp4oW9UbaddcKAwhEv3b7NECOdA4+cvM1sc5sDIUGa2ida/hyFS1EiussBdWnw8Nz6bWLUVrqnRdRQn5aRjvbDOBK0JnfoH44GI5Z/dUVDCljyCrMnXHjykTadH7kJhZzpVVJLebYAXTXQ7fVCFx6/lDr4mXCr7fg+8wwZDC2iEACqUvDRnPObnCPTamW1bo7K+O1JohU5Hrq9nj08e7HigLclKdtN3zj3EhTfon8Nk2hinr6/mh2+fRWjMOLxFuwb92yboxXuBotNaSxHSjwJUU5YE822pRGsm5JWqOaVOkyZ1CXoBc32qRoFzAchxjMdin68lMlQV2ZAD0vmZGbhBCA3qwkiyl4gCLs4V0UweEilwJ+3M729hm5y18i624HeR64xsekYc7Ek5wOC1+CT0XQOUC2dU4gUrci4fyVjiEJ80oI+1ZFmZv4eJHkmaNgRBLZu2TgUlTUb0eZdf4bRS9XeJ0JDRUKEkZCJLwUebZ5nAQlerD7jScUjBxJ/EBiCqM+2DsYYZeJUi6cJ6+GUM=

%URL%
http://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1528383804

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

