diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 17:18:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 17:48:25 +0100 |
| commit | 8394619baceb118df92e355377fd543bb1aa501a (patch) | |
| tree | 504f07c2a9f88596a305b59ef45f941062426a52 /gnu/packages/cedille.scm | |
| parent | aca2defe0172868295941fd9f0e97886f6e9b2d4 (diff) | |
| download | guix-8394619baceb118df92e355377fd543bb1aa501a.tar guix-8394619baceb118df92e355377fd543bb1aa501a.tar.gz | |
gnu: Simplify package inputs.
This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
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 |