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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
38409492

%ISIZE%
199821312

%MD5SUM%
182d037f9c86a736cc3b298a958581ff

%SHA256SUM%
ec540e3d7c19362b9d6a2134c7e8240cb71c3a956e80c0a272190263442b4a59

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnr3cACgkQdxk/FSvb5qbg3BAAqqBFIqHYIDmC11tnZndriaBgUBjPeETiatMp/7krp6NTmeoMxU8GgggFUDAlG75cUR87VUXQ+22EkGn3UvvVmT6Owx0LJsXQ7PcPgolju6xe2quG6celSGLAPR6rqmF2oeB85Hj18a0NVO25odsywQhw+RaseNcCZltuk+Vl9Towj2jCCs+jH6hPiF9cD8OygPVSJE2BbzAPUVMjs8g/LwtPpeci8xR6cFpskaxRcY/kIWoFxTKmJlnUgp/+mcOv+5N+be2D+eC/wNAgFW/CnQC36/k68S24QR2q8wPBaAYH/oPFBtSz+aGMtWv7G8X1ipwDvKpL9m7JA/aQE8HqzDwwZgCevSMVkkaBHcVM0kLBLtymZTWc8FgfJIY1N5aus4TjaFrQnZNImXNV6jKbdjRD1zpPfaQfelPaK2EISsExxKfpAzPdyZmuayFZDfG2KxmZhaZAEokOzXi89Z/zEYo2UCF7+jOsiVolRSHLUCdFsLcGzp7utv6XBHxp0A/0tl3Mbbutk4AHApN7ZQCTRW3dSni+SlmeXux24xAjSPn1szm9PfsZWZR7MHARKu5kcVm7AoVLw75TsAXR44r1yq34MpLsda2WHNwGvUq+pTq94Xa3L6TIQ4Wy182ZqBAwBcLOYjf1R25NSc+yz2PBgqlKANyjhP/rw5hluIXsnBg=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1508338106

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

%REPLACES%
coq-nox

