Build cdb98506-03d7-48b8-adef-43375cb9f675 — bordeaux.guix.gnu.org

Derivation
/gnu/store/xl7r0rk1jpx84x8lgv74nl54nz50by5k-coq-bignums-8.13.0.drv
Tags
    Submitted at
    2021-08-01 04:31:47
    State
    Succeeded
    Priority
    0
    View build log