[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, upstream/20120602, created. upstream/20120602

[Hendrik Tews]

The annotated tag, upstream/20120602 has been created
        at  de149e400d55467a302a9a2128503f975e5c5a1c (tag)
   tagging  91b9649a74715d563d525b311b754324852c0794 (commit)
  replaces  upstream/20120530
 tagged by  Hendrik Tews
        on  Sun Jun 10 21:57:02 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 20120602

Hendrik Tews (1):
      Imported Upstream version 20120602

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

-- 
hol-light packaging