[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, master, updated. upstream/2.2.4-10-g94f1e3c

[Iain Lane]

The following commit has been merged in the master branch:
commit 94f1e3c1876d32e1d2e784ad478d822e0caca0c2
Author: Iain Lane <laney at ubuntu.com>
Date:   Sun Jul 26 19:50:23 2009 +0100

    Rename source and binary package to agda-bin.
    
    also tighten ghc6 build-dep and fix up the incorrect runtime suggests on
    libghc6-agda-dev. Silly me.

diff --git a/debian/control b/debian/control
index 7e3f631..4906d58 100644
--- a/debian/control
+++ b/debian/control
@@ -1,21 +1,33 @@
-Source: agda-executable
+Source: agda-bin
 Priority: optional
 Section: haskell
 Maintainer: Iain Lane <laney at ubuntu.com>
 Build-Depends: debhelper (>= 7.0),
                haskell-devscripts (>= 0.6.15+nmu12~),
                cdbs (>= 0.4.59~),
-               ghc6 (>= 6.10.3-3~),
+               ghc6 (>= 6.10.4-1~),
                libghc6-agda-dev
 Standards-Version: 3.8.2
 Homepage: http://wiki.portal.chalmers.se/agda/
 
-Package: agda
+Package: agda-bin
 Architecture: any
 Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
 Recommends: ${haskell:Recommends}
-Suggests: ${haskell:Suggests}
-Description: Command-line program for type-checking and compiling Agda programs
+Suggests: ${haskell:Suggests}, libghc6-agda-dev, agda-mode
+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
+ characters, and an interactive Emacs interface (the type checker can assist in
+ the development of your code).
+ .
+ Agda is also a proof assistant: It is an interactive system for writing and
+ checking proofs. Agda is based on intuitionistic type theory, a foundational
+ system for constructive mathematics developed by the Swedish logician Per
+ Martin-Löf. It has many similarities with other proof assistants based on
+ dependent types, such as Coq, Epigram and NuPRL.
+ .
  This package provides a command-line program for type-checking and
  compiling Agda programs. The program can also generate hyperlinked,
- highlighted HTML files from Agda sources.
+ highlighted HTML files from Agda sources. 

-- 
Packaging for agda commandline executable