Build
Derivation
/gnu/store/ic1g74rb4qjz3v1s23z9ld5is2g8f1gk-
aiger-1.9.9.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-10-30T04:47:46
Scheduled
2024-11-16T04:32:53
Started
2024-11-16T04:32:55
Succeeded