[Pkg-ocaml-maint-commits] r4217 - /tags/packages/coq-float/8.1-1.0-1/
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Thu Aug 30 12:25:36 UTC 2007
Author: smimram
Date: Thu Aug 30 12:25:36 2007
New Revision: 4217
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4217
Log:
[svn-buildpackage] Tagging coq-float (8.1-1.0-1)
Added:
tags/packages/coq-float/8.1-1.0-1/
- copied from r4216, trunk/packages/coq-float/trunk/
More information about the Pkg-ocaml-maint-commits
mailing list