Build 8c98286d-943f-4619-bf20-7cba5eb8e9d5 — bordeaux.guix.gnu.org
Derivation
/gnu/store/igzqma3x3d86wd650j8j0vd72sgdzn6j-Agda-2.6.0.1.tar.gz.drv
Tags
Submitted at
2021-08-11 16:58:06
State
Succeeded
Agent
bc5f3585-03f9-4ab3-8604-6acc89512fba
Priority
0
View build log