[Pkg-ocaml-maint-commits] [SCM] coq packaging tag, upstream/8.3+dfsg, created. upstream/8.3-1-g8f4d4c6

[Stephane Glondu]

The tag, upstream/8.3+dfsg has been created
        at  8f4d4c66134804bbf2d2fe65c893b68387272d31 (commit)

- Shortlog ------------------------------------------------------------
commit 8f4d4c66134804bbf2d2fe65c893b68387272d31
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 10 15:57:24 2010 +0100

    Remove non-DFSG contents
-----------------------------------------------------------------------

-- 
coq packaging