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

%NAME%
tamarin-prover

%VERSION%
1.2.2-86

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1163136

%ISIZE%
4472832

%MD5SUM%
1232c2d2d7f524d3227c619bb943c141

%SHA256SUM%
ca6ff14f17a32713193d772e03e39624fdcf22b6e70c93fea384610ed2adefcd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqHzPkACgkQdxk/FSvb5qZYtBAAtM6Sdplb7tL5a7fQyRq0hLt43ujR3ch4k7lsmo2hFBojedfI2O9nwnq+bRNGJqvIXeOo6HdVKO1iER2wLgeB0Up9X4SLTpAPXI2k0W8LxI5HxV8E6TNJkuuP9Zm1MYMimpuHFbfweAJEjAcypxR+CtUkBZftniT1nQmFGJncIuwv57R/d6rLhBZ73IzlCuuTjbmKJ1rzWMuKh742pDTuV5AIgdvMK5DdFdhSv3lwppvTFZ7lGCoskm9ORYZ32kyOEcgPow9sBPmrLYY5pk3w1YBYzQ37w2sisPSW73JjAec+jxzr7T2KmGMhkK5hLDUM+dakjTpo/HmVvibA+OII5BzJQuDiPtilN8taV5TJTX9D2AEmrTpPpEcu6Th84LYPATEY15qyT52FpPuVw6n079SoMhCKkK5gQIU+QQi+StjmfVEy6+2w+v0ovvI+D91EjjG4nSTlkeFaEe9iGJk/CFyRh3oI3QPhQ4EQqzrx+dUtVI/4ImrZpBFsZfz/FWLLpAD2C+1CV/c91W8qbN+OItFTFV5IocqvUoS7g9iqayTyAQai6d1FY9gnYSE+R2c1fZhtg3rvlKQrE+RZYa8ydJRf6CdCLm+e393fnkhYoARaTA4g4MXQpILpREPRJ5gpIevG51h2HX9qR0ciIE/t1GXvnu72b71IXlFIyln7sLc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518849267

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

