coq-doc (8.18.0-1) unstable; urgency=medium * Make sure the html documentation uses local mathjax (Closes: #1056948). * New upstream release. -- Julien Puydt Thu, 25 Jan 2024 13:58:36 +0100 coq-doc (8.17.1-1) unstable; urgency=medium [ Stéphane Glondu ] * New upstream release * Build-depend on ocaml-dune * Remove Samuel and Hendrik from Uploaders * Bump Standards-Version to 4.6.2 [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05). -- Stéphane Glondu Sat, 12 Aug 2023 12:49:36 +0200 coq-doc (8.16.1-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Fri, 09 Dec 2022 21:55:15 +0100 coq-doc (8.16.0-2) unstable; urgency=medium * Fix d/watch. * Try to fix the clean target to avoid FTBFS. -- Julien Puydt Sun, 02 Oct 2022 22:34:23 +0200 coq-doc (8.16.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Sun, 11 Sep 2022 14:38:48 +0200 coq-doc (8.15.2-3) unstable; urgency=medium * Add b-dep on OCaml's native compilers (Closes: #1014678). -- Julien Puydt Thu, 14 Jul 2022 12:16:36 +0200 coq-doc (8.15.2-2) unstable; urgency=medium * Declare the package can be autobuilt. -- Julien Puydt Thu, 16 Jun 2022 07:59:09 +0200 coq-doc (8.15.2-1) unstable; urgency=medium * New upstream release. * Add patch to fix sphinx 4.5.0 support. * Bump standards-version to 4.6.1. -- Julien Puydt Wed, 15 Jun 2022 22:54:08 +0200 coq-doc (8.15.1-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Wed, 30 Mar 2022 10:41:25 +0200 coq-doc (8.15.0-3) unstable; urgency=medium * Fix b-deps again (Closes: #1005920). -- Julien Puydt Tue, 22 Feb 2022 14:02:25 +0100 coq-doc (8.15.0-2) unstable; urgency=medium * Fix b-deps (Closes: #1005920). -- Julien Puydt Thu, 17 Feb 2022 13:27:49 +0100 coq-doc (8.15.0-1) unstable; urgency=medium * Switch from debian/compat to depend on debhelper-compat (and level 13). * Bump standards-version to 4.6.0. * Declare d/rules doesn't require root. * Simplify d/rules. * Rewrite d/watch following the main coq package. * Package new upstream (closes: #1003539). * No more fac, rectutorial or tutorial (closes: #543548). * Add myself to uploaders. -- Julien Puydt Tue, 08 Feb 2022 17:10:12 +0100 coq-doc (8.6-1) unstable; urgency=medium * Team upload. * New upstream version 8.6 (Closes: #864468) * add myself to uploaders * bump standards version to 4.0.0 * fix build dependencies * changed Vcs fields to https * fixed missing axiom picture in FAQ * remove unterminated_string_literal patch (fixed upstream) * updated doc-base entries * added .gitignore in debian dir to ignore editor backups -- Hendrik Tews Wed, 05 Jul 2017 22:29:28 +0200 coq-doc (8.4pl4-2) unstable; urgency=medium * Team upload * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3 -- Ralf Treinen Thu, 11 Feb 2016 08:48:56 +0100 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