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

%NAME%
tamarin-prover

%VERSION%
1.2.2-43

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1166068

%ISIZE%
4477952

%MD5SUM%
d9a1eadf179a419fb622738b0a6be369

%SHA256SUM%
3e20187cd40c9bf6f6653451d5138b843817f2b3779064f7adeb3ce09a973327

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpAny0ACgkQdxk/FSvb5qZQgA/+J/0PzVp/OxT65PqqDh74gTC9i3PFAZwC/WxZohzFmlTI4o49AYkKJEpaKepzvm3A9hIv9LUENdCKd7IEkSNbVagQsDjqY0DUVdh8pdQ/KJ6VXykqAugNqd1/h9U9DNeR84OPNsgona4sqW4oH/VplV5DsZarRYHXgluFHahhCGqvc6QVqjN99y+G3yTmGOBYz/nSJQ2dHoQfgZgNE70ynmP0QjervsF6OuIIwR5iD0rFQtkFqM9kpdWmsYjHUpf4l+c89esHf3SxQS7PiMoXRdkkZnAQjEbKCrru87QEgK12nY4tSikTxAE3yHs/isOU/K2zwPwr4MLXFtIGk1rMooAifidYgNN3cfhMOivUQvumC/q5ae0bo3s029FEWfkM1ybhaNlaUSi7iFSgCO21IXNGKaE62RRJ9xMnXUCHIgmz3THo0nJg9Pxxv/L70tZNXfPTYRhFpJ0T3OPUGuiPIDVz14DzyCP8fveDgDI8nJ17oCRrTC75/Df9WWHF8yBf0tnTEZJnpfLtN0xMdeZsC7zcArzsX17NC4YkwiTvCyMwmZ6oWuGBjX48SvnT+2zWQn+KzLcoUtp6n9Qr7giOx1MqHHN0QlPK6vCUXGGit1+bzrPRXLn2YZdKYMkcCEUmC0O6fP+HQr0BkuhcDeughKHD2DjG1+7Gr50kXJunqKc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1514184486

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

