Build 3ea71a0a-4f66-44b2-ac87-6982555a47a9 — bordeaux.guix.gnu.org

Derivation
/gnu/store/wl8dd2pkgfiani9xvg68hl40p1wcavcc-agda-2.6.2.1.drv
Tags
    Submitted at
    2022-01-18 21:00:13
    State
    Succeeded
    Priority
    0
    View build log