diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 14:49:58 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 14:49:58 -0400 |
| commit | f3f166891f77356d4bad8d8b3afe5a65a400779b (patch) | |
| tree | 7b2980e5755f5adbc123ace76aa803508ba7fc3c | |
| parent | 6c3b2d709e3b0596296b36f17fd2d6f45bbea93a (diff) | |
Update debian/control
| -rw-r--r-- | debian/control | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control index f7a2c110..edbfa29f 100644 --- a/debian/control +++ b/debian/control @@ -9,8 +9,8 @@ Build-Depends-Indep: libboogie-cil, mono-devel (>= 2.4.2.3), mono-reference-assemblies-4.0 -Standards-Version: 3.9.7 -Homepage: http://research.microsoft.com/en-us/projects/dafny/ +Standards-Version: 3.9.8 +Homepage: https://research.microsoft.com/en-us/projects/dafny/ Package: dafny Architecture: all |