Dave Love 1f9bff4152 gnu: openmpi: Update to 1.10.7. ... * gnu/packages/mpi.scm (openmpi): Update to 1.10.7. Signed-off-by: Ludovic Courtès <ludo@gnu.org>		2017-07-25 18:09:27 +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: Update to 1.10.7.	2017-07-25 18:09:27 +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	artwork: Use a descriptive name for the source directory.	2017-06-07 15:58:16 -04:00
bootloader.scm	bootloader: Use menu-entry to define custom bootloader entries.	2017-06-08 16:29:29 +02:00
local.mk	gnu: Add guile2.0-bytestructures.	2017-07-25 17:46:17 +02:00
packages.scm	packages: Add 'specifications->manifest'.	2017-06-11 23:05:23 +02:00
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	bootloader: Add extlinux support.	2017-05-16 14:41:01 +02:00