<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> yeah, cool. It looks like the original author of the package used Berkley ABC. I'll make sure to update that to yosys-abc.</p><p>Do yosys and yosys-abc also need to remain in lockstep? Or can their versions deviate slightly?</p>