[Pkg-ocaml-maint-commits] [alt-ergo] 02/02: Revert back to match OCamlgraph 1.8.5 API.

Mehdi Dogguy mehdi at moszumanska.debian.org
Sun Apr 27 12:32:15 UTC 2014


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

mehdi pushed a commit to branch master
in repository alt-ergo.

commit f184ab295acc942f28464680e98200a4abb26e38
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Apr 27 11:27:09 2014 +0200

    Revert back to match OCamlgraph 1.8.5 API.
---
 debian/changelog | 9 +++++++++
 debian/control   | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 48f5141..c2633f0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+alt-ergo (0.95.2-3) UNRELEASED; urgency=medium
+
+  * Remove previously introduced patch since relevant API change
+    has been reverted in OCamlgraph 1.8.5.
+    - Remove 0002-Port-to-OCamlgraph-1.8.4.patch
+    - Build-Depend on OCamlgraph >= 1.8.5~.
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Sun, 27 Apr 2014 11:21:39 +0200
+
 alt-ergo (0.95.2-2) sid; urgency=medium
 
   * Port to OCamlgraph 1.8.4 (Closes: #743072)
diff --git a/debian/control b/debian/control
index d3c9da1..3e6955f 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
 Build-Depends:
  debhelper (>= 7.0.50~),
  ocaml-nox (>= 3.11.1-3~),
- libocamlgraph-ocaml-dev (>= 1.1),
+ libocamlgraph-ocaml-dev (>= 1.8.5~),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~),
  liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~),
  libzarith-ocaml-dev,

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



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