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

%NAME%
tamarin-prover

%VERSION%
1.2.2-78

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1163432

%ISIZE%
4476928

%MD5SUM%
e807a216e2b434fb92d0a3dbb46e3253

%SHA256SUM%
d0af1f11d4949a674c0699f4c2e840b89f907d7b9cc73083187d6d7e18605619

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp/SxoACgkQdxk/FSvb5qYglg/+J9HNH6PQ5mJvhWrz5+yrn1985Cc93FunMgfLs+zLOfwDvDaDp+9yo4Z5XmT/Z86yX8IytzsGVF/ty4GMDcP8T5ddPtydO5pE1mcCUATFH9s9/dBzg6ew7l5wJm8YqtQIB6GrGl+8hcY0eFlMRmgooPTKzwTsuxYB+v33Q1AG0xq/PHYYt1UJBqKMbuMKAf9/4F5EcXOuqjXV0U129pDqkN+/l819A73RhifTWRGFUafXJ4ScE5oFnbG/cZ+Dqxrhosr3ajVCFQb5rh2l+7LwZVs+a/Y2sf+cxyxuYMM7wF76ccU0Iv5hD2x2eK8iz5W1dgNoqxJsg/5zyO4A1SHMMrbIa5rTQbm+hAJbNhZh4/9mX+QjYaoLiasnpITY+J8q1jRylOSqZIIvQ2p8MYnPVOuTkIj6I5Ja3vN3BKc7cL3DsICcaKDyTEPssLp0/hANo3CQdssAQJUM99GOxSFZtD6KpIlGbTF1SLFKWgQSmbeQsclsxBAYrDCYIddI0foCMv5OevRO+ngat/0bSxfMLuLS/BTXUc2X754G9CTM/v4ZCPH9cSDWp2HwGH91Uwjq21B2IGC8rchwqFL4FZ43OQvrvlVDDvDfISvbWEWVU69gU+2qpr85jdHsUCZs1In6uI4bRSfCNctaCpEYdpNNkUUwuedBK/Nro+f5DvbLmEM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518291732

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

