Build 2beb2be6-ca88-4194-bda2-02f9e42392f5 — bordeaux.guix.gnu.org
Derivation
/gnu/store/sj15rr5kzzds1gdrmgjv4g0j0a5zp264-Agda-2.6.0.1.tar.gz.drv
Tags
Submitted at
2021-04-23 11:02:32
State
Succeeded
Agent
b57898c3-7187-4c56-9d3c-4e68b954b79a
Priority
0
View build log