From 920ea0cd2790b99d83bcfcd695841308643e2685 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sat, 29 Oct 2016 21:48:50 -0400
Subject: Make BVD pick up on GTK colour scheme

Suggest libgtk2.0-0; if installed, BVD will use the set GTK colours.
---
 debian/control | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
cgit v1.2.3