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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-118

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1093712

%ISIZE%
4506624

%MD5SUM%
84b8459f7eb1cbb529373ed8e9a38a2e

%SHA256SUM%
b73a15e34c6276c80f543b2619cb180f39be9bf3bafd83eee364d06024458ea0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlu0lDAACgkQdxk/FSvb5qYq5A/+P5QMiMrxLZ5tAU0CZ/qmPp+lDlW2ATidpBa+0Xa+aPeHffboyVemEHTTSOfTB8KpaeM68mW5pr3MjiQH8LbQm7WTCRBq6IY/PE8EUe/jpqsFwGplx7AWCo+IrsBMCarDc3nrvQz4Y5EEpfFvxRk/oimQjZyB11Sith67zL7Ko0PseY7UvMcDU5EPwbfNxhYHO39/nxJ1VIHLjxQOR2xJ+miuvcN1r+k+CLDw5JxqbjB27styxN1kzsuqFunJyg+bteHhxCAhWoXhkLDPNBHoS8LatNqNDdqGPJaNj4xbYevWLK49JKvo7LH3IHAu+18hZO1fe38l7nFA00R9pHl+ezpJ6gL5uNdwtLpn8QGwStyeXk1dtQ7FDOTycKOmdkNitzw13UvI0CFCrKqxS3lSMkgX0mNUG1NIbfYRMBexakGzG6Bpa19HG674dTsjXVwgsWeq91RqEXm+QBYvglhH6subpp2nm5lFq0AS7AXDMcbBxg4cU3gTrMXFsHC5pjtxaTYKRGt/xSN3cY+vhKaoSwyr+SNcN91kg+HKiwqpKTOWAvl0osoBkE0c44B4O3oCUhDzitePYTs3KDoSr1beaJiiOxBKyGU5qHdDXK5WhGncH8KA2AAJw/bKkSj3ZO7oAzxBNWq/nqIh8xaJkkbg/BAOKmVX9Z8K0rWctyfPGFs=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1538560773

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

