diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:41:10 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:23 -0500 |
commit | 91dc7d56d4e974d65dec78b3d5a067c3ea93b7bf (patch) | |
tree | fa7f63118172633610daab0c5f1098064b2c3ffc /debian/control | |
parent | 570d8476de67e3052cdb66ccf728895222f21b53 (diff) |
Add Vcs-Browser and Vcs-Git URLs
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 2 |
1 files changed, 2 insertions, 0 deletions
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 |