Zheng Junjie cd9ad4efe8 gnu: coq-bignums: Update to 9.0.0+coq8.18. ...

* gnu/packages/coq.scm (coq-bignums): Update to 9.0.0+coq8.18.

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6

2024-09-12 13:25:35 +08:00

..

bootloader

…

build

activation: Fix TOCTTOU in mkdir-p/perms.

2024-09-06 11:46:26 +02:00

home

home: services: channels: Remove duplicate channels.

2024-09-04 19:16:53 +02:00

installer

installer: Create ext4 file systems with ‘-O large_dir’.

2024-08-31 19:06:38 +02:00

machine

…

packages

gnu: coq-bignums: Update to 9.0.0+coq8.18.

2024-09-12 13:25:35 +08:00

services

services: host-name: Use the host name as the running value.

2024-09-09 17:17:55 +02:00

system

system: locale: ‘glibc-supported-locales’ uses zstd instead of xz.

2024-09-09 17:17:55 +02:00

tests

services: agate: Change variable names and add system test.

2024-08-31 19:06:39 +02:00

artwork.scm

…

bootloader.scm

…

ci.scm

…

compression.scm

compression: Enable zstd parallel compression.

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

home.scm

…

image.scm

…

installer.scm

…

local.mk

gnu: qrcodegen-cpp: Update to 1.8.0.

2024-09-07 18:12:20 +04:00

machine.scm

…

packages.scm

…

services.scm

…

system.scm

…

tests.scm

…