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

Mon Mar 12 13:27:21 UTC 2012

The following commit has been merged in the master branch:
commit 8f54f6cb273c5d071d10b37c3b47bb38d81b8579
Merge: 0c7f8275600b238a537e1de8b944e9dcd75a500b 4c58ec48ea43bde25acb8225cd2e7ce0e9f53fcc
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Mar 12 14:11:42 2012 +0100

    Merge tag 'upstream/2.3.0.1'
    
    Upstream version 2.3.0.1


-- 
Packaging for Agda