Build 1be881d0-1884-46af-b2b0-e33dbdef17ec — bordeaux.guix.gnu.org

Derivation
/gnu/store/qkqn53y0hwaf8ng9j5d2qajibp9fivcf-Agda-2.6.0.1.tar.gz.drv
Tags
    Submitted at
    2021-06-02 11:08:54
    State
    Succeeded
    Priority
    0
    View build log