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
