Derivation

/gnu/store/zk0g87wvf96224x6lgq9pxvh8hr3319p-openmpi-4.1.4.drv

Tags

• revision: 7008f715081a717fc06a8bbddcecf64846ba3853
• issue: 62641
• category: package

Submitted at

2023-04-03 12:34:51

State

Succeeded

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

Priority

0

View build log