From dd1436b569216c851c4b341a127a3a7a3bf3b633 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 27 Jul 2008 23:19:00 +0200
Subject: Switch packaging to git

---
 debian/control | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index 80f80ec1..b4a9920a 100644
--- a/debian/control
+++ b/debian/control
@@ -5,8 +5,8 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders: Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>
 Standards-Version: 3.7.3
 Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp5, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq/trunk
-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
 
 Package: coq
 Architecture: any
-- 
cgit v1.2.3