Build 76368465-0508-4d4f-95aa-0d8cfb6932c9 — bordeaux.guix.gnu.org

Derivation
/gnu/store/7fr8qic3hrh15yljgblf33js1caznndp-Agda-2.6.0.1.tar.gz.drv
Tags
    Submitted at
    2021-05-09 18:14:44
    State
    Succeeded
    Priority
    0
    View build log