diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-07-29 15:32:22 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-07-29 20:00:30 +0300 |
| commit | 077d66ed4277d8195272bc64feed650a27cc2995 (patch) | |
| tree | c253fd1e9854b7a82c126d48b5429cfc1f5b374f | |
| parent | 6465497fb9a8980bc010ec8f68b320dc1a73b5cb (diff) | |
gnu: mcrl2: Build with modular qt.
* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 |