Build

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

Timestamp	Status
2024-10-09T17:05:21	Scheduled
2024-10-19T17:41:16	Canceled