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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-92

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1093164

%ISIZE%
4506624

%MD5SUM%
6a079bc353cd19e33499fe7c32348c26

%SHA256SUM%
74d1067d18b16560c13040b33804b436fe8e6da6225fe56e3fd0b3d41bfb4059

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluOzIEACgkQdxk/FSvb5qaJERAAprRAVYzQRRQW4/vfeZ9igj4NA81Mfe4fjc3rJSv7/Z4jC81aap2tgz0bZXEuFOeVSPqyAvCt2mAm8uSIwwyCBpw9tBrjgCbOwtynnV+nagsUmbKlgzSIxPqY4+uVVzjPOFym/K8JxB0YiX3Wrbg0bjZWJlvNdwFqR2W0NrRFpGcAtvDTD2HJQR1jp0FEMJdWJRPohsTiSJB0Fd/tcbEzvUEwefc9LL2xKwsG7GSuqLOIJeYoG+P2C/MabNbvp76JInCyH6mvUUzHsMhXkLjYt5g+tc8WJjbGdJ+WmGIQRfKBA77zNVs3Web/+HsNWwA+10T1i44xP50GK4rTUn7JTq23VoRZKiUtNSVceLL5oDASOtqriHVR18HFc3BS2RcdJg0qJDOFJ7hOcAf71IMc9xnSr08YK/1ZFY2yFlCmTqu+yYYb3viT8luxXTcvn3FUVkkhhGcZUEkveMFvx0hmzgjb2TMQbgxKYOOMSS0AwoV2suY+U6jwPkhW22JL7CcZaBqa0Z2Aaejz1LBIKo35o5QSuH9dh9CO7HNHGrfYTvQlcRS/Xu537fKCwxNXdHvViD1KHfMLhHaEA4vBqMJu6bPLfj0OlU95nLXow30/KrRMARBdhFKV34i8n4rvLKXY8ozw8iyxVHjlqOrCi3x1gPmyvu/Qa/rshI/NRpM5icM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1536084823

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

