[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-1-10-g3de1ee2

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c259d9b870ef8d4d75e1b855b15e41a3e9a5a423
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 17:31:49 2010 +0100

    Add camlidl to Build-depends

diff --git a/debian/changelog b/debian/changelog
index a89f077..abc00a4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,12 +15,13 @@ why (2.23+dfsg-1) unstable; urgency=low
   * Set filter-pristine-tar to True in debian/gbp.conf
   * Remove libjessie-ocaml-dev which is no longer user by Frama-C
   * Update copyright file
+  * Add camlidl to Build-depends: needed to enable Arpon support
 
   [ Samuel Mimram ]
   * Enable apron support.
   * Added apron patch in order to be able to build with apron support.
 
- -- Samuel Mimram <smimram at debian.org>  Sun, 17 Jan 2010 18:47:50 +0100
+ -- Mehdi Dogguy <mehdi at debian.org>  Sun, 24 Jan 2010 17:31:23 +0100
 
 why (2.19+dfsg-2) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 4a554bb..67b9b0a 100644
--- a/debian/control
+++ b/debian/control
@@ -18,6 +18,7 @@ Build-Depends:
   libocamlgraph-ocaml-dev (>= 1.3),
   frama-c-base,
   libapron-ocaml-dev (>= 0.9.10-4),
+  camlidl,
   quilt (>= 0.46-7~)
 Standards-Version: 3.8.3
 Homepage: http://why.lri.fr/

-- 
why packaging