[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.19+dfsg-2-17-g9832da6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit d813515f6c4d777aceb39d82b1fac42ca25d7af9
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 10 22:46:39 2010 +0100

    It's callded frama-c-base, for now

diff --git a/debian/control b/debian/control
index 693e31c..246812b 100644
--- a/debian/control
+++ b/debian/control
@@ -16,7 +16,7 @@ Build-Depends:
   coq (>= 8.2.pl1),
   libfloat-coq (>= 1:8.2-1.2-3),
   libocamlgraph-ocaml-dev (>= 1.3),
-  frama-c-nox,
+  frama-c-base,
   quilt (>= 0.46-7~)
 Standards-Version: 3.8.2
 Homepage: http://why.lri.fr/

-- 
why packaging