Build d9ff3b81-da14-43d3-a904-b8bb77d44479 — bordeaux.guix.gnu.org

Derivation
/gnu/store/l4alf16cpyd0d6mw7i7gj33fgzx9wva5-Agda-2.6.2.2.tar.gz.drv
Tags
    Submitted at
    2022-05-15 00:02:22
    State
    Succeeded
    Priority
    0
    View build log