Build

Derivation: /gnu/store/0czn94gr6zgh3qwzbcgbppinn1kwll7j-agda-cubical-0.7.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2024-11-06T18:03:40	Scheduled
2024-11-11T18:05:21	Canceled