Build b76f7171-aa6e-4deb-adb0-854b695d589c — bordeaux.guix.gnu.org
Derivation
/gnu/store/yragc7v2076i20n6nzw2sqh82k2dw7fy-agda-2.6.2.drv
Tags
Submitted at
2021-11-17 15:20:41
State
Pending
Priority
0