[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. upstream/0.2.pl2-10-gc2c8d71

[Stephane Glondu]

The following commit has been merged in the master branch:
commit c2c8d71d0e6c8985516ab46643d62f0b05c912f4
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Feb 22 11:08:31 2011 +0100

    Fix Vcs-* URLs

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

-- 
aac-tactics packaging