diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-07-30 18:08:28 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-07-30 18:08:28 +0200 |
| commit | 869250809bddcf8eab26ecdedabad6fc060751dd (patch) | |
| tree | 2108049faa07fd2b79d679799fa51ce8a2e5612a /gnu/packages/maths.scm | |
| parent | f419abea22fe5dd3aa96c19990316e502157350b (diff) | |
| parent | f475b90c353deff5b848753bf88c855f481f1ec0 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/maths.scm')
| -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 68b07cad38..50de120e07 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3951,7 +3951,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 |