Josselin Poiret 8203e8f3c9 gnu: Add agda-categories. ...

* gnu/packages/patches/agda-categories-use-find.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-categories.

2023-06-04 10:59:35 +02:00

..

bootloader

…

build

hurd-boot: Symlink /hurd before setting up translators.

2023-05-17 22:26:06 +02:00

home

home: services: Add msmtp service.

2023-05-30 00:15:30 +02:00

installer

installer: Filter out C.UTF-8 from the list of locales.

2023-04-30 23:11:09 +02:00

machine

…

packages

gnu: Add agda-categories.

2023-06-04 10:59:35 +02:00

services

services: screen-locker-service-type: Configurable PAM and setuid.

2023-06-04 10:33:55 +02:00

system

system: pam: Change 'stop' method to return #f.

2023-05-21 01:04:39 +02:00

tests

tests: Fix the Jami service system tests.

2023-05-25 10:17:32 -04:00

artwork.scm

…

bootloader.scm

…

ci.scm

…

compression.scm

…

home.scm

…

image.scm

…

installer.scm

…

local.mk

gnu: Add agda-categories.

2023-06-04 10:59:35 +02:00

machine.scm

…

packages.scm

…

services.scm

services: Error in MODIFY-SERVICES when services don't exist

2023-06-02 16:23:03 +02:00

system.scm

system: Fix reference to Hurd bug in comment.

2023-05-10 00:23:52 +02:00

tests.scm

…