[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.8-1-3-ga03f71b

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 46df0006ed4f46cfbb5310b68a49bf7c306980e6
Merge: 72993ee301ce3c951c14c0cbbb870e961e42b976 61cfa02110d4acf3565c00853379c293411ca76e
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Jun 1 20:07:25 2010 +0200

    Merge branch 'upstream'


-- 
alt-ergo packaging