[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, pristine-tar, created. 9ac53fac94784764f44d3e570f9f819fed5b3c64

[Hendrik Tews]

The branch, pristine-tar has been created
        at  9ac53fac94784764f44d3e570f9f819fed5b3c64 (commit)

- Shortlog ------------------------------------------------------------
commit 9ac53fac94784764f44d3e570f9f819fed5b3c64
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon May 14 23:32:45 2012 +0200

    pristine-tar data for prooftree_0.10.orig.tar.gz

-----------------------------------------------------------------------

-- 
prooftree packaging