Build
Derivation
/gnu/store/8bgz8if0hapayw4crdhz603p1h80x8gb-
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-11-08T12:02:48
Scheduled
2024-11-11T15:46:33
Canceled