From 91dc7d56d4e974d65dec78b3d5a067c3ea93b7bf Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 5 Feb 2015 21:41:10 -0500 Subject: Add Vcs-Browser and Vcs-Git URLs --- debian/control | 2 ++ 1 file changed, 2 insertions(+) (limited to 'debian') diff --git a/debian/control b/debian/control index 52cd279..1b02881 100644 --- a/debian/control +++ b/debian/control @@ -11,6 +11,8 @@ Build-Depends: ocaml-nox (>= 4.00.0) Standards-Version: 3.9.6 Homepage: http://compcert.inria.fr/ +Vcs-Browser: https://benjamin.barenblat.name/gitweb/?p=debian-compcert.git +Vcs-Git: git://benjamin.barenblat.name/debian-compcert.git Package: compcert Architecture: i386 -- cgit v1.2.3