%FILENAME%
coqide-8.7.0-1-armv6h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.0-1

%DESC%
GTK-based graphical interface for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
1360776

%ISIZE%
6737920

%MD5SUM%
00727cb8c6d17e4c76de6b8f667edfb2

%SHA256SUM%
b97e444dec0d2df3f1967ce6f42a6c4712e2029b1ae820e250458952d238a8c8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnr3gACgkQdxk/FSvb5qa8CRAAn7pfsw6RAjz6a3cgAyoH1IrIJNrnfccjmMrdFyyNGJr4JV5Bj9nlVd4QB/RHiwJGuoD/D0MtP/9yqhX3IQBqRIzxm12jlfsNzV3MzYwtyV0W9USoczxXXplBVTfiEShKK02ZZSjzHHvxAdhpVupWfIJujFBYxHIUdSEba/2fZ8cg3bxQ9XT1W7NHw7aWcc9BtgPq0KrLFDq+ZKql+LO8HxzFlHQibF6RYapOTSWmSl5RwzAREty96xwZABqR4d991B3Sni8G0pQtxaumzNnYzN0qXOs1K77bQH9qNN5bM0bflLM0CTS+zOw5M6ZDancij5JWXWiLGrcypM5w3TGEcSe7/3FHpaZoJG0heYiS9fEgj5Xq4D+PamuiERC5wPFnbJRoFqRMQ5OrATuyKfhIh5qohshLnxSZ8yBwoRcCI9fouUNJ1feq7Pgun+YOfLrGPhbPDX3mCPbJZGdgtrAXzKc5eF1UvbXNGdoWDZy1j2tF2CL74mQdQ3+X+LRCcrRB/U4oYXnciHrFqJA94N0y0eOwjk5QFp0kEDDNCwnoCqBN7O8ZG/4azcwDzYAgB8DsnvuE8NLQ8EVrjVS/uzVCGyBKaFk6PWBUVy68koSIs30uhf+RForGSGX+r2++Vn+I6yXXPLhfbZKQ746aLOgacwKZFRENTHxoCKQIvtt3NTQ=

%URL%
https://coq.inria.fr/

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1508338351

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

