yosys: 0.30 -> 0.31

https://github.com/YosysHQ/yosys/releases/tag/yosys-0.31
This commit is contained in:
Luflosi 2023-07-18 21:39:17 +02:00
parent f6cd7355c5
commit ead2ae782e
No known key found for this signature in database
GPG key ID: 4E41E29EDCC345D0

View file

@ -71,13 +71,13 @@ let
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
pname = "yosys"; pname = "yosys";
version = "0.30"; version = "0.31";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "YosysHQ"; owner = "YosysHQ";
repo = "yosys"; repo = "yosys";
rev = "${pname}-${version}"; rev = "${pname}-${version}";
hash = "sha256-qhMcXJFEuBPl7vh+gYTu7PnSWi+L3YMLrBMQyYqfc0w="; hash = "sha256-BGeqI0U2AdKgsQQw3f/C0l1ENPTlQ3Eoa8TaLRE+aWI=";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;