Derivation

/gnu/store/5ncq11k5pps9l1bggzwvn95h41fg1slx-openmpi-5.0.3.drv

Tags

• branch: master
• revision: ce40b1c655edab622b4ad9ff49f948bd65753662
• category: package

Submitted at

2024-08-20 19:07:52

State

Succeeded

• Agent c8a787dd-1e6c-4a31-a2ba-cbab7917fafd

Priority

800

View build log