%FILENAME%
coq-doc-8.8.0-2-armv6h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.0-2

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

%GROUPS%
coq

%CSIZE%
9552172

%ISIZE%
105684992

%MD5SUM%
37771ffbf37a346e6bbe07884164e382

%SHA256SUM%
5989d32ece9d0b11fef54a724384348061c2e16ed637186bfbaeceed2b21b9c6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrqyKEACgkQdxk/FSvb5qZrIQ//VFQLQF0pvc/CfMgWUnRcWHc4I5WKUNoCszJJUUbPt61zHmIMPc+Ww5M+xSvyXVzXtc2ek0PFd3Nd1+C9Fq9gvPnKnkuay3n4hpUT0L9HPUTBSCEL6ANH44JK7H6rMbtMnfUo+WE6e68MJq7zRditsNBrbN/0pIp0NBmzcmjU64zCM3GHybeJF3FX+xg7+WnX2WcOwusN2ylnz7Wgt3uIoVJxLHWjRuDwQF+0x4qgAiZPtD/G9y3gscmkwRFCtPA6S0qhFxXAebcdGokqrCZk54qtDSOpYg7LcCXh1QE2KDRlU8WHjeaLyr+3vM/SYsGpKHrGuWq50wRvuf+22iB4l8peLSEUK9LjDge/5gfAUfca2lsTSXRex/T1haVqubu8zWiBVR0+m7ZtFhVCDA34LxpEXppCQS9FS/dR29SdTQWJ9sxyCAa8cQyHEp4/oLsl6uIvssaVIYQc+G/J81bI499vKpJ0Vdrfr3NmGhU+LQ5UahSFm9/NzOtm8rPx+xWOVlXUf6Ec1B/3YaSaZJ9X4UdBpIcd1EDlwUVBDTpXBAl2qsBMoye74z04gtj4Ra3MlWZWLBRWRkdWuwG98TdaqQQ7WZ0Rz2aausvbBPvCobAFXtknjVQBp6kXHaIbKntKIZGCL40q7W73BTQ9DhBzqQRHg+j0yo03p7t66iHC9wA=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1525336145

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

