%FILENAME%
tamarin-prover-1.2.2-38-armv7h.pkg.tar.xz

%NAME%
tamarin-prover

%VERSION%
1.2.2-38

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1165736

%ISIZE%
4477952

%MD5SUM%
86868897159652e9c13ebec5239f4ae6

%SHA256SUM%
b1bd621e0079e29fd9a8c07f729c7b01aa6b2a022ef91cf2f618365076e24019

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlopm0MACgkQdxk/FSvb5qbA4xAAuc+H79MnyIZ5cQ/0YtB1Wd2FrHXcnJu9EA+tkUnyKRwuW/5ztIANu87QpRZr8NXGNuze8TO0jpU7jikkN88ddiUCliRNtnDMmMd3iZZNy0CVjBiEOHDGjHgV88Z43QFENZVRb3yFQejzlObAySgF7fuerjP6hTW/fajuSUgNL0Px772vjHOdvmlg+c6Clm1jafBgmdjRhd4N0V1VsK09ODccVxmtKpiuiW1T5IUDCC2PDMII4Z8quUIkN8BsIuBRTAxm1GmY7Eij2BhYjsEBRgsDwuaKFccKQyIJQFdERMNs3U5P1PqyBFtwPSWGfmvr4uUl7pi8naE4TVW7vRNQh4SWBm31/Rel4Elqs/olzjSfq2gSlM0Pt5BpUi5I+nWhHSusMIQPsvUfklLoTKZAyDyXcWcQW39kfpGVorRBPdS/7gknPGowHItcPQ4EINEehslSztHkp2APmSQOkhOf+VDh1oCLgc1+H7gUaWiaF7PEIMuIgPTThJI2kPf/RCImwXm4biViRwaPNzrNZL1wr1H5ZlA21NvVqn8HvhvHJ0hy7Fret8o6jDkM6GcBtl2aA8U7/GwnObsjCk/XZqcUEA3sJnPqwOmnPXwxA1nllQO0O9XyHnFc2txXZM2fg8wIyB8kbQoKp5yxSVICllCskOXic++8bnuuYNL/IRSAq44=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1512676156

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

