From a6dbf5cf5e2f63eb95f3e916022a02f0ad6aa575 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 11 Mar 2015 16:18:31 +0100
Subject: [PATCH] debian: harden version requirements

* debian/control: Make sure libspot-dev and spot have
the same versions.
---
 debian/control | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index 1eebc6c77..1d3a4a23c 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Package: spot
 Architecture: any
 Section: science
 Recommends: graphviz
-Suggests: libspot-dev, spot-doc
+Suggests: libspot-dev, spot-doc, python3-spot
 Depends: ${shlibs:Depends}, ${misc:Depends}
 Description: Spot, a model checking library
  Library and tools to manipulate omega-automata as well as
@@ -20,7 +20,7 @@ Package: libspot-dev
 Architecture: all
 Section: libdevel
 Suggests: spot-doc
-Depends: spot
+Depends: spot (= ${binary:Version})
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
 
@@ -33,7 +33,7 @@ Description: documentation for Spot
 Package: python3-spot
 Architecture: any
 Section: python
-Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, spot (= ${binary:Version})
 Suggests: ipython3
 Description: python3 binding for spot
  Spot allows manipulation of omega-automata as well