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

guix-devel

David Craven <address@hidden> skribis:

> * gnu/packages/haskell.scm (idris): Update to 0.99.

LGTM!

Current Thread

[Next in Thread]

[PATCH 1/7] git-download: Add some helpers., David Craven, 2017/01/02
- [PATCH 3/7] gnu: idris: Update to 0.99., David Craven, 2017/01/02
  - 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, 2017/01/03
- [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically., David Craven, 2017/01/02
  - Re: [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically., Ludovic Courtès, 2017/01/03
- [PATCH 5/7] gnu: Add idris-wl-pprint., David Craven, 2017/01/02
  - Re: [PATCH 5/7] gnu: Add idris-wl-pprint., Ludovic Courtès, 2017/01/03
- [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/02
  - Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03