<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> I've seen some things on here from you about yosys and friends. Any pointers if I'm gonna play with packaging these for Void Linux?</p>
