[Pkg-ocaml-maint-commits] r3519 -
/tags/packages/coq-doc/8.1~gamma-2/
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Tue Jan 16 18:47:03 CET 2007
Author: smimram
Date: Tue Jan 16 18:47:03 2007
New Revision: 3519
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3519
Log:
[svn-buildpackage] Tagging coq-doc (8.1~gamma-2)
Added:
tags/packages/coq-doc/8.1~gamma-2/
- copied from r3518, trunk/packages/coq-doc/trunk/
More information about the Pkg-ocaml-maint-commits
mailing list