Build 7f7d5937-6f1d-41ed-8c66-37adf22efb2d — bordeaux.guix.gnu.org

Derivation
/gnu/store/2c7mrm1bpgf2yvrj53xv8kdbga75wr3c-mumps-openmpi-5.2.1.drv
Tags
    Submitted at
    2021-05-02 11:22:11
    State
    Succeeded
    Priority
    0
    View build log