all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-doc (8.19.1-2) [non-free]

Links for coq-doc

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
coq-doc
documentation for Coq
coq-doc-html
documentation for Coq in html format
coq-doc-pdf
documentation for Coq in pdf format

Other Packages Related to coq-doc

  • build-depends
  • build-depends-indep

Download coq-doc

FileSize (in kB)MD5 checksum
coq-doc_8.19.1-2.dsc 2.3 kB 383409ce961ec764cab118a483b0fc88
coq-doc_8.19.1.orig.tar.gz 7,496.0 kB 13d2793fc6413aac5168822313e4864e
coq-doc_8.19.1-2.debian.tar.xz 7.9 kB e06217d20ef2858d852e885541971a11
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-doc.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-doc