Felix Gruber 296425c765 gnu: dune-typetree: Update to 2.10.0. ...

* gnu/packages/maths.scm (dune-typetree): Update to 2.10.0.

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

2024-11-22 20:18:55 +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-typetree: Update to 2.10.0.

2024-11-22 20:18:55 +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

compression: Enable zstd parallel compression.

2024-08-31 10:44:22 +02:00

home.scm

system, home: Validate ‘services’ field value.

2024-03-22 11:40:33 +01:00

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

…