Build b598471c-3cc9-4d5a-bc6f-41ced2f3f81c — bordeaux.guix.gnu.org

Derivation
/gnu/store/5nc09nwi4b0svyyjbn41rz55c3z9ywzm-coq-ide-8.14.1.drv
Tags
    Submitted at
    2021-12-22 13:08:06
    State
    Succeeded
    Priority
    500
    View build log