%FILENAME%
haskell-tamarin-prover-theory-1.4.0-4-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-4

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
1664244

%ISIZE%
14553088

%MD5SUM%
0a26ef9ac4b184970622c239cb147e09

%SHA256SUM%
0c6b78f541bea7fe4a4eab497d4783e8884bc7745095488f171c0c332588be11

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr4DkEACgkQdxk/FSvb5qbfZA//Vz7EpLU5XsM3Qtayypa7s9xaE/Yj/0kJFMZJaNDlYW8zWEGx/hTF/jTVFhz/IimQN5Kx3jrAlcqEsaoV4EBZNrd2+Q/2AhwTg8hyXRdUHp6Db2XTAlSA27us2DG+lzFrw1Lm4JETqe8JsgBufst+143NobEQSvYmuyEeT7Dcz6wg0u8aiM/XHkGRrzll1JBOQYHrBpu1D/WEcolDviUbCReqXuDg+4B2o9WW+2oEvldu423VfCHV0XBBfhXPsPLlK79TOXFoDNYagForcG45G7Oj/vOWdS2xKDgsclqCljfn1UoyhxN1Awrjq+QoCPob5Y3P25bmfQkwwT7I5aaFKSMRWZlRrrKUGl3VDvnL+17uwZUIjQeaiIkGIg8zEXXXldRZ6XCetf2UxGSsgyKErlf4J52hrntrJb+A7FGqViqlQ5lG0pPoBvRG2ewxBX7QEzbmiI2xmKD2IOtIV4gF9GIxRnLYT6bZMy6egzEgpHROWhr+8iuJHV8jZ420A+mNwdt5ZHi290NfsFNWVVROo4gy3dXUsnTC9JTQtSmTEivJbsXXfFJT0dKs7oC8DdEMV/qS98WDMZbOzte5O0yQvLFDs2dTdI+1yD/93rTgKPJIlGBpZdLEGsw2APhjs4zSBRTcH8YtzRxPWe9x44RoNOkXRcFqxl5yBJjs7Tv39es=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1526206001

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

