David Craven 60bc622b1d 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.

2016-12-10 21:47:08 +01:00

290 KiB

Raw Blame History

View Raw