coq-doc 8.6-5

Architecture: i686
Repository: Community
Base Package: coq
Description: HTML and PDF documentation for the Coq proof assistant
Upstream URL:
License(s): GPL
Groups: coq
Maintainers: Orphan
Package Size: 6.4 MB
Installed Size: 75.6 MB
Last Packager: Johannes Löthberg <>
Build Date: 2017-02-22 19:10 UTC
Signed By: Unknown (0x0EB0D45D)
Signature Date: 2017-02-22 19:37 UTC
Last Updated: 2017-05-14 07:19 UTC

Dependencies (12)

Required By (1)

  • coq (optional)