yosys: 0.24 -> 0.25

https://github.com/YosysHQ/yosys/releases/tag/yosys-0.25
This commit is contained in:
Luflosi 2023-01-06 18:07:06 +01:00
parent 7a1dfc5a96
commit 23ba1ad053
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.24"; version = "0.25";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "YosysHQ"; owner = "YosysHQ";
repo = "yosys"; repo = "yosys";
rev = "${pname}-${version}"; rev = "${pname}-${version}";
hash = "sha256-rso08/b0ukrh6KYFpn4bFn0pP83URfeJGw28iLIjlPw="; hash = "sha256-hOuuKvT6ZM7G0HTGtVeEHHfJWqwUinD+DxT3r0CQZH0=";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;