Build cbfba5a2-9854-40fa-9c96-8d4ecbc0fd47 — bordeaux.guix.gnu.org

Derivation
/gnu/store/m30w30ryglc7mm9x79pg7l3dlb8j1k1n-coq-ide-8.13.2.drv
Tags
    Submitted at
    2021-08-11 20:01:46
    State
    Succeeded
    Priority
    0
    View build log