[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-17-g7601853

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 76018532b0a90f0d9951589d277d95af85e4cd2a
Merge: 3e278fa6f5b2c304165e081a325ee054db4fed97 9603746faaccf85ee2e95570d2a0fb0a74a2aa1b
Author: Samuel Mimram <smimram at debian.org>
Date:   Fri Feb 20 15:26:56 2009 +0100

    Merge branch 'master' of git+ssh://git.debian.org//git/pkg-ocaml-maint/packages/coq


-- 
coq packaging