Hi Pino, Thanks for the patch. This will be fixed somewhere in the next month.
Cheers, Sjoerd > On 1 Nov 2014, at 12:54, Pino Toscano <p...@debian.org> wrote: > > 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 > <reduce-builddeps.diff> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
