-
ocaml (4.01.0-5) unstable; urgency=medium
[ Ralf Treinen ]
* ocaml-mode: change dependency on emacs23 to emacs (closes: #754021)
* ocaml-mode: add versionend dependency on emacs-common, add a file
ocaml-mode.emacsen-compat (closes: #749311)
-- Stéphane Glondu <email address hidden> Thu, 30 Oct 2014 09:28:06 +0100
-
ocaml (4.01.0-4) unstable; urgency=medium
* debian/patches:
+ Make "ocamlopt -g" more resistant to ill-formed locations
+ Fix lost locations in out-of-bounds exceptions
* Disable the testsocket test because it tries to reach the net
(Closes: #732951)
-- Stéphane Glondu <email address hidden> Sat, 17 May 2014 15:26:14 +0200
-
ocaml (4.01.0-3) unstable; urgency=low
* Upload to unstable
* debian/patches:
+ Fix native backtraces on arm*
~ Disable native backtraces on powerpcspe too
* Update SLOW_ARCHITECTURES and do not run almabench test there
* Add libiberty-dev to Build-Depends (Closes: #731047)
-- Stéphane Glondu <email address hidden> Mon, 02 Dec 2013 20:03:03 +0100
-
ocaml (3.12.1-4) unstable; urgency=low
* Change the Debian-specific behaviour of -custom (Closes: #678577)
-- Stéphane Glondu <email address hidden> Tue, 26 Jun 2012 21:39:18 +0200