[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

Wed May 8 16:07:18 UTC 2013

The following commit has been merged in the master branch:
commit 813d651c75cb954677a483b60d880600b421e011
Merge: 0c6687c12b628881d5660d57707f0e7ca9e521b7 499a11a45b5711d4eaabe84a80f0ad3ae539d500
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed May 8 17:47:16 2013 +0200

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


-- 
coq packaging