From f3f166891f77356d4bad8d8b3afe5a65a400779b Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 5 Jun 2016 14:49:58 -0400 Subject: Update debian/control --- debian/control | 4 ++-- 1 file 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 -- cgit v1.2.3