[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