Build 5e8df939-424c-49a5-a842-45edbc44b22c — bordeaux.guix.gnu.org

Derivation
/gnu/store/d2h8ryxbz16xhspick6fpj7hvhkqd0ig-agda-2.6.2.1.drv
Tags
    Submitted at
    2022-01-19 07:08:50
    State
    Pending
    Priority
    0