Subject: Re: [bug#78016] [PATCH electronics-team] gnu: Add symbiyosys.

From: Cayetano Santos <[email-masked]>
Date: Fri, 25 Apr 2025 14:58:48 +0200

Ok, the problem is understood.

#78059 is to be used by yosys, which will fix the testing problems with symbiyosys.

We need then to use abc fork by yosyshq with all of their packages.

C.