Build 1cb251c2-ded8-4e56-ac79-76b8f4103a9d — bordeaux.guix.gnu.org

Derivation
/gnu/store/3vv5rmz66axpmh86z8lq7n9a25f2xg1j-agda-2.6.2.drv
Tags
    Submitted at
    2021-11-17 19:01:59
    State
    Succeeded
    Priority
    500
    View build log