Age | Commit message (Expand) | Author |
---|---|---|
2022-04-13 | 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. | Eric Bavier |
index : guix.git | ||
[no description] | Gitolite user |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2022-04-13 | 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. | Eric Bavier |