Build 7c5d7e19-773c-4779-b06a-2f1aad1994b6 — bordeaux.guix.gnu.org

Derivation
/gnu/store/mnr93bh9xddd5gvy2b6dyh96sgsc3dng-coq-8.13.2-checkout.drv
Tags
    Submitted at
    2021-08-11 17:14:57
    State
    Succeeded
    Priority
    0
    View build log