[Pkg-ocaml-maint-commits] [SCM] coq packaging tag, upstream/8.3.pl2+dfsg, created. upstream/8.3.pl1+dfsg-2-gaa33547

[Stephane Glondu]

The tag, upstream/8.3.pl2+dfsg has been created
        at  aa33547c764a229e22d323ca213d46ea221b903e (commit)

- Shortlog ------------------------------------------------------------
commit aa33547c764a229e22d323ca213d46ea221b903e
Merge: 50dc906 9d27ae0
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Apr 19 16:47:51 2011 +0200

    Remove non-DFSG contents

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

-- 
coq packaging