Build d18bd451-e5da-4dae-b94a-f7c733a36969 — bordeaux.guix.gnu.org

Derivation
/gnu/store/vrgh7lidg23a2cj856lmwz06yxqw2nhx-coq-equations-1.2.4.drv
Tags
    Submitted at
    2021-08-11 21:09:09
    State
    Succeeded
    Priority
    0
    View build log