%FILENAME%
haskell-tamarin-prover-utils-1.2.3-3-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.2.3-3

%DESC%
Utility library for the tamarin prover

%CSIZE%
198528

%ISIZE%
1417216

%MD5SUM%
16cb7261155f44807c2ecfdeacbfcf60

%SHA256SUM%
3fe422f2d41e813dfd5b80042c67ab1c4f974c8caf908affa9b75ca172083487

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqy5esACgkQdxk/FSvb5qZu+RAArCweD7RL2OIlYw4uM0odtnvf/i2ONQpAPbOCKkDKOeBHcKeG0MO6GZ5TQ7Jp5nLk/VMA5n+x5VHP6fjn3WSsExJzIpz4kNoyt7P2N2tVGd7vLff04ejuaaFp826l3/3FYt8z30M6QI0jfVBkkrPRGSR1a07UDpPMZcHVfO3XPdQJIQqNGOFKYprgMU/23KThkX412WndaT3/QGy2DSetXpt8v59n4wuI7WBRjcFt1RdGX04O380F1V9J5ZByNQnNZO9c4j6377A9KW05TsQ99Hfql17V5HfYyRe1WNFBbNWQQh0jH/xiDktmvl/RMbIhAwTsv3QK2utWpvSZJ0N+2t5hvdstOkc0vM1Sy0C2BH6rJ2IFypuPa11Rc+5SnwusrRFGp6kwnHQdo01SpuUwgTZffzK7qnGCRhZ52HCugVEG8pv7jX05PhGN5lR2VWd4aSMIyC5l69aTBvIOJMIn108/qUfpZdcCjFGi+Qp5Pec3t4efHNjg10K2Xn1YXs5ln4o1uWsjCcqloBZfuhLlOt0Odlj03+ifZWPTfryLDNQXeKjDfORkyy0J6jJ8Akai+tBUrC6PP4wDnPF67cg8eX5zmhO4UkmAhSv/Ax5fEQVtdnaGWMHNHVG8PxaIO76zBwMzJoV8HdNWyqvc+GcRIjZIC98w0rrexbBIHGJZSKY=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1521673704

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

