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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.0-1

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

%GROUPS%
coq

%CSIZE%
7016724

%ISIZE%
74105856

%MD5SUM%
f72dec8456080a660a930c47e337c35e

%SHA256SUM%
624a1ef484cba6bb6a5aa21d2ff57c62bc41e58dc1432139e19728f89668fa2c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnr3gACgkQdxk/FSvb5qbrcg//R08ojAsJ/Ab6suCehBtiDoKbD4rSqpo+cyenvEGE/1dyKNtncW8HfZBIzpFQ4Hg1HVAnya4o6HAyBy4VAdKyqoaEcBONsgNhSihFM49D7fK/1a1FGSFAWf6trfZrHR1PgpCdvBH4HtJXUeKDLTZFyrLTIWKSMpGlNGzx/ebe25K8fXFaORRqYHBn2auyx2fapt6pge80KF3OGTztPpy1E17CSTL3u8+rMNldm3NTI/QmUPmB/3Z0HSFBsv+dz4ouyz+XldnEgX8ZXfv32aAZcEc60LzMzJtplf/b1ed4tXQm+rTRrr4teLPLwNeW4qfJ26qZNla3GsoZEOvRdwql7GtmkHArnKcJTTBapZ72APbejmuhQrz5F12UT/MD8gM1VtQeaFB8bzxH31eqSdMSAQv5QiZlbpXQUz8C04n4/EKtIC+tEOFFhpvp4tLc7nIAIQYdf7xKRyIHseaYsyA6w/DmqoSKMwCvApT1zWj9q6wr8UN1UflJrjbhec2ZACMwPbyjzbozLg7jhFuvM8RAL6TvUjAVLqsHdoQG5b4HIgGZ1IAVoTpw7LqGRrhAR529qTBiI3qPUW/90rU/a6xsOsck8dWZQtI1Kezu9hPRDclTIWMfdZJmqo8EvQ2QeCN3FsjfBbDgAdWFzYw+UxGQsKDVg9MHRajHiJDD/z08Elc=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1508338387

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

