Build 95f740a2-a29b-4a26-b001-ae09e84bf897 — bordeaux.guix.gnu.org

Derivation
/gnu/store/j2glh7nkgqbvgwdgscq83hqwmxirl7bv-idris-1.3.3.drv
Tags
    Submitted at
    2021-05-02 05:54:40
    State
    Failed
    Priority
    0
    View build log