Build

Derivation: /gnu/store/rdx5s5f3nsbxgl50izc6q4y45a61736s-agda-ial-1.5.0-1.ded30c4.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2024-11-03T13:30:53	Scheduled
2024-11-05T07:45:23	Canceled