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
..
build	gnu: cross-base: Move phases to (gnu build cross-toolchain).	2016-12-07 21:52:26 +01:00
packages	gnu: idris: Update to 0.12.3.	2016-12-10 21:47:08 +01:00
services	services: file-system: Make sure fsck.* commands are in $PATH.	2016-12-05 20:54:59 +01:00
system
tests
artwork.scm
local.mk	gnu: Remove unused patch.	2016-12-10 21:59:56 +02:00
packages.scm
services.scm
system.scm
tests.scm