[Pkg-ocaml-maint-commits] [apron] 04/07: Remove leading articles from short descriptions
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Dec 25 12:06:26 UTC 2013
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository apron.
commit 2b3a28160a2ba10817ac64e14616a6df5af540be
Author: Stephane Glondu <steph at glondu.net>
Date: Wed Dec 25 12:53:54 2013 +0100
Remove leading articles from short descriptions
---
debian/control | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/control b/debian/control
index 6b3ad0f..4dd99ac 100644
--- a/debian/control
+++ b/debian/control
@@ -39,7 +39,7 @@ Depends: ${shlibs:Depends}, ${misc:Depends},
libgmp3-dev,
libmpfr-dev,
libppl-dev
-Description: an abstract interpretation library
+Description: abstract interpretation library
The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation. The aim of such an analysis
is to infer invariants about these variables. It is intended to be a common
@@ -70,7 +70,7 @@ Section: ocaml
Architecture: any
Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}, libapron-dev
Provides: ${ocaml:Provides}
-Description: an abstract interpretation library (OCaml interface)
+Description: abstract interpretation library (OCaml interface)
The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation. The aim of such an analysis
is to infer invariants about these variables. It is intended to be a common
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/apron.git
More information about the Pkg-ocaml-maint-commits
mailing list