The branch, experimental/master has been created at 4ac272f0121ba8f3ab48a18c8225b44b03bba4f7 (commit)
- Shortlog ------------------------------------------------------------ commit 4ac272f0121ba8f3ab48a18c8225b44b03bba4f7 Author: Stephane Glondu <st...@glondu.net> Date: Thu Jan 12 17:37:10 2012 +0100 Miscellaneous updates commit f231ae59d9189649cb69262376b2f2dab4b543a2 Author: Stephane Glondu <st...@glondu.net> Date: Thu Jan 12 16:30:22 2012 +0100 Add distclean target to test-suite/Makefile commit d3ba3713b521ffe82e95d50d2948dba088b5a78b Author: Stephane Glondu <st...@glondu.net> Date: Thu Jan 12 16:09:19 2012 +0100 New upstream beta release commit 23a6061a81ffa0c214d521287b6af0a31bfa22f0 Merge: de109d8 39efc41 Author: Stephane Glondu <st...@glondu.net> Date: Thu Jan 12 16:08:29 2012 +0100 Merge commit 'upstream/8.4_beta+dfsg' into experimental/master ----------------------------------------------------------------------- -- 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