guix/gnu/packages/ocaml.scm, branch master

gnu: opam: Update to 2.5.2.

2026-07-11T07:29:25+00:00

Change-Id: Ie1d62dcf9ce7ade3044572006eebb540f3f6fa45
Signed-off-by: Julien Lepiller

gnu: emacs-tuareg: Update to 3.1.0.

2026-07-08T14:33:36+00:00

* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.1.0.

gnu: llvm: Switch default llvm to 22.

2026-07-02T16:04:01+00:00

* gnu/packages/llvm.scm (libomp, llvm, clang-runtime, clang, clang-toolchain):
Switch to llvm-22 version.
(ocaml-llvm): Use llvm-13.
(wllvm)[native-inputs]: Remove clang; add clang-13.
(emacs-clang-format)[arguments]: Use #:lisp-directory, Adjust configure
phase. Add #:test-command.
* gnu/packages/bioinformatics.scm (alignoth)[native-inputs]: Remove clang; add
clang-13.
(lammps)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/bootloaders.scm (make-grub)[inputs]: Remove clang; add
clang-13.
* gnu/packages/c.scm (libdispatch)[native-inputs]: Remove clang and llvm; add
clang-13 and llvm-13.
* gnu/packages/check.scm (pedansee)[native-inputs]: Remove clang; add
clang-13.
(python-lit)[native-inputs]: Remove llvm; add llvm-13.
* gnu/packages/codex.scm (codex, codex-acp)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/compression.scm (cmix)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/cpp.scm (ccls)[native-inputs]: Remove clang and llvm; add
clang-13 and llvm-13.
* gnu/packages/darwin.scm (cctools)[inputs]: Remove clang-toolchain; add
clang-toolchain-13.
[native-inputs]: Remove clang-toolchain; add clang-toolchain-13.
* gnu/packages/debug.scm (c-vise)[inputs]: Remove clang and llvm; add clang-13
and llvm-13.
(fandango)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/diffoscope.scm (diffoscope)[native-inputs]: Remove llvm; add
llvm-13.
* gnu/packages/electronics.scm (nvc)[inputs]: Remove llvm; add llvm-13.
(openroad)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/emacs-xyz.scm (emacs-irony-mode-server)[inputs]: Remove clang;
add clang-13.
* gnu/packages/file-systems.scm (bcachefs-tools-minimal)[native-inputs]:
Remove clang; add clang-13.
* gnu/packages/freedesktop.scm (waypipe)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/fusion.scm (fusion)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/games.scm (hedgewars)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/gnome.scm (gnome-builder)[inputs]: Remove clang and llvm; add
clang-13 and llvm-13.
* gnu/packages/gnustep.scm (libobjc2)[inputs]: Remove clang; add clang-13.
* gnu/packages/gnuzilla.scm (mozjs)[native-inputs]: Remove llvm; add llvm-13.
* gnu/packages/graphics.scm (openshadinglanguage)[native-inputs]: Remove clang
and llvm; add clang-13 and llvm-13.
(skia)[native-inputs]: Remove clang-toolchain; add clang-toolchain-13.
(tinygltf)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/kde-sdk.scm (kdevelop)[inputs]: Remove clang; add clang-13.
* gnu/packages/language.scm (liblouis)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/lean.scm (lean4)[inputs]: Remove llvm; add llvm-13.
* gnu/packages/lisp.scm (carp, picolisp)[inputs]: Remove clang; add clang-13.
* gnu/packages/machine-learning.scm (ctranslate2)[native-inputs]: Remove
libomp; add libomp-13.
* gnu/packages/mail.scm (stalwart)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/maths.scm (python-mathics-core)[inputs]: Remove llvm; add
llvm-13.
* gnu/packages/ocaml.scm (bap)[inputs]: Remove llvm; add llvm-13.
[native-inputs]: Remove clang; add clang-13.
[arguments]: Use this-package-input to get llvm version.
* gnu/packages/photo.scm (darktable)[inputs]: Remove libomp; add libomp-13.
[native-inputs]: Remove llvm; add llvm-13.
(ansel)[native-inputs]: Remove llvm; add llvm-13.
(photoflare)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/physics.scm (cytnx)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/qt.scm (clazy)[inputs]: Remove clang and llvm; add clang-13 and
llvm-13.
* gnu/packages/rust-apps.scm (c2rust, helvum, ouch, pwmenu)
(soundcloud-tui)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/rust-sources.scm (rust-ring-0.17)[native-inputs]: Remove clang;
add clang-13.
* gnu/packages/sequoia.scm (sequoia-chameleon-gnupg)
(sequoia-sq, sequoia-sqv, sequoia-wot-tools)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/text-editors.scm (parinfer-rust, parinfer-rust-emacs)[inputs]:
Remove clang; add clang-13.
* gnu/packages/virtualization.scm (xen-guest-agent)[native-inputs]: Remove
clang; add clang-13.
* gnu/packages/wm.scm (niri)[inputs]: Remove clang; add clang-13.
* gnu/packages/xorg.scm (xf86-video-vmware)[inputs]: Remove llvm; add llvm-13.
(xwayland-satellite)[inputs]: Remove clang; add clang-13.

Change-Id: Ifb8f13908a9e7112466b2e966200670ddcc2f162

gnu: Remove pending references to deprecated (gnu packages flex).

2026-05-29T07:41:06+00:00

* gnu/packages/c.scm:  Remove references to (gnu packages flex).
* gnu/packages/video.scm: Likewise.
* gnu/packages/web.scm: Likewise.
* gnu/packages/admin.scm: Change (gnu packages flex)
  to (gnu packages compiler-tools).
* gnu/packages/algebra.scm: Likewise.
* gnu/packages/apparmor.scm: Likewise.
* gnu/packages/assembly.scm: Likewise.
* gnu/packages/astronomy.scm: Likewise.
* gnu/packages/audio.scm: Likewise.
* gnu/packages/bioinformatics.scm: Likewise.
* gnu/packages/bison.scm: Likewise.
* gnu/packages/bootloaders.scm: Likewise.
* gnu/packages/cdrom.scm: Likewise.
* gnu/packages/chemistry.scm: Likewise.
* gnu/packages/cluster.scm: Likewise.
* gnu/packages/cobol.scm: Likewise.
* gnu/packages/code.scm: Likewise.
* gnu/packages/commencement.scm: Likewise.
* gnu/packages/coq.scm: Likewise.
* gnu/packages/coreboot.scm: Likewise.
* gnu/packages/databases.scm: Likewise.
* gnu/packages/datalog.scm: Likewise.
* gnu/packages/debug.scm: Likewise.
* gnu/packages/dictionaries.scm: Likewise.
* gnu/packages/dns.scm: Likewise.
* gnu/packages/documentation.scm: Likewise.
* gnu/packages/dotnet.scm: Likewise.
* gnu/packages/education.scm: Likewise.
* gnu/packages/electronics.scm: Likewise.
* gnu/packages/embedded.scm: Likewise.
* gnu/packages/emulators.scm: Likewise.
* gnu/packages/engineering.scm: Likewise.
* gnu/packages/esolangs.scm: Likewise.
* gnu/packages/fabric-management.scm: Likewise.
* gnu/packages/file-systems.scm: Likewise.
* gnu/packages/finance.scm: Likewise.
* gnu/packages/firmware.scm: Likewise.
* gnu/packages/flashing-tools.scm: Likewise.
* gnu/packages/fontutils.scm: Likewise.
* gnu/packages/games.scm: Likewise.
* gnu/packages/gcc.scm: Likewise.
* gnu/packages/gdb.scm: Likewise.
* gnu/packages/geo.scm: Likewise.
* gnu/packages/gl.scm: Likewise.
* gnu/packages/glib.scm: Likewise.
* gnu/packages/gnome.scm: Likewise.
* gnu/packages/graph.scm: Likewise.
* gnu/packages/graphics.scm: Likewise.
* gnu/packages/groff.scm: Likewise.
* gnu/packages/gstreamer.scm: Likewise.
* gnu/packages/guile.scm: Likewise.
* gnu/packages/hardware.scm: Likewise.
* gnu/packages/haskell.scm: Likewise.
* gnu/packages/heads.scm: Likewise.
* gnu/packages/hurd.scm: Likewise.
* gnu/packages/image-processing.scm: Likewise.
* gnu/packages/instrumentation.scm: Likewise.
* gnu/packages/kde-frameworks.scm: Likewise.
* gnu/packages/kde-graphics.scm: Likewise.
* gnu/packages/kde-pim.scm: Likewise.
* gnu/packages/kde-sdk.scm: Likewise.
* gnu/packages/kerberos.scm: Likewise.
* gnu/packages/lego.scm: Likewise.
* gnu/packages/lesstif.scm: Likewise.
* gnu/packages/libreoffice.scm: Likewise.
* gnu/packages/lighting.scm: Likewise.
* gnu/packages/linux.scm: Likewise.
* gnu/packages/logging.scm: Likewise.
* gnu/packages/mail.scm: Likewise.
* gnu/packages/man.scm: Likewise.
* gnu/packages/maths.scm: Likewise.
* gnu/packages/mpi.scm: Likewise.
* gnu/packages/multiprecision.scm: Likewise.
* gnu/packages/music.scm: Likewise.
* gnu/packages/netpbm.scm: Likewise.
* gnu/packages/networking.scm: Likewise.
* gnu/packages/nickle.scm: Likewise.
* gnu/packages/ocaml.scm: Likewise.
* gnu/packages/package-management.scm: Likewise.
* gnu/packages/parallel.scm: Likewise.
* gnu/packages/plotutils.scm: Likewise.
* gnu/packages/pretty-print.scm: Likewise.
* gnu/packages/profiling.scm: Likewise.
* gnu/packages/qt.scm: Likewise.
* gnu/packages/radio.scm: Likewise.
* gnu/packages/rdesktop.scm: Likewise.
* gnu/packages/rpc.scm: Likewise.
* gnu/packages/rust.scm: Likewise.
* gnu/packages/security-token.scm: Likewise.
* gnu/packages/selinux.scm: Likewise.
* gnu/packages/shellutils.scm: Likewise.
* gnu/packages/simulation.scm: Likewise.
* gnu/packages/statistics.scm: Likewise.
* gnu/packages/telephony.scm: Likewise.
* gnu/packages/toys.scm: Likewise.
* gnu/packages/version-control.scm: Likewise.
* gnu/packages/virtualization.scm: Likewise.
* gnu/packages/vpn.scm: Likewise.
* gnu/packages/vulkan.scm: Likewise.
* gnu/packages/webkit.scm: Likewise.
* gnu/packages/wine.scm: Likewise.
* gnu/packages/wm.scm: Likewise.
* gnu/packages/xdisorg.scm: Likewise.
* gnu/packages/xorg.scm: Likewise.

Merges: https://codeberg.org/guix/guix/pulls/8483
Signed-off-by: Nguyễn Gia Phong

gnu: ocaml-4.07: Document unsupported status.

2026-05-17T14:48:04+00:00

* gnu/packages/ocaml.scm (ocaml-4.07): Add comment explaining why older
compiler versions are unsupported.

Change-Id: Ifadd52a9383a8a9d416f46e6e8e96e98c05384e9
Signed-off-by: Julien Lepiller

gnu: ocaml-4.09: Document unsupported status.

2026-05-17T14:48:02+00:00

* gnu/packages/ocaml.scm (ocaml-4.09): Add comment explaining why older
compiler versions are unsupported.

Change-Id: Iefa78b571bdf863f0e15b35a9ac139c2a6c9c957
Signed-off-by: Julien Lepiller

gnu: ocaml-5.3: Document unsupported status.

2026-05-17T14:47:56+00:00

* gnu/packages/ocaml.scm (ocaml-5.3): Add comment explaining why older
compiler versions are unsupported.

Change-Id: Id46458121c74c00e8ef119d655ec3075c522aaf7
Signed-off-by: Julien Lepiller

gnu: ocaml-5.0: Document unsupported status.

2026-05-17T14:47:37+00:00

* gnu/packages/ocaml.scm (ocaml-5.0): Add comment explaining why older
compiler versions are unsupported.

Change-Id: If778585b0902846893b8fb7cbed0b878ab86795b
Signed-off-by: Julien Lepiller

gnu: ocaml: Add version 5.4.1. [security-fixes]

2026-05-17T14:47:28+00:00

Supersedes v5.3.0 and fixes CVE-2026-28364.

* gnu/packages/ocaml.scm (ocaml-5.4): New variable.

Change-Id: I6ed0647d89b0c5645bfa415eb605d3935e1d807f
Signed-off-by: Julien Lepiller

gnu: ocaml-4.14: Update to 4.14.3. [security-fixes]

2026-05-17T14:47:02+00:00

Fixes CVE-2026-28364.

* gnu/packages/ocaml.scm (ocaml-4.14): Update to 4.14.3.

Change-Id: I76e9803658557fb42187e2fbf25504918c93131b
Signed-off-by: Julien Lepiller