From 077d66ed4277d8195272bc64feed650a27cc2995 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Sun, 29 Jul 2018 15:32:22 +0300
Subject: [PATCH] gnu: mcrl2: Build with modular qt.

* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
---
 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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