%FILENAME%
coqide-8.8.0-2-armv6h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.0-2

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

%GROUPS%
coq

%CSIZE%
1681484

%ISIZE%
7510016

%MD5SUM%
2bd62f02c4433a23cb4c402348b18ff0

%SHA256SUM%
8e2fc5209ebfeea398e8b65e515cc0a1612569698c1b72adae2704e6a392cd97

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrqyKEACgkQdxk/FSvb5qa5fxAAirZsQvhe4ftKmI3tEZy4oyEnYdzNbFcMVrwmoQuGb3K1uWw36XSWWbrdLh0B+ocj6VIS8jo3zoGQrfxRa5hLncVKFhEjBTCZf7+l2szmfnRgQnL1Da/VTsSgKFPpbtC2rTTeHhvNXOrgVN+/6BwmQBJ20wSshp9726RTF55f3iO96dLOX3X0N4TmY0nbV1zl2zY7+ncWzHlmeTbv9h5D1ByaIioeyItLY6fhJLuf7oIKSKCcteVdiTS5pvrOyvA2w0AkzMk+Xvnhavy9LQ1kKDjbbRITLktbZcnMRgQle18atxbSwFWwBgMJdEqaKYWQKqdTJhcbiuWAVHct1yOyH3TXj6WX5ymrNfhwDcgJZJkuPCf9LFRhgwnkj7PSPgy4yBiU9fbbE5LYnLN6p2YanhD/OxDBzh/U6NUqYpyIvAewwYVpBzlVntLQuaEGFEFjCw1rDf9V+qP4RniYYlAE7Kfp0chsnFXBP0KJiYlZBf3Is1+WyT1h1DUObZg5sXp9Jdi7qm8vOQZ9IxfwzXM2P6HBUPJ+Aa+VJJgq0sCYj8+T28tVhCIrk/g/dtQ7b4v1770kR4Cqm44hSH9/bxzCv2w25Os0n5Ir66mBdth+yGe9NakTsJIzDCs+fc7pzWIeVaALBZFVMTYCIRk4oADwgJQmdwNZ42c8TAm0eF5Gg1o=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1525336106

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

