[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master-experimental, updated. debian/2.2.8-1-5-gd807f09

[Iain Lane]

The following commit has been merged in the master-experimental branch:
commit e7b276a2d6649deecd7807fc3da4180005019609
Author: Iain Lane <laney at ubuntu.com>
Date:   Thu Feb 24 18:04:46 2011 +0000

    Add QuickCheck BDs

diff --git a/debian/control b/debian/control
index b56741e..605feaa 100644
--- a/debian/control
+++ b/debian/control
@@ -23,6 +23,8 @@ Build-Depends: debhelper (>= 7.0),
                libghc6-zlib-dev (<< 1),
                libghc6-src-exts-dev (>=1.9.6),
                libghc6-src-exts-dev (<< 1.10),
+               libghc6-quickcheck2-dev (>= 2.1.0.2),
+               libghc6-quickcheck2-dev (<< 2.5),
                happy (>= 1.15),
                happy (<< 2),
                alex (>= 2.0.1),
@@ -45,7 +47,9 @@ Build-Depends-Indep: ghc6-doc,
                      libghc6-zlib-doc (>= 0.4.0.1),
                      libghc6-zlib-doc (<< 1),
                      libghc6-src-exts-doc (>=1.9.6),
-                     libghc6-src-exts-doc (<< 1.10)
+                     libghc6-src-exts-doc (<< 1.10),
+                     libghc6-quickcheck2-doc (>= 2.1.0.2),
+                     libghc6-quickcheck2-doc (<< 2.5),
 Standards-Version: 3.9.1
 Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary
 Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git

-- 
Packaging for Agda