Yann Dupont c63c1398e9 openmpi-glicid is now the name of openmpi with all component uptodate		2023-01-02 15:03:32 +01:00
..
packages	openmpi-glicid is now the name of openmpi with all component uptodate	2023-01-02 15:03:32 +01:00
services	correcting cuirass.scm	2022-12-05 10:08:51 +01:00
system	reworking glicid cgroups	2022-11-22 15:38:55 +01:00
utils.scm	fixing missing )	2022-11-24 14:13:55 +01:00