diff options
Diffstat (limited to 'gnu/packages/cedille.scm')
| -rw-r--r-- | gnu/packages/cedille.scm | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm index decaf25605..1f00e8f698 100644 --- a/gnu/packages/cedille.scm +++ b/gnu/packages/cedille.scm @@ -42,11 +42,7 @@ (base32 "1h5s6ayh3s76z184jai3jidcs4cjk8s4nvkkv2am8dg4gfsybq22")))) (inputs - `(("agda" ,agda) - ("agda-ial" ,agda-ial) - ("ghc" ,ghc) - ("ghc-alex" ,ghc-alex) - ("ghc-happy" ,ghc-happy))) + (list agda agda-ial ghc ghc-alex ghc-happy)) (build-system emacs-build-system) (arguments `(#:phases |