[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, master, updated. debian/2.2.8-1-7-gf4ec933

[Iain Lane]

The following commit has been merged in the master branch:
commit 6c3faaa259dac82337812ff7dcd5973658fa85b5
Author: Iain Lane <laney at ubuntu.com>
Date:   Fri Apr 1 23:44:55 2011 +0100

    Update short descriptions to reflect best practice

diff --git a/debian/control b/debian/control
index d97236d..4fad676 100644
--- a/debian/control
+++ b/debian/control
@@ -19,7 +19,7 @@ Architecture: any
 Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
 Recommends: ${haskell:Recommends}, libghc6-agda-dev
 Suggests: ${haskell:Suggests}, agda-mode
-Description: Commandline interface to Agda
+Description: commandline interface to Agda
  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 commandline executable