coq-doc (8.4pl4-1) unstable; urgency=medium * New upstream release * Update debian/watch * Put debian/copyright in format 1.0 * Bump Standards-Version to 3.9.5 -- Stéphane Glondu Sun, 17 Aug 2014 14:36:07 +0200 coq-doc (8.4pl2-1) unstable; urgency=medium * New upstream release * Debhelper compat level 9 * Update Vcs-* -- Stéphane Glondu Thu, 12 Dec 2013 09:06:18 +0100 coq-doc (8.3pl4-1) unstable; urgency=low * New upstream release -- Stéphane Glondu Fri, 06 Apr 2012 07:33:19 +0200 coq-doc (8.3pl3-1) unstable; urgency=low * New upstream release -- Stéphane Glondu Tue, 03 Jan 2012 23:42:48 +0100 coq-doc (8.3pl2-1) unstable; urgency=low * New upstream release * Make dependencies of coq-doc versioned * Bump debhelper compat level to 8 * Bump Standards-Version to 3.9.2 -- Stéphane Glondu Fri, 06 May 2011 10:36:59 +0200 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 Thu, 07 Jan 2010 22:50:39 +0100 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 Sat, 14 Apr 2007 18:24:43 +0200 coq-doc (8.1-2) unstable; urgency=low * Uploading to unstable. -- Samuel Mimram 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 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 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 Sun, 7 Jan 2007 20:18:31 +0100 coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low * New beta upstream release. -- Samuel Mimram 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 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 Fri, 28 Apr 2006 18:52:06 +0200 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 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 Fri, 13 Aug 2004 16:32:10 +0200 coq-doc (7.2-1) unstable; urgency=medium * New upstream version. * New maintainer. -- Judicaël Courant Thu, 18 Apr 2002 15:08:00 +0200 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 Sat, 18 Dec 1999 12:43:48 +0100 coq-doc (6.3.1-1) unstable; urgency=low * New upstream release -- Fernando Sanchez Wed, 8 Dec 1999 16:19:01 +0100 coq-doc (6.3-1) unstable; urgency=low * Initial Release. -- Fernando Sanchez Sun, 28 Nov 1999 19:42:06 +0100