summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Nicolas Braud-Santoni <nicolas@braud-santoni.eu>2016-07-23 16:19:01 -0400
committerGravatar Nicolas Braud-Santoni <nicolas@braud-santoni.eu>2016-07-23 16:19:01 -0400
commit39ff825f1a0ea79b5b9f562549a76f99f73dce6f (patch)
tree648ab3a0b22405e9fed1e9f996a9048998bb2ce1
parent12c05cd7e5ff60bc5a2332ad7d87d03b090a1810 (diff)
Use HTTPS for Vcs-* links
-rw-r--r--debian/control4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index c2a98a6..e5ea67a 100644
--- a/debian/control
+++ b/debian/control
@@ -11,8 +11,8 @@ Build-Depends:
libcoq-ocaml-dev
Standards-Version: 3.9.6
Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk
-Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/aac-tactics.git
-Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/aac-tactics.git
+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
Package: libaac-tactics-ocaml
Section: ocaml