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

[Iain Lane]

The following commit has been merged in the master branch:
commit c66b97c8156a76bf9a6b90580c49d6e350160114
Merge: a654242ea2c12272693a0e78f3fd06c1cf567ba6 c0e474664f75c60d71812712cfd2560f1c3f8e83
Author: Iain Lane <laney at debian.org>
Date:   Wed Nov 23 10:12:58 2011 +0000

    Merge commit 'upstream/2.3.0'


-- 
Packaging for Agda