[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-2-3-gfd9c784

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit fd9c7845eeaaff4e6635728bf0eca321bec866d3
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Jun 15 11:16:45 2009 +0200

    Fix long description

diff --git a/debian/changelog b/debian/changelog
index 66c98d0..ec92090 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+frama-c (20081201.dfsg-3) unstable; urgency=low
+
+  * Fix long description (Closes: #533158)
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Mon, 15 Jun 2009 11:12:52 +0200
+
 frama-c (20081201.dfsg-2) unstable; urgency=low
 
   * Do not install Journal_loader.cmxs on non-native archs, fixes FTBFS on
diff --git a/debian/control b/debian/control
index d02472c..a9f63f5 100644
--- a/debian/control
+++ b/debian/control
@@ -35,11 +35,17 @@ Depends:
  libocamlgraph-ocaml-dev (>= 1.0-2),
  ${F:FramaCRuntime}
 Description: Framework for source code analysis of software written in C
- Framework dedicated to the analysis of the source code of software written 
- in C
+ Frama-C is a framework dedicated to the analysis of the source code
+ of software written in C.
  .
- It can be used to :
-   * Validate it formally
+ Frama-C gathers several static analysis techniques in a single
+ collaborative framework. The collaborative approach of Frama-C allows
+ static analyzers to build upon the results already computed by other
+ analyzers in the framework. Thanks to this approach, Frama-C provides
+ sophisticated tools, such as a slicer and dependency analysis.
+ .
+ It can be used to:
+   * Validate the source code formally
    * Look for potential runtime errors
    * Audit or review it
    * Reverse engineer it to understand its structure

-- 
frama-c packaging