Build e191dbec-62d4-436a-8d97-529c64fc0bff — bordeaux.guix.gnu.org

Derivation
/gnu/store/12r2gm9imib4vxhxmwgryva7psnqjsr9-agda-ial-1.5.0-checkout.drv
Tags
    Submitted at
    2021-05-09 18:29:12
    State
    Succeeded
    Priority
    0
    View build log