summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-01-07 15:49:01 +0100
committerMarius Bakke <mbakke@fastmail.com>2020-01-07 18:18:12 +0100
commitd2e1b2dac70807640cd8851c67dbf0cbb342bf5c (patch)
tree6bec8228e6b89f38baaba7be9be0f76c055a60d8 /gnu/packages/coq.scm
parent1ecadbfe601de5d853bfe5be17154a8bc1df6cf8 (diff)
downloadpatches-d2e1b2dac70807640cd8851c67dbf0cbb342bf5c.tar
patches-d2e1b2dac70807640cd8851c67dbf0cbb342bf5c.tar.gz
gnu: appstream-glib: Fix test failure.
* gnu/packages/patches/appstream-glib-2020.patch: New file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/glib.scm (appstream-glib)[source](patches): New field.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions