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

%NAME%
coq

%BASE%
coq

%VERSION%
8.6-5

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
43968248

%ISIZE%
230918144

%MD5SUM%
57deb5ecd852e8a08177c37d1ce1a817

%SHA256SUM%
ecd0b890debfa46aaf4294cf6768862c3e538bd2220b6941dc770c7d423d1e34

%PGPSIG%
iQIcBAABCAAGBQJYreuxAAoJEHcZPxUr2+amP4EP/2TK16Y1bwYiJ0ZjDKDuzXApx1hF5doH1IXNEi88kiqVKmbMm5DjrvLmJVoW6ve3uk5yMxj96RhXvkB/EDWJ6i/hPL4YyQNJ3XqCldOXpXzXbouviCiKfBmI573j/HU6cv30t+oWtRUsoGlmOG9SLVviXoR0PMygOPZe+eCcEl/oVB3T+iexTuCBGOjBWwT4uoPVPQIncVNB04IF4ms+4/JfQD9CUZRh+TNpKIotkGmpUYHhPu4w1kRi9J7Dj0HlWdBFJ1p3XacSK/IVChmgj3rV5X0H9VfoE1DBSDG9XAHLH/V8vPpSpe5sMq7rzg1SeV7xHjnLrCtGOFYXwgvel67kj4R7RtaP1bXtW2zcnhjyZtSkvZQe/UsPm6ZeFEosJ4jseSpEmd5p5X7w8gLtEp3GDWZBma6H+6DnskMp2Oyg31RBnNqTHGGViJ0MAW6S4Lrwa1qPBpgvK64h9ntKSKugWBxC1JItZqhOUvWvOT6ri2ZKs0qcfHrQdZz0aTrXRH/NaH+ZIcfSAX9yf3ZqUMgcQ4c7WGD2Zc1hXW2AL2/7Y0l/jeR1CQpIxcItGfkJABmmEdozWGaOt01F8oj7o8rOhwy9BS5JCzLaeqvdrnNctSHLgcQQ760hZ9As9c/RG9Qp/MAA2EcEgFsmQzva8hB/XaGmZWULYQqsLaFEv1wW

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1487792699

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

%REPLACES%
coq-nox

