Build 7538f070-346c-4ccb-bb95-afb7f5df4482 — bordeaux.guix.gnu.org

Derivation
/gnu/store/jaccl3cf5x1mzy59pfshn5r3swg1d66h-agda-2.6.0.1.drv
Tags
    Submitted at
    2021-05-09 18:29:12
    State
    Succeeded
    Priority
    0
    View build log