[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7a24ebd7506f927a6493d065b8c9c297afd08db3
Merge: 4b1c150e26881501db9aa944df6406150fc0670d aa33547c764a229e22d323ca213d46ea221b903e
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Apr 19 16:52:57 2011 +0200

    Merge commit 'upstream/8.3.pl2+dfsg'


-- 
coq packaging