[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.beta0+13323-1-4-gaae7cec

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit 907320d6b0bfe4728337815b1e6a5ffd5fcebc4d
Merge: 6c1da06df6378da5c47e3e55a5c0845779a47ce7 f18e6146f4fd6ed5b8ded10a3e602f5f64f919f4
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 6 16:19:01 2010 -0400

    Merge commit 'upstream/8.3.rc1.dfsg' into experimental/master


-- 
coq packaging