[Pkg-ocaml-maint-commits] r4158 - /trunk/packages/coq-float/
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Fri Aug 10 14:45:35 UTC 2007
Author: smimram
Date: Fri Aug 10 14:45:34 2007
New Revision: 4158
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4158
Log:
Coq float library.
Added:
trunk/packages/coq-float/
More information about the Pkg-ocaml-maint-commits
mailing list