yosys-unstable: yosys-0.39-unstable-2024-04-04 -> yosys-0.40-unstable…

…-2024-04-13
InternetUnexplorer · Apr 14, 2024 · 80fe1c8 · 80fe1c8
1 parent 8da0698
commit 80fe1c8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/yosys-unstable/abc-verifier.nix b/yosys-unstable/abc-verifier.nix
@@ -1,7 +1,7 @@
 { abc-verifier, fetchFromGitHub }:
 
 abc-verifier.overrideAttrs (final: prev: {
-  version = "yosys-0.39-unstable-2024-03-04";
+  version = "yosys-0.40-unstable-2024-03-04";
 
   src = fetchFromGitHub {
     owner = "yosysHQ";

diff --git a/yosys-unstable/default.nix b/yosys-unstable/default.nix
@@ -3,13 +3,13 @@
 let abc-verifier = callPackage ./abc-verifier.nix { };
 
 in (yosys.override { inherit abc-verifier; }).overrideAttrs (final: prev: {
-  version = "yosys-0.39-unstable-2024-04-04";
+  version = "yosys-0.40-unstable-2024-04-13";
 
   src = fetchFromGitHub {
     owner = "YosysHQ";
     repo = "yosys";
-    rev = "22c5ab90d1580b6d515a58cf1c8be380d188b989";
-    hash = "sha256-uOzWb611Y9d7zYbdqwSXNOurgLLHlANrLKdtFCa7IdA=";
+    rev = "b827b9862f16720d2bfb5aa204818f3d1530bef0";
+    hash = "sha256-3XKMN0a7mCZ7R/QN6MteXgk0nWc/RfnijfE47UAN9GE=";
   };
 
   inherit abc-verifier;