%FILENAME%
haskell-tamarin-prover-term-1.2.2-13-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.2-13

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
594272

%ISIZE%
4306944

%MD5SUM%
ade23060364faa849fd5bf90dc6a40c2

%SHA256SUM%
709b34395c4665876c7080bc20816079ff44a9697a0defb4d2db06f56c72c7fb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqRnEQACgkQdxk/FSvb5qZnDhAAleUdxpQ5z1nQlfPqfeB9F7cysSp9YJkisDnbKpWMgW8PZMmzc+ZJx5ovrpYJwIqqDB7M8Fwc6L6emnclT/ueY46mjs0WtfHyYNYRQiHBK5wjhALS6pxeaBUqkjHRP+PLerNimMZYetFM5vtYyzWYptS8/Bt+/C6VZqev1Iy6SleZ5IDUcHCIrNqg2CKc8/vmHFp1YvqpmEjlG9ysVkrsWFq1crFggfCi18iN06clcuzWSTVduDBtKEobhuwteboh7lqjnSnK/EfYT3BZihPjCeBGxR1J3ffOjIvoPhDLrGTHaveSxuIWIrPExZ2n9lwlWzLt/nIH0N9xGnPvOm7oxL+GftB/J1IQJIV6dtgw+iGc3WYnbiTi54Pmt9oDrX7N1wqTcZor1HiYX0FgwSZ527gzlPTXGcAKfCu7BhYuHiWma2lMIuUNieSdpE8qH8OVaaJS3l8ojf7KDVDgCST5a65pLwMQcpS9RHVH++kGz2AoBNJY5J0qhJdq7Q/xcY73q4FG6UF06FXkszpTO12+/moEmIkMXmG9sJedR5001Uer471K2ojfQEpoPlUYZfEfzD9bCC9OaWBhYD/VLYconvsBpM76P347cj9ms7uBISEKjqOcU4pfkIzi13HBVPUubtixUA+SqY5W9YfldRkUyM0IorciR6xJwzRqK+Um/cY=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1519492157

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

