Build 2bc97d82-be09-4a19-994c-bd1bf963dddb — bordeaux.guix.gnu.org

Derivation
/gnu/store/4cxjsn3ksgbfw00lsc8nsmr2d465r340-coq-core-8.14.1.drv
Tags
    Submitted at
    2022-01-09 12:57:20
    State
    Succeeded
    Priority
    0
    View build log