gnu: cedille: Use most recent GHC.

* gnu/packages/cedille.scm (cedille)[inputs]: Replace 'ghc-8.4' with
'ghc'.
This commit is contained in:
Timothy Sample 2019-11-16 09:41:57 -05:00
parent 27109c7175
commit 8e41d38afd
No known key found for this signature in database
GPG key ID: 2AC6A5EC1C357C59

View file

@ -44,7 +44,7 @@ (define-public cedille
(inputs (inputs
`(("agda" ,agda) `(("agda" ,agda)
("agda-ial" ,agda-ial) ("agda-ial" ,agda-ial)
("ghc" ,ghc-8.4) ("ghc" ,ghc)
("ghc-alex" ,ghc-alex) ("ghc-alex" ,ghc-alex)
("ghc-happy" ,ghc-happy))) ("ghc-happy" ,ghc-happy)))
(build-system emacs-build-system) (build-system emacs-build-system)