[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.rc1+dfsg-1-19-g2ac35e6

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit 20d03a28285c430740d0b675583fe5c4d13ffecc
Merge: c0a92523eaa76afabcbaf06ac4a7e8f7930ee4a3 50dc9067e98ca001ad2e875011abab5da6fdb621
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Dec 24 12:51:11 2010 +0100

    Merge commit 'upstream/8.3.pl1+dfsg' into experimental/master


-- 
coq packaging