Build

Derivation: /gnu/store/mngx6ma4ksyfxhw4g4xmmylzaplmf050-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-10-16T02:44:22	Scheduled
2023-10-29T09:41:39	Started
2023-10-29T09:42:20	Succeeded