The annotated tag, upstream/20120530 has been created at 842a5f9da9262b09084946430c478b22217b6f10 (tag) tagging d12928450baf070abf2ef01d9c90ee1d2b11b6ea (commit) replaces upstream/20120423 tagged by Hendrik Tews on Wed May 30 09:15:47 2012 +0200
- Shortlog ------------------------------------------------------------ Upstream version 20120530 Hendrik Tews (1): Imported Upstream version 20120530 ----------------------------------------------------------------------- -- 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