Derivation

/gnu/store/mqwqgpcbhqpy0gknfddaa13cwpv03hwr-aiger-1.9.9.tar.gz.drv

Tags

• branch: master
• revision: 6af7a94446239c63784ea08f245bf35b6a13f6e1
• category: package

Submitted at

2023-05-14 01:14:58

State

Succeeded

• Agent bec2dfd6-9eb0-4f4f-99c1-b90a3d6be39f

Priority

0

View build log