Build

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

Timestamp	Status
2024-11-03T11:41:53	Scheduled
2024-11-05T07:45:43	Canceled