[Pkg-ocaml-maint-commits] [SCM] coq packaging tag, upstream/8.3.rc1.dfsg, created. upstream/8.2.pl2+dfsg-3-gf18e614

[Stephane Glondu]

The tag, upstream/8.3.rc1.dfsg has been created
        at  f18e6146f4fd6ed5b8ded10a3e602f5f64f919f4 (commit)

- Shortlog ------------------------------------------------------------
commit f18e6146f4fd6ed5b8ded10a3e602f5f64f919f4
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 6 16:15:08 2010 -0400

    Imported Upstream version 8.3~rc1+dfsg
-----------------------------------------------------------------------

-- 
coq packaging