Build 27c228c2-8787-400d-b5d2-db204bf71372 — bordeaux.guix.gnu.org

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