amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Further simplify package inputs.

Browse source 
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.)
This commit is contained in:
Ludovic Courtès 2021-12-13 22:15:07 +01:00
parent fc9ca46aa6
commit e3196755e6
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
94 changed files with 1544 additions and 2077 deletions
Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/ocaml.scm
View file

@ -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.")