Derivation

/gnu/store/r26av7b327yhx9gzwy9dmm07fx9vjm1s-openmpi-4.1.5.tar.bz2.drv

Tags

• revision: b6cfac4edb0934df13d5762d507ac6e19b65105b
• issue: 62937
• category: package

Submitted at

2023-04-19 03:30:51

State

Succeeded

• Agent d9ed2db6-ad3c-45f7-92af-81ad973d5de0

Priority

0

View build log