Build
Derivation
/gnu/store/hcjmyrir8haqdp5snvghnn97c1k4w0av-
Agda-2.6.2.1.tar.gz.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-12-17T13:10:35
Scheduled
2022-10-19T19:47:41
Started
2022-10-19T17:18:13
Succeeded