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

%NAME%
tamarin-prover

%VERSION%
1.2.2-40

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1166344

%ISIZE%
4477952

%MD5SUM%
930099250d8ffeb6fe3612f6d83bfcb0

%SHA256SUM%
a456850180b93003930e9ce696c150d7731fbaa53cfb01bb17142c4bd845dd00

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlou8koACgkQdxk/FSvb5qakaA/+OjdwTTjuf8op24l3skm3uZMs++PbaZQOmrKBV52wjwe/oy+TojDfi6KCgDdnqlQFe4QzUh0nxuiRRqxNz0iK2UNyHfAUsqP/d0UePePpoNDieQq/nfDp5U7cbYk+EFZuw7ccHzW7iJotDtM5KyDMQN5xPbfoV68URq5/inerkEtWB7b5E3CGsrhfrbat5HPdCjpEzb05rngZM9H83x5YleswlI5/2eIeNkkRnt7cXomny+Fu/77Zp9QT8L4gsNqv6Uy8oSN0C2eMx3ierr4yleb112dTu1Tz5PSNls6NlCypSYqCNcNzib6V7F3hrS2ny7vvmJ5MI5DcRrlk5iRIP3nSb2XD9rr6lt391kvq05cyM1W9iCpjPjpAsq34M2j4ypbD9+/obNbm8Swp9RLUYjXPqqzMm5WNSOSN/YjqEgEHfBTtzfeJjmEHzC2gMqweofQwnhA5ouvbTgWHMTjYF0cTJO8C+veiPazkcFMTi8aj0c1/LBBqvkjEJom7K6jClwigACuw4pS+lzexrWobr4cqwlI+EJwN4qjf3STWTYkJ4ZRwL9x6VB9EY3rAlJwlHSYom+5byrYZhpzJlTCV/tyMDqoqtp1h1wS4ExhH9lLPb1iCT4lGZca0TYB+Oltuj1MgqWNawKlMCNFrv812U6kFJSxUt1xIfON/iDcA92Y=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1513026113

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

