Derivation

/gnu/store/0s7jggm35jy65if714w4xsd89vcgj35c-openmpi-5.0.3.drv

Tags

• revision: a6337983c7ee55a77da303fe174319a06adbeb6c
• issue: 74011
• category: package

Submitted at

2024-10-26 09:25:03

State

Succeeded

• Agent bc5f3585-03f9-4ab3-8604-6acc89512fba

Priority

550

View build log