Bug#875040: [mcrl2] Future Qt4 removal from Buster

Control: tags -1 fixed-upstream Hello, There is a new upstream version, and it is ported to Qt5. https://svn.win.tue.nl/trac/MCRL2/browser/trunk/CHANGES Changes between toolset releases 201409.0 and 201707.0: ... - The graphical tools now use Qt5.5 or higher instead of Qt4. ... Regards, Juha

Bug#875040: [mcrl2] Future Qt4 removal from Buster

Source: mcrl2 Version: 201409.0-1 Severity: wishlist User: debian-qt-...@lists.debian.org Usertags: qt4-removal Hi! As you might know we the Qt/KDE team are preparing to remove Qt4 as [announced] in: [announced] Currently Q