%FILENAME%
haskell-tamarin-prover-term-1.4.0-3-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.4.0-3

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
609672

%ISIZE%
4422656

%MD5SUM%
e1c54995e305f19975b6dd736e0472b9

%SHA256SUM%
477977b27a59ad57d7ed720e73c9a92350a01fd17cd820e4e9c33e4d7af2543b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr0ZYYACgkQdxk/FSvb5qbQsg/+OcNBDscnjX5ibeliAxs/h6JZJFVyf3SdpYaA2d1U0bMHNh0Wlgvtu4T3IE9Kkr88oLHk2IJWOGOnx9vHG6OmwRDjljHhe8WT/QuKDq5IsNYbmG2fsZ1H+4NJQ59FnIZur6GpxSQE9SlahlCD2LwowGYbQThTA4Iew7McJuKRRiIgKnqjWQp9n0NnPMGx/98aDXABrV5oluHUuX9IjuSB97MiJ98Jddjc90g8wZAE4+U0HTT1nXhIijNMjXsG0UlXNBCl8WhDSwoQRa7jk1+pkhaTkLNpz7KVDGw0/Ry4UZ8i5luJ1sdtsqLDOVp0T0kY9GggvZq5Oq/OlWqiZUhOmYAi3jK5DHscyK1ZZ7PPRj7qfXb4tjop7qW3aZIKyNMcZKhpMUFdC7A3C1PrpMIxiy6snJqIby6N9Ochj2QEk9XsOQPUaD9h3gDPCo08kNrImUt7oZMoTeYDI1l6nf4bXf9MO6xsU7BjSLhUBlir4ls9eOa8qOPGcdcyVCsX1e/U2HrL+eVgYwzlULJnTWSz0RSaigF42FfRAkamrrXXb/WNIXSQuH9zX74do456Bv1sUui0N5jUbT8AXQqy2wJg9noJaGomDOO04F7AdoyOtIhuKSOEUb2V7UdPzKlL+eGoEv9rFgkPFPc07hMzGg8mOsNK5ID+fGFQajHP0vIDr04=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1525966207

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

