summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index c23613bc..a3b22932 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Build-Depends-Indep:
cli-common-dev (>= 0.8),
mono-devel (>= 2.4.2.3),
mono-reference-assemblies-4.0,
-Standards-Version: 3.9.7
+Standards-Version: 3.9.8
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Package: boogie