Build 68ce3716-1a92-448f-839e-22174c2866a3 — bordeaux.guix.gnu.org

Derivation
/gnu/store/2xjbmhlsl3myvcns523vkd54yk2xz30b-coq-8.11.2.drv
Tags
    Submitted at
    2021-06-18 15:34:19
    State
    Succeeded
    Priority
    0
    View build log