Jon Rood 2f80432f62 OpenMPI: adding static libraries with slurm support for latest versions. (#10055)		2018-12-08 13:49:09 +01:00
..
packages	OpenMPI: adding static libraries with slurm support for latest versions. (#10055)	2018-12-08 13:49:09 +01:00
repo.yaml