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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-125

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1093428

%ISIZE%
4506624

%MD5SUM%
c17e17df1bbcbd2c4303510a6b812df3

%SHA256SUM%
90f32f00b8fbb4dbc4a1214b457a02c7a6cd9f4ef127cf9eb8c5359d5b07a61f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvAtFYACgkQdxk/FSvb5qaZCRAAh8zFo3oivgGRvBUACWw32biiCGoLL3m6UdTMOza2sBlvKLucrrwNUMM0XYdXus4CZEf27c0LxRWFJbHnLOyVx7el2AeBay26xF6eECgxQel4w4i7MiwPhTgs8LpLi+7nmEobgeLKztom1nZ5I8eJ/2TcwQhhp7Ykp1ONgmer0uH5AV1WWi1ZcwwarjJ6ZoRe4wO+rTgcbBsWQCIzcOSwKMAHCQ7iUDvSGqDvUvEx8av0VzlKhzNpMBDWYDTVpW4icj/NW4thNAhdbxP53nYgiK1CDHYnZlB6OwTlc/B8G0ye+wXkE1IqA2oNqaYsGBWfYPj/343Fpdj0HpC/L8lzrkBBmulg0erztUObmosqnq4Rrjmo7CCtp3AQoo6ZsruGnKxmWDHOW2FpFqqB6qC+Uy/3AhMRwWqo90Qxk2r4hFQFt+XL0UG3u0yztwwCarA5W9HSQROxzEi0WfTHuEOxQD2aeYLLJ6usHLfKVPSXZxCFDlu4l51a5gvCLtxbVYaxUtV2J4632OJEUgC2gsOYHsFGaGvza0z2wORz3AdJqwMx8sOA3XL1Ioy5coBhnS2CscD90F0BYF1xDsTG5nM+7zmmueaHgT2JPlMh4Q1WSghV02ETWzM2NgJrStYSvEucbr6UOgKKgwzJU77YFI3chMRjDo7Xlh3hn1H4P8V8VxM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1539355440

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

