From 9c43e130f89421f6f333459e45cc798e61bee495 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 5 Jun 2016 15:24:33 -0400 Subject: Update debian/control --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3