Build 3cbc5450-d353-4cc8-aef3-249a49b121fc — bordeaux.guix.gnu.org

Derivation
/gnu/store/j2nly8shi4yxbrz825hdhyzc6s6fw1l0-agda-ial-1.5.0.drv
Tags
    Submitted at
    2021-05-02 08:04:54
    State
    Succeeded
    Priority
    0
    View build log