summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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