[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 7/9] gnu: idris: Update to 0.12.3.
From: |
Leo Famulari |
Subject: |
Re: [PATCH 7/9] gnu: idris: Update to 0.12.3. |
Date: |
Sat, 3 Dec 2016 15:03:27 -0500 |
User-agent: |
Mutt/1.7.1 (2016-10-04) |
On Sat, Dec 03, 2016 at 11:42:11AM +0100, David Craven wrote:
> * gnu/packages/haskell.scm (idris): Update to 0.12.3.
> [origin]: Remove snippet.
> [inputs]: Add ghc-aeson, ghc-async, ghc-fsnotify, ghc-regex-tdfa,
> ghc-tasty-golden, ghc-tasty-rerun and ghc-terminal-size.
> [arguments]: Disable tests.
Why do we need to skip the tests?
LGTM with that question answered.
- [PATCH 5/9] gnu: Add ghc-terminal-size., (continued)
- [PATCH 5/9] gnu: Add ghc-terminal-size., David Craven, 2016/12/03
- [PATCH 4/9] gnu: Add ghc-ieee754., David Craven, 2016/12/03
- [PATCH 2/9] gnu: Add ghc-fsnotify., David Craven, 2016/12/03
- [PATCH 6/9] gnu: ghc-trifecta: Update to 1.6., David Craven, 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 <=
- [PATCH 8/9] gnu: coq: Update to 8.5pl2., David Craven, 2016/12/03
- [PATCH 9/9] gnu: Add ocaml-menhir., David Craven, 2016/12/03
- Re: [PATCH 1/9] gnu: Add ghc-hinotify., Leo Famulari, 2016/12/03