[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-6-12-g7a99898

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 2dad86a4e71bae9905b39970384328316e53eb42
Merge: 257f04de91e394cea67254da547fc1b90fa6978d da178a880e3ace820b41d38b191d3785b82991f5
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 1 17:21:17 2010 +0200

    Merge commit 'upstream/8.2pl2+dfsg'


-- 
coq packaging