Build 3ea71a0a-4f66-44b2-ac87-6982555a47a9 — bordeaux.guix.gnu.org
Derivation
/gnu/store/wl8dd2pkgfiani9xvg68hl40p1wcavcc-agda-2.6.2.1.drv
Tags
Submitted at
2022-01-18 21:00:13
State
Succeeded
Priority
0
View build log