Derivation

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

Tags

• branch: master
• revision: c457c715a83358fa1557f703b1e459435fb1a259
• category: package

Submitted at

2022-11-26 22:20:47

State

Succeeded

• Agent 8cc3f22c-a0b2-4d1e-b3b4-7db6cee0ea03

Priority

0

View build log