gnu: mcrl2: Build with modular qt.
* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
This commit is contained in:
parent
6465497fb9
commit
077d66ed42
|
@ -3968,7 +3968,7 @@ reduction.")
|
|||
`(("boost" ,boost)
|
||||
("glu" ,glu)
|
||||
("mesa" ,mesa)
|
||||
("qt" ,qt)))
|
||||
("qtbase" ,qtbase)))
|
||||
(build-system cmake-build-system)
|
||||
(synopsis "Toolset for the mCRL2 formal specification language")
|
||||
(description
|
||||
|
|
Loading…
Reference in New Issue