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

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.2-11

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
594028

%ISIZE%
4298752

%MD5SUM%
724984dca6631a30c52c433253e76efa

%SHA256SUM%
3bfc3fc55e39259ef37ec745a1c197c86ea4049db414caae0a8cac788405fb00

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqD6GQACgkQdxk/FSvb5qZ1CQ/9EkOgtrcrlF3CTN25bUcPpqx4XIrdYJfzMQJi3wew+32LH0JawgCyaQCsnMpVjTNP7fWKThhMMd0HkAcqylmVrcbzQ2/ZqXpW+NvbP7CmOzDMHsyieNtrxZaD9emM2jmwdUgeTg1wxrBbj8t4iUrsaYde+VhJ4gGhoxLyV320aXiPSgeCEuaSYx2go9xwhKUlanCS7QCStSpWH7pzSCr2UhpKLqv+4ysqJ+ocZORUST39RXw4c3ELCrd6TuJWADOH021E1TwN8PgWhgAmpa21zGKmN+kwratLojQEfYPeyJhYo+sNaIHJhZao6fn7Re5EoROm4uarbto1jGKYv/QMBQDBYudZwBH+Kt4fLG65DaTYkSra1F5RQTEKluIGfNKNsAEdURvQLJqKXM4tFydzdgHPBaeuYRwLXpvVUywrqLrlRGEirJohfU/R+5CUJsa7ftjrpNZls5mFK0ElKWeXM+UeZ1E5uP1NzeErfNFNWqoO9VxM/hbosTJrFC1Q6hqnWOosPx83Upy5BB1JGh6ky6wjthpNEWUZDIQtzLw1YuqIW972y0Z/UQsikleJi6UnhLz9EsHoLtrzIju2P+Lp8vtOtUluiKTtbckOX9BZnJyrmLAtzEJLVENlIjE6KghbjsbZUkmflTV5/b/CN/4zSdrhmPQRHuzXVXAGU/7cqCM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518594142

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

