Unverified Commit 12f94adb authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

Merge pull request #217702 from Luflosi/update/yosys 

yosys: 0.25 -> 0.26
parents af735e76 ee1ea62b

pkgs/applications/science/logic/abc/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -4,13 +4,13 @@ 


stdenv.mkDerivation rec {

  pname   = "abc-verifier";

  version = "unstable-2022-11-09";

  version = "unstable-2023-02-04";



  src = fetchFromGitHub {

    owner = "yosyshq";

    repo  = "abc";

    rev   = "be9a35c0363174a7cef21d55ed80d92a9ef95ab1";

    hash  = "sha256-IN9YgJONcC55N89OXMrMuNuznTdjXNWxR0IngH8OWC8=";

    rev   = "a8f0ef2368aa56b3ad20a52298a02e63b2a93e2d";

    hash  = "sha256-48i6AKQhMG5hcnkS0vejOy1PqFbeb6FpU7Yx0rEvHDI=";

  };



  nativeBuildInputs = [ cmake ];

pkgs/development/compilers/yosys/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -71,13 +71,13 @@ let 


in stdenv.mkDerivation rec {

  pname   = "yosys";

  version = "0.25";

  version = "0.26";



  src = fetchFromGitHub {

    owner = "YosysHQ";

    repo  = "yosys";

    rev   = "${pname}-${version}";

    hash  = "sha256-hOuuKvT6ZM7G0HTGtVeEHHfJWqwUinD+DxT3r0CQZH0=";

    hash  = "sha256-0xV+323YTK+VhnD05SmvGv8uT4TzqA9IZ/iKl1as1Kc=";

  };



  enableParallelBuilding = true;