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

Ludovic Courtès ad2fcbfca4 gnu: openmpi: Update to 4.1.6. ... * gnu/packages/mpi.scm (openmpi): Update to 4.1.6.		2023-11-15 11:36:20 +01:00
..
bootloader	…
build	…
home	home: services: Add 'x11-display' service.	2023-11-05 23:23:23 +01:00
installer	…
machine	…
packages	gnu: openmpi: Update to 4.1.6.	2023-11-15 11:36:20 +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