Build

Derivation: /gnu/store/6kcw3z5ss91pd2j9q8n5narr5w6x26cr-agda-stdlib-2.1.1.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2024-10-30T09:55:56	Scheduled
2024-11-05T07:58:43	Canceled