[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

[Stephane Glondu]

The following commit has been merged in the master branch:
commit bd4bb27ee4f66b08434d9a199f00b04ccec34722
Merge: db4ea6ddcbeb0dea41267dc87a30b76a01e402af 870075f34dd9fa5792bfbf413afd3b96f17e76a0
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 8 13:18:48 2008 +0200

    Merge commit 'upstream/8.2.beta4+dfsg'


-- 
coq packaging