Build 03f8366f-3784-4246-8e13-28f6c94386fb — bordeaux.guix.gnu.org

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