[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit 357d49cfb956380788efbf6d080ab00e678d29f7
Merge: eabf57d06ca1eafa762d7f31262e5515401eff55 bf12eb93f3f6a6a824a10878878fadd59745aae0
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 29 10:57:45 2012 +0100

    Merge tag 'upstream/8.4pl1dfsg' into experimental/master
    
    Upstream version 8.4pl1dfsg


-- 
coq packaging