Build

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

Timestamp	Status
2024-11-03T16:40:17	Scheduled
2024-11-05T04:07:52	Canceled