diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 2 |
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 |