From baccb24fde57f4eaccb7d0b3d5a0075a24617049 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Tue, 3 Sep 2013 21:24:12 +0000 Subject: [PATCH] no longer needed --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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