Build

Derivation: /gnu/store/jg26h5cvbkn0bidmhh1f6x3mn75nf2ad-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-12-12T02:05:45	Scheduled
2024-04-09T18:03:16	Started
2024-04-09T18:03:20	Succeeded