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

Reply via email to