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/local.mk | |
| 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/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 840ef22bdb..da5fe09446 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -960,7 +960,6 @@ dist_patch_DATA = \ %D%/packages/patches/icedtea-6-hotspot-gcc-segfault-workaround.patch \ %D%/packages/patches/icedtea-7-hotspot-gcc-segfault-workaround.patch \ %D%/packages/patches/id3lib-CVE-2007-4460.patch \ - %D%/packages/patches/idris-test-no-node.patch \ %D%/packages/patches/ilmbase-fix-tests.patch \ %D%/packages/patches/ilmbase-openexr-pkg-config.patch \ %D%/packages/patches/intltool-perl-compatibility.patch \ |