%FILENAME%
coq-8.8.1-2-armv6h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42077808

%ISIZE%
221878272

%MD5SUM%
b5eecbe39f3643eda993b154d67ea4d5

%SHA256SUM%
724461b53ad0048161ea0deb92510aa9c48e5d1f2c8709a280aae9d8d420e093

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls98QMACgkQdxk/FSvb5qZCww//cpGr7jH2mx5JqHOy/PC4fnjkgxw+7gCJwZPMWseXeNOwUHPm0Jgs9JvUGRdrR+2BPhN7K+gQXLe83Qdb5pSj+0ArtqVCJCUH9mhcyScLB9pdBb/nB5nBfFvpHeUpVuddvn/cRTIkDSvEEqVXOdJ+URclg29DUYu6kia9o2wP8D550A0neZms4BkZdwwIKRvl33ERhnhl4/AQMsRa6tvyU8J0J0iTDvf3OQ+1X5Zmvyi41wRBSofRUcRkcDEnHm9tNuvy9DU9gBcZMohKsydKFW56p40nUxUTQMhStuCMphBWQ1ZM0DRlKF0y1wyJ/cl5HNMlRV4sN6QXSq0nZh7dDizSe2GHheT5BGhiY0RjlRLSEqI4XcmQPA4LNdP1J2+PzChzu0mUJheRbH8cwwIvgFT6doHaeBwslDu/Pam6WKgeMwg/WaZMZ2iUZdlY7Ree8doPEiwjvN8s93Jb55ZIAPNQdOAGZbgls0bgRTXGdQlL3Wk68qwucnTJixHvrjQRzjIXdGd/E0l8RISvXFgomXwORbuLj5hwHZEP/JSi6t9xrOgt/BD0i+5T+agAM9+bGnAUsz7MpLhaDWlaaZ0uzZmtY5ZDqkUo/ugbAQ0fmm498Cm1BRwzmtCX8d7Y3o6KoK+sHLIoERCey1XlL/MWXEBsJ00Caa5l3MH5+T1nJjM=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1530784055

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

%REPLACES%
coq-nox

