Build

Derivation: /gnu/store/g0g9yns49440z1w9k9hkgndl9kpsmd3b-coq-interval-4.10.0.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2024-06-12T13:55:05	Scheduled
2024-06-23T10:43:57	Canceled