Build 81207de2-3d3a-469e-a21b-605c3db73a00 — bordeaux.guix.gnu.org
Derivation
/gnu/store/1z2ckwh7l3yaj2hyijv8vvn5zqrbcyy6-Agda-2.5.4.2.tar.gz.drv
Tags
Submitted at
2021-11-13 00:26:19
State
Succeeded
Priority
0
View build log