From e3196755e60ba7f1ed9d432e73f26a85e0c8893c Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Mon, 13 Dec 2021 22:15:07 +0100 Subject: 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.) --- gnu/packages/ocaml.scm | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'gnu/packages/ocaml.scm') 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.") -- cgit v1.2.3