Josselin Poiret cf2c3f7970 gnu: Add agda-cubical. ...

* gnu/packages/agda.scm: New variable agda-cubical.

2023-06-04 10:59:36 +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

…

machine

…

packages

gnu: Add agda-cubical.

2023-06-04 10:59:36 +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

…