[cvc4] 02/02: Add Vcs-Git and Vcs-Browser fields to debian/control

[Fabian Wolff]

This is an automated email from the git hooks/post-receive script.

fw-guest pushed a commit to branch master
in repository cvc4.

commit fac1c80b25f1eed7f75c7c3f1af4de668b2766e2
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Mon Mar 27 19:02:11 2017 +0200

    Add Vcs-Git and Vcs-Browser fields to debian/control
---
 debian/control | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/control b/debian/control
index cd5a592..c9e8fae 100644
--- a/debian/control
+++ b/debian/control
@@ -14,6 +14,8 @@ Build-Depends: debhelper (>= 9),
                chrpath
 Standards-Version: 3.9.8
 Homepage: http://cvc4.cs.stanford.edu/web/
+Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/cvc4.git
+Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/cvc4.git
 
 Package: cvc4
 Architecture: any

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git