Josselin Poiret 2419302ca1 gnu: agda-categories: Update to 0.2.0. ...

* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch ->
gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch.
* gnu/local.mk (dist_patch_DATA): Change registered name to new name.
* gnu/packages/agda.scm (agda-categories): Update to 0.2.0.  Use new patch
name.

Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e

2024-10-12 11:12:26 +02:00

..

bootloader

…

build

file-systems: Add support for exFAT.

2024-09-01 02:00:00 +02:00

home

home: xdg-mime-applications: Fix file name spelling.

2024-09-29 22:21:34 +08:00

installer

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

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

machine

gnu: Replace (almost) all uses of /run/setuid-programs.

2024-08-11 02:00:00 +02:00

packages

gnu: agda-categories: Update to 0.2.0.

2024-10-12 11:12:26 +02:00

services

services: Extend udev rules in joycond-service-type.

2024-10-07 01:20:22 +09:00

system

images: wsl2: Update comment.

2024-09-08 02:00:00 +02:00

tests

services: cleanup: Reintroduce explicit ‘chmod’ calls.

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

artwork.scm

…

bootloader.scm

…

ci.scm

gnu: ci: Cross-build for fewer platforms.

2024-07-10 18:57:44 +03:00

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: Use the latest ‘iso-codes’.

2024-09-28 12:55:54 +02:00

local.mk

gnu: agda-categories: Update to 0.2.0.

2024-10-12 11:12:26 +02:00

machine.scm

…

packages.scm

…

services.scm

services: cleanup: Reintroduce explicit ‘chmod’ calls.

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

system.scm

system: Add privileged-programs to <operating-system>.

2024-08-11 02:00:00 +02:00

tests.scm

…