This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

Julien Lepiller 6b6474fec7 gnu: coq-interval: Update to 4.4.0. ... * gnu/packages/coq.scm (coq-interval): Update to 4.4.0.		2022-02-11 10:32:53 +01:00
..
bootloader	…
build	…
home	…
installer	…
machine	…
packages	gnu: coq-interval: Update to 4.4.0.	2022-02-11 10:32:53 +01:00
platforms	…
services	services: gdm-service-type: Require elogind.	2022-02-10 23:17:48 +01:00
system	Revert kernel modules changes to support the Coreboot framebuffer	2022-02-09 01:38:51 -05:00
tests	…
artwork.scm	…
bootloader.scm	…
ci.scm	…
home.scm	…
image.scm	…
installer.scm	…
local.mk	gnu: Add openboardview.	2022-02-09 14:37:42 -05:00
machine.scm	gnu: Fix typo.	2022-02-08 13:34:02 +01:00
packages.scm	…
platform.scm	…
services.scm	…
system.scm	…
tests.scm	…