The annotated tag, upstream/0.10 has been created at f1f5a16c6b08c6284f8f19a3568899e2826b940c (tag) tagging 9151a834634039cc596a9a1054f7484f529e1835 (commit) tagged by Hendrik Tews on Mon May 14 23:32:45 2012 +0200
- Shortlog ------------------------------------------------------------ Upstream version 0.10 Hendrik Tews (1): Imported Upstream version 0.10 ----------------------------------------------------------------------- -- prooftree 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