[ Source: coq-doc ]
Package: coq-doc (8.17.1-1) [multiverse]
Links for coq-doc
Ubuntu Resources:
Download Source Package coq-doc:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Stéphane Glondu
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
documentation for Coq
Other Packages Related to coq-doc
|
|
|
|
-
- dep: coq-doc-html (>= 8.17.1-1)
- documentation for Coq in html format
-
- dep: coq-doc-pdf (>= 8.17.1-1)
- documentation for Coq in pdf format
Download coq-doc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 3.9 kB | 20.0 kB | [list of files] |