Build d4beea8f-fa0e-4001-aa13-1134bda40ee1 — bordeaux.guix.gnu.org

Derivation
/gnu/store/6q2jcj71sibi5dgzz9xs7ndpk0qj1mz4-coq-ide-8.13.2.drv
Tags
    Submitted at
    2021-08-01 04:29:24
    State
    Succeeded
    Priority
    500
    View build log