Derivation

/gnu/store/7c10g1a4n5a05ah6lpfwv7lh8hxl2ngb-openmpi-4.1.5.drv

Tags

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

Submitted at

2023-04-19 03:31:13

State

Succeeded

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

Priority

0

View build log