Build
Derivation
/gnu/store/c7h8byz8w0kkw2zr8cq08f3671dy2177-
lean-3.23.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-12-16T14:52:38
Scheduled
2021-12-25T03:33:05
Started
2021-12-25T03:40:02
Succeeded