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

[Joachim Breitner]

The annotated tag, upstream/2.3.0.1 has been created
        at  a0cb5636d427463be529896f2663980751a95c94 (tag)
   tagging  4c58ec48ea43bde25acb8225cd2e7ce0e9f53fcc (commit)
  replaces  upstream/2.3.0
 tagged by  Joachim Breitner
        on  Mon Mar 12 14:11:42 2012 +0100

- Shortlog ------------------------------------------------------------
Upstream version 2.3.0.1

Joachim Breitner (1):
      Imported Upstream version 2.3.0.1

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

-- 
Packaging for Agda