Dave Love bb0f6d7526 gnu: openmpi: Description mentions MPI 3.0. ... * gnu/packages/mpi.scm (openmpi): It's MPI 3, not MPI 2. Signed-off-by: Ludovic Courtès <ludo@gnu.org>		2017-07-25 18:10:08 +02:00
..
bootloader	bootloader: Add u-boot.	2017-07-15 12:53:37 +02:00
build	vm: 'iso9660-image' produces a single-file output.	2017-07-18 21:41:35 +02:00
packages	gnu: openmpi: Description mentions MPI 3.0.	2017-07-25 18:10:08 +02:00
services	services: cuirass: Add fallback parameter.	2017-07-21 21:46:47 +02:00
system	system: Add a default '.guile' skeleton.	2017-07-25 12:23:26 +02:00
tests	tests: Use 'virtual-machine' records instead of monadic procedures.	2017-07-20 11:57:13 +02:00
artwork.scm
bootloader.scm
local.mk	gnu: Add guile2.0-bytestructures.	2017-07-25 17:46:17 +02:00
packages.scm
services.scm	services: Make error message less scary.	2017-07-11 00:48:50 +02:00
system.scm	gnu: Add support for aarch64's compiled kernel.	2017-07-23 23:33:18 +03:00
tests.scm