From 8e41d38afd6b181f4ed387667bf355ceb49f5da5 Mon Sep 17 00:00:00 2001 From: Timothy Sample Date: Sat, 16 Nov 2019 09:41:57 -0500 Subject: gnu: cedille: Use most recent GHC. * gnu/packages/cedille.scm (cedille)[inputs]: Replace 'ghc-8.4' with 'ghc'. --- gnu/packages/cedille.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages') 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) -- cgit 1.4.1