diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-08-15 12:01:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-15 12:01:56 +0000 |
| commit | 1c4d690e154cbd3d7d1a439ec6595cb97bae47c6 (patch) | |
| tree | cc56f2d3098c4ed2bb178df817bd7eb6daf167c6 /pkgs/applications/science/logic/bitwuzla/default.nix | |
| parent | c2d03eb2a7e8f49a3f2b10741e82efe76f579267 (diff) | |
| parent | 0bd2121e4233234f92f05ae3c20fe26b2a86eafb (diff) | |
| download | nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.tar nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.tar.gz nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.tar.bz2 nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.tar.lz nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.tar.xz nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.tar.zst nixpkgs-1c4d690e154cbd3d7d1a439ec6595cb97bae47c6.zip | |
Merge staging-next into staging
Diffstat (limited to 'pkgs/applications/science/logic/bitwuzla/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/bitwuzla/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix index a8820b55b74..82bfbd6dc3f 100644 --- a/pkgs/applications/science/logic/bitwuzla/default.nix +++ b/pkgs/applications/science/logic/bitwuzla/default.nix @@ -19,13 +19,13 @@ stdenv.mkDerivation rec { pname = "bitwuzla"; - version = "unstable-2021-07-01"; + version = "unstable-2022-08-07"; src = fetchFromGitHub { owner = "bitwuzla"; repo = "bitwuzla"; - rev = "58d720598e359b1fdfec4a469c76f1d1f24db51a"; - sha256 = "06ymqsdppyixb918161rmbgqvbnarj4nm4az88lkn3ri4gyimw04"; + rev = "b6fb61736a5cf70cd0b35ec4aeeadf23971610ce"; + hash = "sha256-T5VnnWrcZ8K1NjFf5eeg0TRpXBLRCxC67v8zWPwYF/Y="; }; nativeBuildInputs = [ cmake pkg-config ]; |