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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-41

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1053580

%ISIZE%
4306944

%MD5SUM%
4d9a98f6ecf392deeba53d9ef759796a

%SHA256SUM%
ea8ecc2d5f9051bf4369a7e20f71d8b222dce67964464467859cd92a533e8bd7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls3pUkACgkQdxk/FSvb5qa/bRAAofihRN9MxtfTdeRLbRlWJrYPmGYirjsz0JvvsRkByS/SeFGzyj7uuTMuli08+kuLn8xe8S3PXOWL6nFXnwmHl5cGjZlCGbjds/KWk1U/E1feO88FBxjWE0y2fTFfbNywE6/CAiJrhynH1bl92CtijdKqL5Mw+UvLyNvgGPagKnUZNlj7PFBfiAzgomL8Wiqm/jSFHEQrxu5TF607S52Hx4tnAKgwoe4J3pPrinDd0DCp75LX1ckG20EgrfBdnYW9ZaGy7ymKqK/xLun4NRxaKz6JwLoc6/A2eWxkoT0KrzCF84QLxCHyqIm2H8kpAa+8LLvjyQ9ObjSam935FPknfFPNO0fcwuhyUwg4/IF6HZ/0tjsS8GfIkM89d/dp9eE1X0+eyoRgKLEeyH1/1y1fgzPGbw1ynGXGj3xFs1DoWPJ5sAaAdydZknzTurRkWaEJ+6CzFH5/eUogK1e2ybM2eo8OcTTHbSuD7YQJSxQZjOEvp4l7vPWOiEEYBGLTQVFHT6q9RqqJ8VqhENKTmd/v//LYKIsCNkNJAUVFfXB1UJdymd/PG2eYmE+L/pBnVdEH254dZUGgHYhjfy7S1eEfLYJxIW24UgVwZNNhO/ubVxHMVyWIFk0x24VfpIKj36zSpBADg/ThlE5jafBRbsqP72/jVRIMz2/27Ls/kFNjpi4=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530373154

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

