diff --git a/Makefile.am b/Makefile.am
index c1c550cce..ff39947bb 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -33,12 +33,25 @@ SUBDIRS = buddy lib src wrap ltdl iface doc $(NEVER_BENCH)
 UTF8 = utf8/doc/ReleaseNotes utf8/doc/utf8cpp.html utf8/utf8.h	\
   utf8/utf8/checked.h utf8/utf8/core.h utf8/utf8/unchecked.h
 
-DEBIAN = debian/changelog debian/changelog.in debian/compat		\
-  debian/control debian/copyright debian/docs debian/rules		\
-  debian/python3-spot.examples debian/python3-spot.install		\
-  debian/source/format debian/spot-doc.docs debian/spot-doc.install	\
-  debian/spot-doc.doc-base debian/spot.install				\
-  debian/libspot-dev.install
+DEBIAN =					\
+  debian/changelog				\
+  debian/changelog.in				\
+  debian/compat					\
+  debian/control				\
+  debian/copyright				\
+  debian/docs					\
+  debian/libbddx0.install			\
+  debian/libbddx-dev.install			\
+  debian/libspot0.install			\
+  debian/libspot-dev.install			\
+  debian/python3-spot.examples			\
+  debian/python3-spot.install			\
+  debian/rules					\
+  debian/source/format				\
+  debian/spot-doc.doc-base			\
+  debian/spot-doc.docs				\
+  debian/spot-doc.install			\
+  debian/spot.install
 
 debian/changelog: configure.ac
 	$(top_builddir)/config.status --file debian/changelog
diff --git a/debian/control b/debian/control
index 7e4d3a155..087479389 100644
--- a/debian/control
+++ b/debian/control
@@ -11,15 +11,42 @@ Architecture: any
 Section: science
 Recommends: graphviz
 Suggests: libspot-dev, spot-doc, python3-spot
-Depends: ${shlibs:Depends}, ${misc:Depends}
+Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), ${shlibs:Depends}, ${misc:Depends}
 Description: model checking and omega-automata manipulation library
- Library and tools to manipulate omega-automata as well as
+ Tools to manipulate omega-automata as well as
+ linear-time temporal logic (LTL & PSL).
+
+Package: libspot0
+Architecture: any
+Section: science
+Recommends: graphviz
+Suggests: libspot-dev, spot-doc, python3-spot
+Depends: ${shlibs:Depends}, ${misc:Depends}, libbddx0 (>= ${source:Version}), libbddx0 (<< ${source:Version}.1~)
+Description: model checking and omega-automata manipulation library
+ Library to manipulate omega-automata as well as
  linear-time temporal logic (LTL & PSL).
 
 Package: libspot-dev
-Architecture: all
+Architecture: any
 Section: libdevel
 Suggests: spot-doc
+Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), ${misc:Depends}
+Description: headers for the Spot model checking library
+ C++ headers for the Spot library.
+
+Package: libbddx0
+Architecture: any
+Section: science
+Recommends: graphviz
+Suggests: libbddx-dev
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Description: alternate version of BuDDy
+ An alternate version of BuDDy with slightly different
+ different data structures and additional functions.
+
+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.
@@ -34,7 +61,7 @@ Description: documentation for Spot
 Package: python3-spot
 Architecture: any
 Section: python
-Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, spot (= ${binary:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~)
 Suggests: ipython3
 Description: python3 binding for spot
  Spot allows manipulation of omega-automata as well
diff --git a/debian/libbddx-dev.install b/debian/libbddx-dev.install
new file mode 100644
index 000000000..65c8bb0c4
--- /dev/null
+++ b/debian/libbddx-dev.install
@@ -0,0 +1,4 @@
+usr/include/fddx.h
+usr/include/bvecx.h
+usr/include/bddx.h
+usr/lib/*-*/libbddx.so
diff --git a/debian/libbddx0.install b/debian/libbddx0.install
new file mode 100644
index 000000000..e81c6258c
--- /dev/null
+++ b/debian/libbddx0.install
@@ -0,0 +1 @@
+usr/lib/*-*/libbddx.so.*
diff --git a/debian/libspot-dev.install b/debian/libspot-dev.install
index e43b95cb9..bc6eb275a 100644
--- a/debian/libspot-dev.install
+++ b/debian/libspot-dev.install
@@ -1 +1,2 @@
-usr/include
+usr/include/spot
+usr/lib/*-*/libspot.so
diff --git a/debian/libspot0.install b/debian/libspot0.install
new file mode 100644
index 000000000..42d49f2df
--- /dev/null
+++ b/debian/libspot0.install
@@ -0,0 +1 @@
+usr/lib/*-*/libspot.so.*
diff --git a/debian/spot.install b/debian/spot.install
index 43075013f..a65408f7a 100644
--- a/debian/spot.install
+++ b/debian/spot.install
@@ -1,3 +1,2 @@
 usr/bin
-usr/lib/*-*/*.so*
 usr/share/man