coq-doc 8.6-5

Architecture: x86_64
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:11 UTC
Signed By: Unknown (0x0EB0D45D)
Signature Date: 2017-02-22 19:37 UTC
Last Updated: 2017-05-14 07:20 UTC

Dependencies (12)

Required By (1)

  • coq (optional)