%FILENAME%
haskell-tamarin-prover-theory-1.2.2-17-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-17

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

%CSIZE%
1598936

%ISIZE%
14009344

%MD5SUM%
0c5d7ffe3ab56d032a725f2f05bc66b8

%SHA256SUM%
4d0cfb94393f8f62e042ba164c7554694dab70072fda975edc41bc4576c491c7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqBsAMACgkQdxk/FSvb5qa8chAArCGxAdH1dtKQDGfuyGCO0DztrY1Nf6E6iMl4ihNIzwvtpPZvDAmwuFo5J1olYso0OMuAelAG3eLuNX3WbbjAjUrxRWYaJoSS2orRMpblTk/o+PmsjVVhPgEhBuzIbsIkDwEP8KNtyjyZlLyCZSAuhr9n7e8J0Ud0e/mjM99RAjwiZkEJ5O8zyFa3h4/MO0pxXEzUmgNvwDzTSkrJkHFp6Dj8oDJAozAJRRKkYzK6APBWTnclRtIk0jxn7ZTIswgeiRoN2Y8LK89rWM+1Cp3rc6VLKUXJbswD9lR4LLCPVMlIz+OsYwkdaUVXSWh3HsoTEaidmIR/xeHMX0lQxg309m5LVa2+87v2ciYHQKbgeCbm96vngb06uKzVVyfu9/dHiYZo0rzVawcwX1z1mQKjI3lnyrrpg/HUqo+V1BpBy752jOG/X4urETSrErWpr+n4SCnzWAxrirlIrYkUaLaYLEkH1Ie8zLXBNiW/JfYVH1G8w4IBvjPZHn6yqO0boSPE42yd2A056gCNKOGjVH3yYFK6NhqdJBIrCaVwZ36d17OzixN/bKVXwy5z0dxb7sqA85JZtR9nL4iR7H0gbjGUgNjsNeUfNc19rI7Ny0H6wNdu568X0Dw/JuOiKyrcSfwDDM458DugZ1xW8fJHXItAXIdOuFpfk4pgYlw1ok31UPM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518448629

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

