From 6a64b0804c7d3248e6c2c5b020d6d249fa43e5d2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 2 Dec 2015 19:48:20 +0100
Subject: [PATCH] * debian/control: Fix some dependencdies.

---
 debian/control | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/control b/debian/control
index 3b549b717..ff0e4cc28 100644
--- a/debian/control
+++ b/debian/control
@@ -30,7 +30,7 @@ Package: libspot-dev
 Architecture: any
 Section: libdevel
 Suggests: spot-doc
-Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), libspotltsmin0 (>= ${source:Version}) , libspotltsmin0 (<< ${source:Version}.1~), ${misc:Depends}
+Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), libspotltsmin0 (>= ${source:Version}) , libspotltsmin0 (<< ${source:Version}.1~), ${misc:Depends}, libbddx-dev
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
 
@@ -47,9 +47,9 @@ Description: alternate version of BuDDy
 Package: libbddx-dev
 Architecture: any
 Section: libdevel
-Depends: spot (>= ${source:Version}), spot (<< ${source:Version}.1~), ${misc:Depends}
-Description: headers for the Spot model checking library
- C++ headers for the Spot library.
+Depends: libbddx0 (>= ${source:Version}), libbddx0 (<< ${source:Version}.1~), ${misc:Depends}
+Description: headers for the BuDDy library
+ C++ headers for the Buddy library.
 
 Package: libspotltsmin0
 Architecture: any