The following commit has been merged in the master branch:
commit bd4bb27ee4f66b08434d9a199f00b04ccec34722
Merge: db4ea6ddcbeb0dea41267dc87a30b76a01e402af
870075f34dd9fa5792bfbf413afd3b96f17e76a0
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 13:18:48 2008 +0200
Merge commit 'upstream/8.2.beta4+dfsg'
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
