The following commit has been merged in the master branch:
commit da923757fb4888b0d95e6d66ec7627e8357d393c
Author: Mehdi Dogguy <me...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to