summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimothy Sample <samplet@ngyro.com>2019-11-16 09:41:57 -0500
committerTimothy Sample <samplet@ngyro.com>2019-11-20 20:48:50 -0500
commit8e41d38afd6b181f4ed387667bf355ceb49f5da5 (patch)
treedaae6dd1babfa62dc1f92309a93d9bc5e1e1155a
parent27109c7175656b8de3d0819e0acc0670863930c6 (diff)
gnu: cedille: Use most recent GHC.
* gnu/packages/cedille.scm (cedille)[inputs]: Replace 'ghc-8.4' with 'ghc'.
-rw-r--r--gnu/packages/cedille.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm
index caa3d864f8..80ed7e9759 100644
--- a/gnu/packages/cedille.scm
+++ b/gnu/packages/cedille.scm
@@ -44,7 +44,7 @@
(inputs
`(("agda" ,agda)
("agda-ial" ,agda-ial)
- ("ghc" ,ghc-8.4)
+ ("ghc" ,ghc)
("ghc-alex" ,ghc-alex)
("ghc-happy" ,ghc-happy)))
(build-system emacs-build-system)