Build

Derivation: /gnu/store/wfgw9baxqj1rglgl2jsqkyq3c3436qhl-coq-gappa-1.5.5.drv
Build server URL: https://bordeaux.guix.gnu.org/

View build on https://bordeaux.guix.gnu.org/

Timeline

Timestamp	Status
2024-06-12T13:55:29	Scheduled
2024-06-12T13:58:57	Started
2024-06-12T14:00:04	Succeeded