Build 53a8ed72-1d8f-4563-967a-c58f5e5d2619 — bordeaux.guix.gnu.org
Derivation
/gnu/store/9dfbkbpxcpgpdarh132p5krvwxvxj640-Agda-2.5.4.2.tar.gz.drv
Tags
Submitted at
2021-11-13 00:26:20
State
Succeeded
Priority
0
View build log