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

%NAME%
tamarin-prover

%VERSION%
1.2.2-42

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1166272

%ISIZE%
4477952

%MD5SUM%
0dd78220a7979565b8de72af1f4e82a0

%SHA256SUM%
0e0a3f584b713fdfe929d083992ee8ac35fc1e313ebc940a10ca75515eb80b33

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlo9CyAACgkQdxk/FSvb5qZTFg//digttG33KAXp0M429JGPCohPqJljk5DOXe2dQnqAHeUj8wIU6GUBh/edH1uJtbf550a1oH0S1rEkdNVCABYed6qulT9cs4FuxGdDETA8X82QklYVoy6tVVm3NI8DSKY81QZRnmdMD+Awt7zz7SUKj9AJpDFOxVa+/33p9j0zw9MR4MLrYfEWllE6Hhzje8RYjQ3qygQPOV6rmdKiK8FBukD+nnvSfqXpXJHXXrogUbU+rMoQvXQCM0n/K5zleacUJM3nRyXrC5jdQKSIh7owIrgCsrkMXFkmrnFganU/U/8lvoyA/XvQCTPXESlWooGoroC22rUZtBxA2drxPhvlxN1UzzFDnV3gl9OvzxDPBIggQOjQwqVdNAts4Jjwc2cghlhTPlyYEFjKCW+d0zeVmFL0JfCjqP/rRibuReebp0ycy2bfINvtmdj4Rz+aLrozM9gVEhsL+kkCuNL7icBt6a2Tu9i3AFZ1UdTO6+N3Hsn6eneCTvthFNDesRKAjPwPdD7PDI24il5sQRUDqnSEueOkIzqZWPn4f1XYqGdwCncIKVexKUoPMhd2tBhPblYrB804qD5hyN+yBxhhuKLjYHbnasr7YUWq6R05Lq88L0RN3iFO80Yr+Gr718JXsKDRcwC2YJoQ9OWzu+07AAXrA8G2eWVkX1qDRNy+d8rMO60=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1513949975

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

