From c2c8d71d0e6c8985516ab46643d62f0b05c912f4 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 22 Feb 2011 11:08:31 +0100 Subject: Fix Vcs-* URLs --- debian/control | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/control b/debian/control index bca697c..b38ebae 100644 --- a/debian/control +++ b/debian/control @@ -11,8 +11,8 @@ Build-Depends: libcoq-ocaml-dev Standards-Version: 3.9.1 Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ -Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-aactactics.git -Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-aactactics.git +Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/aac-tactics.git +Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git Package: libaac-tactics-ocaml Section: ocaml -- cgit v1.2.3