Build 3e35cd1f-c5e1-416a-872a-61b7422e1f88 — bordeaux.guix.gnu.org

Derivation
/gnu/store/6big4dqg98vsy0ay71d18v5d91wrw5dl-coq-stdlib-8.15.2.drv
Tags
    Submitted at
    2022-08-14 19:10:42
    State
    Succeeded
    Priority
    0
    View build log