Build 1b998080-9007-4e4c-9f7e-ef205a4ae97e — bordeaux.guix.gnu.org

Derivation
/gnu/store/8i3aq516ml2pwgvsb6ah8c6sqyggykj9-agda-ial-1.5.0-checkout.drv
Tags
    Submitted at
    2021-05-14 07:43:36
    State
    Succeeded
    Priority
    0
    View build log