[  hardy  ] [  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]

[ Source: coq-doc  ]

Links for coq-doc

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package coq-doc:

• [coq-doc_8.3pl2-1.dsc]
• [coq-doc_8.3pl2.orig.tar.gz]
• [coq-doc_8.3pl2-1.debian.tar.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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)
• Samuel Mimram
• Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [coq.inria.fr]

Similar packages:

• coq-doc-html
• coq-doc-pdf
• coq
• libcoq-ocaml-dev
• libssreflect-ocaml
• libwhy-coq
• libssreflect-ocaml-dev
• proofgeneral-coq
• libfloat-coq
• libssreflect-coq
• libaac-tactics-coq

Other Packages Related to coq-doc

depends

recommends

suggests

• dep: coq-doc-html (>= 8.3pl2-1)

  documentation for Coq in html format

• dep: coq-doc-pdf (>= 8.3pl2-1)

  documentation for Coq in pdf format

Download coq-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	4.5 kB	44.0 kB	[list of files]