%FILENAME%
coq-8.6-5-arm.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.6-5

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
44093344

%ISIZE%
231051264

%MD5SUM%
52aa71bef5dd8f907cc2450f9cca22e9

%SHA256SUM%
fc46ac5fd55b6e2d3b78a07cbf835c26b765fcaddda7b15e8ced01973497c022

%PGPSIG%
iQIcBAABCAAGBQJYrewSAAoJEHcZPxUr2+amgn0QAIQcRCbbA4aahleh3+mxIM0rvhL2NPBgQNX40ESpTNKAwJI9vAAxaZkRQW+rrxt8gdl/t79MrdwATIekOV1R5XkC3ZqQZD/ssvBLor4u0HjXpUc2Ay5VKPboJNFMOKZD7Uyfjp0vgF9cj7Ydu4ob+agK9HwgYXk9L+ioAILAeiRG5WnsOnSe/GXp26RngbyGUCT8yyCCVf36EbeGJkGdF6Rprmn6zTKP72S6gSWMSjmNG5M8WuS9Xg+TtgkKohNKv+CPq47u3LZP+SepvjFRJMC2beN794zvvrWhEGRzOUYef6ly0oXAaYJLoI/AUrzYXiS8SgfXLKaq6YE05J7mnBdU30q4hs45R5TcriXZcacf2DN1/Mw0DhcTL8fXJPv9jbbO9uyfz20xvpiVaDjAjsDMAe2GamlZoA6VzcrmDg7ZnMDLUL2/OGoslPlse7wWWEuT5klAK4j0is1Qh3N7J/pXNLy9dRY5EsdJ/r6OPFmwKR2DFcCkQgOSr5jSmZjXToKImx8qMRhpGuCjA1Eaqqosly8Z8aX8VOQR4EuPdk//eae+8ZMuJ4A+DSL7gXjhxI7+/Z6s77cvV7baMId/i3dfu/R1LIffz1EzMsi6PRkYXbZlFHadvHPBIQhaPjDoek7PDqA3qcG4StNAvi4REGsZdxA8lS/uEx6KW7+OyA+v

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1487792794

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

%REPLACES%
coq-nox

