diff options
| author | Eric Bavier <bavier@member.fsf.org> | 2021-01-18 23:27:25 -0600 |
|---|---|---|
| committer | Eric Bavier <bavier@member.fsf.org> | 2021-01-20 09:58:31 -0600 |
| commit | c67ff5636f2e62e4fd75ac584865c56d973e27fe (patch) | |
| tree | bb718be5b06e9ecfbd46750285d7ebe43973ed9e /gnu/packages/patches/libgnome-encoding.patch | |
| parent | 2a9784ffa247bb2580346b7ce1d3f23c302459a3 (diff) | |
gnu: idris: Update to 1.3.3.
* gnu/packages/patches/idris-disable-test.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris): Update to 1.3.3.
[source]: Use the patch.
[native-inputs]: Add ghc-cheapskate.
[arguments]: Adjust cheapskate version bounds. Make auxiliary test script
executable.
Diffstat (limited to 'gnu/packages/patches/libgnome-encoding.patch')
0 files changed, 0 insertions, 0 deletions