Eric Bavier b5e32d9620 gnu: idris: Fixes test failure. ... * gnu/packages/patches/idris-test-ffi008.patch: New file. * gnu/packages/idris.scm (source): Use it. * gnu/local.mk (dist_patch_DATA): Register it.		2022-04-13 09:48:04 -05:00
..
bootloader
build	shepherd: Add #:supplementary-groups.	2022-04-12 23:40:44 +02:00
home	home: shepherd: Prevent launching the second instance.	2022-04-12 23:30:09 +02:00
installer
machine
packages	gnu: idris: Fixes test failure.	2022-04-13 09:48:04 -05:00
platforms
services	services: Replace murmur-service-type with mumble-server-service-type.	2022-04-12 20:32:32 +02:00
system
tests
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk	gnu: idris: Fixes test failure.	2022-04-13 09:48:04 -05:00
machine.scm
packages.scm
platform.scm
services.scm
system.scm
tests.scm