The annotated tag, upstream/8.3.pl2 has been created at 950d12196b173b16b056bcd543b547bc01480b08 (tag) tagging 9d27ae09786866b6e3d7b79d1fa7667e5e2aa309 (commit) replaces upstream/8.3pl1 tagged by Stephane Glondu on Tue Apr 19 16:44:40 2011 +0200
- Shortlog ------------------------------------------------------------ Upstream version 8.3.pl2 Stephane Glondu (1): Imported Upstream version 8.3.pl2 ----------------------------------------------------------------------- -- 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