[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/upstream, created. upstream/8.3.pl3+dfsg-2-g39efc41

[Stephane Glondu]

The branch, experimental/upstream has been created
        at  39efc41237ec906226a3a53d7396d51173495204 (commit)

- Shortlog ------------------------------------------------------------
commit 39efc41237ec906226a3a53d7396d51173495204
Merge: 5fe4ac4 97fefe1
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 12 16:04:54 2012 +0100

    Remove non-DFSG contents

commit 97fefe1fcca363a1317e066e7f4b99b9c1e9987b
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 12 16:02:20 2012 +0100

    Imported Upstream version 8.4~beta

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

-- 
coq packaging