Build
Derivation
/gnu/store/lcw52vkk0ri5n9vzy7g5ir7hp99r8wj1-
idris-1.3.4.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-06-18T01:13:42
Scheduled
2022-06-30T09:13:14
Started
2022-06-30T09:42:31
Succeeded