[Pkg-haskell-commits] [SCM] Packaging for Agda annotated tag, upstream/2.3.2, created. upstream/2.3.2

[Iain Lane]

The annotated tag, upstream/2.3.2 has been created
        at  4bc438f4a7cfd24f4ef8931d97ff4fb1017188ac (tag)
   tagging  dfbca48e71155efd633f47c987ccf52aedb367da (commit)
  replaces  upstream/2.3.0.1
 tagged by  Iain Lane
        on  Sun Dec 16 20:02:04 2012 +0000

- Shortlog ------------------------------------------------------------
Upstream version 2.3.2

Iain Lane (1):
      Imported Upstream version 2.3.2

-----------------------------------------------------------------------

-- 
Packaging for Agda