PKGBUILDs/extra/openmpi
2023-08-12 15:42:36 +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-3 2023-08-12 15:42:36 +00:00