The following commit has been merged in the master branch: commit 3a420f4ad929e8372d32c735fd0fd89dfc0346a1 Merge: 1769cbaddea77112dd6f336316d8eb9a0945a1e6 e4282ea99c664d8d58067bee199cbbcf881b60d5 Author: Stephane Glondu <st...@glondu.net> Date: Sat Jul 4 13:28:38 2009 +0200
Merge commit 'upstream/8.2.pl1+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