diff options
author | Anderson Torres <torres.anderson.85@protonmail.com> | 2022-06-20 22:35:38 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-20 22:35:38 -0300 |
commit | 97f37b6e0570a723596c5fdcd0a9cf48627d5414 (patch) | |
tree | ff2c79caeeaa93e8fc9537c8641dd9ac0d5f2127 /pkgs/applications/science/logic | |
parent | 404bfe212da6a644a907f6c2dc25d4c9f7d90199 (diff) | |
parent | 118e07917e1fc0617e60b3300d57cdc68aa1ac2b (diff) |
Merge pull request #178307 from Luflosi/update/yosys
yosys: 0.16 -> 0.18
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index 4e808dd8f19e8..11121d1f5584e 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 = "2022.03.22"; + version = "2022.05.06"; src = fetchFromGitHub { owner = "yosyshq"; repo = "abc"; - rev = "00b674d5b3ccefc7f2abcbf5b650fc14298ac549"; - hash = "sha256-jQgHptARRuhlF+8R92so8PyBTI5t/q/rSGO5yce5WSs="; + rev = "09a7e6dac739133a927ae7064d319068ab927f90"; + hash = "sha256-+1UcYjK2mvhlTHl6lVCcj5q+1D8RUTquHaajSl5NuJg="; }; nativeBuildInputs = [ cmake ]; |