Build 2264ce45-e030-4f16-a52b-aebdeecd9086 — bordeaux.guix.gnu.org

Derivation
/gnu/store/4w4dkgqm3pv14dcm5v2yjraahqh4bc8k-coq-stdlib-8.14.1.drv
Tags
    Submitted at
    2021-12-22 13:05:53
    State
    Succeeded
    Priority
    0
    View build log