mockturtle.spec 3.08 KB