summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorRobert Vollmert <rob@vllmrt.net>2019-08-05 11:03:35 -0400
committerTimothy Sample <samplet@ngyro.com>2019-08-07 22:05:23 -0400
commita62ddb748fd453597152e2409f6101c162900bb5 (patch)
treef8dfe0c125b21913119b0534d38b8f1a429186c6 /gnu/packages/idris.scm
parentba7ff983d613f735ee270f0b0e3c5dba5cbeda3c (diff)
gnu: ghc-8: Rename to 'ghc-8.4'.
* gnu/packages/haskell.scm (ghc-8): Rename to... (ghc-8.4): ...this. (ghc-8): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions