[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.8-1-8-g5c875b0

[Iain Lane]

The following commit has been merged in the master branch:
commit 5c875b01c02a5fcc3fe2ab19d6fff707e92cd803
Author: Iain Lane <laney at ubuntu.com>
Date:   Fri Apr 1 23:41:52 2011 +0100

    Update short descriptions to reflect best practice

diff --git a/debian/control b/debian/control
index 40d29c8..c36574a 100644
--- a/debian/control
+++ b/debian/control
@@ -59,7 +59,7 @@ Depends: ${haskell:Depends},
 Recommends: ${haskell:Recommends}
 Suggests: ${haskell:Suggests}
 Provides: ${haskell:Provides}
-Description: a dependently typed functional programming language - development libraries
+Description: dependently typed functional programming language - development libraries
  Agda is a dependently typed functional programming language: It has inductive
  families, which are like Haskell's GADTs, but they can be indexed by values and
  not just types. It also has parameterised modules, mixfix operators, Unicode
@@ -83,7 +83,7 @@ Suggests: ${haskell:Suggests}
 Replaces: haskell-agda-doc
 Conflicts: haskell-agda-doc
 Provides: haskell-agda-doc
-Description: a dependently typed functional programming language - documentation
+Description: dependently typed functional programming language - documentation
  Agda is a dependently typed functional programming language: It has inductive
  families, which are like Haskell's GADTs, but they can be indexed by values and
  not just types. It also has parameterised modules, mixfix operators, Unicode
@@ -108,7 +108,7 @@ Depends: ${shlibs:Depends},
          haskell-mode,
          libghc6-agda-dev (>= ${source:Version}),
          libghc6-agda-dev (<< ${source:Version}.1~)
-Description: the emacs mode for Agda
+Description: dependently typed functional programming language — emacs mode
  Agda is a dependently typed functional programming language: It has inductive
  families, which are like Haskell's GADTs, but they can be indexed by values and
  not just types. It also has parameterised modules, mixfix operators, Unicode

-- 
Packaging for Agda