Build
Derivation
/gnu/store/9xard379dy6bb7vk6cmw8i3f1g6iy3cw-
agda-ial-1.5.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-04-23T12:12:14
Scheduled
2021-05-04T07:22:13
Started
2021-05-04T07:23:43
Succeeded