Derivation

/gnu/store/9w82512q1ghsi8ra3c50knzbisd58f0k-openmpi-5.0.3.drv

Tags

• branch: master
• revision: a1714de3aa4f60d211c166876c3515f96384b0c7
• category: package

Submitted at

2024-10-25 13:51:45

State

Succeeded

• Agent c9528d11-b1dc-4591-921d-9ea50308f965

Priority

0

View build log