Build c8bade4c-707c-4aa4-89ce-f8c1b1628703 — bordeaux.guix.gnu.org

Derivation
/gnu/store/q0vymw7r7j68g2lyi5vn5i03sipcalfb-coq-equations-1.2.4.drv
Tags
    Submitted at
    2021-08-01 04:31:18
    State
    Failed
    Priority
    0
    View build log