[Pkg-ocaml-maint-commits] [alt-ergo] 10/15: + build-dep on libzarith-ocaml-dev

[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 ba352a9799799b95878d271c5386812ae60e9837
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 15:46:17 2013 +0100

    + build-dep on libzarith-ocaml-dev
---
 debian/changelog |    3 ++-
 debian/control   |    1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index c2b6eb4..6bc76c5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -12,8 +12,9 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
     - 0007-Fix-all-target.patch
     - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
     - 0009-clean-remove-META.patch
+  * Add build-dependency on libzarith-ocaml-dev
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 15:42:48 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 15:46:03 +0100
 
 alt-ergo (0.95.1-3) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index ebab6f6..df9f0d4 100644
--- a/debian/control
+++ b/debian/control
@@ -11,6 +11,7 @@ Build-Depends:
  libocamlgraph-ocaml-dev (>= 1.1),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~),
  liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~),
+ libzarith-ocaml-dev,
  dh-ocaml (>= 0.9.0~)
 Homepage: http://alt-ergo.lri.fr
 Standards-Version: 3.9.4

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