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

%NAME%
tamarin-prover

%VERSION%
1.4.0-6

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1049236

%ISIZE%
4378624

%MD5SUM%
c5630a0715cf42fc29483de14314b48e

%SHA256SUM%
5a5436b5dfa35dc7d5ab6661f69d27a4dbfcfae5b76974e865117c788b53cb97

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr4bz4ACgkQdxk/FSvb5qZUbhAAhjRsPceE3Yx6grTr+fYtp4vAKoCtVTkdXn+JHOWPl1NakFmnuV4GtsbtVWpbTt9gpAFaVeT+amglIustEaV9qEnT/aa3rO8ZElKwVL8mBXYlTI9j9SME/4x3nxFuXtU4DzgYakkmd/QuNKGk8ih8ZoLi6yn9xMh10BUAfHL63k7Vy6nyVCQyqRaijcElaoV5TFah4dQltKqSY/V4qh5YwUlzLwIaHlun/667hYMT5nOpEyVzbehPjC3nTJBAzjXXWDKy/57GWop0JamBAawuDI7kjg78sBQXP+P9YVeB92ktAVqRApSyOV5DK9DlMukGwJcT5AF/K/ELvQnv+yZSrd7k8Ecvt7va2CGrEg2D85b2A+MRGjpyXUrGBQ/iUS0iFQNTr9/iV57n/uxQKuDu8ewL63izwyPIrt/RP61SM5+mdd+bOhIf4HP1cDC3Xass10p0DPvuQ7gIk+llqhq93kNiewLe65WDdIxDvHR9qTEqXLwwFB504904DQP4v+Hk61WRxZdm41CA5J+X68qyUv5OqWJRpLpnwo8RIWX6HJdefJmjvDbcghfyb9dw2jDY/Z4dSvKEMSQr+GYuJFuKDzV/s5/P33o/G1fpjoP9/uwyrpxzV3ecGiCWhXeIU1eZ6weMcRWPCBRtzOVst6LwJkB1OakLkfT+yiUXHp2KjGc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1526230839

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

