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

[Iain Lane]

The following commit has been merged in the master branch:
commit 02dba2456886e26eb345b1eba63fef7ffb14b319
Author: Iain Lane <laney at debian.org>
Date:   Mon May 27 19:00:57 2013 +0100

    Standards Version → 3.9.4

diff --git a/debian/control b/debian/control
index 6b2bd29..3f3c48a 100644
--- a/debian/control
+++ b/debian/control
@@ -53,7 +53,7 @@ Build-Depends-Indep: ghc-doc,
                      libghc-src-exts-doc, 
                      libghc-quickcheck2-doc,
                      libghc-syb-doc,
-Standards-Version: 3.9.3
+Standards-Version: 3.9.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
 Homepage: http://wiki.portal.chalmers.se/agda/

-- 
Packaging for Agda