diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 22:15:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 22:15:07 +0100 |
| commit | e3196755e60ba7f1ed9d432e73f26a85e0c8893c (patch) | |
| tree | 06bc27447f2f72b20a2be0201b41b964af03fc87 /gnu/packages/ocaml.scm | |
| parent | fc9ca46aa6403c90e2ea5c815d813d2dba162dfb (diff) | |
| download | guix-patches-e3196755e60ba7f1ed9d432e73f26a85e0c8893c.tar guix-patches-e3196755e60ba7f1ed9d432e73f26a85e0c8893c.tar.gz | |
gnu: Further simplify package inputs.
This is the result of running:
./pre-inst-env guix style --input-simplification=safe
and manually undoing changes on a dozen of packages to reduce
rebuilds (derivations for emacs, icecat, and libreoffice are unchanged.)
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index da378febf2..624637dd8a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1328,8 +1328,7 @@ compilers that can directly deal with packages.") "0gxjw1bhmjcjzri6x6psqrkbbyq678b69bqfl9i1zswp7cj2lryg")))) (build-system dune-build-system) (propagated-inputs - `(("lwt" ,ocaml-lwt) - ("ocaml-stdlib-shims" ,ocaml-stdlib-shims))) + (list ocaml-lwt ocaml-stdlib-shims)) (home-page "https://github.com/gildor478/ounit") (synopsis "Unit testing framework for OCaml") (description "OUnit2 is a unit testing framework for OCaml. It is similar @@ -4397,8 +4396,7 @@ Dedukti files.") (file-name (git-file-name name version)))) (build-system emacs-build-system) (inputs - `(("dedukti-mode" ,emacs-dedukti-mode) - ("flycheck-mode" ,emacs-flycheck))) + (list emacs-dedukti-mode emacs-flycheck)) (synopsis "Flycheck integration for the dedukti language") (description "This package provides a frontend for Flycheck to perform syntax checking on dedukti files.") |