The annotated tag, upstream/1.3pl3 has been created at a10b5ca21a4d3c9c0c7b4aa7d5bf450c95ec4cd3 (tag) tagging 400091eb24f9af2cc03597bed996ca474735bff3 (commit) replaces upstream/1.3pl2 tagged by Stephane Glondu on Sat Jun 9 09:25:31 2012 +0200
- Shortlog ------------------------------------------------------------ Upstream version 1.3pl3 Stephane Glondu (1): Imported Upstream version 1.3pl3 ----------------------------------------------------------------------- -- ssreflect 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