[Pkg-ocaml-maint-commits] r5074 - /tags/packages/coq-float/8.1-1.0-4/

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sat Jan 19 16:17:41 2008
New Revision: 5074

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

Added:
    tags/packages/coq-float/8.1-1.0-4/
      - copied from r5073, trunk/packages/coq-float/trunk/