Re: [PATCH 1/2] gnu: idris: Update to 0.99.

David Craven skribis: >> The conventional thing would be to use “lib/idris” (just like we have >> “lib/perl5”, “lib/python2.7”, “lib/guile”, etc.) Could you make this >> change? > > you're right, much better. thank you. > >> If you haven’t done it yet, I encourage you to submit

Re: [PATCH 1/2] gnu: idris: Update to 0.99.

> The conventional thing would be to use “lib/idris” (just like we have > “lib/perl5”, “lib/python2.7”, “lib/guile”, etc.) Could you make this > change? you're right, much better. thank you. > If you haven’t done it yet, I encourage you to submit it upstream: it > looks like there’s no reason

Re: [PATCH 1/2] gnu: idris: Update to 0.99.

Hi! David Craven skribis: > * gnu/packages/haskell.scm (idris): Update to 0.99. [...] > +(native-search-paths > + (list (search-path-specification > +(variable "IDRIS_LIBRARY_PATH") > +(files '("idris/libs") The conventional thing would be

[PATCH 1/2] gnu: idris: Update to 0.99.

* gnu/packages/haskell.scm (idris): Update to 0.99. --- gnu/local.mk | 2 + gnu/packages/haskell.scm | 35 .../patches/idris-IDRIS_LIBRARY_PATH.patch | 46 ++