Re: [PATCH 3/7] gnu: idris: Update to 0.99.

2017-01-03 Thread Ludovic Courtès
BTW, perhaps we should eventually move these packages to idris.scm. Thoughts? Ludo’.

Re: [PATCH 3/7] gnu: idris: Update to 0.99.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris): Update to 0.99. LGTM!

[PATCH 3/7] gnu: idris: Update to 0.99.

2017-01-02 Thread David Craven
* gnu/packages/haskell.scm (idris): Update to 0.99. --- gnu/packages/haskell.scm | 55 1 file changed, 28 insertions(+), 27 deletions(-) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index b4f225160..c55386e2f 100644 --- a/gnu/pa