[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20130511-1-1-ge00e75a

[Hendrik Tews]

The following commit has been merged in the master branch:
commit e00e75a99b93181b9fc62f89dba1685faab6088a
Author: Hendrik Tews <hendrik at askra.de>
Date:   Fri May 31 22:56:10 2013 +0200

    lintian canonical vcs

diff --git a/debian/changelog b/debian/changelog
index d13334c..cd5a1bc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+hol-light (20130511-2) unstable; urgency=low
+
+  * silent lintian canonical vcs info
+
+ -- Hendrik Tews <hendrik at askra.de>  Fri, 31 May 2013 22:55:43 +0200
+
 hol-light (20130511-1) unstable; urgency=low
 
   * new upstream version revision 162 from 2013-05-11
diff --git a/debian/control b/debian/control
index f69ec9f..6ba366e 100644
--- a/debian/control
+++ b/debian/control
@@ -11,8 +11,8 @@ Build-Depends:
  debhelper (>= 9.0.0)
 Standards-Version: 3.9.4
 Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
-Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
-Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/hol-light.git
+Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/hol-light.git
+Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git
 
 Package: hol-light
 Architecture: any

-- 
hol-light packaging