Build 49fbe04f-96af-4fe9-ace2-1af925bad5bd — bordeaux.guix.gnu.org

Derivation
/gnu/store/456nki4s01rymi1jsf0bysi93nqapidx-coq-stdpp-1.4.0.drv
Tags
    Submitted at
    2021-06-18 15:30:35
    State
    Succeeded
    Priority
    0
    View build log