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

%NAME%
tamarin-prover

%VERSION%
1.4.0-4

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1049204

%ISIZE%
4378624

%MD5SUM%
0e6cf642f9d94506666f0e571460ba7c

%SHA256SUM%
8a7ed66f7554f81356883681ebe1702f8ed1d8c3f49946f380fa54a20f795dca

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr1kbsACgkQdxk/FSvb5qYhYxAAxX/xvezaK+I82vWgITEOH9LJySkpJ3lOPTP67EgXcgtk453gZMs92WxcaXtKomBiRR/xtAvFMXj1BS042lhKmgEZqK/sWyOR1/0gBr+41b/2Ym6J8WGq0wDxZ7M//DZWlx/aP4stEbig9XXiViY1pyQr8KTePreKwAaGCbK/Gm2BSM7WZ/92D6m/AA84FI/Uy9P7Bva34ET/6D+k+30k3a1OskswFv9n17Id1SPy4BRi89l3OQpLnTtKmKit2NkAwRszr3dstse1xh2J0x0HJIhbR+5/Zd6fx4JWbNwQSBBRN4/HT7HJ8NQ23E2wYM2Or9gTodOkJQBL2a0kVltgOqn9ONf+sP61lEcVHUjxBDcvpXGuIfUjffVvxCOH1scBsAAp5+FUo8HQKOSvdiBPNR3jWowZiDE8rJkQbhLWJyO43PW+3zOVbA1Xy0mfzTZIqqdQkly7Gmbp095MvJKiABD49XvAcLqkf1JnYM0E+tTwO8zONuwKt8tHcbSB6yi1QSwUqRB+HwEzW4HeJNeI0cTozP8d59bjQo2X2TNNddHr5hEHzTkS4JTQycuPakyB+MFtdGWeNdAf0C0pDCRrB/uMAx9lYxp+kCZAWYwa6jVQ5HG6A9gl8FUADCGbtWrd5+/sWXSE0XNSapsKezv0qufhV1kPrQ23/LCytAtg8BU=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1526043060

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

