Build
Derivation
/gnu/store/56xiasbf8ar9q3v10wrc4hak0bbagixy-
idris-1.3.3.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-01-20T10:34:25
Scheduled
2022-01-20T11:14:27
Started
2022-01-20T11:43:09
Failed