Jason Conroy
cdaefd61ba
gnu: opam: Update package for 2.5.1.
...
Restore tests now that the inherited package is at 2.5.1. The package
definition is backported from the ocaml-team branch with one extra test
exclusion for the new opam release.
* gnu/packages/ocaml.scm (opam): Update package for 2.5.1.
Change-Id: Ib80e2f7c31f56dd7a285454ce0ddfed701d68860
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:57:10 +02:00
Jason Conroy
c2e4b45aad
gnu: ocaml-opam-core: Update to 2.5.1.
...
* gnu/packages/ocaml.scm (ocaml-opam-core): Update to 2.5.1.
Change-Id: Ie0934f39df8e52ec6665ee64b9828826f002095d
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:57:08 +02:00
Jason Conroy
0133d872f6
gnu: opam: Temporarily disable tests.
...
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (opam):
[arguments]: Disable tests. Delete modified phase related to tests.
Change-Id: I114e85eefa5ab78cdba0b264d9954ac831031541
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:57:06 +02:00
Jason Conroy
ddb7a77b7d
gnu: ocaml-opam-client: Add dependency on ocaml-spdx-licenses.
...
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (ocaml-opam-client)[propagated-inputs]: Add ocaml-spdx-licenses.
Change-Id: I72f13f8276acb89eba14b86baf33c265f5405bf6
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:57:04 +02:00
Jason Conroy
31eee60940
gnu: ocaml-opam-solver: Add dependency on ocaml-opam-0install-cudf.
...
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (ocaml-opam-solver)[propagated-inputs]: Add
ocaml-opam-0install-cudf.
Change-Id: I87ad17c8a7fa032e54ebd4a8d096bd0da91003e3
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:57:02 +02:00
Jason Conroy
16f971bbf7
gnu: ocaml-opam-state: Add dependency on ocaml-spdx-licenses.
...
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (ocaml-opam-state)[inputs]: Add ocaml-spdx-licenses.
Change-Id: Iffe4f00abeb394d92385e17ea7c7e0516d1ca0e3
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:59 +02:00
Jason Conroy
c32757baf6
gnu: ocaml: Add ocaml-patch.
...
* gnu/packages/ocaml.scm (ocaml-patch): New variable.
Change-Id: I18f224e1c8cac942a86d05419d02d0fa418ded98
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:57 +02:00
Jason Conroy
986d997ad0
gnu: ocaml: Add ocaml-opam-0install-cudf.
...
* gnu/packages/ocaml.scm (ocaml-opam-0install-cudf): New variable.
Change-Id: If7e08f2fbf55626eb90644a0ed8317a2367de0fd
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:55 +02:00
Jason Conroy
0748122bd2
gnu: ocaml: Add ocaml-0install-solver.
...
* gnu/packages/ocaml.scm (ocaml-0install-solver): New variable.
Change-Id: I52482474746ea518cd108074b0afe22f62952960
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:53 +02:00
Jason Conroy
396bb7e8ef
gnu: ocaml: Add ocaml-spdx-licenses.
...
* gnu/packages/ocaml.scm (ocaml-spdx-licenses): New variable.
Change-Id: I6bed592e3320f1e902478586ff1a84c0b5cf327f
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:51 +02:00
Jason Conroy
f668151823
gnu: ocaml: Add ocaml-swhid-core.
...
* gnu/packages/ocaml.scm (ocaml-swhid-core): New variable.
Change-Id: I017a7370d12c9c7e73e3902a1310778d9b630fe8
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:49 +02:00
Jason Conroy
c0584bed8c
gnu: ocaml-mccs: Update to 1.1+19.
...
* gnu/packages/ocaml.scm (ocaml-mccs): Update to 1.1+19.
Change-Id: I4ae04da62c430c732fb806195bb6116041b6aaa3
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:47 +02:00
Jason Conroy
6cc23705a6
gnu: opam-installer: Update to 2.5.1.
...
* gnu/packages/ocaml.scm (opam-installer): Update to 2.5.1.
Change-Id: Ifd0ba2ab79df67b18d3cdc7a5995acf0a4012e81
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 19:56:31 +02:00
Sören Tempel
acb466c056
gnu: kissat: Update to 4.0.4.
...
* gnu/packages/maths.scm (kissat): Update to 4.0.4.
[arguments]<#:phases>{patch-source}: Don't check if /etc/passwd is writable.
Change-Id: I40d6b22bea16009fa67fa8abcda95ea9824e5baf
2026-04-20 18:51:14 +02:00
fanquake
735e13d60e
gnu: guile-lzlib: Fix hash.
...
Fixes a regression introduced in 650e69784d .
* gnu/packages/guile.scm (guile-lzlib)[source]: Update sha256.
Change-Id: Iccb8acc8d1c92d89c4e3b03dbf500e21be604692
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
Fixes : guix/guix#7573
Merges: #8020
2026-04-20 16:41:49 +02:00
Miro Palmu
98168d5362
gnu: ucx: enable multithreading support
...
* gnu/packages/fabric-management.scm (ucx): Enable multithreading
support.
[#:configure-clags]: Add "--enable-mt".
Fixes: guix/guix/#7456
Change-Id: Ib59efca36e9a168c30638a02f110344e83edd949
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
Merges: #7529
2026-04-20 15:21:15 +02:00
Ludovic Courtès
fa8e00338c
doc: Mention the GCD process.
...
* doc/contributing.texi (Making Decisions): Document GCDs.
Change-Id: I8b247af4e6ec731bc7750e19519c8dba863e5ef5
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
Merges: #7786
2026-04-20 15:03:23 +02:00
Ludovic Courtès
32b007b434
doc: Document ‘package/inherit’.
...
* doc/guix.texi (Defining Package Variants): Document ‘package/inherit’.
Change-Id: I373b54d3a6978d7d2719a234b244397f68004818
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
Merges: #7784
2026-04-20 15:03:13 +02:00
Ludovic Courtès
0e8a578da4
doc: Add missing markup in “Invoking guix refresh”.
...
* doc/guix.texi (Invoking guix refresh): Add missing @option.
Change-Id: I898d2d4d6fac8a05281a43043e1eaba36cd57869
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
2026-04-20 15:03:13 +02:00
Ludovic Courtès
fe376cdf4a
doc: Fix typographical issues in “Invoking guix style”.
...
* doc/guix.texi (Invoking guix style): Fix typographic issues. Use less
horizontal space in example.
Change-Id: Ibc8c89e4f0ae1f8ea03c4d706280b424533b0e48
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
2026-04-20 15:03:12 +02:00
Andreas Enge
d636e801be
gnu: Remove gourmet.
...
* gnu/packages/nutrition.scm (gourmet): Delete variable.
Fixes : guix/guix#7352
Change-Id: Idb4f13e75caf6f19baefe43d0017a5ea57cc3edb
2026-04-20 13:48:46 +02:00
Andreas Enge
c46b44ce68
gnu: Remove python-pytest-tornado5.
...
* gnu/packages/check.scm (python-pytest-tornado5): Delete variable.
Fixes : guix/guix#7347
Change-Id: Ife69b7a42fb1bdcdd6ed9dd4b37847d94bf3cee5
2026-04-20 13:47:58 +02:00
Andreas Enge
bb27bc901c
gnu: Remove lkrg.
...
* gnu/packages/linux.scm (lkrg): Delete variable.
Fixes : guix/guix#7335
Change-Id: Id303e1bc80a5be8b2ec125a2ff07859d9be72f01
2026-04-20 13:47:07 +02:00
Andreas Enge
7619e82b35
gnu: Remove evdi.
...
* gnu/packages/linux.scm (evdi): Delete variable.
Fixes : guix/guix#7339
Change-Id: I878d0677d28504b8f44c63471834e568e8303935
2026-04-20 13:43:31 +02:00
Andreas Enge
8d6b041cb6
gnu: Remove libevdi.
...
* gnu/packages/linux.scm (libevdi): Delete variable.
Change-Id: I8961aa3cddc981eddd908ccc7df66b2906a928e2
2026-04-20 13:43:00 +02:00
Andreas Enge
55e3d0b154
gnu: Remove lttng-modules.
...
* gnu/packages/instrumentation.scm (lttng-modules): Delete variable.
Fixes : guix/guix#7337
Change-Id: I1868722e93ee25072855c9f32da6556b46e42ceb
2026-04-20 13:41:20 +02:00
Andreas Enge
32863e42b6
gnu: Remove vhba-module.
...
* gnu/packages/linux.scm (vhba-module): Delete variable.
Fixes : guix/guix#7336
Change-Id: Ie48554619a8d23cda7b5764ee326727ec1bef2e9
2026-04-20 13:39:17 +02:00
Andreas Enge
c6cf60450d
gnu: Remove vendor-reset-linux-module.
...
* gnu/packages/linux.scm (vendor-reset-linux-module): Delete variable.
Fixes : guix/guix#7334
Change-Id: Ib6c0d821dfb7b3d08d106ac34b37d6fafe57377a
2026-04-20 13:38:26 +02:00
Andreas Enge
451247642d
gnu: Remove librem-ec-acpi-linux-module.
...
* gnu/packages/linux.scm (librem-ec-acpi-linux-module): Delete variable.
Fixes : guix/guix#7331
Change-Id: I68f04f69fb25e8e762aff96430b2d62c3fdca86c
2026-04-20 13:37:08 +02:00
Andreas Enge
be5131cf13
gnu: Remove rdesktop.
...
* gnu/packages/rdesktop.scm (rdesktop): Delete variable.
Fixes : guix/guix#7302
Change-Id: Ie6dbb506f66b2ce81dc93e73902b99f437accaaa
2026-04-20 13:36:21 +02:00
Andreas Enge
7b4d4f16ed
gnu: Remove wxwidgets-gtk2.
...
* gnu/packages/wxwidgets.scm (wxwidgets-gtk2): Delete variable.
Fixes : guix/guix#7247
Change-Id: I4f3bb13d4cca2f2d22879ce47123fa649cfb3065
2026-04-20 13:33:48 +02:00
Andreas Enge
73d69677a3
gnu: Remove font-cozette.
...
* gnu/packages/fonts.scm (font-cozette): Delete variable.
Fixes : guix/guix#7241
Change-Id: I56eb14d2aad5ea070c42d1983ee9a37ee40556db
2026-04-20 13:31:44 +02:00
Andreas Enge
44a1f76f05
gnu: Remove hwloc-2.
...
* gnu/packages/mpi.scm (hwloc-2): Delete variable.
Fixes : guix/guix#7216
Change-Id: If7dfd6002ef2c02677691adc791f75ea3b2cb5ce
2026-04-20 13:27:28 +02:00
Andreas Enge
ce0a26bf44
gnu: Remove hwloc-1.
...
* gnu/packages/mpi.scm (hwloc-1): Delete variable.
* gnu/packages/patches/hwloc-1-test-btrfs.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister file.
Change-Id: I1ff036fb7c81702a46a9f97b6d5d3199d380242c
2026-04-20 13:27:27 +02:00
Andreas Enge
d57ecc3023
gnu: slurm-minimal: Rewrite input.
...
* gnu/packages/parallel.scm (slurm-minimal)[inputs]: Replace hwloc-2 by
the identical hwloc.
Change-Id: I9ae384f88c3840b4d1c6978129ca48a4459de166
2026-04-20 13:27:26 +02:00
Andreas Enge
132d2a4e7c
gnu: mpich: Rewrite input.
...
* gnu/packages/mpi.scm (mpich)[inputs]: Replace hwloc-2 by the identical
hwloc.
Change-Id: I1ba8a2fbdc64c8a4343903f936e6a018322ac2a8
2026-04-20 13:27:25 +02:00
Andreas Enge
f3efb57c4c
gnu: openmpi-4: Rewrite input.
...
* gnu/packages/mpi.scm (openmpi-4)[inputs]: Replace hwloc-2 by the
identical hwloc.
Change-Id: I16f4dde4f66f5ee05f6c490f19aa590407cffb1a
2026-04-20 13:27:24 +02:00
Andreas Enge
d68e92fcf7
gnu: gromacs: Rewrite input.
...
* gnu/packages/chemistry.scm (gromacs)[inputs]: Replace hwloc-2 by the
identical hwloc.
Change-Id: I5a7f33e12cefff884329a867e05ecef60ce9e1d9
2026-04-20 13:27:23 +02:00
Andreas Enge
72d81789e9
gnu: Remove fsom.
...
* gnu/packages/bioinformatics.scm (fsom): Delete variable.
Change-Id: I2881a1addec0c9c100141bd181a1f7a84a964c94
2026-04-20 13:18:43 +02:00
Denis 'GNUtoo' Carikli
65b767cb36
teams: Add GNUtoo to the embedded team.
...
I was asked to join the team that manages the gnu/packages/coreboot.scm
file.
* etc/teams.scm ("GNUtoo"): Create and add to the embedded team.
Link: https://codeberg.org/guix/guix/pulls/7065
Change-Id: I3e3963cf3806e4a7d741b75b052de4caa3b8ea98
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org >
Signed-off-by: Efraim Flashner <efraim@flashner.co.il >
2026-04-20 13:33:22 +03:00
Denis 'GNUtoo' Carikli
a02a6d2b83
teams: embedded: adopt gnu/packages/coreboot.scm.
...
Before the commit 7cf91385c5 ("gnu: Move bincfg,
ifdtool and intelmetool to coreboot.scm."), the packages moved to coreboot.scm
were managed by the electronics team. After that, these packages became orphan
because coreoot.scm had wasn't managed by any team.
For now, the best fit is the "embedded" team because embedded also manages
bootloader.scm which also provide boot firmware images (u-boot).
* CODEOWNERS: Regenrate file.
* etc/teams.scm (embedded)<#:scope>: Add gnu/packages/coreboot.scm.
Link: https://codeberg.org/guix/guix/pulls/7065
Change-Id: I6626ad74bf5b20bee24c018292354c4db127f7a3
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org >
Signed-off-by: Efraim Flashner <efraim@flashner.co.il >
2026-04-20 13:33:18 +03:00
Dan Rostovtsev
14a65594a1
gnu: Add rocqide.
...
* gnu/packages/rocq.scm (rocqide): New variable.
Change-Id: I5db4925c6a193c562a14be49d4edc17ed252f22a
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 11:35:11 +02:00
Dan Rostovtsev
527de054fa
gnu: Add rocqide-server.
...
* gnu/packages/rocq.scm (rocqide): New variable.
Change-Id: I446de988b7f456918b8913b002e2fb070ff22883
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 11:35:06 +02:00
Dan Rostovtsev
78cb02925f
gnu: Add rocq-core.
...
* gnu/packages/rocq.scm (rocq-core): New variable.
Change-Id: I4db97a371d6d6c12ab285c4f5484caa4bd471485
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 11:35:04 +02:00
Dan Rostovtsev
3e6e8582a1
gnu: Add rocq-runtime.
...
* gnu/packages/rocq.scm (rocq-runtime): New variable.
Change-Id: Ib9199253987f444bd597b03d12cd8b34bd3bbce8
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 11:35:02 +02:00
Dan Rostovtsev
c94e2af5aa
gnu: Add rocq module.
...
* gnu/packages/rocq.scm: New file.
* etc/teams.scm (ocaml): Add it.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* CODEOWNERS: Regenerate file.
Change-Id: Ia6ed17bf36632463b7df1e6bd6a6ae14ee1b7e3f
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 11:34:55 +02:00
Efraim Flashner
f5c418be09
gnu: fish: Run more tests.
...
* gnu/packages/shells.scm (fish)[native-inputs]: Add python-pexpect.
Change-Id: I1b712178f7e9263bb7682bd8fc1572949639c0a4
2026-04-20 11:41:25 +03:00
Andrew Stubbs
a4ecd92dae
gnu: fish: Update to 4.6.0.
...
* gnu/packages/shells.scm (fish): Update to 4.6.0.
[arguments]: Remove some unneeded substitutions.
* gnu/packages/rust-crates.scm (lookup-cargo-inputs): Update entry for
fish.
Change-Id: I13e4aec5e16ca0e0ecacddbee4c471151e7b09ca
Signed-off-by: Efraim Flashner <efraim@flashner.co.il >
2026-04-20 11:40:13 +03:00
Nicolas Graves
b8946c8d7b
gnu: java-snappy: Improve style.
...
* gnu/packages/java-compression.scm
(java-snappy)[arguments]: Drop trailing #t, fit into 79 characters.
[native-inputs, inputs, propagated-inputs]: Drop input labels.
(java-snappy-1)[arguments]: Likewise.
Change-Id: I241a675425cf2d28b52568e52a923e48a347453d
Signed-off-by: Julien Lepiller <julien@lepiller.eu >
2026-04-20 10:20:47 +02:00
Efraim Flashner
f17572eb4b
gnu: alacritty: Speedup patching library references phase.
...
* gnu/packages/terminals.scm (alacritty)[arguments]: Rewrite the
'add-absolute-library-references phase to run faster.
Change-Id: I6eb41a1739b0199dc883a5ce0f6772ee0691f9a6
2026-04-20 10:03:48 +03:00