Author: gareuselesinge Date: Sun Feb 15 16:19:42 2009 New Revision: 6165 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6165 Log: [svn-buildpackage] Tagging matita (0.5.7-1)
Added:
tags/packages/matita/0.5.7-1/
- copied from r6164, trunk/packages/matita/trunk/
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
