Build b453c73b-4474-4c01-8d31-cedf0c9047a7 — bordeaux.guix.gnu.org

Derivation
/gnu/store/8022khziyx8mjhk04144068663k5x1r4-coq-bignums-8.11.0.drv
Tags
    Submitted at
    2021-06-18 15:26:46
    State
    Succeeded
    Priority
    500
    View build log