From 2614d6df738735538ea381e44bad1279269676c1 Mon Sep 17 00:00:00 2001 From: Nicolas Braud-Santoni Date: Sat, 23 Jul 2016 16:20:41 -0400 Subject: New upstream URL & watch file --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/control') diff --git a/debian/control b/debian/control index e5ea67a..d1604bd 100644 --- a/debian/control +++ b/debian/control @@ -10,7 +10,7 @@ Build-Depends: coq (>= 8.4dfsg-2~), libcoq-ocaml-dev Standards-Version: 3.9.6 -Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk +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 -- cgit v1.2.3