diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-12-05 17:57:35 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-12-05 17:57:35 +0100 |
| commit | 9d5aa009062a49bd035ae33e37f6562526e7d38c (patch) | |
| tree | 4ff2302863a5cf9f3cf604240ea793152156f532 /gnu/packages/cedille.scm | |
| parent | 60bd56c6d8368c23dcd97b26501771c82316fc8c (diff) | |
| parent | 2c2fc24b899d3286774f60405888718d98211213 (diff) | |
| download | patches-9d5aa009062a49bd035ae33e37f6562526e7d38c.tar patches-9d5aa009062a49bd035ae33e37f6562526e7d38c.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/cedille.scm')
| -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) |