Julien Lepiller a24dbd25eb gnu: coq: Update to 8.15.2. ... * gnu/packages/coq.scm (coq-core): Update to 8.15.2.		2022-06-18 13:15:09 +02:00
..
bootloader
build
home	home: Add OpenSSH service.	2022-06-17 23:39:32 +02:00
installer
machine
packages	gnu: coq: Update to 8.15.2.	2022-06-18 13:15:09 +02:00
services	gnu: desktop: Add seatd-service-type.	2022-06-17 10:30:43 +02:00
system
tests	gnu: tests: Add seatd/greetd based minimal desktop system tests.	2022-06-17 10:30:44 +02:00
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk	home: Add OpenSSH service.	2022-06-17 23:39:32 +02:00
machine.scm
packages.scm
services.scm
system.scm	system: <operating-system> compiler truly honors the 'system' argument.	2022-06-15 00:25:20 +02:00
tests.scm