Build 65f6e063-a54f-4004-b7c5-1fc966092396 — bordeaux.guix.gnu.org
Derivation
/gnu/store/rpdp9lv4gmamb0c927x67z57b98fsglm-Agda-2.6.2.1.tar.gz.drv
Tags
Submitted at
2021-12-17 13:17:03
State
Succeeded
Priority
0
View build log