summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTimothy Sample <samplet@ngyro.com>2018-09-01 14:10:20 -0400
committerRicardo Wurmus <rekado@elephly.net>2018-10-01 12:12:04 +0200
commitdde15fea25b86c75512f204de91bb0c82a152967 (patch)
treee44371c534759c5f52c96f88e7ab22443ec672e8 /gnu/packages/agda.scm
parentf9051e387056fb1c29d8e67b76754168b304449d (diff)
downloadgnu-guix-dde15fea25b86c75512f204de91bb0c82a152967.tar
gnu-guix-dde15fea25b86c75512f204de91bb0c82a152967.tar.gz
gnu: ghc: Use GHC 8.4.3 as the default GHC.
* gnu/packages/haskell.scm (ghc): Switch to ghc-8.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions