The annotated tag, upstream/20120312 has been created at 73d643ba36743b8c92d506a4fcb02fee2c1e772c (tag) tagging 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit) tagged by Hendrik Tews on Wed Mar 14 11:52:15 2012 +0100
- Shortlog ------------------------------------------------------------ Upstream version 20120312 Hendrik Tews (1): Imported Upstream version 20120312 ----------------------------------------------------------------------- -- 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