[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, upstream/8.3pl1, created. upstream/8.3pl1

[Stephane Glondu]

The annotated tag, upstream/8.3pl1 has been created
        at  442309999a6d324906b27b2210f3acf96829dac7 (tag)
   tagging  6b691bbd2101fd39395c0d2135fd7c06a8915e14 (commit)
  replaces  upstream/8.3
 tagged by  Stephane Glondu
        on  Fri Dec 24 11:53:34 2010 +0100

- Shortlog ------------------------------------------------------------
Upstream version 8.3pl1

Stephane Glondu (1):
      Imported Upstream version 8.3pl1

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

-- 
coq packaging