diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index e828dbb2d3..f07c83dc0d 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -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