The annotated tag, upstream/8.3pl1 has been created
        at  2fdd9944ce862263478e4a5a3ecd294e93870bff (tag)
   tagging  24e43098aa32d2be05b53064248988a24968c27f (commit)
  replaces  upstream/8.3
 tagged by  Stephane Glondu
        on  Mon Jan 9 20:39:16 2012 +0100

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

Stephane Glondu (1):
      Imported Upstream version 8.3pl1

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

-- 
coq-float packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to