Build 8f459b95-37f4-436f-ba8a-75287d3ae8c1 — bordeaux.guix.gnu.org

Derivation
/gnu/store/n96z3w067cmxvjhz4cb4g22x6sf5vvfv-coq-core-8.14.1.drv
Tags
    Submitted at
    2022-01-09 13:03:51
    State
    Succeeded
    Priority
    0
    View build log