diff options
| author | Timothy Sample <samplet@ngyro.com> | 2019-11-16 09:41:57 -0500 |
|---|---|---|
| committer | Timothy Sample <samplet@ngyro.com> | 2019-11-20 20:48:50 -0500 |
| commit | 8e41d38afd6b181f4ed387667bf355ceb49f5da5 (patch) | |
| tree | daae6dd1babfa62dc1f92309a93d9bc5e1e1155a | |
| parent | 27109c7175656b8de3d0819e0acc0670863930c6 (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.scm | 2 |
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) |