Build
Derivation
/gnu/store/lcq70vgkby9pp9lny34l1nx1d41ifnx1-
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-05-29T07:58:50
Scheduled
2022-05-31T07:51:37
Started
2022-05-31T07:24:39
Succeeded