Change log for coq-float package in Ubuntu

coq-float (1:8.10.0-1build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 16 Sep 2020 11:26:38 +0200

Available diffs

• diff from 1:8.10.0-1 (in Debian) to 1:8.10.0-1build1 (326 bytes)

coq-float (1:8.10.0-1) unstable; urgency=medium

  * Team upload
  * New upstream release, compiles with coq 8.11.0  (closes: #953765)
  * Add debian/upstream, containing the reference of the TPHOL paper

 -- Ralf Treinen <email address hidden>  Mon, 16 Mar 2020 11:08:42 +0100

Available diffs

• diff from 1:8.9.0-1build1 (in Ubuntu) to 1:8.10.0-1 (36.3 KiB)

coq-float (1:8.9.0-1build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Tue, 25 Feb 2020 18:37:43 +0100

Available diffs

• diff from 1:8.9.0-1 (in Debian) to 1:8.9.0-1build1 (342 bytes)

coq-float (1:8.9.0-1) unstable; urgency=medium

  * New upstream release (Closes: #813596)
  * Update Homepage and debian/watch
  * Update Vcs-*
  * Remove Samuel from Uploaders
  * Bump debhelper compat level to 12
  * Bump Standards-Version to 4.5.0
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <email address hidden>  Sat, 01 Feb 2020 11:28:40 +0100

coq-float (1:8.4-5build3) yakkety; urgency=medium

  * No-change rebuild against coq-8.5+4.02.3

 -- Steve Langasek <email address hidden>  Sun, 12 Jun 2016 17:06:08 +0000

Available diffs

• diff from 1:8.4-5build2 to 1:8.4-5build3 (531 bytes)

coq-float (1:8.4-5build2) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

 -- Matthias Klose <email address hidden>  Thu, 04 Feb 2016 16:59:12 +0100

Available diffs

• diff from 1:8.4-5build1 to 1:8.4-5build2 (307 bytes)

coq-float (1:8.4-5build1) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

 -- Iain Lane <email address hidden>  Wed, 04 Nov 2015 11:08:32 +0000

Available diffs

• diff from 1:8.4-5 (in Debian) to 1:8.4-5build1 (319 bytes)

coq-float (1:8.4-5) unstable; urgency=medium

  * Recompile with OCaml 4.02.3

 -- Stéphane Glondu <email address hidden>  Wed, 14 Oct 2015 11:37:12 +0200

Available diffs

• diff from 1:8.4-4 to 1:8.4-5 (297 bytes)

coq-float (1:8.4-4) unstable; urgency=medium


  * Recompile with coq 8.4pl4

 -- Stéphane Glondu <email address hidden>  Wed, 30 Jul 2014 08:59:29 +0200

Available diffs

• diff from 1:8.4-3 to 1:8.4-4 (284 bytes)

coq-float (1:8.4-3) unstable; urgency=medium


  * Recompile with coq 8.4pl3
  * Bump Standards-Version to 3.9.5 (no changes)
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Mon, 20 Jan 2014 07:44:07 +0100

Available diffs

• diff from 1:8.4-2build1 (in Ubuntu) to 1:8.4-3 (674 bytes)

coq-float (1:8.4-2build1) trusty; urgency=medium

  * No-change rebuild.
 -- Matthias Klose <email address hidden>   Tue, 24 Dec 2013 12:40:18 +0100

Available diffs

• diff from 1:8.4-2 (in Debian) to 1:8.4-2build1 (325 bytes)

coq-float (1:8.4-2) unstable; urgency=low


  * Recompile with OCaml 4.01.0

 -- Stéphane Glondu <email address hidden>  Sat, 07 Dec 2013 10:06:37 +0100

Available diffs

• diff from 1:8.4-1 to 1:8.4-2 (311 bytes)

coq-float (1:8.4-1) unstable; urgency=low


  * New upstream release
  * Use format version 1.0 in debian/copyright
  * Bump Standards-Version to 3.9.4
  * Bump debhelper compat level to 9

 -- Stéphane Glondu <email address hidden>  Wed, 08 May 2013 23:29:32 +0200

Available diffs

• diff from 1:8.3pl1-4 to 1:8.4-1 (19.0 KiB)

coq-float (1:8.3pl1-4) unstable; urgency=low


  * Recompile with camlp5 6.06 (no changes)

 -- Stéphane Glondu <email address hidden>  Wed, 06 Jun 2012 22:59:40 +0200

Available diffs

• diff from 1:8.3pl1-3 to 1:8.3pl1-4 (326 bytes)

coq-float (1:8.3pl1-3) unstable; urgency=low


  * Recompile with coq 8.3pl4 and camlp5 6.05 (no changes)

 -- Stéphane Glondu <email address hidden>  Fri, 30 Mar 2012 08:06:29 +0200

Available diffs

• diff from 1:8.2-1.2-9 to 1:8.3pl1-3 (39.3 KiB)

coq-float (1:8.2-1.2-8build2) precise; urgency=low

  * No-change rebuild against new coq
 -- Andreas Moog <email address hidden>   Sat, 07 Jan 2012 18:36:51 +0100

Available diffs

• diff from 1:8.2-1.2-8build1 to 1:8.2-1.2-8build2 (337 bytes)

coq-float (1:8.2-1.2-9) unstable; urgency=low


  * Rebuild with Coq 8.3pl3 (no source changes)

 -- Stéphane Glondu <email address hidden>  Sun, 25 Dec 2011 17:51:31 +0100

Available diffs

• diff from 1:8.2-1.2-8build2 (in Ubuntu) to 1:8.2-1.2-9 (465 bytes)

coq-float (1:8.2-1.2-8build1) precise; urgency=low

  * No-change rebuild for OCaml 3.12.1.
 -- Ilya Barygin <email address hidden>   Sun, 11 Dec 2011 13:34:38 +0400

Available diffs

• diff from 1:8.2-1.2-8 to 1:8.2-1.2-8build1 (347 bytes)

coq-float (1:8.2-1.2-8) unstable; urgency=low

  * Recompile with OCaml 3.12.1 (no changes)
  * Bump Standards-Version to 3.9.2 (no changes)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  10 Nov 2011 16:40:51 +0000

Available diffs

• diff from 1:8.2-1.2-7 to 1:8.2-1.2-8 (581 bytes)

coq-float (1:8.2-1.2-7) unstable; urgency=low

  * Add patch to fix build with Coq 8.3
  * Bump Standards-Version to 3.9.1 (no changes)

Available diffs

• diff from 1:8.2-1.2-5 to 1:8.2-1.2-7 (1.1 KiB)

coq-float (1:8.2-1.2-5) unstable; urgency=low

  * Rebuild with Coq 8.2pl2
  * Update debian/watch
  * Bump Standards-Version to 3.9.0 (no changes)
  * Switch source package format to 3.0 (quilt)
 -- Iain Lane <email address hidden>   Sat, 03 Jul 2010 15:51:20 +0200

Available diffs

• diff from 1:8.2-1.2-4 to 1:8.2-1.2-5 (748 bytes)

coq-float (1:8.2-1.2-4) unstable; urgency=low

  * Rebuild with OCaml 3.11.2
  * Rewrite debian/rules with dh overrides
  * Install *.vo files in user-contrib/Float
  * debian/control:
    - move to section math
    - bump dependency to debhelper
    - update my e-mail address, remove DMUA
    - update Standards-Version to 3.8.4 (no changes)
 -- Fabrice Coutadeur <email address hidden>   Wed,  10 Mar 2010 12:07:52 +0000

Available diffs

• diff from 1:8.2-1.2-3 to 1:8.2-1.2-4 (1.4 KiB)

coq-float (1:8.2-1.2-3) unstable; urgency=low

  * Rebuild with Coq 8.2pl1

Available diffs

• diff from 1:8.2-1.2-1 to 1:8.2-1.2-3 (540 bytes)

coq-float (1:8.2-1.2-1) unstable; urgency=low

  [ Samuel Mimram ]
  * Switch packaging to git.
  * Enforce strict dependency on coq ABI.
  * Update standards version to 3.8.0.
  * Add Homepage field.

  [ Stephane Glondu ]
  * New Upstream Version
  * Use debhelper 7
  * Add a build cache (for Debian debugging)
  * Set Maintainer to d-o-m, add Samuel and myself to Uploaders
  * Add DM-Upload-Allowed
  * Switch copyright to machine-parsable format
  * Add a more detailed long description for libfloat-coq

 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  28 Apr 2009 23:01:01 +0100

Available diffs

• diff from 1:8.1-1.0-4 to 1:8.2-1.2-1 (32.1 KiB)

coq-float (1:8.1-1.0-4) unstable; urgency=low

  [ Stefano Zacchiroli ]
  * add vcs-* fields

  [ Samuel Mimram ]
  * Rebuild with latest version of coq.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  02 May 2008 01:55:13 +0100

coq-float (1:8.1-1.0-3) unstable; urgency=low

  * Rebuild with latest coq.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  19 Nov 2007 11:43:31 +0000

coq-float (1:8.1-1.0-2) unstable; urgency=low

  * Rebuild with latest version of coq.