[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.6-2-20-ga6e58f2

[Marco Túlio Gontijo e Silva]

The following commit has been merged in the master branch:
commit 0c583ad4db0b2dec896098984f5475299ee98109
Author: Marco Túlio Gontijo e Silva <marcot at riseup.net>
Date:   Tue Mar 16 10:15:17 2010 -0300

    debian/control: Rename -doc package.

diff --git a/debian/changelog b/debian/changelog
index a2d50ae..69dcb66 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.2.6-5) UNRELEASED; urgency=low
+
+  * debian/control: Rename -doc package.
+
+ -- Marco Túlio Gontijo e Silva <marcot at debian.org>  Tue, 16 Mar 2010 10:15:08 -0300
+
 agda (2.2.6-4) unstable; urgency=low
 
   * debian/control: Remove the profiling package. It is unfortunate that this
diff --git a/debian/control b/debian/control
index 4c1655b..0ca8c98 100644
--- a/debian/control
+++ b/debian/control
@@ -70,12 +70,15 @@ Description: a dependently typed functional programming language - development l
  .
  This package contains the normal library files.
 
-Package: haskell-agda-doc
+Package: libghc6-agda-doc
 Architecture: all
 Section: doc
 Depends: ${misc:Depends}, ${haskell:Depends}
 Recommends: ${haskell:Recommends}
 Suggests: ${haskell:Suggests}
+Replaces: haskell-agda-doc
+Conflicts: haskell-agda-doc
+Provides: haskell-agda-doc
 Description: a 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

-- 
Packaging for Agda