Derivation

/gnu/store/m6mlz59maia46dbqzicnm4dvyqnivqa7-openmpi-4.1.5.drv

Tags

• revision: 70345a120f221010364d728440bdf41ac3305753
• issue: 65801
• category: package

Submitted at

2023-09-11 15:37:38

State

Succeeded

• Agent 0c973ac8-4e62-4889-87b4-31c9536641db

Priority

0

View build log