hol-light (20190729-4build4) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <doko@ubuntu.com>  Mon, 02 Nov 2020 14:46:58 +0100

hol-light (20190729-4build3) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 05 Sep 2020 16:58:43 +0200

hol-light (20190729-4build2) groovy; urgency=medium

  * Rebuild with the new camlp version

 -- Sebastien Bacher <seb128@ubuntu.com>  Thu, 06 Aug 2020 10:07:03 +0200

hol-light (20190729-4build1) focal; urgency=medium

  * No change rebuild against new ocaml ABI

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Fri, 21 Feb 2020 01:31:39 +0000

hol-light (20190729-4) unstable; urgency=medium

  * Team upload
  * Fix compilation with camlp5 7.11

 -- Stéphane Glondu <glondu@debian.org>  Wed, 12 Feb 2020 05:43:48 +0100

hol-light (20190729-3) unstable; urgency=medium

  * Team upload
  * Add libnum-ocaml-dev to Build-Depends (Closes: #944277)
  * Bump debhelper compat level to 12
  * Bump Standards-Version to 4.4.1
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <glondu@debian.org>  Sun, 29 Dec 2019 13:24:09 +0100

hol-light (20190729-2) unstable; urgency=medium

  * Team upload.
  * Fix bad license in copyright file

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 29 Jul 2019 15:24:03 +0200

hol-light (20190729-1) unstable; urgency=medium

  * Team Upload
  * Cherry-pick changes from git:
    - add python runtime dependency
    - bump compat level to 10
    - README.debian: updated
    - udpate std-version to 4.4.0
  * Fix lintian warning about trailing whitespace
  * Fix lintian warning about not honouring nocheck test DH parameter
  * Fix lintian warning about deprecated extra priority.
  * update VCS fields to new location
  * remove trailing newlines
  * update changelog with missing changelog entry
  * Ack previous NMU

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 29 Jul 2019 14:54:22 +0200

hol-light (20190729-0.1) unstable; urgency=medium

  * Non-maintainer upload
  * New upstream snapshot (Closes: #876533)
    - Patch for new ocaml and camlp5
    - tweak rules file to stop copy of the new ml file
      This is already done in upstream build system.
    - do not install .pc file in the system (Closes: #878615)
  * Update copyright file
  * Update copyright file http in https mode

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 27 Jul 2019 10:19:28 +0200

hol-light (20171023-1) unstable; urgency=medium

  * Imported upstream version 20171023
    with git hash 39d9bf8b2958a288905661f969e9ab25b5ed74aa
  * delete camlp5-7 patch - was applied upstream; refresh other patches
  * compat level 10, standards version 4.1.1
  * update rules with new pa_j implementation (Closes: #876533)
  * minor change in control file - Flyspeck is completed
  * update copyright file
  * clear executable bit deletion in rules - has been fixed upstream
  * change to priority optional as demanded by lintian
  * suggests python as demanded by lintian
  * exclude .pc directory during installation (Closes: #878615)
  * README.Debian: hints on native toplevel and testsuite updates
  * delete some trailing whitespace for lintian

 -- Hendrik Tews <hendrik@askra.de>  Sun, 29 Oct 2017 20:55:28 +0100

hol-light (20170109-2) unstable; urgency=medium

  [ Hendrik Tews ]
  * add patch camlp5-7 for fixing FTBFS with camlp5-7.01 (Closes: #868606)
  * update build dependency for camlp5

 -- Hendrik Tews <hendrik@askra.de>  Wed, 02 Aug 2017 23:05:25 +0200

hol-light (20170109-1) unstable; urgency=low

  [ Mehdi Dogguy ]
  * Update watch file

  [ Hendrik Tews ]
  * Imported Upstream version 20170109
    with git hash f468686c09996f77ccfa98c30ba98f8db2c8cfd9
  * update copyright, patches, README.Debian
  * standards-version 3.9.8; update Vcs fields
  * disable building the Mizarlight syntax extension (fails upstream with
    OCaml 4.02 - already reported to John Harrison)
  * clear exec bit fix on RichterHilbertAxiomGeometry/Topology.ml (fixed
    upstream)
  * add exec bit fixes for Help/HYP_TAC.doc,
    RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml and
    Multivariate/cvectors.ml
  * don't install jar files in Proofrecording/tools
  * add patch cd-holtest-parallel to fix current directory in parallel
    test

 -- Hendrik Tews <hendrik@askra.de>  Mon, 09 Jan 2017 23:27:28 +0100

hol-light (20131026-1) unstable; urgency=low

  * new upstream version revision 177 from 2013-10-26
  * use new pa_j and adjust camlp5 dependencies
  * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml
    during installation

 -- Hendrik Tews <hendrik@askra.de>  Sun, 10 Nov 2013 20:37:21 +0100

hol-light (20130811-1) unstable; urgency=low

  * new upstream version revision 170 from 2013-08-11
  * fix vcs fields
  * refresh patches
  * delete include-compiler-libs patch (applied upstream)
  * update elc file path in hol-light-source.exclude
  * update copyright

 -- Hendrik Tews <hendrik@askra.de>  Wed, 14 Aug 2013 22:45:11 +0200

hol-light (20130511-1) unstable; urgency=low

  * new upstream version revision 162 from 2013-05-11
  * fix typo in package description (Closes: #680494)
  * set prioity to extra
  * omit new elc file from package
  * adapt copyright info
  * add new patch include-compiler-libs for OCaml 4 compatibility
  * bump to standards version 3.9.4
  * improve debian readme

 -- Hendrik Tews <hendrik@askra.de>  Fri, 17 May 2013 13:54:42 +0200

hol-light (20120602-1) unstable; urgency=low

  * new upstream version revision 146 from 2012-06-02
  * remove holtest-dependency-hint patch
  * refresh remaining patches

 -- Hendrik Tews <hendrik@askra.de>  Sun, 10 Jun 2012 21:59:35 +0200

hol-light (20120530-1) unstable; urgency=low

  * new upstream version revision 141 from 2012-05-30
  * remove patches that have been applied upstream:
      adapt-holtest-for-debian and pa-j-makefile-fix
  * adapt debian/copyright
  * simplify debian/rules
  * add patch holtest-dependency-hint

 -- Hendrik Tews <hendrik@askra.de>  Thu, 31 May 2012 10:12:15 +0200

hol-light (20120423-1) unstable; urgency=low

  * Initial release (Closes: #663754)

 -- Hendrik Tews <hendrik@askra.de>  Tue, 24 Apr 2012 20:40:39 +0200
