Build

Derivation: /gnu/store/xw6hbhn4c6dm1y275x8nn5fwsm1l56xm-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:56:39	Scheduled
2024-06-12T14:05:16	Started
2024-06-12T14:07:37	Succeeded