Build adce037b-cdc2-45ce-8080-d744b68a4506 — bordeaux.guix.gnu.org

Derivation
/gnu/store/9xard379dy6bb7vk6cmw8i3f1g6iy3cw-agda-ial-1.5.0.drv
Tags
    Submitted at
    2021-04-23 12:12:14
    State
    Succeeded
    Priority
    0
    View build log