Build 71031550-820d-48dc-adcb-57e7456f29fb — bordeaux.guix.gnu.org

Derivation
/gnu/store/xqmk5j406fp2aakn7djhllbiwz9q3grm-coq-8.15.1.drv
Tags
    Submitted at
    2022-05-02 02:30:37
    State
    Succeeded
    Priority
    0
    View build log