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

[ Quellcode: coq-doc  ]

Links für coq-doc

Ubuntu-Ressourcen:

• Fehlerberichte
• Ubuntu-Changelog
• Copyright-Datei

Quellcode-Paket coq-doc herunterladen:

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

Betreuer:

• Ubuntu MOTU Developers (E-Mail-Archiv)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (E-Mail-Archiv)
• Samuel Mimram
• Stéphane Glondu

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

Externe Ressourcen:

• Homepage [coq.inria.fr]

Ähnliche Pakete:

• 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

Andere Pakete mit Bezug zu coq-doc

hängt ab von

empfiehlt

schlägt vor

• 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

coq-doc herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	4,5 kB	44,0 kB	[Liste der Dateien]