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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-89

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1093072

%ISIZE%
4506624

%MD5SUM%
d5662c5fa3ba28ae7b10bf3650cee57f

%SHA256SUM%
ff04c2af4558e12e0ece4fb0cdd57cf47cf4c3abc414be49fe1195d22d7dbe56

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluIju4ACgkQdxk/FSvb5qYaChAAkKCzr5TNAw+2XKcZ9T24DShcvKxaJLz9FSQCp9DDZ1gDw0grrpK331+qX5OBtLnvjEeBh4AMEmwKDQYVb9Dpy0+MHqEJjZvuhdd3qiAVpMeQnCUx7x8MidDEFqh8iuNEBVY0g+hNI8pndfbSOSHVxSO0o/LkQZCyUTqsoM8gl5LODMN4s1EeB4GdBn9gCxlJUC9thvdTmpvnQ3kmTCjROF8S/ZhpPUPJ2UGVN4387iQNH/tc+hX2dln+GSKISq159LtJkbV0NDTPrWbiQjJtYDFnFRNQYF/2/jlnlthqRow9Dp58nyo+H7NoS7pBZKrzSgDiq7dMhKI6HVTxy/FQqyMUQ7CfCOkXb2rxdq4TLxvupcxHWn4AfKmNWlRzSIfwPJmMEmqos0VMEoMSMaeAucZqGM3rcWSqV/d1lhanAB2hPmfOKy7P5PZ+H3EYpGj+xveT3OySF0nzh2vcLwlP1k7Ys6yx/2Lloj5cLi1YxNS1YZxsFpxP/yeDiLLILXeduBXPBrcJ5XIR8VjQQ3kCKLZoYT1ipJV6OsIzuEJ7SYObtkvYUNLi5YKVA9frSrLUBpj2fEgR+qRJ3sEHW2ZmQDrsK47zrvQzajpGBbEhuMY2KGPOwKtAdeJ+seZZjztCcs+UZYIAZ4XU33Lw0GXLq1UoTb4OslR7eEcAk3oAAUk=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1535675844

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

