Derivation

/gnu/store/4n3x5yfaa40yqcwqda510b85ivr6nzkd-openmpi-5.0.3.drv

Tags

• branch: master
• revision: 351fdf69f737d09d24499d6c1ff70a2325fff0fa
• category: package

Submitted at

2024-10-28 22:51:01

State

Succeeded

• Agent b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb

Priority

700

View build log