File _service:extract_file:openmpi-5.x-pbs-config.patch of Package openmpi-pmix-gnu14 (Revision 89128dddd5e34dd670b352ad48cfe8a1)
Currently displaying revision 89128dddd5e34dd670b352ad48cfe8a1 , Show latest
Currently displaying revision 89128dddd5e34dd670b352ad48cfe8a1 , Show latest