[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl3+dfsg-2-8-g7ea6f00

Tue Mar 27 06:39:03 UTC 2012

The following commit has been merged in the master branch:
commit ad988252cac876f0b9998b5223f565d0a22aebb8
Merge: 11b04078a227fd8849972d05417487520177fb04 6e34b272d789455a9be589e27ad3a998cf25496b
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Mar 27 07:48:23 2012 +0200

    Merge tag 'upstream/8.3.pl4+dfsg'
    
    Upstream version 8.3.pl4+dfsg


-- 
coq packaging