diff --git a/debian/control b/debian/control index e63402ea..5ddd1c6e 100644 --- a/debian/control +++ b/debian/control @@ -8,8 +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-gold (>= 2.23.52.20130522) - [amd64 armel armhf i386 powerpc powerpcspe ppc64 sparc sparc64 x32], + libisl-dev (>= 0.11.1), binutils-gold [amd64 armel armhf i386 powerpc powerpcspe ppc64 sparc sparc64 x32], lcov, procps Build-Conflicts: oprofile, ocaml Standards-Version: 3.9.4