aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2020-07-22 13:47:39 -0400
committerLeo Famulari <leo@famulari.name>2020-07-23 16:43:33 -0400
commit5f63905096e456097fca206f56ce9257f72faf64 (patch)
treed413a6b1328dbc2c98af775a1825d4b836661242 /gnu/packages/coq.scm
parente165a2492d73d37c8b95d6970d453b9d88911ee6 (diff)
downloadguix-5f63905096e456097fca206f56ce9257f72faf64.tar
guix-5f63905096e456097fca206f56ce9257f72faf64.tar.gz
gnu: Fix Krita.
Fixes <https://bugs.gnu.org/42476>. Reported by linka on #guix. * gnu/packages/patches/qtbase-fix-krita-deadlock.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/kde.scm (qtbase-for-krita): New variable. (krita)[inputs]: Replace qtbase with qtbase-for-krita.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions