Build 9f2db33f-4af8-4e2c-ae4f-556009a13708 — bordeaux.guix.gnu.org
Derivation
/gnu/store/pfdxdpzala3s4v9l0v77qj57kynih6vq-agda-2.6.2.1.drv
Tags
Submitted at
2022-01-19 02:10:24
State
Succeeded
Priority
0
View build log