[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, created. 48f6306d4ec4be950507366620eb848f03d91162

[Mehdi Dogguy]

The branch, master has been created
        at  48f6306d4ec4be950507366620eb848f03d91162 (commit)

- Shortlog ------------------------------------------------------------
commit 48f6306d4ec4be950507366620eb848f03d91162
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Nov 5 15:23:17 2008 +0100

    Imported Upstream version 0.8

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

-- 
alt-ergo packaging