Build

Derivation: /gnu/store/hq1dn5v62567vj3cll3l380dfbrbxwm1-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-05-14T01:14:58	Scheduled
2023-07-01T06:02:47	Started
2023-07-01T06:03:28	Succeeded