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

[Iain Lane]

The following commit has been merged in the master branch:
commit 7f9682a7fa54876808e42c51ee406d0de8eefd98
Merge: 1ac0743303148320949aee58a103417c65c57cf5 dfbca48e71155efd633f47c987ccf52aedb367da
Author: Iain Lane <laney at debian.org>
Date:   Sun Dec 16 20:03:30 2012 +0000

    Merge tag 'upstream/2.3.2'
    
    Upstream version 2.3.2
    
    Conflicts:
    	dist/build/Agda/Syntax/Parser/Lexer.hs
    	dist/build/Agda/Syntax/Parser/Parser.hs


-- 
Packaging for Agda