Build

Derivation: /gnu/store/2gc52zhb6qq310z6kw3ach0b09zn0g73-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-04T21:35:31	Scheduled
2023-03-05T08:09:54	Started
2023-03-05T08:09:58	Succeeded