Felix Gruber 7e855f5fa0 gnu: dune-istl: Update to 2.10.0. ...

* gnu/packages/maths.scm (dune-istl): Update to 2.10.0.
  [source]: Remove patch that has been applied upstream.
* gnu/packages/patches/dune-istl-fix-solver-playground.patch: Remove
  file.
* gnu/local.mk (dist_patch_DATA): Remove it.

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

2024-11-22 20:18:54 +01:00

..

bootloader

bootloader: grub: Remove hardcoded partition number for the Hurd.

2024-11-11 07:28:33 +01:00

build

hurd-boot: Support second boot.

2024-11-11 07:28:33 +01:00

home

home: services: Use %user-log-dir as the log directory for all services.

2024-11-20 22:57:38 +01:00

installer

install: Change the territory when we have learned it.

2024-11-20 16:02:06 +01:00

machine

…

packages

gnu: dune-istl: Update to 2.10.0.

2024-11-22 20:18:54 +01:00

services

gnu: services: power-profiles-daemon: Beautify service.

2024-11-20 23:43:13 +01:00

system

install: Open info manuals that have region codes.

2024-11-20 16:01:47 +01:00

tests

installer: Add "Kernel" page to select the Hurd.

2024-11-11 07:28:35 +01:00

artwork.scm

…

bootloader.scm

gnu: bootloader: Use symbol as efi-bootloader-chain name.

2024-10-23 23:56:19 +08:00

ci.scm

…

compression.scm

…

home.scm

…

image.scm

…

installer.scm

installer: Support dry-run from Guile via store.

2024-11-11 07:28:35 +01:00

local.mk

gnu: dune-istl: Update to 2.10.0.

2024-11-22 20:18:54 +01:00

machine.scm

…

packages.scm

…

services.scm

services: cleanup: Reintroduce explicit ‘chmod’ calls.

2024-09-25 17:53:53 +02:00

system.scm

system: hurd: Add swap-services to hurd-default-essential-services.

2024-11-11 07:28:33 +01:00

tests.scm

…