-
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 <email address hidden> Fri, 17 May 2013 13:54:42 +0200
-
hol-light (20120602-1build1) saucy; urgency=low
* Rebuild for new OCaml ABIs.
-- Colin Watson <email address hidden> Thu, 09 May 2013 14:58:25 +0100
-
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 <email address hidden> Sun, 10 Jun 2012 21:59:35 +0200