diff options
| -rw-r--r-- | debian/control | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/control b/debian/control index aca23809..965819e6 100644 --- a/debian/control +++ b/debian/control @@ -22,6 +22,8 @@ Depends: z3, ${cli:Depends}, ${misc:Depends} +Suggests: + libgtk2.0-0, Description: verifiable programming language (compiler) Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for |