Build 854b2e73-3435-4dfc-8f5f-af4041608906 — bordeaux.guix.gnu.org
Derivation
/gnu/store/f80q8vsyj9nhdzrflhd58wqb5ipwhrfr-Agda-2.5.4.2.tar.gz.drv
Tags
Submitted at
2021-11-13 00:26:20
State
Succeeded
Agent
bc5f3585-03f9-4ab3-8604-6acc89512fba
Priority
0
View build log