Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise] [precise-updates] [precise-backports] [quantal]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for packages that names contain coq-doc in all suites, all sections, and all architectures. Found 3 matching packages.
Exact hits
Package coq-doc
- hardy (doc):
Documentation for Coq [universe]
8.0pl1.0-1: all - lucid (doc):
documentation for Coq [multiverse]
8.2pl1-1: all - natty (doc):
documentation for Coq [multiverse]
8.2pl1-1: all - oneiric (doc):
documentation for Coq [multiverse]
8.3pl2-1: all - precise (doc):
documentation for Coq [multiverse]
8.3pl2-1build1: all - quantal (doc):
documentation for Coq [multiverse]
8.3pl4-1: all
Other hits
Package coq-doc-html
- lucid (doc):
documentation for Coq in html format [multiverse]
8.2pl1-1: all - natty (doc):
documentation for Coq in html format [multiverse]
8.2pl1-1: all - oneiric (doc):
documentation for Coq in html format [multiverse]
8.3pl2-1: all - precise (doc):
documentation for Coq in html format [multiverse]
8.3pl2-1build1: all - quantal (doc):
documentation for Coq in html format [multiverse]
8.3pl4-1: all
Package coq-doc-pdf
- lucid (doc):
documentation for Coq in pdf format [multiverse]
8.2pl1-1: all - natty (doc):
documentation for Coq in pdf format [multiverse]
8.2pl1-1: all - oneiric (doc):
documentation for Coq in pdf format [multiverse]
8.3pl2-1: all - precise (doc):
documentation for Coq in pdf format [multiverse]
8.3pl2-1build1: all - quantal (doc):
documentation for Coq in pdf format [multiverse]
8.3pl4-1: all