coq-doc 8.9.1-3.2

Architecture: pentium4
Repository: pentium4/community-testing
Split Packages: coq, coq-doc, coqide (coq)
Description: HTML and PDF documentation for the Coq proof assistant
Upstream URL:
License(s): GPL
Package Size: 13762.25 kB
Installed Size: 101.35 MB
Build Date: 2019-09-05 15:18:48
Last Updated: 2019-09-12 07:33:22

Dependencies (24)

Required By (0)