Change log for coq-doc package in Ubuntu

coq-doc (8.19.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Mon, 15 Apr 2024 09:08:18 +0200

Available diffs

• diff from 8.18.0-1 to 8.19.1-1 (767.4 KiB)

coq-doc (8.18.0-1) unstable; urgency=medium

  * Make sure the html documentation uses local mathjax (Closes: #1056948).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 25 Jan 2024 13:58:36 +0100

Available diffs

• diff from 8.17.1-1 to 8.18.0-1 (996.1 KiB)

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 <email address hidden>  Sat, 12 Aug 2023 12:49:36 +0200

Available diffs

• diff from 8.16.1-1 to 8.17.1-1 (1.3 MiB)

coq-doc (8.16.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Fri, 09 Dec 2022 21:55:15 +0100

Available diffs

• diff from 8.16.0-2 to 8.16.1-1 (20.9 KiB)

coq-doc (8.16.0-2) unstable; urgency=medium

  * Fix d/watch.
  * Try to fix the clean target to avoid FTBFS.

 -- Julien Puydt <email address hidden>  Sun, 02 Oct 2022 22:34:23 +0200

Available diffs

• diff from 8.15.2-3 to 8.16.0-2 (1.5 MiB)

coq-doc (8.15.2-3) unstable; urgency=medium

  * Add b-dep on OCaml's native compilers (Closes: #1014678).

 -- Julien Puydt <email address hidden>  Thu, 14 Jul 2022 12:16:36 +0200

Available diffs

• diff from 8.15.2-2 to 8.15.2-3 (490 bytes)

coq-doc (8.15.2-2) unstable; urgency=medium

  * Declare the package can be autobuilt.

 -- Julien Puydt <email address hidden>  Thu, 16 Jun 2022 07:59:09 +0200

Available diffs

• diff from 8.15.2-1 to 8.15.2-2 (438 bytes)

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 <email address hidden>  Wed, 15 Jun 2022 22:54:08 +0200

Available diffs

• diff from 8.15.0-3 to 8.15.2-1 (34.7 KiB)
• diff from 8.15.1-1 to 8.15.2-1 (8.6 KiB)

coq-doc (8.15.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  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 <email address hidden>  Tue, 22 Feb 2022 14:02:25 +0100

Available diffs

• diff from 8.6-1 to 8.15.0-3 (7.8 MiB)
• diff from 8.15.0-2 to 8.15.0-3 (553 bytes)

coq-doc (8.15.0-2) unstable; urgency=medium

  * Fix b-deps (Closes: #1005920).

 -- Julien Puydt <email address hidden>  Thu, 17 Feb 2022 13:27:49 +0100

Available diffs

• diff from 8.15.0-1 to 8.15.0-2 (1018 bytes)

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 <email address hidden>  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 <email address hidden>  Wed, 05 Jul 2017 22:29:28 +0200

Available diffs

• diff from 8.4pl4-2 to 8.6-1 (4.1 MiB)

coq-doc (8.4pl4-2) unstable; urgency=medium

  * Team upload
  * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3
    (closes: #813063)

 -- Ralf Treinen <email address hidden>  Thu, 11 Feb 2016 22:26:54 +0100

Available diffs

• diff from 8.4pl4-1 to 8.4pl4-2 (663 bytes)

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 <email address hidden>  Sun, 17 Aug 2014 14:36:07 +0200

Available diffs

• diff from 8.4pl2-1 to 8.4pl4-1 (77.2 KiB)

coq-doc (8.4pl2-1) unstable; urgency=medium


  * New upstream release
  * Debhelper compat level 9
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Thu, 12 Dec 2013 09:06:18 +0100

Available diffs

• diff from 8.3pl4-1 to 8.4pl2-1 (2.3 MiB)

coq-doc (8.3pl4-1) unstable; urgency=low


  * New upstream release

 -- Stéphane Glondu <email address hidden>  Fri, 06 Apr 2012 07:33:19 +0200

Available diffs

• diff from 8.3pl2-1build1 (in Ubuntu) to 8.3pl4-1 (198.7 KiB)

coq-doc (8.3pl2-1build1) precise; urgency=low

  * No-change rebuild against current pkgbinarymangler to fix broken
    md5sums. (see LP #875466)
 -- Felix Geyer <email address hidden>   Fri, 02 Mar 2012 18:31:49 +0100

Available diffs

• diff from 8.3pl2-1 to 8.3pl2-1build1 (368 bytes)

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
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  10 May 2011 14:30:56 +0000

Available diffs

• diff from 8.2pl1-1 to 8.3pl2-1 (3.2 MiB)

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.
 -- Benjamin Drung <email address hidden>   Mon,  18 Jan 2010 05:48:20 +0000

Available diffs

• diff from 8.1-3 to 8.2pl1-1 (3.8 MiB)

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.

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 <email address hidden>  Sat, 18 Sep 2004 13:28:22 +0200

coq-doc (7.2-1) unstable; urgency=medium


  * New upstream version.
  * New maintainer.

 -- Judicaël Courant <email address hidden>  Thu, 18 Apr 2002 15:08:00 +0200