[Pkg-ocaml-maint-commits] r4214 - /trunk/packages/coq-float/tags/8.1-1.0-1/

[smimram at users.alioth.debian.org]

Author: smimram
Date: Thu Aug 30 12:22:14 2007
New Revision: 4214

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4214
Log:
[svn-buildpackage] Tagging coq-float (8.1-1.0-1)

Added:
    trunk/packages/coq-float/tags/8.1-1.0-1/
      - copied from r4213, trunk/packages/coq-float/trunk/