2010
coq-doc (8.2pl1-1) unstable; urgency=low
[ 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.
-- Stéphane Glondu <glondu@debian.org> Thu, 07 Jan 2010 22:50:39 +0100
2007
coq-doc (8.1-3) unstable; urgency=low
* Removed tetex-bin from build-dependencies, and added texlive-base,
texlive-latex-extra, texlive-math-extra, texlive-lang-french and
texlive-humanities, closes: #420591.
-- Samuel Mimram <smimram@debian.org> Sat, 14 Apr 2007 18:24:43 +0200
coq-doc (8.1-2) unstable; urgency=low
* Uploading to unstable.
-- Samuel Mimram <smimram@debian.org> Mon, 09 Apr 2007 17:21:10 +0200
coq-doc (8.1-1) experimental; urgency=low
* New upstream release. * Allow building with texlive in build-dependencies.
-- Samuel Mimram <smimram@debian.org> Tue, 13 Feb 2007 13:23:18 +0000
coq-doc (8.1~gamma-2) experimental; urgency=low
* Correctly install html documentation, closes: #407117.
-- Samuel Mimram <smimram@debian.org> Tue, 16 Jan 2007 17:40:02 +0000
coq-doc (8.1~gamma-1) experimental; urgency=low
* New upstream release. * Added faq-urldef.dpatch to workaround hevea bug #405994.
-- Samuel Mimram <smimram@debian.org> Sun, 7 Jan 2007 20:18:31 +0100
2006
coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low
* New beta upstream release.
-- Samuel Mimram <smimram@debian.org> Thu, 13 Jul 2006 14:40:04 +0000
coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low
* Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat),
closes: #366611.
* Updated standards version to 3.7.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Wed, 10 May 2006 16:39:24 +0000
coq-doc (8.0pl3+8.1alpha-1) experimental; urgency=low
* The licensing issue is now solved. The new licence is OPL which is not
DFSG-compatible. We're moving to non-free, closes: #294865.
* Updated the copyright file.
* Split coq-doc into -html and -pdf, closes: #266019.
* Using dpatch for handling patches.
* Updated standards version to 3.6.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Fri, 28 Apr 2006 18:52:06 +0200
2004
coq-doc (8.0pl1.0-1) unstable; urgency=low
* 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.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Sat, 18 Sep 2004 13:28:22 +0200
coq-doc (8.0pl1-1) unstable; urgency=medium
* New maintainer. * New upstream release, closes: #265077. * Converted changelog and control to utf8. * Updated Standards-Version to 3.6.1. * Removed the unneeded Depends. * Added a symbolic link to the documentation in /usr/share/doc/coq, closes: #146617. * Included the html documentation, closes: #146618. * Slightly modified the description, since we now also have the html doc. * The package is now built by the binary-indep rule of debian/rules.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Fri, 13 Aug 2004 16:32:10 +0200
2002
coq-doc (7.2-1) unstable; urgency=medium
* New upstream version. * New maintainer.
-- Judicaël Courant <Judicael.Courant@lri.fr> Thu, 18 Apr 2002 15:08:00 +0200
1999
coq-doc (6.3.1-2) unstable; urgency=low
* Changed Architecture field from 'any' to 'all' since this package only
contains documentation (closes: Bug#52770)
-- Fernando Sanchez <fer@debian.org> Sat, 18 Dec 1999 12:43:48 +0100
coq-doc (6.3.1-1) unstable; urgency=low
* New upstream release
-- Fernando Sanchez <fer@debian.org> Wed, 8 Dec 1999 16:19:01 +0100
coq-doc (6.3-1) unstable; urgency=low
* Initial Release.
-- Fernando Sanchez <fer@debian.org> Sun, 28 Nov 1999 19:42:06 +0100