[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, created. debian/8.3.pl3+dfsg-1-6-g4ac272f

[Stephane Glondu]

The branch, experimental/master has been created
        at  4ac272f0121ba8f3ab48a18c8225b44b03bba4f7 (commit)

- Shortlog ------------------------------------------------------------
commit 4ac272f0121ba8f3ab48a18c8225b44b03bba4f7
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 12 17:37:10 2012 +0100

    Miscellaneous updates

commit f231ae59d9189649cb69262376b2f2dab4b543a2
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 12 16:30:22 2012 +0100

    Add distclean target to test-suite/Makefile

commit d3ba3713b521ffe82e95d50d2948dba088b5a78b
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 12 16:09:19 2012 +0100

    New upstream beta release

commit 23a6061a81ffa0c214d521287b6af0a31bfa22f0
Merge: de109d8 39efc41
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 12 16:08:29 2012 +0100

    Merge commit 'upstream/8.4_beta+dfsg' into experimental/master

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

-- 
coq packaging