aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2018-07-29 21:31:55 +0200
committerMarius Bakke <mbakke@fastmail.com>2018-07-29 21:31:55 +0200
commit1743172cdb420aafb2b417ee588e6d1bc66eebab (patch)
tree210dabc200aad8a69cfeb69e4aebbb81a694b823 /gnu/packages/agda.scm
parent4266df5cf847badc1bc929dc09b57f946e57c04e (diff)
downloadpatches-1743172cdb420aafb2b417ee588e6d1bc66eebab.tar
patches-1743172cdb420aafb2b417ee588e6d1bc66eebab.tar.gz
gnu: libreoffice: Fix build with newer GLM.
* gnu/packages/patches/libreoffice-glm.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/libreoffice.scm (libreoffice)[source](patches): Add it.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions