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

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-8

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

%CSIZE%
1601412

%ISIZE%
14035968

%MD5SUM%
17a3e3fb2f8ab9aabca26c0a36ca5099

%SHA256SUM%
c7b3b8ef6d6c5f011689754b1e435bb1588c50a63751128a1a717482854b6663

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlojEgYACgkQdxk/FSvb5qanow/+NtHzKfGlOpAvvA/+wr8k1IjZMVwbJiY8qGJ8gA3iU4jKWuG0KoBnQfIREE0VQNX+TKNIjzV8eAKbq03f3KLbolIAKiR04sAXgQlkqch7NDe+xjTTqSHEJnWxc+QVg6bRGZulHdPx2kb83E/t1D5iWkkXnRkElDgQb2Lh0hlWgNtHs5DyUTP9Oqp2PLrY047lmy3G3oxfBXynuIHTsCuNi2oDvArOLLJkMpWMioIcgo+dioYygU0BJBsfw7YWO2YUv0o2VLkcO/rvumsefTTRbIIwbvZTHdklZsPZNaLBLpBEqKAwnV3A1tht+1imKvuuyaeoCYtQNH4XGfoKEg5nOaeD/E1q6waCQ4GTqXJgj7/CncgyB8R67Rd2Jb9n2hB6HT+zMzCg+IqVQI3DyrkF++3rPF2UaGtvNr1xiLv85DlrwiwRQARkY9qA5LgZtwQ5K0+RMMUFQJhhjYt0TikgichNCkux1toWrA3dWRZnLXgidfyOD7aAtIVCy6y223J+r8kvVNNWtAXW+Nh/xHy//GFrbk4GVWlPu9v2sR/M+hPEp9Q7w6z5oqbliBWYHPQq61oUTb0uHmL6tpKZoy/Pc0hl033cC/TPtqmp9MFseUjFa5Y51H7ZVwfEVJ4vOnd674ziHOfAMwv/AmPJPCLEuJKp/IvULoMjRgH7+DQR/sc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1512247798

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

