Markus Kowalewski be02ab2f30 openmpi: 3.1.0 -> 3.1.2		2018-09-26 23:38:55 +02:00
..
default.nix	openmpi: 3.1.0 -> 3.1.2	2018-09-26 23:38:55 +02:00
tests.patch	mpi4py: disabling tests	2017-09-18 15:11:14 +02:00