%FILENAME%
haskell-tamarin-prover-utils-1.2.2-7-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.2.2-7

%DESC%
Utility library for the tamarin prover

%CSIZE%
188280

%ISIZE%
1339392

%MD5SUM%
fcaec22fb204b68e16097fb2225c8b02

%SHA256SUM%
b0bef31cd064948734331c472fe106bec3ed3c9b19aa55704fa5309cd605e48b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppTrkACgkQdxk/FSvb5qb/bg/+ME1wFFMwE9Zj6DGA64qQeBhVkAIHm124MPnEXa5V93ZNJty0mvksvM1UrKDWBPmWaAA72Av0ah8AHvW8ava1ixHKmtGp3KWfLmNne3vBKVenIu+5Oa41EjHN/cXooAvKImhgHBoCanZGhF9xJqSWdjVQP2dwseTGeYvThSbOFLq9WUSQDtTNaZjJMP2nTpb0/sxW24rGraI0a2FhXQZy5Sw/sy+mlL9jC9/wON8joldrMbe6UBGg7cibeTgqMSPmfwghgldpAQeEs5VzYJ/OpHTcSmthIc8a67M7BiMhF9XH+MuYsYiZXvs0ZGQBdX7VCr8l2ZNNKz7GfGbM63ZXGqJyA5IkcCgyJchkZ34Gl2GhE4BG447A1QkyVCcuEsmvSrUSKq5uryDq1PuxegdOjeVPpjdmDnMqWFXme4R4OoigdKH/xDZ/WmHmR3bDJJ1sln4fEILjkHiR0LcNIf8iGTmo5HgChO0Iq/gtkAYzt6ucCf2SB0UoM9x2COucX1oeD8zrKDW9ajB5IETgNc3n1fi/ec5/5FEz0aV65skKDKqc514aXJlLGTFnMuBACISPIm76EqRUdtAynTpEM6BWUbhIRmZ9Bd3tZvK9g2cX5t+IO1/U+/f0qcpQWtExNvc5DGiKxDdWb8xunJYm0iwqNeY3lkdSsak9l8wDmyYR7Z8=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1516850869

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

