Build 535c8cec-c14b-48c9-81e3-5850a9e7d447 — bordeaux.guix.gnu.org

Derivation
/gnu/store/0346dv182vcbxph0gmh5q5mimq1qpv4p-coq-stdlib-8.14.0.drv
Tags
    Submitted at
    2021-12-15 19:15:51
    State
    Succeeded
    Priority
    0
    View build log