Build
Derivation
/gnu/store/37yfhvvljq75mf78pjhxp8wnqwgalv7p-
Agda-2.6.2.2.tar.gz.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-05-16T03:46:32
Scheduled
2022-05-25T11:20:55
Started
2022-05-25T11:21:03
Succeeded