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

Joachim Breitner mail at joachim-breitner.de
Fri Apr 16 10:00:44 UTC 2010


The following commit has been merged in the master branch:
commit a6e58f2704d973596f8aef16c171eb4832a02fc0
Merge: 7d664f03d6a46a79b7f327e043821bf0e3bda52f fd6a3c27e8daa577fb3d61c1052527b007825ee5
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Apr 16 11:55:16 2010 +0200

    Merge commit 'fd6a3c27e8daa577fb3d61c1052527b007825ee5'
    
    For some reason, there was a 2.2.6-5 tag, but not on the master branch.
    Or something. Stupid git.
    
    Conflicts:
    	debian/changelog

diff --combined debian/changelog
index 1e46a59,da51a96..b33a602
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,10 -1,9 +1,16 @@@
- agda (2.2.6-5) unstable; urgency=low
++agda (2.2.6-6) unstable; urgency=low
 +
 +  * Fix FTBFS by fixing zlib doc package name. (Closes: #577892)
 +  * Convert to 3.0 (quilt)
 +
 + -- Joachim Breitner <nomeata at debian.org>  Fri, 16 Apr 2010 11:43:24 +0200
 +
+ agda (2.2.6-5) unstable; urgency=low
+ 
+   * debian/control: Rename -doc package.
+ 
+  -- Marco Túlio Gontijo e Silva <marcot at debian.org>  Tue, 16 Mar 2010 10:15:20 -0300
+ 
  agda (2.2.6-4) unstable; urgency=low
  
    * debian/control: Remove the profiling package. It is unfortunate that this
diff --combined debian/control
index 9b84d77,0ca8c98..4e232f6
--- a/debian/control
+++ b/debian/control
@@@ -40,8 -40,8 +40,8 @@@ Build-Depends-Indep: ghc6-doc
                       libghc6-terminfo-doc,
                       libghc6-xhtml-doc (>= 3000.2),
                       libghc6-xhtml-doc (<< 3000.3),
 -                     haskell-zlib-doc (>= 0.4.0.1),
 -                     haskell-zlib-doc (<< 1)
 +                     libghc6-zlib-doc (>= 0.4.0.1),
 +                     libghc6-zlib-doc (<< 1)
  Standards-Version: 3.8.4
  Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary
  Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git
@@@ -70,12 -70,15 +70,15 @@@ Description: a dependently typed functi
   .
   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



More information about the Pkg-haskell-commits mailing list