The following commit has been merged in the master branch:
commit 7a24ebd7506f927a6493d065b8c9c297afd08db3
Merge: 4b1c150e26881501db9aa944df6406150fc0670d
aa33547c764a229e22d323ca213d46ea221b903e
Author: Stephane Glondu <st...@glondu.net>
Date: Tue Apr 19 16:52:57 2011 +0200
Merge commit 'upstream/8.3.pl2+dfsg'
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
