diff options
| author | David Craven <david@craven.ch> | 2016-11-05 18:58:41 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2016-12-10 21:47:08 +0100 |
| commit | 60bc622b1d7e70bbc208bf1af356d1157196ae57 (patch) | |
| tree | 988d6408abaa14d436505fed8e816d075426695c /gnu/packages/ocaml.scm | |
| parent | 3ea25176f0154b0cc3df4fc869350929760ccb98 (diff) | |
| download | patches-60bc622b1d7e70bbc208bf1af356d1157196ae57.tar patches-60bc622b1d7e70bbc208bf1af356d1157196ae57.tar.gz | |
gnu: idris: Update to 0.12.3.
* 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.
Diffstat (limited to 'gnu/packages/ocaml.scm')
0 files changed, 0 insertions, 0 deletions