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