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

[Iain Lane]

The following commit has been merged in the master branch:
commit aa5d909edd5fd1d205711336e4065b550e32dc4a
Merge: 9ca0daa371403efaacb8a6f8a07c97978fd02b6d f578578f93c6ebe940cb5736b7fa9eb48a6a3cb3
Author: Iain Lane <laney at debian.org>
Date:   Wed Nov 23 14:06:18 2011 +0000

    Merge commit 'upstream/2.3.0'


-- 
Packaging for agda commandline executable