%FILENAME%
tamarin-prover-1.2.3-30-armv7h.pkg.tar.xz

%NAME%
tamarin-prover

%VERSION%
1.2.3-30

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1048844

%ISIZE%
4378624

%MD5SUM%
757c7d73a83401f2ada23fb9c02607d3

%SHA256SUM%
ab88e7ec4fdc679818065c16589a2a5e05cf6dcbd9aa1348c41df979985bde6b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlq2ShAACgkQdxk/FSvb5qZCZxAAgUKSNVAeBAAguuuuV0oissmzDS2/5if/WHBi2gsyaLb1Jz+9OfqbLxlDVhFhDcJ0fg2TIK7z/dQ7atOv400/JlNwaF+msiZ0mNYt/7NRaHptJG8TsJL3qqr6ab6sX8JzYYghM95F+pEqEWYbS7ApMvlljXJazosCGHiNkk8nFMYDA5iEkKWkCDMvHr213+m4M9fWDuB+p8V8OJa7C/l0gZMqQl7ECwfzfSGfEV2GcLOsVAqsztqVzXCm+dPVkHROpx5+S71pGIkr8zpvWWOZe6hsP8cAfWStqd2jzb9JQ2CNT539j+qo6BbNMFuks5y+q5MS3tMZpiMSMuKm8oNIFkgSl+1tc1QCLQjqfuGBl4GYc6siy/aOX23pQFiHxC935iK9XmUgiVKin6Yp2Vum0jTB5Jbp+YazTkh7AH1hLDoucCRcU4tw68GYHq8GKMgw8svFpNeAbwPZvmIeuO5caBY52PeaGdQUGiuea397lyCF0D+j62T9Fl/KRcqwyNfeGpKvIAcf9ZjedxzX8KJPmq3ZntRNrkg8bUNTB97aBitclBEuwVrtOkziETLdjh7XUkwDrNuL69TeVJTQ+fRL2yPOvfiS/Ig3BLiFN1f8g3UjCaN+XgbaDWvzPoTvqc6vARecY5Ls+eyqZ+iGZqy6G0pk15NvTs6+d78DzHtzaBU=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1521895946

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

