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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-87

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1093020

%ISIZE%
4506624

%MD5SUM%
394a9970830dca789e01eafa26c265ea

%SHA256SUM%
7c55d6a8b01f8f2769456e96342096a3e4089128faf872a5f47d4503b12dec5f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluE8n4ACgkQdxk/FSvb5qa3+g/9EOXr0PEZst6tLk1YBNOO2tLrhaGn0Aa6Mj8iLuE5ozsgK0gYS7qwJ39qy0IsscMU9V8k2Hd6D+e+59xfn5FLdpvAJSB8khz9JUTtyWFbhHF3c4EOCfR9pAvmsPiK5I+Ojob8ICTNGnYP4l6pGSzAlqr8LA6htvn9sg7Pq+DdQPiP4yapGa49hCmpIfnIDQQuvWL+VsiuPX44wvDgpf2ol7TKmIVYq+XXSZ/lu1r4cz+vkoe3TNncFJQF8kGsNAvozw5/vv91dOBd/N+pIzkCSYdgH2elmkBS4cCiqFzLvdZIaMx9Rik69EEkkgEYJ+2UXsbUuZbA9ir/gWyROG4TzTu0dB/4YOm8JBUj7GWTjPqT8UhH3K3Hy/GmPiE6GOD9xUaLwP2xFxGHAtxd4KCsIuCitrmL7xoyUxRCYbicySoTlCkjkFWMK7t/x1QbWRbxjtre0ZpEAqjkbz88ZT0A4MVWaQxtWWTW/tz3KafdPk4HAs/6yog0zwkCqbLixeMAEQ1KnT2LDM/+lNdgaSCmK+TLP2ekIUaRVRbn/SaD/hmxmbQKTWWWMZhxPk4FzsSw3IvG06+xMvhED91nxRm71zE101TCksWm25wOtApn2ZSF8Pgbs3JB+V78Yf1rPTo3yOPGISOzD8IzJqQ8M9HFMOeyRBNR0eZRBhDJ2wKKVrI=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1535439187

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

