Source: mcrl2 Version: 201409.0-1 Severity: important Tags: patch Hi,
mcrl2 has few library packages directly specific as build dependencies. This can be problematic e.g. in the (rare) case they bump SONAME, but in general specifying directly a library as build dependency is useless (its -dev will install the latest version of it). Attached a patch that removes qt4-qmake, libqtcore4, libqtgui4, libqt4-xml, and libqt4-opengl, as all of them are installed by libqt4-dev and libqt4-opengl-dev already. Thanks, -- Pino
--- a/debian/control +++ b/debian/control @@ -8,11 +8,6 @@ Build-Depends: debhelper (>= 5), libboost-system-dev (>= 1.55), libglu1-mesa-dev (>= 7.0.1), libgl2ps-dev, - qt4-qmake, - libqtcore4, - libqtgui4, - libqt4-xml, - libqt4-opengl, libqt4-dev, libqt4-opengl-dev Standards-Version: 3.9.5
