PKGBUILDs/extra/openmpi
2023-09-05 12:38:40 +00:00
..
openmpi-4.1.5-openpmix_4.2.3.patch extra/openmpi to 4.1.5-2 2023-06-03 19:01:09 +00:00
PKGBUILD extra/openmpi to 4.1.5-4 2023-09-05 12:38:40 +00:00