[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-1-4-gd7d9ec3

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit d7d9ec3a1978b042d59d395d32f7c1c236bbaa6f
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 17 20:33:27 2010 +0100

    Fix short description of frama-c-base

diff --git a/debian/changelog b/debian/changelog
index 0d926cb..84d3896 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ frama-c (20090902+beryllium+dfsg-2) unstable; urgency=low
   * Fix installability problem by installing frama-c-gui.1 only once.
   * Remove empty dirs
   * Fix hyphen-used-as-minus-sign
+  * Fix short description of frama-c-base
 
  -- Mehdi Dogguy <mehdi at debian.org>  Sun, 17 Jan 2010 19:33:00 +0100
 
diff --git a/debian/control b/debian/control
index 16c637c..11e4dd7 100644
--- a/debian/control
+++ b/debian/control
@@ -60,7 +60,7 @@ Recommends:
  libwhy-coq
 Replaces: frama-c (<< 20090902+beryllium+dfsg-1)
 Conflicts: frama-c (<< 20090902+beryllium+dfsg-1)
-Description: Framework for source code analysis of software written in C
+Description: Framework for C source code analysis (without gui)
  Frama-C is a framework dedicated to the analysis of the source code
  of software written in C.
  .

-- 
frama-c packaging