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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-101

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1093196

%ISIZE%
4506624

%MD5SUM%
cc19e67d2f5c695fbc0d5f114bb2d541

%SHA256SUM%
eb5fde487665686027daf7e3b9f0586060e3fb063dfab9be4bf13d06471c5854

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlugQYUACgkQdxk/FSvb5qZduxAAySPKbIEf/zgcj/L17IelxpGTEBzoRQyhviLaDAIP0BlPZlgqLKw1iQGNftoOozQgmnJKLwS3wIG10mYMSVw090GylDBJssc87iOdbA3jdYpFmjTPlNkHfIHgUiCEmcDN9xGQvl7K8w/iVc/Ygl3tPPDUJUKTpL/8RE7Uv1WefjUT7nODpj+Hy8iLNrPSkH/PpzOFsdMi8aSdUq7mVAxvnLQwHpHJj8RaVJic8rldYs4F9RRgb9Jtbh7EOvdrRBCt/dgIzRD9r2VvFGfGwLvqhBrJJ+ZV657q/Vu0k2Wlu6OIjb0ROh5M2crH1zGoSYFEkhsNn3OL37fQXvhWEG+R70ChPh3GLKeOVPC6pgdhhbjxDqCOuc+ymR/c+OhIA5zO5Z0ytUyFSot4m3qYqRvajtV+vL5azLoqLna291TXYA4hmbSwOHc+YD3GiA16i6aXp8NyoUlPpYtuBY+f2DRHixAGUM+sal9AD7eKQrnvCb8cRTTy2ql0pJbbus1k4lQXN5kQVRx1h3uqS/wzBft4JzdtBKh3nJ/gz7aMV9aVqaxQrAM4rkJcLkEmol1Y57w0Ix9MJ/7D2+l0XHEl25u3fLPr8xj+nT3DXdiORymOQiadc2IBmvdkN4F/eJECGiA22yQZe1LWR0PS47lWb5Ig/BS68JsbBu3cbNKS9eSVcdA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1537228860

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

