Ricardo Wurmus e710d290f3 gnu: r-lava: Update to 1.7.3. ... * gnu/packages/cran.scm (r-lava): Update to 1.7.3. Change-Id: I9f2f75685f8ef058b505e9c29c9a23d31b9a7a46		2023-11-15 15:55:20 +01:00
..
bootloader
build
home
installer
machine
packages	gnu: r-lava: Update to 1.7.3.	2023-11-15 15:55:20 +01:00
services
system
tests
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