Build c543a69b-0e8e-4178-9d52-48ecafa2f807 — bordeaux.guix.gnu.org

Derivation
/gnu/store/9nshkddqdskkyip2kx56f4vy6ccydg9n-coq-equations-1.2.3.drv
Tags
    Submitted at
    2021-06-18 17:52:18
    State
    Succeeded
    Priority
    0
    View build log