Hi,

[cc'd maintainer in question, just to be sure]

On Fri, Jun 12, 2026 at 06:52:01PM +0200, Thomas Dettbarn wrote:
> I need some guidance. I was unsuccesful to contact the Maintainer
> of the ports cad/abc and cad/yosys.

Did your mails bounce? Or was there no answer? If so, for how long?

> And now I am thinking of creating replacements.
> 
> However, I am concerned that it might come of as rude, to just
> take over from him?

If his address is unreachable, or if he didn't reply within a couple
of weeks, I don't think it's rude. BTW: the last mention of him I can
see in CVSROOT/Changelog.* was 2022/12/06 (looking for just22 and
laurenzis).

> cad/abc and cad/yosys are already part of the ports tree, but...
> they are rather outdated.

cad/qflow is also from him and looks badly outdated. And I think,
some other of his ports were mentioned in naddys amd64 lists of
ports broken on amd64 (mostly because of llvm-22).

Ciao,
	Kili