: Code : coq-doc package : Ubuntu

Ubuntu
coq-doc package

Name	Status	Last Modified	Last Commit
lp:ubuntu/wily/coq-doc	1 Development	2015-05-05 18:50:12 UTC 2015-05-05	9. * New upstream release * Update debia... Author: Stéphane Glondu Revision Date: 2014-08-17 14:36:07 UTC * New upstream release * Update debian/watch * Put debian/copyright in format 1.0 * Bump Standards-Version to 3.9.5
lp:ubuntu/vivid-proposed/coq-doc	1 Development	2014-10-28 16:40:50 UTC 2014-10-28	9. * New upstream release * Update debia... Author: Stéphane Glondu Revision Date: 2014-08-17 14:36:07 UTC * New upstream release * Update debian/watch * Put debian/copyright in format 1.0 * Bump Standards-Version to 3.9.5
lp:ubuntu/vivid/coq-doc	2 Mature	2014-10-26 05:33:56 UTC 2014-10-26	9. * New upstream release * Update debia... Author: Stéphane Glondu Revision Date: 2014-08-17 14:36:07 UTC * New upstream release * Update debian/watch * Put debian/copyright in format 1.0 * Bump Standards-Version to 3.9.5
lp:ubuntu/utopic/coq-doc	2 Mature	2014-04-23 22:13:01 UTC 2014-04-23	8. * New upstream release * Debhelper co... Author: Stéphane Glondu Revision Date: 2013-12-12 09:06:18 UTC * New upstream release * Debhelper compat level 9 * Update Vcs-*
lp:ubuntu/trusty-proposed/coq-doc	2 Mature	2013-12-13 23:18:58 UTC 2013-12-13	8. * New upstream release * Debhelper co... Author: Stéphane Glondu Revision Date: 2013-12-12 09:06:18 UTC * New upstream release * Debhelper compat level 9 * Update Vcs-*
lp:ubuntu/trusty/coq-doc	1 Development	2013-12-12 09:06:18 UTC 2013-12-12	9. * New upstream release * Debhelper co... Author: Stéphane Glondu Revision Date: 2013-12-12 09:06:18 UTC * New upstream release * Debhelper compat level 9 * Update Vcs-*
lp:ubuntu/saucy/coq-doc	2 Mature	2013-04-27 17:32:57 UTC 2013-04-27	8. New upstream release Author: Stéphane Glondu Revision Date: 2012-04-06 07:33:19 UTC New upstream release
lp:ubuntu/raring/coq-doc	2 Mature	2012-10-20 06:06:03 UTC 2012-10-20	8. New upstream release Author: Stéphane Glondu Revision Date: 2012-04-06 07:33:19 UTC New upstream release
lp:ubuntu/quantal/coq-doc	2 Mature	2012-04-26 21:05:37 UTC 2012-04-26	8. New upstream release Author: Stéphane Glondu Revision Date: 2012-04-06 07:33:19 UTC New upstream release
lp:ubuntu/precise/coq-doc	2 Mature	2012-03-02 18:31:49 UTC 2012-03-02	7. No-change rebuild against current pkg... Author: Felix Geyer Revision Date: 2012-03-02 18:31:49 UTC No-change rebuild against current pkgbinarymangler to fix broken md5sums. (see LP #875466)
lp:ubuntu/oneiric/coq-doc	2 Mature	2011-05-06 10:36:59 UTC 2011-05-06	6. * New upstream release * Make depende... Author: Stéphane Glondu Revision Date: 2011-05-06 10:36:59 UTC * New upstream release * Make dependencies of coq-doc versioned * Bump debhelper compat level to 8 * Bump Standards-Version to 3.9.2
lp:ubuntu/natty/coq-doc	2 Mature	2010-10-13 02:22:25 UTC 2010-10-13	5. [ Stéphane Glondu ] * New upstream re... Author: Stéphane Glondu Revision Date: 2010-01-07 22:50:39 UTC [ Stéphane Glondu ] * New upstream release (Closes: #563669) - remove patches * Packaging overhaul: - use git, advertise it in Vcs-* fields of debian/control - use debhelper 7 and dh with override - use source format 3.0 (quilt) * debian/control: - set Maintainer to d-o-m, set Uploaders to Sam and myself - add Homepage field - bump Standards-Version to 3.8.3 * Register PDF documentation into doc-base * Add debian/watch * Update debian/copyright [ Samuel Mimram ] * Change coq-doc's description to mention that it provides documentation in pdf format, not postscript, closes: #543545.
lp:ubuntu/maverick/coq-doc	2 Mature	2010-04-30 18:23:23 UTC 2010-04-30	5. [ Stéphane Glondu ] * New upstream re... Author: Stéphane Glondu Revision Date: 2010-01-07 22:50:39 UTC [ Stéphane Glondu ] * New upstream release (Closes: #563669) - remove patches * Packaging overhaul: - use git, advertise it in Vcs-* fields of debian/control - use debhelper 7 and dh with override - use source format 3.0 (quilt) * debian/control: - set Maintainer to d-o-m, set Uploaders to Sam and myself - add Homepage field - bump Standards-Version to 3.8.3 * Register PDF documentation into doc-base * Add debian/watch * Update debian/copyright [ Samuel Mimram ] * Change coq-doc's description to mention that it provides documentation in pdf format, not postscript, closes: #543545.
lp:ubuntu/karmic/coq-doc	2 Mature	2010-02-21 08:38:39 UTC 2010-02-21	4. Removed tetex-bin from build-dependen... Author: Samuel Mimram Revision Date: 2007-04-14 18:24:43 UTC Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591.
lp:ubuntu/jaunty/coq-doc	2 Mature	2010-02-21 08:38:26 UTC 2010-02-21	4. Removed tetex-bin from build-dependen... Author: Samuel Mimram Revision Date: 2007-04-14 18:24:43 UTC Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591.
lp:ubuntu/intrepid/coq-doc	2 Mature	2010-02-21 08:38:18 UTC 2010-02-21	4. Removed tetex-bin from build-dependen... Author: Samuel Mimram Revision Date: 2007-04-14 18:24:43 UTC Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591.
lp:ubuntu/hardy/coq-doc	2 Mature	2010-02-21 08:38:07 UTC 2010-02-21	4. Removed tetex-bin from build-dependen... Author: Samuel Mimram Revision Date: 2007-04-14 18:24:43 UTC Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591.
lp:ubuntu/gutsy/coq-doc	1 Development	2010-02-21 08:38:00 UTC 2010-02-21	4. Removed tetex-bin from build-dependen... Author: Samuel Mimram Revision Date: 2007-04-14 18:24:43 UTC Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591.
lp:ubuntu/feisty/coq-doc	1 Development	2010-02-21 08:37:48 UTC 2010-02-21	3. * Added the Coq faq, moved the tutori... Author: Samuel Mimram Revision Date: 2004-09-18 13:28:22 UTC * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4.
lp:ubuntu/edgy/coq-doc	1 Development	2010-02-21 08:37:35 UTC 2010-02-21	3. * Added the Coq faq, moved the tutori... Author: Samuel Mimram Revision Date: 2004-09-18 13:28:22 UTC * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4.
lp:ubuntu/dapper/coq-doc	2 Mature	2010-02-21 08:37:14 UTC 2010-02-21	3. * Added the Coq faq, moved the tutori... Author: Samuel Mimram Revision Date: 2004-09-18 13:28:22 UTC * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4.
lp:ubuntu/breezy/coq-doc	1 Development	2010-02-21 08:37:04 UTC 2010-02-21	3. * Added the Coq faq, moved the tutori... Author: Samuel Mimram Revision Date: 2004-09-18 13:28:22 UTC * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4.
lp:ubuntu/hoary/coq-doc	1 Development	2010-02-21 08:36:57 UTC 2010-02-21	3. * Added the Coq faq, moved the tutori... Author: Samuel Mimram Revision Date: 2004-09-18 13:28:22 UTC * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4.
lp:ubuntu/warty/coq-doc	1 Development	2010-02-21 08:36:45 UTC 2010-02-21	2. * New upstream version. * New maintai... Author: Judicaël Courant Revision Date: 2002-04-18 15:08:00 UTC * New upstream version. * New maintainer.
lp:ubuntu/lucid/coq-doc	1 Development	2010-02-21 08:31:34 UTC 2010-02-21	5. [ Stéphane Glondu ] * New upstream re... Author: Stéphane Glondu Revision Date: 2010-01-07 22:50:39 UTC [ Stéphane Glondu ] * New upstream release (Closes: #563669) - remove patches * Packaging overhaul: - use git, advertise it in Vcs-* fields of debian/control - use debhelper 7 and dh with override - use source format 3.0 (quilt) * debian/control: - set Maintainer to d-o-m, set Uploaders to Sam and myself - add Homepage field - bump Standards-Version to 3.8.3 * Register PDF documentation into doc-base * Add debian/watch * Update debian/copyright [ Samuel Mimram ] * Change coq-doc's description to mention that it provides documentation in pdf format, not postscript, closes: #543545.

Ubuntucoq-doc package

Ubuntu
coq-doc package