Build 68f877cf-b2c5-410f-9068-b28778ae4997 — bordeaux.guix.gnu.org

Derivation
/gnu/store/zfg6rnssmp70fm5cvb69fa86nlprzmhd-coq-8.13.2.drv
Tags
    Submitted at
    2021-08-11 17:14:57
    State
    Succeeded
    Priority
    0
    View build log