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

%NAME%
coq

%BASE%
coq

%VERSION%
8.6-5

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
44170480

%ISIZE%
219948032

%MD5SUM%
5f0a68b0f1e8c33915e3bcbcff4e7791

%SHA256SUM%
f8bc4d0ad791e396ea2eb3751c7471ac6cd769f6849e6b8f77110deb47ba8d6d

%PGPSIG%
iQIcBAABCAAGBQJYreuBAAoJEHcZPxUr2+amnY8P/iJh7NibZiWz5L6IduIbD+8Ux/BJl3Khe5DPOhmoHtYIdK38BmIxocPD9TmjKhQg32UDc3Jr79iQi1UbU3loFsgYGBh6d6WAZ2wkhYBxhN5jLOnDJDVVIv7xTTTykdt8UqNwtphAWYDotlSsvNpyPeeiet8IWJkIBU9FFTMFzENJPDHVq+A8kEn0Cfw0ZidG1Y7zEUFVDc6QKYiGj4rUtrHVVEcMor+1z9Wpc0kWrLjj/jwVl2RtYe2BRZUlkUveStjwBsBD4JXf+3a9Y+zSkxAJ0b748ZIK594E1PmJlrD3tvrxVhNaDzB3E0wVVP+ZVPB3t1NYAjxckvgjeGCCwQimwnEhmIT3w8WD6tEQaKN7mQMKBDKJfrp2AGeLL8m+Lk2tETRyjwnp5+VcTbv2doSRYlGDjH4H1QzMblsTll2YL0VzvMqnQNvUqkKd/L1jRFh6bdnZoFDoOTTvHFYtIAQbGXu+1D2/Bi+dg5z5mXuUhReYetNfqyx7SLebLLfp9+hNCmfC94JFOyB1kiK3k4IZ6SNnJjpuvZCQRR/kYMpha3U4So7sVZghRIeTe+ImNOv5DeLdzH6rLAuTAK2th8VbtqarAfNA8s+xi2RgcEynbFJ+dTcWRYBRteJdMQB4lx3SrGj9nUVTw2T3igIDXJlz8ByVlMEaDadZz3DGXzeu

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1487792675

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

%REPLACES%
coq-nox

