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

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-20

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

%CSIZE%
1599356

%ISIZE%
14009344

%MD5SUM%
0eed9c8a1bd7f39de1f31bb3d65f91fb

%SHA256SUM%
afb6b8f97420dd90ebfae5f9221126a0a55427d61a461f8633c5ea1ce0b21c9b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqRpZ4ACgkQdxk/FSvb5qZpdg/9FytXndSyKSBEX92k/Mf2CttO+rStabvJ9tL3foWj6EHkEKsI55PRcmp6tRLXUFCeOcN/jGHpL6DsJaAPNxu7bmgn4zLKGIGl4HmREqmz3UzSIU2nEIlRKmW9ym/bqYGtpezToLKwIvRRxLtUZjbidKCDFlUvr3hXZmYgoHKO7hPe17HuSEYolkufJ5Dpf5HJUfPwQhxojPHYGR3I7T4L1IHM1pEr8O0xfjL+lA79hTRiDzrBh+G72WFO+VGg9f9kw4lJWOFEZ49uQv7Wn9n4n1E/Q0uxSmqs+2oj4I1aIElw7IFxpT78TNMi4LevhP0Zujtkb0YQ173ZtgEKpXoWTLhSj9VChQhYTVBjJMSrE6rma+VeeDfaD/vQZ/H7QcAHcTbIzXOMpZZk5PeTplgSGMctCvf98atvqvoAcRdqUdwKy03soG61Ie7Gqivwb0Vtj9ZOG5fcXB+pbCG4NgoIbEmqHO0tjZZ8Mx2eI0gN4Ow1i1uz1ALBfBY4BNZNWSr3WEybWAfNUvn3Dvlx2gFLULWkfQELFPr32g7cS/5PqtPt9mJdmHAklIgv2fh91ksfz1jmbtvfxjnWDGj9bVaJGbuBu0d4lKMLw2fjLEY4TisSDZ+c5dHnGamOFeZI+Ii7QX6HcSwxFXDGCglBvN5mAKJrR7Hfb0+SDZS+68dRLJ4=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1519494543

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

