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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.2-1

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

%GROUPS%
coq

%CSIZE%
1684112

%ISIZE%
7008256

%MD5SUM%
ce87d5d208f55b964025e3ae1a925a58

%SHA256SUM%
5fa7ba25e6709f6a0b30f9d5c7b0f92d0d9c45e1bf53fda4951685b611a1e357

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG+RkACgkQdxk/FSvb5qZ9uQ//ctu+G3z0MkiEWxDr9oHO4dBlWdt9CmKFRygo8/8x2uBfcbUtjrAW9m4Nfw7tI/uvdiPC+CItvUTgagGkdcBX01QMiTU55KEgUwa4rkkUjsCLoS0r8up1c8WOwgFWuKyPpLroZdNgL4nQhg1gtBHY086V7cEVRoVUQgC0BJfTiEDCimRwiUl3n/kwKJq4dGUtOD5lXbTCX6S6ofBMeM0tXiti7/51Nqj4o5VAzIW1TeJouiY4B/nckpXmZm0f6zOdc5YP4etjA0dQPphiq1aBcl4YtmrFZ5p3dTvh7ZSaxpmgQv4T+Q+uiqor/TAivdIiasBYJTtK2BKbQpOz7ahWUvHxHmmnngdymhuhUfOgRMoQl5brjWUo4Ff1LKKkP2gasSLjsXm84zT1wp0Cy8MscixzkFFrUttDGiyM65sDcOm7xQVYSJRjxMHnCQKAXvvT7ehaNiilNfwQ6DSHIXFrUzC4A/GALFerecnfca0VXZDh2X5Hmxj+HBNol/YBLT0f96+2HMKef9tkSnCo3U9fY3yCJp8rVNX7/Vub42kEaoBOUWL9EDqjRfOBNuvIHFv922M4U9g3Yi+KSkRjOXmTF4i0lVgihEr6a7b35AS9LndslrLInQ3toFgpS1+IAe2Unam2Z70yUwpsbOFjVY/7G22MP9GEpHYBXFffYOknhnI=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1518794939

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

