I saw three versions of yosys: yosys, yosys-brown, and yosys-antmicro. No idea why.
t
tnt
07/26/2020, 8:38 PM
Yup the "brown" version was present but not listed in the packages to build. Apparently the antmicro one isn't used actively either so I didn't bother with it