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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-45

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1053808

%ISIZE%
4306944

%MD5SUM%
3ac5d34069d3a11d660466cb911028fd

%SHA256SUM%
cbebeea8fdfac25a35de1ed1e658090ad3c0bbce0e4546ab97b380bdd1ed58b9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls6iUUACgkQdxk/FSvb5qYd8w//R1FzseZsw/ZNGP2SsgQKCDyWg087IkF8B353PuZQIVwdN3pk7cx5h7EQcxgLwF0t8Pt0w2OL3Lf3sKOtG/8MUhFUiYnKUYkAmApWWoQyKdAZbmeZzlLAJOsg/jMLxhjBEt8xjSFCydlI6uoG3JGnPKeN3M1WNZzQ2WTn7ZhZzFvmM4KOjIYfI95pOcjOhFvmSpNB7hTNJMnkupR+zZpEGRXGWcgowt+YfT99esFvoE8PWXjvmQscjkQuqMVggEo/TAUXiuO70Ku36ox/U3iS2XHirtMiWGQWfcP+t7YHthdS0yo5+JVEH9hc7pm1nnaMvXUZizxJry/M8wRtD3gCzlnHVvNBbmdb3op5P8s5MXAfCRWguikFzhWMW5SNGqbX/lHwMuOu/L2tKvE5Sw9oZgNvQx5BoKvKVeKLNo/CXgZE4aYzVCjWKMJRPBfqFMyyv3z3wrjcvILWr1LDSTwzeL2PtznuTdmgZnvx4o1j/u0glyb5/4r9WdJwAftgKjQvvtptyNUNbusbcDlSHo8IHcxbYgxbhMH578j4VpuHuvO0NGaggTLmxwffunio/qeJMSXWCiHC/lg3eaPJrK9t+YyaHXE8O0OTao5nvqVhsEX9q3idUhuKfmRzSbVe2FHx2wuDH38/1duhPbie2aetEvDUp3xQ3aWje3OCcav+rP0=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530562590

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

