Build 74100d23-6755-4cbd-aca2-5d0e7bb31744 — bordeaux.guix.gnu.org

Derivation
/gnu/store/1r8mrx5cb87wnx1fipgh1mxgjnryb95x-Agda-2.6.2.1.tar.gz.drv
Tags
    Submitted at
    2021-12-17 13:02:14
    State
    Succeeded
    Priority
    0
    View build log