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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-69

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1053456

%ISIZE%
4306944

%MD5SUM%
e2a87fb36c7f935e82b195eb3ee5d1ab

%SHA256SUM%
15b4b6d012ab455fed81cdb63e82b9abe607edc793e28a160684f96c77fdb1e9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltd/7YACgkQdxk/FSvb5qZqMBAAhw4oMuMwj1MYp3sCr7vaWK2QDuSkKAMGQwrXL2elz5GeBaAdx3jKP42OCzQVzYSNBur9zf1Pf/Y4hrWRAYyeieV3RKqtBDhPks9WRxzYQhtvEeXaCw2RWYRlCOiSw2Uwp6d+sdTRnHjSzcGiENQdR7tIYdiVM57CF3EY+eObYzFwt4bzLmqYY7jB5SAMowUH9jWhcOVI5+OHfGFPMQVrwR4ti+zmeXvf3q2cjNd2m1pwCNHqDFiZKOHaWvuMv2+CyEITQBPKxYQaUda13gyMC+VXcmOSk2M/J1yNoYlBkJy4FxMD7c/3OZEG4ougvsHV/XVRGPs+fPc6/Wkpqww/gL3GOzFR3oBOaGHYVn4wKpvm0AB5Pv1tqVN77T3QEMwsySIrzFa++XfVEnsS1f7i8dIVoHJE4vYXrO3o1AMCH7blpvFI+WNf09vrT+ohDrkhOfKr1spWl0Ll5UxVrXjoQCRyjkiCcKeJi61FWimtm9SEnHea6ljnFFeU1bJaiytEjp6bvX9vqSQ+CGG4cjnaybesDXyLiQubffvN1ajWK0gJlhSCYqhtVKSIYkMNyP8i8Ll3kqOrvMRmxhjmf9ab6bknMIX3+kTqK/54raK1qpjiG0UwNE9SWwwjO3GGILgfZ4aUujXnL4tyenvaIGIYk6Lwb4l951oAsHfXqnhv1cQ=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1532886634

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

