summary refs log tree commit diff
path: root/gnu/packages/patches/idris-test-ffi008.patch
AgeCommit message (Expand)Author
2022-04-13gnu: idris: Fixes test failure.Eric Bavier