The branch, master has been created at 48f6306d4ec4be950507366620eb848f03d91162 (commit)
- Shortlog ------------------------------------------------------------ commit 48f6306d4ec4be950507366620eb848f03d91162 Author: Mehdi Dogguy <[EMAIL PROTECTED]> Date: Wed Nov 5 15:23:17 2008 +0100 Imported Upstream version 0.8 ----------------------------------------------------------------------- -- alt-ergo packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits