[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/15: gnu: mcrl2: Build with modular qt.
From: |
Efraim Flashner |
Subject: |
01/15: gnu: mcrl2: Build with modular qt. |
Date: |
Sun, 29 Jul 2018 13:01:19 -0400 (EDT) |
efraim pushed a commit to branch master
in repository guix.
commit 077d66ed4277d8195272bc64feed650a27cc2995
Author: Efraim Flashner <address@hidden>
Date: Sun Jul 29 15:32:22 2018 +0300
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 e828dbb..f07c83d 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
- branch master updated (6465497 -> 76e206e), Efraim Flashner, 2018/07/29
- 06/15: gnu: libqmatrixclient: Build with modular qt., Efraim Flashner, 2018/07/29
- 03/15: gnu: monero-gui: Use git-file-name., Efraim Flashner, 2018/07/29
- 08/15: gnu: Add python-docker-pycreds., Efraim Flashner, 2018/07/29
- 01/15: gnu: mcrl2: Build with modular qt.,
Efraim Flashner <=
- 02/15: gnu: monero: Use git-file-name., Efraim Flashner, 2018/07/29
- 04/15: gnu: libqmatrixclient: Don't use unstable tarball., Efraim Flashner, 2018/07/29
- 07/15: gnu: quaternion: Build with modular qt., Efraim Flashner, 2018/07/29
- 05/15: gnu: quaternion: Don't use unstable tarball., Efraim Flashner, 2018/07/29
- 15/15: gnu: Add fdroidserver., Efraim Flashner, 2018/07/29
- 09/15: gnu: Add python-pyperclip., Efraim Flashner, 2018/07/29
- 14/15: gnu: python-docker-py: Update to 1.10.6., Efraim Flashner, 2018/07/29
- 11/15: gnu: Add python-androguard., Efraim Flashner, 2018/07/29
- 10/15: gnu: Add python-codecov., Efraim Flashner, 2018/07/29
- 13/15: gnu: Add python-vagrant., Efraim Flashner, 2018/07/29