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

%NAME%
tamarin-prover

%VERSION%
1.2.2-41

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1165920

%ISIZE%
4477952

%MD5SUM%
1271341297db3cce0eae0c180a76daef

%SHA256SUM%
a6f745324f420ae5881e4c126057c655178fe7f8d831d1aba231f5b2fe22dacf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAloyOasACgkQdxk/FSvb5qZO0w//RfdCcqUAk0aSr6DgBt0Kyiih3Tf01Q6tOb8Qj3JY/eV6guKKkgl+3PVZimWiU69X3HQ7qfg/Nv52uMm7eRPnqGVQ1wscQv55AcsqwdFyIwCqrRgXib3P2E+pzH3J9j4jnu7zQlGwTEqONNbzqTAOynws7//ZSYlUWRAXVAXvCU5Zn3r4FgXlxftEoB23SsDDCSP7Y+m1rL3GWB/9pYSwcKMNftZESDYgRwj8w9+QqHLN5pYQj3uWVaXIMyWJ86TTFbRXTT3MHncxC8/qHd994WiepHEwiDl+zj4hDg0ozE/K+O3diNJUNEC69U6Bh+mupUN822nyB3aMjrzKLhutDS9L55RJSHL05cAPoOuHOTETSsE0ZhL+06V9lD5XCACFQosH/lS/+dg6+D3xiCAlu9R761/590J98NcJyWBXBoNdaKyh/qMwMKGSB5RNCHxWZOmnqap5aawOHCw37DqABdTTNPtSk8u93lIrybjYlLRhNZGK/mm/GbFR9IY0ipJnmOd1hWYNwdQXH0IJWLJM4/QhPA9PukzzSUVcDFkyPGloOmfkPVSoDKh+IGjuK1kdBESD+RBI0oUJvZo9OgtV3PGxKHnEib/vIpwCVLDDh+CPO0BQB/i7d8SQgq7Ra9pmPAISh9ebEnqthpT3HVJsut/HDAX9yx684iOMalMiRqo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1513240996

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

