Build c2fa4a4d-ced5-47d1-b882-a036fb994bac — bordeaux.guix.gnu.org

Derivation
/gnu/store/72x6g6jxr77ccb9l1yygxq52ljk6cm14-agda-2.6.2.1.drv
Tags
    Submitted at
    2021-12-17 13:06:14
    State
    Succeeded
    Priority
    500
    View build log