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

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42177780

%ISIZE%
224008192

%MD5SUM%
0ba36938f20d3ea235f773a074b2e5c7

%SHA256SUM%
37a631f2be7fd726f60be76ce249caebbf7bc8be7f403d287c5a8347c49dcdd2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzNxIACgkQdxk/FSvb5qa1tQ/7B4zMqfXJafZbkH0c/9ukIz1HEqX3IcwUw/YTqqsjPIzm8nuIu5xFrzEv1QFLBXJuAOX8jOYI6S5vl0FGfsj/rUymJtKMiGno2bM5G/WzBxHP2DScpuKG707RV7pBFBVV0UFrZmLujixHQl7+cCoGwSt2AzSikfIFYiCuj4cucKAqsZ4cVNcNlBs5Nn+0LbZzjT9lT45l0C1SvOw6WtLR7ppJT1pU/7HnMEIlFaHJn3r250ps3PLR+vSgjV2QasfqqDYV/8sCWmANmLQVl+sDR2wawTn55oSCBXZFRqs8D39Jk++RUdUIVHKj5Q0YcfW/LTmVEoFrXByC1ciZTygTp8C5JmQ3KGKDXDfdQZJSMDWlinP3XNFinhw4j31CTBzNqxWdjCem0+wJX5Sc9R/Hbdl0nlKez8lMwSedBF+UOEyDMvOyvTfWsuX6nqRPl8ws6aomNOgXxbr2OPQWSprgZRycQE93IJ59CdpMX8U2LctPVyZ5Q4feI09TyLYx14jxOm24brgtbnnN2AE+AIgo6QYsGAWScQAXiCPTt8ngXH6aG1CdXsJNUgcwtFRSb9O2I3GLQRMaK9Gfe00sPNPlIOwaMwqbXbxj0LCODjlfejL24DkaYgedSupowpntQiO1cCY5+5qjCLFvpt5r0rIEMR/k5HS7TaJp0KzC2FzTPgg=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1534275502

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

%REPLACES%
coq-nox

