Build

Derivation: /gnu/store/rhwl6ja15d3l6i22ck5pcbqwzs0spdrr-agda-categories-0.2.0.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2024-11-03T13:40:12	Scheduled
2024-11-05T04:17:42	Canceled