Build 012b5da5-6584-415a-875e-161258b371ba — bordeaux.guix.gnu.org

Derivation
/gnu/store/306zhyzppwbps0y9r0nna6xdvv7c7m0r-Agda-2.6.0.1.tar.gz.drv
Tags
    Submitted at
    2021-05-14 06:46:43
    State
    Succeeded
    Priority
    0
    View build log