talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

ocamlPackages.bitwuzla-cxx: 0.6.1 -> 0.8.0

Browse Source
This commit is contained in:
R. Ryantm 2025-06-06 04:41:26 +00:00
parent 66576dcd9e
commit 645f20c09a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ocaml-modules/bitwuzla-cxx/default.nix
View File

@ -6,7 +6,7 @@
}:
let
version = "0.6.1";
version = "0.8.0";
in
buildDunePackage {
@ -17,7 +17,7 @@ buildDunePackage {
src = fetchurl {
url = "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/${version}/bitwuzla-cxx-${version}.tbz";
hash = "sha256-QgZy0a4QPVkgiB+lhEw40pE9TeuOOeMowtUb0F+BN6c=";
hash = "sha256-t8Vgbiec5m6CYV8bINJqs6uhx0YAJcRZeaWRGNoD6AQ=";
};
propagatedBuildInputs = [ zarith ];