[Pkg-ocaml-maint-commits] r6472 - in /trunk/packages/matita: build-area/ tarballs/ trunk/README trunk/debian/

[glondu at users.alioth.debian.org]

Author: glondu
Date: Fri Feb 11 11:08:50 2011
New Revision: 6472

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6472
Log:
Switch matita packaging to Git

Added:
    trunk/packages/matita/trunk/README
Removed:
    trunk/packages/matita/build-area/
    trunk/packages/matita/tarballs/
    trunk/packages/matita/trunk/debian/

Added: trunk/packages/matita/trunk/README
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/README?rev=6472&op=file
==============================================================================
--- trunk/packages/matita/trunk/README (added)
+++ trunk/packages/matita/trunk/README Fri Feb 11 11:08:50 2011
@@ -1,0 +1,3 @@
+This package has moved to:
+http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
+git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git