%FILENAME%
coq-doc-8.8.1-3-armv7h.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%
12032680

%ISIZE%
101806080

%MD5SUM%
36c6fdacf47bb600a3db131d692b8b67

%SHA256SUM%
d9608edf430274b8f8c04030d0e61d8e62a318a82c8d9dd20fbb23ea31e57eb4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzK3AACgkQdxk/FSvb5qZrLhAAlPoT06Kszjcfvn9YfV24Pjo02KeRtC6FKJx22PSnHm+7zoACXMkiIggmphHVfPXol4IoFf3VOvgdTemuK5SrmIKW86unMvpVOhJx8ItXRVlyPH950WY46ozxiDYfqwZhU4XFs4m4grASlDr94CvBEdc6QYnWi8HI+sg1eLrDdRa9IoDld8p32KAJulV7HCp0+4c+3a5unzVbP8PUTES/Apan3EUdI0SEi8oCQxAqawViQIqSzAyHwqRNwj+90s5n8SN1P4I+6dhCcb34yJPdwlUI6HPrX26Zw4H821wYfGcypYRlcHzYbI8Ef+HMDg3gIWc55SesMFNut8Nh9CVznwsrdDyj8ShGR1epedOV/mbEWVCttiqEXoS4qVzgWQMHN+ECxEXaD0q5PJjoTmPQ6pAln/TZMqbF1wDYGpm7anwUBUmd0rJPMrGKekebtESIuBcedZ1BwIlMM6vpOcxJuOD2NBD+lj5u/r/xrP/lFttYLWTICWwfikNxRdNUoyH8YSMf3NIcYNl5rVhmq5SFZQmov6lnmig9Lcb66pWlrt21VFIa3qRlEd1VmO/ik5KMdixsrVYqM5GAOlNvc1pedtT2bc8DeC5j4T3t7/Phtv3yNoIl2jH1DiwMiqMSQX8zNE5Og8YyhJMkoZgZ0PG7+lOlZ0fVyRNAT1rUUGRdkdI=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1534272436

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

