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

%NAME%
tamarin-prover

%VERSION%
1.2.2-96

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1162928

%ISIZE%
4472832

%MD5SUM%
2ee6e59cde32e22923e7f85a8dab372e

%SHA256SUM%
840d2c38d3ed5cd489d795898faf07453d4a5dfe57dcf09a8a2c94f60122c1f5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXkrcACgkQdxk/FSvb5qb7xg//Qz3usOm0tb4m3X0zCxQseA8O1LRxmN18ZOsganvu59WPE0WidTKsnq7V0aD3r9/Bv6ygNU3pY98b+mz7XnayXYUWai5xowISmJ5nb0wl22SU3xk4WpOeCWLmCY/D7xif1bQdZz6gsolVbm1qtUuaeQQYnyhAL08fq7a3i4vvaevArnh5fPFPuGeX+MI8eq18BKUHbAUUKjMijBhVaf2J+2kyNX4XlT0Tpt9qpitQkSiZ/uucFqsj1BT712aOpaQ0ED+8u1TQ3q+bvujkXRhzGHZptAZEI0UdZbYlIx+hqmiEUTC5A3HSJt7RL7qiWyTaVQOyll6TnzccnxFxPWga8M7tViasSfd81wvvYSPsdiI3vS85HFfUZs8xwwpQ+nlewGRtF9R+dWlHqsBfYQ0TdeRdO4Tc7o5tZBKFyhwFwhhuSDXUehDBfJTDSiuBYbPnVgOt6SYPFFahNdeZPcxIYn0ujyNFzcabcAs4FwseVSk3JvAGEVutEy5WTXWYDT+hWnNUgrTPt5CsxRZhGeoiX4t5/t4Bd/62yjJNgpW+bK/MWA6xf5MeLM/ZDpJYSu/V7hoxJ5jPLZyPxZbl35xqAc7bgaDMcDmSagYaRRX8XFl0So3jCfUbGcGoB6agl4ZK4H0GD9p9CLATG+rUx3icT/Gaq7U6KDfWhfwGZVQZ684=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1519882929

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

