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

guix-devel

BTW, perhaps we should eventually move these packages to idris.scm.
Thoughts?

Ludo’.

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, 2017/01/03
  - Re: [PATCH 3/7] gnu: idris: Update to 0.99., Ludovic Courtès <=
- [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
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03