The annotated tag, upstream/0.12 has been created at 2bc1760ec0ab913db094dc9955cd207b10b807a7 (tag) tagging 2dd789608d1f7eef3f668bc227cdd977458927f7 (commit) replaces upstream/0.10 tagged by Hendrik Tews on Fri May 17 16:52:22 2013 +0200
- Shortlog ------------------------------------------------------------ Upstream version 0.12 Hendrik Tews (2): Imported Upstream version 0.10 Imported Upstream version 0.12 ----------------------------------------------------------------------- -- 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