On Sat, Dec 03, 2016 at 11:42:09AM +0100, David Craven wrote: > * gnu/packages/haskell.scm (ghc-terminal-size): New variable.
LGTM
- [PATCH 1/9] gnu: Add ghc-hinotify. David Craven
- [PATCH 7/9] gnu: idris: Update to 0.12.3. David Craven
- Re: [PATCH 7/9] gnu: idris: Update to 0.12.3. Leo Famulari
- Re: [PATCH 7/9] gnu: idris: Update to 0.12.3. David Craven
- Re: [PATCH 7/9] gnu: idris: Update to 0.12.3... Leo Famulari
- [PATCH 3/9] gnu: Add ghc-tasty-rerun. David Craven
- Re: [PATCH 3/9] gnu: Add ghc-tasty-rerun. Leo Famulari
- [PATCH 5/9] gnu: Add ghc-terminal-size. David Craven
- Re: [PATCH 5/9] gnu: Add ghc-terminal-size. Leo Famulari
- [PATCH 4/9] gnu: Add ghc-ieee754. David Craven
- Re: [PATCH 4/9] gnu: Add ghc-ieee754. Leo Famulari
- Re: [PATCH 4/9] gnu: Add ghc-ieee754. David Craven
- [PATCH 2/9] gnu: Add ghc-fsnotify. David Craven
- Re: [PATCH 2/9] gnu: Add ghc-fsnotify. Leo Famulari
- [PATCH 6/9] gnu: ghc-trifecta: Update to 1.6. David Craven
- Re: [PATCH 6/9] gnu: ghc-trifecta: Update to 1.6. Leo Famulari
- [PATCH 8/9] gnu: coq: Update to 8.5pl2. David Craven
- Re: [PATCH 8/9] gnu: coq: Update to 8.5pl2. Leo Famulari
- [PATCH 9/9] gnu: Add ocaml-menhir. David Craven
