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

[Hendrik Tews]

The annotated tag, upstream/20130511 has been created
        at  d9d533298940a0f433b67fbf093bd6e5fa184233 (tag)
   tagging  b78aeefbf86577c2049733d6c414f21cb4ded69d (commit)
  replaces  upstream/20120602
 tagged by  Hendrik Tews
        on  Thu May 16 14:21:44 2013 +0200

- Shortlog ------------------------------------------------------------
Upstream version 20130511

Hendrik Tews (1):
      Imported Upstream version 20130511

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

-- 
hol-light packaging