Build

Derivation: /gnu/store/a96xn2x1rq8wb63z5ia22fw14qwgx3qn-aiger-1.9.9.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2023-03-16T02:26:56	Scheduled
2023-04-05T18:08:28	Started
2023-04-05T18:08:36	Succeeded