Josselin Poiret c5c2a82082 gnu: agda-cubical: Update to 0.6. ... * gnu/packages/agda.scm (agda-cubical): Update to 0.6. Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49		2023-11-14 13:47:53 +01:00
..
bootloader
build
home	home: services: Add 'x11-display' service.	2023-11-05 23:23:23 +01:00
installer
machine
packages	gnu: agda-cubical: Update to 0.6.	2023-11-14 13:47:53 +01:00
services
system
tests	tests: inetd: Avoid race condition when looking for PID file.	2023-11-05 23:23:23 +01:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm
local.mk	gnu: agda-categories: Adapt to agda-stdlib 1.7.3.	2023-11-14 13:47:10 +01:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm	tests: Honor system and target when lowering <system-test>.	2023-11-05 23:23:23 +01:00