The branch, master has been created at 9151a834634039cc596a9a1054f7484f529e1835 (commit)
- Shortlog ------------------------------------------------------------ commit 9151a834634039cc596a9a1054f7484f529e1835 Author: Hendrik Tews <hend...@askra.de> Date: Mon May 14 23:32:44 2012 +0200 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