summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/idris-test-ffi008.patch
AgeCommit message (Expand)Author
2022-04-13gnu: idris: Fixes test failure....* gnu/packages/patches/idris-test-ffi008.patch: New file. * gnu/packages/idris.scm (source): Use it. * gnu/local.mk (dist_patch_DATA): Register it. Eric Bavier