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 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 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 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 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 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 Thu, 31 May 2012 10:12:15 +0200 hol-light (20120423-1) unstable; urgency=low * Initial release (Closes: #663754) -- Hendrik Tews Tue, 24 Apr 2012 20:40:39 +0200