diff --git a/debian/control b/debian/control index 48dbb5ec..d0c59431 100644 --- a/debian/control +++ b/debian/control @@ -8,7 +8,7 @@ Build-Depends: debhelper (>= 9.0), flex, bison, dejagnu, tcl8.5, expect, sharutils, autotools-dev (>= 20060702.1), libffi-dev (>= 3.0.9), lsb-release, patchutils, diffstat, xz-utils, chrpath, python-dev, libedit-dev, swig, python-sphinx, ocaml-nox, binutils-dev, libcloog-isl-dev, - libisl-dev (>= 0.11.1), binutils, libreadline6-dev, + libisl-dev (>= 0.11.1), binutils, lcov, procps, help2man, libjsoncpp-dev Build-Conflicts: oprofile, ocaml Standards-Version: 3.9.4