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

Iain Lane laney at debian.org
Sun Jun 16 12:29:40 UTC 2013


The annotated tag, upstream/2.3.2.1 has been created
        at  7f6fcc4a320726140b5d3bfa7100b88e1c90c96c (tag)
   tagging  bfeeaa533d985e7a6d656da71a60c836ed9d8787 (commit)
  replaces  upstream/2.3.2
 tagged by  Iain Lane
        on  Sun Jun 16 13:07:26 2013 +0100

- Shortlog ------------------------------------------------------------
Upstream version 2.3.2.1

Iain Lane (1):
      Imported Upstream version 2.3.2.1

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

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list