Re: [PATCH 5/9] gnu: Add ghc-terminal-size.

guix-devel

From:	Leo Famulari
Subject:	Re: [PATCH 5/9] gnu: Add ghc-terminal-size.
Date:	Sat, 3 Dec 2016 15:01:59 -0500
User-agent:	Mutt/1.7.1 (2016-10-04)

On Sat, Dec 03, 2016 at 11:42:09AM +0100, David Craven wrote:
> * gnu/packages/haskell.scm (ghc-terminal-size): New variable.

LGTM

Current Thread

[Next in Thread]

[PATCH 1/9] gnu: Add ghc-hinotify., David Craven, 2016/12/03
- [PATCH 3/9] gnu: Add ghc-tasty-rerun., David Craven, 2016/12/03
  - Re: [PATCH 3/9] gnu: Add ghc-tasty-rerun., Leo Famulari, 2016/12/03
- [PATCH 5/9] gnu: Add ghc-terminal-size., David Craven, 2016/12/03
  - Re: [PATCH 5/9] gnu: Add ghc-terminal-size., Leo Famulari <=
- [PATCH 4/9] gnu: Add ghc-ieee754., David Craven, 2016/12/03
  - Re: [PATCH 4/9] gnu: Add ghc-ieee754., Leo Famulari, 2016/12/03
    - Re: [PATCH 4/9] gnu: Add ghc-ieee754., David Craven, 2016/12/10
- [PATCH 2/9] gnu: Add ghc-fsnotify., David Craven, 2016/12/03
  - Re: [PATCH 2/9] gnu: Add ghc-fsnotify., Leo Famulari, 2016/12/03
- [PATCH 6/9] gnu: ghc-trifecta: Update to 1.6., David Craven, 2016/12/03
  - Re: [PATCH 6/9] gnu: ghc-trifecta: Update to 1.6., Leo Famulari, 2016/12/03
- [PATCH 7/9] gnu: idris: Update to 0.12.3., David Craven, 2016/12/03
  - Re: [PATCH 7/9] gnu: idris: Update to 0.12.3., Leo Famulari, 2016/12/03
    - Re: [PATCH 7/9] gnu: idris: Update to 0.12.3., David Craven, 2016/12/03