[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7a1180e02623fde86faf0dc0587641473b089db5
Merge: 095eac936751bab72e3c6bbdfa3ede51f7198721 db38bb4ad9aff74576d3b7f00028d48f0447d5bd
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed May 8 18:05:00 2013 +0200

    Merge branch 'upstream'


-- 
coq packaging