Build

Derivation: /gnu/store/8g04vyvaz4ra3vqnap0qw39k5lp8836n-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-04-26T06:57:03	Scheduled
2023-05-23T22:02:36	Started
2023-05-23T21:57:16	Succeeded