Build 810f6b8d-28ca-49c3-adad-94958892f2b7 — bordeaux.guix.gnu.org
Derivation
/gnu/store/c2x9yqhh6rb7x9gbvllpzl9aqhzjlzrg-agda-ial-1.5.0-checkout.drv
Tags
Submitted at
2021-08-11 17:44:43
State
Succeeded
Priority
0
View build log