diff --git a/debian/control b/debian/control
index 2d7d23c9..8b4b83b3 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Sylvestre Ledru <sylvestre@debian.org>
 Build-Depends: debhelper (>= 9.0), flex, bison, dejagnu, tcl, expect,
     cmake, perl, libtool, chrpath, texinfo, sharutils, libffi-dev (>= 3.0.9),
     lsb-release, patchutils, diffstat, xz-utils, python-dev,
-    libedit-dev, libncurses5-dev, swig, python-six, python-sphinx (>> 1.2.3),
+    libedit-dev, libncurses5-dev, swig, python-six, python-sphinx (>= 1.4.9),
     binutils-dev,
     libjsoncpp-dev, pkg-config,
     lcov, procps, help2man, zlib1g-dev,