Build 1805f114-a144-4f73-819a-d79d41c91990 — bordeaux.guix.gnu.org

Derivation
/gnu/store/c73cj6fji7538gvpp7p3m649m7ch5i32-Agda-2.5.4.2.tar.gz.drv
Tags
    Submitted at
    2021-11-13 00:26:19
    State
    Succeeded
    Priority
    0
    View build log