coq-doc 8.11.0-1.0

Architecture: pentium4
Repository: pentium4/community
Split Packages: coq, coq-doc, coqide (coq)
Description: HTML and PDF documentation for the Coq proof assistant
Upstream URL:
License(s): GPL
Package Size: 12543.22 kB
Installed Size: 87.82 MB
Build Date: 2020-01-29 01:44:50
Last Updated: 2020-04-05 13:25:57

Dependencies (19)

Required By (1)