Build
Derivation
/gnu/store/0wnwa2wlj63x2dk45qcj0z3mzi83l75z-
agda-stdlib-1.7.3.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-01-13T12:19:00
Scheduled
2024-02-10T18:34:18
Started
2024-02-10T18:27:46
Succeeded