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

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.2.2-8

%DESC%
Utility library for the tamarin prover

%CSIZE%
188876

%ISIZE%
1339392

%MD5SUM%
2a505c4b8aa5f3b930d2043de3c67f38

%SHA256SUM%
fa1ef17a2756a7ef0d604289204b661a6fd4113b0d8a5e31acf63111e251b93b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqD5zwACgkQdxk/FSvb5qbszg//Tt1pihn6g0Ln1rratBluKl9WfH6Phq0ICVVF3t8K0Mkbj0yTFRihOiKouMzM5pLHI1uobauzQGpy2R8TyXK2lkbQE+FrXXJIYuYmGhelN5M0NgPsOtl57zBXD6grdAGSU3P4ZuQpl6P9QArKTE25Uw/4a94G5IGdeWNS/QbQ2JtIzXwFKZqKl7jQHRBZzTTjcUY1sIE8JTDbw2iRHy4fQC/qTwsmYrClaPBMhcPQKU/BLcZIcFPbBTetUsIznA0d1wqOBTuUck+VrXzDqXP131trKIMQq+PN4cxcWUCB22KesdURWmX/8sz1pRajxlHIfNrhYjQVQyKTUFkuVDHAyr1VxNEm8Od4bmauA/6WA+J7+w+fiCd97/w1yrnZlwau8i+XzIl+K7TktJ52b/P9tOPx6ghRwJ8HNDPNCby784hgEY5+j4O0qlWS35qEJxdemjyAHa0I4Sm+AYnuljTQ3eICVah7v86U0wUzQdQlqPeCBjDvVb9oJx96+N7JmNy6vHOw6KEQUR41fhhZzq2TAwuaaga6oaAs+3mkch7poiTpjConW+oyMEWuY4XXy7neXk2zbKhcaX1ls+Q4td9Hsui/txjzSkSYwIgRkpmbJJx55CjL7P1r2Z4I6iHrpPpqv8oy8hspNdTTEhUsPiyyo0t8MB/BvodircHrSJeCUVE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518593849

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

