Build 2d393cf5-fa18-4b1e-8f31-0b5c2e92fa55 — bordeaux.guix.gnu.org

Derivation
/gnu/store/iz56842w9sa2ks75272gvva5nk6asr40-coq-stdlib-8.15.2.drv
Tags
    Submitted at
    2022-08-14 14:59:35
    State
    Succeeded
    Priority
    0
    View build log