home: services: Fix binding options in sway-service-type.

* gnu/home/services/sway.scm (keybinding-options?): Add to-code option.
(codebinding-options?): Remove to-code option.

Change-Id: I0a43ccb7d997bb1ba2ec334721a9a7bdd5e5ce91
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: guix-jupyter: Update to 0.3.1.

* gnu/packages/package-management.scm (guix-jupyter): Update to 0.3.1.

Change-Id: I784c1fe10006c587d32b0b0bb1cb0f3677335ca9

services: Add miniflux-service-type.

* doc/guix.texi: Document Miniflux service and configuration.
* gnu/services/web.scm: New service.
* gnu/services/web.scm: Define shepherd service and account roles.
* gnu/tests/web.scm: (%miniflux-create-admin-credentials,
miniflux-base-system, %test-miniflux-admin-string, %test-miniflux-admin-file,
%test-miniflux-socket): Add system tests for Miniflux service.

Change-Id: I4a336e677ec8b46aed632f0ded9cc11c2d38975f
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

teams: Adjust team membership for myself.

* etc/teams.scm (civodul): Remove ‘home’, ‘bootstrap’ and ‘documentation’.
Add ‘hpc’.

Change-Id: I7946be1fc59fc292a7b92b92035ccaea722aadc9

gnu: shepherd@1.0: Build against Fibers 1.4.x.

This reinstates 2ba475d37aade4f551d39f65faef8b9c597f1cf9.

* gnu/packages/admin.scm (shepherd-1.0)[native-inputs, inputs]: Use
‘guile-fibers’.

Change-Id: I4dbbc2d32d114ed9d16a2da4efb831fc2044a314

gnu: guile-fibers@1.4: Disable JIT for ‘make check’.

Fixes guix/guix#2474.

* gnu/packages/guile-xyz.scm (guile-fibers-1.4)[arguments]: Add ‘disable-jit’
phase on AArch64.

Change-Id: Idad1a5e1a84d29259bf1ed4a284f9981c50defb8

gnu: binsec: Enable support for z3-builtin solver.

This is much faster than an external solver as it doesn't rely on
forking an external solver and instead uses the API provided by
ocaml-z3.  This feature was added in binsec release 0.9.1.

* gnu/packages/ocaml.scm (binsec)[propagated-inputs]: Add ocaml-z3.
* gnu/packages/ocaml.scm (binsec)[native-inputs]: Add z3.

Change-Id: I246fd1a13e8c9d6a6764608281a2bea5ac0a054b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: trealla: Update to 2.83.9.

* gnu/packages/prolog.scm (trealla): Update to 2.83.9.

Change-Id: I8ca5daedef142f6f88a9f22283a7c0e9a518320a

gnu: python-argparse-manpage: Update to 4.7.

* gnu/packages/python-xyz.scm (python-argparse-manpage): Update to 4.7.
[source]: Fix uri name as seen in PyPI archive.
[arguments] <test-flags>: Skip tests requiring pip.
[native-inputs]: Remove python-pip, python-tomli, and python-wheel.

Fixes: guix/guix#3015
Change-Id: I10b31aa295bd97673071ecaaecb9895cd4d8a6b0

gnu: python-aiorpcx: Fix tests.

* gnu/packages/python-web.scm (python-aiorpcx)[native-inputs]: Remove
python-pytest-asyncio and python-wheel; add python-pytest-asyncio-0.26.

Change-Id: I8acf3eb36a0ab1a41038471456aa15d0fef92cbc

gnu: nerd-dictation: Fix tests.

* gnu/packages/machine-learning.scm (nerd-dictation)[arguments]
<test-backend>: Use 'custom.
<test-flags>: Provide the path to test file.
[native-inputs]: Remove python-wheel.

Change-Id: Ia6e2c497ffe9315a87dc20b4d845fea111a144c9

gnu: epour: Fix bulid.

* gnu/packages/enlightenment.scm (epour)[native-inputs]: Remove
python-setuptools and python-wheel; add python-setuptools-67 and
python-wheel-0.40.

Change-Id: Ia3863aa7f0af1d9e20ae78a875b6108d973ee410

gnu: instantmusic: Update to 1.0-2.0477dd3, fix build.

* gnu/packages/music.scm (instantmusic): Update to 1.0-2.0477dd3.
[arguments] <tests?>: No tests provided.
[native-inputs]: Remove python-wheel.

Change-Id: I928c4cc909b6d57738eb6bd8b0cae7debb53f085

gnu: python-bcbio-gff: Update to 0.7.1.

* gnu/packages/bioinformatics.scm (python-bcbio-gff): Update to 0.7.1.
[source]: Switch to git-fetch.
[arguments] <#:phases>: Enter correct directory.
[propagated-inputs]: Remove python-setuptools and python-wheel.
[native-inputs]: Add python-setuptools.

Change-Id: Ie961c40e9335f31d512e23658cbc3269a61126d0
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: efitools: Fix build with gcc-14.

* gnu/packages/efi.scm (efitools):[arguments] <make-flags>: Add options
relaxing GCC 14 strictness.

Fixes: guix/guix#3012
Change-Id: I1466b6ded8039ec222e905554b23e9bf99dba486

gnu: gemma: Refresh package style.

* gnu/packages/bioinformatics.scm (gemma): Apply G-Expressions, remove
trailing #t from procedures and lambdas, fix indentation.
[version]: Remove "v" to improve format, seen in
<https://codeberg.org/guix/guix/pulls/3009#issuecomment-7390966>.
[source] <uri>: Add "v" to {commit} field.
[native-inputs]: Remove labels.

Change-Id: I9c2113dbdc265e3726b548670d450d0cdcbf1bea

gnu: Add xiphos.

* gnu/packages/books.scm (xiphos): New variable.
* gnu/packages/patches/xiphos-glib.patch: New file.
* gnu/local.mk (dist_PATCH_DATA): Add it.

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

gnu: reducelcs: Update to latest commit.

* gnu/packages/maths.scm (reducelcs): Update to latest commit.
[source]: Update to latest commit, increase revision to 2.
[arguments]<#:phases>{patch-source}: Remove upstreamed phase.

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

gnu: reducelcs: Fix build with gcc-14.

* gnu/packages/maths.scm (reducelcs): Fix build with gcc14.
[origin]: Use git-version and git-file-name.
[arguments]<#:phases>: Add patch-source phase.

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

gnu: uxn: Update to 1.0-1.f2e8582.

* gnu/packages/emulators.scm (uxn): Update to 1.0-1.f2e8582.
[arguments]: Adjust install phase.

Change-Id: I24c076aa5eddafd30cc09f4f97c445c4c0994ce9