Build 23f17357-5dbc-48f7-87fa-c4fc5601b657 — bordeaux.guix.gnu.org

Derivation
/gnu/store/ablxrla6mzp4fp2akvwd2g77ryy6rrp8-coq-core-8.15.1-checkout.drv
Tags
    Submitted at
    2022-05-02 01:29:44
    State
    Succeeded
    Priority
    0
    View build log