The following commit has been merged in the master branch:
commit 813d651c75cb954677a483b60d880600b421e011
Merge: 0c6687c12b628881d5660d57707f0e7ca9e521b7
499a11a45b5711d4eaabe84a80f0ad3ae539d500
Author: Stephane Glondu <st...@glondu.net>
Date: Wed May 8 17:47:16 2013 +0200
Merge tag 'upstream/8.4pl2dfsg' into experimental/master
Upstream version 8.4pl2dfsg
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
