guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

302/329: gnu: cedille: Use most recent GHC.


From: guix-commits
Subject: 302/329: gnu: cedille: Use most recent GHC.
Date: Wed, 20 Nov 2019 21:18:51 -0500 (EST)

samplet pushed a commit to branch master
in repository guix.

commit 8e41d38afd6b181f4ed387667bf355ceb49f5da5
Author: Timothy Sample <address@hidden>
Date:   Sat Nov 16 09:41:57 2019 -0500

    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(-)

diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm
index caa3d86..80ed7e9 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)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]