[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: bump build-dep on ocaml

[Ralf Treinen]

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

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

commit db669a5b15c6ea375639b073bae9cde6855c9160
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Mar 1 21:20:32 2016 +0100

    bump build-dep on ocaml
---
 debian/changelog | 6 ++++--
 debian/control   | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c8d4748..4d39017 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,12 @@
-alt-ergo (1.01-1) UNRELEASED; urgency=medium
+alt-ergo (1.01-1) unstable; urgency=medium
 
   * new upstream version. Refreshed patches.
   * debian/watch: version 4. Add option pgpsigurlmangle.
   * standards-version 3.9.7 (no change)
+  * bump version of build-dependency ocaml, according to upstream install
+    instructions.
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 28 Feb 2016 20:43:51 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 01 Mar 2016 21:17:13 +0100
 
 alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 9f6f152..937af26 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Uploaders:
  Ralf Treinen <treinen at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
- ocaml-nox (>= 3.11.1-3~),
+ ocaml-nox (>= 3.12.1),
  libocamlgraph-ocaml-dev (>= 1.8.5~),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~),
  liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~),

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