Build 6e067e48-c17d-4759-9781-f00497ad9b54 — bordeaux.guix.gnu.org

Derivation
/gnu/store/j65af63v05rhma426lrfg05p7rpabjb4-coq-core-8.15.2.drv
Tags
    Submitted at
    2022-07-03 00:06:33
    State
    Succeeded
    Priority
    0
    View build log