gnu: ocaml-ctypes: Update to 0.23.0.

* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.23.0.
[source]: Register patch.
[build-system]: Replace ocaml-build-system by dune-build-system.
[patches]: Fix OO tests failure because of the stricter compiler.
* gnu/packages/patches/ocaml-ctypes-test-oo.patch: New file.
* gnu/local.mk: Add it.

Fixes: guix/guix#1493
Reported-by: jahierwan
Change-Id: I0db64bffade8d78bc92d8b9b9f3206961b35840d
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: Add jujutsu.

* gnu/packages/rust-crates.scm(lookup-cargo-inputs): Add jujutsu.
* gnu/packages/rust-apps.scm (jujutsu): New variable.

Change-Id: I1527b8c057827c327a701ed135b84e56f166f732
Signed-off-by: Hilton Chain <hako@ultrarare.space>
Modified-by: Hilton Chain <hako@ultrarare.space>

gnu: emacs-consult: Update to 2.7

* gnu/packages/emacs-xyz.scm (emacs-consult): Update to 2.7.

Signed-off-by: jgart <jgart@dismail.de>

gnu: Add emacs-i-ching

Change-Id: Ib6826b9fd1d8eec9b0ac8b1cc6384105cd04ea78
Signed-off-by: jgart <jgart@dismail.de>

gnu: Add emacs-quiet

Change-Id: I065bc94c6dd9977368852423399b4b055039ef31
Signed-off-by: jgart <jgart@dismail.de>

gnu: helix: Update to 25.07.1.

* gnu/packages/text-editors.scm (helix): Update to 25.07.1.

Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: chess: Update to 6.3.0.

* gnu/packages/games.scm (chess): Update to 6.3.0.

Change-Id: I0674c970bd998f02700720a7e3cd61ba0ba674df
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: got: Update to 0.117.

* gnu/packages/version-control.scm (got): Update to 0.117.

Change-Id: If8eaa90531cec48af62edc6ce971d537ccdddf8b
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: ruby-rdiscount: Update to 2.2.7.3.

Fixes build.

* gnu/packages/ruby-xyz.scm (ruby-rdiscount): Update to 2.2.7.3.

Change-Id: Ife649e7be7d8daaff852fe34da9259c457337590
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: nano: Update to 8.6.

* gnu/packages/text-editors.scm (nano): Update to 8.6.

Change-Id: I328312f9d89109de1d49cdf93c0c2bf8c376ee8f
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: fenics-dolfin: Remove support for SUNDIALS.

The dolfin interface to sundials requires a header file 'cvode_impl.h'
which is not available in sundials v>5.4.0.

* gnu/packages/simulation.scm (fenics-dolfin)
[inputs]: Remove SUNDIALS-OPENMPI.
[arguments]<#:configure-flags>: Disable SUNDIALS feature.
<#:phases>: Do not set SUNDIALS_DIR variable.

Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: hdf5-parallel-openmpi: Fix broken package.

* gnu/packages/maths.scm (hdf5-parallel-openmpi)[arguments]<#:phases>
{remove-gcc-references}: Do not attempt to modify non-existing files.

Change-Id: I84cd3376ac014c02716ebcb2044009feb52eaf83
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: symbiyosys: Update to 0.56.

* gnu/packages/electronics.scm (symbiyosys): Update to 0.56.

Change-Id: I19d81e98d3d79579386f175d65196acee5842c35
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: yosys: Update to 0.56.

* gnu/packages/fpga.scm (yosys): Update to 0.56.

Change-Id: Ica18d8d4dc6d75ff1d657fcd8707109f283c23cf
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: abc-yosyshq: Update to 0.56.

* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.56.

Change-Id: I578278a5c2dd509b3e9b11ce7a8c8c7b2cd65931
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: abc: Update to 0.0-6.e29dcd9.

* gnu/packages/fpga.scm (abc): Update to 0.0-6.e29dcd9.

Change-Id: Iabdafc850bc290ecfb355abee17939d1c27a94f2
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: atelier: Update to 0.1-pre-2.8c7f18d.

* gnu/packages/kde-utils.scm (atelier): Update to 0.1-pre-2.8c7f18d.
[arguments]: Set #:qtbase to qtbase.
[inputs]: Remove ki18n-5, kxmlgui-5, kconfigwidgets-5, ktexteditor-5, qt3d-5,
qtbase-5, qtcharts-5, qtdeclarative-5, qtmultimedia-5, and
qtserialport-5; add ki18n, kxmlgui, kconfigwidgets, ktexteditor,
qt3d, qtcharts, qtdeclarative, qtmultimedia, and qtserialport.
[native-inputs]: Add qttools.

Change-Id: Ib607669c5a16c15fb20583d7f9f91c94ce543bd1

gnu: libatcore: Update to 1.0.0-1.c32a13a.

* gnu/packages/kde-utils.scm (libatcore): Update to 1.0.0-1.c32a13a.
[inputs]: Remove qtcharts-5, qtdeclarative-5, and qtserialport-5; add
qtcharts, qtdeclarative, and qtserialport.
[native-inputs]: Add qttools.

Change-Id: Id1de4e4864ca3a3739809b494b68f67babebcf74

gnu: kxstitch: Update to 2.2.0-0.bfe934f.

* gnu/packages/kde-utils.scm (kxstitch): Update to 2.2.0-0.bfe934f.
[source]: Switch to git-fetch.
[inputs]: Remove ktexteditor-5, qtbase-5, and qtx11extras; add kcompletion,
kconfigwidgets, kguiaddons, ki18n, kio, ktextwidgets, kwidgetsaddons,
kxmlgui, and kconfig.
[native-inputs]: Remove kdoctools-5; add kdoctools.
[arguments]: Set #:qtbase to qtbase.

Change-Id: I141d96be32a6868aa85802b186cbfc235c21ff0d

gnu: kronometer: Update to 2.3.0-0.8cfa062.

* gnu/packages/kde-utils.scm (kronometer): Update to 2.3.0-0.8cfa062.
[source]: Switch to git-fetch.
[inputs]: Remove kauth-5, kconfig-5, kconfigwidgets-5, kcoreaddons-5,
kcrash-5, ki18n-5, kwidgetsaddons-5, kxmlgui-5, and qtbase-5; add
kauth, kconfig, kconfigwidgets, kcoreaddons, kcrash, ki18n,
kwidgetsaddons, and kxmlgui.
[native-inputs]: Remove kdoctools-5; add kdoctools.
[arguments]: Set #:qtbase to qtbase.

Change-Id: Ic57e31c03010991cd0a6fc56709954d34fa0330a