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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-55

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1053540

%ISIZE%
4306944

%MD5SUM%
8042efb7ec32624c4c575d57f8c38f94

%SHA256SUM%
f34b1a04935ec8fec54043d8a440043dddb3aad82d0edbdb510f598413830909

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltFzUYACgkQdxk/FSvb5qZ/0xAAnyra0Xxa/E+jTqE8t7sJUF7HTDQ5CFXo8ceZERzwSy3BG8RGfScpTZq/M/1icf5WLD+B1aofLHMRVSAUHs80u5tOky8KsDEyuJsiSYwIoJncWg7yANfkLKcv/atKqDO1VNtXX6LLRUqGgvI3SeDe8BkA5elVb76VRzJ8O1qaGIZavsBm/Tx8XDShokrSFuMcAK7+qvFEkLf9IGcoLBrccVg5/Dmzj/Y/pUIUG9E03XPUSXHXXHdsFYvRsRtKHuJWU8wv1B9hsLgTSfnIOge/XymphXrD5nYayPGZufklhqxF0MerCOyWbQGuglXTSFcooZnUjUZB7E4roWovK473cWYNkIDyWvUFOlyd4rkqqfKsaeq/Pt+ugAUHfaUcIsfWY0GAjL/c47eb2I+eGqeaSMucOSU9qrl8KOzcSvKhepzw2GarZr5S3ekd8wYk745708BtT6sXwJ08nHf8SY93KUODc+5CDvrgGOEsT+HDp8D6+5HMSOhMd521eXDBcDwW5TKFhdLFp4eGtH1M6XyytfUHM03ksz+7dyoG8iBvc9/aywtDkP9HrFYZEIUVU9GaBpAmPTrkfVLTgsZgFNH2wIekyLcTOAU7SUxQ+MSa0VbiFM81hxrLVrl0Hf1vLypIB16zXj3oItdQLfecuH3XaVbxt9TmijuOzRJNEOGA9Qk=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1531300863

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

