Build
Derivation
/gnu/store/yqvffz2a6yvj19pa949rmxifam25vxsf-
agda-categories-0.2.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-10-21T10:14:36
Scheduled
2024-10-21T10:17:02
Started
2024-10-21T10:33:35
Succeeded