Build 5e8df939-424c-49a5-a842-45edbc44b22c — bordeaux.guix.gnu.org
Derivation
/gnu/store/d2h8ryxbz16xhspick6fpj7hvhkqd0ig-agda-2.6.2.1.drv
Tags
Submitted at
2022-01-19 07:08:50
State
Pending
Priority
0