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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.1-3

%DESC%
HTML and PDF documentation for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
12033656

%ISIZE%
101809152

%MD5SUM%
afb8876b0c02a83a1ea6f0f6693e0b88

%SHA256SUM%
cecbdbeecef0f442a568ec414ce39b945e13fc17232128996ad6722569d14372

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzNxMACgkQdxk/FSvb5qboTQ//c+4KnkmmB+RFIyFgZYkz2arnlsueLUacGBQv6fjeHXG7Ls0nRwhtgLaS6LTOnqmtUwYG+yurRYyb5+2+g8vu0eeN7uS927btm6xd1aPdHWb+Omp+qf0Q7E3t8XbwqGfvl5D+71GK8mS1KATRcSOIGM4OHl63hVWQYX413g6te4dq6/nO3aeivnidafouX9taodbMNsj9qcM80FDAx+3JiRa3/hIK6vgOaoXrTM8AJAPc7YtJrINUrQip8vXiBq4g8Qv0avG+bNftHUoluyVed4CnYPfHKjdXnWwdKyyVcOoeojEOYZE1RlRB3d4P5y7yKUYHJmXMzSmdt3is6TBMINx/l694Si+Q5FW8OJgum+cQ80zoVo/CoRPQI/p0C0yF7qVBqU9oOaDpuWeG+SE5JrJiTyQrpW6pCcM8bjiHY+tsWntTqrfitb7L5ZXNXK6k53U7L9HX1DbJ+99W+fg5CBa5Y59JV+pZzk1vVk/L1s5TQrq21stlCHKW1iSTkqsElxf6VPeEcye7vEUORtrHhrUtOdUeuR7uBLezD/xpkDpnEaRINHM1lD/EYd1m8SZrghjNngZHEaCPvh17jHfYoCNwgoqUi8pyygj3CRfPYr4KRrmQWL5ZpwhTzVCZFFSIk4o9kNcDTAFeRPpHwfD49cH2QRUrn8ocC8gEtBGYf9k=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1534275502

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

