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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-14

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
618652

%ISIZE%
4448256

%MD5SUM%
9a2516eb3bd5a477cb085704c6ff6fb3

%SHA256SUM%
90b580f6a7ba2f53af8241ec49eb11357f91bfd3bd18128dd2909af7585ae713

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltd48QACgkQdxk/FSvb5qYVRQ/9G45OIWztJVRojCWzmK1tAOBU9ojXb471YuHw2m5b8kVa1GzTLtzvxlpKEYWJIFHOaRDaVnUOww9E1YpMvEkCD8D9ulj9RORMLMWH8cFWccdlVGPGPk7aZgp9zlPpqry3L0LzNcpie5oKpzF88L3af8afbiWPd2/F2rytXePGAebhZGRTGT3+2ElIXDHb4Z3zA63jx72eYItDdwJ7EfL3oWvSSNI2Jvctil/m6zSBmuTXKd03iAkzMA78AwUGCEGWNGZstckmWarD0GGVX4EEUbW5GbQ3s52m4AtMx/s2kIE3EHeEKR3Nad32rsbEI58QlmHFFMlTNHdacnD6K3ILfdJW3dhjqUNiwbDnzITTFW8r1ut8cjlA/QRr91OjwVzHQbR7704QiYzUgU5XEvm2YmLXax4frLQBls3oic4Lro7vyEdXVk+xWMdo2ePtDx+z31Yd/4e7MCU/lgl4/fd7Z1tqxUCdKTOnSCf5ZojK3I7p6MKCI4ZH48wGp91wBplDA8/cDK4oIjw9w8mMaSa3KXK6C+olENm34cfENsGtPMXeD5C2vRIbBMPjUGmwA9wzA6OyfjZOScW4VUfkQAZuAX1b+EC3U/3wrkwcVRBV73qhhYKSYfqbsJqrvP3rCOAb5Weia9fBUXkpeAVhCz9zxhLhPcoRfYjmjKrrE7osHgM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1532879512

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

