summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-06-05 14:49:58 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-06-05 14:49:58 -0400
commitf3f166891f77356d4bad8d8b3afe5a65a400779b (patch)
tree7b2980e5755f5adbc123ace76aa803508ba7fc3c /debian
parent6c3b2d709e3b0596296b36f17fd2d6f45bbea93a (diff)
Update debian/control
Diffstat (limited to 'debian')
-rw-r--r--debian/control4
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