David Craven <da...@craven.ch> skribis: > * gnu/packages/haskell.scm (idris-wl-pprint): New variable.
OK!
- [PATCH 1/7] git-download: Add some helpers. David Craven
- [PATCH 6/7] gnu: Add idris-bifunctors. David Craven
- Re: [PATCH 6/7] gnu: Add idris-bifunctors. Ludovic Courtès
- [PATCH 3/7] gnu: idris: Update to 0.99. David Craven
- Re: [PATCH 3/7] gnu: idris: Update to 0.99. Ludovic Courtès
- Re: [PATCH 3/7] gnu: idris: Update to 0.99. Ludovic Courtès
- [PATCH 5/7] gnu: Add idris-wl-pprint. David Craven
- Re: [PATCH 5/7] gnu: Add idris-wl-pprint. Ludovic Courtès
- [PATCH 2/7] gnu: Order module imports in (gnu packag... David Craven
- Re: [PATCH 2/7] gnu: Order module imports in (gn... Ludovic Courtès
- [PATCH 4/7] gnu: Add idris-lightyear. David Craven
- Re: [PATCH 4/7] gnu: Add idris-lightyear. Ludovic Courtès
- Re: [PATCH 4/7] gnu: Add idris-lightyear. David Craven
- Re: [PATCH 4/7] gnu: Add idris-lightyear... Ludovic Courtès
- Re: [PATCH 4/7] gnu: Add idris-lightyear... David Craven
- Re: [PATCH 4/7] gnu: Add idris-ligh... David Craven
- Re: [PATCH 4/7] gnu: Add idris-... Ludovic Courtès
- [PATCH 7/7] gnu: Add idris-lens. David Craven
