gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.bitwuzla-cxx: 0.8.0 -> 0.8.2 (#438865)

Browse Source
This commit is contained in:
Wolfgang Walther
2025-09-13 20:30:46 +00:00
committed by GitHub
parent acba0d29ed 2e2b1aad5c
commit 747fceb46f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/bitwuzla-cxx/default.nix
+2 -2
View File
@@ -6,7 +6,7 @@
}:
let
version = "0.8.0";
version = "0.8.2";
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-t8Vgbiec5m6CYV8bINJqs6uhx0YAJcRZeaWRGNoD6AQ=";
hash = "sha256-cfYQBY/Nwf9XyK5clRPxf6ejqNRn/GugVFMKBm3BEME=";
};
propagatedBuildInputs = [ zarith ];