%FILENAME%
tamarin-prover-1.2.2-82-armv7h.pkg.tar.xz

%NAME%
tamarin-prover

%VERSION%
1.2.2-82

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1163016

%ISIZE%
4472832

%MD5SUM%
7e9b0dc21a7c792b809f4be41ba9c6dd

%SHA256SUM%
836d683dcdb0633868bfde65605ead02046edcdebfb70553f3c81b6165d7276a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqBsToACgkQdxk/FSvb5qYSvBAAqwQbLoUpFvfUz0ldnBqwxwvIUno3NMD0joBNVg4Ux3NAl1w1RXZPTA+sUrcrtL60rAAAswXtxdTmCCdIf/xocWp829b+qHaprI8JvLt42BEXFYaVMbQLkeNxfgQrfpgrdUZ8i4Qh4AvzeEq0HOxA125feGjpCanDS7jd3kVdD7i5KOO/NvPrFh24n0aeq7WZFOZ/45bJhU30lMhk34A0Pzk9ttOOi5yR60Jqv+xUx8DMKr5BwLs+4dVpblMr272EfkpbnDSwOefvCBLel3DzAVs6Opa2vtnRQuPThmcpDOLYmTcZLFLWqDM4e5B6ZjL3AYbF2ciNN3Oz/3XXkxAr+Q9KC2XJ8M+Bo0vn7Rw3I0/w2bPc5KMR2UCtrj7E0ifDJlOPol0WasDiK3C5Gh3TFJArSin5+a1I8BJTNk1FgKoFOvnH6d8bWDdWjzEiGidznp4Z0NVAIggbEJXKbxphBK7fGYSE6O3EGt4KDaoSs5qmSxKDziwz/PnyOlrD9HbXnL4LZOOBX/sUD94llrM2qb0F3qJf2DBi/Ic2x8Y3srUtHkhvZDV5bF8bVtusfevCNxV8UdVtBFQ/2C8+/ZTkTlyoYYLJYT50TD6eneP4JMzMuEB+LI4nMqIRgU/IM4/pHh9Dz2Oct8ZIBOoUvHiWBZeOw7/Ex3gOQYiViADzQwU=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518448948

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

