From df1ebf902e91a96552273c31f417787f7104e01e Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Thu, 6 Jun 2013 16:25:55 +0000 Subject: [PATCH] Remove the explicit dependency --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/control b/debian/control index 8735d473..bfc827ec 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-gold [amd64 armel armhf i386 powerpc powerpcspe ppc64 sparc sparc64 x32] (>= 2.23.52.20130522), + 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