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

[Iain Lane]

The annotated tag, upstream/2.3.0 has been created
        at  97a8b7b8bd97e08e1e77166f24a1dd9e9a876ced (tag)
   tagging  c0e474664f75c60d71812712cfd2560f1c3f8e83 (commit)
  replaces  upstream/2.2.10
 tagged by  Iain Lane
        on  Wed Nov 23 10:12:58 2011 +0000

- Shortlog ------------------------------------------------------------
Upstream version 2.3.0

Iain Lane (1):
      Imported Upstream version 2.3.0

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

-- 
Packaging for Agda