diff options
| author | Sandro <sandro.jaeckel@gmail.com> | 2022-12-09 10:27:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-09 10:27:31 +0100 |
| commit | 89c4ef4384fb47954d4472732c57cf26a7e6dac8 (patch) | |
| tree | 6a3fc9880431bf3870191f82034151917026e0bb /pkgs | |
| parent | bee88f768b8c55d0d9a04b07865a96d72e5bf620 (diff) | |
| parent | 8814e204efb07fa3147ce9232787c9554bec467a (diff) | |
Merge pull request #204832 from Luflosi/update/yosys
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 6 | ||||
| -rw-r--r-- | pkgs/development/compilers/yosys/default.nix | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index bf7bffd11591b..6a20a68324f1e 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -4,13 +4,13 @@ stdenv.mkDerivation rec { pname = "abc-verifier"; - version = "unstable-2022-09-08"; + version = "unstable-2022-11-09"; src = fetchFromGitHub { owner = "yosyshq"; repo = "abc"; - rev = "ab5b16ede2ff3a4ab5209df24db2c76700899684"; - hash = "sha256-G4MnBViwIosFDiPfUimGqf6fq1KJlxj+LozmgoKaH3A="; + rev = "be9a35c0363174a7cef21d55ed80d92a9ef95ab1"; + hash = "sha256-IN9YgJONcC55N89OXMrMuNuznTdjXNWxR0IngH8OWC8="; }; nativeBuildInputs = [ cmake ]; diff --git a/pkgs/development/compilers/yosys/default.nix b/pkgs/development/compilers/yosys/default.nix index 62bd8b15d1adf..7594d74876598 100644 --- a/pkgs/development/compilers/yosys/default.nix +++ b/pkgs/development/compilers/yosys/default.nix @@ -71,13 +71,13 @@ let in stdenv.mkDerivation rec { pname = "yosys"; - version = "0.23"; + version = "0.24"; src = fetchFromGitHub { owner = "YosysHQ"; repo = "yosys"; rev = "${pname}-${version}"; - hash = "sha256-mOakdXhSij8k4Eo7RwpKjd59IkNjw31NNFDJtL6Adgo="; + hash = "sha256-rso08/b0ukrh6KYFpn4bFn0pP83URfeJGw28iLIjlPw="; }; enableParallelBuilding = true; |