coq-doc 8.12.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: 14423.68 kB
Installed Size: 111.17 MB
Build Date: 2020-07-25 13:11:02
Last Updated: 2020-07-30 07:55:31

Dependencies (19)

Required By (1)