[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, pristine-tar, created. 62ca5035e28f934d30058459cd6205c08e972278

[Hendrik Tews]

The branch, pristine-tar has been created
        at  62ca5035e28f934d30058459cd6205c08e972278 (commit)

- Shortlog ------------------------------------------------------------
commit 62ca5035e28f934d30058459cd6205c08e972278
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed Mar 14 11:52:15 2012 +0100

    pristine-tar data for hol-light-20120312.tar.gz

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

-- 
hol-light packaging