···12 pname = "yosys-ghdl";
13 # This is not the latest commit, but it's the latest that builds with current stable ghdl 2.0.0
14 version = "2022.01.11";
01516 src = fetchFromGitHub {
17 owner = "ghdl";
···12 pname = "yosys-ghdl";
13 # This is not the latest commit, but it's the latest that builds with current stable ghdl 2.0.0
14 version = "2022.01.11";
15+ plugin = "ghdl";
1617 src = fetchFromGitHub {
18 owner = "ghdl";