update b4smt hash

NakajoLab · May 21, 2024 · f4e887f · f4e887f
1 parent 9fd1a44
commit f4e887f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -24,7 +24,7 @@
           b4smtGen = final.callPackage ./nix/b4smtgen.nix {
             riscv-programs = self.packages.${system}.default;
           };
-          b4smt = final.b4smtGen { hash = "sha256-pLOGYMGH3H96EOQhb6wmJG0wYbTRoXx801/GWYmw/es="; };
+          b4smt = final.b4smtGen { hash = "sha256-ZSeAjhrVFxIne3UfS05K6Mt5b3Kf4V1FCZqLOL/G+U4="; };
           sbt = prev.sbt.override { jre = final.jre_headless; };
         };
         pkgs = import nixpkgs {