Build bf5b752f-8c4b-457a-a893-3757f9a5f579 — bordeaux.guix.gnu.org

Derivation
/gnu/store/4s0dln7dicngqd9iidh377f352wz8hri-coq-ide-server-8.14.0.drv
Tags
    Submitted at
    2021-12-16 05:01:49
    State
    Succeeded
    Priority
    0
    View build log