[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, master, updated. debian/2.3.0-1-6-ga8edf91

[Joachim Breitner]

The following commit has been merged in the master branch:
commit aa6a95519c0b27036feecb55cb630d829797679e
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Mar 12 14:31:46 2012 +0100

    New upstream release

diff --git a/debian/changelog b/debian/changelog
index 43ba298..ebbc742 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda-bin (2.3.0.1-1) UNRELEASED; urgency=low
+
+  * New upstream release 
+
+ -- Joachim Breitner <nomeata at debian.org>  Mon, 12 Mar 2012 14:30:53 +0100
+
 agda-bin (2.3.0-1) unstable; urgency=low
 
   * [f578578] Imported Upstream version 2.3.0
diff --git a/debian/control b/debian/control
index c58eefb..2687e61 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,8 @@ Build-Depends: debhelper (>= 7.0),
                haskell-devscripts (>= 0.6.15+nmu12~),
                cdbs,
                ghc,
-               libghc-agda-dev (>= 2.3.0),
-               libghc-agda-dev (<< 2.3.0.1~)
+               libghc-agda-dev (>= 2.3.0.1),
+               libghc-agda-dev (<< 2.3.0.2~)
 Standards-Version: 3.9.2
 Homepage: http://wiki.portal.chalmers.se/agda/
 Vcs-Git: git://git.debian.org/git/pkg-haskell/agda-bin.git
@@ -18,8 +18,8 @@ Package: agda-bin
 Architecture: any
 Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
 Recommends: ${haskell:Recommends},
-            libghc-agda-dev (>= 2.3.0),
-            libghc-agda-dev (<< 2.3.0.1~)
+            libghc-agda-dev (>= 2.3.0.1),
+            libghc-agda-dev (<< 2.3.0.2~)
 Suggests: ${haskell:Suggests}, agda-mode
 Description: commandline interface to Agda
  Agda is a dependently typed functional programming language: It has inductive

-- 
Packaging for agda commandline executable