diff options
Diffstat (limited to '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 |