[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-4-12-g5c5ac3c

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit da923757fb4888b0d95e6d66ec7627e8357d393c
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Jan 2 15:35:31 2012 +0100

    Fix description-synopsis-starts-with-article

diff --git a/debian/control b/debian/control
index f7e0aec..8f990a7 100644
--- a/debian/control
+++ b/debian/control
@@ -33,7 +33,7 @@ Depends:
   make
 Suggests: libwhy-coq (= ${binary:Version})
 Recommends: alt-ergo
-Description: A software verification tool
+Description: Software verification tool
  Why aims at being a verification conditions generator (VCG) back-end
  for other verification tools. It provides a powerful input language
  including higher-order functions, polymorphism, references, arrays and

-- 
why packaging