The following commit has been merged in the master branch: commit d7d9ec3a1978b042d59d395d32f7c1c236bbaa6f Author: Mehdi Dogguy <me...@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 <me...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits