From f5ba2868cb61671d9ca537e3be427869ff4d7a5f Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 13 Feb 2019 20:46:29 -0500 Subject: Update Vcs-* URLs for Salsa migration --- debian/control | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/control b/debian/control index 2d48f9d..af45f36 100644 --- a/debian/control +++ b/debian/control @@ -11,8 +11,8 @@ Build-Depends: libcoq-ocaml-dev Standards-Version: 3.9.8 Homepage: https://github.com/coq-contribs/aac-tactics -Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/aac-tactics.git -Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git +Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics +Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git Package: libaac-tactics-ocaml Section: ocaml -- cgit v1.2.3