%FILENAME%
coq-doc-8.7.2-1-armv6h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.2-1

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

%GROUPS%
coq

%CSIZE%
8817220

%ISIZE%
76466176

%MD5SUM%
c3874385d720603647bcd9e96d09d8ce

%SHA256SUM%
334e9b98d3a3d6715f71bd58f51e1baa1992021d1e18bd26086f034078afbf21

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG+RkACgkQdxk/FSvb5qb3kg//Xm3Z3b6+ienWNIPUHqx0R25odWhL4Gq40nv7bNCsQYCuD+h2qvasaEpiuV6YCV4ZOcXALlW7l9CmjPnXQ9nFlsbwEa+4/jn5I1rgRim1EC/Q2Txd09c+IfpRjoXfGkrpW9NsAmhrnAUBF+JFr/aYaAt4Rit0gXtSBIERP/U8ScPOoVm1ENK2iBHKx8LboEvc/4lqr+Sc7h5rycmukNwnTsYOP9ZmH+2nzgwsdsfCg5RWYPM30dsGMHnKX1XmJVT/Yxi2uqE0QcZN7HpIwOn+2P22rmtxegKhnWu8dM8fdcF8GRprFwrodoElhczvx6R2JGfOLBzmkkUVHpCdeX/R/3fVGnuzL2KVyurUzaz7FH0UG1YcO7sTa0+LmCDhuPMB8ZaE/PKc20wi4d182vjuRByom5bQZgtbMREoRBpAv3k71Y00lg4icyUVSBj6PCAn0/DGntUC892BuZiPQeway8mePV14Yx3pl5qd75FB9LF7U9FkvdX/VJH9Gr+Iz1DWbMClR/CCC9SndpLmiYfYF5BDkI5QVfmyH+2LA9safaG5Xol+c9+GBK1K2nB6r1pKP5RxkyLP59451D9gG0GvlJEQVPhK7efM9QCZScNLsqrk60nkqpjneII2CjPMs35L1z9RqJ92fUrCgnJnNhQn1ap7ioyTl1rodoOrowVJTE8=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1518794973

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

