diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 15:24:33 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 16:01:12 -0400 |
| commit | 9c43e130f89421f6f333459e45cc798e61bee495 (patch) | |
| tree | b184c0fb6ea1076ee1dfd462379d5ea3f9a6e666 | |
| parent | c32f2071a6710f51e43d8fe42ad16244ff6cea70 (diff) | |
Update debian/control
| -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 |