Build ead73d2f-4ed9-4241-b5e1-96995752cdd1 — bordeaux.guix.gnu.org

Derivation
/gnu/store/4lgg03fm6y9p0rijyl5yawshvs1vpdnc-coq-bignums-8.13.0.drv
Tags
    Submitted at
    2021-08-01 04:30:59
    State
    Succeeded
    Priority
    0
    View build log