Derivation

/gnu/store/cg08cg1xby3d0dcix7bswaygljkj5dmi-openmpi-4.1.6.tar.bz2.drv

Tags

• revision: 93f6163b70ccdaaf7cc034643d0b51b7dd610965
• issue: 66573
• category: package

Submitted at

2023-10-17 14:46:38

State

Succeeded

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

Priority

0

View build log