The following commit has been merged in the master branch:
commit 7a1180e02623fde86faf0dc0587641473b089db5
Merge: 095eac936751bab72e3c6bbdfa3ede51f7198721
db38bb4ad9aff74576d3b7f00028d48f0447d5bd
Author: Stephane Glondu <st...@glondu.net>
Date: Wed May 8 18:05:00 2013 +0200
Merge branch 'upstream'
--
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
