diff options
| author | Eric Bavier <bavier@member.fsf.org> | 2019-09-16 22:20:23 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@member.fsf.org> | 2019-09-24 21:15:24 -0500 |
| commit | 4780db2c935110ea3254817ba0c519c229b9461e (patch) | |
| tree | f070e8f3e3d12989feb7a0c4495449ac17f1c4f9 /gnu/build | |
| parent | c463c270dc0e1690d3c7cc19cd78583ce9bf9bd1 (diff) | |
| download | patches-4780db2c935110ea3254817ba0c519c229b9461e.tar patches-4780db2c935110ea3254817ba0c519c229b9461e.tar.gz | |
gnu: idris: Update to 1.3.2.
* gnu/packages/haskell-xyz.scm (ghc-network-2.8, ghc-megaparsec-7): New
variables.
* gnu/packages/idris.scm (idris): Update to 1.3.2.
[source]: Remove patch.
[inputs]: Use ghc-network-2.8 and ghc-megaparsec-7.
* gnu/packages/patches/idris-test-no-node.patch: Delete.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions