[Pkg-ocaml-maint-commits] [cduce] 01/02: Do not use ocaml-best-compilers, since ocamlopt.opt seems broken(?) on some architectures (armel, armhf and powerpc).

Mehdi Dogguy mehdi at moszumanska.debian.org
Tue Dec 22 10:27:54 UTC 2015


This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository cduce.

commit 4195b04d20111ed0fb7f2a195bd8d7f77fc62b97
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Dec 22 09:48:21 2015 +0100

    Do not use ocaml-best-compilers, since ocamlopt.opt seems broken(?) on some architectures (armel, armhf and powerpc).
---
 debian/changelog | 7 +++++++
 debian/control   | 1 -
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index e5ae0c8..719efad 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+cduce (0.6.0-3) UNRELEASED; urgency=medium
+
+  * Do not use ocaml-best-compilers, since ocamlopt.opt seems broken(?)
+    on some architectures (armel, armhf and powerpc).
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 22 Dec 2015 09:46:57 +0100
+
 cduce (0.6.0-2) unstable; urgency=medium
 
   [ Stéphane Glondu ]
diff --git a/debian/control b/debian/control
index 23ee863..77d98d7 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,6 @@ Build-Depends:
  debhelper (>= 7.2.11~),
  dh-ocaml (>= 0.9~),
  ocaml-nox (>= 3.11.1-3~),
- ocaml-best-compilers,
  camlp4-extra,
  ocaml-source (>= 3.11.0),
  libpcre-ocaml-dev (>= 6.0.1-2~),

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cduce.git



More information about the Pkg-ocaml-maint-commits mailing list