Josselin Poiret 5f4b3ccf50 gnu: agda-categories: Adapt to agda-stdlib 1.7.3. ... * gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch. * gnu/packages/agda.scm (agda-categories)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c		2023-11-14 13:47:10 +01:00
..
bootloader
build
home	home: services: Add 'x11-display' service.	2023-11-05 23:23:23 +01:00
installer
machine
packages	gnu: agda-categories: Adapt to agda-stdlib 1.7.3.	2023-11-14 13:47:10 +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