diff options
| author | Eric Bavier <bavier@posteo.net> | 2022-04-13 09:45:34 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@posteo.net> | 2022-04-13 09:48:04 -0500 |
| commit | b5e32d96202e58bb0e7d640fe54f728d0ca2b4b1 (patch) | |
| tree | bfbf71bbdb1b4d07c12ca016cedc875cde6ca391 /gnu/packages/gps.scm | |
| parent | 8d82d817bc609d128ba9af694503deecd2348c08 (diff) | |
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.
Diffstat (limited to 'gnu/packages/gps.scm')
0 files changed, 0 insertions, 0 deletions