The annotated tag, upstream/20120602 has been created at de149e400d55467a302a9a2128503f975e5c5a1c (tag) tagging 91b9649a74715d563d525b311b754324852c0794 (commit) replaces upstream/20120530 tagged by Hendrik Tews on Sun Jun 10 21:57:02 2012 +0200
- Shortlog ------------------------------------------------------------ Upstream version 20120602 Hendrik Tews (1): Imported Upstream version 20120602 ----------------------------------------------------------------------- -- hol-light 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