1 commit

Author	SHA1	Message	Date
Eric Bavier	b5e32d9620	gnu: 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.	2022-04-13 09:48:04 -05:00